Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
501	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:24 Attractor MIDI Complex systems Entropy Statistics Science Probability and statistics Rule 30 Cellular automaton Chaos theory Algorithmic composition
502	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
503	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
504	October 3, [removed]:38 WSPC/INSTRUCTION FILE Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-10-03 15:38:17 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Determinacy Symbol Regular language Automata theory Theoretical computer science Mathematics
505	DISCRETE DYNAMICS LAB Cellular Automata Random Boolean Networks. July 1995 (copyright  Andrew Wuensche 1993) Santa Fe Institute and The University of Sussex (COGS) Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2008-05-05 08:01:33 Cellular automaton Science Attractor network Attractor Boolean network Electrical wiring
506	Decidability Results on the Existence of Lookahead Delegators for NFA Christof Löding and Stefan Repke Lehrstuhl für Informatik 7, RWTH Aachen, Aachen, Germany Abstract Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-02-07 10:22:52 Complexity classes Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Lookahead PSPACE-complete NP Theoretical computer science Automata theory Models of computation
507	Toward a Structure Theory of Regular Infinitary Trace Languages? Namit Chaturvedi?? RWTH Aachen University, Lehrstuhl f¨ ur Informatik 7, D[removed]Aachen [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-16 12:46:55 Muller automaton Mathematics Representation theory of finite groups Mathematical analysis Remarkable cardinal Automata theory Ω-automaton Symbol
508	Infinite games and automata theory ¨ Christof Loding RWTH Aachen, Germany Spring School 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:55 Mathematics Ω-automaton Automata theory Sequence Finite-state machine
509	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
510	Microsoft Word - 03-Lexical-Analysis.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 16:58:22 Computing Nondeterministic finite automaton Lexical analysis Powerset construction Deterministic finite automaton Regular expression Finite-state machine Formal language Regular language Automata theory Programming language implementation Theoretical computer science

UPDATE