東華大學圖書館 |

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Bridging the gap between AI and reality/ edited by Bernhard Steffen.
其他題名:	first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : selected papers /
其他題名:	AISoLA 2023
其他作者:	Steffen, Bernhard.
團體作者:	International Conference on Bridging the Gap between AI and Reality
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xi, 472 p. :ill. (some col.), digital ;24 cm.
內容註:	Digital 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.
Contained By:	Springer Nature eBook
標題:	Artificial intelligence - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-73741-1
ISBN:	9783031737411

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : selected papers /
Bridging the gap between AI and realityfirst International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : selected papers /[electronic resource] :AISoLA 2023edited by Bernhard Steffen. - Cham :Springer Nature Switzerland :2025. - xi, 472 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,141291611-3349 ;. - Lecture notes in computer science ;14129..

Digital 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.

Open access.

This 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.

ISBN: 9783031737411

Standard No.: 10.1007/978-3-031-73741-1doiSubjects--Topical Terms:

606815
Artificial intelligence
--Congresses.

LC Class. No.: Q334

Dewey Class. No.: 006.3

Bridging the gap between AI and reality = first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : selected papers /
LDR:04019nmm a2200361 a 4500 001 2407908
003 DE-He213
005 20241030115834.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031737411 $q (electronic bk.)
020 $a 9783031737404 $q (paper)
024 7 $a 10.1007/978-3-031-73741-1 $2 doi
035 $a 978-3-031-73741-1
040 $a GP $c GP
041 0 $a eng
050 4 $a Q334
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 006.3 $2 23
090 $a Q334 $b .I61 2023
111 2 $a International Conference on Bridging the Gap between AI and Reality $n (1st : $d 2023 : $c Crete, Greece) $3 3780068
245 1 0 $a Bridging the gap between AI and reality $h [electronic resource] : $b first International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023 : selected papers / $c edited by Bernhard Steffen.
246 3 $a AISoLA 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xi, 472 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14129
505 0 $a Digital 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.
506 $a Open access.
520 $a This 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.
650 0 $a Artificial intelligence $v Congresses. $3 606815
650 1 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Artificial Intelligence. $3 769149
700 1 $a Steffen, Bernhard. $3 849542
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14129. $3 3780069
856 4 0 $u https://doi.org/10.1007/978-3-031-73741-1
950 $a Computer Science (SpringerNature-11645)