Concept
Comparaison asymptotique
Publications associées (72)
Exponential convergence to steady-states for trajectories of a damped dynamical system modeling adhesive strings
We study the global well-posedness and asymptotic behavior for a semilinear damped wave equation with Neumann boundary conditions, modeling a one-dimensional linearly elastic body interacting with a rigid substrate through an adhesive material. The key fea ...
World Scientific Publ Co Pte Ltd2024Static 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 ...
2023The splay-list: a distribution-adaptive concurrent skip-list
Amirkeivan Mohtashami, Dan Alistarh
The design and implementation of efficient concurrent data structures has seen significant attention. However, most of this work has focused on concurrent data structures providing good worst-case guarantees, although, in real workloads, objects are often ...
SPRINGER2023Physics-Inspired Equivariant Descriptors of Nonbonded Interactions
Michele Ceriotti, Philip Robin Loche, Kevin Kazuki Huguenin-Dumittan
One essential ingredient in many machine learning (ML) based methods for atomistic modeling of materials and molecules is the use of locality. While allowing better system-size scaling, this systematically neglects long-range (LR) effects such as electrost ...
Washington2023Safety in Numbers: Asymptotic Analysis of a Monitoring Problem
In this work, we introduce a setup where a monitoring entity attempts to distinguish a cheating player among a group of regular players where all players behave in order to maximize their reward. We assume that the cheating player has an "information advan ...
IEEE2022