Filter by
Automated Reasoning; 11th International Joint Conference, IJCAR 2022, Haifa, …
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…
- Edition
- -
- ISBN/ISSN
- 978-3-031-10769-6
- Collation
- 1 online resource (XV, 756 Pages)
- Series Title
- -
- Call Number
- 006.3 BLA a
Supercomputing Frontiers; 7th Asian Conference, SCFA 2022, Singapore, March 1…
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, …
- Edition
- -
- ISBN/ISSN
- 978-3-031-10419-0
- Collation
- 1 online resource (XIII, 141 Pages)
- Series Title
- -
- Call Number
- 004.1 PAN s
Participative Urban Health and Healthy Aging in the Age of AI; 19th Internati…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-031-09593-1
- Collation
- 1 online resource (XIII, 312 Pages)
- Series Title
- -
- Call Number
- 006.3 ALO p
Haptics: Science, Technology, Applications; 13th International Conference on …
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…
- Edition
- -
- ISBN/ISSN
- 978-3-031-06249-0
- Collation
- 13235
- Series Title
- -
- Call Number
- 004.6 SEI h
xxAI - Beyond Explainable AI; International Workshop, Held in Conjunction wit…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-031-04083-2
- Collation
- 1 online resource (X, 397 Pages)
- Series Title
- -
- Call Number
- 006.31 HOL b
Cybersecurity of Digital Service Chains; Challenges, Methodologies, and Tools
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…
- Edition
- -
- ISBN/ISSN
- 978-3-031-04036-8
- Collation
- 1 online resource (IX, 257 Pages)
- Series Title
- -
- Call Number
- 005.8 KOL c
Tools and Algorithms for the Construction and Analysis of Systems; Theory and…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99527-0
- Collation
- 1 online resource (XXI, 493 Pages)
- Series Title
- -
- Call Number
- 005.1 FIS t
Tools and Algorithms for the Construction and Analysis of Systems; 28th Inter…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99524-9
- Collation
- 1 online resource (XXII, 583 Pages)
- Series Title
- -
- Call Number
- 005.1 KOM t
Foundations of Software Science and Computation Structures; 25th Internationa…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99253-8
- Collation
- 1 online resource (XVI, 470 Pages)
- Series Title
- -
- Call Number
- 005.1 BOU f
Fundamental Approaches to Software Engineering; 25th International Conference…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99429-7
- Collation
- -
- Series Title
- -
- Call Number
- 005.1 JOH f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography