WorldCat Identities

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

Overview
Works: 1,468 works in 1,760 publications in 1 language and 3,032 library holdings
Roles: Other, Degree grantor, Organizer of meeting, 985, Editor, 475, 981
Publication Timeline
.
Most widely held works by Institut d'informatique et mathématiques appliquées (Grenoble)
Approche stochastique de la segmentation des images un modèle de coopération entre les primitives de régions et de frontières by S Bouakaz( Book )

3 editions published between 1987 and 2008 in French and held by 9 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
Solutions formelles de systèmes d'équations différentielles ordinaires linéaires homogènes by Guoting Chen( )

2 editions published in 1990 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
Bases de données cliniques et systèmes experts : méthodologie d'extraction de la connaissance by Alain Duhamel( )

2 editions published between 1989 and 2008 in French and held by 8 WorldCat member libraries worldwide

Réseaux systoliques pour la résolution de problèmes linéaires by Lamine Melkemi( Book )

1 edition published in 1986 in French and held by 8 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
Modélisation de la dynamique du carpe by Alain François Perez( )

2 editions published in 1994 in French and held by 7 WorldCat member libraries worldwide

Fusion d'images morphologiques et fonctionnelles par l'utilisation d'un capteur intermédiaire by Olivier Peria( )

3 editions published between 1996 and 2008 in French and held by 7 WorldCat member libraries worldwide

Calcul formel et parallélisme : bases de Gröbner booléennes, méthodes de calcul : applications, parallélisation by Pascale Sénéchaud( )

2 editions published in 1990 in French and held by 7 WorldCat member libraries worldwide

Nous présentons les bases de Grobner, leur utilisation et la parallélisation des algorithmes qui les calculent dans le cas de polynômes booléens. Une première partie est consacrée à la présentation théorique des bases de Grobner dans le cas général. Cette présentation se veut accessible a des non-spécialistes. Une étude bibliographique de la complexité est faite. Une deuxième partie concerne les applications des bases de Grobner booléennes en calcul propositionnel et en preuve de circuits combinatoires. Nous proposons un algorithme de preuve formelle de circuits combinatoires hiérarchisés. Dans la troisième partie nous adaptons l'algorithme séquentiel au cas booléen et nous étudions plus en détail la normalisation. Nous proposons deux méthodes de parallélisation a granularité différentes. Nous analysons et comparons plusieurs implantations parallèles et présentons des résultats expérimentaux. Les algorithmes sont généralisables au cas des polynômes a coefficients rationnels. Nous soulignons l'influence de la répartition des données sur le temps d'exécution. Nous présentons une methode de répartition des polynômes basée sur la recherche de chemins de longueur donnée dans un graphe oriente. Cette répartition nous permet d'obtenir des résultats interpretables et de conclure sur les différents algorithmes
Algorithmique discrète et réseaux d'automates by Didier Pellegrin( )

2 editions published in 1986 in French and held by 7 WorldCat member libraries worldwide

Les quatres chapitres de cette thèse abordent quatre thèmes de la théorie des itérations: 1) nous élaborons un algorithme de vérification de l'attraction d'un point fixe d'une itération discrète dans son voisinage second. Cet algorithme est comparé aux conditions nécessaires et suffisantes énoncées par F. Robert avant d'être généralisé à d'autres attracteurs et d'autres bassins d'attraction. 2) Après un tour d'horizon des méthodes de calcul de racines pième de matrices réelles nous proposons un algorithme de calcul de racines carrées de matrices booléennes quelconques. 3) Nous utilisons un opérateur monotone pour étudier les itérations bloc-séquentielles de réseaux à seuil: on caractérise ainsi leurs dynamiques. Nous étendons ces méthodes aux fonctions majorité et verres de spin généralisés. 4) Après avoir comparé les différents outils d'observation des dynamiques des réseaux booléens aléatoires d'interconnectivité 2, nous proposons une approche basée sur le calcul d'une approximation de chacune des 3 composantes: le coeur stable du réseau, le coeur oscillant, les paliers (notion introduite ici). En application nous nous intéressons au problème de la reconnaissance de séquences booléennes par ce type de réseaux
Algorithmes progressifs stables pour l'approximation de courbes et surfaces by Abdelmalek Nigro( )

2 editions published in 1995 in French and held by 7 WorldCat member libraries worldwide

