Skip to Main content Skip to Navigation

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-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-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-02571466v1  Conference papers
Karën FortBruno GuillaumeYann-Alan PilatteMathieu ConstantNicolas Lefèbvre. Rigor Mortis: Annotating MWEs with a Gamified Platform
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France
hal-02611209v1  Conference papers
Alice MillourKarën Fort. Text Corpora and the Challenge of Newly Written Languages
1st Joint SLTU and CCURL Workshop (SLTU-CCURL 2020), May 2020, Marseille, France
hal-02965296v1  Conference papers
Arthur RenaudeauTravis SengAxel CarlierFabien PierreFrançois Lauze et al.  Learning Defects in Old Movies from Manually Assisted Restoration
ICPR 2020 - 25th International Conference on Pattern Recognition, Sep 2020, Milan / Virtual, Italy
hal-02965137v1  Book sections
Fabien PierreJf Aujol. Recent Approaches for Image Colorization
Handbook of Mathematical Models and Algorithms in Computer Vision and Imaging, In press
hal-00967742v5  Journal articles
Sorina IonicaEmmanuel Thomé. Isogeny graphs with maximal real multiplication
Journal of Number Theory, Elsevier, 2020, 207, pp.385-422. ⟨10.1016/j.jnt.2019.06.019⟩
hal-02977488v1  Book sections
Hamid RahkooyThomas Sturm. First-Order Tests for Toricity
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020, 12291, pp.510-527, 2020, LNCS, ⟨10.1007/978-3-030-60026-6_30⟩
hal-03034044v1  Book sections
Jessica ColombelDavid DaneyVincent BonnetFrançois Charpillet. Markerless 3D Human Pose Tracking in the Wild with fusion of Multiple Depth Cameras: Comparative Experimental Study with Kinect 2 and 3
M. A. R. Ahad et al. Activity and Behavior Computing, Smart Innovation, Systems and Technologies, Springer, 2020
hal-02634875v1  Journal articles
Sergei NikolaevStéphane Cotin. Estimation of boundary conditions for patient-specific liver simulation during augmented surgery
International Journal of Computer Assisted Radiology and Surgery, Springer Verlag, 2020, 15 (7), pp.1107-1115. ⟨10.1007/s11548-020-02188-x⟩
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-02964141v1  Conference papers
Yves LepageJean LieberIsabelle MornardEmmanuel NauerJulien Romary et al.  The French Correction: When Retrieval is Harder to Specify than Adaptation
ICCBR 2020 - 28th International Conference on Case-Based Reasoning, Jun 2020, Salamanca / Virtual, Spain. pp.15, ⟨10.1007/978-3-030-58342-2_20⟩
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-02921643v1  Conference papers
Nacira AbbasJérôme DavidAmedeo Napoli. Discovery of Link Keys in RDF Data Based on Pattern Structures: Preliminary Steps
CLA 2020 - The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn / Virtual, Estonia
hal-03002214v1  Journal articles
Mathilde BouvelMarni MishnaCyril Nicaud. Some families of trees arising in permutation analysis
The Electronic Journal of Combinatorics, Open Journal Systems, 2020, ⟨10.37236/6504⟩
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-01597114v1  Journal articles
Miriam BackensSimon PerdrixQuanlong Wang. Towards a Minimal Stabilizer ZX-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, In press, ⟨10.23638/LMCS-16(4:19)2020⟩
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⟩
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 ( (2729), pp.153, 2020, Proceedings of the 8th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2020)
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-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-02913224v1  Conference papers
Pierre MonninEmmanuel BressoMiguel CouceiroMalika Smaïl-TabboneAmedeo Napoli et al.  Tackling scalability issues in mining path patterns from knowledge graphs: a preliminary study
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
hal-02972975v1  Journal articles
Steven ChaplickThomas van DijkMyroslav KryvenJi-Won ParkAlexander Ravsky et al.  Bundled Crossings Revisited
Journal of Graph Algorithms and Applications, Brown University, 2020, ⟨10.7155/jgaa.00534⟩
hal-03018433v1  Conference papers
Vladimir Zamdzhiev. Computational Adequacy for Substructural Lambda Calculi
Applied Category Theory 2020, Jul 2020, Virtual, United States. ⟨10.4204/EPTCS.333.22⟩
hal-02469901v3  Conference papers
Diego Di CarloClément ElviraAntoine DeleforgeNancy BertinRémi Gribonval. BLASTER: An Off-Grid Method for Blind and Regularized Acoustic Echoes Retrieval -- with supplementary material
ICASSP 2020 - IEEE International Conference on Acoustic Speech and Signal Processing, IEEE, May 2020, Barcelona, Spain
hal-02903620v1  Conference papers
Véronique CortierStéphanie DelauneJannik Dreier. Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols
ESORICS 2020 - 25th European Symposium on Research in Computer Security, Sep 2020, Guilford, United Kingdom. pp.3--22, ⟨10.1007/978-3-030-59013-0_1⟩
hal-02962845v1  Conference papers
Luke BertotLucas NussbaumDavid Margery. Implementing SFA Support on an Established HPC-flavored Testbed: Lessons Learned
CNERT 2020 - Computer and Networking Experimental Research using Testbeds, in conjunction with IEEE INFOCOM 2020, Jul 2020, Toronto, Canada. pp.1-6
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-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-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-02435758v1  Conference papers
Melanie Jouaiti. Improving Motor Coordination in HRI with Bio-Inspired Controllers
HRI Pioneers Workshop 2020 - 15th annual Human-Robot Interaction Pioneers Workshop, Mar 2020, Cambridge, United Kingdom. ⟨10.1145/3371382.3377439⟩
hal-02289699v1  Book sections
Damien ChablatGuillaume MorozFabrice RouillierPhilippe Wenger. Using Maple to analyse parallel robots
Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
hal-02573638v1  Conference papers
David Espinel SarmientoAdrien LebreLucas NussbaumAbdelhadi Chari. Multi-site Connectivity for Edge Infrastructures DIMINET:DIstributed Module for Inter-site NETworking
CCGRID 2020: 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, IEEE; The University of Melbourne, May 2020, Melbourne, Australia. pp.1-10, ⟨10.1109/CCGrid49817.2020.00-81⟩
hal-02463336v2  Conference papers
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
hal-02498022v1  Journal articles
Étienne AndréDidier LimeNicolas Markey. Language Preservation Problems in Parametric Timed Automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
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-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-02880731v1  Book sections
Zaineb Chelly DagdiaMiroslav Mirchev. When Evolutionary Computing Meets Astro- and Geoinformatics
Knowledge Discovery in Big Data from Astronomy and Earth Observation, pp.283-306, 2020
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-02479502v1  Conference papers
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
tel-03021043v1  Theses
Raffaella Trivisonne. Image-guided Interactive Simulation for Endovascular Surgery
Modeling and Simulation. Université de Strasbourg, 2020. English
hal-02995855v1  Reports
Pierre ChampionDenis JouvetAnthony Larcher. Speaker information modification in the VoicePrivacy 2020 toolchain
[Research Report] INRIA Nancy, équipe Multispeech; LIUM - Laboratoire d'Informatique de l'Université du Mans. 2020
hal-01930573v1  Journal articles
Aude Le GluherPierre-Jean Spaenlehauer. A Fast Randomized Geometric Algorithm for Computing Riemann-Roch Spaces
Mathematics of Computation, American Mathematical Society, 2020, 89, pp.2399-2433. ⟨10.1090/mcom/3517⟩
hal-02962907v1  Conference papers
Samuele CornellMichel OlveraManuel ParienteGiovanni PepeEmanuele Principi et al.  Task-Aware Separation for the DCASE 2020 Task 4 Sound Event Detection and Separation Challenge
DCASE 2020 - 5th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2020, Virtual, Japan
hal-02879289v1  Conference papers
Xavier GoaocEmo Welzl. Convex Hulls of Random Order Types
SoCG 2020 - 36th International Symposium on Computational Geometry, 2020, Zürich / Virtual, Switzerland. pp.49:1--49:15, ⟨10.4230/LIPIcs.SoCG.2020.49⟩
hal-02457161v1  Conference papers
Jimmy EtienneSylvain Lefebvre. Procedural band patterns
Symposium on Interactive 3D Graphics and Games, Sep 2020, San Francisco, United States. pp.1 - 7, ⟨10.1145/3384382.3384522⟩
tel-02961882v1  Theses
Sunit Sivasankaran. Localization guided speech separation
Machine Learning [cs.LG]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0078⟩
hal-02923439v1  Conference papers
Georg OsangMael Rouxel-LabbéMonique Teillaud. Generalizing CGAL Periodic Delaunay Triangulations
ALGO 2020 - 28th European Symposium on Algorithms, Sep 2020, Pise / Virtual, Italy. pp.75:1--75:17, ⟨10.4230/LIPIcs.ESA.2020.75⟩
hal-02997277v1  Conference papers
Horatiu CirsteaAlexis GrallDominique Méry. Generating Distributed Programs from Event-B Models
International Workshop on Verification and Program Transformation, Apr 2020, Dublin, Ireland. pp.110-124, ⟨10.4204/EPTCS.320.8⟩
hal-02954843v1  Master thesis
Esteban Marquer. LatticeNN -- Deep Learning and Formal Concept Analysis
Artificial Intelligence [cs.AI]. 2020
hal-02966957v1  Journal articles
Serdar ErbaturAndrew MarshallChristophe Ringeissen. Computing Knowledge in Equational Extensions of Subterm Convergent Theories
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2020, 30 (6), pp.683-709. ⟨10.1017/S0960129520000031⟩
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-02555231v1  Conference papers
David BossensJean-Baptiste MouretDanesh Tarapore. Learning behaviour-performance maps with meta-evolution
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico
hal-02864678v1  Conference papers
Kevin DalleauMiguel CouceiroMalika Smaïl-Tabbone. Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs
IDA 2020 -18th International Symposium on Intelligent Data Analysis, Jun 2020, Konstanz / Virtual, Germany. pp.132-144, ⟨10.1007/978-3-030-44584-3_11⟩
hal-02943028v1  Conference papers
Vincent ThomasGérémy HutinOlivier Buffet. Monte Carlo Information-Oriented Planning
24th ECAI 2020 - European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela, Spain
hal-02912874v1  Conference papers
Esteban MarquerAjinkya KulkarniMiguel Couceiro. Embedding Formal Contexts Using Unordered Composition
FCA4AI - 8th International Workshop "What can FCA do for Artificial Intelligence?" (colocated wit ECAI2020), Aug 2020, Santiago de Compostela, Spain
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-02938919v1  Book sections
Mathieu HoyrupJason Rute. Computable Measure Theory and Algorithmic Randomness
Handbook of Computable Analysis, In press
hal-02922660v1  Journal articles
Prosenjit BoseJean-Lou de CarufelOlivier Devillers. Expected Complexity of Routing in $\Theta_6$ and Half-$\Theta_6$ Graphs
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2020, 11 (1), pp.212 - 234. ⟨10.20382/jocg.v11i1a9⟩
hal-02990614v1  Conference papers
Antoine DefournéPetar Vukmirovic. Higher-order Automation in TLAPS
TLA+ Community Event 2020, Oct 2020, Virtual, France
hal-02891700v4  Conference papers
Nicolas TurpaultScott WisdomHakan ErdoganJohn HersheyRomain Serizel et al.  Improving Sound Event Detection In Domestic Environments Using Sound Separation
DCASE Workshop 2020 - Detection and Classification of Acoustic Scenes and Events, Nov 2020, Tokyo / Virtual, Japan
hal-02945065v1  Journal articles
Hamid BoukerrouPaul HuynhVirginie LallemandBimal MandalMarine Minier. On the Feistel Counterpart of the Boomerang Connectivity Table
IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2020, 2020 (1), pp.331-362. ⟨10.13154/tosc.v2020.i1.331-362⟩