Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
431	Malware Analysis with Tree Automata Inference ⋆ Domagoj Babi´c, Daniel Reynaud, and Dawn Song University of California, Berkeley {babic, reynaud, dawnsong}@cs.berkeley.edu Abstract. The underground malware-based econ Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Tree automaton Malware Tree Directed acyclic graph Graph coloring Graph theory Automata theory Theoretical computer science
432	Discrete Dynamics Lab: tools for investigating cellular automata and discrete dynamical networks Andrew Wuensche Faculty of Computing, Engineering and Mathematical Sciences University of the West of England, Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2004-10-13 11:24:48 Logic Science Attractor Systems theory Chaos theory Structure Nature Dynamical system Cellular automaton Networks Bioinformatics Boolean network
433	ACME: Automata with Counters, Monoids and Equivalence? Nathanaël Fijalkow1,2 and Denis Kuperberg2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-21 11:37:01 Automata theory Mathematics Category theory Formal languages Algebraic structures Monoid Semiautomaton Probabilistic automaton Regular language Abstract algebra Semigroup theory Algebra
434	LOGIC SYSTEMS LABORATORY Swiss Federal Institute of Technology Prof. Daniel Mange Prof. Jacques Zahnd Prof. Eduardo Sanchez Add to Reading List Source URL: lslwww.epfl.ch Language: English - Date: 2001-12-13 08:15:14 Human–computer interaction Turing machine Computer science Artificial life Self-replication Cellular automaton Reconfigurable computing Bio-inspired computing Automata theory Applied mathematics Theoretical computer science BioWall
435	Foundations of Software Technology and Theoretical Computer ScienceSubmission Quasi-Weak Cost Automata: A New Variant of Weakness∗ Denis Kuperberg1 , Michael Vanden Boom2 1 L IAFA /CNRS/Universit´ Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Mathematics Ω-automaton Büchi automaton Semiautomaton Alphabet Finite-state machine Muller automaton Automata theory Theoretical computer science Computer science
436	LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS DENIS KUPERBERG Liafa/CNRS/Université Paris 7, Denis Diderot, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-08 11:47:02 Linear temporal logic Temporal logic Mathematical logic Semigroup Theoretical computer science Semigroup theory Büchi automaton Inverse semigroup Ω-automaton Automata theory Mathematics Algebraic structures
437	Classifying Cellular Automata Automatically Andrew Wuensche SFI WORKING PAPER: Add to Reading List Source URL: www.santafe.edu Language: English State functions Probability and statistics Aeronautics Chaos theory Entropy Attractor Cellular automaton Histogram Glider Thermodynamic entropy Thermodynamics Statistics
438	Modeling and Visualization of Biological Structures Przemyslaw Prusinkiewicz Department of Computer Science University of Calgary Calgary, Alberta, Canada T2N 1N4 Add to Reading List Source URL: www.graphicsinterface.org Language: English - Date: 2008-11-05 15:24:05 Interdisciplinary fields Zoology Cellular automaton Pattern formation Mathematical and theoretical biology Morphogenesis L-system Reaction–diffusion system Przemysław Prusinkiewicz Developmental biology Science Biology
439	Basins of attraction in network dynamics: A conceptual framework for biomolecular networks ∗ Andrew Wuensche Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2002-05-01 15:57:15 Boolean network Logic Cellular automaton Attractor Chaos theory Cellular automata Rule 30 Gene regulatory network Systems science Networks Science Bioinformatics
440	Determinisation of history-deterministic automata 1 1 Denis Kuperberg , Michał Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-04 07:26:19 Büchi automaton Deterministic automaton Parity game Muller automaton Co-Büchi automaton Automata theory Theoretical computer science Computer science

UPDATE