Skip to Main content Skip to Navigation

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⟩
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-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/⟩
hal-02270524v1  Conference papers
José Carlos Rosales NunezDjamé SeddahGuillaume Wisniewski. A Comparison between NMT and PBSMT Performance for Translating Noisy User-Generated Content
The 22nd Nordic Conference on Computational Linguistics (NoDaLiDa’19), Sep 2019, Turku, Finland
hal-02183760v1  Conference papers
Franco FuscoOlivier KermorgantPhilippe Martinet. A Comparison of Visual Servoing from Features Velocity and Acceleration Interaction Models
IROS 2019 - IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2019, Macau, China
hal-02269603v1  Conference papers
Maria BoritchevMaxime Amblard. A compositional view of questions
WiNLP - Widening NLP - ACL Workshop, Jul 2019, Florence, Italy
hal-02388064v1  Conference papers
Frédéric Alexandre. A computational model to study the dynamics of representations of rewards in the orbital and medial frontal cortex
Normal and pathological reward processing: From synapse to behavior, 6th Bordeaux Neurocampus Conference, Oct 2019, Bordeaux, France
hal-02294272v1  Conference papers
Agustín Gabriel YaboBogdan RobuOlivier RichardBruno BzeznikEric Rutten. A control-theory approach for cluster autonomic management: maximizing usage while avoiding overload
CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications, Aug 2019, Hong Kong, China. pp.189-195
hal-02091672v1  Conference papers
R. BardenetPierre ChainaisJulien FlamantAdrien Hardy. A correspondence between zeros of time-frequency transforms and Gaussian analytic functions
13th International Conference on Sampling Theory and Applications, SampTA 2019, Aug 2019, Bordeaux, France
hal-02270539v1  Conference papers
Yann BusnelNoël Gillet. A Cost-effective and Lightweight Membership Assessment for Large-scale Data Stream
NCA 2019 : 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, Massachussets, United States. pp.1-8, ⟨10.1109/NCA.2019.8935048⟩
emse-02070625v1  Conference papers
Andrei CiorteaSimon MayerFabien GandonOlivier BoissierAlessandro Ricci et al.  A Decade in Hindsight: The Missing Bridge Between Multi-Agent Systems and the World Wide Web
AAMAS 2019 - 18th International Conference on Autonomous Agents and Multiagent Systems, May 2019, Montréal, Canada. pp.5
hal-02064711v3  Conference papers
Victoria Fernández AbrevayaAdnane BoukhaymaStefanie WuhrerEdmond Boyer. A Decoupled 3D Facial Shape Model by Adversarial Training
ICCV 2019 - International Conference on Computer Vision, Oct 2019, Seoul, South Korea. pp.9418-9427, ⟨10.1109/ICCV.2019.00951⟩
hal-02365103v1  Conference papers
Samuel NilusmasSuzanne TouzeauVincent CalcagnoCaroline Djian-CaporalinoPhilippe Castagnone-Sereno et al.  A demo-genetic model of root-knot nematod dynamics with applications to the deployment of plant resistance
CMPD5 - Computational and Mathematical Population Dynamics, May 2019, Fort Lauderdale, United States
hal-01925701v1  Conference papers
Pierre PradicColin Riba. A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
FOSSACS'19, Apr 2019, Prague, Czech Republic
hal-02267454v2  Conference papers
Francesco FoscarinRaphaël Fournier-S'NiehottaFlorent Jacquemard. A diff procedure for music score files
6th International Conference on Digital Libraries for Musicology (DLfM), Nov 2019, The Hague, Netherlands. pp.7
hal-02404438v1  Conference papers
Bastien HamlatTangi MigotJocelyne ErhelAnthony Michel. A Differential Inclusion Approach to Mineral Precipitation-Dissolution Reactions in Geochemistry
WCGO 2019 - 6th World Congress on Global Optimization, Jul 2019, Metz, France