Results 221 to 230 of about 221,743 (312)

Parameterized model checking of rendezvous systems. [PDF]

Distrib Comput, 2018
Aminof B, Kotek T, Rubin S, Spegni F, Veith H.   +4 more
europepmc   +1 more source

Toward Knowledge‐Based Workflows: A Semantic Approach to Atomistic Simulations for Mechanical and Thermodynamic Properties

Advanced Engineering Materials, EarlyView.
Knowledge‐based atomistic workflows are presented for mechanical and thermodynamic properties. By coupling modular simulations with ontology‐aligned metadata and provenance, Fe case studies on elastic behavior, defects, thermal properties, and Hall–Petch strengthening reveal how FAIR, queryable, and reusable simulation data can be generated. Mechanical
Abril Azócar Guzmán, Hoang‐Thien Luu, Sarath Menon, Tilmann Hickel, Nina Merkert, Stefan Sandfeld   +5 more
wiley   +1 more source

An Experimental High‐Throughput Approach for the Screening of Hard Magnet Materials

Advanced Engineering Materials, EarlyView.
An entire workflow for the high‐throughput characterization and analysis of compositionally graded magnetic films is presented. Characterization protocols, data management tools and data analysis approaches are illustrated with test case Sm(Fe, V)12 based films.
William Rigaut, Pierre Le Berre, Hamdi Jaballah, Lukas Fink, Victor Poline, Richard Haettel, Stéphane Grenier, Gilbert Chahine, Ewen Bellec, Guillaume Buatier, Wilfried Hortschitz, Santa Pile, Thomas Schrefl, Nils Blanc, Yuan Hong, Thibaut Devillers, Nora M. Dempsey   +16 more
wiley   +1 more source

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking. [PDF]

BMC Bioinformatics, 2019
Gilbert D, Heiner M, Ghanbar L, Chodak J.   +3 more
europepmc   +1 more source

Nondestructive Testing of Welded Composite Metal Foams

Advanced Engineering Materials, EarlyView.
X‐ray computed tomography (CT) is used to evaluate welded steel–steel composite metal foam (CMF) joints of two density classes. It reports variation in postweld spatial void distribution and correlates it to weld‐induced changes, mechanical performance, and failure within welded CMF panels.
Chinmaya Prerana Inguva, Aman Kaushik, Afsaneh Rabiei   +2 more
wiley   +1 more source

Physical-Model-Checking to Detect Switching-Related Attacks in Power Systems. [PDF]

Sensors (Basel), 2018
El Hariri M, Faddel S, Mohammed O.
europepmc   +1 more source

Exploration of Pseudobinary Alloys (Al–Mn)‐(Co–Fe–Ni) to Design High‐Entropy and Compositionally Complex Alloys to Stabilize the τ Phase in Al–Mn‐Based Ferromagnetic Alloys

Advanced Engineering Materials, EarlyView.
This experimental study investigates the thermodynamic limits of the Al–Mn τ ferromagnetic phase within complex‐composition alloys (CCAs). Using nine rare‐earth‐free compositions, it explores a broad region of the pseudobinary AlMnCoFeNi system. The results reveal intricate links between composition, phase stability, and magnetic behavior, highlighting
Sacha Plagnol‐Chauzu, Laurent Peltier, Fodil Meraghni, Stéphane Delalande, Frédéric Mazaleyrat   +4 more
wiley   +1 more source

Model Checking Temporal Logic Formulas Using Sticker Automata. [PDF]

Biomed Res Int, 2017
Zhu W, Feng C, Wu H.
europepmc   +1 more source