Concept

Cohérence (logique)

Publications associées (32)

OASIS: Optimisation-based Activity Scheduling with Integrated Simultaneous choice dimensions

Michel Bierlaire, Timothy Michael Hillel, Janody Pougala

Activity-based models offer the potential of a far deeper understanding of daily mobility behaviour than trip-based models. However, activity-based models used both in research and practice have often relied on applying sequential choice models between sub ...

2023

Decision Procedures for Power Structures

Rodrigo Raya

We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...

EPFL2023

Building Strongly-Consistent Systems Resilient to Failures, Partitions, and Slowdowns

Cristina Basescu

Distributed systems designers typically strive to improve performance and preserve availability despite failures or attacks; but, when strong consistency is also needed, they encounter fundamental limitations. The bottleneck is in replica coordination, whi ...

EPFL2023

Parametric Estimation For Functional Autoregressive Processes On The Sphere

Alessia Caponera

The aim of this paper is to define a nonlinear least squares estimator for the spectral parameters of a spherical autoregressive process of order 1 in a parametric setting. Furthermore, we investigate on its asymptotic properties, such as weak consistency ...

2022

A Current Propagation Type Return Stroke Model Consistent with the Leader Charge Distribution

Farhad Rachidi-Haeri, Marcos Rubinstein

We describe a current propagation type return stroke model which is consistent with the estimated distribution of the charge on the leader channel. The model takes into account the dispersion of the return stroke current along the return stroke channel. Th ...

2021

Coupled hydro-mechanical analysis of compacted bentonite behaviour during hydration

Lyesse Laloui, Alessio Ferrari, Jose Antonio Bosch Llufriu

This study analyses the response of compacted bentonites upon hydration based on a coupled hydro-mechanical elasto-plastic framework. As an alternative to multi-porosity interpretation, the framework was selected based on the experimental evidence of adsor ...

2021

Human mortality at extreme age

Anthony Christopher Davison, Léo Raymond-Belzile

We use a combination of extreme value statistics, survival analysis and computer-intensive methods to analyse the mortality of Italian and French semi-supercentenarians. After accounting for the effects of the sampling frame, extreme-value modelling leads ...

ROYAL SOC2021

A Study on MoS2 Nanolayer Coated Etched Fiber Bragg Grating Strain Sensor

Suneetha Sebastian

In this paper, we report on the comprehensive study on Molybdenum disulfide (MoS2) nanolayer coated etched Fiber Bragg Grating (eFBG) strain sensor. MoS2 nanolayer is coated using Physical Vapor Deposition (PVD) of Molybdenum (Mo) on eFBGs followed by sulf ...

2021

The influence of climate on water chemistry states and dynamics in rivers across Australia

Camille Roland Marie Minaudo

For effective water quality management and policy development, spatial variability in the mean concentrations and dynamics of riverine water quality needs to be understood. Using water chemistry (calcium, electrical conductivity, nitrate-nitrite, soluble r ...

WILEY2021

Casting position effects on bond performance of reinforcement bars

Aurelio Muttoni, Miguel Fernández Ruiz, Francesco Rafael Alberto Moccia

The phenomena associated with the consolidation of fresh concrete (bleeding and plastic settlement) are commonly considered significant for the bond performance of reinforcement. However, rules to take care of such influence for design are not consistent a ...

ERNST & SOHN2021

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