Skip to Main content Skip to Navigation
  1. Search


...
hal-01982895v1  Journal articles
Hassan Fahs, G. Ovarlez, Xavier Chateau. Pair-particle trajectories in a shear flow of a Bingham fluid
Journal of Non-Newtonian Fluid Mechanics, Elsevier, 2018, 261, pp.171-187. ⟨10.1016/j.jnnfm.2018.07.010⟩
...
hal-01978795v1  Conference papers
Arthur Lebée, Laurent Monasse, H. Nassar. Fitting surfaces with the Miura tessellation
7th International Meeting on Origami in Science, Mathematics and Education (7OSME), Sep 2018, Oxford, United Kingdom. pp.811
...
hal-00789682v1  Reports
Fabien Peyrusse, Nathalie Glinsky, Céline Gélis, Stephane Lanteri. Une méthode Galerkin discontinue d'ordre élevé pour la propagation d'ondes sismiques en milieu viscoélastique
[Rapport de recherche] RR-8242, INRIA. 2013
...
hal-00749190v1  Journal articles
Victor Campos, Andras Gyarfas, Frédéric Havet, Claudia Linhares Sales, Frédéric Maffray. New bounds on the Grundy number of products of graphs
Journal of Graph Theory, Wiley, 2012, 71 (1), pp.78--88
...
hal-02775269v1  Journal articles
Samuel Nilusmas, Mathilde Mercat, Thomas Perrot, Caroline Djian‐caporalino, Philippe Castagnone-Sereno et al.  Multi‐seasonal modelling of plant‐nematode interactions reveals efficient plant resistance deployment strategies
Evolutionary Applications, Blackwell, In press, 13 (9), pp.2206-2221. ⟨10.1111/eva.12989⟩
...
hal-02631319v1  Journal articles
Théophile Chaumont-Frelet, Alexandre Ern, Martin Vohralík. Polynomial-degree-robust H(curl)-stability of discrete minimization in a tetrahedron
Comptes Rendus Mathématique, Elsevier Masson, 2020, 358 (9-10), pp.1101-1110. ⟨10.5802/crmath.133⟩
...
inria-00548505v1  Conference papers
Jean Ponce, Kenton Mc Henry, Théodore Papadopoulo, Monique Teillaud, Bill Triggs. On the Absolute Quadratic Complex and its Application to Autocalibration
IEEE Conference on Computer Vision & Pattern Recognition (CPRV '05), Jun 2005, San Diego, United States. pp.780--787, ⟨10.1109/CVPR.2005.256⟩
...
hal-02339242v1  Journal articles
Nicolas Alcala, Noémie Leblay, Aurélie Gabriel, Lise Mangiante, Davis Hervás et al.  Integrative and comparative genomic analyses identify clinically relevant pulmonary carcinoid groups and unveil the supra-carcinoids
Nature Communications, Nature Publishing Group, 2019, 10 (1), pp.1-21. ⟨10.1038/s41467-019-11276-9⟩
...
hal-02045442v1  Journal articles
Paul Hofman, Nicholas Ayache, Pascal Barbry, Michel Barlaud, Audrey Bel et al.  The OncoAge Consortium: Linking Aging and Oncology from Bench to Bedside and Back Again
Cancers, MDPI, 2019, 11 (2), pp.1-11. ⟨10.3390/cancers11020250⟩
...
tel-01651649v2  Theses
Vicenzo Mastandrea. Analysis of synchronisation patterns in active objects based on behavioural types
Other [cs.OH]. Université Côte d'Azur, 2017. English. ⟨NNT : 2017AZUR4113⟩
...
hal-01075944v1  Conference papers
Zide Meng, Fabien Gandon, Catherine Faron Zucker, Ge Song. Empirical Study on Overlapping Community Detection in Question and Answer Sites
Advances in Social Networks Analysis and Mining (ASONAM), 2014 IEEE/ACM International Conference on, Aug 2014, Beijing, China. ⟨10.1109/ASONAM.2014.6921608⟩
...
hal-01096040v1  Conference papers
Vincent Kherbache, Eric Madelaine, Fabien Hermenier. Planning Live-Migrations to Prepare Servers for Maintenance
Euro-Par 2014: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.498 - 507, ⟨10.1007/978-3-319-14313-2_42⟩
...
hal-01542595v1  Reports
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Analysis of synchronisation patterns in stateful active objects
[Research Report] I3S; Inria - Sophia antipolis. 2017
...
hal-01148949v1  Preprints, Working Papers, ...
Stéphane Fetcher, Luigi Liquori. Mini-Foc A Kernel Calculus for Certified Computer Algebra [Ongoing work]
2005
...
inria-00178498v1  Book sections
Bernard Mourrain, Jean-Pascal Pavone, Philippe Trebuchet, Elias Tsigaridas, Julien Wintz. SYNAPS: A library for dedicated applications in symbolic numeric computing,
M.E. Stillman and N. Takayama and J. Verschelde. Software for algebraic geometry, 148, Springer, pp.81-110, 2007, IMA Volumes in Mathematics and its Applications
...
inria-00070537v1  Conference papers
Bernard Mourrain, Philippe Trebuchet. Generalized normal forms and polynomial system solving
ISSAC 2005 - International Symposium on Symbolic and Algebraic Computation , Jul 2005, Beijing, China. pp.253-260, ⟨10.1145/1073884.1073920⟩
...
hal-01252167v1  Journal articles
Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller. Fast and Portable Locking for Multicore Architectures
ACM Transactions on Computer Systems, Association for Computing Machinery, 2016, ⟨10.1145/2845079⟩
...
tel-01419298v2  Theses
Oleksandra Kulankhina. A framework for rigorous development of distributed components : formalisation and tools
Other [cs.OH]. Université Côte d'Azur, 2016. English. ⟨NNT : 2016AZUR4077⟩
hal-01376970v1  Conference papers
Michaël Perrot, Nicolas Courty, Rémi Flamary, Amaury Habrard. Mapping Estimation for Discrete Optimal Transport
Neural Information Processing System, Dec 2016, Barcelone, Spain
hal-00504734v1  Journal articles
Nathann Cohen, Fedor V. Fomin, Gregory Gutin, Eun Jung Kim, Saket Saurabh et al.  Algorithm for finding k-vertex out-trees and its application to k-internal out-branching problem
Journal of Computer and System Sciences, Elsevier, 2010, 76 (7), pp.650 - 662
...
hal-01571229v1  Conference papers
Nathann Cohen, Frédéric Havet, Dorian Mazauric, Ignasi Sau Valls, Rémi Watrigant. Complexity Dichotomies for the Minimum $F$-Overlay Problem
28th International Workshop on Combinatorial Algorithms (IWOCA), Jul 2017, Newcastle, Australia. pp.116-127, ⟨10.1007/978-3-319-78825-8_10⟩
...
hal-01400643v1  Conference papers
Marie Bonnasse-Gahot, Henri Calandra, Julien Diaz, Stephane Lanteri. Resolution strategy for the Hybridizable Discontinuous Galerkin system for solving Helmholtz elastic wave equations
Face to face meeting HPC4E Brazilian-European project, Sep 2016, Gramado, Brazil
...
hal-01400656v1  Conference papers
Marie Bonnasse-Gahot, Henri Calandra, Julien Diaz, Stephane Lanteri. Comparison of solvers performance when solving the 3D Helmholtz elastic wave equations using the Hybridizable Discontinuous Galerkin method
Workshop DIP - Depth Imaging Partnership, Oct 2016, Houston, United States
...
hal-01905191v1  Journal articles
Daniel Hirschkoff, Etienne Lozes, Davide Sangiorgi. ON THE EXPRESSIVENESS OF THE AMBIENT LOGIC
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2006, 2, pp.1 - 35. ⟨10.2168/LMCS-2⟩