Skip to Main content Skip to Navigation
  1. Search


...
hal-03655372v1  Reports
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti. Reversibility in Erlang: Imperative Constructs -Technical Report
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28
...
hal-03703628v1  Reports
Samir M Perlaza, Iñaki Esnaola, H Vincent Poor. Sensitivity of the Gibbs Algorithm to Data Aggregation in Supervised Machine Learning
[Research Report] 9474, Inria Sophia Antipolis. 2022, pp.22
...
hal-03621919v3  Reports
Axel Palaude, Margarida Romero, Thierry Viéville. Multimodal learning analytics for studying creative problem-solving with modular robotics
[Research Report] RR-9467, Inria & Labri, Université Bordeaux. 2022, pp.18
...
hal-03684334v1  Reports
Thaïs Baudon, Laure Gonnord, Gabriel Radanne. Knit&Frog: Pattern matching compilation for custom memory representations
[Research Report] Inria Lyon. 2022
...
hal-03685074v1  Reports
Languénou Eric. Importance Driven Color Assignment
[Research Report] Nantes Université, LS2N, UMR 6004, F-44000 Nantes, France. 2022
...
hal-03676650v1  Reports
Rémi Leluc, Elie Chedemail, Adéchola Kouande, Quyen Nguyen, Njaka Andriamandratomanana. Fully Homomorphic Encryption and Bootstrapping
[Research Report] IRMAR - Université Rennes 1. 2022
...
hal-03672726v1  Reports
Tristan Gillard, Alain Dutech, Jérémy Fix. Non-Associative Learning and the Iterant Deformable Sensorimotor Medium
[Research Report] RR-9472, Inria Nancy - Grand Est. 2022, pp.50
...
hal-03666488v1  Reports
Loïc Dubois. A bound for Delaunay flip algorithms on flat tori
[Research Report] LIGM - Laboratoire d'Informatique Gaspard-Monge. 2022
...
hal-03687237v1  Reports
Axel Palaude, Lucie Bannay, Baptiste Bernard, Thierry Viéville. From CreaCube to EscapeCube: trying to add internal sensors to collect data automatically
[Technical Report] RT-0517, Inria & Labri, Université de Bordeaux. 2022, pp.18
...
hal-03672087v2  Reports
Rutger A. Biezemans, Arsene Brice Zotsa Ngoufack, Chiara Cordier, Ayoub Belhachmi. Some solutions for non-homogeneous smoothing
[Research Report] IRMAR, University of Rennes 1. 2022
...
hal-03127673v4  Reports
Jules Bertrand, Fanny Dufossé, Somesh Singh, Bora Uçar. Algorithms and data structures for hyperedge queries
[Research Report] RR-9390, Inria Grenoble Rhône-Alpes. 2022, pp.28
...
hal-03655637v1  Reports
Thomas Dissaux, Nicolas Nisse. Pathlength of Outerplanar graphs
[Research Report] Inria & Université Nice Sophia Antipolis, CNRS, I3S, Sophia Antipolis, France. 2022
...
hal-03655608v1  Reports
Erwan Le Merrer, Gilles Trédan, Ali yesilkanat. YouTube Recommendations Do Predict Polls: A note on the 2022 French presidential election
[Research Report] Rapport LAAS n° 22136, Inria. 2022
...
hal-03652738v1  Reports
Sidahmed yalles, Mohamed Handaoui, Jean-Emile Dartois, Olivier Barais, Laurent d'Orazio et al.  RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources
[Research Report] ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne. 2022, pp.1-9
...
hal-03648027v1  Reports
Christoph Lüders, Eléonore Bellot, François Fages, Ovidiu Radulescu, Sylvain Soliman. Symbolic Methods for Biological Networks D2.1 Report on Scalable Methods for Tropical Solutions (T1.2)
[Research Report] Inria Saclay. 2022
...
hal-03647383v1  Reports
Rayane Hamani. Agrégation de canaux pour la communication directe sur mobile
[Travaux universitaires] Université de Lille, Faculté de Sciences et Technologies; Laboratoire CRIStAL. 2022, pp.24
...
hal-03640683v1  Reports
Luca Di Stefano, Frédéric Lang. Compositional Verification of Priority Systems using Sharp Bisimulation
[Research Report] INRIA. 2022, pp.1-32
...
hal-03630407v3  Reports
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. Generation of a reversible semantics for Erlang in Maude
[Research Report] RR-9468, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22
...
hal-03629462v1  Reports
Adrien Pavao, Isabelle Guyon, Anne-Catherine Letournel, Xavier Baró, Hugo Escalante et al.  CodaLab Competitions: An open source platform to organize scientific challenges
[Technical Report] Université Paris-Saclay, FRA. 2022
...
hal-03641948v1  Reports
Nour El Houda Bouzouita, Anthony Busson, Hervé Rivano. Inference of Wi-Fi Busy Time Fraction based on Markov Chains
[Research Report] Inria Lyon. 2022, pp.1-35
...
hal-03641039v1  Reports
Zhiwei Wu, Li Han, Jing Liu, yves Robert, Frédéric Vivien. Energy-aware mapping and scheduling strategies for real-time workflows under reliability constraints
[Research Report] RR-9469, INRIA. 2022, pp.1-23
...
hal-03629450v1  Reports
Marcus Denker, Nicolas Anquetil, Vincent Aranega, Steven Costiou, Stéphane Ducasse et al.  Project-Team RMOD 2021 Activity Report
[Research Report] INRIA Lille - Nord Europe. 2022
...
hal-03613598v1  Reports
Loïc Hélouët, Pranay Agrawal. Waiting Nets (Extended Version)
[Research Report] INRIA; ENS Paris Saclay. 2022, pp.1-37
...
hal-03609275v2  Reports
Mathieu Faverge, Nathalie Furmento, Abdou Guermouche, Gwenolé Lucas, Raymond Namyst et al.  Programming Heterogeneous Architectures Using Hierarchical Tasks
[Research Report] RR-9466, Inria Bordeaux Sud-Ouest. 2022, pp.21
...
hal-03605874v1  Reports
Florian Miralles, Sauvage Bastien, Wornom Stephen, Koobus Bruno, Dervieux Alain. Hybrid RANS/DVMS modeling for static and rotating obstacles
[Research Report] RR-9464, INRIA. 2022, pp.26
...
hal-03594482v1  Reports
Karthikeyan Bhargavan, Vincent Cheval, Christopher Wood. Handshake Privacy for TLS 1.3 - Technical report
[Research Report] Inria Paris; Cloudflare. 2022
...
hal-03610883v2  Reports
Anne Benoit, Lucas Perotin, yves Robert, Frédéric Vivien. Checkpointing strategies to protect parallel jobs from non-memoryless fail-stop errors
[Research Report] RR-9465, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.42
...
hal-03605638v1  Reports
Francoise Berthoud, Marion Ficher. Évaluation de l’empreinte carbone d’une visioconference entre deux utilisateurs du service rendez-vous
[Rapport de recherche] CNRS - EcoInfo. 2022, pp.60
...
hal-03625249v1  Reports
Azim Roussanaly, Olfa Messaoud. NoozyIA version 1.0 : Manuel de référence
[Rapport de recherche] LORIA - Université de Lorraine. 2022
...
hal-03560072v2  Reports
Samir M. Perlaza, Gaetan Bisson, Iñaki Esnaola, Alain Jean-Marie, Stefano Rini. Empirical Risk Minimization with Generalized Relative Entropy Regularization
[Research Report] RR-9454, Inria. 2022
...
hal-03580636v1  Reports
Albert Benveniste, Benoît Caillaud, Mathias Malandain. Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code
[Research Report] RR-9459, Inria Rennes - Bretagne Atlantique. 2022, pp.1-46
...
hal-03564751v2  Reports
Alexandre Denis, Emmanuel Jeannot, Philippe Swartvagher. Modeling Memory Contention between Communications and Computations in Distributed HPC Systems (Extended Version)
[Research Report] RR-9451, INRIA Bordeaux, équipe TADAAM. 2022, pp.34
...
hal-03363098v6  Reports
Runbo Su, Arbia Riahi Sfar, Enrico Natalizio, Pascal Moyal, ye-Qiong Song. Framework and simulation of a phase-based trust management for service-oriented IoT/IIoT
[Technical Report] Loria. 2022
...
hal-03562184v1  Reports
Luc Hogie. Idawi: a middleware for distributed applications in the IOT, the fog and other multihop dynamic networks
[Research Report] CNRS - Centre National de la Recherche Scientifique; Université Côte d'azur; Inria. 2022
...
hal-03556888v1  Reports
Homa Nikbakht, Malcolm Egan, Jean-Marie Gorce. Dirty Paper Coding for Consecutive Messages with Heterogeneous Decoding Deadlines in the Finite Blocklength Regime
[Research Report] RR-9462, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-21
...
hal-03557692v1  Reports
Emmanuel Agullo, Marek Felšöci, Guillaume Sylvand. Direct solution of larger coupled sparse/dense linear systems using low-rank compression on single-node multi-core machines in an industrial context
[Research Report] RR-9453, Inria Bordeaux Sud-Ouest. 2022, pp.25
...
hal-03557760v1  Reports
Pierre-Evariste Dagand, Gautier Berthou, Delphine Demange, Tanguy Risset. A Formal Model of Interrupt-based Checkpointing with Peripherals
[Technical Report] IRIF; IRISA; INSA RENNES. 2022, pp.1-36
...
hal-03565692v1  Reports
Pierre-Antoine Bouttier, Ludovic Courtès, yann Dupont, Marek Felšöci, Felix Gruber et al.  Guix-HPC Activity Report 2020-2021
[Technical Report] Inria Bordeaux - Sud-Ouest; Université Grenoble - Alpes; Université Paris. 2022
...
hal-03581418v1  Reports
Svetlana Kulagina, Henning Meyerhenke, Anne Benoit. Mapping Tree-shaped Workflows on Memory-heterogeneous Architectures
[Research Report] RR-9458, Inria Grenoble Rhône-Alpes. 2022, pp.1-20
...
hal-03564379v1  Reports
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine. Lebesgue Induction and Tonelli's Theorem in Coq
[Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2022, pp.17
...
hal-03580853v1  Reports
yiqin Gao, Guillaume Pallez, yves Robert, Frédéric Vivien. Scheduling Strategies for Overloaded Real-Time Systems
[Research Report] RR-9455, Inria - Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-48
...
hal-03125960v2  Reports
Mohammad Rasool Mojallizadeh, Bernard Brogliato, Andrey Polyakov, Subiksha Selvarajan, Loïc Michel et al.  Discrete-time differentiators in closed-loop control systems: experiments on electro-pneumatic system and rotary inverted pendulum
[Research Report] INRIA Grenoble. 2022
...
hal-03589695v2  Reports
Emmanuel Agullo, Marek Felšöci, Amina Guermouche, Hervé Mathieu, Guillaume Sylvand et al.  Study of the processor and memory power consumption of coupled sparse/dense solvers
[Research Report] RR-9463, Inria Bordeaux Sud-Ouest. 2022, pp.17
...
hal-03588491v1  Reports
Emmanuel Agullo, Alfredo Buttari, Abdou Guermouche, Julien Herrmann, Antoine Jego. Task-Based Parallel Programming for Scalable Algorithms: application to Matrix Multiplication
[Research Report] RR-9461, Inria Bordeaux - Sud-Ouest. 2022, pp.26
...
hal-03547334v1  Reports
Charly Castes, Emmanuel Agullo, Olivier Aumage, Emmanuelle Saillard. Decentralized in-order execution of a sequential task-based code for shared-memory architectures
[Research Report] RR-9450, Inria Bordeaux - Sud Ouest. 2022, pp.30
...
hal-03654003v2  Reports
Ayush Pandey, Annette Bieniusa, Marc Shapiro. Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore
[Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022
...
hal-03543701v2  Reports
Louis Noizet, Alan Schmitt. Stating and Handling Semantics with Skel and Necro
[Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23
...
hal-03537962v1  Reports
Mohamad El Laz, Alejandro Hevia, Tamara Rezk. Tracking Information Flow by Mapping Broadcast Encryption Subgroups to Security Lattices
[Research Report] Inria. 2022
...
hal-03518757v1  Reports
Augustin Bariant, Clémence Bouvier, Gaëtan Leurent, Léo Perrin. Practical Algebraic Attacks against some Arithmetization-oriented Hash Functions
[Research Report] Inria. 2022
...
hal-03510322v1  Reports
yasmina Bouizem, Djawida Dib, Nikos Parlavantzas, Christine Morin, Fedoua Lahfa. Request Replication for FaaS Fault Tolerance
[Research Report] RR-9444, Inria. 2022, pp.1-19
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/