Skip to Main content Skip to Navigation


...
hal-03430293v1  Conference papers
Antoine Deleforge. Drone audition for search and rescue: Datasets and challenges
QUIET DRONES International Symposium on UAV/UAS Noise, Oct 2020, Paris, France
...
hal-02975012v1  Journal articles
Gilles BartheSandrine BlazyBenjamin GrégoireRémi HutinVincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
hal-03323382v1  Book sections
Olivier BuffetOlivier PietquinPaul Weng. Reinforcement Learning
A Guided Tour of Artificial Intelligence Research - Volume 1, Springer International Publishing, pp.389-414, 2020, 978-3-030-06164-7. ⟨10.1007/978-3-030-06164-7_12⟩
...
hal-03080314v1  Journal articles
Olivier BuffetJilles DibangoyeAbdallah SaffidineVincent Thomas. Heuristic Search Value Iteration for zero-sum Stochastic Games
IEEE Transactions on Games, Institute of Electrical and Electronics Engineers, 2020, pp.1-10. ⟨10.1109/TG.2020.3005214⟩
...
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-03196390v1  Journal articles
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Editorial of Special Issue on WSOM+ 2017
Neural Computing and Applications, Springer Verlag, 2020, 32, pp.17973-17975. ⟨10.1007/s00521-020-05481-7⟩
hal-03196372v1  Directions of work or proceedings
Jean-Charles LamirelMarie CottrellMadalina OlteanuBruno Lévy. Special Issue on WSOM+ 2017
Neural Computing and Applications, 32, 2020, Neural Computing and Applications
...
tel-03184002v1  Theses
Pierre-Olivier Brissaud. Analyse de trafic HTTPS pour la supervision d'activités utilisateurs
Réseaux et télécommunications [cs.NI]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0255⟩
...
hal-02909383v2  Conference papers
Alexandre BazinMiguel CouceiroMarie-Dominique MorchAmedeo Napoli. Explaining Multicriteria Decision Making with Formal Concept Analysis
Concept Lattices and Applications 2020, Jun 2020, Tallinn, Estonia
hal-03173193v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computability, Decidability and Logic
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, pp.1-50, 2020, ⟨10.1007/978-3-030-06170-8_1⟩
...
hal-03016721v1  Journal articles
Marie CanditoMathieu ConstantCarlos RamischAgata SavaryBruno Guillaume et al.  A French corpus annotated for multiword expressions and named entities
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2020, 8 (2), pp.415-479. ⟨10.15398/jlm.v8i2.265⟩
...
hal-02493067v1  Conference papers
Pierre MonninMiguel CouceiroAmedeo NapoliAdrien Coulet. Knowledge-Based Matching of $n$-ary Tuples
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano / Virtual, Italy. pp.48-56, ⟨10.1007/978-3-030-57855-8_4⟩
hal-03145431v1  Journal articles
Armin BiereCesare TinelliChristoph Weidenbach. Preface to the Special Issue on Automated Reasoning Systems
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.361-362. ⟨10.1007/s10817-019-09531-1⟩
...
hal-03143502v1  Conference papers
Heba AlkayedHoratiu CirsteaStephan Merz. An Extension of PlusCal for Modeling Distributed Algorithms
TLA+ Community Event 2020, Oct 2020, Freiburg (online), Germany
hal-03142461v1  Directions of work or proceedings
James Harold DavenportMatthew EnglandAlberto GriggioThomas SturmCesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking
Journal of Symbolic Computation, 100, Elsevier, 2020
hal-03141064v1  Conference papers
Patrick KoopmannWarren Del-PintoSophie TourretRenate Schmidt. Signature-Based Abduction for Expressive Description Logics
17th International Conference on Principles of Knowledge Representation and Reasoning , Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩
...
hal-03141063v1  Conference papers
Fajar HaifaniPatrick KoopmannSophie TourretChristoph Weidenbach. On a Notion of Relevance
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
hal-03140916v1  Conference papers
Hamid RahkooyCristian Vargas Montero. A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC 2020, Sep 2020, Timisoara/Virtual, Romania
...
hal-03137351v1  Conference papers
Nino VieillardTadashi KozunoBruno ScherrerOlivier PietquinRémi Munos et al.  Leverage the Average: an Analysis of KL Regularization in Reinforcement Learning
NeurIPS - 34th Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Online, Canada
...
hal-03137343v1  Conference papers
Nino VieillardBruno ScherrerOlivier PietquinMatthieu Geist. Momentum in Reinforcement Learning
AISTATS 2020 - 23rd International Conference on Artificial Intelligence and Statistics, Aug 2020, Palermo / Virtual, Italy
...
hal-03134114v1  Conference papers
Mathilde BoltenhagenBenjamin ChetiouiLaurine Huber. An Alignment Cost-Based Classification of Log Traces Using Machine-Learning
ML4PM2020 - First International Workshop on Leveraging Machine Learning in Process Mining, Oct 2020, Padua/ Virtual, Italy. ⟨10.1007/978-3-030-72693-5_11⟩
hal-03131246v1  Journal articles
Maxime Amblard. Le problème des 8 reines
Interstices, INRIA, 2020
hal-03130356v1  Book sections
Xavier Goaoc. Convexité combinatoire
Informatique Mathématique : Une photographie en 2020, 2020, 978-2271134134
...
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
tel-03125702v1  Theses
Harenome Razanajato. Polyhedral Code Generation: Reducing Overhead and Increasing Parallelism
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Strasbourg (Unistra), FRA., 2020. English
hal-03122451v1  Conference papers
Alexandre BlanschéLydia Boudjeloud-Assala. Biclustering itératif par une approche évolutionnaire
EGC 2020 Extraction et Gestion des Connaissances, Jan 2020, Brussels, Belgique
...
hal-03122350v1  Conference papers
Amedeo Napoli. FCA and Knowledge Discovery (Tutorial)
ICCS 2020 - 25th International Conference on Conceptual Structures, Sep 2020, Bolzano/ Virtual, Italy. ⟨10.1007/978-3-030-57855-8⟩
...
hal-03122343v1  Conference papers
Jaume BaixeriesVictor CodocedoMehdi KaytoueAmedeo Napoli. Building a Representation Context Based on Attribute Exploration Algorithms
FCA4AI 2020 - 8th International Workshop "What can do for Artificial Intelligence?", Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph, Aug 2020, Santiago de Compostela/Virtual, Spain. pp.141--152
hal-03121356v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Closure Structure: a Deeper Insight
The 8th International Workshop "What can FCA do for Artificial Intelligence?", Aug 2020, Santiago de Compostela, Spain
...
hal-03120781v1  Conference papers
Boaz BarakRaphaëlle CrubilléUgo Dal Lago. On Higher-Order Cryptography
ICALP 2020 - 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩
...
hal-03119305v1  Book sections
Béatrice FuchsJean LieberLaurent MicletAlain MilleAmedeo Napoli et al.  Case-Based Reasoning, Analogy, and Interpolation
Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Volume I: Knowledge Representation, Reasoning and Learning, Springer International Publishing, pp.307-339, 2020, A Guided Tour of Artificial Intelligence Research, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_10⟩
...
hal-03119295v1  Directions of work or proceedings
Sergei KuznetsovAmedeo NapoliSebastian Rudolph. Eighth International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at ECAI 2020)
Sergei O. Kuznetsov; Amedeo Napoli; Sebastian Rudolph. 8th International Workshop "What can do for Artificial Intelligence?" (FCA4AI 2020), Aug 2020, Santiago de Compostela, Spain. CEUR Workshop Proceedings (CEUR-WS.org) (2729), pp.153, 2020, Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020)
...
hal-03101938v1  Journal articles
Ashwin Geet d'SaIrina IllinaDominique Fohr. Classification of Hate Speech Using Deep Neural Networks
Revue d'Information Scientifique & Technique , Centre de Recherche sur l'Information Scientifique et Technique (CERIST), 2020, From Data and Information Processing to Knowledge Organization : Architectures, Models and Systems, 25 (01)
...
hal-03109552v1  Conference papers
Yael KolasaEliott GandioleThierry Bastogne. Quality-by-design development of a patient mobility e-monitoring system
2nd EAI International Conference on Wearables in Healthcare, EAI HealthWear 2020, Dec 2020, Virtual, France
...
hal-03108936v1  Journal articles
Arthur Charguéraud. Separation Logic for Sequential Programs
Proceedings of the ACM on Programming Languages, ACM, 2020, 4, ⟨10.1145/3408998⟩
...
hal-02996034v1  Journal articles
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Inferring attributes with picture metadata embeddings
ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, Association for Computing Machinery (ACM), 2020, 20 (2), pp.36-45. ⟨10.1145/3412816.3412819⟩
...
hal-03106208v1  Conference papers
Uwe WaldmannSophie TourretSimon RobillardJasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
...
hal-03103869v1  Conference papers
Guillaume GirolLucca HirschiRalf SasseDennis JacksonCas Cremers et al.  A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
USENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
...
hal-02499206v2  Journal articles
Emmanuel HainryRomain Péchoux. Theory of Higher Order Interpretations and Application to Basic Feasible Functions
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (4), pp.25. ⟨10.23638/LMCS-16(4:14)2020⟩
...
hal-03090771v1  Reports
Jens GustedtRobert Seacord. Deferred cleanup and error handling in C
[Research Report] RR-9385, Inria Nancy - Grand Est. 2020, pp.19
...
hal-03090873v1  Conference papers
Ioannis DourosChrysanthi DourouYu XieJacques FelblingerKaryna Isaieva et al.  Synthesize MRI vocal tract data during CV production
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090869v1  Conference papers
Anastasiia TsukanovaIoannis DourosYves Laprie. DNN-Based Parametric Speech Synthesis Enhanced With Articulatory Information
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090865v1  Conference papers
Ioannis DourosYu XieChrysanthi DourouJacques FelblingerKaryna Isaieva et al.  Vocal tract sagittal slices estimation from MRI midsagittal slices during speech production of CV
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090859v1  Conference papers
Karyna IsaievaYves LaprieAlexis HoussardJacques FelblingerPierre-André Vuissoz. Tracking the tongue contours in rt-MRI films with an autoencoder DNN approach
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03090851v1  Conference papers
Amélie ElmerichAngelique AmelotShinji MaedaYves LaprieJean Francois Papon et al.  F1 and F2 measurements for French oral vowel with a new pneumotachograph mask
ISSP 2020 - 12th International Seminar on Speech Production, Dec 2020, Providence / Virtual, United States
...
hal-03088227v1  Conference papers
Nida KhanAbdelkader LahmadiZsofia KräusslRadu State. Management plane for differential privacy preservation through smart contracts
AICCSA 2020 - 17th ACS/IEEE International Conference on Computer Systems and Applications, Nov 2020, Antalya / Virtual, Turkey
hal-03087341v1  Book sections
Emmanuel JeandelPascal Vanier. The Undecidability of the Domino Problem
Substitution and Tiling Dynamics: Introduction to Self-inducing Structures, 2273, pp.293-357, 2020, ⟨10.1007/978-3-030-57666-0_6⟩
...
tel-03086269v1  Theses
Paul Huynh. Design and Analysis of Lightweight Encryption Schemes
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0223⟩
hal-03085699v1  Book sections
Sébastien FerréMarianne HuchardMehdi KaytoueSergei KuznetsovAmedeo Napoli. Formal Concept Analysis: From Knowledge Discovery to Knowledge Processing
Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, 2, Springer International Publishing, pp.411-445, 2020, AI Algorithms, 978-3-030-06167-8. ⟨10.1007/978-3-030-06167-8_13⟩
...
tel-02978986v3  Habilitation à diriger des recherches
Romain Péchoux. Complexité implicite : bilan et perspectives
Complexité [cs.CC]. Université de Lorraine, 2020
...
hal-03081548v1  Conference papers
Jilles DibangoyeOlivier BuffetAkshat Kumar. Multiagent Planning and Learning As MILP
JFPDA 2020 - Journées Francophones surla Planification, la Décision et l’Apprentissagepour la conduite de systèmes, Jun 2020, Angers (virtuel), France. pp.1-12
...
hal-03081320v1  Conference papers
Olivier BuffetJilles DibangoyeAurélien DelageAbdallah SaffidineVincent Thomas. Sur le principe d'optimalité de Bellman pour les zs-POSG
JFPDA 2020 - Journées Francophones surla Planification, la Décision et l’Apprentissagepour la conduite de systèmes, Jun 2020, Angers (virtuel), France. pp.1-3
hal-03080154v1  Conference papers
Jonathan Ferrer-MestresThomas DietterichOlivier BuffetIadine Chadès. Solving $K$-MDPs
ICAPS 2020 - International Conference on Automated Planning and Scheduling, Oct 2020, Nancy (virtuel), France
hal-03080234v1  Directions of work or proceedings
John Christopher BeckOlivier BuffetJörg HoffmannErez KarpasShirin Sohrabi. Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020.
ICAPS 2020 - the Thirtieth International Conference on Automated Planning and Scheduling, Oct 2020, 30, 2020, 978-1-57735-824-4
...
hal-03080192v1  Conference papers
Yuxuan XieJilles DibangoyeOlivier Buffet. Optimally Solving Two-Agent Decentralized POMDPs Under One-Sided Information Sharing
ICML 2020 - 37th International Conference on Machine Learning, Jul 2020, Vienne / Virtual, Austria. pp.1-10
hal-03076311v1  Conference papers
William BabonnaudPhilippe de Groote. Lexical selection, coercion, and record types
LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
...
hal-02990598v1  Conference papers
Antoine Defourné. Better Automation for TLA+ Proofs
JFLA 2020 - 31emes Journées Francophones des Langages Applicatifs, Zaynah Dargaye; Yann Regis-Gianas, Jan 2020, Gruissan, France
...
hal-02990614v1  Conference papers
Antoine DefournéPetar Vukmirovic. Higher-order Automation in TLAPS
TLA+ Community Event 2020, Oct 2020, Virtual, France
...
hal-03065632v1  Conference papers
Nazim HaouchineParikshit JuvekarAlexandra GolbyWilliam WellsStéphane Cotin et al.  Alignment of Cortical Vessels viewed through the Surgical Microscope with Preoperative Imaging to Compensate for Brain Shift
Medical Imaging 2020: Image-Guided Procedures, Robotic Interventions, and Modeling, Feb 2020, Houston, United States
...
hal-03065619v1  Journal articles
Nazim HaouchinePariskhit JuvekarAlexandra GolbySarah Frisken. Predicted Microscopic Cortical Brain Images for Optimal Craniotomy Positioning and Visualization
Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, Taylor & Francis, 2020, ⟨10.1080/21681163.2020.1834874⟩
...
hal-03065236v1  Conference papers
Maria BoritchevPhilippe de Groote. On dialogue modeling: a dynamic epistemic inquisitive approach
LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
...
hal-03053176v2  Book sections
Alain LeluMartine Cadot. Importance of Dataspace Embeddings when Evaluating Text Clustering Methods
Data Analysis and Rationality in a Complex World, In press
...
hal-03059811v1  Conference papers
Vincent DespréMichaël RaoStéphan Thomassé. Testing Balanced Splitting Cycles in Complete Triangulations
Canadian Conference on Computational Geometry (CCCG 2020), Aug 2020, Saskatchewan/Online, Canada. ⟨10.4230/LIPIcs⟩
...
hal-03059165v1  Journal articles
Peter Beim GrabenAxel HuttNorbert MarwanChristian UhlCharles Webber. Editorial: Recurrence Analysis of Complex Systems Dynamics
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, 6, ⟨10.3389/fams.2020.00033⟩
...
hal-03059155v1  Journal articles
F GuarracinoAxel Hutt. Editorial: Stability: A Current Overview
Frontiers in Applied Mathematics and Statistics, Frontiers Media S.A, 2020, 6, ⟨10.3389/fams.2020.610153⟩
...
hal-02967029v2  Conference papers
Serdar ErbaturAndrew MarshallChristophe Ringeissen. Terminating Non-Disjoint Combined Unification
LOPSTR 2020 - 30th International Symposium on Logic-based Program Synthesis and Transformation, Maurizio Gabbrielli, Sep 2020, Bologna, Italy. pp.113-130, ⟨10.1007/978-3-030-68446-4_6⟩
...
hal-03054936v1  Journal articles
Irina IllinaDominique Fohr. RNN Language Model Estimation for Out-of-Vocabulary Words
Lecture Notes in Artificial Intelligence, Springer, In press, 12598, ⟨10.1007/978-3-030-66527-2_15⟩
...
tel-03052499v1  Theses
Simon Masson. Algorithmic of curves in the context of bilinear and post-quantum cryptography
Cryptography and Security [cs.CR]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0151⟩
...
tel-03050597v1  Theses
Amal Houidhek. Synthèse paramétrique de la parole Arabe
Traitement du signal et de l'image [eess.SP]. Université de Lorraine; Université de Tunis El Manar (Tunisie), 2020. Français. ⟨NNT : 2020LORR0116⟩
...
hal-03049088v1  Conference papers
Sophie TourretPascal FontaineDaniel El OuraouiHaniel Barbosa. Lifting congruence closure with free variables to λ-free higher-order logic via SAT encoding
SMT 2020 - 18th International Workshop on Satisfiability Modulo Theories, Jul 2020, Online COVID-19, France
...
hal-02550688v2  Journal articles
Bérenger Bramas. TBFMM: A C++ generic and parallel fast multipole method library
Journal of Open Source Software, Open Journals, 2020, 5 (56), pp.2444. ⟨10.21105/joss.02444⟩
...
hal-02965319v2  Conference papers
Sorin Stratulat. SPIKE, an automatic theorem prover -- revisited
SYNASC2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2020, Timisoara, Romania. pp.93-96