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
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
Automated Deduction – CADE 28; 28th International Conference on Automated D…
Buku akses terbuka ini merupakan prosiding dari Konferensi Internasional ke-28 tentang Deduksi Otomatis, (Conference on Automated Deduction) CADE 28, yang diselenggarakan secara virtual pada bulan Juli 2021. 29 makalah lengkap dan 7 deskripsi sistem yang disajikan bersama dengan 2 makalah undangan ditinjau dan dipilih secara saksama dari 76 kiriman. CADE adalah forum utama untuk penyajian penel…
- Edition
- -
- ISBN/ISSN
- 978-3-030-79876-5
- Collation
- 1 online resource (XIV, 650 Pages)
- Series Title
- -
- Call Number
- 006.3 PLA a
Graph Structures for Knowledge Representation and Reasoning; 6th Internationa…
Buku akses terbuka ini merupakan prosiding pascakonferensi yang telah melalui proses penelaahan menyeluruh dari Lokakarya Internasional ke-6 tentang Struktur Graf untuk Representasi dan Penalaran Pengetahuan, GKR 2020, yang diselenggarakan secara virtual pada bulan September 2020, yang terkait dengan ECAI 2020, Konferensi Eropa ke-24 tentang Kecerdasan Buatan. Tujuh makalah lengkap yang direvis…
- Edition
- -
- ISBN/ISSN
- 978-3-030-72308-8
- Collation
- 1 online resource (XIII, 151 Pages)
- Series Title
- -
- Call Number
- 006.3 COC g
How AI Impacts Urban Living and Public Health; 17th International Conference,…
Buku akses terbuka ini merupakan prosiding wasit dari Konferensi Internasional ke-17 tentang Pemrosesan String dan Pengambilan Informasi, ICOST 2019, yang diadakan di New York City, NY, AS, pada Oktober 2019. 15 makalah lengkap dan 5 makalah pendek yang disajikan dalam volume ini ditinjau dan dipilih dengan cermat dari 24 pengajuan. Mereka membahas topik-topik seperti: desain teknologi e-health…
- Edition
- -
- ISBN/ISSN
- 978-3-030-32785-9
- Collation
- 1 online resource (XIV, 214 Pages)
- Series Title
- -
- Call Number
- 006.3 PAG h
Language Technologies for the Challenges of the Digital Age; 27th Internation…
Volume akses terbuka ini merupakan hasil proses yang telah diseleksi dari konferensi dua tahunan ke-27 Masyarakat Jerman untuk Linguistik Komputasional dan Teknologi Bahasa, GSCL 2017, yang diselenggarakan di Berlin, Jerman, pada bulan September 2017, yang berfokus pada teknologi bahasa untuk era digital. Sebanyak 16 makalah lengkap dan 10 makalah pendek yang disertakan dalam proses tersebut di…
- Edition
- -
- ISBN/ISSN
- 978-3-319-73706-5
- Collation
- 1 online resource (315 Pages)
- Series Title
- -
- Call Number
- 006.3 REH l
Metaheuristic computation with MATLAB®
Algoritma metaheuristik dianggap sebagai alat optimasi generik yang dapat memecahkan masalah yang sangat rumit yang ditandai dengan memiliki ruang pencarian yang sangat besar. Metode metaheuristik mengurangi ukuran efektif ruang pencarian melalui penggunaan strategi pencarian yang efektif. Fitur Buku: • Memberikan pandangan terpadu tentang metode metaheuristik paling populer yang saat ini dig…
- Edition
- -
- ISBN/ISSN
- 9781003006312
- Collation
- 1 online resource (xx, Pages 280)
- Series Title
- -
- Call Number
- 006.3 CUE m
Data science for wind energy
Ilmu Data untuk Energi Angin menyediakan diskusi mendalam tentang bagaimana metode ilmu data dapat meningkatkan pengambilan keputusan untuk aplikasi energi angin, analisis dan prakiraan medan angin dekat permukaan tanah, pemasangan kurva daya turbin dan analisis kinerja, penilaian keandalan turbin, dan pengoptimalan pemeliharaan untuk turbin angin dan ladang angin. Seperangkat metode ilmu data …
- Edition
- -
- ISBN/ISSN
- 9780429490972
- Collation
- 1 online resource (Pages 424)
- Series Title
- -
- Call Number
- 006.3 DIN d
Reasoning about rational agents
Salah satu tujuan ilmu komputer modern adalah merekayasa program komputer yang dapat bertindak sebagai agen rasional yang otonom; perangkat lunak yang dapat secara independen membuat keputusan yang baik tentang tindakan apa yang harus dilakukan atas nama kita dan melaksanakan tindakan tersebut. Aplikasinya berkisar dari program kecil yang secara cerdas mencari di Web untuk membeli dan menjual b…
- Edition
- -
- ISBN/ISSN
- 9780262257237
- Collation
- 1 online resource (xi, 227 pages).
- Series Title
- Intelligent Robotics and Autonomous Agents series
- Call Number
- 006.3 WOO r
Soft architecture machines.
Posisi bahwa arsitektur berbantuan komputer merupakan masalah kecerdasan mesin merupakan posisi yang tidak mengenakkan. Meskipun saya sungguh-sungguh percaya bahwa argumen tersebut kuat, paradoks dan kemunduran yang ada sangat besar hingga membuat posisi ini cukup merugikan bagi peneliti. Meskipun demikian, hasil dari melanjutkan dan konsekuensi dari menyerah begitu besar sehingga seseorang dap…
- Edition
- -
- ISBN/ISSN
- 9780262367837
- Collation
- 1 online resource (239 pages)
- Series Title
- Applications of computer systems
- Call Number
- 006.3 NEG s
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography