WorldCat Identities

Université Henri Poincaré Nancy 1 Faculté des sciences et techniques

Overview
Works: 3,302 works in 4,643 publications in 1 language and 5,444 library holdings
Genres: Academic theses 
Roles: Other, Degree grantor, 985, Publishing director
Publication Timeline
.
Most widely held works by Université Henri Poincaré Nancy 1
Démonstration automatique par des techniques de réécritures by M Rusinowitch( Book )

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

Introduction à la logique du premier ordre et aux systèmes de réécriture. Étude de quelques ordres de simplification. Arbres sémantiques transfinis. Stratégies de paramodulation. Complétude en présence de règles de réduction. Stratégies de superposition. Ensembles complets de règles d'inférence pour les axiomes de régularité
Evolution d'un segment de la chaîne hercynienne dans le nord-est du Massif Central français : le fossé volcano-tectonique de la Loire : Plateau d'Urfé - Montagne Bourbonnaise, Cartes de Noirétable et Feurs à 1/50000ème by Jean-Marc Leistel( )

1 edition published in 1984 in French and held by 6 WorldCat member libraries worldwide

Existence d'un socle anté-viséen en pays d'Urfé : présence de faciès rattachés à la série de la Brévenne : la série du Moulin du Gué. La série volcanique et sédimentaire de l'Aix, marqueur d'un magmatisme orogénique au Viséen inférieur. Les lambeaux calcaires du Viséen moyen : témoins d'une plateforme carbonatée. Le magmatisme acide du Viséen supérieur : marqueur d'un fossé volcano-tectonique. Existence d'un apex granitique non affleurant : l'apex du Moulin Barbeau. Réflexion sur l'évolution géodynamique de la chaîne hercynienne au Paléozoïque dans le nord-est du Massif Central français. Evolution structurale d'un fossé volcano-tectonique au Carbonifère : l'exemple du fossé de la Loire. Informatique sur Apple II appliquée à la géologie. Programmes Basic écrits pour: Apple II, Europlus 48k, deux lecteurs de disquette, imprimante Epson MX 82 FT
Définition de Face, langage pour l'écriture des compilateurs implémentation d'un sous-ensemble by Jean Maroldt( Book )

1 edition published in 1972 in French and held by 6 WorldCat member libraries worldwide

Études sur l'approche base de données pour la gestion d'objets issus du développement de logiciel by Myung-Joon Kim( )

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

Les travaux menés se divisent en trois étapes progressives : 1) Étude de la base de données relationnelle et intégration des applications de base de données relationnelle dans le langage LTR-3 à l'aide de la notion de type abstrait de données ; 2) Études approfondies sur le modèle entité-association et proposition d'une méthode de transformation du modèle entité-association au modèle relationnel ; 3) Première description d'un système de gestion d'objets basé sur le modèle entité-association avec la spécification de ses fonctions
Évolution spatio-temporelle du volcanisme de la zone d'Arakapas (Chypre) by France Bechon( Book )

1 edition published in 1982 in French and held by 6 WorldCat member libraries worldwide

La vallée d'Arakapas apparait comme une zone particulière du fait de l'abondance des sédiments, des nombreuses fractures et de la bréchification intense de ce secteur. La présence de rhyolites, diorites, gabbros est due à une remontée plus importante dans cette zone qu'ailleurs dans le troodos, des blocs composés du système pilonien et de son encaissement. Du point de vue morphologique nombreuses ressemblances avec les dépressions formées par les failles transformantes au niveau des rides
Orsec : Un outil de recherche de spécifications équivalentes par comparaison d'exemples by Karol Proch( Book )

1 edition published in 1982 in French and held by 5 WorldCat member libraries worldwide

L'objectif des langages de spécification étant de fournir un moyen de description de la sémantique permettant la conduite de preuves, afin de garantir la correction du logiciel, si un système de développement de logiciel intégre un langage de spécification et une bibliothèque d'unités, on voit l'intérêt d'un outil capable de "comparer" les spécifications et de délivrer les unités de l'environnement ayant une sémantique équivalente à celle d'une spécification donnée. C'est à ce problème qu'on tente de répondre, en se situant dans le cadre des types abstraits algébriques. Exemples, définitions et propostions précisant cette notion de spécifications équivalentes, présentation du prototype réalisé
Intérêt et limites de l'utilisation des aéropolisseurs dans les soins de maintenance parodontale by Fabrice Vignon( Book )

