Branching-Time Model Checking of One-Counter Processes and Timed Automata ⋆ Stefan G¨oller1 and Markus Lohrey2,⋆⋆ 1 Universit¨at Bremen, Fachbereich Mathematik und Informatik, Germany

Source URL: www.informatik.uni-bremen.de

A game approach to determinize timed automata Nathalie Bertrand1 , Am´elie Stainer1 , Thierry J´eron1 , Moez Krichen2 1 2

Source URL: www.cmi.ac.in

Recycling Relay: A Marine Debris Game Ages 5-13 Years This is a timed relay game where the participants race to remove marine debris from “a littered shoreline” and are encouraged to reuse it. The game begins with th

Source URL: oceantoday.noaa.gov

Timed ‘Up & Go’ (TUG) Mathias S. et alDOEL(GROEP): Inventariserend en evaluatief. De TUG meet het opstaan uit een stoel, in comfortabel tempo 3m.

Source URL: www.fysiotherapiewetenschap.com

BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata

Source URL: www.brics.dk

• Logic in computer science
• Philosophical logic
• Models of computation
• Bisimulation
• Model checking
• Entailment
• State transition system
• Formal verification
• FO
• Logic
• Theoretical computer science
• Applied mathematics

BRICS Basic Research in Computer Science BRICS RST. S. Hune: Modeling a Language for Embedded Systems in Timed Automata Modeling a Language for

Source URL: www.brics.dk

• Embedded system
• RCX
• Electronics
• Robot kits
• Lego Mindstorms
• Robotics

Polynomial Interrupt Timed Automata B´eatrice B´erard1 , Serge Haddad2 , Claudine Picaronny2 , Mohab Safey El Din1 , and Mathieu Sassolas3 1 arXiv:1504.04541v1 [cs.FL] 17 Apr 2015

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

• Algebraic geometry
• Polynomial
• Valuation

A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France

Source URL: www.cmi.ac.in

• Petri net
• Formal language
• Computer science
• Mathematics
• Applied mathematics
• Models of computation
• Concurrency
• Diagrams

SABER Educational Outreach NSTA Convention / Atlanta, GA / April 2, 2004 Presenters Aileen M. Seshun, Hampton University Sherrye Pollard, W.E. Waters Middle School Ronald Shaneyfelt

Source URL: saberoutreach.hamptonu.edu

• Atmospheric sciences
• TIMED
• Thermosphere
• Ionosphere
• Mesosphere
• Atmosphere of Earth
• Laboratory for Atmospheric and Space Physics
• Solar Dynamics Observatory
• Atmosphere
• Earth
• Meteorology

attendance, and the timed tickets are said to be sold out on some days, I found I was alone in many rooms while I was there, more alone than I recall being on my last visit to Merion. What Barnes said would happen still

Source URL: www.princeton.edu

• Forms of government
• Information society
• Elections
• Oligarchy
• Political corruption
• Political philosophy
• MoveOn.org
• Internet activism
• Democracy
• Politics
• Activism
• Sociology