Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (X, 282 p. 81 illus., 49 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computers, Special purpose Computer systems Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
| ISBN | 3-032-01377-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 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. |
| Record Nr. | UNINA-9911034572303321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bridging the Gap Between AI and Reality : Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1–5, 2025, Selected Papers / / edited by Bernhard Steffen
| Bridging the Gap Between AI and Reality : Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1–5, 2025, Selected Papers / / edited by Bernhard Steffen |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (XXII, 187 p. 33 illus., 29 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers, Special purpose Computer systems Artificial intelligence Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
| ISBN | 3-032-07132-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911034572403321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers / / edited by Bernhard Steffen
| Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers / / edited by Bernhard Steffen |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XI, 472 p. 89 illus., 69 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computers, Special purpose Computer systems Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
| ISBN |
9783031737411
3031737415 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910898593403321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday / / edited by Mike Hinchey, Bernhard Steffen
| The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday / / edited by Mike Hinchey, Bernhard Steffen |
| Autore | Hinchey Mike |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (400 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | SteffenBernhard |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Machine theory Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-031-73887-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Combined Power of Research, Education and Dissemination -- My Mom - My Role Model -- Omnipresence -- Bridging Theory and Practice: Tiziana Margaria’s Strategic Leadership in bridging academia and industry -- How Long Does It Take to Become (Scientific) Friends? -- The Big Game: The Italian Avenue of Attack to Cybersecurity Skill Shortage -- Education and Society -- From Otter to ISoLA -- A Quantum-like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend -- The Softer Side of a Formal Methods Researcher -- The Power of Models for Software Engineering -- Unveiling Modeling Patterns in Workflow Sketches: Insights for Designing an Abstract Workflow Language for Scientific Computing -- The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-based Engineering -- A Case-Study on Structured Modeling with Internal Domain-Specific Languages -- Semantic Reflection and Digital Twins: A Comprehensive Overview -- Assessing static and dynamic features for packing detection -- Towards a Framework for Transitioning from Monolith to Serverless -- Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach -- The AI Act and Some Implications for Developing AI-based Systems -- Recognizing Hand-based Micro Activities Using Wrist-Worn Inertial Sensors: A Zero-Shot Learning Approach -- A Modal Logic Analysis of the MUTEX Variable Coverage Theorem -- Timing is all you need -- Three Ways of Proving Termination of Loops -- Formal Verification of BDI Agents -- Formal Methods for Industrial Critical Systems: 30 Years of Railway Applications -- A Manifesto 4 Longevity as a Biomedical Paradigm Shift Challenging Entrenched Wisdoms in Healthcare Economics -- Death and Burial Data: Ireland 1864-1922 – an interdisciplinary collaboration. |
| Record Nr. | UNINA-9910983395303321 |
Hinchey Mike
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computing and Software Science [[electronic resource] ] : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger
| Computing and Software Science [[electronic resource] ] : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 590 p. 774 illus., 54 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Electronic digital computers—Evaluation Algorithms Artificial intelligence Computer Science Software Engineering Compilers and Interpreters System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-91908-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466446103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computing and Software Science : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger
| Computing and Software Science : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIX, 590 p. 774 illus., 54 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Electronic digital computers—Evaluation Algorithms Artificial intelligence Computer Science Software Engineering Compilers and Interpreters System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-91908-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349297603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Correct system design : recent insights and advances / / Ernst-RuÌdiger Olderog, Bernhard Steffen (editors)
| Correct system design : recent insights and advances / / Ernst-RuÌdiger Olderog, Bernhard Steffen (editors) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XIV, 422 p.) |
| Disciplina | 004.0684 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer systems - Reliability
System design |
| ISBN | 3-540-48092-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Methodology -- Theories of programming: Top-Down and Bottomup and Meeting in the Middle -- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development -- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development -- Real-Time Constraints Through the ProCoS Layers -- Real-Time Constraints Through the ProCoS Layers -- Monotonicity in Calculational Proofs -- Monotonicity in Calculational Proofs -- Programming -- The Alma Project, or How First-Order Logic Can Help us in Imperative Programming -- Type and Effect Systems -- Automation -- Proving Theorems About Java-Like Byte Code -- Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking -- On the Existence of Network Invariants for Verifying Parameterized Systems -- Compilation -- Verification of Compilers -- Translation Validation: From SIGNAL to C -- Compilation and Synthesis for Real-Time Embedded Controllers -- Optimization Under the Perspective of Soundness, Completeness, and Reusability -- Application -- Verification of Automotive Control Units -- Correct Real-Time Software for Programmable Logic Controllers -- Formal Methods for the International Space Station ISS -- METAFrame in Practice: Design of Intelligent Network Services. |
| Record Nr. | UNISA-996465307703316 |
| Berlin : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Correct System Design : Recent Insights and Advances / / edited by Ernst-Rüdiger Olderog, Bernhard Steffen
| Correct System Design : Recent Insights and Advances / / edited by Ernst-Rüdiger Olderog, Bernhard Steffen |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
| Descrizione fisica | 1 online resource (XIV, 422 p.) |
| Disciplina | 004.0684 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Compilers (Computer programs) Computers, Special purpose Machine theory Artificial intelligence Theory of Computation Computer Science Logic and Foundations of Programming Compilers and Interpreters Special Purpose and Application-Based Systems Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-540-48092-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Methodology -- Theories of programming: Top-Down and Bottomup and Neeting in the Middle -- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development -- A Triptych Software Development Paradigm: Domain, Requirements and Software Towards a Nodel Development of a Decision Support System for Sustainable Development -- Real-Time Constraints Through the ProCoS Layers -- Real-Time Constraints Through the ProCoS Layers -- Monotonicity in Calculational Proofs -- Monotonicity in Calculational Proofs -- Programming -- The Alma Project, or How First-Order Logic Can Help us in Imperative Programming -- Type and Effect Systems -- Automation -- Proving Theorems About Java-Like Byte Code -- Multiple State and Single State Tableaux for Combining Local and Global Nodel Checking -- On the Existence of Network Invariants for Verifying Parameterized Systems -- Compilation -- Verification of Compilers -- Translation Validation: From SIGNAL to C -- Compilation and Synthesis for Real-Time Embedded Controllers -- Optimization Under the Perspective of Soundness, Completeness, and Reusability -- Application -- Verification of Automotive Control Units -- Correct Real-Time Software for Programmable Logic Controllers -- Formal Methods for the International Space Station ISS -- METAFrame in Practice: Design of Intelligent Network Services. |
| Record Nr. | UNINA-9910767573403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings / / edited by Anne Remke, Bernhard Steffen
| Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings / / edited by Anne Remke, Bernhard Steffen |
| Autore | Remke Anne |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (421 pages) |
| Disciplina | 005.45 |
| Altri autori (Persone) | SteffenBernhard |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Software engineering Application software Artificial intelligence Computer science Computer networks Compilers and Interpreters Software Engineering Computer and Information Systems Applications Artificial Intelligence Theory of Computation Computer Communication Networks |
| ISBN | 3-032-00942-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996673179003316 |
|
Remke Anne
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Leveraging Applications of Formal Methods [[electronic resource] ] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / / edited by Tiziana Maragria, Bernhard Steffen
| Leveraging Applications of Formal Methods [[electronic resource] ] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers / / edited by Tiziana Maragria, Bernhard Steffen |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VI, 197 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Computers, Special purpose Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Special Purpose and Application-Based Systems |
| ISBN | 3-540-48929-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interaction and Coordination of Tools for Structured Data -- Modelling Coordination in Biological Systems -- A Rule Markup Language and Its Application to UML -- Using XML Transformations for Enterprise Architectures -- Classification and Utilization of Abstractions for Optimization -- On the Correctness of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe, Reliable Systems Using Scade -- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings -- Static Timing Analysis of Real-Time Operating System Code -- A Case Study in Domain-Customized Model Checking for Real-Time Component Software -- Models for Contract Conformance. |
| Record Nr. | UNISA-996466130303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
