Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
381	Teuscher C. and Adamatzky A. (Eds.) Unconventional Computing 2005: From Cellular Automata to Wetware (Luniver Press, ISBN-10: 095511702X ISBN-13: Proceedings of the 2005 Workshop on Unconventional Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2007-12-02 14:26:54 Science Biology Cellular automaton Unconventional computing Norman Margolus DNA computing Wetware Christof Teuscher Chemical computer Classes of computers Theoretical computer science Chemistry
382	Automata E. T. A. Hoffmann Automata Table of Contents Add to Reading List Source URL: www.searchengine.org.uk Language: English - Date: 2011-05-23 18:16:53 Christopher Turk Science Control engineering Technology The Turk Automaton
383	J ournal of Statistical Mechanics: Theory and Experiment An IOP and SISSA journal Add to Reading List Source URL: www.itp.uni-bremen.de Language: English - Date: 2011-08-10 05:51:03 T cells Gene regulatory network Networks Systems biology Cellular automaton Regulation of gene expression Pattern formation Morphogenesis Biology Developmental biology Gene expression
384	Honors Class (Foundations of) Informatics Tom Verhoeff Department of Mathematics & Computer Science Software Engineering & Technology www.win.tue.nl/~wstomv/edu/hci Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-10-17 18:08:03 Theoretical computer science Computer science Finite-state machine Turing machine Pushdown automaton Deterministic finite automaton Nondeterministic finite automaton State Read-only Turing machine Models of computation Theory of computation Automata theory
385	Reasoning about XML with Temporal Logics and Automata Leonid Libkin Cristina Sirangelo University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-09-16 09:06:42 OSI protocols Tree automaton Tree XPath XML Nondeterministic finite automaton Binary tree Automata theory Computing Theory of computation
386	Automata theory for XML researchers∗ Frank Neven University of Limburg 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:40 Mathematics Tree automaton Nondeterministic finite automaton Deterministic finite automaton Symbol Finite-state machine Tree Regular language Formal language Automata theory Theoretical computer science Computer science
387	Noname manuscript No. (will be inserted by the editor) Synchronizing Relations on Words Diego Figueira · Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-26 07:54:43 Computer science Applied mathematics Regular language Tree automaton Complementation of Büchi automaton Ω-automaton Automata theory Formal languages Theoretical computer science
388	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Formal methods Muller automaton Deterministic automaton Nondeterministic finite automaton Finite-state machine Alphabet Petri net Ω-automaton Automata theory Theoretical computer science Computer science
389	Synchronizing Relations on Words Diego Figueira and Leonid Libkin University of Edinburgh, UK Abstract While the theory of languages of words is very mature, our understanding of relations on words Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 14:59:36 Mathematics Applied mathematics Regular language Recognizable language Tree automaton Constructible universe Formal languages Automata theory Theoretical computer science
390	Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:00:04 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Symbol Tree automaton Satisfiability Theoretical computer science Applied mathematics Mathematics

UPDATE