default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st 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, Tim Riswick, Rombert J. Stapel:
Common Language for Accessibility, Interoperability, and Reusability in Historical Demography. 10-29 - Bjørn-Richard Pedersen, Maisha Islam, Doris Tove Kristoffersen, Lars Ailo Bongo, Eilidh Garrett, Alice Reid, Hilde L. Sommerseth:
Coding Historical Causes of Death Data with Large Language Models. 30-47 - Cecilia Fissore, Francesco Floris, Marina Marchisio Conte, Matteo Sacchet:
Teaching the Specialized Language of Mathematics with a Data-Driven Approach: What Data Do We Use? 48-64 - Ciara Breathnach, Rachel Murphy, Alexander Schieweck, Tiziana Margaria:
Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis. 65-83 - Enda O'Shea, Marco Krumrey, Daniel Sami Mitwalli, Sebastian Teumert, Tiziana Margaria:
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, Anna Gasperini:
Digitised Historical Sources and Non-digital Humanists: An Interdisciplinary Challenge? 119-131 - Evi Zafeiridi, Malik Muhammad Qirtas, Eleanor Bantry-White, Dirk Pesch:
Using Passive Sensing to Identify Depression. 132-143 - Stefano Ferilli, Eleonora Bernasconi, Davide Di Pierro, Domenico Redavid:
The GraphBRAIN Framework for Knowledge Graph Management and Its Applications to Cultural Heritage. 144-161
Health Care
- Markus Bertl, Yngve Lamo, Martin Leucker, Tiziana Margaria, Esfandiar Mohammadi, Suresh Kumar Mukhiya, Ludwig Pechmann, Gunnar Piho, Fazle Rabbi:
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, Gunnar Piho, Dirk Draheim, Peeter Ross, Ludwig Pechmann, Nicholas Bucciarelli, Rahul Sharma:
Future Opportunities for Systematic AI Support in Healthcare. 203-224 - Ludwig Pechmann, Yannik Potdevin, Kai Brehmer, Dirk Nowotka, Martin Leucker:
CRISP-PCCP - A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices. 225-244 - Colm Brandon, Amandeep Singh, Tiziana Margaria:
Model Driven Development for AI-Based Healthcare Systems: A Review. 245-265
Responsible and Trustworthy AI
- Dominik Hintersdorf, Lukas Struppek, Kristian Kersting:
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, Isabel Valera:
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, Andreas Hein:
Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception. 415-433 - Sven Peldszus, Henriette Knopp, Yorick Sens, Thorsten Berger:
Towards ML-Integration and Training Patterns for AI-Enabled Systems. 434-452
Safety Verification of DNNs
- Christian Schilling, Martin Zimmermann:
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-02-21 19: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:
