Buku akses terbuka ini menyajikan kumpulan makalah yang berfokus pada tantangan penelitian 3D terkini dalam ranah warisan budaya digital. Teknologi 3D banyak digunakan dalam bidang warisan budaya pada awal abad ke-21, misalnya dalam bidang akuisisi data, pemodelan, pengarsipan dalam repositori lokal, pengumpulan data dalam perpustakaan digital, dan pelestarian jangka panjangnya. Volume ini mene…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…
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 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 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…
Buku akses terbuka ini menyajikan hasil ilmiah utama dari proyek H2020 GUARD. Proyek GUARD bertujuan untuk mengisi kesenjangan teknologi saat ini antara paradigma manajemen perangkat lunak dan model keamanan siber, yang terakhir masih kurang orkestrasi dan ketangkasan untuk secara efektif mengatasi dinamika yang pertama. Buku ini memberikan tinjauan komprehensif tentang konsep utama, arsitektur…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-28 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2022, yang diadakan selama 2-7 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 46 makalah lengkap dan 4 makalah pendek yang disajikan dalam volume ini ditinjau dan dipi…
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-28 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2022, yang diadakan selama 2-7 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 46 makalah lengkap dan 4 makalah pendek yang disajikan dalam volume ini ditinjau dan dipi…
Buku akses terbuka ini merupakan makalah terpilih yang telah direvisi dari Lokakarya Internasional ke-4 tentang Komputasi yang Terinspirasi oleh Otak, BrainComp 2019, yang diadakan di Cetraro, Italia, pada bulan Juli 2019. Sebelas makalah yang disajikan dalam volume ini telah ditinjau dan dipilih dengan saksama untuk dimasukkan dalam buku ini. Makalah-makalah tersebut membahas penelitian tentan…