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-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. pp.1-9
...
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 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-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-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-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
...
hal-02437374v1  Conference papers
Maria SanchezSatoru MishimaMasayuki FujiwaraGuangyi AiMelanie Jouaiti et al.  Methodological Design for Integration of Human EEG Data with Behavioral Analyses into Human-Human/Robot Interactions in a Real-World Context
ICICIC2019 - The 14th International Conference on Innovative Computing, Information and Control, Aug 2019, Seoul, South Korea. pp.8
hal-02437172v1  Conference papers
Maryline LaurentOlivier PaulGregory BlancBruno CarronNicolas Charbonnier et al.  MOOC Sécurité des réseaux: un apprentissage massif de la sécurité par la théorie et la pratique
RESSI 2019: Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1-4
...
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-02421693v1  Conference papers
Sonia Haddad-VanierCéline GicquelLila BoukhatemKahina LazriPaul Chaignon. Virtual network functions placement for defense against distributed denial of service attacks
ICORES 2019 - 8th International Conference on Operations Research and Enterprise Systems, Feb 2019, Praque, Czech Republic
...
hal-02418029v1  Conference papers
William Babonnaud. A Topos-Based Approach to Building Language Ontologies
Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩
...
hal-02413950v1  Conference papers
Abir Ismaili-AlaouiOuafae KasmiAmine BaïnaKarim BaïnaKhalid Benali et al.  Priority-based Event Management using Fuzzy Logic for an IoT-BPM Architecture
SOCA 2019 - The 12th IEEE International Conference on Service Oriented Computing and Applications, Nov 2019, Kaohsiung, Taiwan
hal-02413388v1  Conference papers
Niel de BeaudrapRoss DuncanDominic HorsmanSimon Perdrix. Pauli Fusion: a computational model to realise quantum transformations from ZX terms
QPL'19 : International Conference on Quantum Physics and Logic, Jun 2019, Los Angeles, United States
...
hal-02407443v1  Conference papers
Athénaïs VaginayMalika Smaïl-TabboneTaha Boukhobza. Towards an automatic conversion from SBML core to SBML qual
Journées Ouvertes Biologie, Informatique et Mathématiques, JOBIM 2019, Jul 2019, Nantes, France
...
hal-02406758v1  Conference papers
Sény DiattaGuillaume MorozMarc Pouget. Reliable Computation of the Singularities of the Projection in R3 of a Generic Surface of R4
MACIS 2019 - Mathematical Aspects of Computer and Information Sciences, Nov 2019, Gebze-Istanbul, Turkey
...
hal-02406673v1  Conference papers
Christoph Weidenbach. The Challenge of Unifying Semantic and Syntactic Inference Restrictions
2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
...
hal-02406605v1  Conference papers
Andreas TeuckeMarco VoigtChristoph Weidenbach. On the Expressivity and Applicability of Model Representation Formalisms
FroCoS 2019 - 12th International Symposium on Frontiers of Combining Systems, 2019, London, United Kingdom. pp.22-39, ⟨10.1007/978-3-030-29007-8_2⟩
...
hal-02405752v1  Conference papers
Viviane LedouxGuillaume Moroz. Evaluation of Chebyshev polynomials on intervals and application to root finding
Mathematical Aspects of Computer and Information Sciences 2019, Nov 2019, Gebze, Turkey
...
hal-02405550v1  Conference papers
Alberto FioriChristoph Weidenbach. SCL: Clause Learning from Simple Models
27th International Conference on Automated Deduction, 2019, Natal, Brazil. pp.233-249, ⟨10.1007/978-3-030-29436-6_14⟩
...
hal-02405524v1  Conference papers
Martin BrombergerMathias FleurySimon SchwarzChristoph Weidenbach. SPASS-SATT: A CDCL(LA) Solver
CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.111-122, ⟨10.1007/978-3-030-29436-6_7⟩
...
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-02404701v1  Conference papers
Gilles BartheBenjamin GrégoireCharlie JacommeSteve KremerPierre-Yves Strub. Symbolic Methods in Computational Cryptography Proofs
CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
...
hal-02403717v1  Conference papers
Wazen ShbairMathis SteichenJérôme FrançoisRadu State. BlockZoom: Large-Scale Blockchain Testbed
ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency - Demo, May 2019, Seoul, South Korea. pp.5-6, ⟨10.1109/BLOC.2019.8751230⟩