Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
871	Extracting Hybrid Automata from Control Code Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA, {lyde,might}@cs.utah.edu Abstract. Formal methods—and abstract interpretation in particular— Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Models of computation Applied mathematics Hybrid automaton Computer science Hybrid system Model checking State transition system Formal language Actor model Differential equations Automata theory Mathematics
872	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
873	Advanced Patterns Theory for Patterns Engineers -- Kent D. Palmer everything is a pattern and all higher schemas within experience are reducible to this schema. However, we do not subscribe to this reductionist view. In Add to Reading List Source URL: holonomic.net Language: English - Date: 2014-02-16 18:19:38 Design Architectural theory Alan Turing Cybernetics Linguistics Pattern language Cellular automaton Schema Pattern Mind Cognitive science Science
874	PDF Document Add to Reading List Source URL: www.bottomlayer.com Language: English - Date: 2012-07-20 21:07:25 Digital physics Theory of computation Edward Fredkin Cellular automaton Philosophy of mind Automata theory Quantum mechanics Introduction to quantum mechanics Interpretations of quantum mechanics Physics Science Theoretical physics
875	Visualization of Dynamics for Biological Networks Hussein Vastani 1 , Abdul Salam Jarrah 2 , and Reinhard Laubenbacher 1 1 2 Add to Reading List Source URL: dvd.vbi.vt.edu Language: English - Date: 2010-01-20 08:58:01 Boolean network Logic Gene regulatory network Cellular automaton Discrete system Biology Scientific modelling Ethology Science Models of computation Bioinformatics
876	Formal Modeling of RESTful Systems Using Finite-State Machines Ivan Zuzak, Ivan Budiselic, and Goran Delac School of Electrical Engineering and Computing, University of Zagreb, Unska 3, 10000 Zagreb, Croatia {izuzak, ibu Add to Reading List Source URL: ivanzuzak.info Language: English - Date: 2013-10-13 05:11:48 Cloud standards Software engineering Software architecture Computer science Representational state transfer Finite-state machine HATEOAS Nondeterministic finite automaton Web service Models of computation Automata theory Computing
877	Advanced Patterns Theory for Patterns Engineers -- Kent D. Palmer everything is a pattern and all higher schemas within experience are reducible to this schema. However, we do not subscribe to this reductionist view. In Add to Reading List Source URL: emergentdesign.net Language: English - Date: 2014-02-16 18:19:38 Design Architectural theory Alan Turing Cybernetics Linguistics Pattern language Cellular automaton Schema Pattern Mind Cognitive science Science
878	Deterministic Pushdown Automata 237 Deterministic PDA (DPDA) A PDA P = (Q, Σ, Γ, δ, q0 , Z0 , F ) is deterministic if and only if Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2005-10-18 14:54:39 Models of computation Computer science Applied mathematics Deterministic pushdown automaton Regular language Regular expression Context-free language Automata theory Formal languages Theoretical computer science
879	Symbolic Automata for Static Specification Mining Hila Peleg1 , Sharon Shoham2 , Eran Yahav3 , and Hongseok Yang4 1 Tel Aviv University, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-05-17 17:02:48 Models of computation Theoretical computer science Model theory Combinatorics on words Logic Structure Finite-state machine Deterministic finite automaton Interpretation Automata theory Formal languages Mathematics
880	The Apocryphal Machinery of Cyphernautics Telecomix Crypto Munitions Bureau November 8, 2010– Initial selection. Add to Reading List Source URL: telecomix.org Language: English - Date: 2014-06-07 09:33:17 Computer law Cipherspace Cellular automaton Internets Cryptography Complexity Cipher Knowledge Computational complexity theory Science Telecomix Crypto-anarchism

UPDATE