Publication

From Set Membership to Group Membership: A Separation of Concerns

Publications associées (35)

On the boundedness of n-folds with κ(X) = n - 1

In this note, we study certain sufficient conditions for a set of minimal klt pairs ( X, triangle) with kappa ( X, triangle) = dim( X ) - 1 to be bounded. ...

European Mathematical Soc-Ems2024

Stretchable tubular device and use thereof as a counterpulsation device

Yves Perriard, Yoan René Cyrille Civet, Thomas Guillaume Martinez, Jonathan André Jean-Marie Chavanne, Morgan Almanza

The present invention is related to a stretchable tubular device (1) comprising at least one layer (Lx) of a stretchable polymer, a power supply (2) and a set of electrodes (3a, 3b) connected to said power supply (2). The power supply can supply at least a ...

2021

Barriers to the net zero target in personal mobility

Philippe Thalmann

What are the barriers on the way to zero-emissions personal mobility (ZEM)? Based on the world cafe discussion with experts from the ETH domain, two main sets of barriers arise: a first set related to the difficulties of organising ZEM, a second set relate ...

2020

On the Hardness of the Strongly Dependent Decision Problem

Martin Biely

We present necessary and sufficient conditions for solving the strongly dependent decision (SDD) problem in various distributed systems. Our main contribution is a novel characterization of the SDD problem based on point-set topology. For partially synchro ...

ASSOC COMPUTING MACHINERY2019

EPFL Library Research Data Management Fastguides

Francesco Varrato, Antoine Louis Claude Masson, Eliane Ninfa Blumer, Sitthida Samath, Fantin Reichler, Jérôme Julien Chaptinel

This is a set of 11 1-sheet guides, providing abridged notions, advice and references for quick and practical research data management: #01 Research Data: the basics #02 FAIR Data Principles #03 Cost of Research Data Management #04 File Formats #05 Metadat ...

2019

PCB and circuit design for piezoelectric-NEMS characterization

Nanoelectromechanical resonators (NEMS) are being developed from more than two decades from now. The fabrication techniques as well as metrology ones are constantly improving, allowing a possible democratization of their uses in the consumer and industrial ...

2017

Measurement and characterization of room impulse responses

Thomas Batschelet

Room acoustics refers to the audio capture of an enclosed room. It can be seen as its color and fully describes the characteristics of the room, including the shape, size or the population. The goal of the project is to set up a database of Room impulse re ...

2016

Method for assessing the quality of various cells including induced pluripotent stem cells

Didier Trono, Marc Samuel Friedli

The present invention relates to a method for assessing the quality, utility and applicability of a cell according to the said method comprising the following steps: a) analyzing the expression of the TEs of said cell in order to set up an expression profi ...

2016

Search for the decay B-0 -> phi gamma

Olivier Schneider, Yiming Li, Mingkui Wang, Chao Wang, Tagir Aushev, Ho Ling Li, Sun Hee Kim, Tara Nanut, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta

We have searched for the decay B-0 -> phi gamma sing the full Belle data set of 772 x 10(6) B (B) over bar pairs collected at the gamma(4S) resonance with the Belle detector at the KEKB e(+)e(-) collider. No signal is observed, and we set an upper limit on ...

Amer Physical Soc2016

An Improved Upper Bound for the ErdAs-Szekeres Conjecture

Let ES(n) denote the minimum natural number such that every set of ES(n) points in general position in the plane contains n points in convex position. In 1935, ErdAs and Szekeres proved that ES. In 1961, they obtained the lower bound , which they conjectur ...

Springer2016

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