Cohérence (logique)

Science formelle
Logique
Logique classique
Calcul des prédicats

Publications associées (32)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Towards Reliable Evaluation of Algorithms for Road Network Reconstruction from Aerial Images

Pascal Fua, Mateusz Kozinski, Leonardo Citraro

Existing connectivity-oriented performance measures rank road delineation algorithms inconsistently, which makes it difficult to decide which one is best for a given application. We show that these inconsistencies stem from design flaws that make the metri ...

2020

Kinetic-MHD stability of virtually collisionless plasmas

Samuel Lanthaler

The stability of pressure driven modes such as the 1/1 internal kink is known to depend sensitively on a multitude of physical effects such as toroidal rotation, kinetic effects due to thermal and suprathermal particle species and finite Larmor radius effe ...

EPFL2020

Mapping and Analysis of the Complexity of Lipid Metabolism for Applications in Health and Sustainability

Vassily Hatzimanikatis, Sofia Tsouka

Metabolism is a network of biotransformations that sustain life in cells. Over the past decades, metabolism has been studied in multiple contexts, ranging from medicine to industrial manufacturing. In particular, lipid metabolism has been linked to various ...

EPFL2020

Bayesian regression explains how human participants handle parameter uncertainty

Michael Herzog, Jean-Pascal Théodor Pfister, Mattew Pachai, Maya Anna Jastrzebowska

Author summary How do humans make prediction when the critical factor that influences the quality of the prediction is hidden? Here, we address this question by conducting a simple psychophysical experiment in which participants had to extrapolate a parabo ...

2020

Atomistic modeling of the solid-liquid interface of metals and alloys

Edoardo Baldi

Solidification is a phase transformation of utmost importance in material science, for it largely controls materials' microstructure on which a wide range of mechanical properties depends. Almost every human artifact undergoes a transformation that leads t ...

EPFL2020

Better Patch Stitching for Parametric Surface Reconstruction

Pascal Fua, Mathieu Salzmann, Jan Bednarík, Zhantao Deng

Recently, parametric mappings have emerged as highly effective surface representations, yielding low reconstruction error. In particular, the latest works represent the target shape as an atlas of multiple mappings, which can closely encode object parts. A ...

IEEE2020

Unsupervised Robust Nonparametric Learning Of Hidden Community Properties

Martin Jaggi, Akhilesh Deepak Gotmare, Mikhail Langovoy

We consider learning of fundamental properties of communities in large noisy networks, in the prototypical situation where the nodes or users are split into two classes according to a binary property, e.g., according to their opinions or preferences on a t ...

2019

Overview and recommendations for regionalized life cycle impact assessment

Xun Liao, Laurent Alexis Clément Vannay, Alexis Laurent

Purpose Regionalized life cycle impact assessment (LCIA) has rapidly developed in the past decade, though its widespread application, robustness, and validity still face multiple challenges. Under the umbrella of UNEP/SETAC Life Cycle Initiative, a dedicat ...

SPRINGER HEIDELBERG2019

PaRiS: Causally Consistent Transactions with Non-blocking Reads and Partial Replication

Willy Zwaenepoel, Diego Didona, Kristina Spirovska

Geo-replicated data platforms are at the backbone of several large-scale online services. Transactional Causal Consistency (TCC) is an attractive consistency level for building such platforms. TCC avoids many anomalies of eventual consistency, eschews the ...

2019

PaRiS: Causally Consistent Transactions with Non-blocking Reads and Partial Replication

Willy Zwaenepoel, Diego Didona, Kristina Spirovska

Geo-replicated data platforms are the backbone of several large-scale online services. Transactional Causal Consistency (TCC) is an attractive consistency level for building such platforms. TCC avoids many anomalies of eventual consistency, eschews the syn ...

IEEE COMPUTER SOC2019

Page 2 sur 4