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 1771–1780 dari 3287

Open AccessOA PDFTerbit 26 Sep 2026

REFINE: Pendekatan LLM Multi-Agen untuk Refactoring Kode Berbasis Bukti

Muhammad Waseem; Aakash Ahmad; Pekka Abrahamsson

Ringkasan: REFINE adalah pendekatan multi-agen yang tool-agnostic dan berbasis bukti yang menggabungkan identifikasi smell terpandu analisis statis, perencanaan berbasis smell, transformasi berbasis LLM, analisis ulang otomatis, dan pemeriksaan prese…
Metode: REFINE disusun sebagai pipeline multi-agen di mana setiap tahap menghasilkan bukti yang mengondisikan tahap berikutnya. Alur kerja dapat direpresentasikan sebagai berikut: Agen pe…
Hasil: REFINE menurunkan code smell terdeteksi sebesar 68,26%, 72,79%, dan 68,49% pada konfigurasi OpenAI GPT-5.5, Google Gemini 3.1 Pro Preview, dan Anthropic Claude Opus 4.8. Pengurangan terkuat diamati p…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Alur Kerja Bahasa Alami Belum Menjadi Perangkat Lunak: Kompilasi Berbasis Artefak untuk Eksekusi Agen yang Andal

Xiangzhe Xu; Hanxi Guo; Guangyu Shen; Siyuan Cheng; Xiangyu Zhang

Ringkasan: Alur kerja bahasa alami menjanjikan antarmuka mirip perangkat lunak bagi agen, tetapi masih tidak andal karena dependensi data tetap implisit dan instruksi panjang goyah di bawah tekanan konteks. Artic, kompilator alur kerja berbasis artef…
Metode: Artic beroperasi sebagai kompilator dengan tiga mekanisme yang saling terkait: deklarasi artefak, pembatasan constraint, dan transfer kontrol eksplisit. Transformasinya dibantu LL…
Hasil: Artic meningkatkan resolve rate tugas sebesar **28 poin persentase** dibandingkan alur kerja teks asli pada 488 instans masalah dari 11 alur kerja domain dunia nyata. Inilah hasil utamanya: membuat a…

Akses dokumen Redaksi lengkap

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