State Machine Replication is More Expensive than Consensus

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

By the addition of entropic regularization, multimarginal optimal transport problems can be trans-formed into tensor scaling problems, which can be solved numerically using the multimarginal Sinkhorn algorithm. The main computational bottleneck of this alg ...

Three-dimensional inspection of nanostructures such as integrated circuits is important for security and reliability assurance. Two scanning operations are required: ptychographic to recover the complex transmissivity of the specimen, and rotation of the s ...

The locally optimal block preconditioned conjugate gradient (LOBPCG) algorithm is a popular approach for computing a few smallest eigenvalues and the corresponding eigenvectors of a large Hermitian positive definite matrix A. In this work, we propose a mix ...

We derived computationally efficient average response models of different types of cortical neurons, which are subject to external electric fields from Transcranial Magnetic Stimulation. We used 24 reconstructions of pyramidal cells (PC) from layer 2/3, 24 ...

Control design for robotic systems is complex and often requires solving an optimization to follow a trajectory accurately. Online optimization approaches like Model Predictive Control (MPC) have been shown to achieve great tracking performance, but requir ...

Lightning strikes can seriously affect the reliability and availability of electrical infrastructures. The computation of lightning-electromagnetic fields represents one of the most crucial steps in the evaluation of the induced effects; thus, having at di ...

We study the computational complexity of the optimal transport problem that evaluates the Wasser- stein distance between the distributions of two K-dimensional discrete random vectors. The best known algorithms for this problem run in polynomial time in th ...

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

Submodular functions are a widely studied topic in theoretical computer science. They have found several applications both theoretical and practical in the fields of economics, combinatorial optimization and machine learning. More recently, there have also ...

We consider fundamental algorithmic number theoretic problems and their relation to a class of block structured Integer Linear Programs (ILPs) called 2-stage stochastic. A 2-stage stochastic ILP is an integer program of the form min{c(T)x vertical bar Ax = ...

Many robotics problems are formulated as optimization problems. However, most optimization solvers in robotics are locally optimal and the performance depends a lot on the initial guess. For challenging problems, the solver will often get stuck at poor loc ...

Modern machine learning architectures distinguish servers and workers. Typically, a d-dimensional model is hosted by a server and trained by n workers, using a distributed stochastic gradient descent (SGD) optimization scheme. At each SGD step, the goal is ...

Over-the-air computation (AirComp) is a disruptive technique for fast wireless data aggregation in Internet of Things (IoT) networks via exploiting the waveform superposition property of multiple-access channels. However, the performance of AirComp is bott ...

This paper reports on the computation of a discrete logarithm in the finite field F-230750, breaking by a large margin the previous record, which was set in January 2014 by a computation in F-29234. The present computation made essential use of the elimina ...

Designing structures from reused elements is becoming an increasingly important design task for structural engineers as it has potential to significantly reduce adverse environmental impacts of building structures. To allow for a broad application of this ...

This paper presents neural network regression models for predicting the nonlinear static and linearized dynamic reaction forces of spiral grooved gas journal bearings. The partial differential equations (PDEs) are sampled, based on a full factorial and ran ...

This paper presents a new All-In-One (AIO) implementation of an existing formulation to design adaptive structures through Total Energy Optimization (TEO). The method implemented in previous work is a nested optimization process, here named TEO-Nested. Num ...

Federated Learning (FL) is very appealing for its privacy benefits: essentially, a global model is trained with updates computed on mobile devices while keeping the data of users local. Standard FL infrastructures are however designed to have no energy or ...

A novel approach is introduced to determine the time evolution of optical forces and torques on arbitrary shape nanostructures by combining Maxwell's stress tensor with the surface integral equation method (SIE). Conventional time averaging of Maxwell’s st ...

State Machine Replication is More Expensive than Consensus

Chat with Graph Search

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Low-Rank Tensor Approximations for Solving Multimarginal Optimal Transport Problems\ast

Accelerated deep self-supervised ptycho-laminography for three-dimensional nanoscale imaging of integrated circuits

A mixed precision LOBPCG algorithm

Directional sensitivity of cortical neurons towards TMS induced electric fields

Training Efficient Controllers via Analytic Policy Gradient

A Prony-based approach for accelerating the lightning electromagnetic fields computation above a perfectly conducting ground

Discrete Optimal Transport with Independent Marginals is #P-Hard

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

Streaming and Matching Problems with Submodular Functions

The double exponential runtime is tight for 2-stage stochastic ILPs

Memory of Motion for Initializing Optimization in Robotics

AKSEL: Fast Byzantine SGD

Over-the-Air Computation via Reconfigurable Intelligent Surface

Computation Of A 30750-Bit Binary Field Discrete Logarithm

Computational tool for stock-constrained design of structures

Prediction of the reaction forces of spiral-groove gas journal bearings by artificial neural network regression models

Minimum energy adaptive structures – All-In-One problem formulation

FLeet: Online Federated Learning via Staleness Awareness and Performance Prediction

Dynamics of optical forces and torques in plasmonic systems: a surface integral equation