Concept

Cohérence (logique)

Publications associées (108)

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

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

Marcos Rubinstein, Farhad Rachidi-Haeri

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

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 ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

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

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