Skip to Main content Skip to Navigation

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-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-03389157v1  Journal articles
Guy Perrier. Étude des dépendances syntaxiques non projectives en français
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2021, 62 (1)
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-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⟩
tel-03387912v1  Theses
Yacine El Haddad. Integrating Automated Theorem Provers in Proof Assistants
Automatic Control Engineering. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG052⟩
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-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-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-03382314v1  Reports
Lola Denet. Analyse de la motivation intrinsèque au cours d’une activité de résolution de problèmes.
[Rapport de recherche] RR-9430, Inria & Labri, Université Bordeaux. 2021, pp.183
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-03379496v1  Book sections
Sébastien LefèvreLuc CourtraiMinh-Tan PhamChloé FriguetJean-Christophe Burnel. Observation de la mer par apprentissage profond : quelques exemples d’applications pour protéger notre bien commun
Mer et Littoral: un bien commun ? Une approche pluridisciplinaire. Actes du Séminaire International de l'Institut Archipel. Université Bretagne Sud, 17-19 juin 2019., pp.215-224, 2021, 978-2-9573619-1-5
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-03379985v1  Conference papers
Iris de GélisSébastien LefèvreThomas CorpettiThomas RistorcelliChloé Thénoz et al.  Benchmarking Change Detection in Urban 3D Point Clouds
IGARSS 2021 - IEEE International Geoscience and Remote Sensing Symposium, Jul 2021, Brussels, Belgium
hal-03379980v1  Conference papers
Clément DechesnePierre LassalleSébastien Lefèvre. Bayesian Deep Learning with Monte Carlo Dropout for Qualification of Semantic Segmentation
IGARSS 2021 - IEEE International Geoscience and Remote Sensing Symposium, Jul 2021, Brussels, Belgium
hal-03379913v1  Conference papers
Alif PranataOlivier BaraisJohann BourcierLudovic Noirie. ChaT: Evaluation of Reconfigurable Distributed Network Systems Using Metamorphic Testing
GLOBCOM 2021 - IEEE Global Communications Conference, Dec 2021, Madrid, Spain. pp.1-6
hal-03378951v1  Conference papers
Buntheng LySonny FinsterbachMarta Nuñez-GarciaHubert CochetMaxime Sermesant. Scar-Related Ventricular Arrhythmia Prediction from Imaging Using Explainable Deep Learning
FIMH 2021 - International Conference on Functional Imaging and Modeling of the Heart, Jun 2021, Stanford, United States. pp.461-470, ⟨10.1007/978-3-030-78710-3_44⟩
hal-03362342v1  Conference papers
Elizabeth WaltonBaptiste CaramiauxSarah Fdili AlaouiFrédéric BevilacquaWendy E. Mackay. Reconciling Technology-Driven and Experiential Approaches for Movement-Based Design
IHM'20.21 - 32e Conférence Francophone pour l’Interaction Homme-Machine, Apr 2021, Virtual Event, France. ⟨10.1145/3450522.3451334⟩
hal-03378451v1  Conference papers
Quentin Le LidecIvan LaptevCordelia SchmidJustin Carpentier. Differentiable Rendering with Perturbed Optimizers
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
hal-03295581v1  Journal articles
Michael FellYaroslav NechaevGabriel Meseguer-BrocalElena CabrioFabien Gandon et al.  Lyrics segmentation via bimodal text–audio representation
Natural Language Engineering, Cambridge University Press (CUP), 2021, pp.1-20. ⟨10.1017/S1351324921000024⟩
hal-02009705v1  Journal articles
Phuong-Thu TrinhRomain BrossierLudovic MétivierJean VirieuxPaul Wellington. Bessel smoothing filter for spectral-element mesh
Geophysical Journal International, Oxford University Press (OUP), 2017, 209 (3), pp.1489-1512. ⟨10.1093/gji/ggx103⟩
hal-03377608v1  Conference papers
Patrick BoscDidier DuboisOlivier PivertHenri PradeMartine Calmès. Fuzzy summarization of data using fuzzy cardinalities
9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2002), Jul 2002, Annecy, France. pp.1553-1559
hal-03377799v1  Conference papers
Florence CartonDavid FilliatJaonary RabarisoaQuoc Pham. Evaluating Robustness over High Level Driving Instruction for Autonomous Driving
IV 2021 - 32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan
hal-03377797v1  Conference papers
Hubert NourtelPierre ChampionDenis JouvetAnthony LarcherMarie Tahon. Evaluation of Speaker Anonymization on Emotional Speech
1st ISCA Symposium on Security and Privacy in Speech Communication, Nov 2021, Virtual, Germany
hal-03377462v1  Conference papers
Angèle BossuatRaphael BostPierre-Alain FouqueBrice MinaudMichael Reichle. SSE and SSD: Page-Efficient Searchable Symmetric Encryption
Crypto 2021 - Annual International Cryptology Conference, Aug 2021, Virtual, France
hal-03342677v1  Journal articles
Wesley WillettBon Adriel AsenieroSheelagh CarpendalePierre DragicevicYvonne Jansen et al.  Perception! Immersion! Empowerment! Superpowers as Inspiration for Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, ⟨10.1109/TVCG.2021.3114844⟩
hal-03376942v1  Other publications
Fabien Gandon. Dessine-moi un graphe de connaissances !
Blog Binaire, Le, 2021