Skip to Main content Skip to Navigation


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-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-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-03032551v1  Conference papers
Philippe Helluy. Lattice Boltzmann Methods for Compressible Two-Phase Flow Problems
INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2019, Sep 2019, Rhodes, Greece. pp.030004, ⟨10.1063/5.0026705⟩
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-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
...
hal-02162927v2  Conference papers
Tatiana MakhalovaSergei 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 MorchChloé 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-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-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-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-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
...
hal-02381750v1  Conference papers
Paul GodardVincent LoechnerCédric BastoulFrederic SoulierGuillaume Muller. A Flexible and Distributed Runtime System for High-Throughput Constrained Data Streams Generation
IPDPSW 2019 - IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, May 2019, Rio de Janeiro, Brazil. pp.718-728, ⟨10.1109/IPDPSW.2019.00120⟩
...
hal-02368857v1  Conference papers
Lucca HirschiCas Cremers. Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions
EuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.635-650, ⟨10.1109/EuroSP.2019.00052⟩
...
hal-02632035v1  Conference papers
Jeanne DeleforterieThierry Bastogne. Protein corona characterization through analytical quality-by-design
8èmes Rencontres Annuelles en Nanométrologie, Jun 2019, Paris, France
hal-02532702v1  Conference papers
Alexis CourtaisFrançois LesageYannick PrivatPascal FreyAbderrazak Latifi. Numerical shape optimization in Fluid Mechanics at low Reynolds number
Process Control'2019 - 22nd International Conference on Process Control, Jun 2019, Strbske Pleso, Slovakia. pp.280-285, ⟨10.1109/PC.2019.8815038⟩
...
hal-02504017v1  Conference papers
Abir Ismaili-AlaouiKarim BaïnaKhalid Benali. Harnessing the power of data and event data for Business Process Improvement
CAISAM 2019 - Complexity Analysis of Industrial Systems and Advanced Modeling, Apr 2019, Ben Guerir, Morocco
hal-02501130v1  Conference papers
Michel Musiol. Improving the investigation of conversational discontinuities using the support of eye-tracking methods.
Workshop on Formal Approaches to (In)coherence and Dynamics in Dialogue, Oct 2019, Göteborg, Sweden
...
hal-02499318v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. Tiered complexity at higher order
DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
hal-02499348v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. Tiered complexity at higher order
MLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
...
hal-02116493v4  Conference papers
Alain LeluMartine Cadot. Evaluation of text clustering methods and their dataspace embeddings: an exploration
IFCS 2019 - 16th International of the Federation of Classification Societies, Aug 2019, Thessaloniki, Greece
...
hal-02456534v1  Conference papers
Maxime SchmittPhilippe HelluyCédric Bastoul. Think Unlimited and Compress Data Automatically
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France