Search Results - [INFO:INFO_NA] Computer Science/Numerical Analysis

Analyse Statique de Programmes Numériques: Ensembles Affines Contraints

Authors: Ghorbal, Khalil

Subject Terms: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_RO] Computer Science/Operations Research, abstract interpretation, numerical domains, affine arithmetic, affine forms, affine sets, zonotopes, support function, convex analysis

Availability: http://pastel.archives-ouvertes.fr/pastel-00643442
http://pastel.archives-ouvertes.fr/docs/00/64/34/42/PDF/thesis-KG.pdf

Méthodes de réduction en dynamique explicite multi-échelles pour l'analyse des structures complexes sous impact

Authors: Faucher, Vincent

Subject Terms: [PHYS:MECA] Physics/Mechanics, [PHYS:MECA] Physique/Mécanique, [PHYS:MECA:STRU] Physics/Mechanics/Mechanics of the structures, [PHYS:MECA:STRU] Physique/Mécanique/Mécanique des structures, [SPI:MECA:STRU] Engineering Sciences/Mechanics/Mechanics of the structures, [SPI:MECA:STRU] Sciences de l'ingénieur/Mécanique/Mécanique des structures, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Dynamique rapide des structures, décomposition de domaine, réduction modale, multi-échelles en temps

Availability: http://tel.archives-ouvertes.fr/tel-01018792
http://tel.archives-ouvertes.fr/docs/01/01/87/92/PDF/These_VF.pdf

Preuves formelles pour l'optimisation globale -- Méthodes de gabarits et sommes de carrés

Authors: Magron, Victor

Subject Terms: [MATH:MATH_OC] Mathematics/Optimization and Control, [MATH:MATH_OC] Mathématiques/Optimisation et contrôle, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, Problèmes d'Optimisation Polynomiale, Certification Symbolique-numérique Hybride, Programmation Semidéfinie, Relaxations Semialgébriques, Assistant de preuves, Gabarits Maxplus

Availability: http://pastel.archives-ouvertes.fr/pastel-00917779
http://pastel.archives-ouvertes.fr/docs/00/91/77/79/PDF/thesis.pdf

Méthodes numériques de type Volumes Finis sur maillages non structurés pour la résolution de la thermique anisotrope et des équations de Navier-Stokes compressibles

Authors: Jacq, Pascal

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [MATH:MATH_NA] Mathematics/Numerical Analysis, [MATH:MATH_NA] Mathématiques/Analyse numérique, [MATH:MATH_AP] Mathematics/Analysis of PDEs, [MATH:MATH_AP] Mathématiques/Equations aux dérivées partielles, [PHYS:MECA:THER] Physics/Mechanics/Thermics, [PHYS:MECA:THER] Physique/Mécanique/Thermique, [SPI:MECA:THER] Engineering Sciences/Mechanics/Thermics, [SPI:MECA:THER] Sciences de l'ingénieur/Mécanique/Thermique, [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, [PHYS:PHYS:PHYS_FLU-DYN] Physics/Physics/Fluid Dynamics, [PHYS:PHYS:PHYS_FLU-DYN] Physique/Physique/Dynamique des Fluides, Méthodes Volumes Finis, Maillages Non-Structurés, Thermique Anisotrope, Equations de Navier-Stokes compressibles, Calculs Hautes Performances

Availability: http://tel.archives-ouvertes.fr/tel-01067707
http://tel.archives-ouvertes.fr/docs/01/06/77/07/PDF/thesisPJ.pdf

Les méthodes numériques de transport réactif

Authors: Sabit, Souhila

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Dae, Global approche GDAE, Méthode séquentielle non itérative (SNIA), Méthode de Newton, Sundials, Espèce aqueuse, Espèce fixé, Espèce précipité, Problème de complémentarité, Méthode de semismooth

Availability: http://tel.archives-ouvertes.fr/tel-01057870
http://tel.archives-ouvertes.fr/docs/01/05/78/70/PDF/SABIT_Souhila.pdf

Résolutions rapides et fiables pour les solveurs d'algèbre linéaire numérique en calcul haute performance.

Authors: Baboulin, Marc

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Calcul haute-performance, solveurs d'algèbre linéaire dense, systèmes linéaires, moindres carrés linéaires, processeurs multicœurs, Graphics Processing Units (GPU), algorithmes randomisés, analyse d'erreur inverse, estimation de conditionnement, LAPACK, ScaLAPACK, PLASMA, MAGMA

Availability: http://tel.archives-ouvertes.fr/tel-00967523
http://tel.archives-ouvertes.fr/docs/00/96/75/23/PDF/hdr_baboulin.pdf

