Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
551	Sample Paper for Complex Systems First Author University Department, University Name Address City, State ZIP/Zone, Country Second Author Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-12-22 17:10:39 Wolfram Research Mathematical logic Theoretical computer science Group theory Number TeX Mathematica Cellular automaton Emmy Noether Mathematical software Application software Mathematics
552	Mapping and Modeling Land Use Change: An Application of the SLEUTH model A Keith C. Clarke Add to Reading List Source URL: vro.depi.vic.gov.au Language: English - Date: 2015-04-08 01:04:57 Cellular automaton Cellular automata
553	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
554	Czech Technical University in Prague Faculty of Electrical Engineering Department of Computer Science and Engineering Automaton-based Backward Pattern Matching Doctoral Thesis Add to Reading List Source URL: www.stringology.org Language: English - Date: 2010-09-23 05:47:11 Formal languages Applied mathematics Models of computation Pattern matching Combinatorics on words String searching algorithm Deterministic finite automaton Approximate string matching Regular expression Automata theory Theoretical computer science Mathematics
555	6 Discrete cell modeling1 With P. Macklin and M.E. Edgerton In this chapter, we: introduce discrete cancer cell modeling; assess the strengths Add to Reading List Source URL: mathcancer.org Language: English - Date: 2013-12-07 13:45:25 Stem cells Carcinogenesis Scientific modeling Cell biology Cellular automaton Cancer stem cell Angiogenesis Cell cycle Cellular differentiation Biology Medicine Cellular processes
556	RE-Tree: An Efficient Index Structure for Regular Expressions Chee-Yong Chan, Minos Garofalakis, Rajeev Rastogi Bell Labs, Lucent Technologies cychan,minos,rastogi @research.bell-labs.com Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 02:03:00 Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Regular expression Alphabet Büchi automaton Automata theory Theory of computation Theoretical computer science
557	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
558	Chapter 18 of Feynman and Computation (A. Hey, ed.), Perseus Books[removed]CRYSTALLINE COMPUTATION Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:56 Lattice models Condensed matter physics Ising model Quantum computer Cellular automaton Digital physics Introduction to quantum mechanics Quantum mechanics Physics Theoretical physics Statistical mechanics
559	Mapping and Modeling Land Use Change: An Application of the SLEUTH model A Keith C. Clarke Add to Reading List Source URL: vro.depi.vic.gov.au Language: English - Date: 2015-04-07 05:03:27 Cellular automaton Cellular automata
560	ICMS Reference ICMS TUTORIALS 7 tutorials are provided to lead you through the features of ICMS. Tutorial 0 shows you how to build a project from an existing set of classes and model libraries. Tutorials 1, 2, 3, and 4 Add to Reading List Source URL: www.clw.csiro.au Language: English - Date: 2002-07-10 19:59:54 ECO Software engineering Computing Computer programming Object Object-oriented programming Cellular automaton

UPDATE