Skip to Main content Skip to Navigation


...
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-02547097v1  Conference papers
Ahmad AbboudAbdelkader LahmadiMichaël RusinowitchMiguel CouceiroAdel Bouhoula et al.  Double Mask: An efficient rule encoding for Software Defined Networking
ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2020, Paris, France. pp.186--193
...
hal-03036350v1  Conference papers
Ahmad AbboudRémi GarciaAbdelkader LahmadiMichaël RusinowitchAdel Bouhoula. Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Online conference, France
...
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-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-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-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-02784752v4  Conference papers
Maxime AmblardChuyuan LiChloé BraudCaroline DemilyNicolas Franck et al.  Investigation par méthodes d'apprentissage des spécificités langagières propres aux personnes avec schizophrénie
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, Jun 2020, Nancy, France. pp.12-26
...
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-02768513v4  Conference papers
Mohamed Amine MenacerDominique FohrDenis JouvetKarima AbidiDavid Langlois et al.  Projet AMIS : résumé et traduction automatique de vidéos
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, 2020, Nancy, France. pp.53-56
...
hal-02985412v2  Conference papers
Stanislav AranovskiyIgor RyadchikovNikita MikhalkovDmitry KazakovAlexey Simulin et al.  Scissored pair control moment gyroscope inverted pendulum
14th International Symposium "Intelligent Systems - 2020", Dec 2020, Moscow, Russia
...
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-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-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-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-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
EMBC 2020 - 42nd Engineering in Medicine and Biology Conference, Jul 2020, Montréal, Canada
...
hal-02909383v2  Conference papers
Alexandre BazinMiguel CouceiroMarie-Dominique MorchAmedeo Napoli. Explaining Multicriteria Decision Making with Formal Concept Analysis
Concept Lattices and Applications 2020, Jun 2020, Tallinn, Estonia
...
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-02979233v1  Conference papers
Vaishnavi BhargavaMiguel CouceiroAmedeo Napoli. LimeOut: An Ensemble Approach To Improve Process Fairness
ECML-PKDD International Workshop on eXplainable Knowledge Discovery in Data Mining (XKDD 2020), Sep 2020, Ghent, Belgium. pp.475-491
...
hal-02992599v1  Conference papers
Victor BlanchiEtienne CormanNicolas RayDmitry Sokolov. Génération de maillage quadrangulaire d'un domaine du plan via les équations de Ginzburg-Landau
Journées Françaises d'Informatique Graphique (JFIG2020), Nov 2020, Nancy, France
...
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-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-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-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-03065236v1  Conference papers
Maria BoritchevPhilippe de Groote. On dialogue modeling: a dynamic epistemic inquisitive approach
New Frontiers in Artificial Intelligence. JSAI-isAI 2020., Nov 2020, Online, Japan. pp.21--36, ⟨10.1007/978-3-030-79942-7_2⟩
...
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
...
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-03032578v1  Conference papers
Pierre-Olivier BrissaudJérôme FrançoisIsabelle ChrismentThibault CholezOlivier Bettan. Encrypted HTTP/2 Traffic Monitoring: Standing the Test of Time and Space
WIFS2020 - IEEE International Workshop on Information Forensics and Security, Dec 2020, New-York/Virtual, United States
...
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-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-02298815v3  Conference papers
Antonin CallardMathieu Hoyrup. Descriptive complexity on non-Polish spaces
STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
...
hal-02914177v1  Conference papers
Titouan CaretteEmmanuel Jeandel. A recipe for quantum graphical languages
ICALP 2020, 2020, Saarbrücken, Germany
...
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-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-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
...
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-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-02969613v1  Conference papers
Véronique CortierJoseph LallemandBogdan Warinschi. Fifty Shades of Ballot Privacy: Privacy against a Malicious Board
CSF 2020 - 33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston / Virtual, United States
...
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-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-02912876v1  Conference papers
Miguel CouceiroErkko Lehtonen. Linearly definable classes of Boolean functions
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
hal-02912878v1  Conference papers
Miguel CouceiroMichel Grabisch. Monotonic computation rules for nonassociative calculus
1st international conference on ALgebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
...
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-02928936v1  Conference papers
Laure CrochepierreLydia Boudjeloud-AssalaVincent Barbesant. Interpretable Dimensionally-Consistent Feature Extraction from Electrical Network Sensors
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases ECML/PKDD'20, Sep 2020, Gand (Virtual Conference), Belgium
...
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-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-02798526v3  Conference papers
Sara DahmaniVincent ColotteSlim Ouni. Étude comparative des paramètres d'entrée pour la synthèse expressive audiovisuelle de la parole par DNNs
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.127-135
...
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-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-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-02990614v1  Conference papers
Antoine DefournéPetar Vukmirovic. Higher-order Automation in TLAPS
TLA+ Community Event 2020, Oct 2020, Virtual, France
...
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-03430293v1  Conference papers
Antoine Deleforge. Drone audition for search and rescue: Datasets and challenges
QUIET DRONES International Symposium on UAV/UAS Noise, Oct 2020, Paris, France
...
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-02944908v1  Conference papers
Patrick DerbezPaul HuynhVirginie LallemandMaría Naya-PlasenciaLéo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
...
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-02886493v1  Conference papers
Vincent DespréJean-Marc SchlenkerMonique Teillaud. Flipping Geometric Triangulations on Hyperbolic Surfaces
SoCG 2020 - 36th International Symposium on Computational Geometry, 2020, Zurich, Switzerland. ⟨10.4230/LIPIcs.SoCG.2020.35⟩
...
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-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-03081548v1  Conference papers
Jilles DibangoyeOlivier BuffetAkshat Kumar. Multiagent Planning and Learning As MILP
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-12
...
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-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-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-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-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, 2020, Nancy, France. pp.190-198
...
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-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, ⟨10.1007/978-3-030-65411-5_13⟩
...
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-02967029v2  Conference papers
Serdar ErbaturAndrew 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-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-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-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⟩
...
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-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-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-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-02266264v2  Conference papers
Pierrick GaudryAlexander Golovnev. Breaking the encryption scheme of the Moscow Internet voting system
Financial Cryptography and Data Security, 2020, Kota Kinabalu, Malaysia. pp.32-49, ⟨10.1007/978-3-030-51280-4_3⟩
...
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-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-02984042v2  Conference papers
Andrey GetmanskiySemen SechenevIgor RyadchikovAlexander GusevNikita Mikhalkov et al.  Real-time system architecture design practices
14th International Symposium "Intelligent Systems - 2020", Dec 2020, Moscow, Russia
...
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-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-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-03141063v1  Conference papers
Fajar HaifaniPatrick KoopmannSophie TourretChristoph Weidenbach. On a Notion of Relevance
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
...
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-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-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