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 871–880 dari 2354

Open AccessOA PDFTerbit 26 Sep 2026English Language Teaching

Studi Longitudinal tentang Kursus EAP untuk Mahasiswa MTI: Pengantar Pengetahuan Teknik dan Penerjemahannya

Bin-Hong Wang; Shu-Min Zheng

Ringkasan: Digest ini menyajikan studi longitudinal tentang kursus EAP yang dirancang untuk membekali mahasiswa Master of Translation and Interpreting (MTI) dengan pengetahuan teknik dan keterampilan penerjemahan. Kursus yang dilaksanakan dalam dua t…
Metode: Pengembangan kursus dapat dibagi menjadi dua tahap: 2017-2020 dan 2021-sekarang. Pada kedua tahap, TPCK (Technological Pedagogical Content Knowledge) diterapkan. Pada tahap 2, POA…
Hasil: Evaluasi mahasiswa terhadap kursus, yang diperoleh dari situs web pengajaran sekolah, menunjukkan bahwa kepuasan mahasiswa terhadap kursus meningkat selama bertahun-tahun. Analisis terjemahan mahasis…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026Journal of The Colloquium for Information Systems Security Education

Mengajarkan Keamanan Infrastruktur Kritis Melalui Pengalaman Interaktif

Ella Luedeke; Meera Sridhar; H. Ramaprasad

Ringkasan: InfraLearn adalah platform pembelajaran gamifikasi yang mengajarkan keamanan siber infrastruktur kritis kepada mahasiswa non-ilmu komputer melalui simulasi serangan pada perangkat Distributed Energy Resource (DER). Platform ini memadukan s…
Metode: InfraLearn diimplementasikan sebagai platform berbasis web menggunakan API berbasis Flask untuk mensimulasikan perangkat DER. Platform ini menawarkan tiga prototipe skenario yang …
Hasil: Pengembangan InfraLearn menghasilkan prototipe fungsional dengan tiga skenario serangan yang berbeda. Setiap skenario dirancang untuk mencerminkan kerentanan aktual yang ditemukan pada sistem DER, se…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Apa Artinya dan Mengapa Saya Harus Peduli? Memotivasi Mahasiswa Menulis Pesan Commit yang Lebih Baik

Gergő Balogh; Péter Seres; László Tóth; Attila Szatmári; Szakács Bence; Ádám Zoltán Végh

Ringkasan: Studi kasus metode campuran yang dimotivasi secara lokal mengonfirmasi bahwa pesan commit mahasiswa dan industri secara berulang mengalami masalah komunikasi dan kualitas. Penulis memperkenalkan WDYM, permainan berbasis peran yang ringan y…
Metode: Studi ini menggunakan desain studi kasus metode campuran. Pertama, penulis melakukan replikasi parsial taksonomi kualitas pesan commit yang sudah mapan untuk menganalisis pesan co…
Hasil: Analisis berbasis taksonomi mengonfirmasi bahwa masalah komunikasi dan kualitas terjadi secara berulang baik di konteks mahasiswa maupun industri. Hal ini membuktikan kekhawatiran awal pengajar bahwa…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Dilema Sang Poliglot: Menguji Kesesuaian Selusin Spesifikasi dalam Sebanyak Bahasa

A. Jesse Jiryu Davis; Jeremy Mikola; Jeff Yemin

Ringkasan: Perjalanan sebelas tahun MongoDB untuk menyatukan pengujian kesesuaian di selusin bahasa driver menggunakan satu format uji berbasis YAML, menurunkan bug ketidaksesuaian hingga 86% dan menghapus lebih dari 22.000 baris kode uji.
Metode: Metodologi intinya adalah pengujian berbasis spesifikasi: satu spesifikasi uji ditulis dalam YAML lalu dijalankan oleh interpreter khusus bahasa untuk setiap driver MongoDB. Pende…
Hasil: Adopsi uji berbasis YAML menyebabkan penurunan signifikan pada bug ketidaksesuaian. Makalah ini melaporkan bahwa tingkat bug ketidaksesuaian turun hingga 86% pada driver yang mengadopsi uji YAML, mes…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Apa yang Membuat Tugas Penyelesaian Isu Perangkat Lunak Sulit bagi Agen?

Ebtesam Al-Haque; Brittany Johnson

