283 citations
- Centre National de la Recherche ScientifiqueFR43 papers
- Laboratoire Procédés, Matériaux et Energie SolaireFR25 papers
- École PolytechniqueFR12 papers
- Kotelnikov Institute of Radioengineering and Electronics of the Russian Academy of SciencesRU12 papers
- Trinity College DublinIE12 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR9 papers
- Laboratoire de Mathématiques Blaise PascalFR9 papers
- Laboratoire de Physique Nucléaire et de Hautes ÉnergiesFR7 papers
- Russian Academy of SciencesRU7 papers
- Charles UniversityCZ6 papers
- Collège de FranceFR6 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR6 papers
4 papers · 1 filter
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers
Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel +1
Signal Temporal Logic (STL) is a convenient formalism to express bounded horizon properties of autonomous critical systems. STL extends LTL to real-valued signals and associates a…
On competing (p,q) -Laplacian Drichlet problem with unbounded weight
Josef Diblik, Marek Galewski, Igor Kossowski +1
We investigate the existence of generalized solutions to coercive competing system driven by the (p,q) -Laplacian with unbounded perturbation corresponding to the leading term in t…
Spatial magnetization profile in spherical nanomagnets with surface anisotropy: Green's function approach
M. P. Adams, A. Michels, H. Kachkachi
We consider a single spherical nanomagnet and investigate the spatial magnetization profile in the continuum approach, using the Green's functio…
An Improved Normal Compliance Method for Dynamic Hyperelastic Problems with Energy Conservation Property
Mikaël Barboteu, Francesco Bonaldi, David Danan +1
The purpose of this work is to present an improved energy conservation method for hyperelastodynamic contact problems based on specific normal compliance conditions. In order to de…