Results 131 to 140 of about 1,590,113 (289)

Model Checking Conformance of Design Model to Its Formal Specification [PDF]

, 2014
Verification of a design with respect to its requirement specification is important to prevent errors before constructing an actual implementation. Existing works focus on the verifications where specifications are described using temporal logics or ...
Chiba, Yuki, Vu, Dieu-Huong, Yatake, Kenro, Aoki, Toshiaki   +3 more
core  

Is an Apple an Orange? A Large Language Model Benchmark for Candidate Term Extraction and Subclass Decisions Against Upper Ontologies in Engineering and Materials Science

Advanced Engineering Materials, EarlyView.
Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch, Maximilian Holland, Klaus Drechsler, Johannes Schilp   +3 more
wiley   +1 more source

The PRIMA Thesaurus for Materials Science and Engineering

Advanced Engineering Materials, EarlyView.
The PRIMA Thesaurus is a structured vocabulary designed to improve how materials science data is described and shared. Developed with input from multiple experts, it enables clear documentation of research workflows, data exchange, and reuse across platforms.
Rossella Aversa, Alexey Boubnov, Dario De Angelis, Catriona Eschke, Maximilian Kabbe, Felix Kraus, Mirco Panighel, Richard Thelen, Davide Valentinis   +8 more
wiley   +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

PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science

Advanced Engineering Materials, EarlyView.
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley   +1 more source

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

Advanced Engineering Materials, EarlyView.
Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source

A Practical Noise2Noise Denoising Pipeline for High‐Throughput Raman Spectroscopy

Advanced Engineering Materials, EarlyView.
A lightweight and reproducible denoising pipeline for high‐throughput Raman spectroscopy is introduced, based on a 1D convolutional autoencoder trained with a Noise2Noise strategy. Using only repeated short‐exposure acquisitions, the method suppresses stochastic noise without reference spectra, enabling reliable spectral reconstruction while preserving
David Martin‐Calle, Cesar Alvarez‐Llamas, Vincent Motto‐Ros, Christophe Dujardin, Jérémie Margueritat, David Rodney   +5 more
wiley   +1 more source

Formal Specification and validation of a Vital Communication Protocol

, 1999
Formal methods have a great potential of application as powerful specification and early debugging methods in the development of industrial systems. In certain application fields, formal methods are even becoming part of standards.
Cimatti, Alessandro, P. L. Pieraccini, Traverso, Paolo, Sebastiani, Roberto, Villafiorita Monteleone, Adolfo   +4 more
core  

Socioeconomic and geographic inequalities in unmet healthcare needs in Cambodia: evidence from a national cross-sectional study. [PDF]

Int J Equity Health
Maung KT, Hunsberger M, Sopheab H, Ng N, Santosa A.   +4 more
europepmc   +1 more source

Formal specification and design techniques for wireless sensor and actuator networks. [PDF]

Sensors (Basel), 2011
Martínez D, González A, Blanes F, Aquino R, Simo J, Crespo A.   +5 more
europepmc   +1 more source