Results 121 to 130 of about 1,711 (143)

Improvement in JavaMOP by Simplifying Büchi Automaton

, 2018
Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao   +4 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Exact Thermalization Dynamics in the “Rule 54” Quantum Cellular Automaton

Physical Review Letters, 2021
Katja Klobas, Bruno Bertini, Lorenzo Piroli   +2 more
exaly  

Multiscale modeling of discontinuous dynamic recrystallization during hot working by coupling multilevel cellular automaton and finite element method

International Journal of Plasticity, 2021
Fei Chen, Hengan Ou, Zhenshan Cui
exaly  

FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos

, 2003
Manuel I. Capel, Miguel J. Hornos
openalex  

A living mesoscopic cellular automaton made of skin scales

Nature, 2017
Stanislav Smirnov, Michel C Milinkovitch
exaly  

A Method for Linear Temporal Logic Programs Model Checking Based on Büchi Automaton

, 2010
Luo Qing-sheng
openalex  

A cellular automaton finite volume method for microstructure evolution during additive manufacturing

Materials and Design, 2019
Yanping Lian, Zhengtao Gan, Cheng Yu
exaly  

A study of pedestrian group behaviors in crowd evacuation based on an extended floor field cellular automaton model

Transportation Research Part C: Emerging Technologies, 2017
Jian Wang, Wei Wang
exaly  

Simulation of pedestrian dynamics using a two-dimensional cellular automaton

Physica A: Statistical Mechanics and Its Applications, 2001
Andreas Schadschneider
exaly  

Interaction between recrystallization and phase transformation during intercritical annealing in a cold-rolled dual-phase steel: A cellular automaton model

Acta Materialia, 2013
Chengwu Zheng, Dierk Raabe
exaly