Skip to Main content Skip to Navigation


...
hal-02639607v1  Conference papers
Andrès Rubio Proaño. Exposer les caractéristiques des architectures à mémoires hétérogènes aux applications parallèles
COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France
hal-03137866v1  Conference papers
Alexandre ConanecMarie ChaventMarie-Pierre Ellies-OuryJérôme Saracco. Une méthodologie computationnelle pour faire de l’optimisation multi-objectifs en élevage de précision
JDS 2020 - 52èmes Journées de Statistique de la Société Française de Statistique, May 2020, Nice, France
...
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-02981770v1  Conference papers
Michael LodiSimone MartiniMarco SbaragliaStefano Pio Zingaro. (Non) parliamo di pensiero computazionale
XXXIV Convegno Nazionale “Incontri con la Matematica”, Nov 2020, Castel San Pietro Terme / Online, Italy
...
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-02404546v2  Conference papers
Claire Chainais-HillairetMaxime Herda. $L^\infty$ bounds for numerical solutions of noncoercive convection-diffusion equations
Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples., Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-43651-3_12⟩
...
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-02966691v1  Conference papers
Pierre LabordeSteven CostiouÉric Le PorsAlain Plantec. 15 years of reuse experience in evolutionary prototyping for the defense industry
International Conference on Software and Systems Reuse, Dec 2020, Hammamet, Tunisia
...
hal-02900244v2  Conference papers
Olivier BeaumontLionel Eyraud-DuboisMathieu Verite. 2D Static Resource Allocation for Compressed Linear Algebra and Communication Constraints
HIPC 2020: 27th IEEE International Conference on High Performance Computing, Data, and Analytics, Dec 2020, (virtual), India
...
tel-02921424v1  Theses
Maximilian Jaritz. 2D-3D scene understanding for autonomous driving
Machine Learning [cs.LG]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLM007⟩
...
hal-02464616v1  Book sections
Jennifer EdmondLaurent Romary. 3. Academic Publishing
Digital Technology and the Practices of Humanities Research, Open Book Publishers, pp.49-80, 2020, 978-1-78374-841-9. ⟨10.11647/OBP.0192.03⟩
...
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-03085956v1  Conference papers
Sandeep ManandharPatrick BouthemyEric WelfPhilippe RoudotCharles Kervrann. 3D Optical Flow Estimation Combining 3D Census Signature and Total Variation Regularization
ISBI 2020 - IEEE 17th International Symposium on Biomedical Imaging, Apr 2020, Iowa City, United States. pp.965-968, ⟨10.1109/ISBI45749.2020.9098690⟩
...
hal-03030004v1  Conference papers
Ayan ChaudhuryFrédéric BoudonChristophe Godin. 3D Plant Phenotyping: All You Need is Labelled Point Cloud Data
CVPPP-ECCV 2020 - Workshop on Computer Vision Problems in Plant Phenotyping, Aug 2020, Glasgow, United Kingdom. pp.1-17