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…
Buku ini merupakan hasil dari Konferensi Internasional ke-16 tentang Informatika di Sekolah: Situasi, Evolusi, dan Perspektif, ISSEP 2023, yang diadakan di Lausanne, Swiss, selama 23–25 Oktober 2023. Ke-14 makalah lengkap yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 47 kiriman. Makalah-makalah tersebut disusun dalam empat bagian topik yang diberi nama: kecerdasan bua…
Buku Akses terbuka ini merupakan prosiding yang diseleksi dari Lokakarya Internasional Pertama tentang AI dalam Penemuan Obat, AIDD (Artificial Intelligence for Drug 2024, yang diadakan sebagai bagian dari Konferensi Internasional ke-33 tentang Jaringan Syaraf Tiruan, (ICANN, International Conference on Artificial Neural Networks) 2024, di Lugano, Swiss, pada tanggal 19 September 2024. Ke-12 ma…
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…
Central banks’ mandates cannot merely be to achieve price stability; they should be enlarged to include promoting financial system stability. To achieve this dual mandate, central banks are advised to formulate and implement a policy mix of interest rate policy, combined with exchange rate policy, capital flow management as well as macro prudential policy. This policy mix should be furthe…
This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practic…
This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get t…