Bridging the Gap Between AI and Reality 1
bokomslag Bridging the Gap Between AI and Reality
Data & IT

Bridging the Gap Between AI and Reality

Bernhard Steffen

Pocket

1019:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 470 sidor
  • 2024
This book constitutes the proceedings of the Second International Conference onBridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.
  • Författare: Bernhard Steffen
  • Format: Pocket/Paperback
  • ISBN: 9783031754333
  • Språk: Engelska
  • Antal sidor: 470
  • Utgivningsdatum: 2024-12-30
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Bridging the Gap Between AI and Reality

    Bridging the Gap Between AI and Reality

    Bernhard Steffen

    Pocket

    1019:-
  2. bokomslag Bridging the Gap Between AI and Reality

    Bridging the Gap Between AI and Reality

    Bernhard Steffen

    Pocket

    1869:-
  3. Kommande
    bokomslag Bridging the Gap Between AI and Reality

    Bridging the Gap Between AI and Reality

    Bernhard Steffen

    Pocket

    1009:-
  4. Kommande
    bokomslag Bridging the Gap Between AI and Reality

    Bridging the Gap Between AI and Reality

    Bernhard Steffen

    Pocket

    989:-
  5. bokomslag Transactions on Foundations for Mastering Change I

    Transactions on Foundations for Maste...

    Bernhard Steffen

    Pocket

    729:-
  6. bokomslag Superhuman Innovation

    Superhuman Innovation

    Chris Duffey

    309:-
  7. bokomslag Superhuman Innovation

    Superhuman Innovation

    Chris Duffey

    Klotband

    919:-
  8. bokomslag Ripple-Down Rules

    Ripple-Down Rules

    Paul Compton, Byeong Ho Kang, Paul Compton, Byeong Ho Kang

    Pocket

    979:-
  9. bokomslag AI First, Human Always

    AI First, Human Always

    Sandy Carter

    Inbunden

    339:-
  10. bokomslag Encoding Bioethics

    Encoding Bioethics

    Tyler Loftus Charles Binkley

    439:-

Andra av samma författare

  1. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Pocket

    839:-
  2. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Bernhard Steffen, Fabrice Kordon, Marieke Huisman

    Klotband

    919:-
  3. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    729:-
  4. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    729:-
  5. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    729:-
  6. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    729:-
  7. bokomslag Mathematical Foundations of Advanced Informatics

    Mathematical Foundations of Advanced ...

    Bernhard Steffen, Oliver Rüthing, Michael Huth, Oliver Ruthing

    489:-
  8. bokomslag Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construc...

    Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, Dirk Beyer Ph D

    Pocket

    729:-
  9. bokomslag Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1239:-
  10. bokomslag Leveraging Applications of Formal Methods, Verification and Validation: Applications

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    729:-

Andra i serien

  1. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1019:-
  2. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1019:-
  3. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Practice

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    949:-
  4. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1239:-
  5. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1109:-
  6. bokomslag Real Time and Such

    Real Time and Such

    Susanne Graf, Paul Pettersson, Bernhard Steffen

    Pocket

    759:-
  7. bokomslag Combined Power of Research, Education, and Dissemination

    Combined Power of Research, Education...

    Bernhard Steffen Mike Hinchey

    Pocket

    1019:-
  8. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1019:-
  9. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1109:-
  10. bokomslag Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    Leveraging Applications of Formal Met...

    Bernhard Steffen Tiziana Margaria

    Pocket

    1019:-