Publications associées à Cohérence (logique)

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