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

hal-00758420v1  Conference papers
David SelosseJérémie DequidtLaurent Grisoni. A Sketch-Based Interface for Annotation of 3D Brain Vascular Reconstructions
Computer Graphics International 2012, Jun 2012, Bournemouth, United Kingdom
hal-01667161v1  Conference papers
Yacine BouzidiThomas CluzeauGuillaume MorozAlban Quadrat. Computing effectively stabilizing controllers for a class of $n$D systems
The 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1847 - 1852, ⟨10.1016/j.ifacol.2017.08.200⟩
hal-01889783v1  Conference papers
Fanny FicucielloAlessandro MigliozziEulalie CoevoetAntoine PetitChristian Duriez. FEM-based Deformation Control for Dexterous Manipulation of 3D Soft Objects
IROS 2018 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2018, Madrid, Spain
hal-01136728v1  Journal articles
Nazim HaouchineStéphane CotinIgor PeterlikJérémie DequidtMario Sanz Lopez et al.  Impact of Soft Tissue Heterogeneity on Augmented Reality for Liver Surgery
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2015, 21 (5), pp.584 - 597. ⟨10.1109/TVCG.2014.2377772⟩
hal-01253322v1  Conference papers
Lénaïc BagnèresOleksandr ZinenkoStéphane HuotCédric Bastoul. Opening Polyhedral Compiler's Black Box
CGO 2016 - 14th Annual IEEE/ACM International Symposium on Code Generation and Optimization, Mar 2016, Barcelona, Spain
hal-01153270v3  Conference papers
Julien PérolatBruno ScherrerBilal PiotOlivier Pietquin. Approximate dynamic programming for two-player zero-sum Markov games
International Conference on Machine Learning (ICML 2015), Jul 2015, Lille, France
hal-01191090v1  Conference papers
Nazim HaouchineAlexandre BilgerJérémie DequidtStéphane Cotin. Fracture in Augmented Reality
SIGGRAPH [Poster], Aug 2015, Los Angeles, United States
hal-01242851v1  Conference papers
Noura HamzéAlexandre BilgerChristian DuriezStéphane CotinCaroline Essert. Anticipation of Brain Shift in Deep Brain Stimulation Automatic Planning
IEEE Engineering in Medicine and Biology Society (EMBC’15), Aug 2015, Milan, Italy. pp.3635 - 3638 ⟨10.1109/EMBC.2015.7319180⟩
hal-01184113v1  Conference papers
Hadrien CourtecuisseYinoussa AdagolodjoHervé DelingetteChristian Duriez. Haptic Rendering of Hyperelastic Models with Friction
2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 2015, Hamburg, Germany. pp.591-596, ⟨10.1109/IROS.2015.7353432⟩
hal-01291495v1  Conference papers
Julien PérolatBilal PiotBruno ScherrerOlivier Pietquin. On the Use of Non-Stationary Strategies for Solving Two-Player Zero-Sum Markov Games
19th International Conference on Artificial Intelligence and Statistics (AISTATS 2016), May 2016, Cadiz, Spain
hal-02427488v1  Journal articles
Mohamad DaherJoelle Al HageMaan El Badaoui El NajjarAhmad DiabKhalil Mohamad et al.  Toward High Integrity Personal Localization System Based on Informational Formalism
IEEE Transactions on Instrumentation and Measurement, Institute of Electrical and Electronics Engineers, 2019, 68 (11), pp.4590-4599. ⟨10.1109/TIM.2018.2886976⟩
hal-01100974v1  Conference papers
Oleksandr ZinenkoCédric BastoulStéphane Huot. Manipulating Visualization, Not Codes
International Workshop on Polyhedral Compilation Techniques (IMPACT), Jan 2015, Amsterdam, Netherlands. pp.8
hal-03242324v2  Conference papers
Gabrielle de MicheliPierrick GaudryCécile Pierrot. Lattice Enumeration for Tower NFS: a 521-bit Discrete Logarithm Computation
ASIACRYPT 2021 - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Virtual, Singapore. pp.67-96, ⟨10.1007/978-3-030-92062-3_3⟩
hal-03464025v1  Conference papers
Amélie AusselLaure BuhryRadu Ranta. Design of experiments and Sobol' sensitivity analysis of a hippocampus computational model
43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2021, Oct 2021, Guadalajara/Virtual, Mexico
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-02978485v3  Conference papers
Ajinkya KulkarniVincent ColotteDenis Jouvet. Improving transfer of expressivity for end-to-end multispeaker text-to-speech synthesis
EUSIPCO 2021 - 29th European Signal Processing Conference, European Association for Signal Processing (EURASIP), Aug 2021, Dublin / Virtual, Ireland. ⟨10.23919/EUSIPCO54536.2021.9616249⟩
tel-03539738v1  Theses
Brij Mohan Lal Srivastava. Speaker Anonymization: Representation, Evaluation and Formal Guarantees
Artificial Intelligence [cs.AI]. Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille, 2021. English
hal-03355184v1  Conference papers
Francesca RonchiniRomain SerizelNicolas TurpaultSamuele Cornell. The impact of non-target events in synthetic soundscapes for sound event detection
DCASE 2021 - Detection and Classification of Acoustic Scenes and Events, Nov 2021, Barcelona/Virtual, Spain
hal-03387778v1  Conference papers
Michel OlveraEmmanuel VincentGilles Gasso. Improving Sound Event Detection with Auxiliary Foreground-Background Classification and Domain Adaptation
DCASE 2021 - 6th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2021, Virtual, Spain
hal-03351943v3  Conference papers
Pierre ChampionDenis JouvetAnthony Larcher. Evaluating X-vector-based Speaker Anonymization under White-box Assessment
SPECOM 2021 - 23rd International Conference on Speech and Computer, Sep 2021, Saint Petersburg, Russia
hal-03391884v1  Conference papers
Youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan Kerrien. An efficient data strategy for the detection of brain aneurysms from MRA with deep learning
DALI 2021 - MICCAI workshop on Data Augmentation, Labeling, and Imperfections, Sep 2021, Strasbourg, France. pp.226-234, ⟨10.1007/978-3-030-88210-5_22⟩
hal-03313556v1  Conference papers
Safa AlsaidiAmandine DeckerPuthineath LayEsteban MarquerPierre-Alexandre Murena et al.  A Neural Approach for Detecting Morphological Analogies
DSAA 2021 - 8th IEEE International Conference on Data Science and Advanced Analytics, Oct 2021, Porto/Online, Portugal. pp.1-10
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-02985794v3  Conference papers
Nicolas FurnonRomain SerizelIrina IllinaSlim Essid. Distributed speech separation in spatially unconstrained microphone arrays
ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing, Jun 2021, Toronto / Virtual, Canada. ⟨10.1109/ICASSP39728.2021.9414758⟩
inria-00436467v3  Journal articles
Benjamin PetitJean-Denis LesageClément MenierJérémie AllardJean-Sébastien Franco et al.  Multicamera Real-Time 3D Modeling for Telepresence and Remote Collaboration
International Journal of Digital Multimedia Broadcasting, Hindawi, 2010, Advances in 3DTV: Theory and Practice, 2010, Article ID 247108, 12 p. ⟨10.1155/2010/247108⟩
hal-03554305v2  Conference papers
Francesca RonchiniRomain Serizel. A benchmark of state-of-the-art sound event detection systems evaluated on synthetic soundscapes
ICASSP 2022 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2022, Singapore/Virtual, Singapore. ⟨10.1109/ICASSP43922.2022.9747577⟩
hal-03541726v1  Conference papers
Samuel Vivien. Parallel integer multiplication
PDP 2022 - 30th Euromicron International Conference on Parallel, Distributed, and Network-Based Processing, Mar 2022, Valladoid, Spain. ⟨10.1109/PDP55904.2022.00024⟩
hal-03537852v1  Journal articles
David DesobryFrançois ProtaisNicolas RayEtienne CormanDmitry Sokolov. Frame Fields for CAD models
Lecture Notes in Computer Science, Springer, 2022, 13018, pp.421-434. ⟨10.1007/978-3-030-90436-4_34⟩
hal-03542913v1  Journal articles
A WestJames HermusMeghan HuberPauline MauriceDagmar Sternad et al.  Dynamic Primitives Limit Human Force Regulation during Motion
IEEE Robotics and Automation Letters, IEEE 2022, 7 (2), pp.2391 - 2398. ⟨10.1109/LRA.2022.3141778⟩