Buscar
Mostrando ítems 1-10 de 49
Discretising And Testing Timed Contextual Models
(Inderscience Enterprises LtdGeneva, 2016)
A new method for testing timed systems
(Wiley-blackwellHobokenEUA, 2013)
Sistema de Operación Remota de Tablero de Nodo de la Plataforma UniGRID.Remote Operation of Node Board of the UniGRID Platform System.
(Barranquilla, Universidad del Norte, 2018, 2019)
Tracks emerging by forcing Langton's ant with binary sequences
(JOHN WILEY, 2006-02)
The well-known "ant" defined by C Langton on a grid with black and white squares is forced by periodical binary sequences {r(m)}, as follows: i) The ant turns 90 degrees to the left (right) if it enters a white (black) ...
Simulación computacional de la corrosión en metales con autómatas celulares
(Tecnológico Nacional de México, 2021)
Equilibrium and Non-Equilibrium in a Reversible and Conservative Cellular Automaton.
(2021-07-28)
The main goal of this thesis, relies the dynamis of a reversible and
conservative cellular automaton Q2R model. Q2R is a automaton that runs on a
two-dimensional grid of nite size and is reversible in a physical sense, ...
Spatial disposition simulation of alteration zones based on cellular automata
(Universidad de Chile, 2018)
Debido a la creciente dificultad y costos asociados a la exploración y operación en la minería, modelos numéricos basados en diferentes metodologías son cada vez más comunes en la simulación de procesos geológicos complejos. ...