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-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-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
...
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-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-02568440v1  Conference papers
Levy BatistaMathieu MilhemThierry BastogneFabien ClanchéGabin Personeni et al.  A data-driven classification solution for the timed-up and go test in risk falling assessment
42nd Engineering in Medicine and Biology Conference, EMBC 2020, Jul 2020, Montréal, Canada
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-03109525v1  Conference papers
Jeanne DeleforterieLucie HasslerThierry Bastogne. A dendrogram clustering of lipid nanoparticles
15th annual event of the ETPN – European Technology Platform on Nanomedicine, ETPN2020, Oct 2020, Heraklion, Greece
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-02917575v1  Book sections
Nicola CaccianiElisabeth LarssonAlberto LauroMarco MeggiolaroAlessio Scatto et al.  A First Meshless Approach to Simulation of the Elastic Behaviour of the Diaphragm
Sherwin S., Moxey D., Peiró J., Vincent P., Schwab C. Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018, 134, Springer, pp.501-512, 2020, Lecture Notes in Computational Science and Engineering, 978-3-030-39646-6. ⟨10.1007/978-3-030-39647-3_40⟩
...
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-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-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-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-02151093v4  Journal articles
Nicolas DavidPaul Zimmermann. A New Ranking Function for Polynomial Selection in the Number Field Sieve
Contemporary mathematics, American Mathematical Society, 2020, 75 Years of Mathematics of Computation, 754, pp.315-325. ⟨10.1090/CONM/754/15139⟩
...
hal-02402986v1  Conference papers
Adrien HemmerRemi BadonnelIsabelle Chrisment. A Process Mining Approach for Supporting IoT Predictive Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
...
hal-02625712v1  Conference papers
Adrien HemmerRemi BadonnelJérôme FrançoisIsabelle Chrisment. A Process Mining Tool for Supporting IoT Security
NOMS 2020 - IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary
...
hal-02914177v1  Conference papers
Titouan CaretteEmmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
...
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-02396352v2  Conference papers
Aurore Guillevic. A short-list of pairing-friendly curves resistant to Special TNFS at the 128-bit security level
PKC 2020 - IACR International Conference on Practice and Theory of Public-Key Cryptography, Jun 2020, Edinburgh, United Kingdom. pp.535-564, ⟨10.1007/978-3-030-45388-6_19⟩
...
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-02995862v2  Conference papers
Pierre ChampionDenis JouvetAnthony Larcher. A Study of F0 Modification for X-Vector Based Speech Pseudo-Anonymization Across Gender
The Second AAAI Workshop on Privacy-Preserving Artificial Intelligence (PPAI)., Nov 2020, online, United States
...
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-02944654v1  Conference papers
Sandra RasoamiaramananaMarine MinierGilles Macario-Rat. A White-Box Encryption Scheme using Physically Unclonable Functions
17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.279-286, ⟨10.5220/0009781002790286⟩
...
hal-02786181v3  Directions of work or proceedings
Christophe BenzitounChloé BraudLaurine HuberDavid LangloisSlim Ouni et al.  Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL.
Benzitoun; Christophe and Braud; Chloé and Huber; Laurine and Langlois; David and Ouni; Slim and Pogodalla; Sylvain and Schneider; Stéphane. JEP-TALN-RECITAL 2020 : 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition), Jun 2020, Nancy, France. 3, ATALA; AFCP, 2020, Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL
...
hal-02768750v2  Directions of work or proceedings
Christophe BenzitounChloé BraudLaurine HuberDavid LangloisSlim Ouni et al.  Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 4 : Démonstrations et résumés d'articles internationaux
Benzitoun; Christophe and Braud; Chloé and Huber; Laurine and Langlois; David and Ouni; Slim and Pogodalla; Sylvain and Schneider; Stéphane. JEP-TALN-RECITAL 2020, Jun 2020, Nancy, France. 4, ATALA; AFCP, 2020, Volume 4 : Démonstrations et résumés d'articles internationaux
...
hal-02784750v2  Directions of work or proceedings
Christophe BenzitounChloé BraudLaurine HuberDavid LangloisSlim Ouni et al.  Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition. Volume 2 : Traitement Automatique des Langues Naturelles
Benzitoun, Christophe; Braud, Chloé; Huber, Laurine; Langlois, David; Ouni, Slim; Pogodalla, Sylvain; Schneider, Stéphane. JEP-TALN-RECITAL 2020, Jun 2020, Nancy, France. 2, ATALA; AFCP, 2020, Volume 2 : Traitement Automatique des Langues Naturelles
...
hal-02798536v3  Conference papers
Raphaël DuroselleDenis JouvetIrina Illina. Adaptation de domaine non supervisée pour la reconnaissance de la langue par régularisation d'un réseau de neurones
6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 1 : Journées d'Études sur la Parole, Jun 2020, Nancy, France. pp.190-198
hal-02953084v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Adaptive Multi-model Approaches to Pattern Set Mining
European Starting AI Researchers' Symposium 2020, Aug 2020, Santiago Compostela, Spain
...
hal-02634582v1  Conference papers
Denis EfimovStanislav AranovskiyEmilia FridmanDmitry SokolovJian Wang et al.  Adaptive stabilization by delay with biased measurements
IFAC 2020 - 21st IFAC World Congress, Jul 2020, Berlin, Germany
...
hal-02992607v1  Conference papers
Guillaume CoiffierJustine BasselinNicolas RayDmitry Sokolov. Ajustement de surfaces paramétriques sur nuages de points
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France
...
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⟩
...
hal-02975222v1  Book sections
Mathieu Hoyrup. Algorithmic randomness and layerwise computability
Johanna N. Y. Franklin; Christopher P. Porter. Algorithmic Randomness -- Progress and Prospects, Cambridge University Press, pp.17, 2020, ⟨10.1017/9781108781718⟩
...
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-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-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-02999148v1  Conference papers
Ismaël MendilNeeraj Kumar SinghYamine Aït-AmeurDominique MéryPhilippe Palanque. An Integrated Framework for the Formal Analysis of Critical Interactive Systems
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
hal-03024433v1  Conference papers
Cyril BrzenczekSophie Wantz-MézièresYann GaudeauMarie BlonskiFabien Rech et al.  An original MRI-based method to quantify the diffuse low-grade glioma brain infiltration
10th International Conference on Image Processing Theory, Tools and Applications, IPTA’20, Nov 2020, Paris, 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-02374194v1  Journal articles
Subhamoy MaitraBimal MandalThor MartinsenDibyendu RoyPantelimon Stanica. Analysis on Boolean function in a restricted (biased) domain
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2020, 66 (2), pp.1219-1231. ⟨10.1109/TIT.2019.2932739⟩
...
hal-03281019v1  Conference papers
Jean-Marie Monnez. Approximation stochastique de vecteurs et valeurs propres. Application à l'ACG en ligne
JDS 2020 : 52èmes Journées de Statistique de la Société Française de Statistique (SFdS), 2020, Nice, France
...
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
...
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-02880764v1  Conference papers
Paloma de las CuevasPablo Garcia-SanchezZaineb Chelly DagdiaMaria-Isabel Garcia-ArenasJuan Julian Merelo. Automatic rule extraction from access rules using Genetic Programming
EvoCOP 2020 - 20th European Conference on Evolutionary Computation in Combinatorial Optimisation, Apr 2020, Seville, Spain
...
hal-02867413v1  Conference papers
Garip KusogluBérenger BramasStéphane Genaud. Automatic task-based parallelization of C++ applications by source-to-source transformations
Compas 2020 - Conférence francophone en informatique, Jun 2020, Lyon, France
...
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 (AAAS), 2020, 5 (43), pp.eabb2890. ⟨10.1126/scirobotics.abb2890⟩
...
hal-02971480v1  Journal articles
Cristian Ramon-CortesRamon AmelaJorge EjarquePhilippe ClaussRosa Badia. AutoParallel: Automatic parallelisation and distributed execution of affine loop nests in Python
International Journal of High Performance Computing Applications, SAGE Publications, 2020, 34 (6), pp.1 - 14. ⟨10.1177/1094342020937050⟩
...
hal-02448197v2  Conference papers
Ashwin Geet d'SaIrina IllinaDominique Fohr. BERT and fastText Embeddings for Automatic Detection of Toxic Speech
SIIE 2020 - Information Systems and Economic Intelligence; International Multi-Conference on:“Organization of Knowledge and Advanced Technologies”(OCTA), Feb 2020, Tunis, Tunisia
...
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-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-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-02137907v2  Journal articles
Eduardo CerpaEmmanuelle CrépeauJulie Valein. Boundary controllability of the Korteweg-de Vries equation on a tree-shaped network
Evolution Equations and Control Theory, American Institute of Mathematical Sciences (AIMS), 2020, 9 (3), pp.673-692. ⟨10.3934/eect.2020028⟩