Exploitation des mesures 'vapeur d'eau' du satellite Megha-Tropiques pour l'élaboration d'un algorithme de restitution de profils associés aux fonctions de densité de probabilité de l'erreur conditionnelle

Authors: Sivira, Ramses

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [SDE:IE] Environmental Sciences/Environmental Engineering, [SDE:IE] Sciences de l'environnement/Ingénierie de l'environnement, [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, vapeur d'eau atmosphérique, restitution profils, megha-tropiques, problème inverse, optimisation statistique, erreur conditionnelle

Availability: http://tel.archives-ouvertes.fr/tel-01025685
http://tel.archives-ouvertes.fr/docs/01/02/56/85/PDF/these_archivage_3071264.pdf

A Domain Specific Embedded Language in C++ for lowest-order methods for diffusive problem on general meshes

Authors: Gratien, Jean-Marc

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, DSEL, HPC, GP-GPU, EDP, VF, Generative programming, méthode de bas ordre

Availability: http://tel.archives-ouvertes.fr/tel-00926232
http://tel.archives-ouvertes.fr/docs/00/92/62/32/PDF/TheseJMG.pdf

Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations

Authors: Gazeau, Ivan

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Précision finie, Analyse statique, Differential privacy

Availability: http://pastel.archives-ouvertes.fr/pastel-00913469
http://pastel.archives-ouvertes.fr/docs/00/91/34/69/PDF/main.pdf
http://pastel.archives-ouvertes.fr/docs/00/91/34/69/ANNEX/PhD-defense.pdf

Understanding social and community dynamics from taxi GPS data

Authors: Chen, Chao

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Digital footprints, Smart city, Traffic dynamics, Anomaly trajectory detection, Taxi GPS data, Social dynamics, Operational dynamics, Route planning

Availability: http://tel.archives-ouvertes.fr/tel-01048662
http://tel.archives-ouvertes.fr/docs/01/04/86/62/PDF/CHEN_Chao.pdf

Méthodes numériques probabilistes en grande dimension pour le contrôle stochastique et problèmes de valorisation sur les marchés d'électricité

Authors: Langrené, Nicolas

Subject Terms: [QFIN:CP] Quantitative Finance/Computational Finance, [QFIN:CP] Économie et finance quantitative/Finance quantitative, [QFIN:PR] Quantitative Finance/Pricing of Securities, [QFIN:PR] Économie et finance quantitative/Pricing, [MATH:MATH_PR] Mathematics/Probability, [MATH:MATH_PR] Mathématiques/Probabilités, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, contrôle stochastique, commutation optimale, équations de HJB, EDSR contrainte, Monte-Carlo, marché d'électricité, choix d'investissement, volatilité incertaine

Availability: http://tel.archives-ouvertes.fr/tel-00957948
http://tel.archives-ouvertes.fr/docs/00/95/79/48/PDF/NLthesis.pdf
http://tel.archives-ouvertes.fr/docs/00/95/79/48/ANNEX/NLsoutenance.pdf

Approximations polynomiales rigoureuses et applications

Authors: Joldes, Mioara Maria

Subject Terms: [INFO:INFO_AO] Computer Science/Computer Arithmetic, [INFO:INFO_AO] Informatique/Arithmétique des ordinateurs, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Calcul rigoureux, Calculs validés, Erreur d'approximation, Approximations polynomiales rigoureuses, Series de Chebyshev, Modèles de Taylor, Modèles de Chebyshev, Arithmétique Flottante, Fonctions D-finies, Méthodes d'encadrement, Évaluation des fonctions, Opérateurs Matériels, Field Programmable Gate Arrays

Availability: http://tel.archives-ouvertes.fr/tel-00657843
http://tel.archives-ouvertes.fr/docs/00/67/43/80/PDF/JOLDES_Mioara_-_Maria_2011_These.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

Finite Volume Methods for Advection Diffusion on Moving Interfaces and Application on Surfactant Driven Thin Film Flow

Authors: Nemadjieu, Simplice Firmin

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [MATH:MATH_AP] Mathematics/Analysis of PDEs, [MATH:MATH_AP] Mathématiques/Equations aux dérivées partielles, [SPI:MECA:MEFL] Engineering Sciences/Mechanics/Fluids mechanics, [SPI:MECA:MEFL] Sciences de l'ingénieur/Mécanique/Mécanique des fluides, [PHYS:MECA:MEFL] Physics/Mechanics/Mechanics of the fluids, [PHYS:MECA:MEFL] Physique/Mécanique/Mécanique des fluides, Analyse numérique, volumes finis, maillage dynamique, méthode de capture d'interface, O-method, décentrages amont d'ordre élevé, mechanique des fluides, filme mince, surfactant, approximation par la lubrication

Availability: http://tel.archives-ouvertes.fr/tel-00731479
http://tel.archives-ouvertes.fr/docs/00/73/14/79/PDF/thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/73/14/79/ANNEX/Thesis_presentation.pdf

Calcul en Tranches de Temps, Redimensionnement & Schéma Parallèle en Temps par la Méthode des Ratios

Authors: Makhoul-Karam, Noha

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, Equations diff erentielles ordinaires, probl emes a valeur initiale, calculs parall eles en temps, condition de fi n de tranche, m ethode de redimensionnement

Availability: http://tel.archives-ouvertes.fr/tel-00743132
http://tel.archives-ouvertes.fr/docs/00/74/31/32/PDF/ThA_se_NMakhoul_dec_2010.pdf

Inéquations variationnelles stochastiques et applications aux vibrations de structures mécaniques

Authors: Mertz, Laurent

Subject Terms: [MATH:MATH_AP] Mathematics/Analysis of PDEs, [MATH:MATH_PR] Mathematics/Probability, [INFO:INFO_NA] Computer Science/Numerical Analysis, [SPI:MECA:VIBR] Engineering Sciences/Mechanics/Vibrations, [PHYS:MECA:VIBR] Physics/Mechanics/Vibrations, inéquations variationnelles stochastiques, équations aux dérivées partielles avec des conditions non-locales, vibrations aléatoires, diffusion ergodique

Availability: http://tel.archives-ouvertes.fr/tel-00653121
http://tel.archives-ouvertes.fr/docs/00/65/31/21/PDF/MertzThesis.pdf
http://tel.archives-ouvertes.fr/docs/00/65/31/21/ANNEX/presentation_these.pdf

Stratégies d'optimisation de la mémoire pour le calcul d'applications linéaires et l'indexation de document partagés

Authors: Ahmad, Mumtaz

Subject Terms: [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_NA] Computer Science/Numerical Analysis, [MATH:MATH_CO] Mathematics/Combinatorics, système d'édition collaborative, structure de données persistante, CRDT, réplication optimiste, algorithmes, optimisation de la mémoire, l'optimisation de processeur, la logique et de calcul, la conception de circuits

Availability: http://tel.archives-ouvertes.fr/tel-00641866
http://tel.archives-ouvertes.fr/docs/00/69/07/52/PDF/thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/69/07/52/PDF/thesis_extensive_abstract_french.pdf
http://tel.archives-ouvertes.fr/docs/00/69/07/52/ANNEX/slides.pdf

Contribution à l'algorithmique et à la programmation efficace des nouvelles architectures parallèles comportant des accélérateurs de calcul dans le domaine de la neutronique et de la radioprotection

Authors: Jérôme, Dubois

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_NA] Computer Science/Numerical Analysis, calcul parallèle, GPU, CELL, méthode de recherche de valeurs propres, méthode d'Arnoldi, transport de neutrons

