Search - INRIA - Institut National de Recherche en Informatique et en Automatique

HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	inria-00540615v1 Journal articles Antoine Gloria, Stefan Neukamm. 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 François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert et al. 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 François Boulier, François Fages, Ovidiu Radulescu, Satya Samal, Andreas Schuppert et al. The SYMBIONT Project: Symbolic Methods for Biological Networks 2018
	hal-01837910v1 Conference papers Farzan Kalantari, David Gueorguiev, Edward Lank, Nicolas Bremard, Laurent Grisoni. 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 Pascal Fontaine, Hans-Jörg Schurr. 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 Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais. 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 Marie Puren, Charles Riondet, Dorian Seillier, Laurent Romary. The Standardization Survival Kit (SSK) Digital Humanities Benelux Conference 2017, Jul 2017, Utrecht, Netherlands. 2017
	hal-02995180v1 Journal articles Carmen Parisi, Nikolas Hesse, Uta Tacke, Sergi Pujades, Astrid Blaschek et al. 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 Michael Wong, Bennett Ng, Isaac Tian, Sima Sobhiyeh, Ian Pagano et al. 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 Qianli Ma, Jinlong Yang, Anurag Ranjan, Sergi Pujades, Gerard Pons-Moll et al. 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 Rajat Thankur, Sergi Pujades, Lavika Goel, Rolf Pohmann, Jürgen Machann et al. 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 A. Sebastian Schroeder, Nikolas Hesse, Raphael Weinberger, Uta Tacke, Lucia Gerstl et al. 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 Anne Thaler, Sergi Pujades, Isabelle Bülthoff, Michael J. Black, Betty J. Mohler. 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 Nikolas Hesse, Sergi Pujades, Michael Black, Michael Arens, Ulrich Hofmann et al. 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 Sergi Pujades, Frédéric Devernay, Laurent Boiron, Rémi Ronfard. The Stereoscopic Zoom Computation Cameras and Displays, Jul 2017, Honolulu, United States. pp.1295-1304, ⟨10.1109/CVPRW.2017.170⟩
	hal-02162159v1 Journal articles Sergi Pujades, Betty Mohler, Anne Thaler, Joachim Tesch, Naureen Mahmood et al. 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 Di Meng, Marilyn Keller, Edmond Boyer, Michael Black, Sergi Pujades. 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 Anne Thaler, Sergi Pujades, Jeanine Kelly Stefanucci, Sarah Creem-Regehr, Joachim Tesch et al. 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 Gaurav Sharma, Frédéric Jurie, Cordelia Schmid. 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 Gerhard Weikum, Johannes Hoffart, Ndapa Nakashole, Marc Spaniol, Fabian Suchanek et al. Big Data Methods for Computational Linguistics Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2012, pp.10
	hal-00003375v1 Journal articles Joël Merker, Egmont Porten. Metrically thin singularities of integrable CR functions International Journal of Mathematics, World Scientific Publishing, 2000, 11, pp.857-872
	hal-03487124v1 Conference papers Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque. 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 Yves Lévy, Rodolphe Thiébaut, Matthieu Montes, Christine Lacabaratz, Louis Sloan et al. 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 Claude Grasland, Robin Lamarche-Perrin, Marion Le Texier, Hugues Pecout, Sophie de Ruffray et al. 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 Jasmin Christian Blanchette, Nikolai Kosmatov. 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-03145059v1 Preprints, Working Papers, ... Martin Bromberger, Thomas Sturm, Christoph Weidenbach. Linear Integer Arithmetic Revisited 2015
	hal-03438168v1 Conference papers Hamid Rahkooy, Thomas Sturm. 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 Matthew England, Wolfram Koepf, Timur Sadykov, Werner Seiler, Thomas Sturm. Computer Algebra in Scientific Computing 2019 Mathematics in Computer Science, 15 (2), 2021
	hal-01889827v1 Conference papers Hoon Hong, Thomas Sturm. 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 Martin Bromberger, Thomas Sturm, Christoph Weidenbach. 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⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :