Publications related to Formal scheme

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

Budget-Bounded Incentives for Federated Learning

Boi Faltings, Aris Filos Ratsikas, Adam Julian Richardson

We consider federated learning settings with independent, self-interested participants. As all contributions are made privately, participants may be tempted to free-ride and provide redundant or low-quality data while still enjoying the benefits of the FL ...

Springer Nature Switzerland AG 20202022

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

INFORMS2021

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 Publishing2021

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

SPRINGER HEIDELBERG2021

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

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.

Formal scheme

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

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

Budget-Bounded Incentives for Federated Learning

Impacts of Metering-Based Dynamic Priority Schemes

Towards Efficient LPN-Based Symmetric Encryption

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

Thermo-mechanical schemes for energy piles

Pathway analysis of atmospheric VOC multi-generational degradation

Revisiting Multivariate Lattices for Encrypted Signal Processing

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

Graph Chatbot

Chat with Graph Search

Thermo-mechanical schemes for energy piles

Revisiting Multivariate Lattices for Encrypted Signal Processing

Impacts of Metering-Based Dynamic Priority Schemes

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

Pathway analysis of atmospheric VOC multi-generational degradation

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

Towards Efficient LPN-Based Symmetric Encryption

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

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

Budget-Bounded Incentives for Federated Learning