HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


...
tel-00940100v1  Theses
Radhouane Fekih-Salem. Modèles Mathématiques pour la compétition et la coexistence des espèces microbiennes dans un chémostat
Systèmes dynamiques [math.DS]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français
...
tel-00527894v2  Theses
Mouna Baklouti. Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA
Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français
...
tel-01656474v1  Theses
Julie Laniau. Structure de réseaux biologiques : rôle des nœuds internes vis-à-vis de la production de composés
Recherche opérationnelle [cs.RO]. Inria Rennes - Bretagne Atlantique, 2017. Français
...
tel-01358477v1  Theses
Matthieu Dreher. Méthodes In-Situ et In-Transit : vers un continuum entre les applications interactives et offline à grande échelle.
Calcul parallèle, distribué et partagé [cs.DC]. Collège des Ecoles Doctorales de l'Université Grenoble Alpes, 2015. Français
...
tel-00004905v1  Theses
Cyril Soler. Représentations hiérarchiques de la visibilité pour le contrôle de l'erreur en simulation de l'éclairage
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1998. Français
...
tel-00937615v2  Theses
Thomas Cederborg. A Formal Approach to Social Learning: Exploring Language Acquisition Through Imitation
Interface homme-machine [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
pastel-00001914v1  Theses
Xavier Rival. Abstraction de traces en analyse statique et transformation de programmes.
Informatique [cs]. Ecole Polytechnique X, 2005. Français
...
tel-01748252v1  Theses
Eun-Young Kang. Abstractions booléennes pour la vérification des systèmes temps-réel
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2007. Français. ⟨NNT : 2007NAN10089⟩
...
tel-02399767v2  Theses
Hugo Illous. Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données
Langage de programmation [cs.PL]. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEE015⟩