Skip to Main content Skip to Navigation


...
hal-02933477v1  Conference papers
Adélaïde GenayAnatole LécuyerMartin Hachet. Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
hal-00643982v1  Journal articles
Israël-César LermanPascale Kuntz. Directed Binary Hierarchies and Directed Ultrametrics
Journal of Classification, Springer Verlag, 2011, 28 (3), page 272-296
...
hal-01017106v3  Journal articles
Assyr AbdulleMartin HuberGilles Vilmart. Linearized numerical homogenization method for nonlinear monotone parabolic multiscale problems
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2015, ⟨10.1137/140975504⟩
hal-01429540v1  Journal articles
Douglas S. GonçalvesAntonio MucherinoCarlile LavorLeo Liberti. Recent Advances on the Interval Distance Geometry
Journal of Global Optimization, Springer Verlag, 2017, 69 (3), pp.525-545
...
hal-02105295v1  Journal articles
Douglas GonçalvesAntonio MucherinoCarlile LavorLeo Liberti. Recent advances on the interval distance geometry problem
Journal of Global Optimization, Springer Verlag, 2017, 69 (3), pp.525-545. ⟨10.1007/s10898-016-0493-6⟩
...
hal-02946930v2  Reports
Guillaume AmbalAlan SchmittSergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
...
hal-01242268v1  Journal articles
Sébastien GambsMarc-Olivier KillijianMiguel Nuñez del Prado Cortez. De-anonymization attack on geolocated data
Journal of Computer and System Sciences, Elsevier, 2014, 80 (8), pp.1597-1614. ⟨10.1016/j.jcss.2014.04.024⟩
hal-00743077v1  Journal articles
Nicolas CrouseillesMohammed LemouFlorian Méhats. Asymptotic preserving schemes for highly oscillatory kinetic equation
Journal of Computational Physics, Elsevier, 2013, 248, pp.287-308
...
hal-00003443v1  Journal articles
Robert EymardThierry GallouëtJulien Vovelle. Limit boundary conditions for finite volume approximations of some physical problems
Journal of Computational and Applied Mathematics, Elsevier, 2003, Vol. 161, pp. 349-369
hal-00847927v1  Journal articles
Gilles Vilmart. Reducing round-off errors in rigid body dynamics
Journal of Computational Physics, Elsevier, 2008, 227 (15), pp.7083-7088. ⟨10.1016/j.jcp.2008.04.013⟩
...
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
...
hal-01493442v1  Journal articles
Cérès CartonAurélie LemaitreBertrand Coüasnon. Eyes Wide Open: an interactive learning method for the design of rule-based systems
International Journal on Document Analysis and Recognition, Springer Verlag, 2017, 20 (2), pp.91-103. ⟨10.1007/s10032-017-0282-x⟩
inria-00543100v1  Journal articles
Yehuda AfekEli GafniSergio RajsbaumMichel RaynalCorentin Travers. The k-simultaneous consensus problem
Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. ⟨10.1007/s00446-009-0090-8⟩
...
inria-00542784v1  Journal articles
Yves Le TraonBenoit BaudryJean-Marc Jézéquel. Design by Contract to improve Software Vigilance
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2006, 32 (8), pp.571--586
hal-00764124v1  Journal articles
Guang TanAnne-Marie Kermarrec. Greedy Geographic Routing in Large-Scale Sensor Networks: A Minimum Network Decomposition Approach.
IEEE/ACM Transactions on Networking, IEEE/ACM, 2012, 20 (3), pp.864-877
...
hal-01246370v1  Journal articles
Eric MarchandHideaki UchiyamaFabien Spindler. Pose Estimation for Augmented Reality: A Hands-On Survey
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (12), pp.2633 - 2651. ⟨10.1109/TVCG.2015.2513408⟩
inria-00338084v1  Journal articles
Roy FriedmanAchour MostefaouiMichel Raynal. On the Respective Power of *P and *S to Solve One-Shot Agreement Problems
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2007, 18 (5), pp.589-597
...
inria-00161250v1  Journal articles
Andrew I. ComportEric MarchandMuriel PressigoutFrançois Chaumette. Real-time markerless tracking for augmented reality: the virtual visual servoing framework
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2006, 12 (4), pp.615-628