Concept
Précondition
Publications associées (13)
Wellbeing and sufficiency in SWICE
SWICE (Sustainable Wellbeing for the Individual and the Collectivity in the Energy transition) aims to answer: how to improve wellbeing for all with a much lower energy use? Wellbeing is a state of thriving, which involves full participation in society, a ...
2023On Verified Scala for STIX File System Embedded Code using Stainless
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
2022A hierarchical preconditioner for wave problems in quasilinear complexity
Jan Sickmann Hesthaven, Boris Bonev
The paper introduces a novel, hierarchical preconditioner based on nested dissection and hierarchical matrix compression. The preconditioner is intended for continuous and discontinuous Galerkin formulations of elliptic problems. We exploit the property th ...
2020Influence of loading history on mechanical properties of biomaterials
It is known that the mechanical response to load or displacement of a biological tissue can highly vary from one cycle to the next. Therefore, in order to establish a reference state for repeating data measurements, tissues are subjected to a preliminary s ...
2016