Structural and Algorithmic Issues of Dynamic Protocol Update

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.

Sample efficiency is a fundamental challenge in de novo molecular design. Ideally, molecular generative models should learn to satisfy a desired objective under minimal calls to oracles (computational property predictors). This problem becomes more apparen ...

We introduce an algorithm to reconstruct a mesh from discrete samples of a shape's Signed Distance Function (SDF). A simple geometric reinterpretation of the SDF lets us formulate the problem through a point cloud, from which a surface can be extracted wit ...

Quantum support vector machines employ quantum circuits to define the kernel function. It has been shown that this approach offers a provable exponential speedup compared to any known classical algorithm for certain data sets. The training of such models c ...

Static and mobile sensor nodes can be employed in gas monitoring tasks to detect gas leaks in an early stage and localize gas sources. Due to the intermittent nature of gas plumes and the slow dynamics of commonly used gas sensors, measuring gas concentrat ...

Quantum computing not only holds the potential to solve long-standing problems in quantum physics, but also to offer speed-ups across a broad spectrum of other fields. Access to a computational space that incorporates quantum effects, such as superposition ...

The problem of learning graphons has attracted considerable attention across several scientific communities, with significant progress over the re-cent years in sparser regimes. Yet, the current techniques still require diverg-ing degrees in order to succe ...

Under certain conditions, the ionization of a molecule may create a superposition of electronic states, leading to ultrafast electron dynamics. If controlled, this motion could be used in attochemistry applications, but it has been shown that the decoheren ...

Measuring the size of cellulose nanomaterials can be challenging, especially in the case of branched and entangled cellulose nanofibrils (CNFs). The International Organization for Standardization, Technical Committee 6, Task Group 1-Cellulosic Nanomaterial ...

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

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

Finding cycles in directed graphs enables important applications in various domains such as finance, biology, chemistry, and network science. However, as the size of graph datasets continues to grow, it becomes increasingly difficult to discover cycles wit ...

The advent of comprehensive synaptic wiring diagrams of large neural circuits has created the field of connectomics and given rise to a number of open research questions. One such question is whether it is possible to reconstruct the information stored in ...

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

Background: The nature of the solid component of subsolid nodules (SSNs) can indicate tumor pathological invasiveness. However, preoperative solid component assessment still lacks a reference standard.Methods: In this retrospective study, an AI algorithm w ...

Macromolecular mass fingerprinting using matrix-assisted laser desorption/ionization time-of-flight mass spectrometry is a quick tool for biochemical analysis. In combination with algorithms for automated data analysis and interpretation, it has wide appli ...

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

It's been a little more than 40 years since researchers first suggested exploiting quantum physics to build more powerful computers. During this time, we have seen the development of many quantum algorithms and significant technological advances to make th ...

The goal of this thesis is to study continuous-domain inverse problems for the reconstruction of sparse signals and to develop efficient algorithms to solve such problems computationally. The task is to recover a signal of interest as a continuous function ...

Byzantine Reliable Broadcast (BRB) is a fundamental distributed computing primitive, with applications ranging from notifications to asynchronous payment systems. Motivated by practical consideration, we study Client-Server Byzantine Reliable Broadcast (CS ...

In Urban Air Mobility (UAM) networks, takeoff and landing sites, called vertiports, are likely to experience intermittent closures due to, e.g., adverse weather. For safety, it will be required that all in-transit Urban Air Vehicles (UAVs) in a UAM network ...

Structural and Algorithmic Issues of Dynamic Protocol Update

Chat with Graph Search

Augmented Memory: Sample-Efficient Generative Molecular Design with Reinforcement Learning

Reach For the Arcs: Reconstructing Surfaces from SDFs via Tangent Points

The complexity of quantum support vector machines

Design and Evaluation of Modular Gas and Wind Sensing Nodes for Static and Mobile Deployments

Scalable Quantum Algorithms for Noisy Quantum Computers

Learning Sparse Graphons And The Generalized Kesten-Stigum Threshold

How to Find Molecules with Long-lasting Charge Migration?

Setting priorities in CNF particle size measurement: What is needed vs. what is feasible

Augmented Lagrangian Methods for Provable and Scalable Machine Learning

Fast correlation function calculator A high-performance pair-counting toolkit

Fast Parallel Algorithms for Enumeration of Simple, Temporal, and Hop-Constrained Cycles

Bayesian reconstruction of memories stored in neural networks from their connectivity

Results on Sparse Integer Programming and Geometric Independent Sets

Deep learning-based solid component measuring enabled interpretable prediction of tumor invasiveness for lung adenocarcinoma

Algorithms push forward the application of MALDI-TOF mass fingerprinting in rapid precise diagnosis

Formula Normalizations in Verification

Practical Compilation of Quantum Programs

Variational Methods For Continuous-Domain Inverse Problems: the Quest for the Sparsest Solution

Oracular Byzantine Reliable Broadcast

Safety Verification for Urban Air Mobility Scheduling