Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"automata simulation"”.
-
Simulation of timed input/output automata
… TIOA, a formal language for specifying timed I/O automata. Simulation of TIOA programs is useful in the process of testing the proposed system over a specific set of executions. During the execution the Simulator is able to test proposed invariants and validate a proposed simulation relation …
-
Designing Massive 3-Dimensional Neural Networks with Chromosomal-Based Simulated Development
… neural networks were designed by a cell growth simulation program that decoded the structural and functional information on the chromosome. The cell growth simulation program is capable of producing patterns of differentiation unique for any slight variations in the genetic parameters. These …
-
Simulating the Spread of Malaria: A Cellular Automaton Based Mathematical Model & A Prototype Software Implementation
… the disease. In the last few years, computer simulation based models have been used effectively to study the vector population dynamics and control strategies of vector-borne diseases. Typically, these models use ordinary differential equations to simulate the spread of malaria. Although these …