Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
761	Corrections to the 2006 book “Modeling, Specification, and Verification using UML Statecharts” Discovered by: Prof. Tom Otani, of NPS Dr. Vahid Reza Ramezani, of UMD Add to Reading List Source URL: www.time-rover.com Language: English - Date: 2011-02-28 22:54:29 Graphic design Automata theory Theoretical computer science Typography Communication design State diagram Paragraph UML state machine Section sign Models of computation Writing UML diagrams
762	Cyclic Evolution of Neuronal Automata with Memory When All the Weighting Coefficients are Strictly Positive Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:17 3M Technology Economy of the United States Algebra Recurrence relation Theory of computation
763	Playing Regex Golf with Genetic Programming Alberto Bartoli Andrea De Lorenzo DIA - University of Trieste Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:15 Regular expressions Automata theory Pattern matching Computer programming TRE Genetic algorithm Tac String Context-free grammar Formal languages Software engineering Computing
764	Complexity Growth in Almost Periodic Fluids in the Case of Lattice Gas Cellular Automata and Vlasov Systems Add to Reading List Source URL: www.complex-systems.com - Date: 2012-10-10 16:17:58
765	ICS 162 – Spring 2001 – Final Exam Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-12-01 14:01:08 Applied mathematics Automata theory Models of computation Mathematical optimization NP Deterministic pushdown automaton Pushdown automaton P Complement Theoretical computer science Computational complexity theory Complexity classes
766	Point Mutations and Transitions Between Cellular Automata Attractor Basins Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Systems theory Parity 24 Physics Dynamical system Systems
767	Nusoft Newsletter – IR Series No.30 Tech Overview : Configuring Content Auditing Settings Using Regular Expressions Add to Reading List Source URL: www.nusoft.com.tw Language: English - Date: 2012-10-23 00:46:27 Formal languages Pattern matching Email Automata theory Regular expression Internet String TRE Telnet Computing Software engineering Computer programming
768	Translations of Cellular Automata for Efficient Simulation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Boolean algebra Cross-platform software Diagrams Binary decision diagram Model checking Cellular automaton Java Lookup table C Computing Computer programming Software engineering
769	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
770	Curriculum Vitae Luca Aceto School of Computer Science Reykjav´ık University MenntavegurReykjav´ık Add to Reading List Source URL: www.ru.is Language: English - Date: 2014-10-19 10:54:51 Orc International Colloquium on Automata Languages and Programming Aalborg University Matthew Hennessy Actor model Aalborg Logic programming Theoretical computer science Computer science Computing

UPDATE