Publications associées à Verification of consensus algorithms using satisfiability solving

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

Percolation and phase behavior in cellulose nanocrystal suspensions from nonlinear rheological analysis

Tiffany Abitbol

We examine the influence of surface charge on the percolation, gel-point and phase behavior of cellulose nanocrystal (CNC) suspensions in relation to their nonlinear rheological material response. Desulfation decreases CNC surface charge density which lead ...

ELSEVIER SCI LTD2023

Growth and investigation of Argon thin films adsorbed on graphite by means of Ultrafast Electron Diffraction

Paolo Usai

Starting from our big universe to the microscopic world, phase transitions play an important role in nature. Just after the Big Bang our universe experienced multiple phase transitions, from high-temperature plasma to the matter we know today. Phase transi ...

EPFL2023

Byzantine Fault-Tolerance in Federated Local SGD Under 2f-Redundancy

Nirupam Gupta

In this article, we study the problem of Byzantine fault-tolerance in a federated optimization setting, where there is a group of agents communicating with a centralized coordinator. We allow up to

f

Byzantine-faulty agents, which may not follow a prescr ...

Ieee-Inst Electrical Electronics Engineers Inc2023

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

Byzantine Machine Learning: A Primer

Rachid Guerraoui, Nirupam Gupta, Rafaël Benjamin Pinot

The problem of Byzantine resilience in distributed machine learning, a.k.a., Byzantine machine learning, consists in designing distributed algorithms that can train an accurate model despite the presence of Byzantine nodes, i.e., nodes with corrupt data or ...

2023

Byzantine-Resilient Learning Beyond Gradients: Distributing Evolutionary Search

Rachid Guerraoui, Andrei Kucharavy, Matteo Monti

Modern machine learning (ML) models are capable of impressive performances. However, their prowess is not due only to the improvements in their architecture and training algorithms but also to a drastic increase in computational power used to train them.|S ...

Assoc Computing Machinery2023

Reliable Microsecond-Scale Distributed Computing

Athanasios Xygkis

The landscape of computing is changing, thanks to the advent of modern networking equipment that allows machines to exchange information in as little as one microsecond. Such advancement has enabled microsecond-scale distributed computing, where entire dis ...

EPFL2023

Possible restoration of particle-hole symmetry in the 5/2-quantized Hall state at small magnetic field

Frédéric Mila, Loïc Jean Pierre Herviou

Motivated by the experimental observation of a quantized 5/2 thermal conductance at filling nu = 5/2, a result incompatible with both the Pfaffian and the anti-Pfaffian states, we have pushed the expansion of the effective Hamiltonian of the 5/2-quantized ...

AMER PHYSICAL SOC2023

Metastability of the Potts Ferromagnet on Random Regular Graphs

Jean Bernoulli Ravelomanana

We study the performance of Markov chains for the q-state ferromagnetic Potts model on random regular graphs. While the cases of the grid and the complete graph are by now well-understood, the case of random regular graphs has resisted a detailed analysis ...

SPRINGER2023

Hypergraph-Based Fast Distributed AC Power Flow Optimization

Colin Neil Jones, Yingzhao Lian, Yuning Jiang, Xinliang Dai

This paper presents a novel distributed approach for solving AC power flow (PF) problems. The optimization problem is reformulated into a distributed form using a communication structure corresponding to a hypergraph, by which complex relationships between ...

IEEE2023

Collective behavior and emerging patterns in dense dry aligning active matter

Elena Sesé Sansa

In this thesis, we study systems of active particles interacting via generic torques of different nature. We analyze the phase behavior of these systems, which results from the interplay between self-propulsion, excluded-volume and torques. We tackle the p ...

EPFL2022

High-dimensional optimization under nonconvex excluded volume constraints

Antonio Sclocchi

We consider high-dimensional random optimization problems where the dynamical variables are subjected to nonconvex excluded volume constraints. We focus on the case in which the cost function is a simple quadratic cost and the excluded volume constraints a ...

AMER PHYSICAL SOC2022

Tensor network investigation of the hard-square model

Frédéric Mila, Samuel Louis Nyckees

Using the corner-transfer matrix renormalization group to contract the tensor network that describes its partition function, we investigate the nature of the phase transitions of the hard-square model, one of the exactly solved models of statistical physic ...

AMER PHYSICAL SOC2022

Nonequilibrium quasistationary spin disordered state in ?-RuCl3

Zhe Wang

We photoexcite high-energy holon-doublon pairs as a way to alter the magnetic free energy landscape and resulting phase diagram of the frustrated honeycomb magnet ??-RuCl3. The pair recombination through multimagnon emission is tracked through the time evo ...

AMER PHYSICAL SOC2022

Progress and challenges in the theory and modeling of complex concentrared alloys

William Curtin, Satish I Rao

The high atomic-scale complexity inherent in the aptly named complex concentrated alloys, or high entropy alloys, presents unique challenges in understanding (1) the structure and motion of defects that control mechanical properties and (2) the thermodynam ...

SPRINGER HEIDELBERG2022

Investigating the morphological transitions in an associative surfactant ternary system

Julian Charles Shillcock

Associative surfactants systems involving polar oils have recently been shown to stabilize immiscible liquids by forming nanostructures at the liquid interface and have been used to print soft materials. Although these associating surfactant systems show g ...

2022

Phase and microstructure selection in peritectic alloys under high G-V ratio

Stéphane Dobler, Wilfried Kurz

A new model for the case of a superposition of a phase transformation and a microstructure transition from columnar plane front to equiaxed dendritic growth for peritectic alloys is presented. This model is applied to Fe-Ni alloys where a phase transition ...

WALTER DE GRUYTER GMBH2022

NP Satisfiability for Arrays as Powers

Viktor Kuncak, Rodrigo Raya

We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmentto handle cardinality constraints. The resulting fragme ...

Springer, Cham2022

Decoding the Mechanisms of Phase Transitions from In Situ Microscopy Observations

Vasiliki Tileli, Reinis Ignatans

Analysis of the temperature- and stimulus-dependent imaging data toward elucidation of the physical transformations is an ubiquitous problem in multiple fields. Here, temperature-induced phase transition in BaTiO3 is explored using the machine learning ana ...

WILEY-V C H VERLAG GMBH2022