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

inria-00540615v1  Journal articles
Antoine GloriaStefan 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 BoulierFrançois FagesOvidiu RadulescuSatya Swarup SamalAndreas 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-01837910v1  Conference papers
Farzan KalantariDavid GueorguievEdward LankNicolas BremardLaurent 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 FontaineHans-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 SchurrMathias FleuryMartin 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 PurenCharles RiondetDorian SeillierLaurent Romary. The Standardization Survival Kit (SSK)
Digital Humanities Benelux Conference 2017, Jul 2017, Utrecht, Netherlands. 2017
hal-02988291v1  Conference papers
Qianli MaJinlong YangAnurag RanjanSergi PujadesGerard 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 ThankurSergi PujadesLavika GoelRolf PohmannJü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-02162284v1  Poster communications
Anne ThalerSergi PujadesIsabelle BülthoffMichael J. BlackBetty 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 HesseSergi PujadesMichael BlackMichael ArensUlrich 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 PujadesFrédéric DevernayLaurent BoironRé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 PujadesBetty MohlerAnne ThalerJoachim TeschNaureen 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 MengMarilyn KellerEdmond BoyerMichael BlackSergi 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-01199160v1  Journal articles
Gaurav SharmaFrédéric JurieCordelia 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 WeikumJohannes HoffartNdapa NakasholeMarc SpaniolFabian 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 MerkerEgmont 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 MendilYamine Aït-AmeurNeeraj Kumar SinghDominique MéryPhilippe 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-01353612v1  Conference papers
Claude GraslandRobin Lamarche-PerrinMarion Le TexierHugues PecoutSophie 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 BlanchetteNikolai 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-03438168v1  Conference papers
Hamid RahkooyThomas 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 EnglandWolfram KoepfTimur SadykovWerner SeilerThomas Sturm. Computer Algebra in Scientific Computing 2019
Mathematics in Computer Science, 15 (2), 2021
hal-01889827v1  Conference papers
Hoon HongThomas 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⟩