SZTAKI @ TRECVID 2009∗ B´alint Dar´oczy D´avid Nemeskey Istv´an Petr´as Andr´as A. Bencz´ ur Tam´as Kiss Data Mining and Web search Research Group, Informatics Laboratory Computer and Automation Research Instit

Source URL: www-nlpir.nist.gov

• Artificial intelligence
• Image search
• Computational linguistics
• Natural language processing
• Computer vision
• Multimedia Information Retrieval
• Speech recognition
• Image retrieval
• Feature
• Information science
• Information retrieval
• Science

Tutorial in MetaPost Andr´e Heck c 2003, AMSTEL Institute ° Contents

Source URL: tex.loria.fr

• Vector graphics markup languages
• Donald Knuth
• Cross-platform software
• Digital typography
• Vector graphics
• MetaPost
• Metafont
• Pic language
• PostScript
• Software
• Computing
• Application software

”High Accuracy Atomic Physics in Astronomy”, IP/ITAMP workshop, August 7-9, 2006, The Harvard-Smithsonian Center for Astrophysics, Cambridge, MA, in honor of Prof. Micheal J. Seaton Cool Stars and Atomic Physics Andr

Source URL: www.cfa.harvard.edu

Cross-Border Spillovers from Fiscal Stimulus∗ ullerc Giancarlo Corsetti,a Andr´e Meier,b and Gernot J. M¨ a European University Insititute, University of Rome III and CEPR

Source URL: www.ijcb.org

• Economic history
• Demand
• Fiscal policy
• Public finance
• Keynesian economics
• Late-2000s recession
• Government debt
• Aggregate demand
• Macroeconomics
• Economics
• Recessions

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study? Andr´e Platzer and Edmund M. Clarke Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Abstract Aircraft collision

Source URL: symbolaris.com

• Rotation
• Aerospace engineering
• Astrodynamics
• Flight dynamics
• Space
• Constructible universe
• Symbol
• Traffic collision avoidance system
• Ordinal number
• Physics
• Spaceflight
• Classical mechanics

European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA

Source URL: symbolaris.com

• European Rail Traffic Management System
• Rail transport
• European Train Control System
• Control theory
• High-speed rail
• Automatic Train Protection
• Train protection systems
• Land transport
• Transport

Quantified Differential Dynamic Logic for Distributed Hybrid Systems? Andr´e Platzer Carnegie Mellon University, Computer Science Department, Pittsburgh, PA, USA [removed]

Source URL: symbolaris.com

• Metalogic
• Systems theory
• Symbol
• Interpretation
• Dynamical system
• Structure
• First-order logic
• Hybrid system
• Model theory
• Logic
• Mathematical logic

J Autom Reasoning[removed]:[removed]DOI[removed]s10817[removed]Differential Dynamic Logic for Hybrid Systems Andr´ e Platzer

Source URL: symbolaris.com

• Differential equations
• Systems theory
• Model theory
• Formal languages
• Predicate logic
• Hybrid system
• Hybrid automaton
• Dynamical system
• KeY
• Logic
• Mathematical logic
• Mathematics

Adaptive Cruise Control:? Hybrid, Distributed, and Now Formally Verified Sarah M. Loos, Andr´e Platzer, and Ligia Nistor Carnegie Mellon University, Computer Science Department, Pittsburgh, PA, USA {sloos|aplatzer|lnist

Source URL: symbolaris.com

• Autonomous cruise control system
• Automobile safety
• Cruise control
• Transport
• Land transport
• Private transport

Safe Intersections: At the Crossing of Hybrid Systems and Verification Sarah M. Loos and Andr´e Platzer Abstract— Intelligent vehicle systems have interesting prospects for solving inefficiencies and risks in ground t

Source URL: symbolaris.com

• Traffic law
• Traffic signals
• Traffic light
• Transport engineering
• Lane
• Traffic flow
• Traffic
• Intersection
• Intelligent transportation system
• Transport
• Land transport
• Road transport