Concept

Quantification existentielle

Publications associées (32)

Secondary ice production in NorESM2 climate model: quantifying the impact on Arctic clouds

Arctic clouds are among the largest sources of uncertainty in predictions of Arctic weather and climate. This is mainly due to errors in the representation of the cloud thermodynamic phase and the associated radiative impacts, which largely depends on the ...

Copernicus2021

Static and dynamic properties of non-collinear quantum antiferromagnets explored by neutron scattering

Luc Testa

This thesis is devoted to the investigation of static and dynamic properties of two different sets of quantum magnets with neutron scattering techniques and the help of linear spin wave theory. Both systems are copper-based with spin-1/2, which makes them ...

EPFL2021

Complexity of linear relaxations in integer programming

Matthias Schymura

For a set X of integer points in a polyhedron, the smallest number of facets of any polyhedron whose set of integer points coincides with X is called the relaxation complexity rc(X). This parameter was introduced by Kaibel & Weltge (2015) and captures the ...

2020

Experimental study of impulse waves generated by viscoplastic fluid

Zhenzhu Meng

Landslide-generated waves, also called impulse waves, occur as a result of the intrusion of landslides (such as rock falls, debris flows, and avalanches) into bodies of water (such as lakes, reservoirs, and seas). The objective of this thesis was to study ...

EPFL2020

An Overview of Serum Albumin Interactions with Biomedical Alloys

Stefano Mischler, Oksana Klok

Understanding the interactions between biomedical alloys and body fluids is of importance for the successful and safe performance of implanted devices. Albumin, as the first protein that comes in contact with an implant surface, can determine the biocompat ...

MDPI2020

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

Quantifying the information impact of future searches for exoplanetary biosignatures

Claudio Grimaldi

One of the major goals for astronomy in the next decades is the remote search for biosignatures (i.e., the spectroscopic evidence of biological activity) in exoplanets. Here we adopt a Bayesian statistical framework to discuss the implications of such futu ...

NATL ACAD SCIENCES2020

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

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