5 options
Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers / edited by Bernhard Steffen.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View onlineSpringer Nature - Springer Nature Link Journals and eBooks - Fully Open Access Available online
View online- Format:
- Book
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 16032
- Language:
- English
- Subjects (All):
- Computer science.
- Software engineering.
- Computers, Special purpose.
- Computer systems.
- Artificial intelligence.
- Computer Science Logic and Foundations of Programming.
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Artificial Intelligence.
- Local Subjects:
- Computer Science Logic and Foundations of Programming.
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (X, 282 p. 81 illus., 49 illus. in color.)
- Edition:
- 1st ed. 2026.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2026.
- Summary:
- 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. .
- Contents:
- Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code
- Context Engineering for AI-Assisted Programming for Domain-Specific Languages
- The Impact of Generative Artificial Intelligence Tools in Project-Based Learning
- Health Care - Approaches Using Formal Methods and AI
- Towards Person-Owned and Controlled Personal Health Records: Past, Present, and Future Research at eMedLab, TalTech
- LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays
- Quantum Machine Learning in Precision Medicine and Drug Discovery - A Game Changer for Tailored Treatments?
- What Computing Professionals Should Know About Ethics: Perspectives of Philosophers
- Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics
- Epistemic Deference to AI
- Responsibility Attribution for AI-mediated Damages with Mechanistic Interpretability
- Development and Maintenance of Trust in Human-Drone-Interaction: Preliminary empirical findings in a warehouse setting
- Feedback from AI Team Members: Implications on Self-Image and Trust
- Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems under Uncertainty
- A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 3-032-01377-1
- 9783032013774
- OCLC:
- 1555348804
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.