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-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-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
...
hal-01391065v1  Journal articles
Pierre BuyssensOlivier Le MeurMaxime DaisyDavid TschumperléOlivier Lézoray. 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⟩
...
hal-02378053v1  Journal articles
David GommeletJulien Le TanouAline RoumyMichael RopertChristine Guillemot. Optical-Flow Based Nonlinear Weighted Prediction for SDR and Backward Compatible HDR Video Coding
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-16. ⟨10.1109/TIP.2019.2945685⟩
...
hal-01650409v1  Journal articles
Hangke SongZhi LiuHuan DuGuangling SunOlivier Le Meur et al.  Depth-Aware Salient Object Detection and Segmentation via Multiscale Discriminative Saliency Fusion and Bootstrap Learning
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (9), pp.4204 - 4216. ⟨10.1109/TIP.2017.2711277⟩
...
hal-02155040v1  Journal articles
Jinglei ShiXiaoran JiangChristine Guillemot. A framework for learning depth from a flexible subset of dense and sparse light field views
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, pp.5867-5880. ⟨10.1109/TIP.2019.2923323⟩
...
hal-02130555v1  Journal articles
Mikaël Le PenduChristine GuillemotAljosa Smolic. A Fourier Disparity Layer representation for Light Fields
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.5740 - 5753. ⟨10.1109/TIP.2019.2922099⟩
...
hal-01591517v1  Journal articles
Reuben FarrugiaChristine Guillemot. Face Hallucination Using Linear Models of Coupled Sparse Support
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (9), pp.4562-4577. ⟨10.1109/TIP.2017.2717181⟩
hal-02476478v1  Journal articles
Ricardo MarquesChristian BouvilleKadi Bouatouch. Spectral Analysis of Quadrature Rules and Fourier Truncation-based Methods Applied to Shading Integrals
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TVCG.2019.2913418⟩
...
hal-02373664v1  Journal articles
Mira RizkallahThomas MaugeyChristine Guillemot. Prediction and Sampling with Local Graph Transforms for Quasi-Lossless Light Field Compression
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-13
hal-01645392v1  Journal articles
Yayaoui CheherazedJean-Louis LanetMohamed MezghicheKarim Tamine. Machine Learning Techniques to Predict Sensitive Patterns to Fault Attack in the Java Card Application
Journal of Experimental and Theoretical Artificial Intelligence, Taylor & Francis, 2018, 30 (1), pp.101-127. ⟨10.1080/0952813x.2017.1409276⟩
...
hal-01663508v1  Journal articles
Eduardo CanalePablo RomeroGerardo Rubino. Factorization and Exact Evaluation of the Source-Terminal Diameter-Constrained Reliability
Networks, Wiley, 2017, Special Issue on Design of Resilient Communication Networks, 70 (4), pp.283-291. ⟨10.1002/net.21780⟩
...
hal-02264449v1  Journal articles
Erwan Le MerrerPatrick PérezGilles Trédan. Adversarial frontier stitching for remote neural network watermarking
Neural Computing and Applications, Springer Verlag, 2019, 32 (13), pp.9233-9244. ⟨10.1007/s00521-019-04434-z⟩
hal-02437474v1  Journal articles
Sébastien FerréPeggy Cellier. Graph-FCA: An extension of formal concept analysis to knowledge graphs
Discrete Applied Mathematics, Elsevier, 2020, 271, pp.81-102
...
hal-02012672v1  Journal articles
George GiakkoupisPhilipp Woelfel. Efficient Randomized Test-And-Set Implementations
Distributed Computing, Springer Verlag, In press, pp.565-586. ⟨10.1007/s00446-019-00349-z⟩
hal-02864914v1  Journal articles
Stefan KölblElmar TischhauserPatrick DerbezAndrey Bogdanov. Troika: a ternary cryptographic hash function
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (1), pp.91-117. ⟨10.1007/s10623-019-00673-2⟩
...
hal-02121567v2  Conference papers
Ronan GaugneValérie Gouranton. 3D pour l’archéologie : quelles interactions, pour quoi faire ?
2019 - Archéologie : imagerie numérique et 3D, Sylvie Eusèbe; Théophane Nicolas; Valérie Gouranton; Ronan Gaugne, Jun 2018, Rennes, France. ⟨10.34692/xvyt-hr49⟩
...
tel-03118288v1  Theses
Simon Hilt. Haptique Biofidèle pour l'Interaction en Réalité Virtuelle
Biomécanique [physics.med-ph]. École normale supérieure de Rennes, 2020. Français. ⟨NNT : 2020ENSR0023⟩
...
hal-03028476v1  Conference papers
Santiago BautistaThomas JensenBenoît Montagu. Numeric Domains Meet Algebraic Data Types
9th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020), Nov 2020, Virtual, United States. pp.12-16, ⟨10.1145/3427762.3430178⟩