Automata

Results: 1989



#Item
651Principles of Programming Languages / Max Planck Institute for Software Systems / International Colloquium on Automata /  Languages and Programming / Lecture Notes in Computer Science / Computing / CHIC / Computer science / Automata theory / Association for Computing Machinery

Curriculum Vitae Rupak Majumdar Department: Email:

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2012-11-23 07:15:23
652Mathematics / Automata theory / De Bruijn graph / Applied mathematics

The Enumeration of Preimages and Gardens-of-Eden in Sequential Cellular Automata

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:17
653Finite-state machine / Computing / Mathematics / Deterministic pushdown automaton / Automata theory / Models of computation / Nondeterministic finite automaton

On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday.

Add to Reading List

Source URL: markburgess.org

Language: English - Date: 2014-12-18 08:35:34
654Economic model / Cellular automata / Time / Physics / Ethology / Cellular automaton / Branch predictor / Predictability

Predicting Cellular Automata

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-06-20 13:21:04
655Verification / Finite-state machine / Models of computation / Automata theory / Systems engineering

Research internship (Master M2) Title Verification of concurrent systems with data structures Description

Add to Reading List

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

Language: English - Date: 2013-11-20 05:22:25
656Theoretical computer science / Omega language / Theory of computation / Determinacy / Infinite loop / Constructible universe / Ordinal number / Formal languages / Computer programming / Mathematics

Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas DLT 2011, Milano July 19, 2011

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-05-29 10:56:44
657Pattern matching / Regular expressions / Automata theory / Java / Computing / Computer programming / Software engineering

JAVA - REGULAR EXPRESSIONS http://www.tutorialspoint.com/java/java_regular_expressions.htm Copyright © tutorials point.com Java provides t he java.ut il.regex package for pat t ern mat ching wit h regular expressions.

Add to Reading List

Source URL: www.tutorialspoint.com

Language: English - Date: 2015-04-27 04:48:02
658Propositional calculus / Exclusive or / Logic / Binary numeral system / Cellular automaton / Logarithm / Summation / Mathematics / Abstract algebra / Boolean algebra

Binary Addition on Cellular Automata

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2013-03-26 14:31:28
659Automata theory / Phase transition / Cellular automata / Cellular automaton / Asynchronous cellular automaton

A guided tour of asynchronous cellular automata NAZIM FATÈS? Inria Nancy Grand-Est, LORIA UMR 7503 F, Villers-lès-Nancy, France Received September 29, 2014; In final ???

Add to Reading List

Source URL: webloria.loria.fr

Language: English - Date: 2014-10-06 10:42:48
UPDATE