|
||
---|---|---|
hal-02933477v1
Conference papers
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
Directed Binary Hierarchies and Directed Ultrametrics Journal of Classification, Springer Verlag, 2011, 28 (3), page 272-296 |
||
hal-01017106v3
Journal articles
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-00912660v1
Journal articles
The interval Branch & Prune Algorithm for the Discretizable Molecular Distance Geometry Problem with Inexact Distances Journal of Global Optimization, Springer Verlag, 2013, 56 (3), pp.855-871 |
||
hal-02105087v1
Journal articles
A symmetry-based splitting strategy for discretizable distance geometry problems Journal of Global Optimization, Springer Verlag, 2018, 71 (4), pp.717-733. ⟨10.1007/s10898-018-0610-9⟩ |
||
hal-01429540v1
Journal articles
Recent Advances on the Interval Distance Geometry Journal of Global Optimization, Springer Verlag, 2017, 69 (3), pp.525-545 |
||
hal-02105295v1
Journal articles
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
Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step [Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020 |
||
hal-01242268v1
Journal articles
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
Asymptotic preserving schemes for highly oscillatory kinetic equation Journal of Computational Physics, Elsevier, 2013, 248, pp.287-308 ![]() |
||
hal-02470547v1
Journal articles
Edge Computing Based Applications in Vehicular Environments: Comparative Study and Main Issues Journal of Computer Science and Technology, Springer Verlag, 2019, 34 (4), pp.869-886. ⟨10.1007/s11390-019-1947-3⟩ |
||
inria-00543126v1
Journal articles
Eventual Leader election with weak assumptions on initial knowledge, communication reliability and synchrony. Journal of Computer Science and Technology, Springer Verlag, 2010, 25 (6), pp.1267-1281. ⟨10.1007/s11390-010-9404-3⟩ ![]() |
||
hal-00782467v1
Journal articles
Computation of blowing-up solutions for second-order differential equations using re-scaling techniques Journal of Computational and Applied Mathematics, Elsevier, 2009, 227 (1), pp.185-195. ⟨10.1016/j.cam.2008.07.020⟩ ![]() |
||
hal-00003443v1
Journal articles
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
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-00739757v2
Journal articles
PIROCK: a swiss-knife partitioned implicit-explicit orthogonal Runge-Kutta Chebyshev integrator for stiff diffusion-advection-reaction problems with or without noise Journal of Computational Physics, Elsevier, 2013, 242, pp.869-888. ⟨10.1016/j.jcp.2013.02.009⟩ |
||
hal-02536463v2
Journal articles
HOπ in Coq Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩ |
||
inria-00567801v1
Journal articles
The restricted isometry property meets nonlinear approximation with redundant frames Journal of Approximation Theory, Elsevier, 2013, 165 (1), pp.1--19. ⟨10.1016/j.jat.2012.09.008⟩ |
||
hal-00867225v1
Journal articles
Text Recognition in Multimedia Documents: A Study of two Neural-based OCRs Using and Avoiding Character Segmentation International Journal on Document Analysis and Recognition, Springer Verlag, 2014, 17 (1), pp.19-31. ⟨10.1007/s10032-013-0202-7⟩ |
||
hal-01493442v1
Journal articles
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⟩ |
||
hal-01858192v1
Journal articles
A combined strategy of analysis for the localization of heterogeneous form fields in ancient pre-printed records International Journal on Document Analysis and Recognition, Springer Verlag, 2018, 21(4) (269-282), ⟨10.1007/s10032-018-0309-y⟩ |
||
hal-01093060v1
Journal articles
On the Number of Realizations of Certain Henneberg Graphs arising in Protein Conformation Discrete Applied Mathematics, Elsevier, 2014, 165, pp.213-232 |
||
inria-00543100v1
Journal articles
The k-simultaneous consensus problem Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. ⟨10.1007/s00446-009-0090-8⟩ ![]() |
||
hal-00987988v1
Journal articles
Enforcing Opacity of Regular Predicates on Modal Transition Systems Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 ((1-2)), pp.251-270. ⟨10.1007/s10626-014-0193-7⟩ |
||
inria-00542784v1
Journal articles
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
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
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
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
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 |
||
hal-01391065v1
Journal articles
Depth-guided disocclusion inpainting of synthesized RGB-D images IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (2), pp.525-538. ⟨10.1109/TIP.2016.2619263⟩ |
||
|