Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

9 419 résultats
Page :
triés par
Image document

Teaching Divisibility and Binomials with Coq

 Sylvie Boldo , François Clément , David Hamelin , Micaela Mayero , Pierre Rousselin
RR-9547, Inria. 2024, pp.13
Rapport hal-04550762v1
Image document

Formally Verified Bounds on Rounding Errors in Concrete Implementations of Logarithm-Sum-Exponential Functions

 Paul Bonnot , Benoît Boyer , Florian Faissole , Claude Marché , Raphaël Rieu-Helft
RR-9531, Inria. 2023
Rapport hal-04343157v2
Image document

Equilibrium bids for reverse auctions when the budget is announced - Some preliminary results

 Alain Jean-Marie , Mabel Tidball
RR-9545, Inria; CEE-M. Centre d'Economie de l'Environnement - Montpellier. 2024, pp.19
Rapport hal-04520388v1
Image document

Mechanical compliance: from soft robot modeling theory to finite element method computation

 Christian Duriez
RT-0521, INRIA - Centre Lille Nord Europe. 2024
Rapport hal-04469924v1
Image document

Unique continuation theorem for symmetric harmonic hyperbolic systems with constant coefficients

 Sébastien Pernet , Matthias Rivet , Sébastien Tordeux
RR-9544, Inria Bordeaux - Sud-Ouest. 2024
Rapport hal-04504052v1
Image document

Orthogonal matching pursuit-based algorithms for the Birkhoff-von Neumann decomposition

 Damien Lesens , Jérémy E Cohen , Bora Uçar
RR-9543, Inria Lyon. 2024, pp.12
Rapport hal-04500014v1

Open Source Ethernet Real-time Audio Transmission to FPGA

 Pierre Cochard , Jurek Weber , Romain Michon , Tanguy Risset , Stephane Letz
RR-9542, INRIA. 2024, pp.16
Rapport hal-04491503v1
Image document

A Methodological Guide for the Validation of Logic Modelling of Ladder Instructions

 Denis Cousineau , Hiroaki Inoue , Claude Marché , David Mentré
RT-0522, Inria. 2024
Rapport hal-04487766v1
Image document

Empirical Risk Minimization with Relative Entropy Regularization

 Samir M. Perlaza , Gaetan Bisson , Iñaki Esnaola , Alain Jean-Marie , Stefano Rini
[Research Report] RR-9454, Inria. 2022
Rapport hal-03560072v7
Image document

Empirical Risk Minimization with Relative Entropy Regularization Type-II

 Francisco Daunas , Iñaki Esnaola , Samir M. Perlaza , H. Vincent Poor
RR-9508, INRIA, Centre Inria d'Université Côte d'Azur, Sophia Antipolis. 2023
Rapport hal-04110899v2
Image document

Implementation of an unbalanced I/O Bandwidth Management system in a Parallel File System

 Clément Barthélemy , Francieli Zanon Boito , Emmanuel Jeannot , Guillaume Pallez , Luan Teylo
RR-9537, Inria. 2024
Rapport hal-04417412v1
Image document

Connectivity of a random directed graph model

 Anne Benoit , Kamer Kaya , Bora Uçar
RR-9540, Inria Lyon. 2024
Rapport hal-04428417v2
Image document

Learning HJB Viscosity Solutions with PINNs for Continuous-Time Reinforcement Learning

 Alena Shilova , Thomas Delliaux , Philippe Preux , Bruno Raffin
RR-9541, Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189; Univ. Lille, CNRS, Centrale Lille, Inria UMR 9189 - CRIStAL,INRIA Lille Nord Europe, Villeneuve d’Ascq, France; Univ. Grenoble Alps, CNRS, Inria, Grenoble INP, LIG, 38000 Grenoble, France. 2024, pp.1-30
Rapport hal-04445160v1
Image document

Empirical Risk Minimization with f-Divergence Regularization in Statistical Learning

 Francisco Daunas , Iñaki Esnaola , Samir M. Perlaza , H. Vincent Poor
RR-9521, Inria. 2023
Rapport hal-04258765v3
Image document

Leveraging Noisy Observations in Zero-Sum Games

 Emmanouil-Marios Athanasakos , Samir M. Perlaza
