Skip to Main content Skip to Navigation

hal-02427044v2  Book sections
Romane HéliePhilippe HelluyEmmanuel FranckLaurent Navoret. Kinetic over-relaxation method for the convection equation with Fourier solver
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples. FVCA 2020., pp.745-753, 2020, 978-3-030-43650-6. ⟨10.1007/978-3-030-43651-3_71⟩
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-02538101v1  Book sections
Andrea MendizabalEleonora TagliabueTristan HoellingerJean-Nicolas BrunetSergei Nikolaev et al.  Data-driven simulation for augmented surgery
Bilen Emek Abali; Ivan Giorgio. Developments and Novel Approaches in Biomechanics and Metamaterials, 132, pp.71-96, 2020, 978-3-030-50464-9. ⟨10.1007/978-3-030-50464-9⟩
hal-02549290v1  Journal articles
Olivier DevillersSylvain LazardWilliam Lenhart. Rounding meshes in 3D
Discrete and Computational Geometry, Springer Verlag, 2020, ⟨10.1007/s00454-020-00202-2⟩
hal-02158012v1  Journal articles
Emmanuel JeandelEtienne MoutotPascal Vanier. Slopes of multidimensional subshifts
Theory of Computing Systems, Springer Verlag, 2020, 64 (1), pp.35-61. ⟨10.1007/s00224-019-09931-1⟩
hal-02998767v1  Journal articles
Mathilde BouvelValentin FerayMichael Albert. Two first-order logics of permutations
Journal of Combinatorial Theory, Series A, Elsevier, 2020, 171, pp.105-158. ⟨10.1016/j.jcta.2019.105158⟩
hal-02998759v1  Journal articles
Jacopo BorgaMathilde BouvelValentin FerayBenedikt Stufler. A decorated tree approach to random permutations in substitution-closed classes
Electronic Journal of Probability, Institute of Mathematical Statistics (IMS), 2020, 25, ⟨10.1214/20-EJP469⟩
hal-02987029v1  Conference papers
Gilles SimonAntoine Tabbone. Generic Document Image Dewarping by Probabilistic Discretization of Vanishing Points
ICPR 2020 - 25th International Conference on Pattern Recognition, Sep 2020, Milan / Virtual, Italy
hal-02915309v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Gradual Discovery with Closure Structure of a Concept Lattice
The 15th International Conference on Concept Lattices and Their Applications, Jun 2020, Tallinn, Estonia
hal-02962716v1  Conference papers
Ying ShengYoni ZoharChristophe RingeissenJane LangePascal Fontaine et al.  Politeness for the Theory of Algebraic Datatypes
10th International Joint Conference on Automated Reasoning, IJCAR, Jul 2020, Paris, France. pp.238--255, ⟨10.1007/978-3-030-51074-9_14⟩
hal-02864071v2  Conference papers
Miguel CouceiroErkko LehtonenLaurent MicletHenri PradeGilles Richard. When nominal analogical proportions do not fail
SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
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-03140597v1  Journal articles
Julien Lequeurre. Weak Solutions for a System Modeling the Movement of a Piston in a Viscous Compressible Gas
Journal of Mathematical Fluid Mechanics, Springer Verlag, 2020, 22 (3), pp.40. ⟨10.1007/s00021-020-0481-y⟩
hal-02355623v2  Conference papers
Manuel ParienteSamuele CornellAntoine DeleforgeEmmanuel Vincent. Filterbank design for end-to-end speech separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
hal-02912877v1  Conference papers
Guillaume BonfanteMiguel Couceiro. Termination of graph rewriting systems through language theory
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
hal-02301922v2  Journal articles
Pauline MauriceJernej CamernikDasa GorjanBenjamin SchirrmeisterJonas Bornmann et al.  Objective and Subjective Effects of a Passive Exoskeleton on Overhead Work
IEEE Transactions on Neural Systems and Rehabilitation Engineering, Institute of Electrical and Electronics Engineers, 2020, 28 (1), pp.152-164. ⟨10.1109/TNSRE.2019.2945368⟩
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
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-02930715v1  Conference papers
Maria BoritchevMaxime Amblard. There is as yet Insufficient Data for a Meaningful Answer
SemDial - WatchDial The 24th Workshop on the Semantics and Pragmatics of Dialogue, Jul 2020, Brandeis, United States
hal-02964065v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique FohrDietrich KlakowDana Ruiter. Label Propagation-Based Semi-Supervised Learning for Hate Speech Classification
Insights from Negative Results Workshop, EMNLP 2020, Nov 2020, Punta Cana, Dominican Republic
hal-02864059v5  Conference papers
Guilherme AlvesVaishnavi BhargavaMiguel CouceiroAmedeo Napoli. Making ML models fairer through explanations: the case of LimeOut
9th International Conference on Analysis of Images, Social Networks, and Texts 2020 (AIST 2020), Oct 2020, Moscow, Russia
hal-02619239v1  Conference papers
Maxime AmblardClement BeyssonPhilippe de GrooteBruno GuillaumeSylvain Pogodalla. A French Version of the FraCaS Test Suite
LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9
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-02963914v1  Book sections
Louis ViardLaurent CiarlettaPierre-Etienne Moreau. A Mission Definition, Verification and Validation Architecture
Formal Methods. FM 2019 International Workshops, 12232, pp.281-287, 2020, 978-3-030-54993-0. ⟨10.1007/978-3-030-54994-7_20⟩
hal-02871839v1  Conference papers
Gabrielle de MicheliPierrick GaudryCécile Pierrot. Asymptotic complexities of discrete logarithm algorithms in pairing-relevant finite fields
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.32-61
tel-02963301v1  Theses
Mathias Fleury. Formalization of Logical Calculi in Isabelle/HOL
Logic in Computer Science [cs.LO]. Universität des Saarlandes Saarbrücken, 2020. English
hal-02463940v1  Conference papers
Gilbert BusanaBrigitte DenisMarie Duflot-KremerSarah HiguetLara Kataja et al.  PIAF : développer la Pensée Informatique et Algorithmique dans l'enseignement Fondamental
Didapro 8 – DidaSTIC – L'informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France
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-02389159v3  Conference papers
Nicolas FurnonRomain SerizelIrina IllinaSlim Essid. DNN-Based Distributed Multichannel Mask Estimation for Speech Enhancement in Microphone Arrays
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
hal-02962869v1  Conference papers
Serdar ErbaturAndrew MarshallChristophe Ringeissen. Terminating Non-Disjoint Combined Unification (Extended Abstract)
UNIF 2020 - 34th International Workshop on Unification, Temur Kutsia; Andrew Marshall, Jun 2020, Paris, France
hal-03036292v1  Poster communications
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks
CNSM 2020 - 16th International Conference on Network and Service Management, Nov 2020, Izmir/Virtual, Turkey
hal-02992596v1  Conference papers
David DesobryEtienne CormanNicolas RayDmitry Sokolov. Champs de repères 2D non orthogonaux
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France. pp.1 - 5
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⟩
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-02555202v1  Conference papers
Jean-Baptiste MouretGlenn Maguire. Quality Diversity for Multi-task Optimization
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. ⟨10.1145/3377930.3390203⟩
hal-02914177v1  Conference papers
Titouan CaretteEmmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
hal-02476012v3  Conference papers
Horatiu CirsteaPierre LermusiauxPierre-Etienne Moreau. Pattern eliminating transformations
LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation, Sep 2020, Bologna, Italy
hal-02928953v1  Conference papers
Véronique CortierPierrick GaudryQuentin Yang. How to fake zero-knowledge proofs, again
E-Vote-Id 2020 - The International Conference for Electronic Voting, 2020, Bregenz / virtual, Austria
hal-03017840v1  Journal articles
Emmanuel Vincent. Peut-on faire confiance aux IA ?
The Conversation, The Conversation France, 2020
hal-02530879v1  Conference papers
Ashwin Geet d'SaIrina IllinaDominique Fohr. Towards Non-Toxic Landscapes: Automatic Toxic Comment Detection Using DNN
TRAC-2020, Second Workshop on Trolling, Aggression and Cyberbullying (LREC, 2020), May 2020, Marseille, France
hal-02515103v1  Journal articles
Haniel BarbosaJasmin BlanchetteMathias FleuryPascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing
Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.485-510. ⟨10.1007/s10817-018-09502-y⟩
hal-02985282v1  Conference papers
Victor BlanchiEtienne CormanNicolas RayDmitry Sokolov. Global parametrization based on Ginzburg-Landau functional
NUMGRID 2020 — Numerical Geometry, Grid Generation and Scientific Computing, Nov 2020, Moscow/Virtual, Russia
hal-02526724v2  Conference papers
Matthieu NicolasGérald OsterOlivier Perrin. Efficient Renaming in Sequence CRDTs
PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2020, Heraklion / Virtual, Greece
hal-02962911v1  Conference papers
Samuele CornellMichel OlveraManuel ParienteGiovanni PepeEmanuele Principi et al.  Domain-Adversarial Training and Trainable Parallel Front-end for the DCASE 2020 Task 4 Sound Event Detection Challenge
DCASE 2020 - 5th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2020, Virtual, Japan
hal-02962800v1  Conference papers
Youssef El HousniAurore Guillevic. Optimized and secure pairing-friendly elliptic curves suitable for one layer proof composition
CANS 2020 - 19th International Conference on Cryptology and Network Security, Dec 2020, Vienna / Virtual, Austria. pp.259-279
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-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
hal-01982232v1  Journal articles
Kevin DalleauMiguel CouceiroMalika Smaïl-Tabbone. Unsupervised Extra Trees: a stochastic approach to compute similarities in heterogeneous data.
International Journal of Data Science and Analytics, Springer Verlag, 2020, Advances in Intelligent Data Analysis - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Lecture Notes in Computer Science (12080), pp.132-144. ⟨10.1007/s41060-020-00214-4⟩
hal-02410221v1  Conference papers
Guilherme AlvesMiguel CouceiroAmedeo Napoli. Sélection de mesures de similarité pour les données catégorielles
EGC 2020 - 20ème édition de la conférence Extraction et Gestion des Connaissances, Jan 2020, Bruxelles, Belgique
hal-02889146v1  Conference papers
Vincent GaudillièreGilles SimonMarie-Odile Berger. Perspective-2-Ellipsoid: Bridging the Gap Between Object Detections and 6-DoF Camera Pose
IROS 2020 – 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2020, Las Vegas, United States
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-02451368v1  Book sections
Philippe HelluyOlivier HurisseLucie Quibel. Simulation of a liquid-vapour compressible flow by a Lattice Boltzmann Method
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples. FVCA 2020., 2020, 978-3-030-43650-6. ⟨10.1007/978-3-030-43651-3_63⟩
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-02737323v2  Poster communications
Lethicia MagnoAlain MollierMiguel CouceiroJean-Christophe AviceSophie Brunel-Muguet. Modelling Memory: do crop models need to become nostalgic?
ICROPM2020: Second International Crop Modelling Symposium, Feb 2020, Montpellier, France. ICROPM2020-SESSION1, Book of abstracts - XIIth Stics users seminar
hal-02891766v1  Journal articles
Rémi PannequinMelanie JouaitiMohamed BoutayebPhilippe LucasDominique Martinez. Automatic tracking of free-flying insects using a cable-driven robot
Science Robotics, American Association for the Advancement of Science 2020, 5 (43), pp.eabb2890. ⟨10.1126/scirobotics.abb2890⟩
hal-02895528v1  Reports
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
[Research Report] Université de Lorraine; INRIA; CNRS. 2020
hal-02555221v1  Conference papers
Adam GaierAlexander AsterothJean-Baptiste Mouret. Discovering Representations for Black-box Optimization
GECCO'20 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. ⟨10.1145/3377930.3390221⟩
hal-02400051v1  Journal articles
Anurag AnshuPeter HøyerMehdi MhallaSimon Perdrix. Contextuality in multipartite pseudo-telepathy graph games
Journal of Computer and System Sciences, Elsevier, 2020, 107, pp.156-165. ⟨10.1016/j.jcss.2019.06.005⟩
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-02881308v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. A tier-based typed programming language characterizing Feasible Functionals
LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
hal-02499149v1  Conference papers
Emmanuel HainryDamiano MazzaRomain Péchoux. Polynomial time over the reals with parsimony
FLOPS 2020 - International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
hal-02984307v1  Conference papers
Andrey SakryukinChedy RaïssiMohan Kankanhalli. Inferring DQN structure for high-dimensional continuous control
2020 International Conference on Machine Learning, Jul 2020, Vienna, Austria
hal-02985551v1  Conference papers
Sanaz EidizadehakhchelooBizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. Your Age Revealed by Facebook Picture Metadata
BBIGAP 2020 - Second Workshop of BI and Big Data Applications, Aug 2020, Lyon / Virtual, France. pp.259-270, ⟨10.1007/978-3-030-55814-7_22⟩