Concept

Quantification existentielle

Publications associées (116)

Toward an objective assessment of mobility in clinical and daily activity settings

Quantification of mobility is the key to monitor the progression of mobility disorders as well as the effect of an intervention. Inertial measurement units (IMUs) with dedicated algorithms can quantify postural transitions and gait as the two key aspects o ...

EPFL2021

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

Athanasios Nenes, Georgia Sotiropoulou

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

Proof-of-concept analytical instrument for label-free optical deconvolution of protein species in a mixture

Gabriel Aeppli

The adoption of process analytical technologies by the biopharmaceutical industry can reduce the cost of therapeutic drugs and facilitate investigation of new bioprocesses. Control of critical process parameters to retain critical product quality attribute ...

ELSEVIER2021

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

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

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