UID:
almahu_9949371962402882
Format:
XI, 350 p. 109 illus., 82 illus. in color.
,
online resource.
Edition:
1st ed. 2022.
ISBN:
9783031124297
Series Statement:
Lecture Notes in Computer Science, 13230
Content:
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems; OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology; ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development. Due to the Corona pandemic this event was held virtually.
Note:
CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications -- What Does It Mean to Inhibit an Action? A Critical Discussion of Benjamin Libet's Veto in a Recent Study -- Regret from cognition to code -- In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL) -- Fostering safe behaviors via metaphor-based nudging technologies -- Developing the Semantic Web via the Resolution of Meaning Ambiguities -- Original or Fake? How to Understand the Digital Artworks' Value in the Blockchain -- Grounding Psychological Shape Space in Convolutional Neural Networks -- Unexpectedness and Bayes' Rule -- Can reinforcement learning learn itself? A reply to 'Reward is enough' -- CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems -- Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum -- Under What Conditions does a Digital Shadow Track a Periodic Linear Physical System? -- Convergence Properties of Hierarchical Co-Simulation Approaches -- Co-simulation-based pre-training of a ship trajectory predictor -- Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation -- Co-simulation of a Model Predictive Control System for Automotive Applications -- Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework -- Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twin -- OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology -- A Life-long Learning Education Passport powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project -- Open Source Discovery, Adoption, and Use: an Informal Perspective -- DrPython-WEB: a tool to help teaching well-written Python programs -- Formal Methods Communities of Practice: A Survey of Personal Experience -- Learning from Mistakes in an Open Source Software Course -- ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment -- A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems -- Integration of COTS Processing Architectures in Small Satellites for Onboard Computing using Fault Injection Testing Methodology.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783031124280
Additional Edition:
Printed edition: ISBN 9783031124303
Language:
English
DOI:
10.1007/978-3-031-12429-7
URL:
https://doi.org/10.1007/978-3-031-12429-7