RR-9538, Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur. 2024, pp.24
Rapport hal-04424590v1
Image document

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation (Extended Version)

 Pierre Lermusiaux , Benoît Montagu
RR-9536, Inria. 2024, pp.38
Rapport hal-04410771v1
Image document

Simuscale: A Modular Framework for Multiscale Single-Cell Modelling

 Samuel Bernard , Fabien Crauste , Olivier Gandrillon , Carole Knibbe , David Parsons
RT-0520, Inria Lyon. 2024, pp.18
Rapport hal-04400510v1
Image document

On some orthogonalization schemes in Tensor Train format

 Olivier Coulaud , Luc Giraud , Martina Iannacito
RR-9491, Inria Bordeaux - Sud-Ouest. 2022
Rapport hal-03850387v3
Image document

De la transparence à l’explicabilité automatisée des algorithmes : comprendre les obstacles informatiques, juridiques et organisationnels

 Denis Merigoux , Marie Alauzen , Justine Banuls , Louis Gesbert , Émile Rolley
RR-9535, INRIA Paris. 2024, pp.68
Rapport hal-04391612v1
Image document

The Worst-Case Data-Generating Probability Measure

 Xinying Zou , Samir M. Perlaza , Iñaki Esnaola , Eitan Altman
RR-9515, INRIA. 2023
Rapport hal-04181971v2
Image document

Partial Evaluation of Dense Code on Sparse Structures

 Gabriel Dehame , Christophe Alias , Alec Sadler
RR-9534, INRIA Lyon; CNRS; ENS de Lyon; Université de Lyon. 2023, pp.16
Rapport hal-04358187v1
Image document

On the implementation of Hybridizable Discontinuous Galerkin discretization for linear anisotropic elastic wave equation: Voigt-notation and stabilization

 Ha Pham , Florian Faucher , Hélène Barucq
RR-9533, INRIA Bordeaux. 2023, pp.79
Rapport hal-04356602v1
Image document

Numérisation, valorisation et jumeaux numériques d'instruments de musique du patrimoine

 Romain Viala , Juliette Chabassier , Augustin Ernoult , Marguerite Jossic , Tobias van Baarsel , et al.
RR-9532, Inria; ITEMM; Musée de la musique - Philharmonie de Paris. 2023
Rapport hal-04352706v1
Image document

DBA and K-means clustering : Explainability problems for research on behaviors and strategies

 Axel Palaude , Thierry Viéville
RR-9522, Inria & Labri, Université Bordeaux. 2023, pp.17
Rapport hal-04254844v1
Image document

Piano bridge mobility and longitudinal precursors

 Guillaume Castera , Juliette Chabassier , Paul Fisette , Brad Wagijo
RR-9530, Inria Bordeaux - Sud Ouest. 2023, pp.46
Rapport hal-04317501v1
Image document

Algorithms for stationary Gaussian random field generation

 Géraldine Pichot
[Technical Report] RT-0484, INRIA Paris. 2016
Rapport hal-01414707v4
Image document

Hiding Virtual Machine Introspection Pauses in Networked Sandboxes with Network Simulation

 Léo Cosseron , Martin Quinson , Louis Rilling , Matthieu Simonin
RR-9528, Inria Rennes - Bretagne Atlantique & IRISA. 2023, pp.1-14
Rapport hal-04282253v1
Image document

Combining Pareto Optimality with Nash Games in Multi-Objective Prioritized Optimization of an Aircraft Flight Performance

 Jean-Antoine Désidéri , Julien Wintz , Nathalie Bartoli , Christophe David , Sébastien Defoort
[Research Report] RR-9490, Inria - Sophia Antipolis; Acumes. 2022, pp.29
Rapport hal-03817789v3
Image document

Space time convergence of implicit discretization strategies for the mixed formulation of linear wave equations

 Juliette Chabassier
RR-9529, Inria. 2023
Rapport hal-04285761v1
Image document

Two implicit parametrized discretization strategies for the mixed formulation of linear wave equations

 Juliette Chabassier
RR-9527, Inria. 2023, pp.18
Rapport hal-04262905v1
Page :