Dans cette étude, nous traitons un problème d'interpolation de données dans le plan ou dans l'espace. Ce problème se distingue des autres problèmes existants par le fait que les points sont obtenus progressivement, c'est-à-dire à un instant donné, seules sont connues les données jusqu'à cet instant. Les méthodes utilisées sont basées sur l'utilisation de splines récurrentes, i.e., chaque morceau de la spline à l'étape i (correspondant à l'information i) est calculé en fonction des morceaux précédents par un raccordement paramétrique ou géométrique. L'algorithme ainsi construit est régi par une relation de récurrence dont nous étudions la stabilité numérique. Les données ont été interpolées de deux manières différentes: -- par une fonction spline vectorielle: dans ce cas la stabilité est démontrée au moyen des paramètres de forme issus du raccordement géométrique entre les sections de la spline. Ainsi, nous avons donné un nouveau rôle aux paramètres de forme qui consiste à absorber les oscillations provenant du calcul itératif. -- par une représentation scalaire des données: chaque morceau de la spline appartient à un espace de dimension n, engendré par une famille de fonctions ayant certaines propriétés. On démontre que la stabilité est en fait obtenue par le choix même des fonctions de base de l'espace
Axiomatisation de procédures d'agrégation de préférences by Bernard Debord( )

2 editions published in 1987 in French and held by 7 WorldCat member libraries worldwide

Soient D (les données) et M (les modèles) deux ensembles de relations binaires sur un ensemble fini d'objets X. Le but de cet exposé est l'étude, d'un point de vue axiomatique, des (D,M)-procédures (ou multiprocédures) c'est-à-dire les applications qui à tout sous-ensemble de D associent un (ou plusieurs) éléments de M. La première partie contient la caractérisation axiomatique des procédures et multiprocédures qui ne dépendent que des matrices de préférence ainsi que la caractérisation de ces matrices pour différents ensembles de données. La seconde partie est une étude d'une classe de multiprocédures qui généralisent la notion de fonction de choix. Enfin, dans la troisième partie, sont développées les notions de procédures et de multiprocédures prudentes ainsi que des variantes séquentielles de la procédure de Borda
Solutions formelles d'équations différentielles : le logiciel de calcul formel DESIR : étude théorique et réalisation by E Tournier( )

2 editions published in 1987 in French and held by 7 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
Images, stratégies perceptives et stratégies cognitives d'analyse by Catherine Garbay( )

2 editions published in 1986 in French and held by 7 WorldCat member libraries worldwide

L'objectif est le développement de systèmes susceptibles d'appréhender et de rendre accessibles des données cohérentes vis à vis des références humaines d'appréciaciation des images. Une présentation des formes iconiques d'expression des unités observées et de leur signification fonctionnelle est ainsi effectuée, et suivie d'une systhèse des modes humains de perception et d'interprétation des images. Parallèlement à ceci, un chapitre est consacré à l'investigation des moyens informatiques de représentation et d'analyse d'images, et à leurs limites. La confrontation de ces différents éléments conduit à envisager la prise en compte de connaissances spécifiques du domaine d'application, à approfondir leur forme de représentation et à étudier les stratégies possibles de leur exploitation. Les concepts introduits sont illustrés par leur application à la segmentation d'images cytologiques et à l'interprétation d'images histologiques (diagnostic du cancer du sein)
Modélisation mathématique des propriétés de mélanges : B-splines et optimisation avec conditions de forme by Nabih Odeh( )

2 editions published in 1990 in French and held by 7 WorldCat member libraries worldwide

La séparation dans le domaine pétrolier consiste a arranger ou déplacer des corps ou des classes d'espèces dans des régions différentes de façon a avoir plus de facilites a évaluer leurs propriétés ou bien a produire d'autres mélanges. Le travail, que nous présentons ici, est une contribution a la resolution numérique de certains problèmes rencontres dans l'étude de séparation du pétrole. Les problèmes étudiés, dans ce travail, concernent deux types de mélanges différents: mélanges complexes et mélanges simples. L'étude effectuée, sur différents problèmes de la gestion des mélanges, a conduit a mettre au point un logiciel interactif et visuel ainsi que plusieurs programmes d'expérimentation; ceci va permettre une exploitation numérique et graphique meilleure
10èmes Journées d'études sur la parole du Groupe communication parlée : textes des exposés, Grenoble, 30 mai-1er juin 1979 by Journées d'études sur la parole( Book )

1 edition published in 1979 in French and held by 7 WorldCat member libraries worldwide

Construction automatique de solides à partir de vues orthogonales de type dessin industriel by Rémi Lequette( )

2 editions published in 1987 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
Quelques méthodes d'étude locale d'ensembles de Julia et applications by Nourredine Akroune( )

2 editions published in 1987 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
Méthodologies de calcul des fonctions élémentaires by J. M Muller( Book )

1 edition published in 1985 in French and held by 6 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é
Les formulaires complexes dans les bases de données multimédia by Christine Collet( )

2 editions published in 1987 in French and held by 6 WorldCat member libraries worldwide

Un modèle de formulaires complexes et les opérations associes sont présentes. Il s'attache à la classe des modèles de données relationnelles "non sons première forme normale". Il offre un cadre formel pour décrire et traiter la structure, la dynamique et la présentation des objets d'une application comme des formulaires
LAIOS : un réseau multiprocesseur orienté vers des applications d'intelligence artificielle by Jean Duprat( Book )

2 editions published in 1988 in French and held by 6 WorldCat member libraries worldwide

PRESENTATION D'UNE ARCHITECTURE MASSIVEMENT MULTIPROCESSEUR POUR L'EXECUTION PARALLELE D'APPLICATIONS D'INTELLIGENCE ARTIFICIELLE
Génération automatique de parties opératives de circuits VLSI de type microprocesseur by R Jamier( )

3 editions published between 1986 and 2008 in French and held by 6 WorldCat member libraries worldwide

Le compilateur de parties opératives Apollon qui est présenté dans cette thèse, génère automatiquement le dessin des masques de parties opératives de circuits VLSI de type microprocesseur à partir d'une description comportementale de niveau transfert de registres constituée d'un ensemble non ordonné d'instructions opératives. Une instruction opérative est formée d'un ensemble d'actions opératives dont le format est prédéfini (transferts - opérations unaires ou binaires et entrées-sorties) devant se dérouler en parallèle en au plus deux cycles opératifs. Un cycle opératif comprend 4 phases qui correspondent aux 4 phases d'exécution d'un transfert entre 2 registres. Apollon est basé sur un modèle dérivé de la partie opérative du MC68000. Ce modèle fournit à la fois: un modèle architectural: la partie opérative est formée d'un ensemble de sous parties opératives alignées à deux bus qui traversent tous les éléments d'une sous partie opérative; un modèle temporel: une opération prend 2 cycles, un transfert un seul; un modèle électrique: les bus sont complémentés et à précharge; un modèle topologique: le plan de masse est basé sur la structure en tranches appelée communément bis slice. Le compilateur génère d'abord l'architecture de la partie opérative, puis les spécification des masques à partir de cette architecture. Pour générer l'architecture de la partie opérative en un temps raisonnable, le compilateur doit recourir à des heuristiques. Pour générer le dessin des masques, le compilateur utilise l'assembleur de silicium Lubrick qui permet d'assembler et de connecter automatiquement les cellules de base des éléments fonctionnels de la partie opérative. Les spécifications des masques sont générées à partir des spécifications des cellules prédéfinies d'une bibliothèque NMOS
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.91 (from 0.88 for Calcul for ... to 0.93 for Approche s ...)

WorldCat IdentitiesRelated Identities
Alternative Names
Centre national de la recherche scientifique

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

Centre national de la recherche scientifique Institut d'informatique et mathématiques appliquées

Centre national de la recherche scientifique Institut IMAG

Fédération d'unités 0001

Fédération IMAG

Fédération IMAG (Grenoble)

FR 71

FR071

FR71

FU 001

Groupement de recherches

IMAG

IMAG 89

IMAG 95

IMAG Informatique et mathématiques appliquées, Grenoble

Informatique et mathématiques appliquées

Informatique et mathématiques appliquées (Grenoble)

Institut d'informatique et de mathématiques appliquées

Institut d'informatique et de mathématiques appliquées de Grenoble

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

Institut d'informatique et mathématiques appliquées

Institut d'Informatique et Mathematiques Appliquees de Grenoble

Institut d'informatique et mathématiques appliquées de Grenoble research institute in computer science and applied mathematics

Institut d'informatique et mathématiques appliquées (Saint-Martin-d'Hères, Isère)

Institut IMAG

Institut IMAG Grenoble

Institut IMAG Saint-Martin-d'Hères

Institut national polytechnique

Institut national polytechnique Grenoble Institut d'informatique et mathématiques appliquées

Laboratoire d'informatique et mathématiques appliquées

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

Maison Jean Kuntzmann

Media Computer Science Multimedia Scientific Information

MI2S

Structure féréative de recherche 71

UMS 3042

Université des sciences sociales de Grenoble Institut d'informatique et mathématiques appliquées

Université des sciences sociales de Grenoble Institut IMAG

Université Joseph Fourier

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

Languages
French (40)