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-01655955v1  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiJirka MaršíkStefan Jokulsson. (In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
hal-01655957v2  Directions of work or proceedings
Maxime AmblardMichel MusiolManuel RebuschiMarie-Hélène PierreStefan Jokulsson. (In)Coherence of discourse 4
Mar 2017, Nancy, France. Published by the authors, 2017
hal-00561442v1  Conference papers
Julien GroslambertJacques JulliandOlga Kouchnarenko. {JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.41--48
hal-00563313v1  Conference papers
Pierre-Cyrille HeamVincent HugotOlga Kouchnarenko. {SAT} Solvers for Queries over Tree Automata with Constraints
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France
hal-01518764v1  Conference papers
Jean-Baptiste MouretKonstantinos Chatzilygeroudis. 20 Years of Reality Gap: a few Thoughts about Simulators in Evolutionary Robotics
Workshop "Simulation in Evolutionary Robotics", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany. ⟨10.1145/3067695.3082052⟩
hal-00434332v1  Documents associated with scientific events
Susanne AlbersJean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science (STACS)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, LIPIcs. STACS - 2009, Feb 2009, FREIBURG, Germany. 090001, pp.1-7, 2009, Dagstuhl Seminar Proceedings
inria-00549415v1  Documents associated with scientific events
Jean-Yves MarionThomas Schwentick. 27th International Symposium on Theoretical Aspects of Computer Science (STACS)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Mar 2010, Nancy, France
hal-01188738v1  Conference papers
Yves LaprieBenjamin ElieAnastasiia Tsukanova. 2D Articulatory Velum Modeling Applied to Copy Synthesis of Sentences Containing Nasal Phonemes
International Congress of Phonetic Sciences, Aug 2015, Glasgow, United Kingdom
hal-01240344v1  Journal articles
Jean HergelSylvain Lefebvre. 3D Fabrication of 2D Mechanisms
Computer Graphics Forum, Wiley, 2015, ⟨10.1111/cgf.12555⟩
hal-01254388v1  Conference papers
Raffaella TrivisonneIgor PeterlikStéphane CotinHadrien Courtecuisse. 3D Physics-Based Registration of 2D Dynamic MRI Data
MMVR - Medicine Meets Virtual Reality, Apr 2016, Los Angeles, United States
hal-01727375v1  Conference papers
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
Proceedings of the 34th International Symposium on Computational Geometry, Jun 2018, Budapest, Hungary. pp.30:1 - 30:14, ⟨10.4230/LIPIcs.SoCG.2018.30⟩
hal-01698928v1  Reports
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
[Research Report] RR-9149, Inria Nancy - Grand Est. 2018, pp.1-22
hal-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
hal-02975379v2  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
3DV 2020 - International Virtual Conference on 3D Vision, Nov 2020, Fukuoka / Virtual, Japan
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-03540836v1  Directions of work or proceedings
Sergei KuznetsovAmedeo NapoliSebastian Rudolph. 9th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2021)
CEUR Workshop Proceedings. IJCAI 2021, Aug 2021, Montréal/virtual, Canada. CEUR Workshop Proceedings (http://ceur-ws.org/Vol-2972) (2972), pp.139, 2021, Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2021)
hal-03346500v1  Conference papers
Claire TheobaldBastien ArcelinFrédéric PennerathBrieuc Conan-GuezMiguel Couceiro et al.  A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression
ECML PKDD 2021 - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2021, Bilbao, Spain. pp.135
hal-03122764v1  Conference papers
Claire TheobaldFrédéric PennerathBrieuc Conan-GuezMiguel CouceiroAmedeo Napoli. A Bayesian Neural Network based on Dropout Regulation
Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France
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-03666488v1  Reports
Loïc Dubois. A bound for Delaunay flip algorithms on flat tori
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2022
hal-03352656v1  Conference papers
Thibault TricardJimmy EtienneCédric ZanniSylvain Lefebvre. A brick in the wall: Staggered orientable infills for additive manufacturing
SCF 2021 - ACM Symposium on Computational Fabrication, Oct 2021, Boston/Virtual, United States. pp.1-8, ⟨10.1145/3485114.3485117⟩
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
hal-03200480v1  Conference papers
Maxime AmblardMiguel Couceiro. A Broad NLP Training from Speech to Knowledge
NAACL 2021 - 5th Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
hal-01063805v1  Reports
Jonathan Le RouxEmmanuel Vincent. A categorization of robust speech processing datasets
[Technical Report] Mitsubishi Electric Research Labs TR2014-116, 2014
inria-00332390v1  Conference papers
Jean-Yves MarionRomain Péchoux. A Characterization of NCk by First Order Functional Programs
5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
hal-00906814v1  Conference papers
My Thao TangYannick Toussaint. A Collaborative Approach for FCA-Based Knowledge Extraction
CLA - The Tenth International Conference on Concept Lattices and Their Applications - 2013, Oct 2013, La Rochelle, France
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
hal-01878682v2  Journal articles
Andrea MendizabalTatiana FountoukidouJan HermannRaphael SznitmanStéphane Cotin. A Combined Simulation & Machine Learning Approach for Image-based Force Classification during Robotized Intravitreal Injections
Medical image computing and computer-assisted intervention : MICCAI .. International Conference on Medical Image Computing and Computer-Assisted Intervention, Springer, 2018
hal-03115781v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. A comparative study of different features for efficient automatic hate speech detection
IPrA 2021 - 17th International Pragmatics Conference, Jun 2021, Winterthur, Switzerland
hal-01835437v1  Conference papers
Wissem InoubliSabeur AridhiHaithem MezniMondher MaddouriEngelbert Mephu Nguifo. A Comparative Study on Streaming Frameworks for Big Data
VLDB 2018 - 44th International Conference on Very Large Data Bases : Workshop LADaS - Latin American Data Science, Aug 2018, Rio de Janeiro, Brazil. pp.1-8
hal-01251968v1  Conference papers
César BernardiniThomas SilverstonOlivier Festor. A Comparison of Caching Strategies for Content Centric Networking
IEEE Global Communication Conference, Dec 2015, San Diego, United States
hal-01518814v1  Conference papers
Vassilis VassiliadesKonstantinos ChatzilygeroudisJean-Baptiste Mouret. A comparison of illumination algorithms in unbounded spaces
Workshop "Measuring and Promoting Diversity in Evolutionary Algorithms", Genetic and Evolutionary Computation Conference, 2017, Berlin, Germany
hal-01529623v2  Conference papers
Emmanuel JeandelSimon PerdrixRenaud Vilmart. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
The 33rd Annual Symposium on Logic in Computer Science, 2018, Jul 2018, Oxford, United Kingdom. pp.559--568, ⟨10.1145/3209108.3209131⟩
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy