Publication

A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity

Publications associées (30)

Results on Sparse Integer Programming and Geometric Independent Sets

An integer linear program is a problem of the form max{c^T x : Ax=b, x >= 0, x integer}, where A is in Z^(n x m), b in Z^m, and c in Z^n. Solving an integer linear program is NP-hard in general, but there are several assumptions for which it becomes fixed ...

EPFL2023

Approximation Algorithms for Allocation and Network Design

Etienne Michel François Bamas

In this thesis, we give new approximation algorithms for some NP-hard problems arising in resource allocation and network design. As a resource allocation problem, we study the Santa Claus problem (also known as the MaxMin Fair Allocation problem) in which ...

EPFL2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Nirupam Gupta, Rafaël Benjamin Pinot

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

Augmented Lagrangian Methods for Provable and Scalable Machine Learning

Mehmet Fatih Sahin

Non-convex constrained optimization problems have become a powerful framework for modeling a wide range of machine learning problems, with applications in k-means clustering, large- scale semidefinite programs (SDPs), and various other tasks. As the perfor ...

EPFL2023

Poloxamers Have Vaccine-Adjuvant Properties by Increasing Dissemination of Particulate Antigen at Distant Lymph Nodes

Myriam Isabelle Lamrayah

Vaccine technology is still facing challenges regarding some infectious diseases, which can be addressed by innovative drug delivery systems. In particular, nanoparticle-based vaccines combined with new types of adjuvants are actively explored as a platfor ...

MDPI2023

Phenomenological theory of variational quantum ground-state preparation

Ivano Tavernelli, Giuseppe Carleo

The variational approach is a cornerstone of computational physics, considering both conventional and quantum computing computational platforms. The variational quantum eigensolver algorithm aims to prepare the ground state of a Hamiltonian exploiting para ...

Amer Physical Soc2023

Maximum Independent Set: Self-Training through Dynamic Programming

Volkan Cevher, Grigorios Chrysos, Efstratios Panteleimon Skoulakis

This work presents a graph neural network (GNN) framework for solving the maximum independent set (MIS) problem, inspired by dynamic programming (DP). Specifically, given a graph, we propose a DP-like recursive algorithm based on GNNs that firstly construc ...

2023

A multigrid method for PDE-constrained optimization with uncertain inputs

Fabio Nobile, Tommaso Vanzan

In this manuscript, we present a collective multigrid algorithm to solve efficiently the large saddle-point systems of equations that typically arise in PDE-constrained optimization under uncertainty, and develop a novel convergence analysis of collective ...

Springer Science and Business Media LLC2024

Induction of a strong and long-lasting neutralizing immune response by dPreS1-TLR2 agonist nanovaccine against hepatitis B virus

Myriam Isabelle Lamrayah

Hepatitis B virus remains a major medical burden with more than 250 million chronically infected patients worldwide and 900,000 deaths each year, due to the disease progression towards severe complications (cirrhosis, hepatocellular carcinoma). Despite the ...

ELSEVIER2023

Tracking spatiotemporal localisation and interactions of the innate immune sensor STING

Sophie Marie Elisabeth Rivara

Innate immunity, the very first line of defence of our cells, relies on the detection of universal pathogen- or danger-associated signals to launch an inflammatory response. A crucial part of our innate immune system is based on the recognition of out-of-c ...

EPFL2023