Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
711	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics
712	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: gd.tuwien.ac.at Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
713	Top Ten Writing Errors (of My Students) Melanie Mitchell In honor of New Years’ top-ten lists, I thought I thought you might be interested in the top ten writing errors made in student papers that I graded recently (an Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2014-08-13 13:50:20 Grammar Singular they Copula Cellular automaton Linguistics Grammatical number Syntax
714	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
715	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: ctan.mirrorcatalogs.com Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
716	Duke University Department of Computer Science Department of Computer Science Box[removed]Duke University Add to Reading List Source URL: www.jflap.org Language: English - Date: 2011-05-17 21:20:11 Automata theory Formal languages Computer science Turing machine Finite-state machine Deterministic finite automaton Formal grammar Parsing Nondeterministic finite automaton Models of computation Theory of computation Theoretical computer science
717	Vis Comput[removed]: 67–81 DOI[removed]s00371[removed]O R I G I N A L A RT I C L E GPGPU computation and visualization of three-dimensional Add to Reading List Source URL: www.geo.uzh.ch Language: English - Date: 2011-02-09 05:41:19 Computer graphics Graphics hardware 3D imaging Computational science Volume rendering GPGPU Rendering Graphics processing unit Cellular automaton Computing Imaging 3D computer graphics
718	A Query-Based Technique for Interpreting Reachable Sets for Hybrid Automaton Models of Protein Feedback Signaling Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:05:40 ARRA Maths24
719	Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Aﬃne Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:52 Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science
720	FIELDSNOTES JANUARY 2008 I VOLUME 8:2 Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-12-18 14:48:06 MacArthur Fellows Jon Kleinberg Persi Diaconis Combinatorics John von Neumann Cellular automaton Free probability Randomness Areas of mathematics Mathematics Probability theory Mathematical analysis

UPDATE