Skip to Main content Skip to Navigation

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 P. 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⟩