{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":34,"n_cols":5,"rows_kept":34,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[28,2,28,3],[29,2,29,3],[31,2,31,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990009569830403321"]
[null,null,"Autore",null,"Strickrodt, Georg"]
[null,null,"Titolo",null,"Die stiftung als neue unternehmensform / Georg Strickrodt (a cura di)"]
[null,null,"Pubbl/distr/stampa",null,"Berlin- Hamburg- Kiel : Georg Westermann, 1951"]
[null,null,"Descrizione fisica",null,"67 p. ; 25 cm"]
[null,null,"Locazione",null,"DEC"]
[null,null,"Collocazione",null,"DPR 19A-65"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9911034572303321"]
[null,null,"Titolo",null,"Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers / / edited by Bernhard Steffen"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026"]
[null,null,"ISBN",null,"3-032-01377-1"]
[null,null,"Edizione",null,"[1st ed. 2026.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 282 p. 81 illus., 49 illus. in color.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 16032"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Computer systems"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Artificial Intelligence"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Correct-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 "]
[{"$nulls":4},"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."]
[null,null,null,"Sommario/riassunto","This 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. ."]