Skip to Main content Skip to Navigation


...
hal-01402986v2  Journal articles
Agnès Piquard-KipfferTamara Léonova. Scolarité et handicap : parcours de 170 jeunes dysphasiques ou dyslexiques- dysorthographiques âgés de 6 à 20 ans
ANAE - Approche Neuropsychologique des Apprentissages Chez L'enfant, ANAE/PLEIOMEDIA, 2017
...
tel-00340299v1  Habilitation à diriger des recherches
Stéphanie Salmon. Contribution aux méthodes numériques pour la simulation d'écoulements de fluides, d'électromagnétisme et de physique des plasmas
Mathématiques [math]. Université Louis Pasteur - Strasbourg I, 2008
...
hal-01924979v1  Conference papers
Anne Gégout-PetitSophie Wantz-MézièresNassim Sahki. Retours d'expériences autour de l'évaluation des objets connectés en santé, fiabilité et aide à la décision
1ères rencontres académiques de l’Evaluation des objets connectés en santé, Oct 2018, Paris, France
...
hal-02192794v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Майнинг множеств признаков на основе сжатия: вероятностный подход
Proceedings of the 17th Russian Conference on Artificial Intelligence, Russian Association of Artificial Intelligence; Institute of Control Sciences Academician VA Trapeznikov; Ulyanovsk State Technical University; Federal Research Center “Computer Science and Control”, Oct 2019, Ulyanovsk, Russia. pp.164-172
...
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-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
...
hal-01698928v1  Reports
Olivier DevillersSylvain LazardWilliam Lenhart. 3D Snap Rounding
[Research Report] RR-9149, Inria Nancy - Grand Est. 2018, pp.1-22
...
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-03339617v1  Conference papers
Matthieu ZinsGilles SimonMarie-Odile Berger. 3D-Aware Ellipse Prediction for Object-Based Camera Pose Estimation
ORASIS 2021, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
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-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 221: 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-00744919v1  Conference papers
Juan Pablo TimpanaroIsabelle ChrismentOlivier Festor. A Bird's Eye View on the I2P Anonymous File-sharing Environment
The 6th International Conference on Network and System Security, Nov 2012, Wu Yi Shan, China