Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
681	On the Iota-Delta Function: Mathematical Representation of Two-Dimensional Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-03-11 12:49:15 Rule 30 Tuple Dynamical system Mathematics Cellular automaton Cellular automata
682	DIPARTIMENTO DI INFORMATICA ICALP/PPDP/LOPSTRJuly, 2006, Venice - S. Servolo, Italy MAIN CONFERENCES Add to Reading List Source URL: icalp06.dsi.unive.it Language: English - Date: 2006-06-27 21:41:11 Computing Cynthia Dwork Massimo Marchiori Automata theory International Colloquium on Automata Languages and Programming Computer science
683	Sequences Generated by Neuronal Automata with Memory Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:17 Theory of computation Control theory Integer sequences Stochastic differential equations Binomial coefficient Kalman filter Mathematics Algebra Recurrence relation
684	Lemma 1 Ref: DS/FMU/FEF/006 DRA FRONT END FILTER PROJECT Issue: Revision : 4 .3 Security Conjecture for the SSQL Abstract Machine Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:10 Models of computation Procedural programming languages Automata theory Finite-state machine ALGOL 68 SQL Abstraction Set Computing Software engineering Computer programming
685	Proceedings Template - WORD Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 08:21:16 Multi-agent systems Science Computing Scientific modeling DEVS Agent-based model Cognitive science AgentSpeak LIDA Artificial intelligence Cognitive architecture Automata theory
686	Connectivity Games over Dynamic Networks Sten Grünera,1 , Frank G. Radmacherb,2,∗, Wolfgang Thomasb a RWTH Aachen University, Lehrstuhl für Prozessleittechnik, 52054 Aachen, Germany Aachen University, Lehrstuhl für Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-01-02 16:32:20 Graph connectivity Reachability Connectivity
687	An Efficient Algorithm for the Detection of Eden Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-03-11 12:49:15 Garden of Eden Dynamical system Algorithm Combinatorics Graph theory Automata theory Cellular automata Mathematics Cellular automaton
688	Research on Intelligent Automata (Proposal ESU 69-68; 9 June 1969) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-07 17:14:21 Problem solving Psychology Robot Intelligence Automated theorem proving Education Theoretical computer science Automata theory Cellular automaton Educational psychology Cellular automata Neuropsychological assessment
689	Distribution of Linear Rules in Cellular Automata Rule Space Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Coding theory Binomial coefficient Combinatorics Linear combination Greatest common divisor Cellular automaton Linear code Mathematics Abstract algebra Linear algebra
690	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

UPDATE