Skip to Main content Skip to Navigation


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-02974078v1  Conference papers
Bizhan Alipour PijaniAbdessamad ImineMichaël Rusinowitch. You are what emojis say about your pictures
SAC '20 - 35th ACM/SIGAPP Symposium on Applied Computing, Mar 2020, Brno, Czech Republic. pp.1826-1834, ⟨10.1145/3341105.3373943⟩
...
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-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-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-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-03090865v1  Conference papers
Ioannis K 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-02133840v2  Journal articles
François PirotJean-Sébastien SereniRiste Škrekovski. Variations on the Petersen colouring conjecture
The Electronic Journal of Combinatorics, Open Journal Systems, 2020, 27 (1), ⟨10.37236/8515⟩
...
hal-02568677v2  Journal articles
Samuel HornusTim KuipersOlivier DevillersMonique TeillaudJonàs Martínez et al.  Variable-width contouring for additive manufacturing
ACM Transactions on Graphics, Association for Computing Machinery, 2020, 39 (4 (Proc. SIGGRAPH)), ⟨10.1145/3386569.3392448⟩
...
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-02544156v1  Conference papers
Raphaël DuroselleDenis JouvetIrina Illina. Unsupervised regularization of the embedding extractor for robust language identification
Odyssey 2020 - The Speaker and Language Recognition Workshop, Nov 2020, Tokyo, Japan
...
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-01653572v1  Journal articles
Frédérique BassinoMathilde BouvelValentin FérayLucas GerinMickaël Maazoun et al.  Universal limits of substitution-closed permutation classes
Journal of the European Mathematical Society, European Mathematical Society, 2020, 22 (11), pp.3565-3639. ⟨10.4171/JEMS/993⟩
...
hal-02552287v2  Reports
Gilles BartheCharlie JacommeSteve Kremer. Universal equivalence and majority of probabilistic programs over finite fields
[Research Report] MPI SP; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2020
...
hal-02961583v1  Conference papers
Gilles BartheCharlie JacommeSteve Kremer. Universal equivalence and majority of probabilistic programs over finite fields
ACM/IEEE LICS 2020 - 35th Annual Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.155-166, ⟨10.1145/3373718.3394746⟩
...
hal-02425752v1  Conference papers
Benoit MeisterPhilippe Clauss. Uniform Random Sampling in Polyhedra
IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Jan 2020, Bologna, Italy
...
hal-02540571v1  Conference papers
Wissem InoubliSabeur AridhiHaithem MezniMondher MaddouriEngelbert Mephu Nguifo. Un algorithme distribué pour le clustering de grands graphes
20ème édition de la conférence francophone "Extraction et gestion des connaissances", Jan 2020, Bruxelles, Belgique
...
hal-02268400v1  Journal articles
Rémy ChrétienVéronique CortierAntoine DallonStéphanie Delaune. Typing messages for free in security protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 21 (1), ⟨10.1145/3343507⟩
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-02510046v1  Conference papers
Monique Teillaud. Triangulations in CGAL - To non-Euclidean spaces and beyond!
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
...
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-03560332v1  Journal articles
Christophe VuillotBarbara M. TerhalJonathan Conrad. Towards scalable bosonic quantum error correction
Quantum Science and Technology, IOP Science, 2020, 5 (4), pp.043001. ⟨10.1088/2058-9565/ab98a5⟩
...
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-01597114v1  Journal articles
Miriam BackensSimon PerdrixQuanlong Wang. Towards a Minimal Stabilizer ZX-calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2020, 16 (4), pp.19:1-19:30. ⟨10.23638/LMCS-16(4:19)2020⟩
...
tel-03101708v1  Theses
Seny Diatta. Topologie de courbes algébriques planes et projection de surfaces analytiques réelles.
Mathématiques [math]. Université Assane Seck de Ziguinchor (UASZ), 2020. Français. ⟨NNT : 2020UASZ19M2⟩
hal-02983073v1  Journal articles
Dobrina BoltchevaJustine BasselinClément PoullHerve BarthelemyDmitry Sokolov. Topological-based roof modeling from 3D point clouds
Journal of WSCG, University of West Bohemia, Czech Republic, 2020, 28 (1-2), pp.137-146. ⟨10.24132/JWSCG.2020.28.17⟩
...
hal-02983533v1  Conference papers
Hoai Le NguyenClaudia-Lavinia Ignat. Time-position characterization of conflicts: a case study of collaborative editing
The 26th International Conference on Collaboration Technologies and Social Computing (CollabTech 2020), Sep 2020, Tartu/VIrtual, Estonia
...
hal-03036928v1  Book sections
Jérôme FrançoisFrédéric BeckGhita MezzourKathleen M CarleyAbdelkader Lahmadi et al.  ThreatPredict: From Global Social and Technical Big Data to Cyber Threat Forecast
Advanced Technologies for Security Applications, Springer, pp.45-54, 2020, Advanced Technologies for Security Applications. Proceedings of the NATO Science for Peace and Security 'Cluster Workshop on Advanced Technologies, ⟨10.1007/978-94-024-2021-0_5⟩
...
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-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-02995771v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-yves Marion et al.  Theoretical Computer Science: Computational Complexity
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, 2020
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-03623450v2  Reports
Natalia TomashenkoBrij Mohan Lal SrivastavaXin WangEmmanuel VincentAndreas Nautsch et al.  The VoicePrivacy 2020 Challenge Evaluation Plan
[Other] LIA - Laboratoire Informatique d'Avignon; MULTISPEECH - Speech Modeling for Facilitating Oral-Based Communication Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery; Eurecom [Sophia Antipolis]; University of Edinburgh. 2020
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⟩
hal-02974993v1  Conference papers
José Bacelar AlmeidaManuel BarbosaGilles BartheBenjamin GrégoireAdrien Koutsos et al.  The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
SP 2020 - 41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
...
hal-02961617v1  Conference papers
Vincent ChevalSteve KremerItsaka Rakotonirina. The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols
Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, 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-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-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-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-02962869v1  Conference papers
Serdar ErbaturAndrew M 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-02967029v2  Conference papers
Serdar ErbaturAndrew M 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-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-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-02900931v1  Journal articles
Tomi KinnunenHéctor DelgadoNicholas EvansKong-Aik LeeVille Vestman et al.  Tandem Assessment of Spoofing Countermeasures and Automatic Speaker Verification: Fundamentals
IEEE/ACM Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2020, IEEE/ACM Transactions on Audio, Speech, and Language Processing, 28, pp.2195 - 2210. ⟨10.1109/TASLP.2020.3009494⟩
...
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-03090873v1  Conference papers
Ioannis K 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
...
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-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-02377400v2  Journal articles
Sabeur AmmarJean-Claude VivaldaBasma Zitouni. Strong differential observability for sampled systems
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2020, 58 (6), pp.3814-3841. ⟨10.1137/19M1302867⟩
...
hal-02912312v1  Conference papers
Alain GélyMiguel CouceiroLaurent MicletAmedeo Napoli. Steps in the Representation of Concept Lattices and Median Graphs
CLA 2020 - 15th International Conference on Concept Lattices and Their Applications, Sadok Ben Yahia; Francisco José Valverde Albacete; Martin Trnecka, Jun 2020, Tallinn, Estonia. pp.1-11
...
hal-02978389v1  Conference papers
Marie Duflotyann Duplouy. Statistical Model Checking of Distributed Programs within SimGrid
SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2020, Lieusaint, France
...
hal-02456533v1  Conference papers
Toufik BaroudiVincent LoechnerRachid Seghir. Static versus Dynamic Memory Allocation: a Comparison for Linear Algebra Kernels
IMPACT 2020, in conjunction with HiPEAC 2020, Jan 2020, Bologna, Italy
...
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
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-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-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-02355573v2  Conference papers
Romain SerizelNicolas TurpaultAnkit ShahJustin Salamon. Sound event detection in synthetic domestic environments
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain
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-03080154v1  Conference papers
Jonathan Ferrer-MestresThomas G. DietterichOlivier BuffetIadine Chadès. Solving $K$ -MDPs
ICAPS 2020 - International Conference on Automated Planning and Scheduling, Oct 2020, Nancy / Virtual, France
...
hal-02972966v1  Conference papers
Ji-Won ParkOtfried Cheong. Smallest Universal Covers for Families of Triangles
EuroCG 2020 - 36th European Workshop on Computational Geometry, Mar 2020, Würzburg, Germany
...
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-02355613v2  Conference papers
Sunit SivasankaranEmmanuel VincentDominique Fohr. SLOGD: Speaker Location Guided Deflation Approach to Speech Separation
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, May 2020, Barcelona, Spain