Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
471	A Type System for Expressive Security Policies∗ David Walker Cornell University abstraction preservation (programs use abstract data types only as their interfaces allow). These properties Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-16 16:28:29 Mathematics Logic First-order logic Interpretation Symbol Functional predicate Type safety Function Nondeterministic finite automaton Mathematical logic Automata theory Model theory
472	Optimization of Massive Pattern Queries by Dynamic Configuration Morphing Nikolay Laptev #1 , Carlo Zaniolo #2 # University of California, Los Angeles Add to Reading List Source URL: labs.yahoo.com Language: English - Date: 2015-02-04 18:38:47 Formal languages Computer science Applied mathematics Pattern matching Regular expressions Nondeterministic finite automaton Deterministic finite automaton Nested word Finite-state machine Automata theory Models of computation Theoretical computer science
473	T he invention of a totally discrete model for natural phenomena was made by Ulam and von Neumann in the early fifties and was developed to the extent possible at the time. A few years earlier von Neumann had designed t Add to Reading List Source URL: www.fas.org Language: English - Date: 2014-05-06 22:26:39 Partial differential equations Aerodynamics Navier–Stokes equations Nonlinear system Fluid mechanics Differential equation Euler equations Boltzmann equation Cellular automaton Calculus Physics Fluid dynamics
474	Computing in ‘spiral rule’ reaction-diffusion hexagonal cellular automaton Andrew Adamatzky1 and Andrew Wuensche2 1 Faculty of Computing, Engineering and Mathematical Sciences, University of the Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2007-02-18 13:48:28 XTR P
475	Quasi-Weak Cost Automata A New Variant of Weakness Denis Kuperberg1 1 LIAFA/CNRS/Universit´ e 2 Department Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Nondeterministic finite automaton Regular language Finite-state machine Ω-automaton Automata theory Formal languages Models of computation
476	Expressive power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom S´eminaire Automates Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Computer science Applied mathematics Mathematics Regular language Nondeterministic finite automaton Finite-state machine Ω-automaton Omega-regular language Automata theory Formal languages Models of computation
477	Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-29 05:18:08 Applied mathematics Ω-automaton Muller automaton Büchi automaton Tree automaton Finite-state machine Regular language Formal language Tree Automata theory Theoretical computer science Computer science
478	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
479	Unambiguous Finite Automata ¨ Christof Loding Department of Computer Science RWTH Aachen University, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-06-27 09:04:03 Büchi automaton Finite-state machine Deterministic automaton Muller automaton Automata theory Theoretical computer science Computer science
480	Structuring Cellular Automata Rule Space with Attractor Basins Dave Burraston Complex systems such as Cellular Automata (CA) produce global behaviour based on the interactions of simple units (cells). Their evolution is Add to Reading List Source URL: www.noyzelab.com Language: English - Date: 2015-02-06 20:26:18 Cellular automaton Elementary cellular automaton Attractor Slide rule Science Matrix Rule 90 Selection rule Physics Cellular automata Mathematics Chaos theory

UPDATE