1 edition published in 1991 in French and held by 5 WorldCat member libraries worldwide

Acquisition des connaissances et raisonnement dans un univers multi-agents : application à la prise de décision en génie civil urbain by Christine Ferraris( )

1 edition published in 1992 in French and held by 5 WorldCat member libraries worldwide

Cette thèse se situe dans le domaine de l'intelligence artificielle, dans le cadre plus particulier des systèmes multi-agents. Les idées, propositions et réalisations qui y sont présentées sont issues des difficultés que nous avons rencontrées en traitant le cas particulier d'un système multi-experts en maintenance de voirie urbaine, le système ROSY (road system), développé en collaboration avec la mairie de Nancy. Ce système sert à illustrer les propositions émises tout au long du manuscrit. Nous présentons tout d'abord succinctement l'outil ATOME, générateur de systèmes à multi-bases de connaissances fondé sur le modèle du blackboard réalisé dans notre laboratoire, avec lequel ROSY est développé. Nous décrivons ensuite le système multi-experts en lui-même. Cette modélisation est issue de l'analyse de la démarche experte et de l'acquisition des connaissances nécessaires au raisonnement expert. Les principales techniques utilisées lors du processus d'acquisition des connaissances avec l'expert en voirie urbaine sont détaillées et une méthode d'acquisition faisant appel à la notion de constructeurs est proposée. Le problème de la modélisation des connaissances est alors abordé. Dans un premier temps, nous nous consacrons à l'étude de la représentation de données et connaissances particulières, principalement les données visuelles et les règles graduelles. Nous voyons alors les modifications qui ont été apportées aux spécialistes de l'outil ATOME de facon à reproduire plus fidélement le raisonnement expert. De même, des propositions sont émises pour une meilleure gestion de la communication entre tâche et spécialistes et pour un contrôle plus explicite
Etude et mise en oeuvre du paradigme multi-agents by Vincent Chevrier( )

2 editions published in 1993 in French and held by 5 WorldCat member libraries worldwide

Cette thèse présente le résultat de notre travail sur la résolution de problèmes par des systèmes multi-agents. Notre travail s'est articulé autour de deux approches complémentaires qui correspondent aux deux premières parties du document. La première partie présente les différents concepts relatifs aux systèmes multi-agents. Nous y montrons la diversité des paramètres de mise en oeuvre de ce paradigme et l'illustrons en présentant différents systèmes multi-agents. Nous abordons également les techniques de négociation et montrons leur utilité dans les systèmes multi-agents. Dans un second temps, nous étudions l'influence que peut avoir l'organisation d'un système sur son activité. La deuxième partie s'appuie sur la modélisation d'un problème réel pour mettre en évidence différentes fonctionnalités nécessaires à la mise en oeuvre du paradigme multi-agents. Nous montrons l'influence de l'outil Abysse sur les processus d'acquisition, de modélisation et de construction d'un système multi-agents. Ensuite, nous proposons diverses solutions quant à la modélisation du raisonnement, à la structuration des informations et à la possibilité d'explication de la résolution. La troisième partie est à la confluence des deux précédentes. Elle présente un outil générique de développement de systèmes multi-agents: GTMAS. Cet outil propose diverses informations renseignant sur l'activité de résolution et permettant la comparaison et l'évaluation des systèmes construits. Nous illustrons l'utilisation de cet outil en implantant trois organisations différentes à la lumière desquelles nous proposons un bilan de l'outil et envisageons diverses améliorations
Méthodes et outils de conception systématique d'algorithmes d'unification dans les théories équationnelles by Claude Kirchner( Book )

1 edition published in 1985 in French and held by 5 WorldCat member libraries worldwide

On montre comment ces outils permettent d'étudier des théories constituées d'axiomes permutatifs et des théories non permutatives, comment étendre la surréduction à toutes les réécritures équationnelles. Description du laboratoire de réécriture équationnelle REVEUR 3
Contribution au raisonnement progressif et temps réel dans un univers multi-agents by Abdel-Illah Mouaddib( )

1 edition published in 1993 in French and held by 5 WorldCat member libraries worldwide

