|
||
---|---|---|
inria-00540615v1
Journal articles
Commutability of homogenization and linearization at identity in finite elasticity and applications Annales de l'Institut Henri Poincaré (C) Non Linear Analysis, Elsevier, 2011, 28, pp.941-964. ⟨10.1016/j.anihpc.2011.07.002⟩ |
||
hal-02061018v1
Journal articles
The SYMBIONT project: symbolic methods for biological networks ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩ |
||
hal-01889825v1
Other publications
The SYMBIONT Project: Symbolic Methods for Biological Networks 2018 |
||
hal-01837910v1
Conference papers
Exploring Fingers' Limitation of Texture Density Perception on Ultrasonic Haptic Displays EuroHaptics 2018 - 11th International Conference on Haptics: Science, Technology, and Applications, Jun 2018, Pisa, Italy |
||
hal-03341368v1
Conference papers
Quantifier Simplification by Unification in SMT FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.232-249, ⟨10.1007/978-3-030-86205-3_13⟩ |
||
hal-03341357v1
Conference papers
Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. ⟨10.1007/978-3-030-79876-5⟩ |
||
hal-01587687v1
Poster communications
The Standardization Survival Kit (SSK) Digital Humanities Benelux Conference 2017, Jul 2017, Utrecht, Netherlands. 2017 |
||
hal-02995180v1
Journal articles
Analyse der Spontanmotorik im 1. Lebensjahr: Markerlose 3-D-Bewegungserfassung zur Früherkennung von Entwicklungsstörungen Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz, Springer Verlag, 2020, 63 (7), pp.881-890. ⟨10.1007/s00103-020-03163-2⟩ |
||
hal-03528084v1
Journal articles
A pose‐independent method for accurate and precise body composition from 3D optical scans Obesity, Wiley, 2021, 29 (11), pp.1835-1847. ⟨10.1002/oby.23256⟩ |
||
hal-02988291v1
Conference papers
Learning to Dress 3D People in Generative Clothing CVPR 2020 - IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2020, Seattle, United States. pp.6468-6477, ⟨10.1109/CVPR42600.2020.00650⟩ |
||
hal-02988367v1
Conference papers
GENTEL : GENerating Training data Efficiently for Learning to segment medical images RFIAP 2020 - Congrés Reconnaissance des Formes, Image, Apprentissage et Perception, Jun 2020, Vannes, France. pp.1-7 |
||
hal-02988419v1
Journal articles
General Movement Assessment from videos of computed 3D infant body models is equally effective compared to conventional RGB Video rating Early Human Development, Elsevier, 2020, 144, pp.104967. ⟨10.1016/j.earlhumdev.2020.104967⟩ |
||
hal-02162284v1
Poster communications
Body Size Estimation: The Influence of Visual Perspective 41st European Conference on Visual Perception (ECVP), Aug 2018, Trieste, Italy. 48 (1_suppl), pp.73, 2019 |
||
hal-02162171v1
Journal articles
Learning and Tracking the 3D Body Shape of Freely Moving Infants from RGB-D sequences IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020, 42 (10), pp.2540-2551. ⟨10.1109/TPAMI.2019.2917908⟩ |
||
hal-01572470v1
Conference papers
The Stereoscopic Zoom Computation Cameras and Displays, Jul 2017, Honolulu, United States. pp.1295-1304, ⟨10.1109/CVPRW.2017.170⟩ |
||
hal-02162159v1
Journal articles
The Virtual Caliper: Rapid Creation of Metrically Accurate Avatars from 3D Measurements IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2019, 25 (5), pp.1887-1897. ⟨10.1109/TVCG.2019.2898748⟩ |
||
hal-02983880v1
Book sections
Learning a Statistical Full Spine Model from Partial Observations Shape in Medical Imaging. ShapeMI 2020, 12474, Springer, pp.122-133, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-61056-2_10⟩ |
||
hal-02992282v1
Conference papers
The Influence of Visual Perspective on Body Size Estimation in Immersive Virtual Reality SAP 2019 - ACM Symposium on Applied Perception, Sep 2019, Barcelona / Virtual, Spain. pp.1-12, ⟨10.1145/3343036.3343134⟩ |
||
hal-01199160v1
Journal articles
Expanded Parts Model for Semantic Description of Humans in Still Images IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2017, 39 (1), pp.87-101. ⟨10.1109/TPAMI.2016.2537325⟩ |
||
hal-01122699v1
Journal articles
Big Data Methods for Computational Linguistics Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2012, pp.10 |
||
hal-00003375v1
Journal articles
Metrically thin singularities of integrable CR functions International Journal of Mathematics, World Scientific Publishing, 2000, 11, pp.857-872 ![]() |
||
hal-03487124v1
Conference papers
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models 7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing/Online, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩ |
||
hal-01108024v1
Journal articles
Dendritic cell-based therapeutic vaccine elicits polyfunctional HIV-specific T-cell immunity associated with control of viral load. European Journal of Immunology, Wiley-VCH Verlag, 2014, 44 (9), pp.2802-10 |
||
hal-01353612v1
Conference papers
Territoire, territorialité et territorialisation des événements médiatiques CIST2016 - En quête de territoire(s) ?, Collège international des sciences du territoire (CIST), Mar 2016, Grenoble, France. pp.207-213 |
||
cea-01834980v1
Directions of work or proceedings
Tests and Proofs Jasmin Christian Blanchette; Nikolai Kosmatov. Tests and Proofs, Jul 2015, L’Aquila, Italy. 9154, Springer Verlag, 2015, 9783319212142. ⟨10.1007/978-3-319-21215-9⟩ |
||
|
||
hal-03438168v1
Conference papers
Parametric Toricity of Steady State Varieties of Reaction Networks CASC 2021 - Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.314-333, ⟨10.1007/978-3-030-85165-1_18⟩ |
||
hal-03438907v1
Directions of work or proceedings
Computer Algebra in Scientific Computing 2019 Mathematics in Computer Science, 15 (2), 2021 |
||
hal-01889827v1
Conference papers
Positive Solutions of Systems of Signed Parametric Polynomial Inequalities CASC 2018 - International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. pp.238 - 253, ⟨10.1007/978-3-319-99639-4_17⟩ |
||
hal-02397168v1
Journal articles
A complete and terminating approach to linear integer solving Journal of Symbolic Computation, Elsevier, 2020, 100, pp.102-136. ⟨10.1016/j.jsc.2019.07.021⟩ |
||
|