Publications related to Assessing the Crash-Failure Assumption of Group Communication Protocols

Related publications (26)

Course Design - A Visual and Modular Approach

This book has been designed for instructors in higher education or adult training who wish to develop a new course or revise an existing one. It adopts a practical, visual, and modular approach based on the principle of constructive alignment. At its heart ...

EPFL Press2024

Teaching Not To

Charlotte Malterre-Barthes

Two design studios were successively taught in two schools of architecture: one at the Harvard Graduate School of Design (GSD) and the other at the Swiss Federal Institute of Technology in Lausanne (EPFL) in Lausanne, Switzerland, based on "A Global Morato ...

Taylor & Francis Inc2024

Models implemented in the methodological approach to design the initial STEP first wall contour

Kevin Henricus Annemarie Verhaegh, Davide Galassi, Filippo Bagnato, Dario Vaccaro

The official Spherical Tokamak for Energy Production mission aims to demonstrate the ability to generate net electricity from fusion with the STEP Prototype Power plant. One of the key technological and engineering challenges in fusion power plants is mana ...

Elsevier Science Sa2024

Strategy to systematically design and deploy the ITER plasma control system: A system engineering and model-based design approach

Richard Pitts, Federico Alberto Alfredo Felici, Federico Pesamosca, Anna Ngoc Minh Trang Vu

The paper details the process of developing the ITER Plasma Control System (PCS), that is, how to design and deploy it systematically, in the most efficient and effective manner. The integrated nature of the ITER PCS, with its multitude of coupled control ...

Elsevier Science Sa2024

The Current State of the OBI DICT Project: A Bilingual e-Dictionary of Oracle-Bone Inscriptions with AI Image Recognition

Shuo Wen

This article reports on the current state of the OBI DICT project, a bilingual e-dictionary of oracle-bone inscriptions (OBI), incorporating artificial intelligence (AI) image recognition technology. It first provides a brief overview of the development of ...

Buro Van Die Wat2024

Technology-Aware Logic Synthesis for Superconducting Electronics

Giovanni De Micheli, Alessandro Tempia Calvino, Siang-Yun Lee, Dewmini Sudara Marakkalage, Mingfei Yu, Rassul Bairamkulov

Superconducting electronics provide us with cryogenic digital circuits that can rival established technologies in performance and energy consumption. Today, the lack of tools for the design of large-scale integrated superconducting circuits is a major obst ...

2024

Co-Design Optimisation of Morphing Topology and Control of Winged Drones

Dario Floreano, Valentin Wüest

The design and control of winged aircraft and drones is an iterative process aimed at identifying a compromise of mission-specific costs and constraints. When agility is required, shape-shifting (morphing) drones represent an efficient solution. However, m ...

IEEE2024

Surface segregation in high-entropy alloys from alchemical machine learning

Michele Ceriotti, Sandip De, Guillaume André Jean Fraux, Arslan Mazitov, Nataliya Lopanitsyna

High-entropy alloys (HEAs), containing several metallic elements in near-equimolar proportions, have long been of interest for their unique mechanical properties. More recently, they have emerged as a promising platform for the development of novel heterog ...

Iop Publishing Ltd2024

Design ontology for cognitive thread supporting traceability management in model-based systems engineering

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Industrial information integration engineering (IIIE) is an interdisciplinary field to facilitate the industrial information integration process. In the age of complex and large-scale systems, model-based systems engineering (MBSE) is widely adopted in ind ...

Elsevier2024

The Time‐Varying Price of Financial Intermediation in the Mortgage Market

Andreas Fuster

We introduce a new measure of the price charged by ﬁnancial intermediaries for con-necting mortgage borrowers with capital market investors. Based on administrativelender pricing data, we document that the price of intermediation reacts stronglyto variatio ...

2024

An explorative method to support design decisions based on carbon constraints and daylight sufficiency needs

Nazanin Rezaei Oghazi

The global construction industry contributes to 37% of carbon emissions associated to both building operations and construction. To help achieve the net-zero targets set by 2050, it is mandated to achieve a 50% reduction in carbon emissions by 2030. As we ...

EPFL2024

System for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject

Olaf Blanke, Fosco Bernasconi

The present invention relates to systems and methods for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject based on reports of Minor Hallucination (MH) events in combination with electrophysiological data of the s ...

2024

Planetary-Scale Byzantine Fault Tolerance

Matteo Monti

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

A diversity-driven discovery of potential nanoporous materials for energy-related applications

Sauradeep Majumdar

The design and discovery of potential novel materials is critical for the advancement of climate change mitigation technologies. In this respect, metal-organic frameworks (MOFs) have received considerable attention over the last two decades. The combinatio ...

EPFL2024

Interactive design with optimum matchmaking of reused structural elements – a software implementation

Corentin Jean Dominique Fivet, Jan Friedrich Georg Brütting, Jonas Warmuth

Structural systems are a significant contributor to buildings’ embodied carbon and reusing structural elements in new load-bearing applications is one strategy to reduce this impact. However, integrating this approach into existing design workflows without ...

International Association for Shell and Spatial Structures (IASS)2023

Computational Conceptual Design – Typological Exploration Of Spatial Truss Systems Through Optimization

Corentin Jean Dominique Fivet, Jonas Warmuth

Exploring a wide range of relevant design options from the outset is crucial for every sound conceptual design process. Optimization techniques are generally employed to generate well-performing structural design options. However, focusing only on performa ...

2023

Leveraging the Snap Buckling of Bistable Magnetic Shells to Design a Refreshable Braille Dot

Pedro Miguel Nunes Pereira de Almeida Reis, Tian Chen, Arefeh Abbasi, Bastien Freddy Gustave Aymon

A design concept is proposed for the building block, a dot, of programmable braille readers utilizing bistable shell buckling, magnetic actuation, and pneumatic loading. The design process is guided by Finite Element simulations, which are initially valida ...

Wiley2023

Computational conceptual design — typological exploration of spatial truss systems through optimization

Corentin Jean Dominique Fivet, Jonas Warmuth

Exploring a wide range of design options is crucial for every sound conceptual design process. In the conventional structural design workflow, optimization techniques are generally employed to generate well-performing design options. However, focusing only ...

International Association for Shell and Spatial Structures (IASS)2023

TRACE: A Conceptual Model to Guide the Design of Educational Chatbots

Denis Gillet, Maria Jesus Rodriguez Triana, Adrian Christian Holzer, Juan Carlos Farah, Sandy Ingram, Basile Maurice Pierre Spaenlehauer, Fanny Kim-Lan Lasne

Driven by the rising popularity of chatbots such as ChatGPT, there is a budding line of research proposing guidelines for chatbot design, both in general and specifically for digital education. Nevertheless, few researchers have focused on providing concep ...

Springer2023

Collective data-based drawings A common ground for adaptive contributive design

The laboratory ALICE (Atelier de la Conception de l’Espace) at the École Polytechnique Fédérale de Lausanne (EPFL) advances a comprehensive approach to data-based drawing oriented towards architectural and urban co-design processes. This drawing methodolog ...

2023