↓ Skip to main content
What is this page? Embed badge

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

Overview of attention for book
Cover of 'Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What Does It Mean to Inhibit an Action?
  3. Altmetric Badge
    Chapter 2 Regret from Cognition to Code
  4. Altmetric Badge
    Chapter 3 In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL)
  5. Altmetric Badge
    Chapter 4 Fostering Safe Behaviors via Metaphor-Based Nudging Technologies
  6. Altmetric Badge
    Chapter 5 Developing the Semantic Web via the Resolution of Meaning Ambiguities
  7. Altmetric Badge
    Chapter 6 Original or Fake? How to Understand the Digital Artworks’ Value in the Blockchain
  8. Altmetric Badge
    Chapter 7 Grounding Psychological Shape Space in Convolutional Neural Networks
  9. Altmetric Badge
    Chapter 8 Unexpectedness and Bayes’ Rule
  10. Altmetric Badge
    Chapter 9 Can Reinforcement Learning Learn Itself? A Reply to ‘Reward is Enough’
  11. Altmetric Badge
    Chapter 10 Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum
  12. Altmetric Badge
    Chapter 11 Under What Conditions Does a Digital Shadow Track a Periodic Linear Physical System?
  13. Altmetric Badge
    Chapter 12 Convergence Properties of Hierarchical Co-simulation Approaches
  14. Altmetric Badge
    Chapter 13 Co-simulation-Based Pre-training of a Ship Trajectory Predictor
  15. Altmetric Badge
    Chapter 14 Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation
  16. Altmetric Badge
    Chapter 15 Co-simulation of a Model Predictive Control System for Automotive Applications
  17. Altmetric Badge
    Chapter 16 Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework
  18. Altmetric Badge
    Chapter 17 Comparison Between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins
  19. Altmetric Badge
    Chapter 18 A Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project
  20. Altmetric Badge
    Chapter 19 Open Source Discovery, Adoption, and Use: An Informal Perspective
  21. Altmetric Badge
    Chapter 20 DrPython–WEB: A Tool to Help Teaching Well-Written Python Programs
  22. Altmetric Badge
    Chapter 21 Formal Methods Communities of Practice: A Survey of Personal Experience
  23. Altmetric Badge
    Chapter 22 Learning from Mistakes in an Open Source Software Course
  24. Altmetric Badge
    Chapter 23 A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems
  25. Altmetric Badge
    Chapter 24 Integration of COTS Processing Architectures in Small Satellites for Onboard Computing Using Fault Injection Testing Methodology
Attention for Chapter 5: Developing the Semantic Web via the Resolution of Meaning Ambiguities
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Developing the Semantic Web via the Resolution of Meaning Ambiguities
Chapter number 5
Book title
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-12429-7_5
Book ISBNs
978-3-03-112428-0, 978-3-03-112429-7
Authors

Pinna, Simone, Ervas, Francesca, Giunti, Marco

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.