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-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-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⟩
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⟩
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-03244472v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique FohrDietrich KlakowDana Ruiter. Exploring Conditional Language Model Based Data Augmentation Approaches For Hate Speech Classification
TSD 2021 - 24th International Conference on Text, Speech and Dialogue, Sep 2021, Olomouc, Czech Republic
hal-01873685v1  Conference papers
Begona Garcia-ZapirainCristian CastilloAritz BadiolaSofia ZahiaAmaia Mendez et al.  A Proposed Methodology for Subjective Evaluation of Video and Text Summarization
MISSI 2018 - 11th edition of the International Conference on Multimedia and Network Information Systems, Sep 2018, Wrocław, Poland. pp.396-404, ⟨10.1007/978-3-319-98678-4_40⟩
hal-01819720v1  Conference papers
Kamel SmaïliDominique FohrCarlos-Emiliano González-GallardoMichal GregaLucjan Janowski et al.  A First Summarization System of a Video in a Target Language
MISSI 2018 - 11th edition of the International Conference on Multimedia and Network Information Systems, Sep 2018, Wrocław, Poland. pp.1-12
hal-03537698v1  Conference papers
Chuyuan LiMaxime AmblardChloé BraudCaroline DemilyNicolas Franck et al.  Investigating non lexical markers of the language of schizophrenia in spontaneous conversations
CODI 2021 - 2nd Workshop on Computational Approaches to Discourse, Nov 2021, Punta Cana, Dominican Republic. pp.20-28, ⟨10.18653/v1/2021.codi-main.3⟩
hal-03318571v1  Conference papers
Georgios ZervakisEmmanuel VincentMiguel CouceiroMarc Schoenauer. On Refining BERT Contextualized Embeddings using Semantic Lexicons
ECML PKDD 2021 - Machine Learning with Symbolic Methods and Knowledge Graphs co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Online, Spain
hal-00761006v1  Conference papers
Chihab HanachiFrançois CharoySerge Stinckwich. Introduction to Collaborative Technology for Coordinating Crisis Management (CT2CM) track
2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.351, ⟨10.1109/WETICE.2012.115⟩
hal-00769639v1  Conference papers
Yann MathetAntoine WidlöcherKarën FortClaire FrançoisOlivier Galibert et al.  Manual Corpus Annotation: Giving Meaning to the Evaluation Metrics
International Conference on Computational Linguistics, Dec 2012, Mumbaï, India. pp.809--818
hal-03481267v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. From quantitative SBML to boolean networks
19th conference on Computational Methods in Systems Biology, CMSB 2021, Sep 2021, Bordeaux, France
hal-03256693v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. Automatic synthesis of boolean networks from biological knowledge and data
International Conference of Optimization and Learning, OLA 2021, Jun 2021, Catane, Italy
hal-03481396v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. From quantitative SBML models to boolean networks
10th International Conference on Complex Networks and their Applications, CNA 2021, Nov 2021, Madrid, Spain
hal-03501774v2  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën Fort. Corpus-based Language Universals Analysis using Universal Dependencies
SyntaxFest Quasy 2021 - Quantitative Syntax, Mar 2022, Sofia, Bulgaria
hal-01654279v1  Conference papers
V AvrutovP AksonenkoPatrick HenaffLaurent Ciarletta. 3D-Calibration of the IMU
ELNANO 2017 - IEEE 37th International Conference on Electronics and Nanotechnology, Apr 2017, KIEV, Ukraine. pp.1-6, ⟨10.1109/ELNANO.2017.7939782⟩
hal-02568428v1  Conference papers
Yaël KolasaThierry BastogneJean-Philippe GeorgesSylvain Kubler. Quality-by-design-engineered pBFT consensus configuration for medical device development
42nd Engineering in Medicine and Biology Conference, EMBC 2020, Jul 2020, Montreal, Canada
hal-03481253v1  Conference papers
Athénaïs VaginayTaha BoukhobzaMalika Smaïl-Tabbone. Automatic synthesis of boolean networks from biological knowledge and data
Journées Ouvertes en Biologie, Informatique et Mathématiques, JOBIM 2021, Jul 2021, Paris, France
hal-00755264v1  Conference papers
Iadine ChadèsJosie CarwardineTara MartinSamuel NicolRégis Sabbadin et al.  MOMDPs: a Solution for Modelling Adaptive Management Problems
Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), Jul 2012, Toronto, Canada. 7 p
hal-02433997v1  Conference papers
Arthur RenaudeauFrançois LauzeFabien PierreJf AujolJ.-D. Durou. Alternate Structural-Textural Video Inpainting for Spot Defects Correction in Movies
SSVM 2019 - Seventh International Conference on Scale Space and Variational Methods in Computer Vision, Jun 2019, Hofgeismar, Germany
hal-02965296v1  Conference papers
Arthur RenaudeauTravis SengAxel CarlierFabien PierreFrançois Lauze et al.  Learning Defects in Old Movies from Manually Assisted Restoration
ICPR 2020 - 25th International Conference on Pattern Recognition, Sep 2020, Milan / Virtual, Italy
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-01721492v1  Conference papers
Robin DavidSébastien BardinJosselin FeistLaurent MounierMarie-Laure Potet et al.  Specification of Concretization and Symbolization Policies in Symbolic Execution
ISSTA 2016 - The International Symposium on Software Testing and Analysis , Jul 2016, Saarland, Germany. pp.1-11
hal-01721502v1  Conference papers
Robin DavidSébastien BardinThanh TaJosselin FeistLaurent Mounier et al.  BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
3rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2016, Osaka, Japan
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⟩