125 citations
- Mohamed Ali Zormati5 · h 4
- Antoine Bordes2 profiles4 · h 45
- F. Davoine4 · h 26
- Hicham Lakhlef4 · h 3
- Marie-Hélène Abel2 profiles4 · h 14
- Philippe Gouspillou2 profiles4 · h 5
- Sébastien Destercke2 profiles4 · h 25
- A. Ibrahimbegovic3 · h 50
- Franccois Cl'ement3 · h 4
- J. Weston3 · h 107
- Mokhtar Z. Alaya3 · h 2
- Nicolas Usunier2 profiles3 · h 46
- Heuristics and Diagnostics for Complex SystemsFR38 papers
- Centre National de la Recherche ScientifiqueFR33 papers
- Sorbonne UniversitéFR15 papers
- Laboratoire de mathématiques appliquées de CompiègneFR10 papers
- Biomécanique et BioingénierieFR7 papers
- Laboratoire RobervalFR6 papers
- Institut Polytechnique de BordeauxFR5 papers
- Université Paris-SaclayFR4 papers
- CERMICSFR3 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- Lyon 1 UniversitéFR3 papers
- Université de BordeauxFR3 papers
5 papers · 1 filter
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…
Probabilistic Time Slot Leasing in TDMA-Based IoT Networks for Enhanced Channel Utilization
Hicham Lakhlef, Mohamed Ali Zormati, Khaled Abid +1
In large-scale resource-constrained wireless networks, such as those prevalent in the Internet of Things (IoT), efficient communication scheduling remains a critical challenge. Amo…