Publications HAL du labo/EPI mics

2019

Theses

titre
Relational properties for specification and verification of C programs in Frama-C
auteur
Lionel Blatter
article
Other. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLC065⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02401884/file/74175_BLATTER_2019_diffusion.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, 2019. English. ⟨NNT : 2019SACLC027⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2019. English. ⟨NNT : 2019SACLC013⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. Français. ⟨NNT : 2018SACLC069⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. Français. ⟨NNT : 2018SACLC056⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. Français. ⟨NNT : 2018SACLC037⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. Français. ⟨NNT : 2018SACLC036⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. Français. ⟨NNT : 2018SACLC038⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. Français. ⟨NNT : 2018SACLC028⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. English. ⟨NNT : 2018SACLC021⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2018. Français. ⟨NNT : 2018SACLC020⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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, 2017. Français. ⟨NNT : 2017SACLC071⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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; Technische Universität (Munich, Allemagne), 2016. Français. ⟨NNT : 2016SACLC037⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01398974/file/76574_BEYER_2016_diffusion.pdf BibTex

2009

Theses

titre
Model-based 3D hand pose estimation from monocular video
auteur
Martin De La Gorce
article
Other. Ecole Centrale Paris, 2009. English. ⟨NNT : 2009ECAP0045⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00619637/file/Thesis_delagorce_arch.pdf BibTex