Buku akses terbuka ini mensurvei kemajuan dalam mengatasi tantangan terpilih yang terkait dengan pertumbuhan big data yang dikombinasikan dengan perangkat keras yang semakin rumit. Buku ini muncul dari program penelitian yang dibentuk oleh Yayasan Penelitian Jerman (DFG) sebagai program prioritas SPP 1736 tentang Algoritma untuk Big Data, tempat para peneliti dari ilmu komputer teoritis bekerja…
Buku akses terbuka LNCS 13353 ini merupakan hasil dari Konferensi Internasional ke-7 tentang Pemungutan Suara Elektronik, E-Vote-ID 2022, yang diadakan di Bregenz, Austria, pada bulan Oktober 2022. 10 makalah lengkap yang dipresentasikan telah ditinjau dengan saksama dan dipilih dari 39 kiriman. Konferensi ini mengumpulkan perdebatan paling relevan tentang pengembangan Pemungutan Suara Elektron…
Set dua volume akses terbuka LNCS 13371 dan 13372 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-34 tentang Verifikasi Berbantuan Komputer, CAV 2022, yang diadakan di Haifa, Israel, pada bulan Agustus 2022. 40 makalah lengkap yang disajikan bersama dengan 9 makalah alat dan 2 studi kasus ditinjau dengan saksama dan dipilih dari 209 kiriman. Makalah-makalah tersebut disu…
Set dua volume akses terbuka LNCS 13371 dan 13372 ini merupakan prosiding yang diseleksi dari Konferensi Internasional ke-34 tentang Verifikasi Berbantuan Komputer, CAV 2022, yang diadakan di Haifa, Israel, pada bulan Agustus 2022. 40 makalah lengkap yang disajikan bersama dengan 9 makalah alat dan 2 studi kasus ditinjau dengan saksama dan dipilih dari 209 kiriman. Makalah-makalah tersebut disu…
Volume ini, LNAI 13385, merupakan prosiding yang telah diseleksi dari Konferensi Bersama Internasional ke-11 tentang Penalaran Otomatis, International Joint Conference on Automated Reasoning (IJCAR) 2022, yang diselenggarakan di Haifa, Israel, pada bulan Agustus 2022. 32 makalah penelitian lengkap dan 9 makalah pendek yang disajikan bersama dengan dua ceramah yang diundang telah ditinjau dan d…
Buku akses terbuka ini merupakan hasil proses yang telah diseleksi dari Konferensi Superkomputer Asia ke-7, SCFA 2022, yang berlangsung di Singapura pada bulan Maret 2022. Kedelapan makalah lengkap yang disajikan dalam buku ini telah ditinjau dan dipilih secara saksama dari 21 kiriman. Makalah-makalah tersebut mencakup berbagai topik termasuk sistem berkas, hierarki memori, platform cloud HPC, …
Buku akses terbuka ini merupakan hasil proses yang telah diseleksi dari Konferensi Internasional ke-18 tentang Pemrosesan String dan Pengambilan Informasi, ICOST 2022, yang diadakan di Paris, Prancis, pada bulan Juni 2022. 15 makalah lengkap dan 10 makalah pendek yang disajikan dalam volume ini telah ditinjau dan dipilih secara saksama dari 33 kiriman. Makalah-makalah tersebut mencakup topik-to…
Buku akses terbuka ini merupakan hasil dari Konferensi Internasional ke-13 tentang Penginderaan Haptik Manusia dan Aplikasi Komputer Berbasis Sentuhan, EuroHaptics 2022, yang diadakan di Hamburg, Jerman, pada bulan Mei 2022. 36 makalah reguler yang disertakan dalam buku ini ditinjau dan dipilih dengan saksama dari 129 kiriman. Makalah-makalah tersebut disusun dalam beberapa bagian topik sebagai…
Ini adalah buku akses terbuka. Pembelajaran mesin (ML) statistik telah memicu kebangkitan kecerdasan buatan (AI). Sementara model ML yang paling sukses, termasuk Deep Neural Networks (DNN), telah mengembangkan prediktivitas yang lebih baik, model tersebut menjadi semakin kompleks, dengan mengorbankan interpretabilitas manusia (korelasi vs. kausalitas). Bidang AI yang dapat dijelaskan (xAI) tela…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-25 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2022, yang diadakan selama 4-5 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 17 makalah reguler yang disajikan dalam volume ini ditinjau dengan cermat dan dipili…