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-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-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-01393492v1  Journal articles
Mohamad DaherAhmad DiabMaan El Badaoui El NajjarMohamad KhalilFrançois Charpillet. Elder Tracking and Fall Detection System using Smart Tiles
IEEE Sensors Journal, Institute of Electrical and Electronics Engineers, 2017, 17 (2), ⟨10.1109/JSEN.2016.2625099⟩
hal-01509756v1  Conference papers
Maan El Badaoui El NajjarCindy CappelleDenis PomorskiFrançois Charpillet. Fusion de données GPS, vision, Lidar et SIG3D pour la géo-localisation et la détection d’obstacles
7èmes Journées Nationales de la Recherche en Robotique (JNRR’2009), Nov 2009, Neuvy-sur-Barangeon, France
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-00821916v1  Journal articles
Cindy CappelleMaan El Badaoui El NajjarDenis PomorskiFrançois Charpillet. Intelligent Geolocalization in Urban Areas Using Global Positioning Systems, Three-Dimensional Geographic Information Systems, and Vision
Journal of Intelligent Transportation Systems: Technology, Planning, and Operations, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2010, 14 (1 (Part 2)), pp.3-12. ⟨10.1080/15472450903385999⟩
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⟩
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⟩
hal-03585479v1  Book sections
Frédéric SurBenoît BlaysatMichel Grédiac. Which Pattern for a Low Pattern-Induced Bias?
Sharlotte L.B. Kramer, Rachael Tighe, Ming-Tzer Lin, Cosme Furlong, Chi-Hung Hwang. Thermomechanics & Infrared Imaging, Inverse Problem Methodologies, Mechanics of Additive & Advanced Manufactured Materials, and Advancements in Optical Methods & Digital Image Correlation, Volume 4, Springer International Publishing, pp.103-105, 2022, Conference Proceedings of the Society for Experimental Mechanics Series, ⟨10.1007/978-3-030-86745-4_15⟩
hal-02930662v1  Conference papers
Viet-Nhat NguyenMostafa SadeghiElisa RicciXavier Alameda-Pineda. Deep Variational Generative Models for Audio-visual Speech Separation
MLSP 2021 - IEEE International Workshop on Machine Learning for Signal Processing, Oct 2021, Gold Coast, Australia
hal-02926172v2  Journal articles
Mostafa SadeghiXavier Alameda-Pineda. Mixture of Inference Networks for VAE-based Audio-visual Speech Enhancement
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2021, 69, pp.1899-1909. ⟨10.1109/TSP.2021.3066038⟩
hal-03339672v2  Conference papers
Youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan Kerrien. Une stratégie de données efficace pour la détection des anévrismes cérébraux avec l'apprentissage profond
ORASIS 2021 - 18èmes journées francophones des jeunes chercheurs en vision par ordinateur, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
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-00969197v1  Book sections
Aurélie BeynierFrançois CharpilletDaniel SzerAbdel-Illah Mouaddib. DEC-MDP / DEC-POMDP
Olivier Buffet, Olivier Sigaud. Markov Decision Processes in Artificial Intelligence, Wiley-ISTE, pp.277-313, 2010, 978-1-84821-167-4
hal-01938635v1  Journal articles
Vassili RivronCécile Dolbeau-Bandin. La baguette magique du tout-connecté. Entretien avec Évelyne Broudoux
Terminal. Technologie de l’information, culture & société, L'Harmattan / CREIS, 2016, Us et abus de l'Internet, [11 p.]. ⟨10.4000/terminal.1552⟩
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-01246023v1  Book sections
Fabrice BouquetSébastien ChipeauxChristophe LangNicolas MarilleauJean-Marc Nicod et al.  Introduction à l'approche agent
Simulation spatiale à base d'agents avec NetLogo, partie 1, ISTE, pp.15--36, 2015
halshs-00666615v2  Book sections
Guillaume JacquetJean-Luc ManguinFabienne VenantBernard Victorri. Construire le sens d'un verbe dans son cadre prédicatif
F. Neveu, P. Blumenthal, N. Le Querler. Au commencement était le verbe. Syntaxe, Sémantique et Cognition, Peter Lang, pp.233-252, 2011
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-01985178v1  Conference papers
Radu RantaSteven Le CamGundars Bergmanis-KoratsSébastien RimbertLaurent Bougrain. On source space resolution in EEG brain imaging for motor imagery
9th International IEEE EMBS Conference on Neural Engineering, NER 2019, Mar 2019, San Francisco, United States
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-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-02433990v1  Conference papers
Arthur RenaudeauFrançois LauzeFabien PierreJf AujolJ.-D. Durou. Inpainting vidéo pour la restauration de films par reconstructions alternées de la structure et de la texture
ORASIS 2019 - 17ème journées francophones des jeunes chercheurs en vision par ordinateur, May 2019, Saint-Dié-des-Vosges, France
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-02974993v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
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-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
cea-01836560v1  Conference papers
Sebastien BardinMickael DelahayeRobin DavidNikolai KosmatovMike Papadakis et al.  Sound and quasi-complete detection of infeasible test requirements
ICST 2015 - IEEE 8th International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, ⟨10.1109/ICST.2015.7102607⟩
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-03477901v2  Book sections
Félix GaschiParisa RastinYannick Toussaint. Handling the Deviation from Isometry Between Domains and Languages in Word Embeddings: Applications to Biomedical Text Translation
Neural Information Processing, 13109, Springer International Publishing, pp.216-227, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92270-2_19⟩
hal-03578480v1  Conference papers
Félix GaschiAlexandre JoutardParisa RastinYannick Toussaint. Évaluation des propriétés multilingues d'un embedding contextualisé
EGC 2022 - Conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2022, Blois, France
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⟩
hal-03142461v1  Directions of work or proceedings
James Harold DavenportMatthew EnglandAlberto GriggioThomas SturmCesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking
Journal of Symbolic Computation, 100, Elsevier, 2020
hal-03142063v1  Conference papers
Thomas SturmAshish Tiwari. Verification and synthesis using real quantifier elimination
Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
hal-03142481v1  Directions of work or proceedings
Matthew EnglandWolfram KoepfTimur SadykovWerner SeilerThomas Sturm. Special Issue
Aug 2019, Moscow, Russia. Mathematics in Computer Science, Springer, 2021
hal-01377655v1  Conference papers
Eriká AbrahámJohn AbbottBernd BeckerAnna BigattiMartin Brain et al.  SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
hal-02977488v1  Book sections
Hamid RahkooyThomas Sturm. First-Order Tests for Toricity
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, 12291, pp.510-527, 2020, LNCS, ⟨10.1007/978-3-030-60026-6_30⟩
hal-03438922v1  Directions of work or proceedings
Matthew EnglandFrançois BoulierTimur SadykovThomas Sturm. Computer Algebra in Scientific Computing 2020
Mathematics in Computer Science, 15 (3), 2021