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) | 273.94 lei 18-23 zile | +21.08 lei 7-13 zile |
| Springer – 2 oct 2025 | 273.94 lei 18-23 zile | +21.08 lei 7-13 zile |
| Springer Verlag GmbH – 11 oct 2025 | 288.44 lei 6-8 săpt. | |
| Springer Nature Switzerland – 14 dec 2023 | 464.70 lei 6-8 săpt. | |
| Springer – 30 dec 2024 | 482.96 lei 39-44 zile | |
| Springer – 31 oct 2024 | 848.77 lei 39-44 zile |
Preț: 273.94 lei
Preț vechi: 342.42 lei
-20%
Puncte Express: 411
Preț estimativ în valută:
48.46€ • 56.81$ • 42.16£
48.46€ • 56.81$ • 42.16£
Carte disponibilă
Livrare economică 09-14 februarie
Livrare express 29 ianuarie-04 februarie pentru 31.07 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;