Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman

Source URL: user.it.uu.se

• Models of computation
• Pushdown automaton
• Software engineering
• Theoretical computer science
• Timed automaton
• Stack
• Petri net
• Clock
• Exponentiation
• Abstraction
• Nested word
• Nested stack automaton

Department of Science & Technology Studies Fall 2015 Theoria and Experience in ‘Hero of Alexandria’ Courtney A. Roby, PhD

Source URL: sts.cornell.edu

• Ancient Greek mathematicians
• Eastern Orthodox theology
• Hero of Alexandria
• Ancient technology
• Christianity
• Theoria
• Automaton
• Contemplation
• Cornell University
• Rockefeller
• Engineering

ISSNPrint) ISSNOnline) Computer Science for Fun Computer

Source URL: www.cs4fn.org

• Animation
• Film
• Robotics
• Animatronics
• Disney animation
• Filmmaking
• Simulation
• Automaton
• Jacques de Vaucanson
• Computer animation
• Animator
• Traditional animation

JFP): 218–283, c Cambridge University Press 2014 ⃝ 218

Source URL: ilyasergey.net

• Models of computation
• Formal languages
• Pushdown automaton
• Finite automata
• Nondeterministic finite automaton
• Computability
• Abstract interpretation
• Context-free language
• Symbol
• Nested stack automaton
• Tree stack automaton

Generation of Relations between Individuals based on a Stochastic Automaton and an Analogy from Social Psychology Tatsuya Nomura

Source URL: www.rikou.ryukoku.ac.jp

OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu

Source URL: research.cs.wisc.edu

• Formal languages
• Finite automata
• Nested word
• Words
• Finite-state machine

Appears in ProcHybrid Systems: Computation and Control Workshop March, 2002 Exploiting Implicit Representations in Timed Automaton Verication for Controller Synthesis Robert P. Goldman, David J. Musliner, Michael

Source URL: musliner.com

Scientific Report First name / Family name Francesco Santini

Source URL: fellowship.ercim.eu

• Constraint programming
• Mathematical optimization
• Software engineering
• Computer programming
• Constraint automaton
• Computing
• Constraint satisfaction problem
• Constraint satisfaction
• Constraint
• Reo Coordination Language
• Constrained optimization
• Multi-agent system

Vorwort Die bisherigen Theorietage "Automaton und Forrnale Sprachen" fanden in l\1agdeburg (Septemberund Kiel (Oktoberstatt. Im Oktober 1992 wurde die Tradition im Internationalen Begegnl~.ngs- und Forsch

Source URL: theo.cs.uni-magdeburg.de

Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Functional languages
• Type theory
• Automated theorem proving
• Hybrid automaton
• Numerical analysis
• Proof assistant
• Coq
• Verification
• OCaml
• Model checking
• Discretization