Automatic Verification of Real-Time Systems with Rich Data Ernst-Rudiger ¨ Olderog

Source URL: www.avacs.org

• Avionics
• Aircraft collision avoidance systems
• Warning systems
• Traffic collision avoidance system
• European Train Control System
• Carrier-sense multiple access with collision avoidance
• Communicating sequential processes
• Real-time strategy
• Transport
• Safety
• Technology

Automatic Discovery of Mutual Exclusion Algorithms∗ (Preliminary Version) Yoah Bar-David Gadi Taubenfeld

Source URL: www.faculty.idc.ac.il

Preprints of the 16th IFAC Symposium on System Identification The International Federation of Automatic Control Brussels, Belgium. July 11-13, 2012 Identification of a Wiener System via Semidefinite Programming

Source URL: maeresearch.ucsd.edu

1 Running Head: Automatic imitation in a strategic context 2 3

Source URL: else.econ.ucl.ac.uk

BioLite Hand dryer Automatic High Speed

Source URL: biodrier.com

Nuclear Instruments and Methods in Physics Research B–393 www.elsevier.com/locate/nimb An automatic beam focusing system for MeV protons C.N.B. Udalagama *, A.A. Bettiol, J.A. van Kan, E.J. Teo, M.B.H. B

Source URL: www.ciba.nus.edu.sg

2013 10th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE 2013) “Ing. Eugenio Méndez Docurro” Mexico City, Mexico

Source URL: cce.cinvestav.mx

An Automatic Approach for Discovering and Geocoding Locations in Domain-Specific Web Data Chris A. Mattmann1,2 and Madhav Sharan1 1 2

Source URL: memex.jpl.nasa.gov

Automatic Synthesis of Both the Topology and Tuning of a Common Parameterized Controller for Two Families of Plants using Genetic Programming Martin A. Keane Jessen Yu

Source URL: www.genetic-programming.com

Êëàñòåðíûå òåõíîëîãèè ÑÓÁÄ Oracle Real Application Clusters Oracle Clusterware Automatic Storage Management

Source URL: www.partner.fors.ru