Publications internes LIP6 1998 / LIP6 research reports 1998

La langue du titre indique la langue du document. Tous les rapports ont un résumé en français.
The language of the document is the same as used for the title. Abstract in english always available.

001	Estampilles d'Ordonnancement : Principes & Utilisations J.-Ph. Lesot, J.-M. Rifflet
002	Reformuler et classer un problème pour le résoudre. Le système SYRCLAD et son application à quatre domaines N. Guin
003	Les systèmes adaptatifs à architecture d'agents dynamiques : une approche de la conscience artificielle A. Cardon
004	Computing characteristic polynomials associated to some quotient rings Ph. Aubry, A. Valibouze
005	Outils de vérification pour circuits VLSI AsGa MESFET par des méthodes d'abstraction fonctionnelle P. Rémy
006	Méthode de simulation logico-temporelle de circuits numériques complexes prenant en compte le front des signaux et les collisions dans le cadre de la simulation mixte analogique-numérique N. Abdallah
007	Colloque Intelligence Artificielle, 16-18 septembre 1997, Ile de Berder S. Kornman
008	La méthode Cliff Jones orientée objet pour le développement formel de programmes concurrents B. Mammass
009	Une preuve formelle du bounded retransmission protocol dans le pi-calcul B. Mammass
010	Yet Yet on the bounded retransmission protocol Th. Hardin, B. Mammass
011	Modélisation des Systèmes Adaptatifs par Agents: vers une Analyse-conception Orientée Agent A. Cardon
012	Feature Selection with Neural Networks Ph. Leray, P. Gallinari
013	Genetic algorithms for the job-shop scheduling problem with parallel machines and precedence constraints : heuristic mixing method F. Ghedjati
014	Apprentissage inductif en présence de données imprécises : Construction et utilisation d'arbres de décision flous Ch. Marsala
015	From Active Objects to Autonomous Agents Z. Guessoum, J.-P. Briot
016	Combinaison de Classifieurs Statistiques, Application à la Prédiction de la Structure Secondaire des Protéines Y. Guermeur
017	Testing Prototypes Validity to Enhance Code Reuse D. Buchs, A. Diagne, F. Kordon
018	Connaissances taxinomiques: Représentation de taxinomies comportant des exceptions et construction d'hypermédias à base de connaissances taxinomiques C. Faron
019	Context-Sensitive Decision Support Systems: Supplement papers P. Brézillon, V. Rajkovic
020	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond K. Ajami, S. Haddad, J.-M. Ilié
021	A Performance Comparison of Pull Type Control Mechanisms for Multi-Stage Manufacturing Systems F. Karaesmen, Y. Dallery
022	Dynamic scheduling in a make-to stock system: a partial characterisation of optimal policies F. de Véricourt, F. Karaesmen, Y. Dallery
023	Solving Quintics by Radicals D. Lazard
024	The Extended Kanban System for Production Control of Assembly Systems C. Chaouiya, G. Liberopoulos, Y. Dallery
025	Quality Management Issues along Life-cycle of Distributed Applications A. Diagne, P. Estraillier, F. Kordon
026	Implementation of Genericity for customizable CASE environments F. Kordon, J.-L. Mounier
027	Complexity operator classification in regular rewriting systems C. Chabaud
028	Panorama des processeurs de traitement du signal Y. Bajot
029	Conception d'un système multiagents adaptatif: application à la gestion de crise H. Boukachour, A. Cardon, S. Durand, F. Lesage
030	Abstraction Fonctionnelle des Composants VLSI J.-B. Guignet
031	Une approche à base de composants logiciels pour la conception d'agents. Principes et mise en oeuvre à travers la plate-forme Maleva M. Lhuillier
032	De la modélisation des tâches utilisateurs au prototype de l'interface homme-machine. Une approche pluridisciplinaire : Informatique et Ergonomie. H. Hammouche
033	Building Telecommunications Services as Qualitative Multi-Agent Systems: the ODAC Project A. Diagne, M.-P. Gervais
034	FrameKit, an Ada Framework for a Fast Implementation of CASE Environments F. Kordon, J.-L. Mounier
035	Mise en Oeuvre, Evaluation des Performances et Vérification de la Validité de Topologies et de Schémas de Routage pour l'Aide a la Conception de Réseaux d'Interconnexion pour Architectures Parallèles A. Bouaraoua
036	Une méthode de tes des circuits intégrés, basée sur un découpage structurel peu recouvrant O. Florent
037	MetaScribe : un outil pour la génération de moteurs de réécriture F. Kordon
038	Enregistrement des services dans la plate-forme d'accueil FrameKit F. Kordon
039	DMeroon, A Distributed Class-based Causally-Coherent Data Model --- General documentation Ch. Queinnec
040	Entre réductionnisme méthodologique et stratégie intentionnelle, l'éthologie, un modèle alternatif pour l'I.A.D. ? A. Drogoul, A. Collinot
041	Methodological Issues for Designing Multi-Agent Systems with Machine Learning Techniques: Capitalizing Experiences from the RoboCup Challenge A. Drogoul, J.-D. Zucker
042	Analyse temporelle hiérarchique des circuits VLSI à très haute densité d'intégration K. Dioury
043	APPRENTISSAGE ET DIAGNOSTIC DE SYSTEMES COMPLEXES : RÉSEAUX DE NEURONES ET RÉSEAUX BAYÉSIENS. Application à la gestion en temps réel du trafic téléphonique français Ph. Leray
044	Réutilisation de structures de données dans le domaine des réseaux électriques Y. Chikhi
045	Découverte automatique de régularités dans les séquences et application à l'analyse musicale P.-Y. Rolland
046	SAGE : un agent intelligent d'interface pour un hypermédia à base de connaissances taxinomiques fonctionnant dans l'environnement du Web I. Akoulchina
047	Assignation de fibres optiques pour la spectroscopie multi-objets F. Sourd
048	Construction d'ontologies à partir de textes techniques - application aux systèmes documentaires H. Assadi
049	Marshaling/Unmarshaling as a Compilation/Interpretation Process Ch. Queinnec
050	Propriétés combinatoires des matrices sur les (pré)-semi-anneaux M. Minoux
051	Résolution de systèmes linéaires dans les semi-anneaux et les dioïdes M. Minoux
052	Algèbre linéaire dans les semi-anneaux et les dioïdes M. Minoux

Publications internes LIP6 / LIP6 research reports

webmaster@lip6.fr