This Fact Sheet will provide general information helpful to understand the Fukushima accident and forest through 15 Q&As.
Buku akses terbuka ini merupakan makalah terpilih yang telah direvisi dari Konferensi Internasional Pertama tentang Menjembatani Kesenjangan antara AI dan Realitas, Penyelarasan Sosial-Hukum Kecerdasan Buatan (AISoLA, Artificial Intelligence Socio-Legal Alignment) 2023, yang berlangsung di Kreta, Yunani, pada bulan Oktober 2023. Makalah-makalah yang disertakan dalam buku ini berfokus pada topi…
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
Set 3 volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-36 tentang Verifikasi Berbantuan Komputer, CAV 2024, yang berlangsung di Montreal, Kanada, selama 24–27 Juli 2024. Fokus utama CAV adalah memperluas batasan teknik verifikasi dengan memperluas ke domain baru seperti keamanan, komputasi kuantum, dan pembelajaran mesin.
Prosiding akses terbuka Lecture Notes in Computer Science 13964, 13965, 13966 merupakan prosiding yang diseleksi dari Konferensi Internasional ke-35 tentang Verifikasi Berbantuan Komputer, CAV 2023, yang diadakan di Paris, Prancis, pada bulan Juli 2023. Sebanyak 67 makalah lengkap yang disajikan dalam prosiding ini ditinjau dengan saksama dan dipilih dari 261 kiriman. Prosiding ini telah disusu…
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 ini merupakan hasil dari prosiding Konferensi Internasional ke-9 tentang Interaksi Manusia dan Komputer yang Cerdas, IHCI 2017, yang diadakan di Evry, Prancis, pada bulan Desember 2017. Ke-15 makalah yang dipresentasikan bersama dengan tiga makalah undangan ditinjau dan dipilih secara saksama dari 25 makalah yang diajukan. Konferensi ini merupakan forum untuk presentasi kemajuan teknologi …
Buku ini merupakan hasil dari Lokakarya Internasional ke-5 tentang Interaksi Simbiotik, Simbiotik 2016, yang diadakan di Padua, Italia, pada bulan Oktober 2016. 12 makalah lengkap dan 3 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih secara saksama dari 23 kiriman. Gagasan sistem simbiosis yang diajukan dalam lokakarya ini memanfaatkan kemampuan komputer untuk secara implisi…
Buku ini menjelaskan dan membahas bagaimana hak anak atas kebebasan berekspresi ditegakkan melalui praktik dan pengambilan keputusan dalam Layanan Perlindungan Anak (CPS). Dengan menggunakan hak berekspresi sebagaimana ditetapkan dalam Pasal 12.2 Konvensi Hak Anak Perserikatan Bangsa-Bangsa (CRC) sebagai titik tolak, buku ini menjelaskan seperti apa seharusnya praktik CPS dan bagaimana praktik …