Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

1 130 résultats
Type de document : Pré-publication, Document de travail
Type de dépôt : Notice
Page :
triés par

Service discovery system: Load balancing mechanisms.

 Eddy Caron , Cédric Tedeschi
2011
Pré-publication, Document de travail hal-01427722v1

Report of the Third Global Experimentation for Future Internet (GEFI 2018) Workshop

 Mark Berman , Timur Friedman , Abhimanyu Gosain , Kate Keahey , Rick Mcgeer , et al.
2019
Pré-publication, Document de travail hal-01978579v1

Material Palette: Extraction of Materials from a Single Image

 Ivan Lopes , Fabio Pizzati , Raoul de Charette
2023
Pré-publication, Document de travail hal-04366802v1

Computer validated proofs of a toolset for adaptable arithmetic

 Sylvie Boldo , Marc Daumas , Claire Moreau-Finot , Laurent Thery
2001
Pré-publication, Document de travail hal-00018530v1

Variational Minimization of Orbital-dependent Density Functionals

 Cheol-Hwan Park , Andrea Ferretti , Ismaila Dabo , Nicolas Poilvert , Nicola Marzari
2011
Pré-publication, Document de travail hal-00617719v1

A Curry-Howard Approach to Church's Synthesis

 Cécilia Pradic , Colin Riba
2018
Pré-publication, Document de travail hal-01780807v1

Factoring Safe Semiprimes with a Single Quantum Query

 Frédéric Grosshans , Thomas Lawson , Benjamin Smith , François Morain
2016
Pré-publication, Document de travail hal-01229587v1

Converse Bounds on Modulation-Estimation Performance for the Gaussian Multiple-Access Channel

 Ayşe Ünsal , Raymond Knopp , Neri Merhav
2016
Pré-publication, Document de travail hal-01390890v1

Border collision bifurcations of stroboscopic maps in periodically driven spiking models

 Albert Granados , Martin Krupa , Frédérique Clément
2013
Pré-publication, Document de travail hal-00910277v1

Distributed source identification for wave equations: an observer-based approach (full paper)

 Marianne Chapouly , Mazyar Mirrahimi
2010
Pré-publication, Document de travail hal-00488838v1

The Topology of the set of line Transversals

 Otfried Cheong , Xavier Goaoc , Andreas Holmsen
2022
Pré-publication, Document de travail hal-03702551v1

On the Bootstrap for Persistence Diagrams and Landscapes

 Frédéric Chazal , Brittany Terese Fasy , Fabrizio Lecci , Alessandro Rinaldo , Aarti Singh , et al.
2013
Pré-publication, Document de travail hal-00879982v1

Location-based information transmission systems using visible light communications

 Ho Siu-Wai , Jialong Duan , Chung Shue Chen
2013
Pré-publication, Document de travail hal-01076839v1

Using symbolic computation to solve algebraic Riccati equations arising in invariant filtering

 Axel Barrau , Guillaume Rance , Yacine Bouzidi , Alban Quadrat , Arnaud Quadrat
2017
Pré-publication, Document de travail hal-01669297v1

Linear Integer Arithmetic Revisited

 Martin Bromberger , Thomas Sturm , Christoph Weidenbach
2015
Pré-publication, Document de travail hal-03145059v1

How arithmetic and geometry make error correcting codes better

 Alain Couvreur
2021
Pré-publication, Document de travail hal-03400779v1

Dynamic programming equation for the mean field optimal stopping problem

 Mehdi Talbi , Nizar Touzi , Jianfeng Zhang
2022
Pré-publication, Document de travail hal-03901691v1

Viscosity solutions for obstacle problems on Wasserstein space

 Mehdi Talbi , Nizar Touzi , Jianfeng Zhang
2022
Pré-publication, Document de travail hal-03901696v1

Molecular Simulations of Shock to Detonation Transition in Nitromethane

 Jean-Bernard Maillet , Germain Vallverdu , Nicolas Desbiens , Gabriel Stoltz , Emeric Bourasseau
2011
Pré-publication, Document de travail hal-00609415v1

A non-overlapping optimization-based domain decomposition approach to component-based model reduction of incompressible flows

 Tommaso Taddei , Xuejun Xu , Lei Zhang
2024
Pré-publication, Document de travail hal-04382123v1

Goal-Oriented Metric-Based Mesh Adaptive Tidal Farm Modelling

 Joseph Wallwork , Lucas Mackie , Stephan Kramer , Nicolas Barral , Athanasios Angeloudis , et al.
2021
Pré-publication, Document de travail hal-03374286v1

First-Order Tests for Toricity

 Hamid Rahkooy , Thomas Sturm
2020
Pré-publication, Document de travail hal-03017907v1

A mathematical formulation of the random phase approximation for crystals

 Eric Cancès , Gabriel Stoltz
2011
Pré-publication, Document de travail hal-00622929v1

A nonintrusive method to approximate linear systems with nonlinear parameter dependence

 Fabien Casenave , Alexandre Ern , Tony Lelièvre , Guillaume Sylvand
2013
Pré-publication, Document de travail hal-00845822v1

Zap Q-Learning for Optimal Stopping Time Problems

 Shuhang Chen , Adithya M. Devraj , Ana Bušić , Sean P. Meyn
2019
Pré-publication, Document de travail hal-02425983v1

Principled Analyses and Design of First-Order Methods with Inexact Proximal Operators

 Mathieu Barré , Adrien Taylor , Francis Bach
2020
Pré-publication, Document de travail hal-02947160v1

Learning to Localize and Align Fine-Grained Actions to Sparse Instructions

 Meera Hahn , Nataniel Ruiz , Jean-Baptiste Alayrac , Ivan Laptev , James M. Rehg
2019
Pré-publication, Document de travail hal-01979719v1

Much Ado About Time: Exhaustive Annotation of Temporal Data

 Gunnar A. Sigurdsson , Olga Russakovsky , Ali Farhadi , Ivan Laptev , Abhinav Gupta
2016
Pré-publication, Document de travail hal-01431527v1

Computation of free energy profiles with parallel adaptive dynamics

 Tony Lelièvre , Mathias Rousset , Gabriel Stoltz
2007
Pré-publication, Document de travail hal-00136425v1

PEPit: computer-assisted worst-case analyses of first-order optimization methods in Python

 Baptiste Goujaud , Céline Moucer , François Glineur , Julien Hendrickx , Adrien Taylor , et al.
2022
Pré-publication, Document de travail hal-03780353v1
Page :