Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
301	Application of Intelligent Automata to Reconnaissance (Thiird Interim Report) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-09-30 12:49:22 Automaton Robotics Technology Models of computation Computer science Automata theory Ancient Greek technology Automation
302	Measuring Mutual Information in Random Boolean Networks Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 Cybernetics Applied mathematics Bioinformatics Boolean network Logic Mutual information Cellular automaton Entropy Edge of chaos Science Physics Information theory
303	AMORPHOUS For coherent behavior from vast numbers of unreliable microsensors, actuators, and communication devices interconnected in unknown ways, apply the lessons of cellular cooperation in biological organisms. Add to Reading List Source URL: projects.mindtel.com Language: English - Date: 2012-10-27 00:01:14 Nanotechnology Materials science Nanoparticle Cellular automaton Polyethylene terephthalate Particle Natural computing Chemistry Amorphous computing Parallel computing
304	Symmetry and Entropy of One-Dimensional Legal Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Philosophy of thermal and statistical physics Information theory Cellular automaton Entropy Topological defect Asynchronous cellular automaton Physics Thermodynamic entropy Symmetry
305	Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-20 17:09:13 Theoretical computer science Mathematics Formal languages Finite state transducer Finite-state machine Tree automaton Tree Automata theory Mathematical logic Models of computation
306	Cellular Automata with an Infinite Number of Subshift Attractors ˚ Petr Kurka Center for Theoretical Study, Academy of Sciences and Charles University, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Shift space Cellular automaton Limit set Automata theory Mathematical analysis Subshift of finite type Combinatorics on words Mathematics Attractor
307	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 LSV, ENS Cachan & CNRS {bollig,gastin}@lsv.ens-cachan.fr Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-09-19 10:50:53 Ω-automaton Automata theory Tree automaton Nondeterministic finite automaton
308	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:03 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
309	On Invertible Three Neighborhood Null-Boundary Uniform Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Invertible matrix Algebra Mathematics Cellular automaton
310	Reversibility in Asynchronous Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Reversible cellular automaton Block cellular automaton Cellular automata Cellular automaton Elementary cellular automaton

UPDATE