Výsledky vyhledávání - "[INFO:INFO_MS] Computer Science/Mathematical Software"

Dissertation/ Thesis

Méthodes effectives en théorie de Galois différentielle et applications à l'intégrabilité de systèmes dynamiques

Autor: Weil, Jacques-Arthur

Mes recherches portent essentiellement sur l''elaboration de m'ethodes de calcul formel pour l''etude constructive des 'equations diff'erentielles lin'eaires, plus particuli'erement autour de la th'eorie de Galois diff'erentielle. Celles-ci vont du d

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00933064
http://tel.archives-ouvertes.fr/docs/00/93/30/64/PDF/habilitation_JA_WEIL.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Formalisation des nombres algébriques : construction et théorie du premier ordre.

Autor: Cohen, Cyril

Cette thèse présente une formalisation des nombres algébriques et de leur théorie. Elle apporte deux nouvelles contributions importantes à la formalisation de résultats mathématiques dans des assistants à la preuve, ici Coq : la construction

Externí odkaz: http://pastel.archives-ouvertes.fr/pastel-00780446
http://pastel.archives-ouvertes.fr/docs/00/78/04/46/PDF/main.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Vers des noyaux de calcul intensif pérennes

Autor: Kirschenmann, Wilfried

Cette thèse aborde les difficultés de mise au point de codes multicibles - c'est-à-dire de codes dont les performances sont portables entre différentes cibles matérielles. Nous avons identifié deux principales difficultés à surmonter : l'unif

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00844673
http://tel.archives-ouvertes.fr/docs/00/84/46/73/PDF/WK_These.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Problèmes de mémoire et de performance de la factorisation multifrontale parallèle et de la résolution triangulaire à seconds membres creux

Autor: Rouet, François-Henry

Nous nous intéressons à la résolution de systèmes linéaires creux de très grande taille sur des machines parallèles. Dans ce contexte, la mémoire est un facteur qui limite voire empêche souvent l'utilisation de solveurs directs, notamment ce

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00785748
http://tel.archives-ouvertes.fr/docs/00/78/57/48/PDF/thesis.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Conception d'un Pro Logiciel Interactif sous R pour la Simulation de Processus de Diffusion

Autor: Guidoum, Arsalane

Dans ce travail, on propose un nouveau package Sim.DiffProc pour la simulation des processus de diffusion, muni d'une interface graphique (GUI), sous langage R. Le développement de l'outil informatique (logiciels et matériels) ces dernières année

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00735806
http://tel.archives-ouvertes.fr/docs/00/73/58/06/PDF/these_PG-MTPS.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Parallélisme et robustesse des solveurs hybrides pour grands systèmes linéaires : Application à l'optimisation en dynamique des fluides

Autor: Nuentsa Wakam, Désiré

Cette thèse présente un ensemble de routines pour la résolution des grands systèmes linéaires creuses sur des architectures parallèles. Les approches proposées s'inscrivent dans un schéma hybride combinant les méthodes directes et itérative

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00690965
http://tel.archives-ouvertes.fr/docs/00/69/09/65/PDF/thesis_Nuentsa.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Model Checking sur Architecture Multiprocesseur

Autor: T. Saad, Rodrigo

Nous proposons de nouveaux algorithmes et de nouvelles structures de données pour la vérifi cation formelle de systèmes réactifs nis sur architectures parallèles. Ces travaux se basent sur les techniques de véri cation par model checking. Notre

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00678352
http://tel.archives-ouvertes.fr/docs/00/67/83/52/PDF/PhD_RSAAD_final_version_complete.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Une méthode de région de confiance avec ensemble actif pour l'optimisation non linéaire sans dérivées avec contraintes de bornes appliquée à des problèmes aérodynamiques bruités.

Autor: Troltzsch, Anke

L'optimisation sans dérivées (OSD) a connu un regain d'intérêt ces dernières années, principalement motivée par le besoin croissant de résoudre les problèmes d'optimisation définis par des fonctions dont les valeurs sont calculées par simu

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00639257
http://tel.archives-ouvertes.fr/docs/00/63/92/57/PDF/TH-PA-11-69.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Adaptation de maillage anisotrope par prescription de champ de métriques appliquée aux simulations instationnaires en géométrie mobile

Autor: Olivier, Géraldine

Cette thèse s'intéresse aux simulations dépendantes du temps impliquant des géometries fixes ou mobiles. Ce type de simulations est l'objet d'attentes grandissantes de la part des industriels, qui souhaiteraient voir réaliser ce type de cal

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00739406
http://tel.archives-ouvertes.fr/docs/00/73/94/06/PDF/Thesis.pdf

Zobrazit plný text záznamu

Dissertation/ Thesis

Interaction Fluide-Structure dans le Système Cardiovasculaire. Analyse Numérique et Simulation

Autor: Astorino, Matteo

Dans cette thèse, nous proposons et analysons des méthodes numériques partitionnées pour la simulation de phénomènes d'interaction fluide-structure (IFS) dans le système cardiovasculaire. Nous considérons en particulier l'interaction mécaniq

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00845352
http://tel.archives-ouvertes.fr/docs/00/84/53/52/PDF/Thesis.pdf

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání