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-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-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-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
hal-02164770v1  Book sections
Jean-Baptiste BarreauEmmanuel LanoëRonan Gaugne. 3D Sketching of the Fortified Entrance of the Citadel of Aleppo from a Few Sightseeing Photos
Horst Kremers. Digital Cultural Heritage, Springer International Publishing, pp.359-371, 2020, 978-3-030-15200-0. ⟨10.1007/978-3-030-15200-0_24⟩
hal-03087217v1  Conference papers
Cesar Augusto Valades CruzLudovic LeconteChristian WunderCharles KervrannLudger Johannes et al.  3D tracking of endocytic and exocytic events using lattice light sheet microscopy
QBI 2020 - Quantitative BioImaging Conference, Jan 2020, Oxford, United Kingdom. pp.1
hal-03171929v1  Conference papers
Ramiro Germán Rodríguez ColmeiroDaniel MinskyThomas GrosgesClaudio Abel Verrastro. 3D-Progressive Growing Generative Adversarial Networks for PET attenuation map generation
Fifth Conference on Exchange and Dissemination of Research Results of Doctoral Students in Engineering, UTN, Oct 2020, Buenos Aires, Argentina. ⟨10.33414/ajea.5.720.2020⟩
hal-03066625v1  Conference papers
Alexandre AudinotDiane DewezGwendal FouchéRebecca FribourgThomas Howard et al.  3Dexterity: Finding your place in a 3-armed world
VRW 2020 - IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, Mar 2020, Atlanta, United States. pp.521-522, ⟨10.1109/VRW50115.2020.00112⟩
hal-03140839v1  Documents associated with scientific events
Soufiene DjahelYassine Hadjadj-Aoul. 5G enabled CAVs for Smart and Sustainable Mobility in Smart Cities
IEEE International Smart Cities Conference (ISC2), Sep 2020, Virtual, United States