WorldCat Identities

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

Overview
Works: 3,299 works in 4,638 publications in 1 language and 5,422 library holdings
Genres: Academic theses 
Roles: Other, Degree grantor, 985, Publishing director
Publication Timeline
.
Most widely held works by Université Henri Poincaré Nancy 1
É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
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
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
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

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é
Démonstration automatique par des techniques de réécritures by M Rusinowitch( Book )

2 editions published in 1987 in French and held by 5 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é
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 Christine 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
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
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
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
É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 Hacene 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
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
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 à 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 J. C 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
Diagnostic et aide en EIAO : étude d'un environnement d'aide à la résolution de problèmes en chimie by François-Marie Blondel( )

1 edition published in 1996 in French and held by 4 WorldCat member libraries worldwide

Le thème principal de cette thèse porte sur l'aide a apporter à l'élève et sur le diagnostic de ses activités dans les environnements interactifs d'apprentissage avec ordinateur (eiao) pour l'enseignement des sciences. Nous avons étudie ces questions dans le cadre d'un projet d'environnement d'apprentissage de la résolution de problèmes de chimie quantitative (schnaps). Conçue a partir de l'analyse de résolutions d'élèves, la première version de cet environnement comprend une base de données chimiques, un resolveur fonde sur l'exécution de plans et la propagation de contraintes, et des interfaces pour la définition de la situation-probleme et la rédaction de la solution. Le diagnostic repose sur une méthode de classification heuristique dans laquelle on cherche a reconnaître des formes représentatives des actions de l'élève dans la résolution. Les expressions tapées par l'élève sont mises en correspondance avec une base de formules qui expriment les relations fondamentales entre les grandeurs, qu'elles proviennent des connaissances de référence ou des connaissances privées des élèves. Destine a permettre des interventions a l'initiative du système, le diagnostic signale les éléments imprécis de la rédaction de l'élève et fournit des hypothèses sur les difficultés et les concepts mis en jeu dans sa résolution. L'aide que nous proposons dans schnaps distingue plusieurs types d'aides répondant a une demande de l'élève et plusieurs types d'interventions correspondant a une initiative du système. Cette aide est décomposée en assistants indépendants qui possèdent une unité thématique, stylistique ou pédagogique. Ils correspondent chacun a un point de vue sur le domaine, le problème ou la résolution. Un assistant, spécialise dans un seul type d'aide ou d'intervention, possède une logique de comportement qui lui est propre et qui inclut a la fois le mode d'accès, de sélection et de présentation des messages, et le contenu de ces messages
Caractérisation et propriétés magnétiques du système multicouche gadolinium/fer by Kheïra Cherifi-Khodjaoui( )

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

La première partie de ce travail est consacrée à la méthode d'élaboration et à la caractérisation des multicouches gd/fe, elle a été étendue aux systèmes tb/fe et er/fe. Les échantillons ont été obtenus par évaporation sous vide sur un substrat contrôle en température. La caractérisation a été abordée par diffraction des rayons x aux grands et aux petits angles, par spectroscopie Mossbauer et par mesure de résistivité électrique in situ. La nature de l'interface ainsi que les structures cristallines ont été étudiées en fonction de la température de dépôt et des épaisseurs des couches individuelles. La seconde partie présente les propriétés magnétiques du système gd/fe. Les mesures magnétiques mettent en évidence 4 états: gadolinium-aligne, fer-aligne, twiste et état a. La stabilité de ces phases a été trouvée dépendante de paramètres géométriques (épaisseur des couches, nombre de doubles et nature des couches extérieures), de la température et du champ extérieur. Des diagrammes de phases (h, t) ont été établis expérimentalement. Des températures de compensation ont été mises en évidence également. Ces états magnétiques ont été confirmés, à l'échelle microscopique, par diffraction de neutrons polarisés. En particulier, il a été observé que la diffusion avec retournement de spin est absente lorsque le système est dans des états alignés alors qu'elle est importante lorsqu'il est dans un état twiste
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.91 (from 0.80 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 (24)