Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
721	#!/usr/bin/env ghc -- the following errorprovable czyborspace thesis -- ©©bysa facebook.com/roman.czyborra [removed[removed]expresses that אל nature is governed by one tiny deterministic le Add to Reading List Source URL: czyborra.com Language: English - Date: 2013-11-15 05:50:50 Statistics Systems theory Cellular automaton Calculating Space A New Kind of Science Konrad Zuse Stephen Wolfram Digital physics Statistical hypothesis testing Science Cellular automata Wolfram Research
722	ANNUAL REPORT FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR[removed]UNIVERSITY OF CALIFORNIA AT BERKELEY VANDERBILT UNIVERSITY Add to Reading List Source URL: chess.eecs.berkeley.edu Language: English Differential equations Systems theory Association of Public and Land-Grant Universities Abstraction Hybrid automaton Hybrid system University of California Berkeley Discrete system System Science Mathematics Automata theory
723	/Users/czyborra/3.semester/Studium/plank.hs Saved: [removed]:04:43 1 Page 1 of 2 Printed For: Roman Czyborra Add to Reading List Source URL: czyborra.com Language: English - Date: 2013-10-30 02:07:04 Cellular automaton A New Kind of Science Rule 110 Digital physics Radiate Extensible User Interface Protocol Science Computing Computer science Cellular automata Theory of computation Wolfram Research
724	Light-weight XPath Processing of XML Stream with Deterministic Automata Makoto Onizuka NTT CyberSpace Laboratories, NTT Corporation 1-1 Hikari-no-oka, Yokosuka, Kanagawa, [removed]Japan Add to Reading List Source URL: xmltk.sourceforge.net Language: English - Date: 2003-11-27 06:47:49 Models of computation Theoretical computer science Nondeterministic finite automaton Deterministic finite automaton DFA Records Regular expression Finite-state machine GOLD XML Automata theory Theory of computation Computing
725	Proceedings of the IEEE, Vol. 91, No. 7, July[removed]Computational Techniques for the Verification of Hybrid Systems Claire J. Tomlin∗ Ian Mitchell†. Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:53 Systems theory Mathematics Mathematical analysis Automata theory Dynamical systems Hybrid automaton Hybrid system State variable Continuous function Control theory Differential equations Science
726	“Mimetic Finite-Difference Method for Diffusion Equations on Polyhedral Meshes with Mixed Cells” Add to Reading List Source URL: cnls.lanl.gov Language: English - Date: 2014-09-24 19:03:53 Ordinal number Vector space Connection Ω-automaton Algebra Mathematics Group theory
727	Cost-Optimal Factored Planning: Promises and Pitfalls Eric Fabre Lo¨ıg Jezequel Patrik Haslum and Sylvie Thi´ebaux Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-03-30 23:55:59 Applied mathematics Finite state transducer Polynomial Factorization IP Tree automaton SL Theoretical computer science Automata theory Mathematics
728	Job Name: Cyan = PMS /356585t 300 Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2014-03-24 12:29:06 Science Multi-agent systems Computational science Agent-based model Complex systems theory ACT-R Cellular automaton AgentSheets Computer simulation Computing Software Scientific modeling
729	An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:11:24 Computer science Hybrid automaton State transition system Model checking Formal languages Automata theory Models of computation Theoretical computer science
730	&DOLIRUQLD6FLHQFH&HQWHU &$/,)251,$67$7(6&,(1&()$,[removed]PROJECT SUMMARY Your Name Add to Reading List Source URL: www.usc.edu Language: English - Date: 2001-06-15 12:01:07 Politics God games Windows games Food and drink Artificial life Food security Cellular automaton Creatures Overpopulation Humanitarian aid Environment Population

UPDATE