2.5k citations
- Centre National de la Recherche ScientifiqueFR365 papers
- Institut UTINAMFR152 papers
- Laboratoire de Mathématiques de BesançonFR141 papers
- Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et TechnologiesFR129 papers
- Observatoire des Sciences de l’Univers Terre Homme Environnement Temps AstronomieFR97 papers
- Laboratoire de Mathématiques Blaise PascalFR39 papers
- Université Toulouse III - Paul SabatierFR36 papers
- Université de ToulouseFR32 papers
- Université Bourgogne Franche-ComtéFR29 papers
- Instituto de Astrofísica de CanariasES27 papers
- University of ArizonaUS25 papers
- Universidad de La LagunaES24 papers
23 papers · 1 filter
Broadband acoustic isolator in the audible range : nonreciprocal acoustic propagation using programmable boundary conditions
Sami Karkar, Etienne Rivet, Manuel Collet
We propose a novel concept of nonreciprocal devices in acoustics, illustrated by the design of an acoustic diode, or isolator. A boundary control strategy was previously shown to p…
Corotational Cut Finite Element Method for real-time surgical simulation: application to needle insertion simulation
Huu Phuoc Bui, Satyendra Tomar, Stéphane P. A. Bordas
This paper describes the use of the corotational cut Finite Element Method (FEM) for real-time surgical simulation. Users only need to provide a background mesh which is not necess…
Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
Thierry Coquand, Henri Lombardi, Claude Quitté
We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these…
Virtual Roots of Real Polynomials
Laureano Gonzalez--Vega, Henri Lombardi, Louis Mahé
The fact that a real univariate polynomial misses some real roots is usually overcame by considering complex roots, but the price to pay for, is a complete lost of the sign structu…
Skew-symmetric Nitsche's formulation in isogeometric analysis: Dirichlet and symmetry conditions, patch coupling and frictionless contact
Qingyuan Hu, Franz Chouly, Ping Hu +2
A simple skew-symmetric Nitsche's formulation is introduced into the framework of isogeometric analysis (IGA) to deal with various problems in small strain elasticity: essential bo…
An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
Thierry Coquand, Henri Lombardi, Stefan Neuwirth
Lorenzen's ``Algebraische und logistische Untersuchungen über freie Verbände'' appeared in 1951 in The Journal of Symbolic Logic. These ``Investigations'' have immediately been rec…