Publications associées à Formal scheme

On the (Im)possibility of Commitment over Gaussian Unfair Noisy Channels

Commitment is a key primitive which resides at the heart of several cryptographic protocols. Noisy channels can help realize information-theoretically secure commitment schemes; however, their imprecise statistical characterization can severely impair such ...

2023

Unbiasing time-dependent Variational Monte Carlo by projected quantum evolution

Giuseppe Carleo, Clemens Giuliani, Alessandro Sinibaldi, Filippo Vicentini

We analyze the accuracy and sample complexity of variational Monte Carlo approaches to simulate the dynamics of many-body quantum systems classically. By systematically studying the relevant stochastic estimators, we are able to: (i) prove that the most us ...

Verein Forderung Open Access Publizierens Quantenwissenschaf2023

Unified theory of atom-centered representations and message-passing machine-learning schemes

Michele Ceriotti, Guillaume André Jean Fraux, Sergey Pozdnyakov, Jigyasa Nigam

Data-driven schemes that associate molecular and crystal structures with their microscopic properties share the need for a concise, effective description of the arrangement of their atomic constituents. Many types of models rely on descriptions of atom-cen ...

AIP Publishing2022

Stochastic distributed learning with gradient quantization and double-variance reduction

Sebastian Urban Stich, Konstantin Mishchenko

We consider distributed optimization over several devices, each sending incremental model updates to a central server. This setting is considered, for instance, in federated learning. Various schemes have been designed to compress the model updates in orde ...

TAYLOR & FRANCIS LTD2022

Impacts of Metering-Based Dynamic Priority Schemes

Nikolaos Geroliminis, Raphael Ali Francis Lamotte

Several works published over the last two decades have shown for a stylized set-up with homogeneous users that metering-based priority (MBP) schemes may generate Pareto improving departure time adjustments similar to those induced by congestion pricing, bu ...

INFORMS2022

Towards Efficient LPN-Based Symmetric Encryption

Serge Vaudenay, Sonia Mihaela Bogos, Dario Korolija, Thomas Locher

Due to the rapidly growing number of devices that need to communicate securely, there is still significant interest in the development of efficient encryption schemes. It is important to maintain a portfolio of different constructions in order to enable a ...

Springer International Publishing AG2021

Stability properties of a projector-splitting scheme for dynamical low rank approximation of random parabolic equations

Fabio Nobile, Yoshihito Kazashi, Eva Vidlicková

We consider the Dynamical Low Rank (DLR) approximation of random parabolic equations and propose a class of fully discrete numerical schemes. Similarly to the continuous DLR approximation, our schemes are shown to satisfy a discrete variational formulation ...

Springer2021

Functional Inverse Problems on Spheres: Theory, Algorithms and Applications

Matthieu Martin Jean-André Simeoni

Many scientific inquiries in natural sciences involve approximating a spherical field -namely a scalar quantity defined over a continuum of directions- from generalised samples of the latter (e.g. directional samples, local averages, etc). Such an approxim ...

EPFL2020

Thermo-mechanical schemes for energy piles

Lyesse Laloui, Alessandro Francesco Rotta Loria, Alberto Minardi

Currently, schemes based on seminal empirical knowledge about energy piles subjected to mechanical and thermal loads are available to describe the response of such foundations. However, schemes based on theoretical principles may more closely reflect the p ...

Springer Verlag2019

Revisiting Multivariate Lattices for Encrypted Signal Processing

Juan Ramón Troncoso-Pastoriza

Multimedia contents are inherently sensitive signals that must be protected when processed in untrusted environments. The field of Secure Signal Processing addresses this challenge by developing methods which enable operating with sensitive signals in a pr ...

ASSOC COMPUTING MACHINERY2019

Distributed modifier-adaptation schemes for the real-time optimisation of uncertain interconnected systems

Dominique Bonvin, René Uwe Schneider, Predrag Milosavljevic

This paper proposes a set of distributed real-time optimisation schemes for the steady-state optimisation of parametrically and structurally uncertain systems that are composed of multiple interconnected subsystems. These schemes are derived in the framewo ...

TAYLOR & FRANCIS LTD2019

Phasor-based widefield FLIM using a gated 512×512 single-photon SPAD imager

Claudio Bruschini, Edoardo Charbon, Ivan Michel Antolovic, Arin Can Ülkü

Single-photon avalanche diode (SPAD) imagers can perform fast time-resolved imaging in a compact form factor, by exploiting the processing capability and speed of integrated CMOS electronics. Developments in SPAD imagers have recently made them compatible ...

2019

Cross-Packet Coding for Delay-Constrained Streaming Applications

Dario Floreano, Giuseppe Cocco

Delay-constrained streaming from a moving platform is of paramount importance for applications such as the remote control of drones, where a low-delay video stream is required in order to provide visual feedback to the pilot while providing high quality vi ...

2019

Cryptanalysis of Enhanced MORE

Serge Vaudenay, Damian Vizár

Fully homomorphic encryption (FHE) has been among the most popular research topics of the last decade. While the bootstrapping-based, public key cryptosystems that follow Gentry's original design are getting more and more efficient, their performance is st ...

2018

Data-Driven Chance Constrained Programs over Wasserstein Balls

Daniel Kuhn, Zhi Chen, Wolfram Wiesemann

We provide an exact deterministic reformulation for data-driven chance constrained programs over Wasserstein balls. For individual chance constraints as well as joint chance constraints with right-hand side uncertainty, our reformulation amounts to a mixed ...

2024

RBF Based CWENO Method

Jan Sickmann Hesthaven, Fabian Mönkeberg

Solving hyperbolic conservation laws on general grids can be important to reduce the computational complexity and increase accuracy in many applications. However, the use of non-uniform grids can introduce challenges when using high-order methods. We propo ...

2020

Provably Secure Authenticated Encryption

Damian Vizár

Authenticated Encryption (AE) is a symmetric key cryptographic primitive that ensures confidentiality and authenticity of processed messages at the same time. The research of AE as a primitive in its own right started in 2000. The security goals of AE wer ...

EPFL2018

Influence of façade details on early design decisions regarding daylight performance of neighborhoods

Marilyne Andersen, Luisa Pastore, Minu Agarwal

Neighborhood form and building facade design are key drivers of indoor daylight performance. Architectural design at the neighborhood scale starts with massing scheme proposals and other design specifications including façade design are typically enriched ...

2018

Economic Model Predictive Control of Large-Scale Urban Road Networks via Perimeter Control and Regional Route Guidance

Nikolaos Geroliminis, Isik Ilber Sirmatel

Local traffic control schemes fall short of achieving coordination with other parts of the urban road network, whereas a centralized controller based on the detailed traffic models would suffer from excessive computational burden. State estimation for deta ...

IEEE Institute of Electrical and Electronics Engineers2018

Correspondence functors and finiteness conditions

Jacques Thévenaz, Serge Bouc

We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various specific properties wh ...

2018