Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
851	Navigation Strategies for an Autonomous Vehicle with Incomplete Information on the Environment Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Robot kinematics Motion planning Automata theory Shortest path problem Algorithm Reversible cellular automaton Mathematics Applied mathematics Theoretical computer science
852	Theory of computation: Summary of main concepts 5. Context-free languages, grammars and pushdown automata fsm Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:10 Models of computation Computer science Context-free language Deterministic pushdown automaton Pushdown automaton Context-free grammar Theory of computation SC CYK algorithm Formal languages Theoretical computer science Automata theory
853	Path-Planning Strategies for a Point Mobile Automaton Moving Amidst Unknown Obstacles of Arbitrary Shape Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Graph theory Search algorithms Robot kinematics Routing algorithms Combinatorial optimization Motion planning A* search algorithm Shortest path problem Algorithm Mathematics Applied mathematics Theoretical computer science
854	jn2004[removed]Context free grammars (CFG) and languages (CFL) Goals of this chapter: CFGs and CFLs as models of computation that define the syntax of hierarchical formal notations as used in programming or markup lang Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:17 Context-free grammar Theoretical computer science Pumping lemma for regular languages Pumping lemma for context-free languages Pushdown automaton Formal grammar Controlled grammar Vertex operator algebra Formal languages Mathematics Software engineering
855	On the Synthesis of Discrete ?Controllers for Timed Systems (An Extended Abstract) Oded Maler1 Amir Pnueli2 Joseph Sifakis1 1 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Applied mathematics Complementation of Büchi automaton Automata theory Mathematics Quasigroup
856	Chapter 1 TOWARDS A THEORY OF ORGANISMS AND EVOLVING AUTOMATA OPEN PROBLEMS AND WAYS TO EXPLORE Heinz M-uhlenbein Abstract Add to Reading List Source URL: muehlenbein.org Language: English - Date: 2007-10-25 11:28:40 Cellular automaton Evolutionary biology Automata theory John von Neumann Theory of computation Artificial life Genetic algorithm Species Evolution Science Mathematics Knowledge
857	CHANGES TO THE WINDSURFING COMPETITION RULES IN RACING RULES OF SAILING[removed]Introduction Main changes in Appendix B are restructural. Rules in Appendix B are relocated according to rules in Parts 1-7 so it is easie Add to Reading List Source URL: internationalwindsurfing.com Language: English - Date: 2013-01-12 08:04:49 Transport Sailing International Regulations for Preventing Collisions at Sea Elementary cellular automaton Tack Olympic sports Sports Racing Rules of Sailing
858	THE JOURNAL OF CHEMICAL PHYSICS 123, 034707 共2005兲 Pattern formation induced by ion-selective surfaces: Models and simulations Szabolcs Horváta兲 Department of Theoretical Physics, Babeș-Bolyai University, Str. K Add to Reading List Source URL: hantz.web.elte.hu Language: English - Date: 2007-08-23 10:07:59 Reaction–diffusion system Molecular diffusion Cellular automaton SDS-PAGE Silver nitrate Pattern formation Chemistry Diffusion Precipitation
859	PDF Document Add to Reading List Source URL: 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
860	Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2014-06-26 06:44:43 Theoretical computer science Linear temporal logic CTL* Modal logic Model checking Kripke structure FO Natural deduction Linear temporal logic to Büchi automaton Mathematical logic Logic Temporal logic

UPDATE