Publications associées à On the Validity of Consensus

Planetary-Scale Byzantine Fault Tolerance

The scale and pervasiveness of the Internet make it a pillar of planetary communication, industry and economy, as well as a fundamental medium for public discourse and democratic engagement. In stark contrast with the Internet's decentralized infrastructur ...

EPFL2024

Contextual Stochastic Bilevel Optimization

Daniel Kuhn, Yifan Hu, Andreas Krause, Jie Wang

We introduce contextual stochastic bilevel optimization (CSBO) -- a stochastic bilevel optimization framework with the lower-level problem minimizing an expectation conditioned on some contextual information and the upper-level decision variable. This fram ...

2023

Vertical and Leg Stiffness Modeling During Running: Effect of Speed and Incline

Kamiar Aminian, Frédéric Meyer, Grégoire Millet, Mathieu Pascal Falbriard

A spring mass model is often used to describe human running, allowing to understand the concept of elastic energy storage and restitution. The stiffness of the spring is a key parameter and different methods have been developed to estimate both the vertica ...

GEORG THIEME VERLAG KG2023

Comparison of questionnaire items for discomfort glare studies in daylit spaces

Marilyne Andersen, Jan Wienold, Clotilde Marie A Pierson, Geraldine Cai Ting Quek, Sneha Jain, Caroline Karmann

When studying discomfort glare, researchers tend to rely on a single questionnaire item to obtain user evaluations. It is unclear whether the choice of questionnaire item affects the distribution of user responses and leads to inconsistencies between studi ...

2023

Thermal Conditions in Indoor Environments: Exploring the Reasoning behind Standard-Based Recommendations

Dolaana Khovalyg

Professionals in the building design and operation fields typically look at standards and guidelines as a reliable source of information and guidance with regard to procedural, contractual, and legal scope and requirements that are relevant to accountabili ...

2023

Endogenous Energy Efficiency Improvement in Housing and Cement Sectors in Switzerland

Sergey Arzoyan

The reduction of energy consumption in the residential building stock and cement industry is a substantial component of the Swiss Energy Strategy 2050. Therefore, it is vital to identify the potential for EEI in these two sectors. In this study, a new meth ...

EPFL2023

Safety risk management in University laboratories

Anastasia Jung

Risk management has become an essential element in the functioning of modern society. Correct risk identification and assessment are undoubtedly crucial to improving overall safety; nevertheless, often, it is accompanied by the wrong selection of correctiv ...

EPFL2023

The development, validation and use of an interprofessional project management questionnaire in engineering education

Marc Laperrouza, Roland John Tormey

Professional skills of project planning, risk analysis, ethical design, communication, and working in interprofessional teams are now recognised as core engineering skills. Frequently, they are addressed in engineering education through team projects. Howe ...

2023

Byzantine consensus is Θ(n^2): the Dolev-Reischuk bound is tight even in partial synchrony!

Rachid Guerraoui, Seth Gilbert, Vincent Gramoli, Manuel José Ribeiro Vidigueira, Jovan Komatovic, Pierre Philippe Civit

The Dolev-Reischuk bound says that any deterministic Byzantine consensus protocol has (at least) quadratic (in the number of processes) communication complexity in the worst case: given a system with n processes and at most f < n/3 failures, any solution t ...

2023

The competent Computational Thinking Test: Development and Validation of an Unplugged Computational Thinking Test for Upper Primary School

Francesco Mondada, Laila Abdelsalam El-Hamamsy, Jessica Elke Dehler Zufferey, Barbara Bruno

With the increasing importance of Computational Thinking (CT) at all levels of education, it is essential to have valid and reliable assessments. Currently, there is a lack of such assessments in upper primary school. That is why we present the development ...

2022

Relatively Robust Decisions

Thomas Alois Weber

It is natural for humans to judge the outcome of a decision under uncertainty as a percentage of an ex-post optimal performance. We propose a robust decision-making framework based on a relative performance index. It is shown that if the decision maker’s p ...

2023

As easy as ABC: Optimal (A)ccountable (B)yzantine (C)onsensus is easy!

Rachid Guerraoui, Seth Gilbert, Vincent Gramoli, Jovan Komatovic, Pierre Philippe Civit

It is known that the agreement property of the Byzantine consensus problem among n processes can be violated in a non-synchronous system if the number of faulty processes exceeds t0 = ┌n/3┐ − 1 [10], [19]. In this paper, we investigate the accountable Byza ...

IEEE2022

Safety Decision-Making for Laboratory Processes in Academia

Thierry Meyer, Anastasia Jung

There is a need for a tool that facilitates safety decision-making in the academic environment. As this environment is very different from that of industry or other public sectors, there is no information available on the factors that influence the decisio ...

2022

Evaluation of a shortened version of the Action Research Arm Test (ARAT) for upper extremity function after stroke: The Mini-ARAT

Friedhelm Christoph Hummel, Lisa Aïcha Mireille Julie Fleury

Objectives (i) to create a shortened version of the Action Research Arm Test scale, (ii) to investigate its psychometric properties compared to the original scale and (iii) to externally validate it within an independent cohort. Design Prospective longitud ...

SAGE PUBLICATIONS LTD2022

Assessing Computational Thinking: Development and Validation of the Algorithmic Thinking Test for Adults

Olivier Lévêque, Jessica Elke Dehler Zufferey, Cécile Hardebolle, Marc Lafuente Martinez

This study describes the development and validation process of a computational thinking (CT) test for adults. The team designed a set of items and explored a subset of those through two qualitative pilots. Then, in order to provide validity evidence based ...

2022

Overcoming decision paralysis—A digital twin for decision making in energy system design

François Maréchal, Tuong-Van Nguyen, Julia Granacher

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

2022

Byzantine Consensus is Θ(n^2): The Dolev-Reischuk Bound is Tight even in Partial Synchrony!

Rachid Guerraoui, Seth Gilbert, Vincent Gramoli, Manuel José Ribeiro Vidigueira, Jovan Komatovic, Pierre Philippe Civit

The Dolev-Reischuk bound says that any deterministic Byzantine consensus protocol has (at least) quadratic communication complexity in the worst case. While it has been shown that the bound is tight in synchronous environments, it is still unknown whether ...

Dagstuhl Publishing2022

Ecological momentary assessment of emotional processing: An exploratory analysis comparing daily life and a psychotherapy analogue session

Mehdi Gholam, Hélène Beuchat, Loris Grandjean

Background: Emotional processing has been studied in psychotherapy as a state-dependent, sequential process of change. So far, no studies have applied this conceptualisation of emotional processing to the assessments of emotion in daily life. This is parti ...

WILEY2022

Decision Learning and Adaptation Over Multi-Task Networks

Ali H. Sayed

This paper studies the operation of multi-agent networks engaged in multi-task decision problems under the paradigm of simultaneous learning and adaptation. Two scenarios are considered:one in which a decision must be taken among multiple states of nature ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Self-learning surrogate models in superstructure optimization

François Maréchal, Ivan Daniel Kantor, Julia Granacher, Michel Lopez

In this contribution, we propose an algorithm for replacing non-linear process simulation integrated in multi-level optimization of an energy system superstructure with surrogate models. With our approach, we demonstrate that surrogate models are a valid t ...

Elsevier2021