Concept

Universal quantification

Related publications (144)

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.

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

The Daily Design of the Quantified Self

Alexandre André Robert Rigal, Dario Rodighiero

This article argues how the digital traces that are collected day by day can be used to reshape and improve our personal self. If in the past, we were used to collecting data through diaries, today the task of producing inscriptions is delegated to technol ...

2019

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, Qiuliyang Yu, Lin Xue

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

Quantifying bacterial structure of aerobic granular sludge using image analysis

Karen Gemayel

This Master’s project entitled ’Quantifying Bacterial Structure of Aerobic Granular Sludge using Image Analysis’ aims to quantitatively describe various aspects of cell activity inside aerobic granular sludge using image analysis. It entails the theory of ...

2019

Quantifying Commitment in Nash Equilibria

Thomas Alois Weber

To quantify a player's commitment in a given Nash equilibrium of a finite dynamic game, we map the corresponding normal-form game to a "canonical extension," which allows each player to adjust his or her move with a certain probability. The commitment meas ...

2019

Development of an AFM-based nanomotion detection device for microbiological samples

Wojciech Chomicki

The main goals of this thesis pertain to the development of a device capable of detecting microorganism viability through monitoring the oscillations of a microscopic cantilever transducer, to improve the presently used device and to attempt to explain in ...

EPFL2019