Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Universal quantification

Publications associées (27)

On the stabilizing effect of rotation in the 3d Euler equations

Klaus Martin Widmayer

While it is well known that constant rotation induces linear dispersive effects in various fluid models, we study here its effect on long time nonlinear dynamics in the inviscid setting. More precisely, we investigate stability in the 3d rotating Euler equ ...

2020

Continuously-fed density currents over impermeable and porous substrates

Sara Venuleo

Gravity currents are buoyancy-driven flows having a significant impact on the environment and human life. They can be observed in a vast range of natural and anthropogenic scenarios, such as seawater and freshwater, the atmosphere, or industrial processes. ...

EPFL2020

The needle model: A new model for the main hydration peak of alite

Karen Scrivener, Alexandre Reda Constantin William Caleb Ouzia

This article presents a new model for the main hydration peaks of tricalcium silicate and alite on the assumption that C-S-H nucleates and grows as needles. The model relies only on directly observable quantities and reproduces the transition from the acce ...

Pergamon-Elsevier Science Ltd2019

Refutation-based synthesis in SMT

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

SPRINGER2019

A biosensor for measuring NAD(+) levels at the point of care

Johan Auwerx, Kai Johnsson, Luc Patiny, Elena Katsyuba, Lin Xue, Qiuliyang Yu

The cellular level of nicotinamide adenine dinucleotide (NAD(+)), through its different functions, affects cellular metabolism and signalling(1-3). A decrease in the NAD(+) content has been associated with various pathologies and physiological aging(4,5), ...

NATURE PUBLISHING GROUP2019

A new analysis approach for T-2 relaxometry myelin water quantification: Orthogonal Matching Pursuit

Guillaume Jean Op 't Veld

Purpose: In vivo myelin quantification can provide valuable noninvasive information on neuronal maturation and development, as well as insights into neurological disorders. Multiexponential analysis of multiecho T-2 relaxation is a powerful and widely appl ...

Wiley2019

Verified Functional Programming

Nicolas Charles Yves Voirol

In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language. Our system is based on a dependently-typed language and an algorithmic type checking procedure which ensures total correctness. We rely on SMT solve ...

EPFL2019