Learning Semantic String Transformations from Examples ∗ Rishabh Singh Microsoft Research, Redmond, WA

Source URL: research.microsoft.com

• Automata theory
• Mathematics
• String
• Comparison of programming languages
• Regular expression
• Scheme
• Natural transformation
• Finite-state machine
• S-expression
• Computing
• Formal languages
• Software engineering

Dynamics of Directed Boolean Networks under Generalized Elementary Cellular Automata Rules, with Power-Law Distributions and Popularity Assignment of Parent Nodes

Source URL: www.complex-systems.com

• Networks
• Scale-free network
• Normal distribution
• Complex network
• Boolean network
• Small-world network
• Kurtosis
• Degree distribution
• Bayesian network
• Graph theory
• Network theory
• Statistics

Boundary Growth in One-Dimensional Cellular Automata

Source URL: www.complex-systems.com

• Rule 90
• Rule 110
• Mathematics
• Automata theory
• Reversible cellular automaton
• Cellular automata
• Cellular automaton
• Rule 30

Synchronization of One-way Connected Processors

Source URL: www.complex-systems.com

• CW complex
• Cellular automaton
• Cellular neural network
• Mathematics
• Cellular automata
• Firing squad synchronization problem

Parameterized Communicating Automata! Complementation and Model Checking Benedikt Bollig, Paul Gastin, and Akshay Kumar Laboratoire Spécification et Vérification! ENS Cachan & CNRS, France

Source URL: www.lsv.ens-cachan.fr

languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013

Source URL: www.automata.rwth-aachen.de

• Applied mathematics
• Büchi automaton
• Regular language
• Formal language
• Regular expression
• Ω-automaton
• Automata theory
• Theoretical computer science
• Computer science

Asynchronous Logic Automata by David Allen Dalrymple B.S. Mathematics, University of Maryland Baltimore CountyB.S. Computer Science, University of Maryland Baltimore County

Source URL: www.cba.mit.edu

• Knowledge
• Neil Gershenfeld
• Cellular automaton
• Actor model
• Marvin Minsky
• MIT Media Lab
• Logic
• Ray Kurzweil
• Algorithm
• Science
• Transhumanists
• Academia

A Research and Development Program in Applications of Intelligent Automata to Reconnaissance -- Phase I (8 January 1965)

Source URL: www.ai.sri.com

• Automata theory
• Cellular automata
• Robot
• Mobile automaton

Statement of Work: Application of Intelligent Automata to Reconnaissance (18 November 1965)

Source URL: www.ai.sri.com

• Breadboard
• Computer
• Technology
• Shall and will
• Computing
• Electronics
• IBM software
• PL/I

Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a

Source URL: www.cse.chalmers.se

• Universal algebra
• Mathematics
• Models of computation
• Logic
• Automata theory
• Model theory
• Structure