LEADER 05226nam 22006855 450 001 9910898593403321 005 20241120175111.0 010 $a9783031737411 010 $a3031737415 024 7 $a10.1007/978-3-031-73741-1 035 $a(CKB)36431226000041 035 $a(DE-He213)978-3-031-73741-1 035 $a(MiAaPQ)EBC31850561 035 $a(Au-PeEL)EBL31850561 035 $a(EXLCZ)9936431226000041 100 $a20241030d2025 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 $eFirst International Conference, AISoLA 2023, Crete, Greece, October 23?28, 2023, Selected Papers /$fedited by Bernhard Steffen 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (XI, 472 p. 89 illus., 69 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14129 311 08$a9783031737404 311 08$a3031737407 327 $aDigital Humanities and Cultural Heritage in AI and IT-enabled Environments -- Common Language for Accessibility, Interoperability, and Reusability in Historical Demography -- Coding historical causes of death data with Large Language Models -- Teaching the specialized language of Mathematics with a data-driven approach: what data do we use? -- Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis -- From Data Science to Modular Workflows - Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study -- Mapping Madness: HGIS and the granular analysis of Irish patient records -- Digitised historical sources and non-digital humanists: an interdisciplinary challenge? -- Using Passive Sensing to Identify Depression -- The GraphBRAIN Framework for Knowledge Graph Management and its Applications to Cultural Heritage -- Challenges for AI in Healthcare Systems -- Towards a Multi-dimensional Health Data Analysis Framework -- Future Opportunities for Systematic AI Support in Healthcare -- CRISP-PCCP ? A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices -- Model Driven Development for AI-based Healthcare Systems: A Review -- Balancing Transparency and Risk: An Overview of the Security and Privacy Risks of Open-Source Machine Learning Models -- AI-related risk and uncertainty -- Leveraging Actionable Explanations to Improve People?s Reactions to AI-based Decisions -- From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations can Save the World -- Thinking Outside the Box? Regulatory Sandboxes as a Tool for AI Regulation -- AI and Democratic Equality: How Surveillance Capitalism and Computational Propaganda Threaten Democracy -- Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper) -- End-to-End AI Generated Runtime Verification from Natural Language Specification -- AI-Assisted Programming with Test-based Refinement -- Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception -- Towards ML-Integration and Training Patterns for AI-Enabled Systems -- The Reachability Problem for Neural-Network Control Systems. 330 $aThis open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. 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. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14129 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 $a9910898593403321 996 $aBridging the Gap Between AI and Reality$94212873 997 $aUNINA