Availability: http://tel.archives-ouvertes.fr/tel-00676001
http://tel.archives-ouvertes.fr/docs/00/67/60/01/PDF/These_09_01_2012_FINAL.pdf

Méthodes numériques pour des équations hyperboliques de type Saint-Venant.

Authors: Simeoni, Chiara

Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [MATH:MATH_NA] Mathematics/Numerical Analysis, [MATH:MATH_NA] Mathématiques/Analyse numérique, [MATH:MATH_MP] Mathematics/Mathematical Physics, [MATH:MATH_MP] Mathématiques/Physique 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, lois de conservation hyperboliques, termes source, méthode des volumes finis, schémas équilibrés, consistance, stabilité, convergence, système de Saint-Venant pour les eaux peu profondes, schémas cinétiques, simulation de données expérimentales, avalanches granulaires

Availability: http://tel.archives-ouvertes.fr/tel-00922706
http://tel.archives-ouvertes.fr/docs/00/92/27/06/PDF/Simeoni-Chiara-2002.pdf

Couplage de méthodes numériques pour le problème direct en Magnéto- et Électro-Encéphalographie

Authors: Olivi, Emmanuel

Subject Terms: [INFO:INFO_NA] Computer Science/Numerical Analysis, modélisation numérique, éléments finis, éléments finis de surface, couplage de modèles, décomposition de domaines

Availability: http://tel.archives-ouvertes.fr/tel-00838707
http://tel.archives-ouvertes.fr/docs/00/83/87/07/PDF/2011_ThA_se_OLIVI.pdf