Automata

Results: 1989



#Item
801Applied 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

Nonrecursive Cellular Automata Invariant Sets

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2013-03-26 14:30:37
802Cellular automata / Automata theory / Cellular automaton / Computer / Computing / Programming paradigms

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
803Computational complexity theory / Automata theory / Symposium on Theoretical Aspects of Computer Science / Cryptographic protocols / Model checking / Network topology

Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: English - Date: 2014-10-03 08:24:08
804Cellular 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

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
805Combinatory logic / Lambda calculus / Logic in computer science / Group action / Groupoid / Abstract algebra / Mathematics / Algebra

Cellular Automata as Algebraic Systems

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2013-03-26 14:33:18
806Computer vision / Shape context / Ε-net / Automata theory / Models of computation / Fractals

CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Exact and approximate Geometric Pattern Matching for point sets in the plane under similarity transformations ∗ Dror Aiger†

Add to Reading List

Source URL: cccg.ca

Language: English - Date: 2008-10-28 21:28:44
807Markov processes / Models of computation / Markov models / Differential equations / Petri net / Probabilistic automaton / Markov chain / Hybrid automaton / Random variable / Statistics / Probability and statistics / Automata theory

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
808Models of computation / Nondeterministic finite automaton / Vector space / Muller automaton / Ω-automaton / Algebra / Automata theory / Mathematics

Microsoft Word - ijita12-4.doc

Add to Reading List

Source URL: www.foibg.com

Language: English - Date: 2015-02-02 08:42:05
809Sturm–Liouville theory / Wave mechanics / Heat equation / Heat transfer

Commutation of Cellular Automata Rules

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2013-03-26 14:33:19
810English phonology / Stochastic differential equations / Optimal control / Stochastic control / English orthography / Control theory / Systems theory / Cybernetics

Fixed Points of Majority Rule Cellular Automata with Application to Plasticity and Precision of the Immune System

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2013-03-26 14:31:28
UPDATE