Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
281	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
282	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
283	An Experimental Mobile Automaton Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-11 17:41:17 Mental processes Computational neuroscience Robotics Robot Computer Visual perception Perception Artificial intelligence Cognitive science Mind Knowledge Science
284	1 Vol 15 Issue 11 – 12 In Conversation with an Automaton: Identities and Agency in a Heterogeneous Social and Musical Network Add to Reading List Source URL: www.leoalmanac.org Language: English - Date: 2014-02-11 08:12:48 Mina Music Musical improvisation Io
285	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
286	Nonrecursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Applied mathematics Theory of computation Computability theory Formal languages Automata theory Cellular automaton Recursively enumerable set Recursively enumerable language Universal Turing machine Theoretical computer science Turing machine Computer science
287	4 AprilProposal for Research SRI No. ESUAUGMENTATION AN CONTINUATION OF THE Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-11 18:16:43 Cellular automata Automata theory Cellular automaton Computer Computing Programming paradigms
288	Quantum Computation‘ N O R M A N MARGOLUS Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, Massachusetts 02139 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-08-06 23:40:53 Cellular automata Physics Quantum mechanics Computability theory Quantum computer Cellular automaton Asynchronous cellular automaton Reversible cellular automaton Computation Theoretical computer science Applied mathematics Models of computation
289	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
290	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Models of computation Nondeterministic finite automaton Vector space Muller automaton Ω-automaton Algebra Automata theory Mathematics

UPDATE