Skip to Main content Skip to Navigation

hal-02390022v1  Journal articles
Cécile VanpéJean-Michel GaillardA. HewisonErwan QuéméréPetter Kjellander et al.  Old females rarely mate with old males in roe deer, Capreolus capreolus
Biological Journal of the Linnean Society, Linnean Society of London, 2019, 128 (3), pp.515-525. ⟨10.1093/biolinnean/blz110⟩
hal-01964270v2  Reports
Cyril FurtlehnerJean-Marc LasgouttesAlessandro AttanasiLorenzo MeschiniMarco Pezzulla. Spatio-temporal Probabilistic Short-term Forecasting on Urban Networks
[Research Report] RR-9236, Inria Saclay -Île de France; Inria de Paris; PTV-SISTeMA. 2019, pp.30
hal-02102487v1  Journal articles
Adel BelkadiHernan AbaunzaLaurent CiarlettaPedro Castillo GarciaDidier Theilliol. Design and implementation of distributed path planning algorithm for a fleet of UAVs
IEEE Transactions on Aerospace and Electronic Systems, Institute of Electrical and Electronics Engineers, 2019, 55 (6), pp.2647-2657. ⟨10.1109/TAES.2019.2906437⟩
tel-02077035v2  Habilitation à diriger des recherches
Odalric-Ambrym Maillard. Mathematics of Statistical Sequential Decision Making
Statistics [math.ST]. Université de Lille Nord de France, 2019
tel-03275208v2  Theses
Andreea Beica. Abstractions of biochemical reaction networks
Bioinformatics [q-bio.QM]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE071⟩
hal-03269927v1  Journal articles
Katarzyna PiekarowiczAnne BertrandFeriel AzibaniMaud BeuvinLaura Julien et al.  A muscle hybrid promoter as a novel tool for gene therapy
Molecular Therapy - Methods and Clinical Development, Nature Publishing Group, 2019, 15 (8), pp.157 - 169. ⟨10.1016/j.omtm.2019.09.001⟩
tel-03267858v1  Theses
Ambroise Lafont. Signatures and models for syntax and operational semantics in the presence of variable binding
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0161⟩
hal-03266462v1  Conference papers
Mariam KiranBashir MohammedNandini Krishnaswamy. DeepRoute: Herding Elephant and Mice Flows with Reinforcement Learning
2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.296-314, ⟨10.1007/978-3-030-45778-5_20⟩
hal-03266042v1  Journal articles
Pierre BernhardMarc Deschamps. Dynamic equilibrium with randomly arriving players
Dynamic Games and Applications, Springer Verlag, 2019, 11 (2), pp.242-269. ⟨10.1007/s13235-020-00354-z⟩
tel-02433612v2  Theses
Hadrien Lorenzo. Analyse supervisée multibloc en grande dimension
Statistiques [math.ST]. Université de Bordeaux, 2019. Français. ⟨NNT : 2019BORD0256⟩
hal-03261697v1  Conference papers
Souâad BoudebzaRémy CazabetOmar NoualiFaiçal Azouaou. Detecting Stable Communities in Link Streams at Multiple Temporal Scales
LEG@ECML-PKDD 2019 - Third International Workshop on Advances in Managing and Mining Large Evolving Graphs, Sep 2019, Wurzburg, Germany
hal-02157368v1  Conference papers
Fairouz ZobiriNacim MeslemBrigitte Bidégaray-Fesquet. Event-Based Integral Control for Output Disturbance Rejection
EBCCSP 2019 - 5th IEEE Conference on Event-Based Control Communication and Signal Processing, May 2019, Vienne, Austria. pp.1-6, ⟨10.1109/EBCCSP.2019.8836836⟩
hal-02157365v1  Conference papers
Brigitte Bidégaray-FesquetLaurent Fesquet. A new synthesis approach for non-uniform filters in the log-scale: proof of concept
5th International Conference on Event-Based Control, Communication, and Signal Processing, May 2019, Vienna, Austria. pp.1-7, ⟨10.1109/EBCCSP.2019.8836919⟩
hal-02425146v1  Conference papers
Lina YePhilippe DagueLulu He. Manifestability Verification of Discrete Event Systems
DX 2019 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-9
hal-02425142v1  Journal articles
Philippe DagueLulu HeLina Ye. How to be sure a faulty system does not always appear healthy?
Innovations in Systems and Software Engineering, Springer Verlag, In press, ⟨10.1007/s11334-019-00357-z⟩
hal-02371243v1  Conference papers
Cyril GrouinNatalia GrabarVincent ClaveauThierry Hamon. Clinical Case Reports for NLP
BioNLP 2019 - 18th ACL Workshop on Biomedical Natural Language Processing, Aug 2019, Florence, Italy. pp.273-282, ⟨10.18653/v1/W19-5029⟩
hal-02265808v1  Conference papers
Victor RoussanalyOcan SankurNicolas Markey. Abstraction Refinement Algorithms for Timed Automata
CAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New York, United States. pp.22-40, ⟨10.1007/978-3-030-25540-4_2⟩
hal-02388730v1  Conference papers
Stephen PfohlBen MarafinoAdrien CouletFatima RodriguezLatha Palaniappan et al.  Creating Fair Models of Atherosclerotic Cardiovascular Disease Risk
AIES '19 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, Jan 2019, Honolulu, United States. pp.271-278, ⟨10.1145/3306618.3314278⟩
tel-03236271v1  Theses
Gaëtan Gilbert. A type theory with definitional proof-irrelevance
Logic in Computer Science [cs.LO]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0169⟩
hal-02307397v3  Conference papers
Guillaume DucoffeMichel HabibLaurent Viennot. Fast Diameter Computation within Split Graphs
COCOA 2019 - 13th Annual International Conference on Combinatorial Optimization and Applications, Dec 2019, Xiamen, China
hal-02025047v1  Journal articles
Sandrine BlazyDavid PichardieAlix Trieu. Verifying constant-time implementations by abstract interpretation
Journal of Computer Security, IOS Press, 2019, 27 (1), pp.137--163. ⟨10.3233/JCS-181136⟩
hal-02428602v2  Journal articles
Simon EvainChristine Guillemot. A Lightweight Neural Network for Monocular View Generation with Occlusion Handling
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, In press, pp.1-14. ⟨10.1109/TPAMI.2019.2960689⟩
hal-02401643v3  Conference papers
Buntheng LyHubert CochetMaxime Sermesant. Style Data Augmentation for Robust Segmentation of Multi-Modality Cardiac MRI
STACOM 2019 - 10th Workhop on Statistical Atlases and Computational Modelling of the Heart, Oct 2019, Shenzhen, China
hal-02433201v1  Book sections
Olivier GoudetDiviyan KalainathanMichèle SebagIsabelle Guyon. Learning Bivariate Functional Causal Models
Guyon, Isabelle; Statnikov, Alexander; Batu, Berna Bakir. Cause Effect Pairs in Machine Learning, Springer Verlag, pp.101-153, 2019, The Springer Series on Challenges in Machine Learning, 978-3-030-21809-6. ⟨10.1007/978-3-030-21810-2_3⟩
hal-03221902v1  Conference papers
Sylvain Contassot-VivierJean-François CouchotMohammed BakiriPierre-Cyrille Heam. Fast and robust PRNGs based on jumps in N-cubes for simulation, but not exclusively for that
International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland
hal-03215531v1  Lectures
Laurent Romary. Archives de hier et de demain
Master. Master 2 Archives, France. 2019
hal-03215228v1  Documents associated with scientific events
Laurent Romary. Traçabilité des données d’expérience pour les matériaux anciens et patrimoniaux
Atelier Gérer les données dans des projets étudiant les matériaux anciens et patrimoniaux, Feb 2019, Paris, France
tel-02444980v2  Theses
Sara El Aouad. Personalized, Aspect-based Summarization of Movie Reviews
Artificial Intelligence [cs.AI]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS019⟩
hal-03198127v1  Conference papers
Franck GechterPierre RometDidier Fass. Human factors: the real issues of autonomous vehicles?
AutomotiveUI 2019 USER INTERFACES, ACM SIGCHI, Sep 2019, UTRECHT, Netherlands
hal-03196935v1  Poster communications
Josselin MassotNicolas CrouseillesAnaïs Crestetto. Exponential Runge-Kutta methods for Vlasov-Poisson equation
Numerical Methods for Multiscale Models arising in Physics and Biology, Jun 2019, Nantes, France
hal-01981923v1  Conference papers
Victor RomeroFlorence Bertails-DescoubesAlexandre Derouet-JourdanArnaud Lazarus. Inverse design of a suspended Kirchhoff rod: From theory to practice
APS 2019 - American Physical Society March Meeting, Mar 2019, Boston, United States
hal-01801394v2  Journal articles
Patrick JolyMaryna KachanovskaAdrien Semin. Wave propagation in fractal trees. Mathematical and Numerical Issues
Networks and Heterogeneous Media, AIMS-American Institute of Mathematical Sciences, 2019, 14 (2), ⟨10.3934/nhm.2019010⟩
hal-02491042v1  Poster communications
Ikram Chraibi KaadoudNicolas RougierFrédéric Alexandre. Modeling Implicit Learning : Extracting Implicit Rules from Sequences using LSTM
WiML 2019 - 14th Women in Machine Learning Workshop at NeurIPS 2019, Dec 2019, Vancouver, Canada
hal-03131248v1  Conference papers
Maria WaldlSebastian WillPeter F. StadlerMichael T. WolfingerIvo L. Hofacker. Bi-alignments as Models of Incongruent Evolution of RNA Sequence and Secondary Structure
CIBB 2019 - 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics, Sep 2019, Bergamo, Italy. pp.159-170, ⟨10.1007/978-3-030-63061-4_15⟩
hal-03178810v1  Journal articles
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (9), pp.1428-1443. ⟨10.1017/S0960129519000057⟩
hal-03178806v1  Conference papers
Guillaume BonfanteCorentin JannierJean-Yves MarionFabrice Sabatier. LockerGoga quickly reversed
MALCON 2019 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States
hal-03173906v1  Conference papers
Gaëlle CandelRémi Géraud-StewartDavid Naccache. How to Compartment Secrets
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.3-11, ⟨10.1007/978-3-030-41702-4_1⟩
hal-03173902v1  Conference papers
Simon LandryYanis LingeEmmanuel Prouff. Monomial Evaluation of Polynomial Functions Protected by Threshold Implementations
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.66-84, ⟨10.1007/978-3-030-41702-4_5⟩
hal-03173080v1  Conference papers
Panagiota KatsikouliMarco FioreAngelo FurnoRazvan Stanica. Characterizing and Removing Oscillations in Mobile Phone Location Data
WoWMoM 2019 - 20th IEEE International symposium on a World of Wireless, Mobile and Multimedia Networks, Jun 2019, Washington, United States. pp.1-10
hal-03162311v1  Journal articles
Adrien LoseilleLoïc FrazzaFrédéric Alauzet. Comparing anisotropic adaptive strategies on the second AIAA sonic boom workshop geometry
Journal of Aircraft, American Institute of Aeronautics and Astronautics, 2019, 56 (3), pp.938-952. ⟨10.2514/1.C034840⟩
hal-03168831v1  Reports
Rima Al-AliMoussa AmraniSoumyadip BandyopadhyayAnkica BarisicFernando Barros et al.  Framework to Relate / Combine Modeling Languages and Techniques
[Technical Report] COST European Cooperation in Science and Technology. 2019
lirmm-03168363v1  Reports
Rabab BouzianeErven RohouFlorent BruguierGuillaume DevicAbdoulaye Gamatié et al.  Deliverable D5.1 – Technical description of the holistic design flow in CONTINUUM
[Research Report] Inria Rennes – Bretagne Atlantique; LIRMM (UM, CNRS); Cortus S.A.S. 2019
hal-02281960v1  Journal articles
Xu-Guang LiSilviu-Iulian NiculescuArben Cela. An iterative frequency-sweeping approach for stability analysis of linear systems with multiple delays
IMA Journal of Mathematical Control and Information, Oxford University Press (OUP), 2019, 36 (02), pp.379-398. ⟨10.1093/imamci/dnx050⟩
hal-03155483v1  Conference papers
Adrien Koutsos. The 5G-AKA Authentication Protocol Privacy
EuroS&P 2019 - IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.464-479, ⟨10.1109/EuroSP.2019.00041⟩
hal-03150958v1  Conference papers
Sergey Yurkevich. Diagonal Representation of Algebraic Power Series: A Glimpse Behind the Scenes
Transient Transcendence in Transylvania, May 2019, Brașov, Romania
hal-03149218v1  Conference papers
G AgliettiB TaylorS FellowesS AinleyD Tye et al.  RemoveDebris Mission, In Orbit Operations
33rd Annual AIAA/USU Conference on Small Satellites, Aug 2019, Logan, United States
tel-02393773v3  Theses
Damien Carver. Advanced consolidation for dynamic containers
Operating Systems [cs.OS]. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS513⟩
hal-03139797v1  Conference papers
Nicolas SendrierValentin Vasseur. On the Decoding Failure Rate of QC-MDPC Bit-Flipping Decoders
PQCrypto 2019 - Post-Quantum Cryptography 10th International Conference, May 2019, Chongqing, China. pp.404--416, ⟨10.1007/978-3-030-25510-7_22⟩
hal-03138010v1  Conference papers
Thomas TrouchkineGuillaume BouffardJessy Clédière. Fault Injection Characterization on modern CPUs - From the ISA to the Micro-Architecture
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.123-138, ⟨10.1007/978-3-030-41702-4_8⟩
hal-02443169v1  Documents associated with scientific events
Yassine Hadjadj-Aoul. Virtual network function forwarding graph embedding in 5g and post 5g networks
The 8th IEEE International Conference on Smart Communications in Network Technologies (SaCoNet), Dec 2019, Oran, Algeria
hal-02300774v2  Reports
Manuel Alejandro Diaz-Zapata. Contribution to Panoptic Segmentation
[Technical Report] RT-0506, Inria; Universidad Autónoma de Occidente. 2019
tel-02462786v4  Theses
Md Umar Hashmi. Optimization and control of storage in smart grids
Optimization and Control [math.OC]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE062⟩
tel-02510647v2  Theses
Nahuel Villa. Managing Uncertainties in Legged Robots
Automatic. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAT074⟩
tel-02436267v2  Theses
Laura Aspirot. Fluid Approximations for Stochastic Telecommunication Models
Modeling and Simulation. Universidad de la República - Montevideo, 2019. English