WorldCat Identities

Institut d'informatique et mathématiques appliquées (Grenoble)

Overview
Works: 1,127 works in 1,423 publications in 2 languages and 2,061 library holdings
Roles: Editor
Classifications: QA278,
Publication Timeline
Key
Publications about Institut d'informatique et mathématiques appliquées (Grenoble) Publications about Institut d'informatique et mathématiques appliquées (Grenoble)
Publications by Institut d'informatique et mathématiques appliquées (Grenoble) Publications by Institut d'informatique et mathématiques appliquées (Grenoble)
Most widely held works by Institut d'informatique et mathématiques appliquées (Grenoble)
Calcul formel et parallélisme by Françoise Roch ( Book )
6 editions published between 1989 and 2008 in French and held by 11 WorldCat member libraries worldwide
Cette thèse est consacrée a l'étude de la forme normale d'Hermite et a la conception d'algorithmes parallèles pour son calcul. Nous avons examine deux cas particuliers: le cas entier et le cas polynomial. Ce problème présente de manière intrinsèque une caractéristique du calcul formel: le grossissement des coefficients intermédiaires. Cette particularité en fait un exemple test pour évaluer la parallélisation en calcul formel. La forme normale d'Hermite pour des matrices a coefficients dans un anneau euclidien est présentée. Les concepts et propriétés sur lesquels sont bases les algorithmes sont décrits. Nous introduisons la théorie sur les réseaux et les problèmes qui lui sont attaches, la forme normale d'Hermite étant une forme canonique du réseau engendre par les colonnes de la matrice initiale. Les différents algorithmes séquentiels sont présentes. Nous étudions et comparons leurs complexités. Puis, une approche parallèle est considérée. Après la présentation des résultats théoriques de nc-réductibilité du problème, nous abordons l'étude de la parallélisation sur modèles expérimentaux. Nous définissons différents algorithmes pour les modèles a mémoire partagée et distribuée. Une implantation a été réalisée sur un hypercube fps t40 (32 processeurs). Le calcul de la forme normale d'Hermite d'une matrice 160160 à coefficients entiers a pu etre effectue en 3 heures. Ce travail s'inscrit dans le cadre du projet massivement Parallele Pac (parallel algebraic computing)
Réseaux systoliques pour la résolution de problèmes linéaires by Lamine Melkemi ( Book )
2 editions published between 1986 and 2008 in French and held by 9 WorldCat member libraries worldwide
Complexité en temps du calcul du produit matriciel sur la classe des réseaux rectangulaires. Algorithmes systoliques pour la multiplication de deux matrices. Détection en temps linéaire des carres d'un mot par des réseaux systoliques
Correction et traitement d'images des circuits VLSI issues d'un microscope électronique à balayage by Alireza Zolghadrasli ( Book )
2 editions published between 1985 and 2008 in French and held by 8 WorldCat member libraries worldwide
ALa croissance de la complexité des Circuits Intégrés (CI) conduit à rechercher de nouveaux outils pour la mise au point de CI prototypes. La possibilité de "voir travailler" un circuit en utilisant un Microscopie Electronique à Balayage (MEB) exploité en mode de contraste de potentiel semble être une (la) solution possible. Ce contexte permet en effet de relever les états logiques et électriques au niveau des composants internes (transistors). Les zones à analyser sont choisies par le concepteur, soit sur l'image observée soit à partir de sa description issue des outils de CAO. Dans ce cadre sont présentés ici: le contexte des travaux: l'outil d'Analyse des CI par Microscopie Electronique; l'étude des déformations géométriques et optiques des images obtenues; une proposition de solution en vue de permettre une corrélation entre l'image des circuits et leur description
Solutions formelles de systèmes d'équations différentielles ordinaires linéaires homogènes by Guoting Chen ( Book )
2 editions published between 1990 and 2008 in French and held by 8 WorldCat member libraries worldwide
Le travail présente dans cette thèse est un travail algorithmique portant sur deux sujets: solutions formelles des systèmes d'équations différentielles linéaires ordinaires dépendant (ou pas) d'un paramètre et opérations fondamentales pour les opérateurs différentiels. Dans la première partie: nous avons démontre la convergence d'un algorithme et développe un programme en macsyma pour le calcul de la forme de Frobenius et Jordan de matrices holomorphes. Nous avons aussi développé un algorithme et un programme en macsyma pour le calcul de formes de Arnold-Wasow de matrices et systèmes différentiels dépendant d'un paramètre. Grâce a ces algorithmes, l'algorithme de Turrittin-Wasow est adapte au calcul formel pour trouver les solutions formelles de systemes differentiels dépendant d'un paramétré. Nous avons developpe un programme en macsyma pour le calcul de solutions formelles de systèmes différentiels dans un voisinage du point singulier régulier. Dans la deuxième partie: nous avons développe des algorithmes pour des opérations fondamentales sur deux opérateurs différentiels: le plus grand commun diviseur, le plus petit commun multiples, l'algorithme de Bezout, le pseudo-résultant. Nous avons aussi étudie une généralisation directe de la notion de base de Grobner dans l'anneau des opérateurs différentiels a coefficients polynomiaux, i.e. L'algèbre de Weyl
Amélioration de maillages par des méthodes de sous-gradient by Charles Cua ( Book )
1 edition published in 1985 in French and held by 7 WorldCat member libraries worldwide
On étudie un aspect du problème général d'obtention des maillages de type éléments finis. On cherche à améliorer un maillage existant sans changer la topologie actuelle des tétraèdres. On propose des méthodes générales et algorithmiques d'optimisation classique de type méthodes de sous-gradient. On applique ces méthodes à des cas d'école et à des cas réels
Méthodologies de calcul des fonctions élémentaires by J. M Muller ( Book )
1 edition published in 1985 in French and held by 7 WorldCat member libraries worldwide
AOn approfondit la notion de bases discrètes présentée dans un rapport précédent, en montrant en particulier son extension possible à d'autres bases de numérotation que la base 2. On élabore des algorithmes de calcul des fonctions mathématiques usuelles dans n'importe quelle base de numérotation. On établit un résultat de complexité
Séries chronologiques binaires avec récompenses Applications à la modélisation en climatologie by Khalid El Himdi ( Book )
2 editions published between 1986 and 2008 in French and held by 7 WorldCat member libraries worldwide
Divers types de séries chronologiques binaires avec récompenses sont étudiés en vue de la modélisation de la succession des valeurs d'une variable climatologique dans une station de mesure pour une période donnée de l'année. Pour différentes hypothèses de dépendance entre les états successifs du processus, nous précisons les caractéristiques essentielles du modèle associé. Des essais de modélisation concernant les séries de précipitations journalières mesurées dans deux stations pluviométriques du réseau français illustrent les possibilités d'utilisation des modèles envisagés
Modélisation de la dynamique du carpe by Alain François Perez ( Book )
2 editions published between 1994 and 2008 in French and held by 7 WorldCat member libraries worldwide
Résumé français
Les bases de données textuelles by Irène Kowarski ( Book )
2 editions published between 1983 and 2008 in French and held by 7 WorldCat member libraries worldwide
Etude du concept de document en vue de l'intégration des textes dans les bases de données. Les documents comportent des aspects externes permettant leur classement et leur recherche, ainsi que des aspects internes. Les documents sont regroupés selon des types, définis en fonction de leur structure. La présentation physique des documents imprimés que l'on produit peut être liée à leur structure. Deux réalisations pratiques sont décrites
Approche stochastique de la segmentation des images un modèle de coopération entre les primitives de régions et de frontières by Saïda Bouakaz ( Book )
2 editions published between 1987 and 2008 in French and held by 7 WorldCat member libraries worldwide
Dans le domaine de l'étiquetage, les méthodes stochastiques s'inscrivent dans un cadre ou l'affectation d'un objet est perçue comme une connaissance dynamique. Cette affectation peut être modifiée selon l'évolution des connaissances contextuelles, en retour elle est susceptible d'influer sur l'état instantané des connaissances. De telles méthodes présentent l'avantage d'introduire un caractère de contrôle local à l'évolution de l'étiquetage. C'est en s'appuyant sur cette notion d'étiquetage, sous son aspect local, que nous avons abordé le problème de la segmentation des images ayant remarque que les décisions au niveau de chaque point influent et sont influencées par celles des voisins. En outre, on remarque que jusqu'à présent, les méthodes de segmentation se fondaient, essentiellement, sur un choix entre 2 types de modèles : le modèle région et le modèle frontière. Les méthodes stochastiques, itératives abordées dans ce mémoire permettent de faire intervenir simultanément les 2 entités et de les traiter au sein d'un processus unique. Le procédé consiste à introduire pour chaque point, au niveau de son vecteur d'étiquetage des informations de type région et des informations de type frontière. Les relations contextuelles interviennent sous forme d'interactions inter-classes et d'interactions inter-entités
Contribution à la définition et à la mise en oeuvre de NAUTILE by Armand Hornik ( Book )
4 editions published between 1989 and 2008 in French and held by 7 WorldCat member libraries worldwide
Cette thèse constitue une contribution à l'élaboration d'un nouveau système de conception de circuits intégrés, nautile. Elle comporte une étude des différents systèmes existants et a partir de leur synthèse établit la définition d'un nouveau système. Celui-ci doit réaliser un environnement complet de conception de circuits v.l.s.i. Permettant d'être facilement interfaçables avec différents systèmes déjà existants, d'être indépendant de la technologie et de gérer différentes représentations (dessin des masques, schéma électrique, schéma logique) d'un même circuit en assurant la cohérence entre elles. Enfin cette thèse donne une description du prototype réalisé du système nautile, consistant en une structure de donnée orientée objet, en les primitives de gestion de la structure, ainsi qu'en un certain nombre d'outils (routeurs, générateurs divers) ayant ete mis en œuvre
Algorithmique parallèle réseaux d'automates, architectures systoliques, machines SIMD et MIMD by Yves Robert ( Book )
3 editions published between 1986 and 2008 in French and German and held by 6 WorldCat member libraries worldwide
LA 1ERE PARTIE TRAITE DU COMPORTEMENT DYNAMIQUE DE RESEAUX D'AUTOMATES MONOTONES, LA 2EME PARTIE EST CONSACREE AUX ALGORITHMES ET ARCHITECTURES SYSTOLIQUES. LA 3EME PARIE S'INTITULE ALGORITHMES PARALLELES POUR MACHINES SIMD ET MIMD
Conception descendante appliquée aux microprocesseurs VLSI by François Bertrand ( Book )
2 editions published between 1985 and 2008 in French and held by 6 WorldCat member libraries worldwide
Dans la méthode de conception sûre et descendante CAPRI applicable aux circuits intégrés VLSI, on analyse les spécifications initiales à la définition de l'architecture du circuit. La méthode proposée est une méthode par affinements successifs de spécifications dans laquelle on distingue: 1) le choix des algorithmes; 2) le choix du chemin de données associé aux blocs fonctionnels; 3) le choix de la structure de la partie contrôle. Application de la démarche descendante au microordinateur 80 C48 d'INTEL en technologie CMOS
Description statistique des données ordinales analyse multidimensionnelle by Gérard Drouet d'Aubigny ( Book )
3 editions published between 1975 and 2008 in French and held by 6 WorldCat member libraries worldwide
Solutions formelles d'équations différentielles by Évelyne Tournier ( Book )
2 editions published between 1987 and 2008 in French and held by 6 WorldCat member libraries worldwide
Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux différences linéaires à coefficients dans un corps de séries formelles
Réseau de cellules intégré by Renaud Cornu-Emieux ( Book )
4 editions published between 1988 and 2008 in French and held by 6 WorldCat member libraries worldwide
Le développement des techniques d'intégration permet de réaliser des circuits de 10**(5) a 10**(6) transistors et, dans un futur proche, des circuits encore plus complexes. Les problèmes de CAO deviennent donc de plus en plus ardus, comme la simulation logique ou le placement. Cette même évolution nous autorise a réaliser des machines parallèles très puissantes pour résoudre ces problèmes. Nous proposons l'architecture d'un réseau cellulaire asynchrone. Ce réseau, compose de nxn cellules dont chacune est physiquement connectée à ses quatre voisines, dispose d'un mécanisme de communication permettant l'acheminement de messages d'une cellule quelconque a n'importe quelle autre. Un circuit intégré, incluant un réseau de 2 x 2 cellules dédié à la simulation logique, a été réalisé. Utilisant cette architecture cellulaire nous avons développé un placeur, qui a partir d'une configuration initiale, minimise la longueur des connexions par échanges de paires. Nous avons aborde la manière dont le placement pourrait être amélioré par la méthode de recuit simule. Ces deux applications, différentes de l'architecture cellulaire, nous permettent de constater que beaucoup de parties sont communes aux deux circuits. Nous énonçons certaines règles de façon à rendre la conception plus rapide et plus sure
Représentation approchée des intégrales doubles by André Michel ( Book )
2 editions published in 2008 in French and held by 6 WorldCat member libraries worldwide
Quelques méthodes d'étude locale d'ensembles de Julia et applications by Nourredine Akroune ( Book )
2 editions published between 1987 and 2008 in French and held by 6 WorldCat member libraries worldwide
Divers algorithmes d'études locale d'ensembles invariants compacts de systèmes dynamiques sont présentés dans ce travail. Nous commençons par développer des méthodes de calcul numérique de la densité locale autour d'un point d'un ensemble de Julia de fraction rationnelle. Ce problème est important dans le domaine de l'étude des modèles hiérarchiques de la physique statistique. De plus, cette densité serait un des paramètres principaux de la caractérisation d'invariants compacts de systèmes dynamiques (attracteur étrange...). L'application de ces méthodes demande des algorithmes d'accès rapide à des régions (rectangle, cercle) du compact numériquement approche par un ensemble forme d'un grand nombre de points. Nous avons mis au point un algorithme, réellement implémentable et expérimentalement efficace, qui résout ce problème. Nous montrons que, sous certaines conditions, ce procédé permet l'estimation de quelques dimensions fractales de l'ensemble considère. Un logiciel, nomme Elsep et écrit en langage Pascal, qui regroupe et exploite tous ces algorithmes ponctue cette étude. Des résultats numériques et graphiques illustrent chacune des parties traitées
Calcul formel et nombre de racines d'un polynôme dans le disque unité Applications en automatique et biochimie by Bernard Gleyse ( Book )
2 editions published between 1986 and 2008 in French and held by 6 WorldCat member libraries worldwide
Présentation de différentes méthodes de calcul du nombre de racines des polynômes dans le disque-unité, utilisant les transformations de Schur, de Sturn et de Schelin. Mise en évidence du rôle des polynômes à facteurs autoréciproques. Etude de la complexité des algorithmes et développement d'une méthode générale dépendant d'un paramètre. Applications à la commande automatique et à la biochimie
Application des techniques mathématique à la gestion des mélanges histosplines et optimisation by Khalid Slaoui Hasnaoui ( Book )
1 edition published in 1986 in French and held by 6 WorldCat member libraries worldwide
Application de méthodes mathématiques pour optimiser la séparation de mélanges complexes ou simples. Etude de mélanges complexes (nombre d'espèces infini) dans du pétrole brut: analyse et évaluation des propriétés physiques et conservatives des coupes pétrolières et ajustement et recalage des chromatogrammes afin de rendre régulières les courbes des fractions de ségrégation. Les outils mathématiques utilisés sont les fonctions histoplines d'interpolation et de lissage. Les résultats obtenus ont permis de mettre au point deux progiciels interactifs et visuels. Etude de mélanges simples (nombre d'espèces fini): fabrication d'un mélange objectif à partir d'une famille de mélange de base donnée, étude de la gestion d'un mélange ayant deux espèces et mise au point d'un progiciel numérique et graphique regroupant toutes les opérations
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.16 (from 0.00 for Calcul for ... to 1.00 for Séries ch ...)
Alternative Names
Centre national de la recherche scientifique France Fédération d'unités 0001
Centre national de la recherche scientifique France Institut d'informatique et mathématiques appliquées
Fédération IMAG Grenoble
IMAG
IMAG Abkuerzung
IMAG (Institut de mathématiques appliquées ; Grenoble)
Informatique et mathématiques appliquées (Grenoble)
Institut d'informatique et de mathématiques appliquées Grenoble
Institut d'informatique et mathématiques appliquées Saint-Martin-d'Hères, Isère
Institut IMAG Grenoble
Institut national polytechnique Grenoble Institut d'informatique et mathématiques appliquées
Laboratoire d'informatique et mathématiques appliquées (Grenoble)
Université de Grenoble 1. Institut de mathématiques appliquées
Université Joseph Fourier Grenoble Institut d'informatique et mathématiques appliquées
Languages
French (46)
German (1)