Skip to Main content Skip to Navigation
New interface


...
tel-03202580v1  Theses
Diane Gallois-Wong. Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie
Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩
...
tel-01755720v1  Theses
Gaël Deest. Implementation trade-offs for FGPA accelerators
Computer Arithmetic. Université Rennes 1, 2017. English. ⟨NNT : 2017REN1S102⟩
...
tel-00011156v1  Theses
Michael G B Blum. Tree shape in population genetics and phylogeny
Mathematics [math]. Institut National Polytechnique de Grenoble - INPG, 2005. English. ⟨NNT : ⟩
...
tel-01471316v1  Theses
Ali Benlabbes. Sur des problèmes aux conditions aux limites et à dérivées fractionnaires
Systèmes dynamiques [math.DS]. Université Djillali Liabès de Sidi Bel Abbès, Algérie, 2016. Français
...
tel-00304329v1  Theses
Marc Legendre. Analyse et simulation de réseaux d'automates
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1982. Français
...
tel-01910817v1  Theses
Mamadou Ndao. Estimation de la vitesse de retour à l'équilibre dans les équations de Fokker-Planck
Equations aux dérivées partielles [math.AP]. Université Paris-Saclay, 2018. Français. ⟨NNT : 2018SACLV036⟩
...
tel-00654121v2  Theses
Bogdan Mihai Pasca. High-performance floating-point computing on reconfigurable circuits
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. ⟨NNT : 2011ENSL0656⟩
...
tel-00282774v1  Habilitation à diriger des recherches
Claude Brezinski. Méthodes d'accélération de la convergence en analyse numérique
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1971
...
tel-03395792v3  Habilitation à diriger des recherches
Isabelle Ramière. Autour de méthodes numériques pour les couplages multiphysiques et multiéchelles en mécanique des solides
Mécanique des solides [physics.class-ph]. Aix Marseille Université (AMU), 2021
...
tel-00718039v1  Habilitation à diriger des recherches
Hassen Aydi. Vorticité dans le modèle de Ginzburg-Landau et quelques contributions en théorie de point fixe
Equations aux dérivées partielles [math.AP]. Université du Centre, 2012
...
tel-00349243v1  Habilitation à diriger des recherches
Frédéric Le Roux. L'ensemble de rotation autour d'un point fixe d'homéomorphisme de surface
Mathématiques [math]. Université Paris Sud - Paris XI, 2008
...
tel-00629549v1  Theses
Marco Montalva Medel. Problèmes type "Feedback Set" et comportement dynamique des réseaux de régulation
Autre. Université de Grenoble; Universidad de Concepción (Chili), 2011. Français. ⟨NNT : 2011GRENS014⟩
...
tel-00438603v1  Theses
Nicolas Veyrat-Charvillon. Opérateurs arithmétiques matériels pour des applications spécifiques
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
...
tel-00664188v1  Theses
Le Yang. Medians of probability measures in Riemannian manifolds and applications to radar target detection
Differential Geometry [math.DG]. Université de Poitiers, 2011. English