Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
81	An Improved Construction of Deterministic Omega-automaton using Derivatives Roman R. Redziejowski Giraf’s Research Add to Reading List Source URL: csp2011.mimuw.edu.pl Language: English - Date: 2011-09-01 11:05:27
82	Modularity in the Design of Robust Distributed Algorithms THIS IS A TEMPORARY TITLE PAGE It will be replaced for the nal print by a version provided by the service academique. Add to Reading List Source URL: www.losa.fr Language: English - Date: 2015-04-11 07:26:49 Distributed computing Input/output automaton cole Polytechnique Fdrale de Lausanne
83	The validity of weighted automata (Fragments) Sylvain Lombardy LABRI, Universit´e de Bordeaux Jacques Sakarovitch Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 15:06:31 Finite automata Automaton Finite-state transducer Bchi automaton
84	Bisimilarity of Pushdown Automata is Nonelementary Michael Benedikt (Oxford) Stefan G¨ oller (Bremen) Stefan Kiefer (Oxford) Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:52 Models of computation Pushdown automaton
85	RELIABLE CELLULAR AUTOMATA WITH SELF-ORGANIZATION ´ PETER GACS A BSTRACT. In a probabilistic cellular automaton in which all local transitions have positive probability, the problem of keeping a bit of information indef Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-05-05 16:09:26
86	PDF Document Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:48 Finite automata Bchi automaton
87	PDF Document Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2014-10-12 12:01:50 Finite automata Tree automaton Tree Formal languages Model checking
88	PDF Document Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:49 Finite automata Theoretical computer science Mathematics Muller automaton Automata theory
89	S E R E N D I P I T Y – Aharon Ozery By Doreet Levitte Harten When in 1662 René Descartes described in Traite’ de l’homme the living being as a literally machine and the body as an automaton, he did not imply that Add to Reading List Source URL: aharonozery.com Language: English - Date: 2012-05-14 09:29:53 Jean Tinguely Neo-dada Francis Picabia Machine Luddite Visual arts Modern art Technology
90	A Sharp Existence Theorem for Vortices in the Theory of Branes1 Xiaosen Han2 arXiv:1110.1423v2 [math-ph] 18 JunInstitute of Contemporary Mathematics Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-06-19 02:20:50 Ordinary differential equations Partial differential equations Fourier analysis Sobolev space Euler–Lagrange equation Calculus of variations Constructible universe Vector space Complementation of Büchi automaton Algebra Mathematics Mathematical analysis

UPDATE