Cette thèse aborde les notions du raisonnement temps réel en général et plus particulièrement du raisonnement progressif pour la garantie temps de réponse. Nous nous sommes intéressés au problème de la garantie temps de réponse et de la contribution du raisonnement progressif pour appréhender ce problème. L'intérêt du raisonnement progressif réside dans la manière incrémentale de construire des solutions à travers plusieurs niveaux de précision. Notre stratégie consiste à construire une solution approximative le plus rapidement possible puis, si le temps le permet, à affiner cette solution. Pour cela, nous avons développé un modèle de raisonnement progressif, appelé GREAT (Guaranteed REAsoning Time) qui, à son premier niveau de traitement, permet de garantir une solution approximative puis peut améliorer sa qualité à travers les autres niveaux. Ce modèle est contrôlé par la qualité de la solution et par le temps disponible. Ainsi l'affinement de la solution est poursuivi jusqu'à ce que la qualité de la solution soit suffisante ou le temps imparti soit totalement consommé. Ce modèle a été intégré dans deux architectures multi-agents posant différemment le problème du contrôle du raisonnement progressif, RT-SOS et REAKT. Dans la première architecture, développée dans notre laboratoire, nous avons intégré des contraintes temps réel. Dans la deuxième architecture concernant le projet ESPRIT II REAKT, notre laboratoire est impliqué dans le développement d'une composante de contrôle supportant les contraintes temps réel. L'intérêt fondamental à intégrer GREAT dans ces deux architectures est que : (1) dans RT-SOS, le raisonnement est guidé par les buts et les plans sont des plans dynamiques. (2) dans REAKT, le raisonnement est guidé par les données et les plans sont statiques (plans précompilés). Par conséquent, le contrôle de GREAT dans ces deux architectures a nécessité le développement de deux classes d'algorithmes d'ordonnancement
Inventaire des constituants minéraux et organiques de différents sédiments marins récents Liaisons organo-minérales et modes d'agrégation by Hervé Duchaufour( Book )

1 edition published in 1982 in French and held by 5 WorldCat member libraries worldwide

L'objectif de ce travail consistait à étudier les propriétés et le mode de formation des complexes organo-minéraux de sédiments marins de différentes origines, en utilisant conjointement les méthodes des pédologues et celles des biochimistes et géochimistes pétroliers : l'interprétation des résultats a soulevé des difficultés particulières, en raison d'une part de la nature et de la diversité d'origines des matériaux (organiques et minéraux), d'autre part des milieux de sédimentation (oxique et anoxique). Parmi les sédiments prospectés au cours des campagnes "orgon", six ont été sélectionnés, d'âge pléistocène, représentatifs de trois modèles : pélagique, détritique et mixte
Adaptation au locuteur par apprentissage automatique : Application à un système de reconnaissance automatique de la parole by C Pister( Book )

1 edition published in 1984 in French and held by 5 WorldCat member libraries worldwide

Dans le cadre d'un système de reconnaissance automatique de mots isolés par approche analytique pour un vocabulaire de grande taille (400 mots et plus) on a envisagé une adaptation automatique du système au locuteur. L'adaptation se fait par apprentissage automatique des formes de références du locuteur, ainsi que par l'ajustement automatique des paramètres du système
Détermination des caractéristiques hydrodynamiques de sols déformables par la méthode inverse by Patricia Garnier( )

2 editions published in 1996 in French and held by 5 WorldCat member libraries worldwide

L'objectif de la thèse est la mise au point d'un méthode simple de détermination simultanée des trois propriétés hydrodynamiques essentielles des sols déformables (la courbe de rétention, la courbe de conductivité hydraulique et la courbe de déformation). Une méthode inverse est utilisée pour déterminer les deux premières relations. Pour cela, nous proposons un modèle de transfert de l'eau original qui tient compte de la déformation tridimensionnelle et anisotrope du sol. Nous avons utilisé deux expériences qui permettent de déterminer la courbe de déformation par mesure de déformation linéaire du sol et qui sont basées sur un processus d'évaporation pour la première et un processus de drainage pour la seconde. Le second dispositif est également associé à une méthode de caractérisation directe. Les différentes méthodes appliquées à des échantillons de vertisol fournissent des relations caractéristiques très similaires. Une analyse de sensibilité à la déformation montre que le modèle de transfert d'eau et la méthode inverse ne sont pas sensibles à la déformation dans des sols peu déformables comme les vertisols mais le sont dans des sols à bentonite très déformables
Contribution à l'étude de l'utilisation de l'azote par le Taurillon : aspects particuliers de la supplémentation de la ration en méthionine et en lysine by Jean-Claude Robert( )

