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-02378494v1  Directions of work or proceedings
Tomas BuresLaurence DuchienPaola Inverardi. 13th European Conference on Software Architecture, {ECSA} 2019
Tomas Bures; Laurence Duchien; Paola Inverardi. Springer, 2019, Lecture Notes in Computer Science, 978-3-030-29982-8. ⟨10.1007/978-3-030-29983-5⟩
hal-02881944v1  Directions of work or proceedings
Alex GantmanClémentine Maurice. 13th USENIX Workshop on Offensive Technologies, WOOT 2019
Aug 2019, Santa Clara, CA, United States. USENIX Association, 2019
hal-02400510v1  Directions of work or proceedings
Dominique MéryShengchao Qin. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3
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-02393625v1  Master thesis
Leo Valque. 3D Snap Rounding
Computational Geometry [cs.CG]. 2019
hal-02374538v1  Conference papers
Carole LazarusPierre WeissFranck MauconduitAlexandre VignaudPhilippe Ciuciu. 3D SPARKLING for accelerated ex vivo T2*-weighted MRI with compressed sensing
ISMRM 2019 - 27th Annual Meeting & Exhibition, May 2019, Montréal, 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-02610087v1  Conference papers
Pranay ChandramouliEtienne MéminDominique Heitz. 4D Variational Data Assimilation with Large Eddy Simulation
AIAA AVIATION Forum, Jun 2019, Dallas, United States. pp.1-13
hal-02117076v1  Journal articles
Salah Eddine ElayoubiSana BenjemaaZwi AltmanAna Maria Galindo Serrano. 5G RAN slicing for verticals: Enablers and challenges
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2019, 57 (1), pp.28-34. ⟨10.1109/mcom.2018.1701319⟩
hal-02296176v1  Directions of work or proceedings
Filip de TurckChristian JacquenetProsper ChemouilOlivier FestorFranco Callegati et al.  5th IEEE Conference on Network Softwarization, NetSoft 2019, Paris, France
NetSoft 2019 - 5th IEEE International Conference on Network Softwarization, Jun 2019, Paris, France. 2019, ISBN 978-1-5386-9376-6
hal-02061838v1  Journal articles
Yasuyuki TanakaPascale MinetThomas Watteyne. 6LoWPAN Fragment Forwarding
IEEE Communications Standards Magazine, Institute of Electrical and Electronics Engineers, 2019, 3 (1), pp.35-39
hal-02420677v1  Journal articles
Pascal ThubertXavi GuillenThomas Watteyne. 6TiSCH, enabling IPv6 over 802.15.4 TSCH
IEEE Communications Standards Magazine, Institute of Electrical and Electronics Engineers, 2019
hal-02266569v1  Journal articles
Xavier VilajosanaThomas WatteyneMalisa VucinicTengfei ChangKristofer Pister. 6TiSCH: Industrial Performance for IPv6 Internet of Things Networks
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2019, 107 (6), pp.1153 - 1165. ⟨10.1109/JPROC.2019.2906404⟩
hal-02148756v1  Directions of work or proceedings
Filippo BonchiBarbara König. 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Filippo Bonchi; Barbara Konig. 2019
hal-01509365v2  Journal articles
Julien Bensmail. A 1-2-3-4 result for the 1-2-3 Conjecture in 5-regular graphs
Discrete Applied Mathematics, Elsevier, 2019, 257, pp.31-39. ⟨10.1016/j.dam.2018.10.008⟩
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-01974173v1  Journal articles
Yoann BlangeroM. RabilloudRené EcochardFabien Subtil. A Bayesian method to estimate the optimal threshold of a marker used to select patients' treatment
Statistical Methods in Medical Research, SAGE Publications, 2019, pp.096228021882139
hal-01944524v1  Journal articles
Victor PichenyMickael BinoisAbderrahmane Habbal. A Bayesian optimization approach to find Nash equilibria
Journal of Global Optimization, Springer Verlag, 2019, 73 (1), pp.171 - 192. ⟨10.1007/s10898-018-0688-0⟩
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-01971679v1  Journal articles
Ekaterina AlekseevaLuce BrotcorneSébastien LepaulAlain Montmeat. A bilevel approach to optimize electricity prices
Yugoslav Journal of Operations Research, University of Belgrade, 2019, 29 (1), pp.9-30. ⟨10.2298/yjor171115002a⟩
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-02305788v1  Conference papers
Syed Mohd Saad JameelRemi ManceauVincent Herbert. A buoyancy extension for eddy-viscosity models for the natural convection regime
17th European Turbulence Conference (ETC-2019), Sep 2019, Torino, Italy
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-01779349v2  Journal articles
Toufik BakirBernard BonnardJérémy Rouot. A case study of optimal input-output system with sampled-data control: Ding et al. force and fatigue muscular control model
Networks and Heterogeneous Media, AIMS-American Institute of Mathematical Sciences, 2019, 14 (1), pp.79-100. ⟨10.3934/nhm.2019005⟩
hal-02088913v1  Conference papers
Pierre PuchaudGeorges DumontNicolas BideauCharles Pontonnier. A case study with custom : a comparison of normal and altered gait with an ankle brace
ESB 2019 - 25th Congress of the European Society of Biomechanics, Jul 2019, Vienne, Austria. pp.1
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-01963067v2  Journal articles
Hussam Al DaasLaura Grigori. A Class of Efficient Locally Constructed Preconditioners Based on Coarse Spaces
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2019, 40 (1), pp.66-91. ⟨10.1137/18M1194365⟩
hal-01519929v3  Journal articles
Étienne Miquey. A Classical Sequent Calculus with Dependent Types
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2019, 41 (2), pp.1-48. ⟨10.1145/3230625⟩
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⟩
hal-02398007v1  Conference papers
Pierre RolinDenis MoalicRémi BadonnelOlivier BergerJihane Fouzai. A collection of MOOCs to create digital programs
OOFHEC 2019: the Online, Open and Flexible Higher Education Conference, Oct 2019, Madrid, Spain. pp.86-99
hal-02317032v1  Conference papers
Olivier BriantHadrien CambazardDiego CattaruzzaNicolas CatusseAnne-Laure Ladier et al.  A column generation approach for the joint order batching and picker routing problem
VeRoLog 2019 - Workshop of the EURO Working Group on Vehicle Routing and Logistics optimization, Jun 2019, Seville, Spain
hal-01574894v2  Journal articles
Caterina CalgaroClaire ColinEmmanuel Creusé. A combined Finite Volumes -Finite Elements method for a low-Mach model
International Journal for Numerical Methods in Fluids, Wiley, 2019, 90 (1), pp.1-21. ⟨10.1002/fld.4706⟩
tel-02105743v2  Theses
João Paulo de Araujo. A communication-efficient causal broadcast publish/subscribe system
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS081⟩
hal-02321581v1  Reports
Hossein BaktashEmanuele NataleLaurent Viennot. A Comparative Study of Neural Network Compression
[Research Report] INRIA Sophia Antipolis - I3S. 2019
hal-02272539v1  Conference papers
Quentin RoyCamelia ZakariaSimon PerraultMathieu NancelWonjung Kim et al.  A Comparative Study of Pointing Techniques for Eyewear Using a Simulated Pedestrian Environment
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.625-646, ⟨10.31219/⟩