default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSEFM Workshops 2021: Virtual Event
- Antonio Cerone
, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture:
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13230, Springer 2022, ISBN 978-3-031-12428-0
CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
- Robert Reimer:
What Does It Mean to Inhibit an Action? - A Critical Discussion of Benjamin Libet's Veto in a Recent Study. 5-14 - Alan J. Dix, Genovefa Kefalidou:
Regret from Cognition to Code. 15-36 - Antonio Cerone, Diana Murzagaliyeva, Nuray Nabiyeva, Ben Tyler, Graham Pluck:
In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). 37-52 - Francesca Ervas, Artur Gunia, Giuseppe Lorini, Georgi Stojanov, Bipin Indurkhya:
Fostering Safe Behaviors via Metaphor-Based Nudging Technologies. 53-63 - Simone Pinna, Francesca Ervas, Marco Giunti:
Developing the Semantic Web via the Resolution of Meaning Ambiguities. 64-75 - Giuseppe Antonio Pierro, Moaaz Sawaf, Roberto Tonelli:
Original or Fake? How to Understand the Digital Artworks' Value in the Blockchain. 76-85 - Lucas Bechberger, Kai-Uwe Kühnberger:
Grounding Psychological Shape Space in Convolutional Neural Networks. 86-106 - Giovanni Sileno, Jean-Louis Dessalles:
Unexpectedness and Bayes' Rule. 107-116 - Samuel Allen Alexander:
Can Reinforcement Learning Learn Itself? A Reply to 'Reward is Enough'. 117-133
CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
- Paolo Bellavista:
Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum. 139-142 - Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen:
Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System? 143-155 - Irene Hafner, Niki Popper:
Convergence Properties of Hierarchical Co-simulation Approaches. 156-172 - Motoyasu Kanazawa, Lars Ivar Hatledal, Guoyuan Li, Houxiang Zhang:
Co-simulation-Based Pre-training of a Ship Trajectory Predictor. 173-188 - Tongtong Wang, Lars Ivar Hatledal, Motoyasu Kanazawa, Guoyuan Li, Houxiang Zhang:
Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation. 189-203 - Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar:
Co-simulation of a Model Predictive Control System for Automotive Applications. 204-220 - Jean-Baptiste Chaudron, Aleksandar Joksimovic, Pierre Siron, Rob A. Vingerhoeds, Xavier Carbonneau:
Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework. 221-237 - Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill:
Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins. 238-244
OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology
- Sofia Terzi, Ioannis Stamelos, Konstantinos Votis, Thrasyvoulos Tsiatsos:
A Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project. 249-263 - Anthony I. Wasserman:
Open Source Discovery, Adoption, and Use: An Informal Perspective. 264-276 - Tommaso Battistini, Nicolò Isaia, Andrea Sterbini, Marco Temperini:
DrPython-WEB: A Tool to Help Teaching Well-Written Python Programs. 277-286 - Jonathan P. Bowen, Peter T. Breuer:
Formal Methods Communities of Practice: A Survey of Personal Experience. 287-301 - Olzhas Zhangeldinov:
Learning from Mistakes in an Open Source Software Course. 302-311
ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment
- Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues, Paolo Romano:
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. 317-332 - José Carlos Gamazo-Real, Juan Rafael Zamorano-Flores, Ángel Sanz-Andrés:
Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology. 333-347
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-18 02:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
