Algorithmic efficiency

Science formelle
Informatique théorique
Theory of computation
Théorie de la complexité (i...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (30)

Exploiting Marginal Stability in Slow-Fast Quasilinear Dynamical Systems

Alessia Ferraro

The accurate investigation of many geophysical phenomena via direct numerical simulations is computationally not possible nowadays due to the huge range of spatial and temporal scales to be resolved. Therefore advances in this field rely on the development ...

EPFL2022

Reduced basis methods for numerical room acoustic simulations with parametrized boundaries

Jan Sickmann Hesthaven, Hermes Sampedro Llopis

The use of model-based numerical simulations of wave propagation in rooms for engineering applications requires that acoustic conditions for multiple parameters are evaluated iteratively, which is computationally expensive. We present a reduced basis metho ...

ACOUSTICAL SOC AMER AMER INST PHYSICS2022

STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale

Felix Schürmann, James Gonzalo King, Pramod Shivaji Kumbhar, Omar Awile, Christos Kotsalos, Tristan Mathieu Carel, Iain Hepburn, Samuel Marie A Melchior, Weiliang Chen, Baudouin Paul Michel Maria Joseph Del Marmol, Alessandro Cattabiani, Giacomo Castiglioni, Nicola Cantarutti

Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...

FRONTIERS MEDIA SA2022

Differentially Private Multi-Agent Constraint Optimization

Boi Faltings, Sujit Prakash Gujar, Sankarshan Damle, Aleksei Triastcyn

Several optimization scenarios involve multiple agents that desire to protect the privacy of their preferences. There are distributed algorithms for constraint optimization that provide improved privacy protection through secure multiparty computation. How ...

ACM2022

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

Thomas Jean Debarre

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

EPFL2022

A chance-constraint approach for optimizing Social Engagement-based services

Michel Bierlaire, Edoardo Fadda

Social Engagement is a novel business model transforming final users of a service from passive into active components. In this framework, people are contacted by a company and they are asked to perform tasks in exchange for a reward. This arises the compli ...

IEEE2022

Dynamic Probabilistic Pruning: A General Framework for Hardware-Constrained Pruning at Different Granularities

Alexandre Schmid, Lizeth Gonzalez Carabarin

Unstructured neural network pruning algorithms have achieved impressive compression ratios. However, the resulting-typically irregular-sparse matrices hamper efficient hardware implementations, leading to additional memory usage and complex control logic t ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Formula Normalizations in Verification

Viktor Kuncak, Simon Guilloud, Mario Bucev, Dragana Milovancevic

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

2023

Beyond Time-Average Convergence: Near-Optimal Uncoupled Online Learning via Clairvoyant Multiplicative Weights Update

Efstratios Panteleimon Skoulakis

In this paper we provide a novel and simple algorithm, Clairvoyant Multiplicative Weights Updates (CMWU), for convergence to \textit{Coarse Correlated Equilibria} (CCE) in general games. CMWU effectively corresponds to the standard MWU algorithm but where ...

2022

Efficient Semiclassical Evaluation of Electronic Coherences in Polyatomic Molecules

Jiri Vanicek, Nikolay Golubev

Exposing a molecule to an intense light pulse can create a nonstationary quantum state, thus launching correlated dynamics of electrons and nuclei. Although much had been achieved in the understanding of fundamental physics behind the electron-nuclear inte ...

SWISS CHEMICAL SOC2022

Page 2 sur 2