Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
681	10 Cellular Automata and Lattice Gases We started our discussion of partial differential equations by considering how they arise as continuum approximations to discrete systems (such as cars on a highway, or masses conn Add to Reading List Source URL: fab.cba.mit.edu Language: English - Date: 2014-04-01 00:13:21 Computational physics Lattice gas automaton Quantum mechanics Statistical mechanics Cellular automaton Gas Quantum field theory Boltzmann equation Quantum cellular automata Physics Cellular automata Computational fluid dynamics
682	Capturing Practical Natural Language Transformations Kevin Knight Information Sciences Institute and Computer Science Department University of Southern California [removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2008-02-13 19:53:36 Theoretical computer science Computer science Finite state transducer Computational linguistics Finite-state machine Applied mathematics Formal grammar Tree automaton Speech recognition Automata theory Models of computation Formal languages
683	DAGGER: A Toolkit for Automata on Directed Acyclic Graphs Kevin Knight University of Southern California Information Sciences Institute Marina del Rey, California[removed]removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2012-07-17 14:34:24 Applied mathematics Computer science Finite state transducer Finite-state machine Directed acyclic graph Mehryar Mohri DAG Tree automaton Algorithm Automata theory Models of computation Theoretical computer science
684	In Proc. of the Eleventh International Conference on Implementation and Application of Automata (CIAA), Lecture Notes in Computer Science, c Springer Verlag, 2006. Tiburon: A Weighted Tree Automata Toolkit Jonathan May a Add to Reading List Source URL: www.isi.edu Language: English - Date: 2006-07-06 12:34:50 Models of computation Computer science Software engineering Finite state transducer FSA Utilities Finite-state machine Tree automaton Formal grammar Context-free grammar Formal languages Automata theory Theoretical computer science
685	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
686	IDAPA 03 - State Athletic Commission.book Add to Reading List Source URL: adminrules.idaho.gov Language: English - Date: 2014-04-10 11:50:17 Elementary cellular automaton Federal Rules of Civil Procedure Combatant Boxing Sports Laws of war Cellular automata
687	Ta b l e o f C o n t e n t s[removed]Idaho Rules of Administrative Procedure of the Attorney General SUBCHAPTER A -- GENERAL PROVISIONS 000. Legal Authority (Rule 0). .................................................. Add to Reading List Source URL: adminrules.idaho.gov Language: English - Date: 2012-11-30 18:47:11 Civil procedure Decision theory Rulemaking Notice of proposed rulemaking Negotiated rulemaking Motion Contested case hearing Elementary cellular automaton Service of process Law United States administrative law Administrative law
688	Sayan Mitra Department of Electrical & Computer Engineering Coordinated Science Laboratory University of Illinois at Urbana Champaign Urbana, IL 61801 Add to Reading List Source URL: users.crhc.illinois.edu Language: English - Date: 2014-10-11 16:40:07 Hybrid automaton Model checking DREAM Theorem Proving in Higher-Order Logics Orc Computer science Applied mathematics Theoretical computer science Formal methods Automata theory
689	Probabilistic Model Checking  and Strategy Synthesis    Dave Parker      Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-22 23:04:08 Markov models Model checking Markov chain Probabilistic automaton Economic model Probabilistic logic Probability Statistics Automata theory
690	IDAPA 03 - State Athletic Commission.book Add to Reading List Source URL: adminrules.idaho.gov Language: English - Date: 2012-11-30 18:49:06 Elementary cellular automaton Combatant Boxing Sports Laws of war Federal Rules of Civil Procedure

UPDATE