Akses gratis untuk semua konten hanya login saja.

Jadwal Sholat

Memuat jadwal sholat…

Memuat

Research Digest

Research Digest

Ringkasan riset populer untuk praktisi. Terpisah dari portal submisi LyJIT di journal.lyndhub.com.

Buka indeks pencarian CS →

Ilmu Komputer & AI Teknik & Rekayasa Kedokteran & Kesehatan Ekonomi & Bisnis Ilmu Sosial Hukum Pendidikan Pertanian & Lingkungan Fisika & Matematika Humaniora

Menampilkan 311–320 dari 1825

Open AccessOA PDFTerbit 26 Sep 2026

AI dengan Kewenangan, dari Aplikasi hingga Silikon

Jason Hickey

Ringkasan: AI generatif membalik ekonomi verifikasi mesin: pada kecepatan AI, pembuktian yang diperiksa kernel menjadi wasit yang tak dapat disuap sehingga satu orang dapat dengan aman mengarahkan kerja mesin otonom dalam skala besar. Dalam lima ming…
Metode: Metode Salt adalah disiplin kerja untuk mengarahkan agen otonom di bawah batas kepercayaan yang diperiksa kernel. Invarian utamanya sederhana untuk dinyatakan dan sulit dilanggar:…
Hasil: Kampanye selesai dalam lima minggu. Satu peneliti, yang bekerja dengan langganan AI konsumen, mengarahkan armada kecil agen AI dari kode aplikasi, melalui kompilator dan eksekutif terverifikasi, hing…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Verifikasi Neuro-Formal: Penalaran Program Formal yang Agnostik Bahasa dan Berbasis Agen

Shuvendu K. Lahiri

Ringkasan: Verifikasi neuro-formal (NFV) memakai agen pengodean AI untuk memformalkan masalah verifikasi tingkat sumber dari bahasa arus utama menjadi kewajiban pembuktian dalam bahasa yang sadar verifikasi, yang diselesaikan oleh verifier yang sound…
Metode: NFV beroperasi melalui pipeline yang mengubah masalah verifikasi tingkat sumber menjadi putusan yang diperiksa mesin. Prosesnya dimulai dengan agen pengodean AI yang menerima masu…
Hasil: Penulis menjalankan eksperimen dengan model frontier terkini pada dataset berimbang berisi solusi Python yang benar dan yang cacat. Dataset dirancang untuk menguji kemampuan membuktikan program yang …

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Large Language Models untuk Requirements Engineering: Evaluasi Empiris Lintas Tugas

Jacek Dąbrowski; Manjeshwar Aniruddh Mallya; Alessio Ferrari; Mohammad Amin Zadenoori; Yijun Yu

Ringkasan: Makalah ini menyajikan evaluasi empiris lintas tugas pertama terhadap LLM yang mencakup lima aktivitas requirements engineering, menggabungkan eksperimen terkontrol pada model open-source ringan dengan studi kasus industri eksploratif pada…
Metode: Desain studi ini terdiri dari dua investigasi empiris yang saling melengkapi. **Studi 1: Eksperimen Terkontrol pada LLM Open-Source Ringan** - **Model:** Lima LLM open-source ring…
Hasil: Abstrak melaporkan bahwa kinerja LLM sangat bergantung pada tugas, berkisar dari sedang hingga tinggi. Tidak ada satu model pun yang secara konsisten mengungguli model lainnya di seluruh aktivitas ya…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

ExploreAI: Basis Pengetahuan Eksplorasi Agentic untuk Pengujian Regresi Teramati yang Reproducible pada Aplikasi VR dan 3D Black-Box

Jiajie Wang; Kebin Peng; Wei Wang; Xiaoyin Wang; Sen He; Xue Qin

