Skip to Main content Skip to Navigation

hal-02273253v1  Conference papers
Laure CrochepierreAntoine MarotVincent BarbesantBenjamin DonnotLydia Boudjeloud-Assala. Utilisation de réseau de neurones siamois en clustering : application aux événements du réseau électrique français
Rencontres de la Société Francophone de Classification, Centre de Recherche Inria Nancy Grand Est / LORIA, Sep 2019, Nancy, France
hal-02192794v1  Conference papers
Tatiana MakhalovaSergei KuznetsovAmedeo Napoli. Майнинг множеств признаков на основе сжатия: вероятностный подход
Proceedings of the 17th Russian Conference on Artificial Intelligence, Russian Association of Artificial Intelligence; Institute of Control Sciences Academician VA Trapeznikov; Ulyanovsk State Technical University; Federal Research Center “Computer Science and Control”, Oct 2019, Ulyanovsk, Russia. pp.164-172
hal-02176456v2  Conference papers
Vlad RusuDavid Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic
Working Formal Methods Symposium, Sep 2019, Timisoara, Romania. pp. 32-47, ⟨10.4204/EPTCS.303.3⟩
hal-02333788v1  Conference papers
Fabrice NeyretEmmanuel Delangre. (keynote) Graphics vs Physics : the light and dark sides of the Force
GraPhyz 2019 - Workshop physique/mécanique/informatique graphique, Oct 2019, Grenoble, France
hal-02333768v1  Conference papers
Fabrice Neyret. (keynote) Managing Ultra-high Complexity in Real-time Graphics: Some Hints and Ingredients
HPG 2019 - High-Performance Graphics, Jul 2019, Strasbourg, France
hal-02147663v1  Conference papers
Bastien BerthelotEric GrivelPierrick LegrandMarc DoniasJean-Marc André et al.  2D Fourier Transform Based Analysis Comparing the DFA with the DMA
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, A Coruna, Spain
hal-02374294v1  Conference papers
Benjamin SzczapaMohamed DaoudiAnis KacemPierre GuerreschiLudwig Gebert et al.  2D Landmark-Based Facial Asymmetry Assessment in the Clinical Case of Facial Paralysis
2019 14th IEEE International Conference on Automatic Face & Gesture Recognition (FG 2019), May 2019, Lille, France. pp.1-5, ⟨10.1109/FG.2019.8756617⟩
hal-02424696v1  Conference papers
Emmanuel MoebelCharles Kervrann. 3D ConvNets improve macromolecule localization in 3D cellular cryo-electron tomograms
Quantitative BioImaging (QBI) Conference, Jan 2019, Rennes, France
hal-02153710v1  Conference papers
Emmanuelle PoulainGrégoire MalandainRégis Vaillant. 3D Coronary Vessel Tree Tracking in X-Ray Projections
FIMH 2019 - 10th Functional Imaging and Modeling of the Heart, Jun 2019, Bordeaux, France. pp.388-396, ⟨10.1007/978-3-319-59448-4_20⟩
hal-02312274v1  Conference papers
Mélanie CarrièreMélina SkourasStefanie Hahmann. 3D Design Of Ancient Garments
GCH 2019 - EUROGRAPHICS Workshop on Graphics and Cultural Heritage, Nov 2019, Sarajevo, Bosnia and Herzegovina. pp.73-77, ⟨10.2312/gch.20191351⟩
hal-02325580v1  Conference papers
Weiguang HeRomain BrossierLudovic Métivier. 3D elastic FWI for land seismic data: a graph space OT approach
SEG Technical Program Expanded Abstracts 2019, Sep 2019, San Antonio, United States. pp.1320-1324, ⟨10.1190/segam2019-3216485.1⟩
hal-02161694v1  Conference papers
Pamela MoceriNicolas DuchateauDelphine BaudouyFabien SquaraEmile Ferrari et al.  3D right ventricular strain and shape in volume overload: comparative analysis of Tetralogy of Fallot and atrial septal defect patients
JE SFC 2019 - 29es Journées Européennes de la Société Française de Cardiologie, Jan 2019, Paris, France
hal-02165672v1  Conference papers
Luis RoldãoRaoul de CharetteAnne Verroust-Blondet. 3D Surface Reconstruction from Voxel-based Lidar Data
ITSC 2019 - IEEE Intelligent Transportation Systems Conference, Oct 2019, Auckland, New Zealand
hal-02424697v1  Conference papers
Cesar Augusto Valades CruzAlison ForresterChristian WunderCharles KervrannJean Salamero et al.  3D tracking of endocytic events using lattice light sheet microscopy
QBI 2019 - Quantitative BioImaging Conference, Jan 2019, Rennes, France
hal-02292436v1  Conference papers
Jérémy LacocheThierry DuvalBruno ArnaldiEric MaiselJérôme Royan. 3DPlasticToolkit: Plasticity for 3D User Interfaces
EuroVR 2019 - 16th EuroVR International Conference, Oct 2019, Tallinn, Estonia. pp.62-83, ⟨10.1007/978-3-030-31908-3_5⟩
hal-02366730v1  Conference papers
Michel BuffaJerome LebrunJohan PauwelsGuillaume Pellerin. A 2 Million Commercial Song Interactive Navigator
WAC 2019 - 5th WebAudio Conference 2019, Dec 2019, Trondheim, Norway
hal-02284965v1  Conference papers
Luan TeyloLúcia de A. DrummondLuciana ArantesPierre Sens. A Bag-of-Tasks Scheduler Tolerant to Temporal Failures in Clouds
SBAC-PAD 2019 - International Symposium on Computer Architecture and High Performance Computing, Oct 2019, Campo Grande, Brazil
hal-02064966v1  Conference papers
Salma Ben DhaouMouloud KharouneArnaud MartinBoutheina Yaghlane. A Belief Approach for Detecting Spammed Links in Social Networks
International Conference on Agents and Artificial Intelligence, Feb 2019, Prague, Czech Republic
hal-02163464v1  Conference papers
Imen Ben MohamedWalid KlibiRuslan SadykovHalil SenFrançois Vanderbeck. A Benders Approach for the Two-echelon Stochastic Multi-period Capacitated Location-Routing Problem
Roadef 2019 - 20ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2019, Le Havre, France
hal-02055738v1  Conference papers
Mathieu BesançonLuce BrotcorneMiguel Anjos. A Bilevel Model for Large-scale Time-and-Level-of-Use Pricing
ROADEF 2019 - 20ème congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2019, Le Havre, France
hal-02378977v1  Conference papers
Pedro LiguoriRidha MahjoubRuslan SadykovEduardo Uchoa. A Branch-Cut-and-Price Algorithm for the Location-Routing Problem
TRISTAN X - The Tenth Triennial Symposium on Transportation Analysis, Jun 2019, Hamilton Island, Australia
hal-02382711v1  Conference papers
Alexandre GonzalvezRonan Lashermes. A case against indirect jumps for secure programs
SSPREW-9 2019 - 9th Software Security, Protection, and Reverse Engineering Workshop, Dec 2019, San Juan, United States. pp.1-10
hal-02088529v2  Conference papers
Florent BréhardAssia MahboubiDamien Pous. A certificate-based approach to formally verified approximations
ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
hal-02133469v1  Conference papers
Emmanuel JeandelPascal Vanier. A Characterization of Subshifts with Computable Language
STACS 2019 - 36th International Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany
hal-02282591v2  Conference papers
Alejandro Gómez-BoixDavide FreyYérom-David BrombergBenoit Baudry. A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting
MTD 2019 - 6th ACM Workshop on Moving Target Defense, Nov 2019, London, United Kingdom. pp.1-12, ⟨10.1145/3338468.3356828⟩