Concept

Nombre réel

Publications associées (220)

On Integrating Deductive Synthesis and Verification Systems

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo recursive functions, a framework for deductive synthesis, and complete synt ...

2013

Modélisation physique et analyse numérique de la propagation d'une masse granulaire

Claire Sauthier

Rock avalanches are processes involving a huge amount of mobilised material, larger than 106 m3, and their propagation is characterised by a very high energy, such that no active mitigation measure is capable of protecting human lives and properties potent ...

EPFL2012

Design Exploration of Energy-Performance Trade-offs for Wireless Sensor Networks

David Atienza Alonso, Francisco Javier Rincon Vallejos, Nadia Khaled, Ivan Beretta

Wireless sensor networks (WNSs) are gradually evolving from a promising technology to a well-established reality in a large set of different domains. In order to fulfill the requirements of the specific scenario, a WSN must provide the right tradeoffs betw ...

ACM2012

KUL and EPFL cooperation on numerical integration of Sommerfeld integrals.

Juan Ramon Mosig, Ruzica Golubovic

This paper reports the result of the cooperation between KUL and EPFL on the numerical integration of Sommerfeld integrals (SI). Each institution is well-known for developing specific techniques suited for the evaluation of SI: double-exponential quadratur ...

2012

One-Bit Measurements With Adaptive Thresholds

Michaël Unser, Arash Amini, Ulugbek Kamilov, Aurélien Bourquard

We introduce a new method for adaptive one-bit quantization of linearmeasurements and propose an algorithm for the recovery of signals based on generalized approximate message passing (GAMP). Our method exploits the prior statistical information on the sig ...

Ieee-Inst Electrical Electronics Engineers Inc2012

Numerical integration of Sommerfeld integrals based on singularity extraction techniques and double exponential-type quadrature formulas

Juan Ramon Mosig, Ruzica Golubovic

A direct integration algorithm for the evaluation of Sommerfeld integrals is presented. This algorithm does not require the deformation of the integration path to avoid spectral singularities. The integration is performed along the real axis only. The algo ...

2012

Effects of uniaxial stress on alkali-silica reaction induced expansion of concrete

Karen Scrivener, Cyrille Dunant

ASR affected concrete in real structures is usually subject to loads which affect the macroscopic expansion of the material. An experimental study was undertaken using sensors embedded in reactive and non-reactive samples loaded on modified creep frames. N ...

Elsevier2012

Semiclassical low energy scattering for one-dimensional Schrödinger operators with exponentially decaying potentials

Roland Donninger

We consider semiclassical Schr"odinger operators on the real line of the form

H(\hbar)=-\hbar^2 \frac{d^2}{dx^2}+V(\cdot;\hbar)

with

\hbar>0

small. The potential

V

is assumed to be smooth, positive and exponentially decaying towards infinity. We e ...

Springer Basel Ag2012

Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement

Rachid Guerraoui, Seth Gilbert, Dan Alistarh

Set agreement is a fundamental problem in distributed computing in which processes collectively choose a small subset of values from a larger set of proposals. The impossibility of fault-tolerant set agreement in asynchronous networks is one of the seminal ...

2012

Constitutive gray hair in Mice induced by Melanocyte-specific deletion of c-Myc

Friedrich Beermann, Karine Schouwey, Marzia Armaro

c-Myc is involved in the control of diverse cellular processes and implicated in the maintenance of different tissues including the neural crest. Here we report that c-Myc is particularly important for pigment cell development and homeostasis. Targeting c- ...

2012

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

Semiclassical low energy scattering for one-dimensional Schrödinger operators with exponentially decaying potentials

Roland Donninger

We consider semiclassical Schr"odinger operators on the real line of the form

H(\hbar)=-\hbar^2 \frac{d^2}{dx^2}+V(\cdot;\hbar)

with

\hbar>0

small. The potential

V

is assumed to be smooth, positive and exponentially decaying towards infinity. We e ...

Springer Basel Ag2012