Results 181 to 190 of about 1,133,638 (315)
Formal verification of bioinformatics software using model checking and theorem proving. [PDF]
Weerasena H+3 more
europepmc +1 more source
Anomaly Detection Method for Hybrid Workpieces Using Dynamic Time Warping
Monitoring of hybrid workpieces: when machining hybrid workpieces, unavoidable axial deviations of the material transition zone cause temporal shifts in the process force signals. A new anomaly detection method based on dynamic time warping is proposed to detect material defects.
Berend Denkena+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]
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc +1 more source
Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering [PDF]
Christoph Meinel, Christian Stangier
openalex +1 more source
Simulation of Inhomogeneous Refractive Index Fields Induced by Hot Tailored Forming Components
This article presents a simulation model for simulating inhomogeneous refractive index fields (IRIF) in hot‐forged components, accounting for thermal influences and complex geometries. Through this simulation, a priori knowledge about the propagation of the IRIF can be obtained, allowing for the positioning of the component or an optical measurement ...
Pascal Kern+3 more
wiley +1 more source
PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]
Liu Y, Fang A.
europepmc +1 more source
Hydrostatic bearings excel in high‐precision applications, but their performance hinges on a continuous external supply. This study evaluates various material combinations for sliding surfaces to mitigate damage during supply failures or misalignment and to discover the most effective materials identified for enhancing the reliability and efficiency of
Michal Michalec+6 more
wiley +1 more source
Symbolic model checking quantum circuits in Maude. [PDF]
Minh Do C, Ogata K.
europepmc +1 more source