Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
661	Press Release Cabaret Mechanical Theatre & The Ride of Life Exclusive retrospective show of world-famous automata comes to East London Exhibition runs April 6th – May 5th 2007 Add to Reading List Source URL: www.kinetica-museum.org Language: English - Date: 2012-11-15 06:08:45 Automaton Robotics Cabaret Mechanical Theatre British art Ron Fuller Engineer Robot Tim Hunkin Spitalfields Technology Ancient Greek technology Automation
662	PECANS: A Parallel Environment for Cellular Automata Modeling Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Cellular automata Computing Comparison of programming languages Software engineering Subroutines Parameter
663	Effect of Noise on Long-term Memory in Cellular Automata with Asynchronous Delays between the Processors Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Mathematical analysis Optimal control Stochastic control Operator theory Optimal projection equations Theorems and definitions in linear algebra Control theory Systems theory Cybernetics
664	Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-04-26 17:57:31 Models of computation Theoretical computer science Functions and mappings Calculus Ω-automaton Finite state transducer Continuous function Derivative Computability Automata theory Mathematics Mathematical analysis
665	Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Farzad Farnoud (Hassanzadeh) Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2015-02-26 18:45:52 Mathematics Combinatorics on words Theoretical computer science Models of computation String Substring Regular language Deterministic finite automaton Regular expression Formal languages Automata theory Combinatorics
666	Data-Parallel String-Manipulating Programs Margus Veanes Todd Mytkowicz David Molnar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-28 21:15:16 Finite state transducer Mathematical analysis Theoretical computer science Ordinary differential equations Mathematics Classical cipher Obfuscated code Models of computation Spectral theory Automata theory
667	Efficient Inclusion Testing for Simple Classes of Unambiguous ω-Automata Dimitri Isaaka , Christof L¨odinga a Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:30 Ω-automaton Deterministic finite automaton Tree automaton Nondeterministic finite automaton Omega language Sequence Muller automaton Büchi automaton Automata theory Theoretical computer science Computer science
668	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
669	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games
670	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton

UPDATE