212 citations
- Centre National de la Recherche ScientifiqueFR82 papers
- Heuristics and Diagnostics for Complex SystemsFR73 papers
- Sorbonne UniversitéFR27 papers
- Laboratoire de mathématiques appliquées de CompiègneFR23 papers
- Institut Universitaire de FranceFR14 papers
- Laboratoire RobervalFR13 papers
- Biomécanique et BioingénierieFR10 papers
- Université Paris-SaclayFR6 papers
- University of TwenteNL6 papers
- École Normale Supérieure Paris-SaclayFR5 papers
- Institut Polytechnique de BordeauxFR5 papers
- Shanghai UniversityCN5 papers
172 papers
Vector Map Quality Metrics for Contextual Autonomous Driving Systems
Marie-Ngoïe Badibanga Kalenda, Philippe Bonnifait, Marie-Anne Mittet
Ensuring safety in autonomous driving requires continuous map maintenance supported by reliable quality indicators. In this context, it is crucial to identify when and where map up…
Knowledge Distillation for Intelligent Softwarized Networks: Advances and Open Challenges
Mohamed Ali Zormati, Ghada Jaber, Hicham Lakhlef
The increasing adoption of software defined networking and network function virtualization, combined with rapid advances in Machine Learning (ML), is driving the evolution toward i…
Stable fluid-rigid body interaction algorithm using the direct-forcing immersed boundary method (DF-IBM)
E. Farah, A. Ouahsine, P. G. Verdin +1
The direct-forcing immersed boundary method (DF-IBM) algorithm previously developed by the authors is extended by coupling the Navier-Stokes equations with the Newton-Euler equatio…
A Rocq Formalization of Simplicial Lagrange Finite Elements
Sylvie Boldo, François Clément, Vincent Martin +2
Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finit…
Bicuspid Valve Closure and Backflow Prevention: Role of Leaflet Geometry
B. Kaoui, A. Bou Orm, P. Navet +2
Bicuspid valves with crescent-shaped leaflets are found in lymphatic vessels and veins, where their primary function is to prevent reflux and ensure unidirectional flow toward the…
A Critical Pair Enumeration Algorithm for String Diagram Rewriting
Anna Matsui, Innocent Obi, Guillaume Sabbagh +4
Critical pair analysis provides a convenient and computable criterion of confluence, which is a fundamental property in rewriting theory, for a wide variety of rewriting systems. B…