Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings /
This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic a...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Edisyon: | 1st ed. 2024. |
| Seri Bilgileri: | Lecture Notes in Computer Science,
14380 |
| Konular: | |
| Online Erişim: | https://doi.org/10.1007/978-3-031-46002-9 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-46002-9 | ||
| 003 | DE-He213 | ||
| 005 | 20260810115355.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 231213s2024 sz | o |||| 0|eng d | ||
| 020 | |a 9783031460029 |9 978-3-031-46002-9 | ||
| 024 | 7 | |a 10.1007/978-3-031-46002-9 |2 doi | |
| 050 | 4 | |a QA75.5-76.95 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 245 | 1 | 0 | |a Bridging the Gap Between AI and Reality |h [electronic resource] : |b First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / |c edited by Bernhard Steffen. |
| 250 | |a 1st ed. 2024. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2024. | |
| 300 | |a 1 online resource (XIII, 456 p. 132 illus.). |b 114 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14380 | |
| 505 | 0 | |a Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming. | |
| 520 | |a This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning. . | ||
| 588 | |a Print version record. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Computers, Special purpose. | |
| 650 | 0 | |a Computer systems. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 1 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Special Purpose and Application-Based Systems. |
| 650 | 2 | 4 | |a Computer System Implementation. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 700 | 1 | |a Steffen, Bernhard. |e editor. |0 (orcid)0000-0001-9619-1558 |1 https://orcid.org/0000-0001-9619-1558 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031460012 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031460036 |
| 830 | 0 | |a Lecture Notes in Computer Science, |x 1611-3349 ; |v 14380 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-46002-9 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-SXPS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||
| 950 | |a Springer Nature Proceedings Computer Science (SpringerNature-85344) | ||