Search Results - "[INFO:INFO_MS] Computer Science/Mathematical Software"

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

Authors: Weil, Jacques-Arthur

Subject Terms: [MATH:MATH_CA] Mathematics/Classical Analysis and ODEs, [MATH:MATH_CA] Mathématiques/Analyse classique, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [NLIN:NLIN_SI] Nonlinear Sciences/Exactly Solvable and Integrable Systems, [NLIN:NLIN_SI] Science non linéaire/Systèmes Solubles et Intégrables, [MATH:MATH_MP] Mathematics/Mathematical Physics, [MATH:MATH_MP] Mathématiques/Physique mathématique, [MATH:MATH_RT] Mathematics/Representation Theory, [MATH:MATH_RT] Mathématiques/Théorie des représentations, [PHYS:HTHE] Physics/High Energy Physics - Theory, [PHYS:HTHE] Physique/Physique des Hautes Energies - Théorie, [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_MS] Informatique/Logiciel mathématique, Calcul Formel, Théorie de Galois Différentielle, Résolution Symbolique d'Equations Différentielles Linéaires, Intégrabilité, Systèmes Hamiltoniens, Intégrales Premières, Système Dynamiques, Applications en mécanique statistique

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

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

Authors: Cohen, Cyril

Subject Terms: [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_MS] Computer Science/Mathematical Software, Coq, Preuve formelle, Formalisation des mathématiques, Réflexion à petite échelle, Nombres algébriques, Mathématiques constructives, Éliminiation des quantificateurs, Nombres réels

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

Vers des noyaux de calcul intensif pérennes

Authors: Kirschenmann, Wilfried

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_AR] Computer Science/Architecture, Legolas++, programmation multicible, parallélisation, vectorisation, structures de données

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

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

Authors: Rouet, François-Henry

Subject Terms: [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, matrices creuses, méthodes directes de résolution de systèmes linéaires, méthode multifrontale, graphes et hypergraphes, calcul haute performance, calcul parallèle, ordonnancement

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

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

Authors: Guidoum, Arsalane

Subject Terms: [MATH:MATH_PR] Mathematics/Probability, [MATH:MATH_PR] Mathématiques/Probabilités, [MATH:MATH_ST] Mathematics/Statistics, [MATH:MATH_ST] Mathématiques/Statistiques, [STAT:TH] Statistics/Statistics Theory, [STAT:TH] Statistiques/Théorie, [STAT:CO] Statistics/Computation, [STAT:CO] Statistiques/Calcul, [STAT:AP] Statistics/Applications, [STAT:AP] Statistiques/Applications, [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_MS] Informatique/Logiciel mathématique, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, modèles attractives, processus de diffusion, simulation, équation différentielle stochastique, modélisation stochastique, langage R

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

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

Authors: Nuentsa Wakam, Désiré

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_MS] Computer Science/Mathematical Software, [MATH:MATH_AP] Mathematics/Analysis of PDEs, Décomposition de domaine algébrique, méthodes hybrides directes/iteratives, Schwarz multiplicatif parallèle, GMRES, Déflation adaptative, Calcul en dynamique des fluides

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

Model Checking sur Architecture Multiprocesseur

Authors: T. Saad, Rodrigo

Subject Terms: [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_MS] Informatique/Logiciel mathématique, Model checking en parallèle Algorithme et structure de données concurrents Méthode formelle Vérification formelle et logiques temporelles

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

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.

Authors: Troltzsch, Anke

Subject Terms: [MATH:MATH_OC] Mathematics/Optimization and Control, [MATH:MATH_GM] Mathematics/General Mathematics, [INFO:INFO_MS] Computer Science/Mathematical Software, optimisation sans dérivées, région de confiance, contraintes de borne, fonctions bruitées

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

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

Authors: Olivier, Géraldine

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_MS] Informatique/Logiciel mathématique, [PHYS:MECA:MEFL] Physics/Mechanics/Mechanics of the fluids, [PHYS:MECA:MEFL] Physique/Mécanique/Mécanique des fluides, [SPI:MECA:MEFL] Engineering Sciences/Mechanics/Fluids mechanics, [SPI:MECA:MEFL] Sciences de l'ingénieur/Mécanique/Mécanique des fluides, adaptation de maillage, métriques, anisotropie, fluides compressibles, ALE, géométries mobiles, instationnaire, schéma ALE conservatifs pour les maillages à connectivités variables, DGCL, mouvement de maillage à connectivités variables, adaptation anisotrope en maillage mobile

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

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

Authors: Astorino, Matteo

Subject Terms: [MATH:MATH_NA] Mathematics/Numerical Analysis, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_CE] Computer Science/Computational Engineering, Finance, and Science, [INFO:INFO_MS] Computer Science/Mathematical Software, Interaction fluide-structure, couplage semi-implicite, schéma de projection de Chorin-Temam, méthode de Nitsche, contact, valves cardiaques, structures Lagrangiennes cohérentes, surfaces résistives immergées, ventricule gauche

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

Un environnement pour la programmation avec types dépendants

Authors: Matthieu, Sozeau

Subject Terms: [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_PL] Computer Science/Programming Languages, Coq, types dépendants, Classes de type, Réécriture

Availability: http://tel.archives-ouvertes.fr/tel-00640052
http://tel.archives-ouvertes.fr/docs/00/64/00/52/PDF/thesis-sozeau.pdf