1 edition published in 1975 in French and held by 5 WorldCat member libraries worldwide

Experimentation sur 100 taurillons de rations maïs-soja et maïs-urée supplémentées en lysine et méthionine. Étude des performances zootechniques et des concentrations plasmatiques en glucose, en urée et en acides aminés
Outils d'aide à la construction et transformation de types abstraits algébriques by Nicole Levy( Book )

1 edition published in 1984 in French and held by 5 WorldCat member libraries worldwide

Définition du cadre formel pour donner aux types abstraits algébriques une semantique rigoureuse. Utilisation de la méthode déductive et descendante, développée au crin dans le cadre du projet SPES pour construire une spécification. Définition des critères d'analyse permettant de mettre à jour les défauts d'une spécification ainsi que de choisir les transformations nécessaires à leur résolution
Étude des sols de la bordure sous-vosgienne et des formations alluviales de la Thur (Alsace) Essai d'amélioration par apport de résidus pétroliers by Hacène Bouslah( Book )

1 edition published in 1982 in French and held by 5 WorldCat member libraries worldwide

Ce travail s'inscrit dans le cadre d'une étude plus vaste des problèmes posés en vue d'une mise en valeur accrue de l'ochsenfeld
Solubilité de l'azote dans les silicates liquides influence de la fugacité d'oxygène et de la composition by Franck Humbert( Book )

2 editions published in 1998 in French and held by 4 WorldCat member libraries worldwide

L'azote est un élément de première importance en géochimie du fait de son abondance atmosphérique. Pour mieux comprendre l'origine et l'évolution de l'atmosphère, il est nécessaire de quantifier les échanges entre la matière extraterrestre, le manteau terrestre et les réservoirs de surface. Ceci suppose la connaissance du comportement de l'azote dans les liquides silicates. Pour ceci, nous avons mis au point une technique expérimentale permettant d'équilibrer un liquide silicate à 1425°C en contact avec une atmosphère contrôlée en O2 et N2 (Ptot = 1atm), sur une très large gamme de fo2 (de IW + 8,7 à IW - 9,4) représentant les différentes conditions d'oxydoréduction qui ont régné de la nébuleuse solaire à celle de l'atmosphère actuelle. De plus, la nébuleuse solaire étant constituée majoritairement de H2, nous avons simule différentes atmosphères représentant les systèmes C-N et C-N-H. Du fait de la difficulté à analyser N2 en très faible concentration, nous avons développé une nouvelle méthode d'analyse de N2 en trace dans les silicates. Cette technique est basée sur la fusion par laser CO2 de l'échantillon, suivie d'une purification des gaz extraits et de l'analyse par spectrométrie de masse à vide statique. Cette étude a mis en évidence que la solubilité de l'azote est dépendante : i) de la fo2, avec la présence de mécanismes de solubilité physique et/ou chimique, ii) du système de gaz utilise (C-N ou C-N-H), avec des espèces azotées incorporées différentes et iii) de la composition du liquide silicate, lie à son degré de polymérisation. Sur la base de ces résultats, nous avons modélisé l'effet de la PN2 et de la composition du liquide silicate sur la solubilité de l'azote
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.91 (from 0.79 for Utilisatio ... to 0.95 for Étude de ...)

WorldCat IdentitiesRelated Identities
Alternative Names
Nancy 1. Faculté des sciences et techniques

Nancy I. Faculté des sciences et techniques

UHP. Faculté des sciences et techniques

Université de Nancy 1. Faculté des sciences et techniques

Université de Nancy I. Faculté des sciences et techniques

Université Henri Poincaré de Nancy 1. Faculté des sciences et techniques

Université Henri Poincaré Nancy I. Faculté des sciences et techniques

Université Nancy 1. Faculté des sciences et techniques

Université Nancy I. Faculté des sciences et techniques

Languages
French (25)