Search - Archive ouverte HAL Access content directly

Filter your results

53 Results
Structure: Internal structure identifier : 79
Image document

Interaction des failles sismiques : modélisation mathématique et numérique de l'instabilité du glissement

Sylvie Wolf
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2003. Français. ⟨NNT : ⟩
Theses tel-00005067v1
Image document

an intuitionistic lambda calculus with exceptions

Georges Mounier
Mathématiques [math]. Université de Savoie, 1999. Français. ⟨NNT : ⟩
Theses tel-00093187v1
Image document

Effet des conditions aux limites et analyse multi-échelles en mécanique des fluides, chromatographie et électromagnétisme

Marguerite Gisclon
Mathématiques [math]. Université de Savoie, 2007
Habilitation à diriger des recherches tel-00259592v1
Image document

Inférence géométrique discrète

Louis Cuel
Interface homme-machine [cs.HC]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM074⟩
Theses tel-01551790v1
Image document

Bio-mathematical aspects of the plasticity of proteins

Rodrigo Dorantes Gilardi
Bioinformatics [q-bio.QM]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM092⟩
Theses tel-02152862v1
Image document

Semantics and implementation of an extension of ML for proving programs

Rodolphe Lepigre
Programming Languages [cs.PL]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM034⟩
Theses tel-01682908v1
Image document

Modeling and mathematical analysis of models in oceanography

Ralph Lteif
General Mathematics [math.GM]. École Doctorale des Sciences et de Technologie (Beyrouth), 2016. English. ⟨NNT : 2016GREAM041⟩
Theses tel-01679716v1
Image document

Automates cellulaires : un modèle de complexités

Guillaume Theyssier
Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français. ⟨NNT : ⟩
Theses tel-00166295v1
Image document

Géométrie algébrique réelle de certaines variétés de dimension 2 et 3

Frédéric Mangolte
Mathématiques [math]. Université de Savoie, 2004
Habilitation à diriger des recherches tel-00006900v1
Image document

Mathematical modelling of tsunami waves

Denys Dutykh
Mathematics [math]. École normale supérieure de Cachan - ENS Cachan, 2007. English. ⟨NNT : ⟩
Theses tel-00194763v2
Image document

Optimisation de formes et problèmes spectraux

Beniamin Bogosel
Optimisation et contrôle [math.OC]. Université Grenoble Alpes, 2015. Français. ⟨NNT : 2015GREAM066⟩
Theses tel-01502792v1
Image document

Balance properties on Christoffel words and applications

Lama Tarsissi
General Mathematics [math.GM]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM097⟩
Theses tel-01885914v1
Image document

Influence des perturbations géométriques de domaines sur les solutions d'équations aux dérivées partielles

Matthieu Bonnivard
Mathématiques [math]. Université de Grenoble, 2010. Français. ⟨NNT : ⟩
Theses tel-00555121v2
Image document

Analyse d'images par des méthodes variationnelles et géométriques

Marion Foare
Mathématiques générales [math.GM]. Université Grenoble Alpes, 2017. Français. ⟨NNT : 2017GREAM043⟩
Theses tel-01682981v1
Image document

Comportements typiques dans les automates cellulaires

Laurent Boyer
Mathématique discrète [cs.DM]. Université de Grenoble, 2010. Français. ⟨NNT : ⟩
Theses tel-00862704v1
Image document

Categories and String Diagrams for Game Semantics

Clovis Eberhart
Computer Science and Game Theory [cs.GT]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM091⟩
Theses tel-02147264v1
Image document

Lemmes de zéros et distribution des valeurs des fonctions méromorphes

Pierre Villemot
Analyse fonctionnelle [math.FA]. Université Grenoble Alpes, 2018. Français. ⟨NNT : 2018GREAM059⟩
Theses tel-02057552v1
Image document

The notion of indefinite in lambda calculus

Yves Bertini
Mathématiques [math]. Université de Savoie, 2005. Français. ⟨NNT : ⟩
Theses tel-00415825v1
Image document

Mathematical modeling in the environment: from tsunamis to powder-snow avalanches

Denys Dutykh
Mathematics [math]. Université de Savoie, 2010
Habilitation à diriger des recherches tel-00542937v1
Image document

Tropical geometry and polynomial systems

Boulos El Hilany
General Mathematics [math.GM]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM037⟩
Theses tel-01679316v1
Image document

Quelques ponts entre sémantique opérationnelle et modèles dénotationnels des langages de programmation

Tom Hirschowitz
Logique en informatique [cs.LO]. Université Grenoble Alpes, 2016
Habilitation à diriger des recherches tel-01400666v1
Image document

Algèbres de polynômes bornés sur ensembles semi-algébriques non bornés

Maria Michalska
Mathématiques générales [math.GM]. Université de Grenoble; Uniwersytet łódzki, 2011. Français. ⟨NNT : 2011GRENM074⟩
Theses tel-00684253v1
Image document

Preuves, types et sous-types

Frédéric Ruyer
Mathématiques [math]. Université de Savoie, 2006. Français. ⟨NNT : ⟩
Theses tel-00414653v1
Image document

Développement du système MathNat pour la formalisation automatique des textes mathématiques

Humayoun Muhammad
Mathématiques générales [math.GM]. Université de Grenoble, 2012. Français. ⟨NNT : 2012GRENM001⟩
Theses tel-00680095v1
Image document

The $\lambda \mu^{\wedge \vee}$-calculus

Khelifa Saber
Mathematics [math]. Université de Savoie, 2007. English. ⟨NNT : ⟩
Theses tel-00415845v1
Image document

Sur quelques modèles hétérogènes en mécanique des fluides

Bilal Al Taki
Equations aux dérivées partielles [math.AP]. Université Grenoble Alpes; Université Libanaise. Faculté des Sciences (Beyrouth, Liban), 2016. Français. ⟨NNT : 2016GREAM057⟩
Theses tel-01668531v1
Image document

Modélisation, analyse mathématique et numérique de divers écoulements compressibles ou incompressibles en couche mince.

Mehmet Ersoy
Mathématiques [math]. Université de Savoie, 2010. Français. ⟨NNT : ⟩
Theses tel-00529392v1
Image document

Existence and regularity results for some shape optimization problems

Bozhidar Velichkov
Optimization and Control [math.OC]. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM088⟩
Theses tel-01552644v1
Image document

EDSs réfléchies en moyenne avec sauts et EDSs rétrogrades de type McKean-Vlasov : étude théorique et numérique

Abir Ghannoum
Mathématiques générales [math.GM]. Université Grenoble Alpes; Université Libanaise, 2019. Français. ⟨NNT : 2019GREAM068⟩
Theses tel-02951412v1
Image document

Singularities of linear families of symmetric matrices

Mohadeseh Vakili
Classical Analysis and ODEs [math.CA]. Université Savoie Mont Blanc, 2020. English. ⟨NNT : 2020CHAMA054⟩
Theses tel-03559809v1