Results 291 to 300 of about 23,407,383 (367)

Thickness‐Dependent Skyrmion Evolution in Fe3GeTe2 During Magnetization Reversal

Advanced Functional Materials, EarlyView.
Thickness‐ and field‐dependent magnetic domain behavior in 2D van der Waals Fe3GeTe2 is studied using Lorentz TEM and micromagnetic simulations. A patch‐like domain phase evolves from skyrmions during magnetization reversal, and step edges between thickness regions act as pinning sites.
Jennifer Garland, John Fullerton, PeiYu Cai, Rabindra Basnet, Santosh Karki Chhetri, Jin Hu, Elton J. G. Santos, Yue Li, Charudatta Phatak, Amanda Petford‐Long   +9 more
wiley   +1 more source

Research on local semantic conflicts instantly check methods for ORM model

, 2015
Pan Wen-li
openalex   +1 more source

Model Checking Generated Control Code for Consistency with its Specification in IEC 60848 GRAFCET

Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski   +4 more
openalex   +1 more source

MelAnalyze: fact-checking melatonin claims using large language models and natural language inference. [PDF]

BMC Med Inform Decis Mak
Karkera N, Ghosh S, Escames G, Palaniappan SK.   +3 more
europepmc   +1 more source

Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving

, 2018
Jean Quilbeuf, Mathieu Barbier, Lukas Rummelhard, Christian Laugier, Axel Legay, Blanche Baudouin, Thomas Genevois, Javier Ibañez‐Guzmán, Olivier Simonin   +8 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Model Checking

Handbook of Finite State Based Models and Applications, 2018
ion ● Approximation ○ M’ approximates M ○ Use M’ to deduce properties of ...
D. Peled, Patrizio Pelliccione, Paola Spoletini   +2 more
openaire   +2 more sources

Model Checking

Undergraduate Topics in Computer Science, 2017
Calin Belta, Boyan Yordanov, Ebru Aydin Gol   +2 more
semanticscholar   +3 more sources

Model Checking

2014
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire   +5 more sources

Model Checking

Informatik-Spektrum, 2004
Die Gewahrleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. "sicherheitskritischen" Systeme zu, bei dem ein Systemversagen Menschenleben gefahrden kann.
Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf   +7 more
openaire   +2 more sources