Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
731	Parameterized Verification of Communicating Automata under Context Bounds Benedikt Bollig1 , Paul Gastin1 , and Jana Schubert2 1 Laboratoire Sp´ecification et V´erification Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-06-19 05:17:04
732	A Phase Diagram for Elementary Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:19 Chaos theory A New Kind of Science Science Cellular automata Cellular automaton Diagram
733	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
734	A Note on Injectivity of Additive Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:35:01 Determinants Matrices Numerical linear algebra Cellular automaton Root of unity Algebra Mathematics Circulant matrix
735	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
736	Fast Parallel Arithmetic on Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:35:02
737	Cellular Engineering M. Burgin Department of Mathematics University of California, Los Angeles 405 Hilgard Avenue Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:05 Cellular automaton Theoretical computer science Mathematics Finite-state machine Reversible cellular automaton Cellular automata Theory of computation Automata theory
738	A Bridge of Bits Norman Margolus Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MAJuly 1992 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:06:03 Cellular automata Computer science Norman Margolus Cellular automaton Reversible computing Billiard ball computer Programmable matter Computation Tommaso Toffoli Models of computation Theoretical computer science Applied mathematics
739	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
740	. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics . Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-18 15:59:28 Software engineering Functional programming Monad Theoretical computer science Models of computation Automata theory Theory of computation

UPDATE