Concept

Net present value

Related publications (279)

Quantitative Languages

Quantitative generalizations of classical languages, which assign to each word a real number instead of a Boolean value, have applications in modeling resource-constrained computation. We use weighted automata (finite automata with transition weights) to d ...

2010

On the Input Acceptance of Transactional Memory

Vincent Gramoli, Pascal Felber

We present the Input Acceptance of Transactional Memory (TM). Despite the large interest for performance of TMs, no existing research work has investigated the impact of solving a conflict that does not need to be solved. Traditional solutions for a TM to ...

World Scientific Publishing2010

L'Hydroptère: A story of a dream

Pascal Fua, Véronique Michaud, Mohamed Farhat, Mark Sawley, Michel Deville, Robin Amacher, Joël Cugnoni, Guillaume Bonnier, Luc Blecha, Olivier Braun, Antoine Sigg, Marc Oggier, Daniel Schmäh, Martin Calmon, Stéphane Dyen, Davy Moyon

In 2009, l’Hydroptère broke the symbolic barrier of 50 knots and became the world fastest sailing boat over both 500 meters and 1 nautical mile. This major achievement relied on the high skills of the sailing team but also on technical advances of the boat ...

2010

Rolling Ribbons

Pedro Miguel Nunes Pereira de Almeida Reis, John Bush

We present the results of a combined experimental and theoretical investigation of rolling elastic ribbons. Particular attention is given to characterizing the steady shapes that arise in static and dynamic rolling configurations. In both cases, above a cr ...

American Physical Society2010

Multi-Target Tracking Of Packed Yeast Cells

Michaël Unser, Sebastian Maerkl, Ricard Delgado Gonzalo, Nicolas Dénervaud

The tracking of cell populations in time-lapse microscopy images enables high-throughput spatiotemporal measurements of cell dynamics. In this paper, we present a new algorithm to simultaneously track many cells in crowded areas. The algorithm runs in real ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Multi-Target Tracking of Packed Yeast Cells

Michaël Unser, Ricard Delgado Gonzalo

IEEE2010

An Integrated Probe for Electromagnetic NDT Inspection

Pavel Kejik

Electromagnetic techniques present definite advantages for Non Destructive Testing such as no need for surface couplant, potential for miniaturization, and fast scanning rates. They suffer, however, from a lack of reliability when crack sizing capabilities ...

2010

Constraint-specific recovery networks for solving airline recovery problems

Michel Bierlaire, Matteo Salani, Niklaus Eggenberg

In this paper, we consider the recovery of an airline schedule after an unforeseen event called disruption, making the planned schedule infeasible. We present a modeling framework that allows the consideration of operational constraints within a Column Gen ...

2010

Delineating Trees in Noisy 2D Images and 3D Image Stacks

Pascal Fua, François Fleuret, Engin Türetken, Germán González Serrano

We present a novel approach to fully automated delineation of tree structures in noisy 2D images and 3D image stacks. Unlike earlier methods that rely mostly on local evidence, our method builds a set of candidate trees over many different subsets of point ...

2010

On Using Static Analysis to Detect Type Errors in PHP Applications

Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter

We describe our experience in using abstract interpretation to analyze applications written in PHP. Our work focuses on reconstructing type information from mostly unannotated code. We present the abstract domain of our analysis, focusing on the features t ...

2010

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.