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
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
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-02464622v1  Book sections
Jennifer EdmondFrank FischerLaurent RomaryToma Tasovac. 9. Springing the Floor for a Different Kind of Dance
Digital Technology and the Practices of Humanities Research, Open Book Publishers, pp.207-234, 2020, 978-1-78374-841-9. ⟨10.11647/OBP.0192.09⟩
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⟩
hal-02919705v1  Other publications
Lisa ElkinJean-Baptiste BeauGéry CasiezDaniel Vogel. A 26-Contact Tangible Pen-Like Input Device for Capacitive Displays
Adjunct Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2020), Demonstration, 2020, pp.1-4. ⟨10.1145/3334480.3383157⟩
hal-02945686v1  Conference papers
Vita AyoubCarole DelennePatrick MatgenPascal Finaud-GuyotRenaud Hostache. A 2D Shallow water model with depth-dependant porosity applied to the Severn River
River Flow 2020 - 10th Conference on Fluvial Hydraulics, Jul 2020, Delft / Virtual, Netherlands
hal-03059493v1  Conference papers
Marion GauthierRomain BarillotAnne SchneiderCamille ChambonChristian Fournier et al.  A 3D architectural model of grass shoot morphogenesis and plasticity, driven by organ metabolite concentrations and coordination rules
FSPM 2020 - 9th International Conference on Functional-Structural Plant Models, Hochschule Geisenheim University; University of Hannover, Oct 2020, Hanovre / Virtual, Germany
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-03122845v1  Journal articles
Pierre del MoralSumeetpal Singh. A backward Itô–Ventzell formula with an application to stochastic interpolation
Comptes Rendus. Mathématique, Centre Mersenne (2020-..) ; Elsevier Masson (2002-2019), 2020, 358 (7), pp.881-886. ⟨10.5802/crmath.110⟩
hal-03122764v1  Conference papers
Claire TheobaldFrédéric PennerathBrieuc Conan-GuezMiguel CouceiroAmedeo Napoli. A Bayesian Neural Network based on Dropout Regulation
Workshop on Uncertainty in Machine Learning (WUML) at ECML-PKDD 2020 Conference, Eyke Hüllermeier; Sébastien Destercke, Sep 2020, N.A. (online), France
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-02927063v1  Journal articles
Maxence VandrommeJulie JacquesJulien TaillardLaetitia JourdanClarisse Dhaenens. A Biclustering Method for Heterogeneous and Temporal Medical Data
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-1. ⟨10.1109/TKDE.2020.2983692⟩
hal-03146212v1  Journal articles
Mathieu BesançonMiguel AnjosLuce BrotcorneJuan Gomez-Herrera. A Bilevel Approach for Optimal Price-Setting of Time-and-Level-of-Use Tariffs
IEEE Transactions on Smart Grid, Institute of Electrical and Electronics Engineers, 2020, 11 (6), pp.5462-5465. ⟨10.1109/TSG.2020.3000651⟩
hal-03097284v1  Conference papers
Filippo AntonazzoChristophe BiernackiChristine Keribin. A binned technique for scalable model-based clustering on huge datasets
MBC2 - Models and Learning for Clustering and Classification, Sep 2020, Catania, Italy
hal-03020099v1  Conference papers
Ugo BoscainDario PrandiLudovic SacchelliGiuseppina Turco. A bio-inspired geometric model for sound reconstruction
IFAC World Conference 2020, Jul 2020, Berlin / Virtual, Germany
hal-02506387v1  Conference papers
Romain Serizel. A brief introduction to multichannel noise reduction with deep neural networks
SpiN 2020 - 12th Speech in Noise Workshop, Jan 2020, Toulouse, France
hal-02985701v1  Conference papers
Margot SelosseIsobel GormleyJulien JacquesChristophe Biernacki. A bumpy journey: exploring deep Gaussian mixture models
I Can't Believe It's Not Better @ NeurIPS 2020, Dec 2020, Vancouver, Canada
hal-02557823v2  Conference papers
Hugo HerbelinÉtienne Miquey. A calculus of expandable stores
LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken / Virtual, Germany. pp.564-577, ⟨10.1145/3373718.3394792⟩
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-03005383v1  Book sections
James HoeyIvan LaneseNaoki NishidaIrek UlidowskiGermán Vidal. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp.108 - 127, 2020, ⟨10.1007/978-3-030-47361-7_5⟩
hal-03331230v1  Conference papers
Mario Henrique Cruz TorresJean-Pierre GiacaloneJoelle Abou Faysal. A Case Study on Formally Validating Motion Rules for Autonomous Cars
SEFM 2020 - Collocated Workshops - Software Engineering and Formal Methods, Sep 2020, Amsterdam, Netherlands. pp.233-248
hal-02982420v1  Conference papers
Alessandro MontaldoLuca FrondaIhsen HedhliGabriele MoserSebastiano Serpico et al.  A causal hierarchical Markov framework for the classification of multiresolution and multisensor remote sensing images
ISPRS 2020 - XXIV International Society of Photogrammetry and Remote Sensing Congress, Aug 2020, Nice / Virtual, France. pp.269-277, ⟨10.5194/isprs-annals-V-3-2020-269-2020⟩
hal-02987638v1  Conference papers
Remous-Aris KoutsiamanisGeorgios PapadopoulosBruno QuoitinNicolas Montavont. A Centralized Controller for Reliable and Available Wireless Schedules in Industrial Networks
MSN 2020 : 16th International Conference on Mobility, Sensing and Networking, Dec 2020, Virtual, Japan. pp.1-9, ⟨10.1109/MSN50589.2020.00018⟩
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-02968271v1  Conference papers
Balthazar BauerGeorg FuchsbauerJulian Loss. A Classification of Computational Assumptions in the Algebraic Group Model
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.121-151, ⟨10.1007/978-3-030-56880-1_5⟩
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-02510038v1  Conference papers
Vanessa Peña-ArayaAnastasia BezerianosEmmanuel Pietriga. A Comparison of Geographical Propagation Visualizations
CHI '20 - 38th SIGCHI conference on Human Factors in computing systems, Apr 2020, Honolulu, United States. pp.223:1--223:14, ⟨10.1145/3313831.3376350⟩
hal-03029309v1  Conference papers
Valentin Le FèvreThomas HeraultJulien LangouYves Robert. A comparison of several fault-tolerance methods for the detection and correction of floating-point errors in matrix-matrix multiplication
Resilience 2020 - 12th Workshop on Resiliency in High Performance Computing in Clusters, Clouds, and Grids (colocated with Euro-Par), Aug 2020, Warsaw, Poland. pp.1-14
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-03106208v1  Conference papers
Uwe WaldmannSophie TourretSimon RobillardJasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