Skip to Main content Skip to Navigation


hal-01960553v1  Journal articles
Matías ToroElizabeth LabradaÉric Tanter. Gradual Parametricity, Revisited
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (POPL), ⟨10.1145/3290330⟩
hal-02294079v1  Conference papers
Jean Dumoulin. Uncooled infrared thermal camera for thermal monitoring or Non-Destructive Testing of Civil Engineering structures
ANCRiSST 2019 - 14th International Workshop on Advanced Smart Materials and Smart Structures Technology, Jul 2019, Rome, Italy
hal-02294671v1  Conference papers
Ludovic GavérinaToan HaJulien WaeytensVincent FeuilletJean-Luc Manceau et al.  Study and designed of an active infrared system for in-situ characterization of thermal resistance of building envelopes
QIRT ASIA 2019 - 3rd Asian Conference on Quantitative InfraRed Thermography, Jul 2019, Tokyo, Japan
hal-02294081v1  Conference papers
Nicolas Le TouzJean Dumoulin. Study of an optimal command law combining weather forecast and energy reduction for transport structure surface de-icing by Joule effect
ANCRiSST 2019 - 14th International Workshop on Advanced Smart Materials and Smart Structures Technology, Jul 2019, Rome, Italy
hal-01624049v1  Journal articles
Claude Le BrisFrédéric LegollFrançois Madiot. Multiscale Finite Element methods for advection-dominated problems in perforated domains
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (2), pp.773-825. ⟨10.1137/17M1152048⟩
hal-02447152v1  Patents
Qinghua ZhangNassif Berrabah. Method and System for Locating Defects on an Electric Cable
United States, Patent n° : US2019162772 (A1). 2019
hal-02753707v1  Conference papers
Meriem Mejhed MkhininiOuassila LabbaniChristophe Nicolle. Enterprise Knowledge Modeling, UML vs Ontology: Formal Evaluation
2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP), IEEE, Sep 2019, Cluj-Napoca, Romania. pp.127-134, ⟨10.1109/ICCP48234.2019.8959686⟩
hal-02138892v1  Journal articles
Pablo OliveraSilvio DaneseNicolas JayGioacchino NatoliLaurent Peyrin-Biroulet. Big data in IBD: a look into the future
Nature reviews. Gastroenterology & hepatology, Nature Publishing Group, 2009-, 2019, 16 (5), pp.312-321. ⟨10.1038/s41575-019-0102-5⟩
hal-02313981v1  Journal articles
Carolina SaavedraRodrigo SalasLaurent Bougrain. Wavelet-Based Semblance Methods to Enhance the Single-Trial Detection of Event-Related Potentials for a BCI Spelling System
Computational Intelligence and Neuroscience, Hindawi Publishing Corporation, 2019, 2019 (Article ID 8432953), pp.10. ⟨10.1155/2019/8432953⟩
hal-02523522v1  Conference papers
Guillaume MarquesRuslan SadykovJean Christophe DeschampsRémy Dupas. An exact algorithm for the Two-Echelon Capacitated Vehicle Routing Problem
International France-China Workshop NICST’2019, New Information Communication Sciences and Technology for Sustainable Development, Sep 2019, Bordeaux, France
hal-02916831v1  Poster communications
Mina RadyDominique BarthelQuentin LampinThomas Watteyne. Extending LPWANs with Heterogeneous Mesh Networks
Journées thématiques GDR RSD ResCom Low-Power Wide Area Networks (LPWAN), Jul 2019, Lyon, France
hal-02373525v1  Conference papers
Anne-Hélène OlivierNicolas Le BorgneMarie BabelArmel CrétualJulien Pettré. Evitement de collision entre un piéton et une personne sur un fauteuil roulant motorisé
SOFPEL 2019 - 26ème congrès de la Société Francophone Posture, Équilibre et Locomotion, Dec 2019, Montréal, Canada
hal-02058359v1  Poster communications
Natalie SnyderMichael CinelliVictoria RaposArmel CrétualAnne-Hélène Olivier. Collision avoidance between two walkers: Reduced avoidance behaviour in previously concussed athletes
ISPGR 2019 - Conference of the International Society for Posture & Gait Research (ISPGR), Jun 2019, Edinburgh, United Kingdom
hal-02058347v1  Poster communications
Carole PuilAnne-Hélène OlivierArmel Crétual. Impact of a thin plantar orthopaedic insert on posture and locomotion
ISPGR 2019 - Conference of the International Society for Posture & Gait Research, Jun 2019, Edinburgh, United Kingdom
hal-02058358v1  Poster communications
Victoria RaposMichael CinelliNatalie SnyderArmel CrétualAnne-Hélène Olivier. Minimum Predicted Distance: applying a common metric to collision avoidance strategies between typically developing children and adult walkers
ISPGR 2019 - Conference of the International Society for Posture & Gait Research, Jun 2019, Edinburgh, United Kingdom
hal-02396515v1  Conference papers
Carole PuilArmel CrétualAnne-Hélène Olivier. Impact of a thin plantar orthopaedic insert on posture and locomotion
ENPODHE 2019 - Conference European Network of Podiatry in Higher Education, Mar 2019, Bruxelles, Belgium
hal-02316870v1  Conference papers
Eric DomenjoudBastien LaboureixLaurent Vuillon. Facet Connectedness of Arithmetic Discrete Hyperplanes with Non-Zero Shift
DGCI 2019: 21st International Conference on Discrete Geometry for Computer Imagery, Mar 2019, Paris, France. pp.38-50, ⟨10.1007/978-3-030-14085-4_4⟩
hal-03141010v1  Directions of work or proceedings
Gaëtan LeurentYu Sasaki. IACR Transactions on Symmetric Cryptology
IACR Transactions on Symmetric Cryptology, 2019 (2), 2019
hal-03141011v1  Directions of work or proceedings
Gaëtan LeurentYu Sasaki. IACR Transactions on Symmetric Cryptology
IACR Transactions on Symmetric Cryptology, 2019 (3), 2019
hal-02421959v1  Conference papers
Yan ZhangKe-Li WuFabien Seyfert. A Preconditioner for Synthesizing Dispersive Bandpass Filters Using Isospectral Flow Method
APMC 2019 - Asia-Pacific Microwave Conference, Dec 2019, Singapour, Singapore
hal-02420485v1  Conference papers
Ilaria CastellaniMariangiola Dezani-CiancagliniPaola Giannini. Event Structure Semantics for Multiparty Sessions
Models, Languages, and Tools for Concurrent and Distributed Programming - Hommage to Rocco De Nicola on the Occasion of His 65th Birthday, Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese, Jul 2019, Lucca, Italy. pp.340-363, ⟨10.1007/978-3-030-21485-2_19⟩
hal-02434364v1  Conference papers
Carole Delporte-GalletHugues FauconnierYan JurskiFrançois LaroussinieArnaud Sangnier. Towards Synthesis of Distributed Algorithms with {SMT} Solvers
NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco
hal-02407007v1  Conference papers
Slim Ben-AmorLiliana Cucu-GrosjeanDorin Maxim. Worst-case response time analysis for partitioned fixed-priority DAG tasks on identical processors
ETFA 2019 - 24th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2019, Zaragoza, Spain. pp.1423-1426, ⟨10.1109/ETFA.2019.8869147⟩
hal-02425271v1  Conference papers
Ali MarandiTorsten BraunKavé SalamatianNikolaos Thomos. Pull-based Bloom Filter-based Routing for Information-Centric Networks
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. pp.1-6, ⟨10.1109/CCNC.2019.8651713⟩
hal-02499348v1  Conference papers
Emmanuel HainryBruce KapronJean-Yves MarionRomain Péchoux. Tiered complexity at higher order
MLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
hal-02404534v1  Journal articles
Maxime Sermesant. Improving Cardiac Arrhythmia Therapy with Medical Imaging
ERCIM News, ERCIM, 2019, pp.10-11
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-02147655v1  Conference papers
Bastien BerthelotEric GrivelPierrick LegrandJean-Marc AndréPatrick Mazoyer et al.  Filtering-based Analysis Comparing the DFA with the CDFA for Wide Sense Stationary Processes
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, A Coruna, Spain
hal-02381116v1  Journal articles
Beishui LiaoNir OrenLeendert van der TorreSerena Villata. Prioritized norms in formal argumentation
Journal of Logic and Computation, Oxford University Press (OUP), 2019, 29 (2), pp.215-240. ⟨10.1093/logcom/exy009⟩
hal-02374286v1  Conference papers
Deng TangBimal MandalSubhamoy Maitra. Vectorial Boolean Functions with Very Low Differential-Linear Uniformity Using Maiorana-McFarland Type Construction
INDOCRYPT 2019 - The 20th International Conference on Cryptology in India, Dec 2019, Hyderabad, India. ⟨10.1007/978-3-030-35423-7_17⟩
hal-02373191v1  Conference papers
Aurélien FrogerOla JabaliJorge E. MendozaGilbert Laporte. A matheuristic algorithm to solve the electric vehicle routing problem with capacitated charging stations
SynchroTrans 2019 - 2nd International Workshop on Synchronisation in Transport, Sep 2019, Nantes, France
hal-02385436v1  Conference papers
Shirsendu Sukanta HalderJean-François LalondeRaoul de Charette. Physics-Based Rendering for Improving Robustness to Rain
ICCV 2019 - International Conference on Computer Vision, Oct 2019, Seoul, South Korea
hal-02387461v1  Conference papers
Maximilian JaritzJiayuan GuHao Su. Multi-view PointNet for 3D Scene Understanding
Proceedings of the IEEE International Conference on Computer Vision Workshops, Oct 2019, Seoul, South Korea
hal-02433430v1  Book sections
Pierre-Antoine CinquinPascal GuittonHélène Sauzéon. Accessibilité numérique des systèmes d'enseignement en ligne pour des personnes en situation de handicap d'origine cognitif
Eric Dugas. Handicaps et recherches - Regards pluridiciplinaires, Editions CNRS, 2019, 978-2-271-12969-7
hal-02418394v1  Journal articles
Thierry GoudonAlexis Vasseur. Statistical Stability for Transport in Random Media
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2019, 17 (1), pp.507-530. ⟨10.1137/18M1184643⟩
hal-02418639v1  Journal articles
Thierry GoudonJulien BarreDan Crisan. Two-dimensional pseudo-gravity model: particles motion in a non-potential singular force field
Transactions of the American Mathematical Society, American Mathematical Society, 2019
hal-01662537v1  Journal articles
Ludovic RiffordAbbas Moameni. Uniquely minimizing costs for the Kantorovitch problem
Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc In press
hal-02418396v1  Journal articles
Blum JacquesHolger HeumannEric NardonXiao Song. Automating the design of tokamak experiment scenarios
Journal of Computational Physics, Elsevier, 2019, 394, pp.594-614. ⟨10.1016/j.jcp.2019.05.046⟩
hal-03044112v1  Directions of work or proceedings
Kamel Smaïli. Arabic Language Processing: From Theory to Practice
Kamel Smaïli. 7th International Conference, ICALP 2019, Oct 2019, Nancy, France. Springer, 2019, Arabic Language Processing: From Theory to Practice 7th International Conference, ICALP 2019, Nancy, France, October 16–17, 2019, Proceedings, 978-3-030-32959-4
hal-02333202v1  Journal articles
Pierre AboulkerMarthe BonamyNicolas BousquetLouis Esperet. Distributed Coloring in Sparse Graphs with Fewer Colors
The Electronic Journal of Combinatorics, Open Journal Systems, 2019, 26 (4), pp.P4.20. ⟨10.1145/3212734.3212740⟩
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-02429560v1  Journal articles
Vlad BallyLucia Caramellino. Total variation distance between stochastic polynomials and invariance principles
Annals of Probability, Institute of Mathematical Statistics, 2019, 47, pp.3762 - 3811. ⟨10.1214/19-AOP1346⟩
hal-02286011v1  Conference papers
Nesrine AmmarLudovic NoirieSébastien Tixeuil. Network-Protocol-Based IoT Device Identification
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), Jun 2019, Rome, Italy. pp.204-209, ⟨10.1109/FMEC.2019.8795318⟩
hal-02533750v1  Conference papers
Sophie PinchinatBarbara FilaFlorence WacheuxYann Thierry-Mieg. Attack Trees: A Notion of Missing Attacks
GraMSec 2019 - 6th International Workshop on Graphical Models for Security, Jun 2019, Hoboken, NJ, United States. pp.23-49, ⟨10.1007/978-3-030-36537-0_3⟩
hal-02509451v1  Conference papers
Berk CelikGustavo RostirollaStéphane CauxPaul Renaud-GoudPatricia Stolf. Phase-Based Tasks Scheduling in Data Centers Powered Exclusively by Renewable Energy
2019 31st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2019, Campo Grande, Brazil. pp.136-143, ⟨10.1109/SBAC-PAD.2019.00032⟩
hal-02974531v1  Conference papers
Charles ColuzziJulie LaoGérard GuédonMarie-Dominique MorchChloé Ambroset et al.  The ICE/IME Finder approach and its application to ICE/IME annotation in Streptococcus.
8th symposium on Antimicrobial Resistance in Animal and Environment, Jul 2019, Tours, France
hal-02974525v1  Poster communications
Charles ColuzziJulie LaoGérard GuédonMarie-Dominique MorchChloé Ambroset et al.  The ICE/IME Finder approach and its application to ICE/IME annotation in Streptococcus
4th International Workshop on Streptococcus suis, Jun 2019, Montréal, Canada
hal-02381354v1  Book sections
Petteri KarvinenNatalia Díaz-RodríguezStefan GrönroosJohan Lilius. RDF Stores for Enhanced Living Environments: An Overview
Ivan Ganchev; Nuno M. Garcia; Ciprian Dobre; Constandinos X. Mavromoustakis; Rossitza Goleva. Enhanced Living Environments: Algorithms, Architectures, Platforms, and Systems, Springer, pp.19-52, 2019, ⟨10.1007/978-3-030-10752-9_2⟩
hal-02341877v1  Directions of work or proceedings
Dajiang ZhuJingwen YanHeng HuangLi ShenPaul M. Thompson et al.  Multimodal Brain Image Analysis and Mathematical Foundations of Computational Anatomy
Zhu, Dajiang; Yan, Jingwen; Nielsen, Mads; Fletcher, Tom; Durrleman, Stanley; Sommer, Stefan; Huang, Heng; Shen, Li; Thompson, Paul M.; Westin, Carl-Fredrik; Pennec, Xavier; Joshi, Sarang. 11846, Springer, 2019, Lecture Notes in Computer Science (LNCS), ⟨10.1007/978-3-030-33226-6⟩
hal-02267405v1  Directions of work or proceedings
Raffaella BernardiGreg KobeleSylvain Pogodalla. Formal Grammar
Raffaella Bernardi; Greg Kobele; Sylvain Pogodalla. FG 2019 - 24th International Conference on Formal Grammar, Aug 2019, Riga, Latvia. 11668, Springer, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-59648-7⟩
hal-02268054v1  Directions of work or proceedings
Philippe de GrooteFrank DrewesGerald Penn. Proceedings of the 16th Meeting on the Mathematics of Language
Philippe de Groote; Frank Drewes; Gerald Penn. Jul 2019, Toronto, Canada. Association for Computational Linguistics, 2019
halshs-02353919v1  Conference papers
Tristan AllardAlexandra BensamounLaurent RousvoalSandrine Turgis. Profilage et « prédiction » : de la justice prédictive à la prédiction par l’intelligence artificielle
Le profilage en ligne : Construction d'une approche globale à l'intersection du droit, de l'informatique et de la sociologie, Sandrine TURGIS, IODE UMR CNRS 6262, Université de Rennes 1; Johann BOURCIER, IRISA/INRIA UMR 6074, Université de Rennes 1, Sep 2019, Rennes, France
hal-02407686v1  Conference papers
Mohamed BenkiraneFrançois ClautiauxJean DamayBoris Detienne. Un modèle hypergraphe pour le problème de roulement matériel et sélection d'horaires de trains
ROADEF2019 - 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-02433447v1  Journal articles
Damien SaucezLuigi IannoneOlivier Bonaventure. Evaluating the artifacts of SIGCOMM papers
Computer Communication Review, Association for Computing Machinery, 2019, 49 (2), pp.44-47. ⟨10.1145/3336937.3336944⟩
hal-02128531v1  Journal articles
Rubén DosteDavid Soto‐iglesiasGabriel BernardinoAlejandro AlcaineRafael Sebastian et al.  A rule‐based method to model myocardial fiber orientation in cardiac biventricular geometries with outflow tracts
International Journal for Numerical Methods in Biomedical Engineering, John Wiley and Sons, 2019, International Journal for Numerical Methods in Biomedical Engineering, 35 (4), ⟨10.1002/cnm.3185⟩