| 000 | 05634nam a22007575i 4500 | ||
|---|---|---|---|
| 001 | 978-3-032-01377-4 | ||
| 003 | DE-He213 | ||
| 005 | 20260304124356.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 251001s2026 sz | s |||| 0|eng d | ||
| 020 |
_a9783032013774 _9978-3-032-01377-4 |
||
| 024 | 7 |
_a10.1007/978-3-032-01377-4 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aUYA _2thema |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aBridging the Gap Between AI and Reality _h[electronic resource] : _bSecond International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers / _cedited by Bernhard Steffen. |
| 250 | _a1st ed. 2026. | ||
| 264 | 1 |
_aCham : _bSpringer Nature Switzerland : _bImprint: Springer, _c2026. |
|
| 300 |
_aX, 282 p. 81 illus., 49 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 341 | 0 |
_bPDF/UA-1 _2onix |
|
| 341 | 0 |
_bTable of contents navigation _2onix |
|
| 341 | 0 |
_bSingle logical reading order _2onix |
|
| 341 | 0 |
_bShort alternative textual descriptions _2onix |
|
| 341 | 0 |
_bUse of color is not sole means of conveying information _2onix |
|
| 341 | 0 |
_bUse of high contrast between text and background color _2onix |
|
| 341 | 0 |
_bNext / Previous structural navigation _2onix |
|
| 341 | 0 |
_bAll non-decorative content supports reading without sight _2onix |
|
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v16032 |
|
| 505 | 0 | _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. | |
| 506 | 0 | _aOpen Access | |
| 520 | _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. . | ||
| 532 | 8 | _aAccessibility summary: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub. | |
| 532 | 8 | _aNo reading system accessibility options actively disabled | |
| 532 | 8 | _aPublisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputers, Special purpose. | |
| 650 | 0 | _aComputer systems. | |
| 650 | 0 | _aArtificial intelligence. | |
| 650 | 1 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aSpecial Purpose and Application-Based Systems. |
| 650 | 2 | 4 | _aComputer System Implementation. |
| 650 | 2 | 4 | _aArtificial Intelligence. |
| 700 | 1 |
_aSteffen, Bernhard. _eeditor. _0(orcid)0000-0001-9619-1558 _1https://orcid.org/0000-0001-9619-1558 _4edt _4http://id.loc.gov/vocabulary/relators/edt _93893 |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783032013767 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783032013781 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v16032 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-032-01377-4 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-SXPS | ||
| 912 | _aZDB-2-LNC | ||
| 912 | _aZDB-2-SOB | ||
| 999 |
_c579850 _d579850 |
||