Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
481	INFINITE GRAPHS GENERATED BY TREE REWRITING Von der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Graph Deterministic pushdown automaton Nested word Graph theory Mathematics Theoretical computer science
482	Monday August 24th 9:[removed]:00 Albert Atserias: Four subareas of the theory of constraints, and their links (invited talk) 10:[removed]:30 coffee break Add to Reading List Source URL: www.mfcs.sk Language: English - Date: 2009-08-10 08:22:15 Applied mathematics Graph theory Graph coloring Cellular automaton Nested word Computability Theoretical computer science Mathematics Automata theory
483	Global Dynamics Approach to Generative Music Experiments with One Dimensional Cellular Automata Dave Burraston and Ernest Edmonds Creativity and Cognition Studios (CCS), Faculty of Information Technology, University of T Add to Reading List Source URL: www.noyzelab.com Language: English - Date: 2015-02-06 20:26:18 Rule 110 Rule 184 Cellular automaton Cellular automata Generative
484	Games with delay for automaton synthesis ¨ Christof Loding RWTH Aachen University, Germany GandALF Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Automata theory Models of computation Finite-state machine
485	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic
486	Variety, Pattern and Isomorphism Dave Burraston Creativity and Cognition Studios (CCS) Faculty of Information Technology University of Technology, Sydney Australia Add to Reading List Source URL: www.noyzelab.com Language: English - Date: 2015-02-06 20:26:18 Cellular automaton Chaos theory Science Systems science Complex systems Self-organization Seeds Attractor Structure Cybernetics Systems theory Cellular automata
487	Microsoft Word - Alife X Paper.doc Add to Reading List Source URL: www.ventrella.com Language: English - Date: 2007-05-06 17:05:05 Computational fluid dynamics Computational physics Cellular automaton Genetic algorithm Particle system Swarm intelligence Rule 184 Block cellular automaton Computational science Science Mathematics
488	Constructions and Algorithms for ω -Automata ¨ Christof Loding RWTH Aachen University, Germany Workshop Automaten und Logik“ beim Theorietag Automaten Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Büchi automaton Computer science Automata theory Theoretical computer science Formal methods
489	Logical Methods in Computer Science Vol. 9(4:[removed], pp. 1–39 www.lmcs-online.org Submitted Published Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-12-17 05:01:37 Mathematics Formal languages Computer science Combinatorics on words Theory of computation Finite-state machine Alphabet Nondeterministic finite automaton Computability Automata theory Models of computation Theoretical computer science
490	Algorithms for Guided Tree Automata Morten Biehl1 , Nils Klarlund2 , and Theis Rauhe1 1 BRICS, Department of Computer Science, University of Aarhus, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:46:59 Mathematics Binary decision diagram Tree automaton Nondeterministic finite automaton Deterministic finite automaton Tree traversal Binary tree Tree Infinite tree automaton Automata theory Theoretical computer science Computer science

UPDATE