Skip to Main content Skip to Navigation

hal-01660621v1  Journal articles
Haichuan SongJonàs MartínezPierre BedellNoemie VenninSylvain Lefebvre. Colored fused filament fabrication
ACM Transactions on Graphics, Association for Computing Machinery, 2019, 38 (5), pp.1-11. ⟨10.1145/3183793⟩
hal-03621261v1  Journal articles
hal-03576345v1  Directions of work or proceedings
Frédéric BertrandMyriam Maumy-BertrandAurélie MullerSandie FerrignoDidier Marx et al.  Mathématiques pour les sciences de l’ingénieur - Tout le cours en fiches
F. Bertrand; M. Maumy-Bertrand. Dunod, 576 p., 2019, 9782100791033
hal-02167838v2  Reports
Jens Gustedt. Remove ATOMIC VAR INIT
[Research Report] N2886, ISO JTC1/SC22/WG14. 2019
hal-02383654v1  Books
Jens Gustedt. Modern C
Manning, 2019, 9781617295812
hal-03270271v1  Conference papers
Jérémie GaidamourXavier Antoine. A parallel framework for the numerical simulation of Bose–Einstein condensates
International Conference on Scientific Computation and Differential Equations (SciCADE), Jul 2019, Innsbruck, Austria
hal-02388730v1  Conference papers
Stephen PfohlBen MarafinoAdrien CouletFatima RodriguezLatha Palaniappan et al.  Creating Fair Models of Atherosclerotic Cardiovascular Disease Risk
AIES '19 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, Jan 2019, Honolulu, United States. pp.271-278, ⟨10.1145/3306618.3314278⟩
hal-03122473v1  Conference papers
Lydia Boudjeloud-Assala. How to evaluate a subspace visual projection in interactive visual systems? A position paper
IEEE VIS 2019 - EVIVA-ML workshop on EValuation of Interactive VisuAl Machine Learning systems, Oct 2019, Vancouver, Canada
hal-03118698v1  Conference papers
Laure CrochepierreAntoine MarotVincent BarbesantBenjamin DonnotLydia Boudjeloud-Assala. Labellisation semi-supervisée de données : Vers une approche experte étendue
GAST 2019 - Atelier Gestion et Analyse des données Spatiales et Temporelles, Jan 2019, Metz, France
hal-02388234v1  Conference papers
Elena AndreevaVirginie LallemandAntoon PurnalReza ReyhanitabarArnab Roy et al.  Forkcipher: A New Primitive for Authenticated Encryption of Very Short Messages
ASIACRYPT 2019 - 25th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.153-182, ⟨10.1007/978-3-030-34621-8_6⟩
hal-02095574v2  Journal articles
Adrien TaccoenChristian C. PiedalluIngrid SeynaveVincent V. PerezAnne Gégout-Petit et al.  Background mortality drivers of European tree species : climate change matters
Proceedings of the Royal Society B: Biological Sciences, Royal Society, The, 2019, 286 (1900), pp.20190386. ⟨10.1098/rspb.2019.0386⟩
hal-02303491v3  Conference papers
Victor Michel-DansacAndrea Thomann. On high-precision L-stable IMEX schemes for scalar hyperbolic multi-scale equations
Recent Advances in Numerical methods for Hyperbolic PDE Systems. Selected talks of Numhyp 2019, Jun 2019, Málaga, Spain. ⟨10.1007/978-3-030-72850-2_4⟩
hal-03035415v1  Poster communications
Sébastien RimbertNathalie T H GayraudLaurent Bougrain. Towards a new passive Brain-computer interface to detect accidental awareness during general anesthesia
Journées CORTICO 2019 - COllectif pour la Recherche Transdisciplinaire sur les Interfaces Cerveau-Ordinateur, Mar 2019, Lille, France
hal-03032551v1  Conference papers
Philippe Helluy. Lattice Boltzmann Methods for Compressible Two-Phase Flow Problems
hal-03018473v1  Conference papers
Vladimir Zamdzhiev. Reflecting Algebraically Compact Functors
Applied Category Theory 2019, Jul 2019, Oxford, United Kingdom. ⟨10.4204/EPTCS.323.2⟩
hal-03018447v1  Conference papers
Bert LindenhoviusMichael MisloveVladimir Zamdzhiev. Mixed linear and non-linear recursive types
International Conference on Functional Programming, Aug 2019, Berlin, Germany. ⟨10.1145/3341715⟩
hal-02988015v1  Book sections
Sophie TourretAndrew Cropper. SLD-Resolution Reduction of Second-Order Horn Fragments
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp.259-276, 2019, ⟨10.1007/978-3-030-19570-0_17⟩
hal-02984963v1  Conference papers
Manuel AtenciaJérôme DavidJérôme EuzenatAmedeo NapoliJérémy Vizzini. A guided walk into link key candidate extraction with relational concept analysis
ISWC 2019 - 18th International Semantic Web Conference, Oct 2019, Auckland, New Zealand. pp.1-9
hal-02162927v2  Conference papers
Tatiana MakhalovaSergei O. KuznetsovAmedeo Napoli. Numerical Pattern Mining Through Compression
DCC 2019 - 2019 Data Compression Conference, Mar 2019, Snowbird, United States. pp.112-121, ⟨10.1109/DCC.2019.00019⟩
hal-02974531v1  Conference papers
Charles ColuzziJulie LaoGérard GuédonMarie-Dominique DevignesChloé Ambroset et al.  The ICE/IME Finder approach and its application to ICE/IME annotation in Streptococcus.
8th symposium on Antimicrobial Resistance in Animal and Environment, Jul 2019, Tours, France
hal-02974525v1  Poster communications
Charles ColuzziJulie LaoGérard GuédonMarie-Dominique DevignesChloé Ambroset et al.  The ICE/IME Finder approach and its application to ICE/IME annotation in Streptococcus
4th International Workshop on Streptococcus suis, Jun 2019, Montréal, Canada
hal-02971348v1  Conference papers
Brieuc Conan-GuezAlain GélyLydia Boudjeloud-AssalaAlexandre Blansché. Comparaison et Partitionnement de Séries Temporelles Basés sur la Forme des Séries
XXVIe Rencontres de la Société Francophone de Classification, Sep 2019, Nancy, France
hal-02195498v1  Conference papers
Victor CodocedoJaume BaixeriesMehdi KaytoueAmedeo Napoli. Sampling Representation Contexts with Attribute Exploration
ICFCA 2019 - 15th International Conference on Formal Concept Analysis, Jun 2019, Frankfurt, Germany. pp.307-314, ⟨10.1007/978-3-030-21462-3_20⟩
hal-02368832v1  Journal articles
Lucca HirschiDavid BaeldeStéphanie Delaune. A method for unbounded verification of privacy-type properties
Journal of Computer Security, IOS Press, 2019, 27 (3), pp.277-342. ⟨10.3233/JCS-171070⟩
hal-02368842v1  Book sections
David BasinLucca HirschiRalf Sasse. Symbolic Analysis of Identity-Based Protocols
Springer. Foundations of Security, Protocols, and Equational Reasoning, Springer (11565), pp.112-134, 2019, LNCS, ⟨10.1007/978-3-030-19052-1_9⟩
hal-02944663v1  Conference papers
Sandra RasoamiaramananaGilles Macario-RatMarine Minier. White-Box Traitor-Tracing from Tardos Probabilistic Codes
SecITC 2019: Innovative Security Solutions for Information Technology and Communications, Nov 2019, Bucharest, Romania. pp.125-141, ⟨10.1007/978-3-030-41025-4_9⟩
hal-02940717v1  Conference papers
Matthijs EbbensIordan IordanovMonique TeillaudGert Vegter. Delaunay triangulations of symmetric hyperbolic surfaces
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands
hal-02394484v1  Conference papers
Maria-Elisa Ruiz-EcharteaIsaure Chauvot de BeauchêneDavid Ritchie. EROS-DOCK and EROS-DOCK MULTI-BODY Approach
CAPRI evaluation meeting, Apr 2019, Hinxton, United Kingdom
hal-02393039v1  Conference papers
Antoine MoniotSjoerd de VriesDave RitchieIsaure Chauvot de Beauchêne. NAfragDB: A Multi-Purpose Structural Database of Nucleic-Acid/Protein Complexes for Advances Users
21e congrès du Groupe de graphisme et modélisation moléculaire (GGMM), Apr 2019, Nice, France
hal-02912341v1  Conference papers
Alain GélyMiguel CouceiroAmedeo Napoli. Embedding median graphs into minimal distributive ∨-semi-lattices
NFMCP 2019 - 8th International Workshop on New Frontiers in Mining Complex Patterns in conjunction with ECML-PKDD 2019, Sep 2019, Wùzburg, Germany
hal-02912328v1  Conference papers
Alain GélyMiguel CouceiroAmedeo Napoli. Analyse de Concepts Formels, distributivité et modèles de graphes médians pour la phylogénie
XXVIe Rencontres de la Société Francophone de Classification, INRIA; LORIA; CNRS; Université de Lorraine, Sep 2019, Nancy, France. pp.147
hal-02123709v1  Conference papers
Siva AnantharamanPeter HibbsPaliath NarendranMichaël Rusinowitch. Unification modulo Lists with Reverse, Relation with Certain Word Equations
CADE-27 - The 27th International Conference on Automated Deduction, Association for Automated Reasoning (AAR), Aug 2019, Natal, Brazil. pp.1--17, ⟨10.1007/978-3-030-29436-6_1⟩
hal-02394144v1  Conference papers
Olivier DevillersCharles Duménil. A Poisson sample of a smooth surface is a good sample
EuroCG 2019 - 35th European Workshop on Computational Geometry, Mar 2019, Utrecht, Netherlands