Concept

Monorail

Related publications (4)

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

Operational Temporary Speed Reductions on the ETCS-DMI

Daniel Emery

Dealing with congested railway area becomes an important topic in railway operation management. Significant efforts are made to develop Driver Advisory System (DAS) in connection with the trackside Train Management System (TMS). Many advantages are expecte ...

WIT Press2016

Multi-camera 3d person tracking with particle filter in a surveillance environment

Jean-Marc Odobez

In this work we present and evaluate a novel 3D approach to track single people in surveillance scenarios, using multiple cameras. The problem is formulated in a Bayesian filtering framework, and solved through sampling approximations (i.e. using a particl ...

2008

Polarized Linear Motor Combined With Levitation Actuators Working in a Partial Vacuum Environment — Application to Swissmetro

Marcel Jufer, Pascal Hagmann, Christophe Espanet

Worldwide high speed Maglev (> 400km/h) developments refer to Maglev such as the Japanese JR-Maglev MLX, the German Transrapid and the USA Inductrack Maglev. Other world projects exist such as the Japan HSST (< 300km/h) and the China HTC. The JR-Maglev, th ...

2006

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.