 |
 |
 |
|
|
||
|---|---|---|
| hal-02073725v1
Conference papers
Simulation of a Sparse Direct Solver on Heterogeneous Systems using Starpu and Simgrid CSE 2019 - SIAM Conference on Computational Science and Engineering, Feb 2019, Spokane, United States |
||
| hal-02132976v2
Journal articles
Estimation of the tail-index in a conditional location-scale family of heavy-tailed distributions Dependence Modeling, De Gruyter, 2019, 7 (1), pp.394--417. ⟨10.1515/demo-2019-0021⟩ |
||
| hal-03249828v1
Preprints, Working Papers, ...
Accuracy of Mixed Precision Computation in Large Coupled Biological Systems 2021 |
||
| hal-03043697v1
Conference papers
A new regret analysis for Adam-type algorithms ICML 2020 - 37th International Conference on Machine Learning, Jul 2020, Vienna, Austria. pp.1-10 |
||
| hal-03600672v1
Journal articles
Mean Field and Refined Mean Field Approximations for Heterogeneous Systems: It Works! Proceedings of the ACM on Measurement and Analysis of Computing Systems , ACM, 2022, 6 (1), pp.1-43. ⟨10.1145/3508033⟩ |
||
| hal-03485044v1
Conference papers
rmftool - A library to Compute (Refined) Mean Field Approximation(s) TOSME 2021, Nov 2021, Online conference, France |
||
| hal-01984833v1
Journal articles
Unmasking the causal relationships latent in the interplay between occupant’s actions and indoor ambience: a building energy management outlook Applied Energy, Elsevier, 2019, 238, pp.1452-1470. ⟨10.1016/j.apenergy.2019.01.118⟩ |
||
| |
||
| hal-03364880v1
Journal articles
Optimal Speed Profile of a DVFS Processor under Soft Deadlines Performance Evaluation, Elsevier, 2021, 152, ⟨10.1016/j.peva.2021.102245⟩ |
||
| hal-01102936v1
Journal articles
Control of parallel non-observable queues: asymptotic equivalence and optimality of periodic policies Stochastic Systems, INFORMS Applied Probability Society, 2015, 5 (1), ⟨10.1214/14-SSY146⟩ |
||
| hal-01102977v1
Journal articles
Efficiency of simulation in monotone hyper-stable queueing networks Queueing Systems, Springer Verlag, 2014, 76 (1), pp.51-72. ⟨10.1007/s11134-013-9357-7⟩ |
||
| hal-02394147v1
Journal articles
Power-of-d-Choices with Memory: Fluid Limit and Optimality Mathematics of Operations Research, INFORMS, In press, 45 (3), pp.862-888. ⟨10.1287/moor.2019.1014⟩ |
||
| hal-02403562v1
Conference papers
An adaptive mirror-prox algorithm for variational inequalities with singular operators NeurIPS 2019, 2019, Vancouver, Canada |
||
| hal-03043671v1
Conference papers
Online and Stochastic Optimization beyond Lipschitz Continuity: A Riemannian Approach ICLR 2020 - International Conference on Learning Representations, Apr 2020, Addis Ababa, Ethiopia. pp.1-20 |
||
| hal-03357714v1
Conference papers
Sifting through the noise: Universal first-order methods for stochastic variational inequalities NeurIPS 2021 - 35th International Conference on Neural Information Processing Systems, Dec 2021, Virtual, Unknown Region. pp.1-39 |
||
| hal-03342998v1
Conference papers
Adaptive first-order methods revisited: Convex optimization without Lipschitz requirements NeurIPS 2021 - 35th International Conference on Neural Information Processing Systems, Dec 2021, Virtual, Unknown Region |
||
| hal-03342601v1
Conference papers
Adaptive extra-gradient methods for min-max optimization and games ICLR 2021 - 9th International Conference on Learning Representations, May 2021, Virtual, Unknown Region. pp.1-28 |
||
| hal-02006606v1
Conference papers
Exchange algorithm for evaluation and approximation error-optimized polynomials ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8 |
||
| hal-01149604v1
Reports
SANGE -Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (extended version) [Research Report] RR-8724, Inria Rhône-Alpes; Grenoble University; Pontifícia Universidade Católica do Rio Grande do Sul; INRIA. 2015 |
||
| hal-01229408v2
Journal articles
Contextual equivalences in configuration structures and reversibility Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016 |
||
| hal-01111737v2
Conference papers
An in-between "implicit" and "explicit" complexity: Automata DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom |
||
| hal-01157974v2
Conference papers
Reversible Barbed Congruence on Configuration Structures 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. pp.68-85, ⟨10.4204/EPTCS.189.7⟩ |
||
| hal-01107377v3
Reports
Memoization for Unary Logic Programming: Characterizing PTIME [Research Report] RR-8796, INRIA Grenoble - Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28 |
||
| hal-03342583v1
Conference papers
The last-iterate convergence rate of optimistic mirror descent in stochastic variational inequalities COLT 2021 - 34th Annual Conference on Learning Theory, Aug 2021, Boulder, United States. pp.1-32 |
||
| hal-01382296v1
Journal articles
Energy-aware competitive power allocation for heterogeneous networks under QoS constraints IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2015, 14 (9), pp.4728-4742. ⟨10.1109/twc.2015.2425397⟩  |
||
| hal-00683148v1
Preprints, Working Papers, ...
Fine asymptotics of profiles and relaxation to equilibrium for growth-fragmentation equations with variable drift rates 2012 |
||
| hal-00768566v1
Conference papers
On the decoding of quasi-BCH codes WCC - International Workshop on Coding and Cryptography, Apr 2013, Bergen, Norway |
||
| hal-01647062v1
Journal articles
An Explicit Isometric Reduction of the Unit Sphere into an Arbitrarily Small Ball Foundations of Computational Mathematics, Springer Verlag, 2018, 18 (4), pp.1015-1042. ⟨10.1007/s10208-017-9360-1⟩ |
||
| hal-00793024v1
Journal articles
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking Bioinformatics, Oxford University Press (OUP), 2010, 26, pp.i603-i610. ⟨10.1093/bioinformatics/btq387⟩  |
||
| hal-01848648v1
Journal articles
Bounding the Order of a Graph Using Its Diameter and Metric Dimension: A Study Through Tree Decompositions and VC Dimension SIAM Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2018, 32 (2), pp.902 - 918. ⟨10.1137/16M1097833⟩ |
||
| hal-01382293v1
Conference papers
Energy-efficient power allocation in dynamic multi-carrier systems VTC Spring 2015: Proceedings of the 2015 IEEE Vehicular Technology Conference, 2015, Glasgow, Scotland, Unknown Region |
||
| hal-01136667v1
Journal articles
Quantitative convergence towards a self similar profile in an age-structured renewal equation for subdiffusion Acta Applicandae Mathematicae, Springer Verlag, 2016, pp.15-45 |
||
| hal-00338704v1
Directions of work or proceedings
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems springer, pp.378, 2008 |
||
| hal-00431268v1
Patents
Procédé de détermination de la valeur à donner à différents paramètres d'un système France, N° de brevet: EP1387232 (A1). 2004 |
||
|
|
||
| hal-00649217v1
Journal articles
Application of Hybrid Models to Blood Cell Production in the Bone Marrow Mathematical Modelling of Natural Phenomena, EDP Sciences, 2011, 6 (7), pp.2-12. ⟨10.1051/mmnp/20116701⟩ |
||
| hal-02881559v1
Conference papers
Derivative-Free Optimization over Multi-User MIMO Networks NetGCoop '20: The 2020 International Conference on Network Games, Control and Optimization, 2020, Cargese, France |
||
| hal-02925284v3
Journal articles
Dispatching to parallel servers Queueing Systems, Springer Verlag, 2021, Queueing Systems, 99 (3), pp.199-230. ⟨10.1007/s11134-021-09713-y⟩ |
||
| hal-02861460v2
Journal articles
Fast Optimization with Zeroth-Order Feedback in Distributed, Multi-User MIMO Systems IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2020, 68, pp.6085-6100. ⟨10.1109/TSP.2020.3029983⟩ |
||
| tel-00004870v1
Theses
Synthèse de nouvelles vues d'une scène 3D à partir d'images existantes Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français |
||
| inria-00450789v3
Conference papers
Formal proof of a wave equation resolution scheme: the method error ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩ |
||
| hal-00649240v3
Journal articles
Wave equation numerical resolution: a comprehensive mechanized proof of a C program Journal of Automated Reasoning, Springer Verlag, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩ |
||
| hal-02403531v1
Journal articles
Hessian barrier algorithms for linearly constrained optimization problems SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2019, 29, pp.2100 - 2127. ⟨10.1137/18M1215682⟩ |
||
| hal-01403913v1
Journal articles
Attribution mechanisms for ancillary service costs induced by variability in power delivery IEEE Transactions on Power Systems, Institute of Electrical and Electronics Engineers, 2016, pp.10. ⟨10.1109/TPWRS.2016.2598760⟩ |
||
| hal-01302416v1
Conference papers
Mean Field Approximation of Uncertain Stochastic Models 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), Jun 2016, Toulouse, France |
||
| hal-01334358v1
Book sections
Mean-Field Limits Beyond Ordinary Differential Equations Bernardo, Marco; De Nicola, Rocco; Hillston, Jane. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Programming and Software Engineering, 2016, 978-3-319-34095-1. ⟨10.1007/978-3-319-34096-8_3⟩ |
||
| hal-02405776v2
Journal articles
Minibatch forward-backward-forward methods for solving stochastic variational inequalities Stochastic Systems, INFORMS Applied Probability Society, 2021, 11 (2), pp.112-139. ⟨10.1287/stsy.2019.0064⟩ |
||
| hal-01949361v1
Conference papers
On the convergence of stochastic forward-backward-forward algorithms with variance reduction in pseudo-monotone variational inequalities NIPS 2018 - Workshop on Smooth Games, Optimization and Machine Learning, Dec 2018, Montréal, Canada. pp.1-5 |
||
| hal-01100890v1
Poster communications
The SEABASS reference configuration of NEMO: a demonstrator of NEMO-ASSIM tools Colloque National sur l'Assimilation de Données, Dec 2013, Toulouse, France |
||
| tel-00109047v2
Theses
Modélisation et classification des données de grande dimension : application à l'analyse d'images. Mathématiques [math]. Université Joseph-Fourier - Grenoble I, 2006. Français |
||
| hal-00104065v1
Book sections
Class-specific subspace discriminant analysis for high-dimensional data Craig Saunders; Marko Grobelnik; Steve Gunn; John Shawe-Taylor. Subspace, Latent Structure and Feature Selection, Statistical and Optimization, Perspectives Workshop, SLSFS 2005, Springer, pp.139-150, 2006, Lecture Notes in Computer Science volume 3940, ⟨10.1007/11752790_9⟩  |
||
| hal-01891523v1
Conference papers
Bandit learning in concave N-person games NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Dec 2018, Montréal, Canada. pp.1-24 |
||
| hal-01098494v1
Journal articles
On the robustness of learning in games with stochastically perturbed payoff observations Games and Economic Behavior, Elsevier, 2017, 103 (John Nash Memorial Special Issue), pp.41-66 |
||
| hal-01415027v3
Journal articles
Defining the Pose of any 3D Rigid Object and an Associated Distance International Journal of Computer Vision, Springer Verlag, 2018, 126 (6), pp.571-596. ⟨10.1007/s11263-017-1052-4⟩ |
||
| hal-03561096v1
Preprints, Working Papers, ...
Efficient and Validated Numerical Evaluation of Abelian Integrals 2022 |
||
| hal-02085895v1
Preprints, Working Papers, ...
A New Lower Bound on the Hilbert Number for Quartic Systems 2019 |
||
| hal-01394155v1
Journal articles
Tableau sequences, open diagrams, and Baxter families European Journal of Combinatorics, Elsevier, 2016, 58, pp.144 - 165. ⟨10.1016/j.ejc.2016.05.011⟩ |
||
| hal-00681920v1
Preprints, Working Papers, ...
Optimal growth for linear processes with affine control 2012 |
||
| hal-01372949v1
Preprints, Working Papers, ...
Limiting Hamilton-Jacobi equation for the large scale asymptotics of a subdiffusion jump-renewal equation. 2016 |
||
| hal-00665226v1
Conference papers
Safety Controller Synthesis for Switched Systems Using Multi-Scale Symbolic Models CDC-ECC - 50th IEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.520-525, ⟨10.1109/CDC.2011.6160424⟩ |
||
| hal-00665219v1
Conference papers
Synthesis of switching controllers using approximately bisimilar multiscale abstractions HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, ⟨10.1145/1967701.1967730⟩ |
||
| hal-01316568v1
Conference papers
Autonomous Robot Controller Using Bitwise GIBBS Sampling 15th IEEE International Conference on COGNITIVE INFORMATICS & COGNITIVE COMPUTING, Aug 2016, Calgary, Canada |
||
| hal-00789826v2
Conference papers
Sensitivity analysis and uncertainty quantification for environmental models Journées MAS 2012, Aug 2012, Clermont-Ferrand, France. pp.300-321, ⟨10.1051/proc/201444019⟩ |
||
| hal-03102188v1
Journal articles
Performance analysis methods for list-based caches with non-uniform access IEEE/ACM Transactions on Networking, IEEE/ACM, 2020, pp.1-18. ⟨10.1109/TNET.2020.3042869⟩ |
||
| hal-01225622v1
Conference papers
Control of recurrent neural network dynamics by homeostatic intrinsic plasticity Workshop on neural population dynamics, Feb 2015, Gif sur Yvette, France |
||
| inria-00326931v1
Conference papers
Solving the Uniform Density Constraint in a Stochastic Downscaling Model CEMRACS 2007 - Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique, Aug 2007, Marseille, France. pp.97-110, ⟨10.1051/proc:2008032⟩ |
||
| hal-00758211v1
Journal articles
Parallel predator-prey interaction for evolutionary multi-objective optimization Natural Computing, Springer Verlag, 2012, 11 (3), pp.519-533. ⟨10.1007/s11047-011-9266-9⟩ |
||
| tel-00004885v1
Theses
Localisation et modélisation tridimensionnelles par approximations successives du modèle perspectif de caméra Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1998. Français |
||
| hal-01382290v1
Conference papers
Hedging under uncertainty: regret minimization meets exponentially fast convergence Symposium on Algorithmic Game Theory (SAGT) 2017, Sep 2017, L'Aquila, Italy. ⟨10.1007/978-3-319-66700-3_20⟩ |
||
| hal-01643352v1
Conference papers
Learning with bandit feedback in potential games NIPS '17: Proceedings of the 31st International Conference on Neural Information Processing Systems, Dec 2017, Long Beach, CA, United States |
||
| hal-01891558v1
Journal articles
When is selfish routing bad? The price of anarchy in light and heavy traffic Operations Research, INFORMS, 2020, 68 (2), pp.411-434. ⟨10.1287/opre.2019.1894⟩ |
||
| hal-01643345v1
Conference papers
The asymptotic behavior of the price of anarchy WINE 2017: Proceedings of the 13th Conference on Web and Internet Economics, Dec 2017, Bangalore, India |
||
| hal-00087126v1
Preprints, Working Papers, ...
A Vortex Method for Bi-phasic Fluids Interacting with Rigid Bodies 2006 |
||
| hal-00790815v1
Reports
Entropy-driven dynamics and robust learning procedures in games [Research Report] RR-8210, INRIA. 2013, pp.33 |
||
| hal-01382297v1
Conference papers
Distributed Optimization in Multi-User MIMO Systems with Imperfect and Delayed Information ISIT '14: Proceedings of the 2014 IEEE International Symposium on Information Theory, 2014, Unknown, Unknown Region |
||
| hal-01368786v2
Journal articles
Weighted Lattice Walks and Universality Classes Journal of Combinatorial Theory, Series A, Elsevier, 2017, ⟨10.1016/j.jcta.2017.06.008⟩ |
||
| hal-01643348v1
Journal articles
Auction-based resource allocation in OpenFlow multi-tenant networks Computer Networks, Elsevier, 2017, 115, pp.29-41 |
||
| hal-01382298v1
Conference papers
Adaptive transmit policies for cost-efficient power allocation in multi-carrier systems WiOpt '14: Proceedings of the 12th International Symposium and Workshops on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, 2014, Unknown, Unknown Region |
||
| hal-01382292v1
Conference papers
Cost-efficient power allocation in OFDMA cognitive radio networks EUCNC' 15: Proceedings of the 2015 European Conference on Networks and Communications, 2015, Unknown, Unknown Region |
||
| hal-01382291v1
Journal articles
Interference-based pricing for opportunistic multi-carrier cognitive radio systems IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2015, 14 (12), pp.6536-6549 |
||
| tel-00267643v1
Theses
Fondations, méthode et applications de l'apprentissage bayésien. Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2007. Français |
||
| inria-00174642v1
Conference papers
TrueSkill Through Time: Revisiting the History of Chess Advances in Neural Information Processing Systems, Dec 2007, Vancouver, Canada |
||
| inria-00102049v2
Reports
Philosophical Foundations of Probabilities [Research Report] RR-5988, INRIA. 2006, pp.14 |
||
| inria-00167289v2
Preprints, Working Papers, ...
Maximum Entropy Distribution with Constrained Mean 2007 |
||
| hal-01524536v3
Preprints, Working Papers, ...
Estimation of the Multivariate Conditional-Tail-Expectation for extreme risk levels: illustrations on environmental data-sets 2018 |
||
| hal-00740340v1
Journal articles
Estimation of Multivariate Conditional Tail Expectation using Kendall's Process Journal of Nonparametric Statistics, American Statistical Association, 2014, 26 (2), pp.241-267. ⟨10.1080/10485252.2014.889137⟩ |
||
| hal-01104586v1
Directions of work or proceedings
A generalized finite difference method for the 2-D nonlinear shallow water equations CARI'14 Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées., Oct 2014, Saint-Louis, Senegal. 2014, CARI 2014 Proceedings |
||
| hal-01119349v1
Journal articles
Construction and Validation of a Hybrid Lumbar Spine Model For the Fast Evaluation of Intradiscal Pressure and Mobility International Science Index, Medical and Health Science, World Academy of Science, Engineering and Technology, 2015, 9 (2), pp.134-145. ⟨10.5281/zenodo.1099356⟩ |
||
| hal-01382310v1
Conference papers
Vertical Handover Between Wireless Standards ICC '08: Proceedings of the 2008 IEEE International Conference on Communications, 2008, Unknown, Unknown Region |
||
| hal-01496885v2
Journal articles
A Mean Field Game Analysis of SIR Dynamics with Vaccination Probability in the Engineering and Informational Sciences, Cambridge University Press (CUP), 2020, pp.1-18. ⟨10.1017/S0269964820000522⟩ |
||
| hal-02283189v1
Conference papers
UTOPIC: Under-Approximation Through Optimal Control QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems, Sep 2019, Glasgow, United Kingdom. pp.277-291, ⟨10.1007/978-3-030-30281-8_16⟩ |
||
| hal-01277098v2
Journal articles
Discrete Mean Field Games: Existence of Equilibria and Convergence Journal of Dynamics and Games, AIMS, 2019, 6 (3), pp.1-19. ⟨10.3934/jdg.2019016⟩ |
||
| hal-01321020v1
Conference papers
Are mean-field games the limits of finite stochastic games? The 18th Workshop on MAthematical performance Modeling and Analysis, Jun 2016, Nice, France |
||
| hal-01065093v1
Conference papers
A Spatiotemporal Data Aggregation Technique for Performance Analysis of Large-scale Execution Traces IEEE Cluster 2014, Sep 2014, Madrid, Spain |
||
| hal-01065862v1
Conference papers
Agrégation temporelle pour l'analyse de traces volumineuses 10ème Atelier en Evaluation de Performances, Jun 2014, Sophia Antipolis, France |
||
| hal-01065853v3
Preprints, Working Papers, ...
Combining Data and Visual Aggregation Techniques to Build a Coherent Spatiotemporal Overview 2014 |
||
| hal-03210022v1
Reports
Rapport sur la création d’un comité d’éthique en Sciences et Technologies du Numérique [Autre] INRIA. 2009 |
||
| hal-00942627v1
Journal articles
ExaViz: a Flexible Framework to Analyse, Steer and Interact with Molecular Dynamics Simulations Faraday Discussions, Royal Society of Chemistry, 2014, Molecular simulations and visualization, 169, pp.119-142. ⟨10.1039/C3FD00142C⟩ |
||
| hal-00697727v1
Conference papers
New Resolution Strategies for Multi-scale Reaction Waves: Optimal Time Operator Splitting and Space Adaptive Multiresolution CLEI 2010 - XXXVI Latin American Conference on Informatics, Oct 2010, Asunción, Paraguay. Paper 6, 14 p |
||
| hal-00590812v1
Book sections
New Resolution Strategy for Multi-scale Reaction Waves using Time Operator Splitting and Space Adaptive Multiresolution: Application to Human Ischemic Stroke E. Cancès, V. Louvet, M. Massot. Summer school on multiresolution and adaptive mesh refinement methods, EDP Sciences, pp.Vol. 34 277-290, 2011, ESAIM: Proceedings, ⟨10.1051/proc/201134006⟩ |
||
|
|
||
