LEADER 04265nam  22006615  450 
001 9911034572303321
005 20251001130535.0
010   $a3-032-01377-1
024 7 $a10.1007/978-3-032-01377-4
035   $a(CKB)41544527300041
035   $a(DE-He213)978-3-032-01377-4
035   $a(MiAaPQ)EBC32334635
035   $a(Au-PeEL)EBL32334635
035   $a(EXLCZ)9941544527300041
100   $a20251001d2026      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aBridging the Gap Between AI and Reality $eSecond International Conference, AISoLA 2024, Crete, Greece, October 30 ? November 3, 2024, Selected Papers /$fedited by Bernhard Steffen
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (X, 282 p. 81 illus., 49 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16032
311 08$a3-032-01376-3 
327   $aCorrect-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.
330   $aThis 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. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16032
606   $aComputer science
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aComputer systems
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aArtificial Intelligence.
676   $a004.0151
702   $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911034572303321
996   $aBridging the Gap Between AI and Reality$94212873
997   $aUNINA