Concept

Activités en immobilier

Publications associées (99)

From Liveness to Promptness

Liveness temporal properties state that something

good'' eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bound on the

wait time'' for an eventually to be fulfilled. That is,

F\theta

...

2007

Boundedly generated groups with pseudocharacter(s)

Nicolas Monod

A note presenting the first examples of groups that are boundedly generated, have property (T) and have a one-dimensional space of pseudocharacters. ...

2006

Study and optimization of a linear piezoelectric actuator

Léon Alexandre Berger

Miniswys motor (property of Miniswys SA) is a piezoelectric, ultrasonic, linear motor intended to be integrated in an optical system for mobile phones. With the aim of continually optimizing their product, Miniswys SA has signed a collaboration agreement w ...

2006

The surface Laplacian operator of the potentials on a bounded volume conductor has a unique inverse

In the discussion on the use of the surface Laplacian (SL) of the distribution of bioelectric potentials on the body surface, the question remained open whether a complete specification of the SL of the potential over the surface bounding a volume conducto ...

2006

A field investigation of the intermediate light switching by users

David Lindelöf, Nicolas Morel

This paper describes how data collected during a continuously running data acquisition program on the LESO building in Lausanne, Switzerland, was used to measure the intermediate light switch probability by users as a function of current illuminance levels ...

2006

On SmallWorld Graphs in Non-uniformly Distributed Key Spaces

Karl Aberer, Anwitaman Datta, Sarunas Girdzijauskas

In this paper we show that the topologies of most logarithmic-style P2P systems like Pastry, Tapestry or P-Grid resemble small-world graphs. Inspired by Kleinberg’s small-world model [6] we extend the model of building “routing-efficient” small-world graph ...

2005

On-line adapted transition between locomotion and jump

Daniel Thalmann, Ronan Boulic, Pascal Glardon

Motion blending is widely accepted as a standard technique in computer animation, allowing the generation of new motions by interpolation and/or transition between motion capture sequences. To ensure smooth and seamless results, an important property has t ...

2005

Optimal Asynchronous Garbage Collection for RDT Checkpointing Protocols

Rodrigo Malta Schmidt, Fernando Pedone

Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordination. However, to the best of our knowledge, there was no garbage collection alg ...

2005

Why the move to microfluidics for protein analysis?

Hubert Girault, Niels Erik Lion, Joël Stéphane Rossier

There has been a recent trend towards the miniaturization of analytical tools, but what are the advantages of microfluidic devices and when is their use appropriate? Recent advances in the field of micro-analytical systems can be classified according to in ...

Elsevier2004

Filtering returns for unspecified biases in priors when testing asset pricing theory

Procedures are presented that allow the empiricist to estimate and test asset pricing models on limited-liability securities without the assumption that the historical payoff distribution provides a consistent estimate of the market's prior beliefs. The pr ...

2004

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

From Liveness to Promptness

Liveness temporal properties state that something

good'' eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bound on the

wait time'' for an eventually to be fulfilled. That is,

F\theta

...

2007