Concept
Comparaison asymptotique
Publications associées (32)
Static Worst-Case Resource Analysis for Substrate Pallets
We present saft, the first attempt of a static analyzer that extracts the asymptotic function complexity for the Polkadot/Substrate ecosystem, where the burden of accounting for computation resource consumption is put on the developer. saft is a tool meant ...
2023Tree-AMP: Compositional Inference with Tree Approximate Message Passing
Florent Gérard Krzakala, Lenka Zdeborová
We introduce Tree-AMP, standing for Tree Approximate Message Passing, a python package for compositional inference in high-dimensional tree-structured models. The package provides a unifying framework to study several approximate message passing algorithms ...
2023The Role of Adaptivity in Source Identification with Time Queries
Understanding epidemic propagation in large networks is an important but challenging task, especially since we usually lack information, and the information that we have is often counter-intuitive. An illustrative example is the dependence of the final siz ...
EPFL2022