Analysis of Operational Effects of Bus Lanes with Intermittent Priority with Spatio-Temporal Clear Distance and CAV Platoon Coordinated Lane Changing in Intelligent Transportation Environment. [PDF]
Sensors (Basel)Jiang P, Ma X, Li Y.
europepmc +1 more source
Aging as a Loss of Goal-Directedness: An Evolutionary Simulation and Analysis Unifying Regeneration with Anatomical Rejuvenation. [PDF]
Adv Sci (Weinh)Pio-Lopez L, Hartl B, Levin M.
europepmc +1 more source
Advances in Measurement and Simulation Methods of Thin Liquid Film Corrosion. [PDF]
Materials (Basel)Cai Y +8 more
europepmc +1 more source
Artificial intelligence meets brain theory (again). [PDF]
Biol CybernArbib MA.
europepmc +1 more source
An LTL verification system based on automata theory
, 1999 Cornelia P. Inggs, Cornelia Van Wyk
openalex +1 more source
A Game of Life with dormancy. [PDF]
Proc Biol SciNevermann DH, Gros C, Lennon JT.
europepmc +1 more source
Some Applications of Finite State Automata Theory to the Deadlock Problem ; CU-CS-017-73
, 1973 Gary J Nutt
openalex +1 more source
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata
Alessandro Gianola +2 more
openalex +2 more sources
Automata inspired by biochemical reaction (New Trends in Algorithms and Theory of Computation)
, 2012 Fumiya Okubo +2 more
openalex +1 more source