Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
41	On the Verification of Timed Ad Hoc Networks Parosh Aziz Abdulla1 , Giorgio Delzanno2 , Othmane Rezine1 , Arnaud Sangnier3⋆ , and Riccardo Traverso2 1 Uppsala University Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-13 20:01:41 Timed automaton Base Topology Routing algorithms Network theory
42	1 2 Counting Triangulations and other Crossing-free Structures via Onion Layers Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:39 Symbol Matching Finite automata -automaton
43	SYNCHRONISING AUTOMATA AND A ˇ ´ CONJECTURE OF CERN Y Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2008-11-20 04:32:36 Finite automata Synchronizing word Finite-state machine Automata theory Aperiodic finite state automaton
44	Siamak Taati Conservation Laws in Cellular Automata TUCS Dissertations Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:37:14 Cellular automata Cellular automaton Systems theory Jarkko Kari Turku Centre for Computer Science Gibbs measure Automata Measure University of Turku Laws of science A New Kind of Science
45	MCS 441 – Theory of Computation I Spring 2016 Problem Set 2 Lev Reyzin Due: at the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-02-03 00:14:14 Finite automata Formal languages Regular language Generalized nondeterministic finite automaton Pumping lemma for context-free languages Nondeterministic finite automaton
46	Conservation Laws in Cellular Automata Siamak Taati Abstract A conservation law in a cellular automaton is the statement of the invariance of a local and additive energy-like quantity. This chapter reviews the basic theo Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:32 Cellular automata Dynamical systems Cellular automaton Systems theory Turing machine Block cellular automaton
47	Additively efficient universal computers Daniel Dewey∗ Oxford Martin Programme on the Impacts of Future Technology, Future of Humanity Institute Add to Reading List Source URL: www.danieldewey.net Language: English - Date: 2014-04-04 07:59:10 Turing machine Computability theory Theory of computation Models of computation Alan Turing Universal Turing machine Turing completeness Kolmogorov complexity Computational complexity theory ChurchTuring thesis Cellular automaton Computer
48	Nat Comput DOIs11047On the hierarchy of conservation laws in a cellular automaton Enrico Formenti • Jarkko Kari • Siamak Taati Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:41 Semigroup theory Algebraic structures Semigroup Special classes of semigroups Cellular automaton Valuation Inverse element Conservation law Semigroup with involution
49	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
50	An Ant Colony Verification Algorithm Rachid Rebiha Giovanni L. Ciampaglia Universit`a della Svizzera Italiana, Faculty of Informatics. {rachid.rebiha, ciampagg}@lu.unisi.ch Abstract Add to Reading List Source URL: www.glciampaglia.com Language: English - Date: 2015-11-15 22:04:58 Finite automata Ant colony optimization algorithms Model checking Finite-state machine Artificial ants Ant Bchi automaton