Results 61 to 70 of about 1,585,173 (321)

Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows

Advanced Engineering Materials, EarlyView.
A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba, Sang‐Hyeok Lee, Christina Gasper, Martina Freund, Sandra Korte‐Kerzel, Ulrich Kerzel   +5 more
wiley   +1 more source

Towards a Coq-verified Chain of Esterel Semantics [PDF]

Leibniz Transactions on Embedded Systems
This article focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant.
Rieg, Lionel, Berry, Gérard
doaj   +1 more source

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component.
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman   +2 more
doaj   +1 more source

Formalization of BPMN Gateways using the DD-LOTOS Formal Language

Journal of Communications Software and Systems, 2023
Business Process Model and Notation (BPMN), is a standardized graphical language used for the graphical modeling of business processes. A BPMN model is composed of several small graphs called elements; these elements make it possible to describe the ...
Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Makhlouf Ledmi, Samra Sabeg   +3 more
doaj   +1 more source

A Framework for Distributional Formal Semantics [PDF]

, 2019
Formal semantics and distributional semantics offer complementary strengths in capturing the meaning of natural language. As such, a considerable amount of research has sought to unify them, either by augmenting formal semantic systems with a distributional component, or by defining a formal system on top of distributed representations.
Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer   +3 more
openaire   +1 more source

A Knowledge‐Based Approach for Understanding and Managing Additive Manufacturing Data

Advanced Engineering Materials, EarlyView.
Additive manufacturing processes generate a large amount of data. Effectively managing, understanding, and retrieving information from this data remains a major challenge. Therefore, we propose an ontology‐based approach to integrate heterogeneous data, enable semantic queries, and support decision‐making.
Mina Abd Nikooie Pour, Prithwish Tarafder, Anton Wiberg, Huanyu Li, Johan Moverare, Patrick Lambrix   +5 more
wiley   +1 more source

A Formal Model of Metaphor in Frame Semantics [PDF]

, 2015
A formal model of metaphor is introduced. It models metaphor, first, as an interaction of “frames” according to the frame semantics, and then, as a wave function in Hilbert space.
Penchev, Vasil
core  

Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization

Advanced Engineering Materials, EarlyView.
Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier, Moritz Blum, Luana Caron, Alisa Chirkova, Philipp Cimiano, Basil Ell, Inga Ennen, Michael Feige, Maik Gaerner, Thomas Hilbig, Andreas Hütten, Günter Reiss, Tapas Samanta, Sonja Schöning, Christian Schröder, Lennart Schwan, Chris Taake, Martin Wortmann   +17 more
wiley   +1 more source

Ontology and Formal Semantics - Integration Overdue [PDF]

, 2007
In this note we suggest that difficulties encountered in natural language semantics are, for the most part, due to the use of mere symbol manipulation systems that are devoid of any content. In such systems, where there is hardly any link with our common-
Saba, Walid
core   +1 more source

A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann, Sarath Menon, Raphael Röske, Johannes Steinhülb, Michael Selzer, Jan Janssen, Tilmann Hickel, Ruth Schwaiger, Jörg Neugebauer   +8 more
wiley   +1 more source