Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
521	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods
522	A Cellular Automaton Model for Tumor Dormancy: Emergence of a Proliferative Switch Duyu Chen1,2, Yang Jiao2,3, Salvatore Torquato1,2,4,5,6* 1 Department of Chemistry, Princeton University, Princeton, New Jersey, United S Add to Reading List Source URL: cherrypit.princeton.edu Language: English - Date: 2014-10-17 06:46:53 Cancer stem cell Cancer research Metastasis Tumor antigen Angiogenesis Prostate cancer Brain tumor Cancer immunology Tumor progression Medicine Oncology Carcinogenesis
523	September 25, :9 WSPC/INSTRUCTION FILE aw˙PPL2 Parallel Processing Letters c World Scientific Publishing Company Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2010-04-16 11:32:22 Rule 110 Chaos theory XTR Mathematics Cellular automata Cellular automaton Rule 30
524	Nomination for Albany Creek State School Council Elected Member for 2015 Name: ........................................................................................................................ Address: ........... Add to Reading List Source URL: albacreess.eq.edu.au Language: English - Date: 2014-11-02 23:45:18 Mathematics Chaos theory Dimension theory Self-organization Critical phenomena Self-organized criticality Fractal dimension Fractal Cellular automaton Physics Dimension Fractals
525	Accelerating Precursory Activity in Statistical Fractal Automata Dion Weatherley(1) and Peter Mora[removed]QUAKES, Department of EarthSciences, The University of Queensland, Brisbane, Australia (e-mail: [removed] Add to Reading List Source URL: quakes.earth.uq.edu.au Language: English - Date: 2003-07-16 01:12:02 Mathematics Chaos theory Dimension theory Self-organization Critical phenomena Self-organized criticality Fractal dimension Fractal Cellular automaton Physics Dimension Fractals
526	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Helsinki University of Technology Laboratory of Computer Science PL 9700, 02015 TKK, Finland Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:07:21 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Regular expression Deterministic automaton String searching algorithm Powerset construction Regular language Automata theory Theoretical computer science Computer science
527	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed] Add to Reading List Source URL: www.proceedings2009.imcsit.org Language: English - Date: 2009-10-30 02:36:35 Computer science Applied mathematics Deterministic pushdown automaton Pushdown automaton Nondeterministic finite automaton Tree automaton Deterministic finite automaton Finite-state machine Tree traversal Automata theory Models of computation Theoretical computer science
528	Rudy Rucker, Excerpt from Nested Scrolls Nested Scrolls Excerpt from a Memoir by Rudy Rucker Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2009-05-31 00:49:33 Cellular automaton Rudy Rucker Rucker Stephen Wolfram Los Gatos California Hacker Cyberpunk 9 Computing Wolfram Research Science
529	Security Protocols, Properties, and their Monitoring Andreas Bauer Jan Jürjens Computer Sciences Laboratory Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2008-05-27 22:19:01 Mathematics Formal methods Temporal logic Model checking Linear temporal logic Formal verification Runtime verification Büchi automaton Model theory Theoretical computer science Applied mathematics Logic in computer science
530	Fall 2003 BMI[removed]CS 426 Notes H- 1 REVIEW OF PROBLEMS IN GENETIC PROGRAMMING[removed]BOOK Fall 2003 BMI[removed]CS 426 Notes H- 2 Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:12:17 Cellular automaton Differential equation Functional equation Regression analysis Quadratic equation Genetic programming Mathematics Statistics Equations

UPDATE