Ringkasan: ExploreAI memakai agen LLM untuk merencanakan eksplorasi, menangkap bukti multi-sudut pandang, dan memverifikasi temuan secara mandiri pada aplikasi VR dan 3D black-box, lalu menyimpan setiap eksekusi sebagai Basis Pengetahuan Eksplorasi (…
Metode: ExploreAI menguraikan loop eksplorasi-dan-pengujian menjadi modul-modul khusus yang dikoordinasikan oleh perencana LLM. Persepsi berulang, navigasi, eksekusi penangkapan multi-sud…
Hasil: Di enam scene dalam dan luar ruangan di Unity, AI2-THOR, dan BeamNG, ExploreAI membangun EKB dengan kelengkapan tinggi pada mode eksplorasi lengkap maupun eksplorasi bertarget. Hasil kelengkapan ini …

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Driver SDR untuk Aplikasi Penentuan Waktu Presisi

Fabrizio Pollastri

Ringkasan: Makalah ini menyajikan driver perangkat lunak yang membawa kemampuan penentuan waktu presisi ke SDR HackRF One berbiaya rendah, pertama melalui pembungkus Python dan kemudian sebagai driver kompatibel SoapySDR yang dihasilkan melalui alur …
Metode: Proses pengembangan dimulai dengan memperluas firmware HackRF One asli untuk menyertakan fungsi penentuan waktu bagi pengambilan sampel tersinkronisasi, kendali skala waktu, dan p…
Hasil: Alur kerja pengembangan berbantuan AI menghasilkan driver kompatibel SoapySDR yang beroperasi setelah hanya melalui debugging terbatas. Penulis melaporkan bahwa pendekatan ini mengurangi upaya pengem…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026Dialog so vremenem

Pembuat Epoch dalam Sejarah Intelektual: Pyotr Tchaadaev dan Para Pemikir Renaisans Bengal

Татьяна Григорьевна Скороходова

Ringkasan: Artikel ini membandingkan Pyotr Tchaadaev dan para pemikir Renaisans Bengal, dengan argumen bahwa keduanya merespons krisis modernisasi di Rusia dan India dengan menciptakan 'filosofi krisis' yang membuka epoch baru dalam sejarah intelektu…
Metode: Penelitian ini menggunakan pendekatan historis-intelektual komparatif, dengan mengacu pada konsep "pemikir problematik" dan "filosofi krisis" M. Buber sebagai kerangka analitis. P…
Hasil: Baik Pyotr Tchaadaev maupun para intelektual Bengal mengajukan pertanyaan tentang keadaan spiritual, moral, dan sosial masyarakat, tentang esensi sejati agama, tentang tradisi, sejarah, struktur sosi…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026Journal of Scientific Research and Reports

Dampak Pertanian Organik terhadap Kualitas Tanah dan Jasa Ekosistem: Sebuah Tinjauan

Shalakha John; R. Mohapatra; Mohd Abass; A. P; R. Ranjith; Sagar Chaudhary; Karnati Anjireddy

Ringkasan: Pertanian organik meningkatkan sifat fisik, kimia, dan biologi tanah, sehingga berkontribusi pada jasa ekosistem seperti sekuestrasi karbon dan keanekaragaman hayati, meskipun ada trade-off hasil panen. Hambatannya meliputi variabilitas ha…
Metode: Tinjauan ini didasarkan pada sintesis komprehensif atas literatur yang ada, termasuk uji lapangan jangka panjang, meta-analisis, dan studi empiris. Bukti dikumpulkan dari sumber-s…
Hasil: Sistem organik meningkatkan sifat fisik tanah dengan memperbaiki stabilitas agregat, menurunkan bulk density, dan meningkatkan kapasitas infiltrasi air. Secara kimia, sistem ini mendorong kadar bahan…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026Journal of Medical Education and Curricular Development

Mengoptimalkan Pendidikan Diagnostik Laboratorium: Penelitian tentang Model Pengajaran Terintegrasi Dokter-Pasien-Teknisi Berbasis Konsep STEM Medis

Zheng-Kang Li; Li-Wen Ma; Jin-Xin Lai; Xin-Qiang Zhang; Chengyuan He; Yu-Wei Di; Bing Gu

Ringkasan: Studi ini mengevaluasi model pengajaran berbasis M-STEM untuk diagnostik laboratorium, menunjukkan kepuasan mahasiswa yang lebih tinggi dan integrasi multidisiplin yang lebih baik dibandingkan pengajaran tradisional.
Metode: Mahasiswa jurusan kedokteran klinis di South China University of Technology diikutsertakan dalam studi ini dan secara acak ditugaskan ke kelompok tradisional atau kelompok pembela…
Hasil: Untuk kuliah laboratorium, proporsi mahasiswa yang sangat puas jauh lebih tinggi pada kelompok M-STEM dibandingkan kelompok tradisional (79,3% vs 51,6%, P = ,025). Semua peserta di kelompok M-STEM me…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026International Journal of Law Dynamics Review

Salah Tafsir atas Kritik dalam Hukum Pidana: Menilai Kapasitas Yudisial di Era Digital Indonesia

I. Rosyadi; Safaruddin Harefa

Ringkasan: Studi ini mengkaji bagaimana ketentuan hukum yang ambigu dalam Undang-Undang Informasi dan Transaksi Elektronik serta Kitab Undang-Undang Hukum Pidana Indonesia menyebabkan kriminalisasi berlebihan terhadap kritik, sehingga menimbulkan efe…
Metode: Studi ini menggunakan pendekatan yuridis normatif, menganalisis sumber hukum primer seperti Undang-Undang Informasi dan Transaksi Elektronik (UU ITE) dan Kitab Undang-Undang Hukum…
Hasil: Analisis mengungkap bahwa ketentuan hukum yang ambigu, terutama yang berkaitan dengan pencemaran nama baik dan ujaran kebencian, telah menyebabkan kriminalisasi berlebihan dan penegakan hukum yang ti…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026EuroGlobal Journal of Linguistics and Language Education

Kedudukan Budaya dalam Teori Hubungan Internasional

Ekram Yawar Mohammad

Ringkasan: Kajian ini menelaah bagaimana budaya terpinggirkan dalam teori hubungan internasional arus utama dan mengargumentasikan perlunya perspektif budaya untuk memahami urusan global secara lebih baik.
Metode: Kajian ini memakai pendekatan teoretis dan analitis, meninjau dan mengevaluasi teori-teori utama hubungan internasional—realisme, idealisme, neorealisme, dan neoliberalisme—melalu…
Hasil: Analisis mengungkapkan bahwa teori-teori hubungan internasional arus utama sebagian besar telah menyingkirkan budaya. Realisme dan neorealisme berfokus pada kekuatan dan keamanan, idealisme dan neoli…

Akses dokumen Redaksi lengkap