Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
791	Fractal Replication in Time-manipulated One-dimensional Cellular Automata Sugata Mitra Sujai Kumar Centre for Research in Cognitive Systems, NIIT Ltd., Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Dimension Sierpinski triangle Cellular automaton Rule 90 Fractal Cell Replication Chaos theory Fractals Mathematics Geometry
792	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
793	Evolutionary Search for Cellular Automata Logic Gates with Collision-Based Computing Emmanuel Sapin Larry Bull Faculty of Computing, Engineering, and Mathematical Sciences, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Theory of computation Mathematics Systems theory Reversible cellular automaton Block cellular automaton Cellular automata Cellular automaton Glider
794	Solving the Density Classification Task Using Cellular Automaton 184 with Memory Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:03 Majority problem Rule 184 Memory Computer memory Mind Knowledge Epistemology Cellular automata Cellular automaton Mental processes
795	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-04-07 08:31:54 Hybrid automaton Continuous function Complete Heyting algebra Abstraction Automata theory Mathematics Mathematical analysis
796	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
797	ICS 162 – Fall 2003 – Midterm Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-11-10 23:13:26 Models of computation Computer science Software engineering Regular language Deterministic finite automaton Context-free grammar Nondeterministic finite automaton Regular expression Book:Theory Of Computation Automata theory Formal languages Theoretical computer science
798	An Automata-Theoretic Approach to Hardware/Software Co-verification Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-11-19 03:22:01 Mathematics Model checking PAT Linear temporal logic Formal methods Algorithm Correctness Logic Theoretical computer science Model checkers Applied mathematics
799	On Classes of One-dimensional Self-assembling Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Triangle geometry Symbol Triangle
800	A Structurally Dynamic Cellular Automaton with Memory in the Triangular Tessellation Ramón Alonso-Sanz ETSI Agrónomos (Estadística), C. Universitaria, Madrid, Spain Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:03 Reversible cellular automaton Dynamical system Dynamic random-access memory Structure Nature T cells Cellular automata Cellular automaton

UPDATE