Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
251	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory
252	A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-11 17:28:03 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton DFA Records Finite-state machine Algorithm Counterexample Regular expression Automata theory Models of computation Theoretical computer science
253	Cellular Automata in Complex Matter Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Self-organization Critical phenomena Cellular automata Bak–Tang–Wiesenfeld sandpile Granular material Cellular automaton Self-organized criticality Ludwig Boltzmann Gas Physics Fluid mechanics Fluid dynamics
254	String Suffix Automata and Subtree Pushdown Automata Add to Reading List Source URL: www.stringology.org Language: English - Date: 2009-09-02 12:00:50 Formal languages Computer science Mathematics Deterministic pushdown automaton Pushdown automaton Tree automaton Alphabet A Automata theory Models of computation Theoretical computer science
255	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
256	A New Candidate Rule for the Game of Two-dimensional Life Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Cellular automaton Oscillator Glider
257	ICS 162 – Spring 2001 – Final Exam Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-12-01 14:01:08 Applied mathematics Automata theory Models of computation Mathematical optimization NP Deterministic pushdown automaton Pushdown automaton P Complement Theoretical computer science Computational complexity theory Complexity classes
258	A Mobile Automaton: An Application of Artificial Intelligence Techniques Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-11 17:34:18 Technology Artificial intelligence Humanoid robot Robot Problem solving Robotics
259	Translations of Cellular Automata for Efficient Simulation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Boolean algebra Cross-platform software Diagrams Binary decision diagram Model checking Cellular automaton Java Lookup table C Computing Computer programming Software engineering
260	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics

UPDATE