Results 171 to 180 of about 21,783,491 (356)

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering [PDF]

, 1999
Christoph Meinel, Christian Stangier
openalex   +1 more source

Effective stateless model checking for C/C++ concurrency

Proc. ACM Program. Lang., 2017
Michalis Kokologiannakis, O. Lahav, Konstantinos Sagonas, Viktor Vafeiadis   +3 more
semanticscholar   +1 more source

(Nb,Ti)(C,N)‐Precipitates in High‐Strength Low‐Alloyed Steels—Modeling, Characterization and Validation

Advanced Engineering Materials, EarlyView.
Steel samples are investigated using complementary simulations and measurements. Transmission electron microscopy in bright‐field mode, combined with energy‐dispersive X‐ray spectroscopy maps for titanium and niobium, reveals distinct particle populations. Simulations reproduce these in size and composition.
Marc Laub, Christian Motz, Eric Detemple, Sebastian Scholl   +3 more
wiley   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Model Selection and Model Checking [PDF]

, 1997
Hans‐Martin Krolzig
openalex   +1 more source

Impact of Structural Adhesive Hybridization Strategy on the Performance of In‐Mold Electronics Devices Across Thermoforming and Injection Molding

Advanced Engineering Materials, EarlyView.
In‐mold electronics (IME) undergo complex thermoforming and over‐molding processes that strain device integrity. This study demonstrates how adapting the amount and placement of structural adhesive to local deformation levels preserves electrical functionality.
Francisco Ituriel Arias‐García, Nekane Lozano‐Hernandez, Maria Lluisa Maspoch, Enric Fontdecaba   +3 more
wiley   +1 more source

PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]

Entropy (Basel)
Liu Y, Fang A.
europepmc   +1 more source

A Novel Simplified Approach to Physically Simulate Wire‐Arc Directed Energy Deposition Conditions

Advanced Engineering Materials, EarlyView.
Scarcity of specialized titanium alloy wires and high experimental wire production costs impedes wire‐arc directed energy deposition (waDED) adoption in industry. A novel, wireless approach is introduced to accelerate and economize titanium alloy development.
Martin Klein, José L. Neves, Florian Pixner, Martin Stockinger, Thomas Klein   +4 more
wiley   +1 more source