Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan

Source URL: www.cs.rice.edu

• Models of computation
• Theoretical computer science
• Functions and mappings
• Calculus
• Ω-automaton
• Finite state transducer
• Continuous function
• Derivative
• Computability
• Automata theory
• Mathematics
• Mathematical analysis

A Single Nonexpansive, Nonperiodic Rational Direction

Source URL: www.complex-systems.com

• Differential geometry
• Algebraic geometry
• Grassmannian
• Projective geometry
• Cellular automaton
• Dimensional analysis
• Continuous function
• Geometry
• Mathematical analysis
• Mathematics

Cellular Automata and Continuous Functions: Negative Results

Source URL: www.complex-systems.com

• Sinc function
• Cellular automaton
• Continuous function
• Dynamical system
• Fourier analysis
• Stochastic differential equations
• Spectral theory of ordinary differential equations
• Dirac delta function
• Mathematical analysis
• Mathematics
• Signal processing

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior Sergiy Bogomolov Daniele Magazzeni

Source URL: ai.cs.unibas.ch

• Hybrid automaton
• Continuous function
• Complete Heyting algebra
• Abstraction
• Automata theory
• Mathematics
• Mathematical analysis

Dynamical Systems and Their Associated Automata R. W. Brockett Abstract This paper studies problems related to the construction of a robust correspondence between an automaton and a continuous-time dynamical system of th

Source URL: hrl.harvard.edu

• Algebra
• Differential geometry
• Symbol
• Forcing
• Skew-symmetric matrix
• Ordinary differential equations
• Spectral theory
• Spectral theory of ordinary differential equations
• Theorems and definitions in linear algebra
• Mathematics
• Mathematical analysis
• Matrices

REEM YASSAWI, Trent University, Peterborough, Ontario Rank One measures which are not asymptotically randomised by linear cellular automata Let X = {0, 1}N → {0, 1}N . A cellular automaton is a continuous map Φ on X w

Source URL: cms.math.ca

Proceedings of the IEEE, Vol. 91, No. 7, July[removed]Computational Techniques for the Verification of Hybrid Systems Claire J. Tomlin∗ Ian Mitchell†.

Source URL: www.eecs.berkeley.edu

• Systems theory
• Mathematics
• Mathematical analysis
• Automata theory
• Dynamical systems
• Hybrid automaton
• Hybrid system
• State variable
• Continuous function
• Control theory
• Differential equations
• Science

CALIFORNIA STATE SCIENCE FAIR 2013 PROJECT SUMMARY Name(s) Andrew Q. Ninh

Source URL: www.usc.edu

• Automata theory
• Cancer stem cell
• Growth curve
• Continuous automaton
• Reversible cellular automaton
• Statistics
• Cellular automata
• Cellular automaton