default search action
1st AISoLA 2023: Crete, Greece - Selected Papers
- Bernhard Steffen
:
Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers. Lecture Notes in Computer Science 14129, Springer 2025, ISBN 978-3-031-73740-4
Digital Humanities
- Ciara Breathnach, Tiziana Margaria:
Digital Humanities and Cultural Heritage in AI and IT-Enabled Environments. 3-9 - Rick J. Mourits
Common Language for Accessibility, Interoperability, and Reusability in Historical Demography. 10-29 - Bjørn-Richard Pedersen, Maisha Islam
Coding Historical Causes of Death Data with Large Language Models. 30-47 - Cecilia Fissore
Teaching the Specialized Language of Mathematics with a Data-Driven Approach: What Data Do We Use? 48-64 - Ciara Breathnach
Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis. 65-83 - Enda O'Shea
From Data Science to Modular Workflows Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study. 84-103 - Oonagh Walsh, Stuart Clancy:
Mapping Madness: HGIS and the Analysis of Irish Patient Records. 104-118 - Maelle Le Roux
Digitised Historical Sources and Non-digital Humanists: An Interdisciplinary Challenge? 119-131 - Evi Zafeiridi
Using Passive Sensing to Identify Depression. 132-143 - Stefano Ferilli
The GraphBRAIN Framework for Knowledge Graph Management and Its Applications to Cultural Heritage. 144-161
Health Care
- Markus Bertl
Challenges for AI in Healthcare Systems. 165-186 - Fazle Rabbi, Bahareh Fatemi, Suresh Kumar Mukhiya, Yngve Lamo:
Towards a Multi-dimensional Health Data Analysis Framework. 187-202 - Markus Bertl
Future Opportunities for Systematic AI Support in Healthcare. 203-224 - Ludwig Pechmann
CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. 225-244 - Colm Brandon
Model Driven Development for AI-Based Healthcare Systems: A Review. 245-265
Responsible and Trustworthy AI
- Dominik Hintersdorf
Balancing Transparency and Risk: An Overview of the Security and Privacy Risks of Open-Source Machine Learning Models. 269-283 - Giacomo Zanotti, Daniele Chiffi, Viola Schiaffonati:
AI-Related Risk and Uncertainty. 284-292 - Markus Langer
Leveraging Actionable Explanations to Improve People's Reactions to AI-Based Decisions. 293-306 - Maike Schwammberger
From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations Can Save the World. 307-317 - Hannah Ruschemeier:
Thinking Outside the Box? - Regulatory Sandboxes as a Tool for AI Regulation. 318-332 - Ashton Black
AI and Democratic Equality: How Surveillance Capitalism and Computational Propaganda Threaten Democracy. 333-347
AI Assisted Programming
- Dirk Beyer
Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper). 351-361 - Itay Cohen, Doron Peled:
End-to-End AI Generated Runtime Verification from Natural Language Specification. 362-384 - Bernhard K. Aichernig, Klaus Havelund:
AI-Assisted Programming with Test-Based Refinement. 385-411
Automotive Driving
- Martin Fränzle
Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception. 415-433 - Sven Peldszus
Towards ML-Integration and Training Patterns for AI-Enabled Systems. 434-452
Safety Verification of DNNs
- Christian Schilling
The Reachability Problem for Neural-Network Control Systems. 455-469
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: