WorldCat Identities

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

Overview
Works: 1,138 works in 1,426 publications in 2 languages and 2,060 library holdings
Roles: Degree grantor, Editor, 981, Organizer of meeting
Classifications: QA278,
Publication Timeline
.
Most widely held works by Institut d'informatique et mathématiques appliquées (Grenoble)
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
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
Correction et traitement d'images des circuits VLSI issues d'un microscope électronique à balayage by A 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
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é
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
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
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
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
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
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
Construction automatique de solides à partir de vues orthogonales de type dessin industriel by Rémi Lequette( Book )
2 editions published between 1987 and 2008 in French and held by 6 WorldCat member libraries worldwide
On construit d'abord une structure fil-de-fer formée d'arêtes et de sommets a partir des projections. On effectue ensuite une recherche des faces dans ce fil-de-fer. Enfin, ces faces sont triées pour former tous les solides compatibles avec les projections originales
Étude adaptative et comparative des principales variantes dans l'algorithme de Karmarkar by Abdelkrim Keraghel( Book )
2 editions published between 1989 and 2008 in French and held by 6 WorldCat member libraries worldwide
Après une description de la méthode de Karmarkar, il est montré que la valeur du pas de déplacement peut être largement améliorée. Les principales difficultés pratiques de la méthode sont discutées. Plus particulièrement, l'hypothèse de connaitre, au départ, la valeur optimale de l'objectif. Diverses extensions et variantes sont étudiées dans le but de relaxer l'hypothèse ci-dessus
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
Expérimentation d'algorithmes de préconditionnement de grands systèmes creux pour un problème de puits de pétrole by Denis Trystram( Book )
2 editions published between 1984 and 2008 in French and held by 6 WorldCat member libraries worldwide
Construction d'un modèle mathématique des contraintes s'excerçant sur un annulaire de ciment dans un puits de pétrole. Obtention d'un grand système linéaire creux à matrice symétrique définie positive. Etude sur ce système concret et comparaison de méthodes modernes de révolution des grands systèmes creux
Bases de données cliniques et systèmes experts méthodologie d'extraction de la connaissance by Alain Duhamel( Book )
1 edition published in 1989 in French and held by 6 WorldCat member libraries worldwide
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
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
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.22 (from 0.00 for Réseaux s ... 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 (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 (37)
German (1)