Skip to Main content Skip to Navigation

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-02936428v1  Conference papers
Philippe BalbianiHans van DitmarschSaúl Fernández González. Quantifying over Asynchronous Information Change
Advances in Modal Logic, Aug 2020, Helsinki, Finland
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-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-03014927v1  Conference papers
Carlos RamischAgata SavaryBruno GuillaumeJakub WaszczukMarie Candito et al.  Edition 1.2 of the PARSEME Shared Task on Semi-supervised Identification of Verbal Multiword Expressions
Joint Workshop on Multiword Expressions and Electronic Lexicons (MWE-LEX 2020), 2020, Barcelona, Spain
hal-02999678v1  Journal articles
Angela FanClaire GardentChloé BraudAntoine Bordes. Augmenting Transformers with KNN-Based Composite Memory for Dialog
Transactions of the Association for Computational Linguistics, The MIT Press, In press, ⟨10.1162/tacl_a_00356⟩
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-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⟩
hal-03066031v1  Directions of work or proceedings
Thierry PoibeauYannick ParmentierEmmanuel Schang. Actes des 2èmes journées scientifiques du Groupement de Recherche Linguistique Informatique Formelle et de Terrain (LIFT).
Poibeau, Thierry and Parmentier, Yannick and Schang, Emmanuel. Dec 2020, Montrouge, France. CNRS, 2020
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-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
hal-03081704v1  Conference papers
Erinc MerdivanSten HankeMatthieu Geist. Modified Actor-Critics
AAMAS2020 - International Conference on Autonomous Agents and MultiAgent Systems, May 2020, virtual, New Zealand
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-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-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-03021720v1  Conference papers
Gaël GuibonMarine CourtinKim GerdesBruno Guillaume. When Collaborative Treebank Curation Meets Graph Grammars
LREC 2020 - 12th Language Resources and Evaluation Conference, May 2020, Marseille, France
hal-03045666v1  Journal articles
Fabrice BoudotPierrick GaudryAurore GuillevicNadia HeningerEmmanuel Thomé et al.  Nouveaux records de factorisation et de calcul de logarithme discret
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2020, pp.17
tel-03133271v2  Theses
Diego Di Carlo. Echo-aware signal processing for audio scene analysis
Signal and Image processing. UNIVERSITÉ DE RENNES 1; INRIA - IRISA - PANAMA, 2020. English
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-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-02955527v1  Journal articles
Mathilde BouvelPhilippe GambetteMarefatollah Mansouri. Counting phylogenetic networks of level 1 and 2
Journal of Mathematical Biology, Springer Verlag (Germany), 2020, 81, pp.1357-1395. ⟨10.1007/s00285-020-01543-5⟩
hal-03131246v1  Journal articles
Maxime Amblard. Le problème des 8 reines
Interstices, INRIA, 2020
hal-01566136v3  Journal articles
Fabien Lauer. Error Bounds for Piecewise Smooth and Switching Regression
IEEE Transactions on Neural Networks and Learning Systems, IEEE, 2020, 31 (4), pp.1183-1195. ⟨10.1109/TNNLS.2019.2919444⟩
hal-02972549v1  Conference papers
Jawher JerrayLaurent FribourgÉtienne André. Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
ARCH20 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩
hal-03293341v1  Conference papers
Bart Lamiroy. Formal Performance Evaluation for Document Image Analysis
International Conference on Computer Science and Computational Intelligence (ICCSCI), 2020, online, Indonesia. pp.2, ⟨10.1016/j.procs.2021.01.088⟩
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-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-03284179v1  Conference papers
Alfredo CuzzocreaEdoardo Fadda. Data-Intensive Object-Oriented Adaptive Web Systems : Implementing and Experimenting the OO-XAHM Framework
MEDES'20 : the 12th International Conference on Management of Digital EcoSystems, Nov 2020, Virtual Event (Abu Dhabi), United Arab Emirates. ⟨10.1145/3415958.3433051⟩
hal-03274600v1  Journal articles
Alfredo CuzzocreaEnzo MumoloEdoardo FaddaMarco Tessarotto. A Novel Big Data Analytics Approach for Supporting Cyber Attack Detection via Non-linear Analytic Prediction of IP Addresses
Lecture Notes in Computer Science, Springer, 2020, Computational Science and Its Applications – ICCSA 2020, pp.978 - 991. ⟨10.1007/978-3-030-58799-4_70⟩
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-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-02966114v1  Conference papers
Julien DucretCédric ClaireAlexis CharlotXavier AmezianeSamuel Cruz-Lara. Morpheus: a platform for the representation, manipulation and secure access of standardized morphological data for the digital age textile industry
11th 3DBody.Tech Conference & Expo The 11th International Conference and Exhibition on 3D Body Scanning and Processing Technologies, Nov 2020, Lugano, Switzerland
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-02979142v1  Conference papers
Julie DaherArmelle Brun. Handling Item Similarity in Behavioral Patterns through General Pattern Mining
The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20), Dec 2020, Sydney/Virtual, Australia
hal-02974678v1  Conference papers
Oriane DermyArmelle Brun. Can we Take Advantage of Time-Interval Pattern Mining to Model Students Activity?
Proceedings of The 13th International Conference on Educational Data Mining (EDM 2020), Jul 2020, Ifrane, Morocco
tel-03184696v1  Theses
Julie Bu Daher. Sequential Pattern Generalization for Mining Multi-source Data
Computer Science [cs]. Université de Lorraine, 2020. English. ⟨NNT : 2020LORR0204⟩
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-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-03148418v1  Conference papers
Thiago FerreiraClaire GardentNikolai IlinykhChris van der LeeSimon Mille et al.  The 2020 Bilingual, Bi-Directional WebNLG+ Shared Task Overview and Evaluation Results (WebNLG+ 2020)
Proceedings of the 3rd International Workshop on Natural Language Generation from the Semantic Web (WebNLG+), Dec 2020, Dublin/Virtual, Ireland
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-03106597v1  Reports
Denis Roegel. A reconstruction of Edward Sang's table of logarithmic sines and tangents (K43,1888)
[Research Report] LORIA (Université de Lorraine, CNRS, INRIA). 2020
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-02162930v1  Journal articles
Tatiana MakhalovaMartin Trnecka. From-Below Boolean Matrix Factorization Algorithm Based on MDL
Advances in Data Analysis and Classification, Springer Verlag, 2020, ⟨10.1007/s11634-019-00383-6⟩
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-02355115v2  Conference papers
Brij Mohan Lal SrivastavaNathalie VauquierMd SahidullahAurélien BelletMarc Tommasi et al.  Evaluating Voice Conversion-based Privacy Protection against Informed Attackers
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, IEEE Signal Processing Society, May 2020, Barcelona, Spain. pp.2802-2806
hal-03047235v1  Directions of work or proceedings
Sahbi SidhomAnass El HaddadiMohamed Addam. TBMS’2019 PROCEEDINGS on "Big-Data-Analytics Technologies for Strategic Management: innovation and competitiveness." :1st. Edition.
Sahbi SIDHOM (Université de Lorraine & LORIA Lab., France); Anass EL HADDADI (ENSAH Al Hoceima, Morocco); Mohamed ADDAM (ENSAH Al Hoceima, Morocco). 1st. international symposium TBMS’2019 on: Big-Data-Analytics Technologies for Strategic Management: innovation and competitiveness. February 6-7-8, 2020 Tunis (Tunisia), Feb 2020, Tunis, Tunisia. 1, pp.74, 2020, TBMS’2019 PROCEEDINGS on "Big-Data-Analytics Technologies for Strategic Management: innovation and competitiveness." :1st. Edition