Bridging the Gap Between AI and Reality
Produktnummer:
18f6a5a26f6e2b498c8e947847677b3d2b
| Themengebiete: | AI systems Model Checking Natural Language Processing (NLP) Open Access Verification artificial intelligence (AI) deep learning (DL) industrial applications large language models machine learning (ML) |
|---|---|
| Veröffentlichungsdatum: | 20.09.2025 |
| EAN: | 9783032013767 |
| Sprache: | Englisch |
| Seitenzahl: | 280 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Steffen, Bernhard |
| Verlag: | Springer International Publishing |
| Untertitel: | Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers |
Produktinformationen "Bridging the Gap Between AI and Reality"
This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen