Publication

Semantics of optimistic computation

Related publications (37)

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.

Local Geometric Transformations in Image Analysis

Zsuzsanna Püspöki

The characterization of images by geometric features facilitates the precise analysis of the structures found in biological micrographs such as cells, proteins, or tissues. In this thesis, we study image representations that are adapted to local geometric ...

EPFL2016

Gauging nonrelativistic field theories using the coset construction

Alexander Monin, Georgios Karananas

We discuss how nonrelativistic spacetime symmetries can be gauged in the context of the coset construction. We consider theories invariant under the centrally extended Galilei algebra as well as the Lifshitz one, and we investigate under what conditions th ...

Amer Physical Soc2016

Relating BIP and Reo

Simon Bliudze

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. In this paper we es ...

2015

On the use of extents for process monitoring and fault diagnosis

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

Process monitoring and fault diagnosis are broadly used to control quality and enforce safety compliance in industrial processes. Processes are commonly monitored by online spectroscopy, with either PCA or calibration techniques such as PLS being used to p ...

2014

On the Use of Extents for Process Monitoring and Fault Diagnosis

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

2014

Robust Image Reconstruction from Multiview Measurements

Pierre Vandergheynst, Gilles Puy

We propose a novel method to accurately reconstruct a set of images representing a single scene from a few linear multiview measurements. Each observed image is modeled as the sum of a background image and a foreground one. The background image is common t ...

Siam Publications2014

Robust image reconstruction from multi-view measurements

Pierre Vandergheynst, Gilles Puy

We propose a novel method to accurately reconstruct a set of images representing a single scene from few linear multi-view measurements. Each observed image is modeled as the sum of a background image and a foreground one. The background image is common to ...

2014

Metabolomics of hexachlorocyclohexane (HCH) transformation: ratio of LinA to LinB determines metabolic fate of HCH isomers

Christof Holliger

Although the production and use of technical hexachlorocyclohexane (HCH) and lindane (the purified insecticidal isomer -HCH) are prohibited in most countries, residual concentrations still constitute an immense environmental burden. Many studies describe t ...

Wiley-Blackwell2013

Graph Transformations preserving the stability number

Dominique de Werra

We analyze the relations between several graph transformations that were introduced to be used in procedures determining the stability number of a graph. We show that all these transformations can be decomposed into a sequence of edge deletions and twin de ...

Elsevier Science Bv2012

LDAHash: Improved Matching with Smaller Descriptors

Pascal Fua, Christoph Strecha

SIFT-like local feature descriptors are ubiquitously employed in computer vision applications such as content-based retrieval, video analysis, copy detection, object recognition, photo tourism, and 3D reconstruction. Feature descriptors can be designed to ...

Institute of Electrical and Electronics Engineers2012