Skip to Main content Skip to Navigation

hal-03398607v1  Journal articles
Yohan Bonescki GumielLucas Emanuel Silva E OliveiraVincent ClaveauNatalia GrabarEmerson Cabrera Paraiso et al.  Temporal Relation Extraction in Clinical Texts
ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩
hal-02413327v1  Journal articles
Marjorie BournatAjoy DattaSwan Dubois. Self-stabilizing robots in highly dynamic environments
Theoretical Computer Science, Elsevier, 2019, 772, pp.88-110. ⟨10.1016/j.tcs.2018.11.026⟩
hal-03396150v1  Journal articles
Armel CrétualFrançois Chaumette. Application of Motion-Based Visual Servoing to Target Tracking
The International Journal of Robotics Research, SAGE Publications, 2001, 20 (11), pp.878-890
hal-03396091v1  Conference papers
Lysa GramoliJérémy LacocheAnthony FoulonneauValérie GourantonBruno Arnaldi. Needs Model for an Autonomous Agent during Long-term Simulations
MARCH Workshop in IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR), 2021, Taichung, Taiwan
hal-03396009v1  Conference papers
Antun SkuricNasser RezzougDavid DaneyVincent Padois. Common wrench capability evaluation of a human-robot collaborative system
46th Congrès de la Société de Biomécanique, Oct 2021, Saint Etienne, France
hal-03395929v1  Journal articles
Armel CrétualFrançois Chaumette. Visual Servoing Based on Image Motion
The International Journal of Robotics Research, SAGE Publications, 2001, 20 (11), pp.857-877
hal-03395589v1  Conference papers
Sanjoy BaruahAlberto Marchetti-Spaccamela. Feasibility Analysis of Conditional DAG Tasks
33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), 2021, Modena, Italy. pp.1-12:17, ⟨10.4230/LIPIcs.ECRTS.2021.12⟩
hal-03395500v1  Conference papers
Loukas GeorgiadisKonstantinos GiannisGiuseppe ItalianoEvangelos Kosinas. Computing Vertex-Edge Cut-Pairs and 2-Edge Cuts in Practice
19th International Symposium on Experimental Algorithms (SEA 2021), 2021, Nice, France. pp.1-20:19, ⟨10.4230/LIPIcs.SEA.2021.20⟩
hal-03395425v1  Conference papers
Grigorios LoukidesSolon P. Pissis. Bidirectional String Anchors: A New String Sampling Mechanism
29th Annual European Symposium on Algorithms (ESA 2021), 2021, Lisbon, Portugal. pp.1-64:21, ⟨10.4230/LIPIcs.ESA.2021.64⟩
hal-03395413v1  Conference papers
Giuseppe ItalianoNicola PrezzaBlerina SinaimeriRossano Venturini. Compressed Weighted de Bruijn Graphs
32nd Annual Symposium on Combinatorial Pattern Matching (CPM 2021), 2021, Wroclaw, Poland. pp.1-16:16, ⟨10.4230/LIPIcs.CPM.2021.16⟩
hal-03395386v1  Conference papers
Giulia BernardiniAlberto Marchetti-SpaccamelaSolon P. PissisLeen StougieMichelle Sweering. Constructing Strings Avoiding Forbidden Substrings
32nd Annual Symposium on Combinatorial Pattern Matching (CPM 2021), 2021, Wroclaw, Poland. pp.1--9:18
hal-03338520v2  Conference papers
Thomas BouvierAlexandru CostanGabriel Antoniu. Deploying Heterogeneity-aware Deep Learning Workloads on the Computing Continuum
BDA 2021 - 37e Conférence sur la Gestion de Données - Principes, Technologies et Applications, Oct 2021, Paris, France
hal-03394654v1  Conference papers
Patrick BoscDidier DuboisHenri PradeOlivier Pivert. On fuzzy association rules based on fuzzy cardinalities
10th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2001), Dec 2001, Melbourne, Australia. ⟨10.1109/FUZZ.2001.1007348⟩
hal-03394648v1  Book sections
Didier DuboisAllel Hadj AliHenri Prade. Fuzzy qualitative reasoning with words
Wang, Paul P. Computing with Words, John Wiley & Sons, Inc., pp.347--366, 2001, Wiley Series on Intelligent Systems
tel-03394466v1  Theses
Victor Verdugo. Convex and online optimization : applications to scheduling and selection problems
Data Structures and Algorithms [cs.DS]. Université Paris sciences et lettres; Universidad de Chile, 2018. English. ⟨NNT : 2018PSLEE079⟩
tel-03387912v2  Theses
Yacine El Haddad. Integrating Automated Theorem Provers in Proof Assistants
Automatic Control Engineering. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG052⟩
tel-03394285v1  Theses
David Espinel Sarmiento. Distributing connectivity management in Cloud-Edge infrastructures using SDN-based approaches
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0250⟩
tel-03230476v2  Theses
Maverick Chardet. Reconciling parallelism expressivity and separation of concerns in reconfiguration of distributed systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0194⟩
hal-03394152v1  Journal articles
Xuechen LiuMd SahidullahTomi Kinnunen. Optimizing Multi-Taper Features for Deep Speaker Verification
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, In press
hal-03393742v1  Conference papers
Mathieu GoutayFaycal Ait AoudiaJakob Hoydis. Deep HyperNetwork-Based MIMO Detection
2020 IEEE 21st International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), May 2020, Atlanta, United States. pp.1-5, ⟨10.1109/SPAWC48557.2020.9154283⟩
hal-03391884v1  Journal articles
Youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan Kerrien. An efficient data strategy for the detection of brain aneurysms from MRA with deep learning
Medical image computing and computer-assisted intervention : MICCAI .. International Conference on Medical Image Computing and Computer-Assisted Intervention, Springer, 2021, Deep Generative Models, and Data Augmentation, Labelling, and Imperfections, 13003, pp.226-234. ⟨10.1007/978-3-030-88210-5_22⟩
hal-02981561v2  Conference papers
Gabriel HondetFrédéric Blanqui. The New Rewriting Engine of Dedukti
FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.16, ⟨10.4230/LIPIcs.FSCD.2020.35⟩
hal-03390693v1  Directions of work or proceedings
Nina SantiRémy GrünblattBrandon FoubertAroosa HameedJohn Violos et al.  Automated and Reproducible Application Traces Generation for IoT Applications
Proceedings of the 17th ACM Symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet ’21), Nov 2021, Alicante, Spain. 2021, ⟨10.1145/3479242.3487321⟩
hal-03390558v1  Reports
Jens Gustedt. Make call_once mandatory
[Research Report] 2840, ISO JCT1/SC22/WG14. 2021
hal-03390554v1  Reports
Jens Gustedt. Only reserve names of optional functions if necessary
[Research Report] 2839, ISO JCT1/SC22/WG14. 2021
hal-03390359v1  Journal articles
Emilie BoutValeria LoscriAntoine Gallais. How Machine Learning changes the nature of cyberattacks on IoT networks: A survey
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2021
inria-00525288v1  Conference papers
Susanne Salmon-AltLaurent RomaryAndré Schaaff. Increasing the Genericity of the Mate Annotation Famework : The Case of Reference
LREC EAGLES/ISLE Workshop on Meta-descriptions and Annotation Schemas for Multimodal/Multimedia Language Resources, May 2000, Athens, Greece
hal-03389508v1  Conference papers
Clément Courageux-SudanAnne-Cécile OrgerieMartin Quinson. Automated performance prediction of microservice applications using simulation
MASCOTS: International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2021, virtually, France
hal-03389126v1  Conference papers
Dhruv AgarwalTanay AgrawalLaura FerrariFrançois Bremond. From Multimodal to Unimodal Attention in Transformers using Knowledge Distillation
The 17th IEEE International Conference on Advanced Video and Signal-based Surveillance, Nov 2021, Virtual, United States
hal-03336450v2  Conference papers
Adrien CassagneMathieu LeonardonRomain TajanCamille LerouxChristophe Jégo et al.  A Flexible and Portable Real-time DVB-S2 Transceiver using Multicore and SIMD CPUs
The 11th IEEE International Symposium on Topics in Coding (ISTC 2021), Aug 2021, Montréal, Canada
hal-03388316v1  Conference papers
Muxingzi LiFlorent Lafarge. Planar Shape Based Registration for Multi-modal Geometry
British Machine Vision Conference, 2021, virtual, United Kingdom
tel-03388295v1  Theses
Muxingzi Li. Geometric approximation of structured scenes from images
Discrete Mathematics [cs.DM]. Université Côte d'Azur, 2021. English
hal-03367052v2  Conference papers
Loïc PujetNicolas Tabareau. Observational Equality: Now For Good
POPL, Jan 2022, Philadelphie, United States
hal-03387916v1  Journal articles
Hao FangFlorent LafargeCihui PanHui Huang. Floorplan generation from 3D point clouds: A space partitioning approach
ISPRS Journal of Photogrammetry and Remote Sensing, Elsevier, 2021, 175, pp.44-55. ⟨10.1016/j.isprsjprs.2021.02.012⟩
hal-03386581v1  Conference papers
Neelabh SinhaMichal BalaziaFrançois Bremond. FLAME: Facial Landmark Heatmap Activated Multimodal Gaze Estimation
2021 17th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), Nov 2021, Virtual, United States
hal-03387778v1  Conference papers
Michel OlveraEmmanuel VincentGilles Gasso. Improving Sound Event Detection with Auxiliary Foreground-Background Classification and Domain Adaptation
DCASE 2021 - 6th Workshop on Detection and Classification of Acoustic Scenes and Events, Nov 2021, Virtual, Spain
hal-03386106v1  Conference papers
Eleonora GuerriniRomain LebretonIlaria Zappatore. Polynomial Linear System Solving with Random Errors: New Bounds and Early Termination Technique
ISSAC '21: International Symposium on Symbolic and Algebraic Computation 2021, Jul 2021, Saint Petersburg, Russia. pp.171-178, ⟨10.1145/3452143.3465548⟩
tel-03133456v2  Theses
Darius Mercadier. Usuba, Optimizing Bitslicing Compiler
Programming Languages [cs.PL]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS180⟩
hal-03385131v1  Conference papers
Luca Di StefanoFrédéric Lang. Verifying Temporal Properties of Stigmergic Collective Systems Using CADP
10th International Symposium on Leveraging Applications of Formal Methods, Oct 2021, Rhodes, Greece. pp.473-489, ⟨10.1007/978-3-030-89159-6_29⟩
hal-03384852v1  Conference papers
Guillaume RosinoskySamir YoucefFrançois CharoyEtienne Rivière. A Methodology for Tenant Migration in Legacy Shared-Table Multi-tenant Applications
21th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2021, Valletta, Malta. pp.3-20, ⟨10.1007/978-3-030-78198-9_1⟩
hal-03384513v1  Conference papers
François ClautiauxSaid HanafiRita MacedoMarie-Emilie VogeCláudio Alves. Iterative aggregation and disaggregation algorithm for pseudo-polynomial network flow models with side constraints
ISCO 2016, International Symposium on Combinatorial Optimization, May 2016, Vietri sul Mare, Italy. pp.467-477
hal-03355377v1  Conference papers
Gabriel RadannePaul IannettaLaure Gonnord. Compiling pattern matching to in-place modifications
GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
hal-03383756v1  Journal articles
Yosra RekikEdward LankAdnane GuettafLaurent Grisoni. Multi-channel Tactile Feedback Based on User Finger Speed
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2021, ⟨10.1145/3488549⟩
hal-03383535v1  Journal articles
Vincent JacobFei SongArnaud StieglerBijan RadYanlei Diao et al.  A Demonstration of the Exathlon Benchmarking Platform for Explainable Anomaly Detection
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2021
hal-03383140v2  Conference papers
The British Machine Vision Conference (BMVC), Nov 2021, Virtual, United Kingdom
hal-03198277v2  Reports
Patrick BaillotAlexis GhyselenNaoki Kobayashi. Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
[Research Report] ENS Lyon, CNRS & INRIA; University of Tokyo. 2021
hal-03382805v1  Journal articles
Siyuan WangAndrey PolyakovGang Zheng. Generalized Homogenization of Linear Observers: Theory and Experiment
International Journal of Robust and Nonlinear Control, Wiley, 2021, ⟨10.1002/rnc.5771⟩
hal-03382761v1  Conference papers
Thomas TrouchkineGuillaume BouffardJessy Clediere. EM Fault Model Characterization on SoCs: From Different Architectures to the Same Fault Model
Workshop on Fault Detection and Tolerance in Cryptography (FDTC), Sep 2021, Milan, Italy. pp.31-38, ⟨10.1109/FDTC53659.2021.00014⟩
hal-03381732v1  Journal articles
Vincent JacobFei SongArnaud StieglerBijan RadYanlei Diao et al.  Exathlon: A Benchmark for Explainable Anomaly Detection over Time Series
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2021
hal-03381587v1  Conference papers
Robin CourantChristophe LinoMarc ChristieVicky Kalogeiton. High-Level Features for Movie Style Understanding
ICCV 2021 - Workshop on AI for Creative Video Editing and Understanding, Oct 2021, online, France. pp.1-5
hal-03381386v1  Conference papers
Julien DeveveyBenoît LibertKhoa NguyenThomas PetersMoti Yung. Non-Interactive CCA2-Secure Threshold Cryptosystems: Achieving Adaptive Security in the Standard Model Without Pairings
Public Key Cryptography (PKC 2021), May 2021, Edinburgh (devenu virtuel pour cause de COVID), United Kingdom
hal-03381199v1  Conference papers
Victor Vianu. Datalog Unchained
SIGMOD/PODS '21- International Conference on Management of Data, Jun 2021, Xi'an, Shaanxi / Virtual Event China, China. pp.57-69, ⟨10.1145/3452021.3458815⟩
hal-03381116v1  Conference papers
Guillaume RosinoskySamir YoucefFrançois CharoyEtienne Rivière. A methodology for tenant migration in legacy shared-table multi-tenant applications
21st International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Malta, Malta
hal-03380807v1  Conference papers
Alix ChaguéSimon GabayLaurent RomaryJuliette JanesHugo Scheithauer et al.  From page to content – which TEI representation for HTR output?
Next Gen TEI, 2021 - TEI Conference and Members’ Meeting, Oct 2021, Virtual, United States
hal-03380805v1  Conference papers
Alexandre BartzJuliette JanesLaurent RomaryPhilippe GambetteRachel Bawden et al.  Expanding the content model of annotationBlock
Next Gen TEI, 2021 - TEI Conference and Members’ Meeting, Oct 2021, Virtual, United States
hal-03268279v2  Conference papers
Evgenii ChzhenChristophe GiraudGilles Stoltz. A Unified Approach to Fair Online Learning via Blackwell Approachability
35th Conference on Neural Information Processing Systems (NeurIPS 2021), Dec 2021, Virtual conference, Australia
hal-03380672v1  Journal articles
Dingding JiaBenoît Libert. SO-CCA secure PKE from pairing based all-but-many lossy trapdoor functions
Designs, Codes and Cryptography, Springer Verlag, 2021, 89 (5), pp.895-923. ⟨10.1007/s10623-021-00849-9⟩
hal-03380595v1  Conference papers
Jean-Philippe EisenbarthThibault CholezOlivier Perrin. A Comprehensive Study of the Bitcoin P2P Network
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS 2021), Sep 2021, Paris, France
hal-03380471v1  Preprints, Working Papers, ...
Benjamin Wesolowski. A proof of time or knowledge
hal-03379992v1  Conference papers
Javiera Castillo-NavarroBertrand Le SauxAlexandre BoulchSébastien Lefèvre. Classification and Generation of Earth Observation Images using a Joint Energy-Based Model
IGARSS 2021 - IEEE International Geoscience and Remote Sensing Symposium, Jul 2021, Brussels, France
hal-03379988v1  Conference papers
Matias MartinezAnne EtienStéphane DucasseChristopher Fuhrman. RTj: a Java framework for detecting and refactoring rotten green test cases
ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Jun 2020, Seoul, South Korea. pp.69-72