Publication

Complete Completion using Types and Weights

Related publications (127)

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.

The gap in circumventing the impossibility of consensus

Rachid Guerraoui

The impossibility of reaching deterministic consensus in an asynchronous and crash prone system was established for a weak variant of the problem, usually called weak consensus, where a set of processes need to decide on a common value in {0, 1}, so that b ...

2008

Magnetic fields in massive stars

Pierre North

We review the recent discoveries of magnetic fields in different types of massive stars and briefly discuss strategies for spectropolarimetric observations to be carried out in the future. ...

2008

Fabrication of gold nano- and microstructures in ionic liquids - A remarkable anion effect

Paul Joseph Dyson, Zhaofu Fei

Au nano- and microstructures such as polyhedral crystals, large single-cryst. nanoplates, hollow trapeziform crystals, holey polyhedra, and dendrites were produced via microwave heating of HAuCl4·4H2O in a variety of ionic liqs. (ILs) in the absence of cap ...

2008

Biphasic Electrospray Ionization for the Study of Interfacial Complexes

Hubert Girault, Manuel Alejandro Méndez Agudelo, Michel Prudent

Biphasic electrospray ionization (BESI) mass spectrometry is achieved by using a dual-channel microsprayer, where channels filled with different immiscible phases meet at the Taylor cone. Two types of interfacial complexation reactions have been studied: t ...

The Japan Society of Analytical Chemistry / The Japan Society for Analytical Chemistry2008

The algebra of connectors - Structuring interaction in BIP

Joseph Sifakis, Simon Bliudze

We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchronization: rendezvous and broadcast, in particular. Connectors on a set of por ...

2008

Cuba, Best Practices: quel potentiel d'élargissement

The present article evaluates the knowledge that can be attributed to the application of « Best Practices » in the field of urban habitat. It especially aims at identifying the conditions of innovation in such a setting, as well as defining the necessary c ...

2007

What is the strength of a mask in visual metacontrast masking?

Michael Herzog, Gregory Francis

After more than a century of research, the mechanisms underlying visual masking are still hotly debated. One key characteristic of masking is that variations in the stimulus onset asynchrony (SOA) between the target and the mask can lead to either monotoni ...

Association for Research in Vision and Ophthalmology2007

Discrete choice models with multiplicative error terms

Michel Bierlaire

The conditional indirect utility of many random utility maximization (RUM) discrete choice models is specified as a sum of an index V depending on observables and an independent random term P. In general, the universe of RUM consistent models is much large ...

2007

Light-controlled reconfigurable fiber bragg gratings written in attenuation fiber

René Salathé, Hans Georg Limberger, Dragan Coric, Rodrigue Chatton, Yari Luchessa

A novel type of light controlled fiber Bragg gratings written in attenuation fiber is demonstrated. The spectral reconfiguration can be controlled by the pump power, the pumping configuration, the grating position and the fiber attenuation. © Optical Socie ...

Institute of Electrical and Electronics Engineers Computer Society2007

Hypothesis testing under successive refinement communication constraints

Jun Chen

We investigate the distributed successive refinement (SR) hypothesis testing problem. Bivariate hypothesis H-0 : P-XY against H-1 : PXPY, i.e., test against independence is considered, when a remote sensor sends compressed information about data stream X s ...

Ieee Service Center2007