Publications HAL du labo/EPI MICS

2022

Theses

titre
Learning Majority-Rule models with partially monotone data
auteur
Pegdwendé Minoungou
article
Automatic Control Engineering. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPAST058⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03717431/file/2022UPAST058_MINOUNGOU_archivage.pdf BibTex
titre
Active and Incremental Deep learning with class imbalanced data
auteur
Umang Aggarwal
article
Signal and Image processing. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPAST027⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03701927/file/2022UPAST027_AGGARWAL_archivage.pdf BibTex
titre
Specifying and verifying high-level requirements on large programs : application to security of C programs
auteur
Virgile Robles
article
Cryptography and Security [cs.CR]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPAST001⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03626084/file/2022UPAST001_ROBLES_archivage.pdf BibTex

2021

Theses

titre
Modèle distribué et asynchrone pour la simulation interactive en mécanique des fluides : vers une plateforme de jeu sérieux pour l'aide à la prise de décision
auteur
Mengchen Wang
article
Modélisation et simulation. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG113⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03609841/file/95379_WANG_2021_archivage.pdf BibTex
titre
Towards Adaptive Learning with Invariant Representations
auteur
Victor Bouvier
article
Machine Learning [cs.LG]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST141⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03663398/file/2021UPAST141_BOUVIER_archivage.pdf BibTex
titre
Statistical Inference and Verification of Chemical Reaction Networks
auteur
Mahmoud Bentriou
article
Statistics [math.ST]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST137⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03621447/file/2021UPAST137_BENTRIOU_archivage.pdf BibTex
titre
On the compositionality of monads via weak distributive laws
auteur
Alexandre Goy
article
Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST080⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03426949/file/2021UPAST080_GOY_archivage.pdf BibTex
titre
Deep learning-based methods for 3D medical image registration
auteur
Théo Estienne
article
Medical Imaging. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG055⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03547494/file/2021UPASG055_ESTIENNE_archivage.pdf BibTex
titre
An operational semantics of interactions for verifying partially observed executions of distributed systems
auteur
Erwan Mahe
article
Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST062⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03369906/file/2021UPAST062_MAHE_archivage.pdf BibTex
titre
Symmetric and heterogeneous population models : approximations for simulation and statistical inference
auteur
Antonin Della Noce
article
Dynamical Systems [math.DS]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST026⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03280879/file/2021UPAST026_DELLA_NOCE_archivage.pdf BibTex
titre
Contributions à la détection de marqueurs et à l'analyse de survie en oncologie
auteur
Mathilde Sautreuil
article
Machine Learning [stat.ML]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPAST005⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03278955/file/2021UPAST005_SAUTREUIL_archivage.pdf BibTex

2020

Theses

titre
Machine Learning for Financial Products Recommendation
auteur
Baptiste Barreau
article
Computational Engineering, Finance, and Science [cs.CE]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPAST010⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02974918/file/94943_BARREAU_2020_archivage.pdf BibTex
titre
Explainable Classification and Annotation through Relation Learning and Reasoning
auteur
Régis Pierrard
article
Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPAST008⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03115438/file/86491_PIERRARD_2020_archivage.pdf BibTex
titre
Social Media Stories. Event detection in heterogeneous streams of documents applied to the study of information spreading across social and news media
auteur
Béatrice Mazoyer
article
Social and Information Networks [cs.SI]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASC009⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02987720/file/89639_MAZOYER_2020_archivage.pdf BibTex
titre
Market Impact in Systematic Trading and Option Pricing
auteur
Emilio Said
article
Pricing of Securities [q-fin.PR]. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASC030⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02892083/file/89109_SAID_2020_archivage.pdf BibTex

2019

Theses

titre
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol
auteur
Ngo Minh Thang Nguyen
article
Other. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC092⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02645881/file/79119_NGUYEN_2019_archivage.pdf BibTex
titre
Relational properties for specification and verification of C programs in Frama-C
auteur
Lionel Blatter
article
Other. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC065⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02401884/file/74175_BLATTER_2019_diffusion.pdf BibTex
titre
Statistical Learning Methodology to Leverage the Diversity of Environmental Scenarios in Crop Data : Application to the prediction of crop production at large-scale
auteur
Xiangtuo Chen
article
Statistics [math.ST]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC055⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03164008/file/77060_CHEN_2019_archivage.pdf BibTex
titre
Pattern Recognition in the Usage Sequences of Medical Apps
auteur
Chloé Adam
article
Neural and Evolutionary Computing [cs.NE]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC027⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02134576/file/76544_ADAM_2019_archivage.pdf BibTex
titre
Causality in financial markets : time reversal asymmetry and multi-scale lead-lag networks
auteur
Marcus Cordi
article
Other. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLC013⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02063380/file/74776_CORDI_2019_archivage.pdf BibTex

2018

Theses

titre
Modélisation du carnet d’ordres, Applications Market Making
auteur
Xiaofei Lu
article
Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC069⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01893379/file/71978_LU_2018_archivage.pdf BibTex
titre
Certified algorithms for program slicing
auteur
Jean-Christophe Léchenet
article
Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01874620/file/thesis.pdf BibTex
titre
Représentations pour la détection d’anomalies : Application aux données vibratoires des moteurs d’avions
auteur
Mina Abdel Sayed
article
Mathématiques générales [math.GM]. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC037⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01849893/file/74984_ABDEL-SAYED_2018_archivage.pdf BibTex
titre
Comportement des traders institutionnels et microstructure des marchés : une approche big data
auteur
Kevin Primicerio
article
Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC036⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01939121/file/71972_PRIMICERIO_2018_archivage.pdf BibTex
titre
Vers l’universalité des représentations visuelle et multimodales
auteur
Youssef Tamaazousti
article
Sciences de l'information et de la communication. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC038⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01828934/file/77286_TAMAAZOUSTI_2018_archivage.pdf BibTex
titre
Modélisation de la température du sol avec un bilan d’énergie, application à la prédiction de l’émergence du maïs (Zea mais)
auteur
Etienne Claverie
article
Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC028⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02003496/file/76920_CLAVERIE_2018_diffusion.pdf BibTex
titre
Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem
auteur
Nassim Benharrat
article
Other. Université Paris Saclay (COmUE), 2018. English. ⟨NNT : 2018SACLC021⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02292973/file/71983_BENHARRAT_2018_archivage.pdf BibTex
titre
Méthodes statistiques pour la différenciation génotypique des plantes à l’aide des modèles de croissance
auteur
Gautier Viaud
article
Mathématiques générales [math.GM]. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC020⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01772414/file/75615_VIAUD_2017_archivage.pdf BibTex

2017

Theses

titre
Méthodes asynchrones de décomposition de domaine pour le calcul massivement parallèle
auteur
Tete Guillaume Gbikpi Benissan
article
Autre. Université Paris Saclay (COmUE), 2017. Français. ⟨NNT : 2017SACLC071⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02003395/file/74985_GBIKPI-BENISSAN_2017_archivage.pdf BibTex

2016

Theses

titre
Modélisation téléonomique de la dynamique de croissance des plantes à partir du concept de densité foliairé
auteur
Robert Beyer
article
Autre. Université Paris Saclay (COmUE); Technische Universität (Munich, Allemagne), 2016. Français. ⟨NNT : 2016SACLC037⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01398974/file/76574_BEYER_2016_diffusion.pdf BibTex