Bridging the Gap Between AI and Reality
Editat de Bernhard Steffenen Limba Engleză Paperback – 2 oct 2025
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.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (5) | 274.16 lei 17-24 zile | +21.09 lei 7-13 zile |
| Springer – 2 oct 2025 | 274.16 lei 17-24 zile | +21.09 lei 7-13 zile |
| Springer Nature Switzerland – 14 dec 2023 | 464.70 lei 6-8 săpt. | |
| Springer – 30 dec 2024 | 483.35 lei 38-45 zile | |
| Springer – 31 oct 2024 | 849.44 lei 38-45 zile | |
| Springer Verlag GmbH – 11 oct 2025 | 265.98 lei Precomandă |
Preț: 274.16 lei
Preț vechi: 342.70 lei
-20% Nou
Puncte Express: 411
Preț estimativ în valută:
48.53€ • 56.79$ • 42.45£
48.53€ • 56.79$ • 42.45£
Carte disponibilă
Livrare economică 29 decembrie 25 - 05 ianuarie 26
Livrare express 19-25 decembrie pentru 31.08 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783032013767
ISBN-10: 3032013763
Pagini: 292
Ilustrații: X, 280 p. 78 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Editura: Springer
ISBN-10: 3032013763
Pagini: 292
Ilustrații: X, 280 p. 78 illus.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Editura: Springer
Cuprins
Verification meets Learning and Statistics.- Nature of AI-Based Systems.- Safety Verificatio of DNNs.- AI Assisted Programming.
Descriere
Descriere de la o altă ediție sau format:
This book constitutes the proceedings of 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 focus on the following topics: AI assisted programming; approaches of using formal methods and ai in health care;
This book constitutes the proceedings of 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 focus on the following topics: AI assisted programming; approaches of using formal methods and ai in health care;