KI-Beratung Beta

  • Produktbild: The Combined Power of Research, Education, and Dissemination
  • Produktbild: The Combined Power of Research, Education, and Dissemination
Band 15240

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

73,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.10.2024

Abbildungen

XXV, 378 p. 95 illus., 75 illus. in color.

Herausgeber

Mike Hinchey + weitere

Verlag

Springer

Seitenzahl

378

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

2025

Sprache

Englisch

ISBN

978-3-031-73886-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.10.2024

Abbildungen

XXV, 378 p. 95 illus., 75 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

378

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

2025

Sprache

Englisch

ISBN

978-3-031-73886-9

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: The Combined Power of Research, Education, and Dissemination
  • Produktbild: The Combined Power of Research, Education, and Dissemination

  • 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.