Publication

Supplemental Information for the New Definition of the EF PHB

Related publications (41)

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.

Towards a Theory of Glue

Simon Bliudze

We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-base ...

2012

Defining the potential of usable waste heat in industrial processes with the help of pinch and exergy analysis

François Maréchal, Daniel Favrat, Matthias Bendig

This paper aims at giving a definition for waste heat in analogy to the definitions of natural resources and reserves. It aims also at presenting a method for identifying, characterizing and quantifying the available waste heat of an industrial system that ...

Czech Society of Chemical Engineering and Italian Association of Chemical Engineering2012

Finite Element Method on Riemann Surfaces and Applications to the Laplacian Spectrum

Marc Maintrot

The objective of this PhD thesis is the approximate computation of the solutions of the Spectral Problem associated with the Laplace operator on a compact Riemann surface without boundaries. A Riemann surface can be seen as a gluing of portions of the Hype ...

EPFL2012

Urban acceptability of building integrated solar systems: LESO-QSV approach

Christian Roecker, Maria Cristina Munari Probst

The concern for sustainable development issues together with the new EU promotion policies are finally leading to a widespread use of Photovoltaic and Solar Thermal systems in buildings. This upcoming reality is opening a new debate on the urban/architectu ...

Universität Kassel2011

Folded Edge of Turbulence in a Pipe

Tobias Schneider

The results of an experimental investigation into the threshold boundary between laminar and disordered pipe flow are presented. Complex features have been uncovered using a highly refined experimental approach where an intermediate periodic state forms an ...

2010

M-DPOP: Faithful distributed implementation of efficient social choice problems

Boi Faltings, Adrian Petcu, David C. Parkes

In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agents, where each agent has private information about its utility function. In th ...

2008

Primal-Dual Enumeration for Multiparametric Linear Programming

Colin Neil Jones

Optimal control problems for constrained linear systems with a linear cost can be posed as multiparametric linear programs (pLPs) and solved explicitly offline. Several algorithms have recently been proposed in the literature that solve these pLPs in a fai ...

Springer Berlin Heidelberg2006

Thurston's weak metric on the Teichmüller space of the torus

Marc Troyanov

We define and study a natural weak metric on the Teichmüller space of the torus. A similar metric has been defined by W. Thurston on the Teichmüller space of higher genus surfaces and our definition is motivated by Thurston's definition. However, we shall ...

2005

Minimizing Generalized Buchi Automata

Sudeep Juvekar

We consider the problem of minimization of generalized Buchi automata. We show how to extend fair simulation and delayed simulation to the case where the Buchi automaton has multiple acceptance conditions. For fair simulation, we show how to efficiently co ...

2005

Consensus with Unknown Participants or Fundamental Self-Organization

André Schiper, David Cavin, Yoav Sasson

We consider the problem of bootstrapping self-organized mobile ad hoc networks (MANET), i.e. reliably determining in a distributed and self- organized manner the services to be offered by each node when neither the identity nor the number of the nodes in t ...

2004