Ringkasan: Studi ini memperkenalkan kerangka pengukuran yang menunjukkan bahwa kesulitan tugas penyelesaian isu perangkat lunak bagi agen AI sebagian besar dapat diprediksi dari fitur statis, dengan fragmentasi patch dan skala repositori sebagai pend…
Metode: Studi ini menganalisis CoderForge-Preview, sebuah dataset trajektori agen coding. Fitur diekstraksi dari tiga dimensi: patch tugas (misalnya, baris yang diubah, file yang disentuh…
Hasil: Kesulitan tugas sebagian besar dapat diprediksi dari fitur statis, mencapai AUC 0,863. Ini menunjukkan bahwa properti struktural saja dapat menjelaskan sebagian besar tingkat keberhasilan agen. Anali…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Engine-Transfer-Bench: Tolok Ukur Berbasis Bukti untuk Pemilihan Mesin Kompilasi Dokumen

Prajwal S. Venkateshmurthy

Ringkasan: Engine-Transfer-Bench (ETB) mengevaluasi enam mesin kompilasi dokumen pada 1.784 dokumen terbuka dan empat tugas, menunjukkan bahwa tingkat keberhasilan Tectonic stabil dalam 0,9 poin persentase di macOS, Ubuntu, dan Windows, sementara mes…
Metode: ETB mengevaluasi mesin pada host **GitHub Actions** yang menjalankan **macOS, Ubuntu, dan Windows**, dengan **N = 4.211 kompilasi per host**. Tolok ukur ini mendefinisikan empat t…
Hasil: Hasil utamanya adalah kontras tajam antar keluarga mesin. Pada GitHub Actions, **keberhasilan Tectonic stabil dalam 0,9 poin persentase (96,3-97,2%)** di macOS, Ubuntu, dan Windows. Sebaliknya, **mes…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Satu Gerbang Tidak Cukup: Menyusun Kontrol Pra-Tindakan Stateful untuk AI Agentik

Gaston Besanson

Ringkasan: Makalah ini memformalkan kopling kontrol akibat remediasi pada gerbang pra-tindakan AI agentik dan memperkenalkan protokol remediate-and-regate yang memulihkan kesahihan per-tindakan di bawah asumsi terbatas dan idempoten. Makalah ini menu…
Metode: Makalah ini memformalkan kopling kontrol akibat remediasi dengan mendefinisikan himpunan kontrol $C = \{c_1, c_2, \dots, c_n\}$, yang masing-masing mengevaluasi tindakan $a$ dan m…
Hasil: Finite-model checker menemukan instance contoh kontra konkret yang menunjukkan bahwa dua operator remediasi yang diimplementasikan—substitusi bukti dan resource-budget downroute—tidak komutatif. Ini …

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 26 Sep 2026

Kapan Microservices Menghemat Energi? Bukti dari Alur Kerja Simulasi Lingkungan

Joshua Rowley; Abdessalam Elhabbash

Ringkasan: Microservices meningkatkan konsumsi energi untuk model lingkungan yang lebih kecil atau berpasangan erat karena overhead koordinasi, tetapi orkestrasi berbasis peristiwa dan eksekusi ulang selektif dapat mengurangi penggunaan energi untuk …
Metode: Studi ini mengevaluasi empat model lingkungan, masing-masing dikontainerkan sebagai alur kerja microservice. Tiga strategi eksekusi dibandingkan: 1. **Eksekusi monolitik**: semua …
Hasil: Hasil menunjukkan bahwa microservices meningkatkan konsumsi energi untuk model yang lebih kecil atau berpasangan erat, di mana overhead koordinasi mendominasi. Untuk alur kerja yang lebih besar, orke…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 25 Sep 2026

Optimasi Berbasis Graf: Metaheuristik Keluarga Rao, OR Klasik, dan Formulasi Berbasis SLM pada Knowledge Graph

Madhulatha Mandarapu; Sandeep Kunkunuru

Ringkasan: Makalah ini memperkenalkan optimasi berbasis graf, di mana variabel keputusan, kendala, dan koefisien tujuan bersumber dari property knowledge graph melalui kueri Cypher, bukan dari teks bebas atau tabel statis. Studi ini mengevaluasi meta…
Metode: Metodologi terdiri atas tiga komponen utama: (1) pipeline formulasi berbasis graf, (2) portofolio solver, dan (3) evaluasi pada tujuh masalah nyata. **Pipeline Formulasi Berbasis …
Hasil: Evaluasi pada tujuh masalah nyata menghasilkan tiga temuan utama: **(i) Tidak ada satu varian Rao pun yang mendominasi.** BMWR menang pada masalah diskret-dengan-tradeoff dan high-dim-dengan-kendala-…

Akses dokumen Redaksi lengkap

Open AccessOA PDFTerbit 25 Sep 2026

BatchBench: Tolok Ukur Berbasis Beban Kerja untuk Kebijakan Autoscaling dalam Pemrosesan Batch Big Data

Venkata Krishna Prasanth Budigi; Siri Chandana Sirigiri

Ringkasan: BatchBench adalah kerangka kerja tolok ukur terbuka yang diusulkan untuk menempatkan kebijakan autoscaling berbasis aturan, learned, dan agentic pada pijakan eksperimental yang setara. Kerangka ini menyumbangkan taksonomi beban kerja, gene…
Metode: BatchBench dirancang sebagai kerangka kerja modular dengan empat komponen utama: 1. **Taksonomi beban kerja**: Enam kelas pemrosesan batch yang disintesis dari tolok ukur autoscal…
Hasil: Sebagai makalah posisi, BatchBench tidak menyajikan hasil empiris. Sebaliknya, makalah ini menjelaskan permukaan evaluasi yang diharapkan dan bagaimana kerangka kerja ini akan memungkinkan perbanding…

Akses dokumen Redaksi lengkap