Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
391	Xlife(6) Xlife(6) NAME Xlife − Conway’s Game of Life and other cellular automata, for X Add to Reading List Source URL: 94.143.43.229 Language: English - Date: 2011-10-17 10:12:42 Mouse Less Computing Software Structure Cellular automaton Pattern MOD
392	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
393	COMPASSS NEWSLETTER Nr.33 (10th of JanuaryCOMPArative Methods for Systematic cross-caSe analySis http://www.compasss.org Add to Reading List Source URL: www.compasss.org Language: English - Date: 2014-01-10 02:36:12 Qualitative comparative analysis Evaluation methods European Consortium for Political Research QCA Dirk Berg-Schlosser Qualitative research Quantum dot cellular automaton Science Methodology Sociology
394	Recurrent Reachability Analysis in Regular Model Checking Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-09-22 08:03:38 Computer science Applied mathematics Tree automaton Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
395	Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization ∗ Marcelo Arenas Departamento de Ciencia de la Computaci´on Pontificia Universidad Cat´olica de Chile Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 14:57:55 Logic Theoretical computer science Nested word Muller automaton Model theory Tree Finite-state machine Structure Alphabet Automata theory Formal languages Mathematics
396	Static Analysis of XML Processing with Data Values∗ Luc Segoufin INRIA and Universit´e Paris 11 http://www-rocq.inria.fr/~segoufin 1 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-07 05:54:56 XPath Xpath data model Decision problem First-order logic Decidability Tree automaton XPath 2.0 XPath 1.0 Computing XML Web standards
397	Innovations in symmetric cryptography Joan Daemen STMicroelectronics, Belgium SSTIC, Rennes, June 5, 2013 Add to Reading List Source URL: www.sstic.org Language: English - Date: 2013-06-27 13:18:02 Symmetric-key algorithm Advanced Encryption Standard Data Encryption Standard Cipher Stream cipher S-box Cryptographic hash function Cellular automaton Crypto++ Cryptography Block cipher Joan Daemen
398	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
399	Complex Behavior in Long-Distance Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-09-26 15:56:01 Computability theory Systems Complex systems theory Rule 110 Rule 30 L-system Turing machine Complex system Function Mathematics Theory of computation Cellular automaton
400	THE SCARLET THIEF BY RAMSAY DUFF THE SCARLET THIEF by Ramsay Duff An Entry in the 2013 Windhammer Prize for Add to Reading List Source URL: www.arborell.com Language: English - Date: 2013-09-14 05:51:10 Aerostats Airship Automaton Thief Sherlock Holmes Engineering United Kingdom Edwardian era Victorian era Technology

UPDATE