Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
151	ON ASYNCHRONOUS DYNAMIC NEURAL FIELD COMPUTATION Wahiba Taouali, Thierry Vi´eville, Nicolas Rougier, Fr´ed´eric Alexandre INRIA Cortex http://cortex.loria.fr ABSTRACT The hallmark of most artificial neural networks is Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2010-12-14 10:59:58 Science Neuroscience Artificial neural network Neural oscillation Discrete event dynamic system Actor model Asynchronous cellular automaton Cellular neural network Neural networks Computational neuroscience Cybernetics
152	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
153	1 Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-06-04 09:57:06 Software engineering Computing Abstraction Deterministic finite automaton Abstract interpretation Nondeterministic finite automaton Finite-state machine Automata theory Models of computation Computer science
154	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory
155	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
156	Using a multi-scale model for simulating pedestrian behavior Angelika Kneidl, Dirk Hartmann, André Borrmann {kneidl,andre.borrmann}@ tum.de Technische Universität München, Munich, Germany Sie Add to Reading List Source URL: www.cms.bgu.tum.de Language: English - Date: 2014-12-18 07:58:45 Agent-based model Cellular automaton Graph Mathematics Science Abstraction Scientific modeling Operations research Simulation
157	Walkthrough 1- Valadilene. Add to Reading List Source URL: www.microids.com Language: English - Date: 2014-03-19 09:55:25 Adventure games Windows games Entertainment Digital media Elevator Automaton Technology
158	The Monad.Reader Issue 16 by Aran Donohue and John W. Lato and Louis Wasserman May 12, 2010 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science
159	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
160	A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-06-13 07:29:10 Nested word Finite state transducer Finite-state machine Büchi automaton Automata theory Theoretical computer science Computer science

UPDATE