Skip to Main content Skip to Navigation

hal-02200576v1  Journal articles
Yuan GaoEtienne PeillardJean-Marie NormandGuillaume MoreauYue Liu et al.  Influence of virtual objects' shadows and lighting coherence on distance perception in optical see‐through augmented reality
Journal of the Society for Information Display, Society for Information Display(AIP), 2020, 28 (2), pp.117-135. ⟨10.1002/jsid.832⟩
hal-02978080v1  Journal articles
Vlad RusuDavid Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Journal of Logical and Algebraic Methods in Programming, Elsevier, In press, ⟨10.1016/j.jlamp.2020.100619⟩
hal-03053781v1  Journal articles
Andreas Enge. [Re] Volume computation for polytopes: Vingt ans après
The ReScience journal, GitHub, 2020, 6 (1), pp.#17. ⟨10.5281/zenodo.4242972⟩
hal-02269482v2  Journal articles
Julien BensmailKasper Lyngsie. 1-2-3 Conjecture in Digraphs: More Results and Directions
Discrete Applied Mathematics, Elsevier, 2020, 284, pp.124-137
hal-02511540v1  Journal articles
Hannah KiesowRobin DunbarJoseph KableTobias KalenscherKai Vogeley et al.  10,000 Social Brains: Sex Differentiation in Human Brain Anatomy
Annales Archéologiques Arabes Syriennes, Direction Générale des Antiquités et des Musées de la République Arabe Syrienne, 2020
hal-02280281v2  Journal articles
Bernhard EggerWilliam SmithAyush TewariStefanie WuhrerMichael Zollhoefer et al.  3D Morphable Face Models - Past, Present and Future
ACM Transactions on Graphics, Association for Computing Machinery, 2020, 39 (5), pp.157:1-38. ⟨10.1145/3395208⟩
hal-03162635v1  Journal articles
Sergio RajsbaumMichel Raynal. 60 Years of Mastering Concurrent Computing through Sequential Thinking
ACM SIGACT News, Association for Computing Machinery (ACM), 2020, 51 (2), pp.59-88. ⟨10.1145/3406678.3406690⟩
hal-02899789v1  Journal articles
Maxime MetzMatthieu LesnoffFlorent AbdelghafourReza AkbariniaFlorent Masseglia et al.  A “big-data” algorithm for KNN-PLS
Chemometrics and Intelligent Laboratory Systems, Elsevier, 2020, 203, pp.104076. ⟨10.1016/j.chemolab.2020.104076⟩
inserm-02881980v1  Journal articles
Alice BatesAlessandro DaducciParastoo SadeghiEmmanuel Caruyer. A 4D Basis and Sampling Scheme for the Tensor Encoded Multi-Dimensional Diffusion MRI Signal
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2020, 27, pp.790-794. ⟨10.1109/LSP.2020.2991832⟩
hal-02551178v1  Journal articles
D Di GiovanniD. LepetitB GuinetB BennetotM. Boulesteix et al.  A behavior-manipulating virus relative as a source of adaptive genes for Drosophila parasitoids
Molecular Biology and Evolution, Oxford University Press (OUP), In press, 37 (10), pp.2791-2807. ⟨10.1093/molbev/msaa030⟩
hal-02145920v3  Journal articles
Eric BadouelRodrigue Aimé Djeumen Djatcha. A Calculus of Interfaces for Distributed Collaborative Systems: The Guarded Attribute Grammar Approach
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2020, Special issue CARI 2018, 31, pp.1-16
hal-01835101v5  Journal articles
Rémi GribonvalMila Nikolova. A characterization of proximity operators
Journal of Mathematical Imaging and Vision, Springer Verlag, 2020, 62, pp.773-789. ⟨10.1007/s10851-020-00951-y⟩
hal-01665805v1  Journal articles
Vincent Duval. A characterization of the Non-Degenerate Source Condition in Super-Resolution
Information and Inference, Oxford University Press (OUP), 2020, 9 (1)
hal-02317687v1  Journal articles
Matthew BrehmerBongshin LeePetra IsenbergEun Kyoung Choe. A Comparative Evaluation of Animation and Small Multiples for Trend Visualization on Mobile Phones
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2020, 26 (1), pp.364--374. ⟨10.1109/TVCG.2019.2934397⟩
hal-01754839v1  Journal articles
Stéphane LathuilièrePablo MesejoXavier Alameda-PinedaRadu Horaud. A Comprehensive Analysis of Deep Regression
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2020, 42 (9), pp.2065-2081. ⟨10.1109/TPAMI.2019.2910523⟩
hal-02423938v1  Journal articles
Charles Dapogny. A connection between topological ligaments in shape optimization and thin tubular inhomogeneities
Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2020, 358 (2), pp.119-127. ⟨10.5802/crmath.3⟩
hal-02465431v2  Journal articles
Clément CancèsBenoît Gaudeul. A convergent entropy diminishing finite volume scheme for a cross-diffusion system
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2020, 58 (5), pp. 2784-2710. ⟨10.1137/20M1316093⟩
hal-01918578v2  Journal articles
Guillaume CarlierMaxime Laborde. A differential approach to the multi-marginal Schrödinger system
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2020
hal-01947938v1  Journal articles
Augusto FerranteAlexander LanzonBernard Brogliato. A direct proof of the equivalence of side conditions for strictly positive real matrix transfer functions
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2020, 65 (1), pp.450-452. ⟨10.1109/TAC.2019.2918123⟩