-automaton - PDFSEARCH.IO - Document Search Engine

-automaton
Results: 1066

#	Item
11	24. Theorietag „Automaten und Formale Sprachen“ Caputh, 23. – 25. September 2014 Henning Bordihn, Bianca Truthe (Hrsg.) Add to Reading List Source URL: fg-afs.gi.de Language: English - Date: 2015-10-19 16:22:16 Formal languages Grammar Language Cognitive science Formal grammar Context-sensitive grammar Tree-adjoining grammar Context-free grammar Regular tree grammar Tree automaton Regular language Graph rewriting
12	The Most General Conservation Law for a Cellular Automaton Enrico Formenti1? , Jarkko Kari2?? , and Siamak Taati32 1 Universit´e de Nice-Sophia Antipolis, D´epartment d’Informatique, Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:37:20 Algebra Abstract algebra Mathematics Semigroup theory Algebraic structures Semigroup Special classes of semigroups Monoid Valuation Free monoid Semigroup with involution
13	� EMAPS : AN EXTENDABLE, OBJECT-ORIENTED GIS Stephen M. Ervin, Associate Professor Department of Landscape Architecture Harvard University Graduate School of Design Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:09:30 Software engineering Computer programming Computing Data types Lisp Functional languages Object-oriented programming languages Geographic information system Object-oriented programming Cons Frame language Cellular automaton
14	On the Complexity of Universality for Partially Ordered NFAs∗ Markus Krötzsch1 , Tomáš Masopust2 , and Michaël Thomazo3 1 Institute of Theoretical Computer Science and Center of Advancing Add to Reading List Source URL: korrekt.org Language: English - Date: 2016-06-13 07:14:39 Computational complexity theory Finite automata Complexity classes Theory of computation Nondeterministic finite automaton Regular language PSPACE Bchi automaton FO Permutation IP Structure
15	Quantifying the Rise and Fall of Complexity in Closed Systems: The Coffee Automaton Scott Aaronson∗ Sean M. Carroll† Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2014-05-27 14:31:46 Information theory Randomness Metaphysics Theoretical computer science Theory of computation Entropy Kolmogorov complexity Sophistication Complexity Random sequence Algorithmic information theory Mutual information
16	Cellular Automata and the Mechanisms of Nature Based on Chapter 2: The Crucial Experiment, from A New Kind of Science by Stephen Wolfram If a cell and its neighbors look like this at one step Cellular automata are exampl Add to Reading List Source URL: wolframscience.com Language: English - Date: 2005-05-25 10:34:56 Cellular automata Systems science Academia Systems theory Cellular automaton Rule 30 Rule 90 A New Kind of Science Stephen Wolfram Reversible cellular automaton Rule 184
17	Environment and Planning B: Planning and Design 2009, volume 36, pages 769 ^ 771 doi:b3605ged Guest editorial Add to Reading List Source URL: fromto.hig.se Language: English - Date: 2009-10-29 06:26:11 Cartography Geographic data and information Data Academia Geography Systems theory Complex systems theory Simulation Spatial analysis Agent-based model Geospatial analysis Cellular automaton
18	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton
19	Session F2C NON-DETERMINISM IN CS HIGH-SCHOOL CURRICULA Michal Armoni 1 and Judith Gal-Ezer 2 Abstract - One of the units in the relatively new high school CS curriculum which is being implemented in Israel is a Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:00 Finite automata Automata theory Nondeterministic finite automaton Deterministic automaton Theoretical computer science Finite-state machine Deterministic finite automaton Computability Regular language NP Muller automaton Bchi automaton
20	Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:40 Abstraction Model checkers Timed automaton Uppaal Model Checker Model checking Is-a Software engineering Computing Computer programming

UPDATE