L'intérêt de donner des connaissances déclaratives à un système est bien connu, mais il est difficile d'utiliser efficacement de telles connaissances. La solution de MACISTE est de se servir de metaconnaissances déclaratives pour utiliser efficacement de telles connaissances. Pour éviter de déplacer simplement le probleme au niveau meta, les metaconnaissances sont utilisées à l'aide d'elles-mêmes. Cet amorcage est un des buts de MACISTE. Comme les années précédentes, le langage dans lequel MACISTE est exprimé a été encore amélioré pour en diminuer les aspects procéduraux afin de permettre à l'utilisateur d'exprimer plus facilement ses (meta)connaissances. Celles-ci sont donc constamment changées pour tenir compte de ces dernières possibilités.
Par ailleurs, les expertises qui compilent les (meta)connaissances ont été reprises pour mieux optimiser les procédures qu'elles produisent. En effet, plus on donne des expertises complexes, plus il devient nécessaire que cette optimisation soit performante sous peine d'avoir des temps d'exécution prohibitifs. [...]
Goldfish
Operating systems, Internet security, distributed and parallel systems, programming language systems
RO, Optimisation combinatoire, gestion production éléctrique
Modélisation du trafic routier et SMA
Methodes formelles
Projet CosyVerif avec le LSV ENS-Cachan et le LIPN Paris 1
thématiques de réseaux sans fil
arithmétique des ordinateurs
Outils pour l'aide à l'enseignement de l'informatique
collaboration avec le JFLI et l'université de Tokyo
Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de l'Internet des objets.
Réseaux de robots, réseaux P2P
Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne
Discrete optimization, integer programming, game theory and combinatorics, enumeration methods and data mining
Stage de doctorat
Problème de tomographie discrète
RO
Evaluation de performances des systèmes distribués .
She is one of the first to combine data mining, machine learning, and computational statistics to create a new tool to handle the latent structure of today’s vast and complex data from both the perspective of engineering and statistics.
large graphs and networks
Markov chains
information theory and control
distributed systems and control
dynamical systems, decidability and Turing universality
La fiabilité des réseaux informatiques
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
Contributions à la résolution de problèmes d'optimisation de contraintes distribuées dynamiques à l'aide de modèles graphiques pour la coordination multiagents
Une approche pour une sélection de modèle architectural
Technologie de l'information
SMA
Formalisation des interactions dans les systèmes collaboratifs
Analyse statique par interprétation abstraite de modèles Simulink
Réseaux
Catégorisation par le Contenu Sémantique d'Objets Vidéo : Recherche et Reconnaissance d'Acteurs dans les Films
Algorythme pour minimiser l'énergie
Distributed Subspace Tracking Algorithms (sensor network)
Working at the CLAIM project
Theoretical Computer sciences
Le Professeur Sin’ichi Oishi est un des grands spécialistes en validation numérique et en calcul certifié.
Il a proposé de nombreux algorithmes permettant de calculer précisément et avec des bornes d’erreurs certifiées la solution de nombreux problèmes (sommation, produit scalaire, résolution de systèmes linéaires, etc.). La validation numérique est une des thématiques principales de recherche de l'équipe PEQUAN (Performance and Quality of Numerical Algorithms) du département CalSci (Calcul Scientifique) du laboratoire LIP6.
Il avait d'ailleurs co-organisés un séminaire Dagsthul sur la validation numérique dans lequel plusieurs membres de l'équipe PEQUAN avaient été invités.
La visite du Prof. Oishi permettrait en particulier de préparer la soumission d'un projet Égide Sakura financé par conjointement par la JSPS (Japan Society for Promotion of Science) et le ministrère des affaires étrangères français. On envisagera aussi la soumission d’un projet ANR France-Japon financé conjointement pour l’ANR et la JST (Japan Science and Technology Agency).
Future interne research
Résolution de problèmes de tournées (collaboration avec Yasmin Rios)
Thème de recherche : Systèmes et algorithmes répartis pour environnements dynamiques
Etude de l'utilisation des réseaux bayésiens pour la simulation d'avatars interactifs
Distributed Systems
Prof. Sobot research deals speci fically with mixed-signal integrated circuit theory, design and implementation issues, which are correlated with other disciplines such as biomedical, physics, robotics, earth and space sciences. It is goal of his research to further explore the opening possibilities at the borderlines between the field of integrated circuit design and these interdisciplinary fields and make contributions that will lead into novel electronic systems and are meant to enhance human lives and well-being in general.
Integral part of the research is supervision of graduate students who are serving as research assis-
tants in his research laboratory. As of August 20 2010, his research group consists of two Ph.D.
students, three M.E.Sc. students, and one NSERC Undergraduate student, while three M.E.Sc. and
one M.Eng. students already graduated. In addition, 14 undergraduate students worked on their
respective projects under his supervision.
His research activities include: "Behavioural modelling of mixed-signal systems", "Analog IC Design", "RF Microelectronics", and "Analog Circuit Design Techniques at 0.5V" and "Communication Electronics".
Public service work consists, mostly, of participation in academic committees and supporting work
for number of conferences and scienti c journals.
Use of Redundant Residue Number Systems for Fault Attack Resistant
Elliptic Curve Cryptography
SMA
He proposed an early version of the backpropagation learning algorithm, the most popular learning algorithm for neural networks (1985).
He developed a record-breaking system for detecting human faces in images. This was used as the key technology for Vidient’s “Smart Catch” automated video surveillance system (2003).
His recent work includes: structured models real-estate price prediction, new methods for predicting epileptic seizures from EEG up to 1 hour in advance, unsupervised learning methods for object detection and recognition
in images.
Over 140 technical publications, and 14 US patents.
Tolérance aux fautes sur les réseaux dynamiques
Calcul formel
Thèse en Algérie Recherche libre pour finir une thèse de doctorat algérienne
Computer system network ,Communication/network engineering ,Keywords for Research Field Network Internet Protocol Multimedia.
Databases and Web Information Systems: XML/RDF Storage and Indexing Schemes, Semantics-aware Data Models and Query Languages, Heterogeneous Information Integration, Change Management, Graphical Query Interfaces.
Digital Libraries: Personalization and Preference Management, Peer-to-Peer Data and Knowledge Management Systems, Publish/Subscribe Systems, Graph Mining and Power Laws.
Scientific Systems: Workflow Management Systems, Description and Composition of e-services, Data Provenance and Annotation Management.
Evaluation de performances de systèmes informatiques et réseaux
Sensor Networks, Robot Networks, Self-stabilization
Working at the CLAIM project
Réalisation d'un langage de définition d'assistant à la manipulation de robots.
Projet Campus
Vérification des systèmes concurrents dynamiques
Collaboration avec le LRDE sur l'outil SPOT
Exraction de thématiques à partir de textes - études de l'évolution de ces thématiques dans le temps - application à la veille technologique
Réseaux wireless mesh, routage
Sémantique logique calcul formel
Projet de partenariat dans le cadre d'un appel d'offre du Consulat Général de France à Jérusalem sur la création d'une bibliothèque virtuelle
Système de Pilotage Autonomique pour la Distribution de Charge dans les Réseaux Sans Fil Wi-Fi
Evaluation de performances des systèmes distribués .
Multi Agent
Transformation de programme
Tolérance aux fautes sur les réseaux dynamiques
Sécurité - carte à puce
Sécurité - carte à puce
carte à puce
Maintenance des invariants de conception
Applied probability, random discrete structures, analytic combinatorics, distribution of arithmetic functions, analysis of algorithms, asymptotic analysis.
Theoretical research, computer solutions and interdisciplinary applications in the area of Operations
Research, Optimization and Decision Making with the main stress on
- Multiple criteria analysis and decision support,
- Decision making under risk,
- Linear, network and discrete programming,
- Location and distribution problems,
- Computer implementations.
Collaboration recherche
Calcul Formel
Etude de la modélisation sémantique d'un environnement urbain
SMA
Multiagent, robotique et réseaux informatiques
ANR siropa
IA Navigationnelle
Cryptographie
Synchronisation des réseaux WIFI
Constraint - Based Programming Languages.
Real-time Systems. Computer Networking Applicatons.
Professeur
Calcul Formel
Calcul Formel
Calcul Formel
Calcul formel
Sujets de Recherche
------------------------------
• Systèmes multiagents
• Apprentissage automatique
• Informatique musicale
• Jeux video
Projets et activités de recherche
-----------------------------------------------
• Coordinateur du coté brésilien du projet ARCUS - Systèmes multi-agents et nouvelles applications informatiques en coopération avec le LIP6 (2006-2008)
• Coordinateur du coté brésilien du projet CAPES-CUFECUB (UFPE - Université Paris VI) (2001-2004) intitulé « Techniques d’apprentissage et d’adaptation pour les logiciels de commerce, de jeu, et de recherche sur internet »
• Consultant ad hoc pour évaluation de projets pour ANR (France), FINEP, CNPq, CAPES.
• Participation de 14 projets de recherche nationaux, dont 8 comme coordinateur, financés par des agences officielles telles que le CNPq et la CAPES
Projets et activités d’innovation
• Coordinateur national du Réseau Brésilien de Visualisation (RBV), implicant dizaines d’universités et entreprises (2005-2008) ;
• Coordinateur national de la branche “simulation et jeux” de la RBV, depuis 2006.
• Participation de 14 projets d’innovation, dont 12 comme coordinateur, auprès des PME locales, implicant un total d’investissement de plus de 6 millions d’euro (1999-2009);
• Consultant pour divers grandes entreprises telles que IBM (1999-2001), Motorola (2001-2003), LG (2004), Nokia (2004), Globo (2005).
Autres activités académiques/administratives
• Coordinateur national du Groupe Spécial en Jeux-vidéo et divertissement numérique de la Société Brésilienne d’Informatique (2007-2008)
• Coordinateur national du Groupe Spécial en Intelligence Artificielle de la Société Brésilienne d’Informatique (2002-2004) ;
• Coordinateur national du Groupe Spécial en Informatique Musicale de la Société Brésilienne d’Informatique (2001-2002 et 1997-1999);
• Responsable des « groupes spéciaux » d’intelligence artificielle (2002-2004), informatique muscale et « digital entertainment » de la Societé Brésilienne d’Informatique.
Publications en générale
- 4 ouvrages édités
- 4 chapitres dans des ouvrages, plus organisation de 3 ouvrages
- 11 publications en revues, dont 3 brésiliennes
- 54 publications à des colloques internationaux avec comités de lecture
- 79 publications à des colloques brésiliens ou latino-américan avec comités de lecture
Systèmes d'exploitation micro-noyau, vérification de composants logiciels
Hardware Design, Cryptographic Systems, Arithmetic Systems
Intégration de données hétérogènes distantes
Systèmes d'information
Solution multi agents pour l'allocation des ressources dans les réseaux virtuels en cas de panne
My research focuses on defining languages that can support defining processes sufficiently precisely that they can be subjected to rigorous analysis. My group has defined the Little-JIL process definition language. With L.A. Clarke and G.S. Avrunin I have shown that processes defined in Little-JIL can be subjected to finite state verification and fault tree analysis, and can be use to create discrete event simulations. These processes are from domains such as healthcare, elections, and negotiation.
My research focuses on developing techniques to support the production and maintenance of complex systems. With colleagues, I have developed FLAVERS, a static analysis tool that uses data-flow analysis techniques to verify user-specified properties. FLAVERS automatically creates a concise, but perhaps imprecise, model of the software system and then allows users to selectively improve the accuracy of the program model as needed to improve the accuracy of the results. The PROPEL system complements FLAVERS, and other event-based verification systems, by helping users elucidate the details of the properties to be proven. PROPEL allows users to simultaneously view and construct properties from templates represented as question trees, natural language phrases, or extended finite-state automata. Recently my work has focused on analyzing process models, written in the Little-JIL process definition language, and on applying techniques originally designed for analyzing software systems to these models. This has lead to some interesting results on process improvement in domains such as medicine, scientific workflow, and digital government.
Shaowen's current research interests include problem identification and design optimisation of complex processes and socio-technical systems through modeling and simulation; and uncertainty management and decision support methodologies for software engineering and hospital care capacity planning.
Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de
l' Internet des objets
primary research goal is to build new protocols and architectures that improve the robustness and performance of computer networks, on wireless networks, network security, traffic engineering, congestion control, and routing, on advanced mathematical models to deliver practical network solutions, and have a particular interest in adapting tools from various fields of applied mathematics such as control theory, coding theory, and machine learning to solve problems in computer networks.
His research interests include computer vision, pattern recognition, fuzzy set theory and fuzzy logic, fractal geometry, and neural networks. He has been funded by several industrial and government institutions, including the Electronics and Space Corporation, Union Electric, NASA/JSC, the Air Force Office of Scientific Research, the Army Research Office, and the Office of Naval Research. Dr. Keller has coauthored over 150 technical publications.
Editor-in-Chief of the IEEE Transactions on Fuzzy Systems, an Associate Editor of the International Journal of Approximate Reasoning, and on the editorial board of Pattern Analysis and Applications, Fuzzy Sets and Systems, and the Journal of Intelligent and Fuzzy Systems. Co-author of a book "Fuzzy Models and Algorithms for Pattern Recognition and Image Processing", Kluwer Academic Publishers, 1999.
He is an IEEE fellow, IFSA fellow, IEEE Fuzzy Systems Pioneer Awardee.
Analyse d'algorithme et génération aléatoires
Analyse d'algorithme et génération aléatoires
Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de l' Internet des objets
arithmétique des ordinateurs et validation numérique
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
Chercheur (modelisation vérification de systèmes répartis)
Chercheur (modelisation vérification de systèmes répartis)
Structures discrètes aléatoire, Analyse d'algorithmes
Travail avec Mathieu Sassolas sur sa thèse
Réseaux sans fil et véhiculaires.
Notre travail de recherche se positionne dans le contexte de l'évaluation de la performance des systèmes de recherche d'information (SRI), et concerne plus précisément le problème crucial du passage à l'échelle du corpus d'évaluation. L'acquisition des jugements de pertinence nécessite des efforts humains fastidieux. Il faut alors d'une part sélectionner les documents à juger, et d'autre part choisir des protocoles d'évaluation qui facilitent le travail de l'expert humain, avec la contrainte de conserver une évaluation fiable.
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
Combinatoire des permutations
Verification of protocols for reliability
Computer Algebra : Comptage des polynômes univariés decomposables
Symbolic Computation, Rewrite Techniques, Computational Origami, Constraint Functional and Logic Programming
Algorithmique distribuées, tolérance aux pannes, réseaux de capteurs
Mobile communication, security, multicast ans Qos guarantees
Calcul formel, théorie galoisienne, calcul algébrique, calcul polynomial
Applied probability, random discrete structures, analytic combinatorics, distribution of arithmetic functions, analysis of algorithms, asymptotic analysis.
Systèmes d'aide à la décision
tolérance aux fautes et auto-stabilisation dans les systèmes répartis
Distributed systems and algorithms, fault-tolerance, dependability, group communication,
failure detection, replication, self-stabilization, scalability, cooperative mobile robotics, performance evaluation.
contact recherche. Contact Master international
Feiler is a senior member of the technical staff at the Software Engineering Institute (SEI). He has been with the SEI for 23 years. His duties at the SEI included five years of management. His interests include dependable real-time systems, architecture languages for embedded systems, and predictable system analysis & engineering.
Before joining the SEI, he did research and led a group in software technology at the Siemens Corporate Research and Technology Lab in Princeton, NJ. During that period he also was the system architect for the software development environment in a large-scale product development.
Peter Feiler is the technical lead and author of the SAE AS-2C Architecture Analysis & Design Language (AADL) standard. This standard has been published in Nov 2004 as SAE document AS5506. Version 2 of the standard is going into ballot in 2008.
Refactoring de programmes
Design patterns
Research Topics : Matrix Theory, Self-Validating Methods, Numerical Linear Algebra, Scientific Computing
Content based information (image and video)
retrieval
Bases de données et systèmes d'information du Web.
Local descripter machine maschting for image identification
Apprentissage automatique
Recherche d'information
Modélisation utilisateur
Gestion des incertitudes pour l'aide à la décision. Méthodes probabilistes et Théorie de l'information.
Thématique génie logiciel pour la robotique
- La gestion de réseaux à haut débit
- Les réseaux autonomiques
- La configuration de réseau
- Les systèmes répartis
Méthodes et outils formels pour l’intégration d’applications d’entreprises
La collaboration avec le professeur Viniotis, s'inscrit principalement dans le cadre des aspects liés à l'auto organisation dans les réseaux spontanés. En partilier, le travail porte sur les systèmes d'adressage et de localisation qui utilisent des espaces mathématiques multidimensionnels et des structures à des propriétes adaptatives.
Evaluation des performances de systèmes avec rappel
- Fraud and Trust on the Internet ; Methods used by crooks on the Internet and methods to reduce Fraud and build trust.
- Combinatorial auctions ; their application and solution methods, the economic impact of combinatorial auctions. Combinatorial auctions in wireless spectrum allocation procedures.
- Methods for forecasting demand when demand transactions are partially observable.
- Distributed Group Decision Support Systems, systems which overcome the time and space limitations of traditional GDSS. The impact of anonymity on the performance of management systems.
- The impact of the Internet and Electronic Commerce on supply chain management and organizational structures. Limits on growth the internet and the WWW.
- Allocation of processors, data bases and processes in distributed systems, configuring distributed computer systems, dynamic data allocation and file migration, Applications of such methodologies to the Internet.
- Stochastic modeling of search processes on the Internet.
- Research in the field of computer communication networks (topological design and routing).
- Production scheduling on multi-stage production processes with limited yield in each stage, for example semiconductor production processes.
- Improving the performance of wireless communication systems.
Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error
Arithmetic, Linear Algebra, Computer Algebra, Dynamical Models of Biological Processes (Neurophysiology, Enzyme Kinetic, Fermentation Processes).
Professor Shing joined the US Naval Postgraduate School in 1988 and is currently an associate professor of computer science. He works in the areas of Software Engineering, Real-Time System Modeling and Design, Software Architectures for Embedded and Distributed systems, and Engineering Automation for Dynamic Computer Based System.
In the past, he has conducted research in search heuristics and algorithms, real-time scheduling, path planning, reengineering and object-oriented architecture design for war-game simulations and autonomous vehicle control, design and implementation of a COTS-based Automated Communications Intercept, Analysis, & DF System, design and implementation of distributed prototyping systems, and the design and implementation of platform independent graphical user interfaces for weapons systems and software tools.
Ses domaines d'intérêt concernent: l'apprentissage à base d'arbres de décision et de réseaux bayesiens, l'optimisation stochastique et l'apprentissage par renforcement, et les applications dans le domaine du contrôle, en analyse d'images, et en bioinformatique.
Marconi Professor of Communications Systems
Research Area: Distributed Intelligent Systems
Primary Research Interests:
Ubiquitous and Mobile Computing
Middleware for Context- and Location-awareness
Mobile Agents
Distributed Algorithms and Protocols
Mobile communication, security, multicast ans Qos guarantees
Software Engineering, Knowledge Representation, Requirements Engineering, Data Structures, Software agents.
Coopération CAPES - COFECUB
Composition sémantique des prococessus d'affaire dans 1 contexte d'EBXML
- La gestion de réseaux à haut débit
- Les réseaux autonomiques
- La configuration de réseau
- Les systèmes répartis
Méthodes et outils formels pour l’intégration d’applications d’entreprises
* Parallel and Distributed Computing
* Mobile and Wireless Network-based Computing
Neural networks learning an intellignent systems applications.
Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error
Arithmetic, Linear Algebra, Computer Algebra, Dynamical Models of Biological Processes (Neurophysiology, Enzyme Kinetic, Fermentation Processes).
Spécifications formelles, test, prototypage
Judy Goldsmith is Professor in Computer Sciences at the University of Kentucky and member of the Logic and AI Lab. She is working on decision-support for decision-making under uncertainty with constraints. This includes knowledge elicitation software, including preference elicitation, preference aggregation, planning heuristics for factored Markov decision processes, and plan explication.
Spécifications formelles, test, prototypage
Spécifications formelles, test, prototypage
Reliable computing, interval arithmetic, global optimization
- Formal aspects of software engineering, in particular symbolic model-checking algorithms and decision diagrams
- Load balance and performance analysis of Web servers
- Distributed algorithms
- Performance, dependability, and safety evaluation of fault-tolerant and distributed computer systems
- Specification formalisms and solution algorithms for modeling tools
Spécifications formelles, test, prototypage
Evaluation de performance des systèmes distribués
Evaluation de performance des systèmes distribués
We study agent technologies as software technology
for advanced network computing such as agent architecture,
agent oriented software engineering, and advanced agent applications.
Commande floue, Réseaux de communication adaptatifs.
Professor (Abe) Mamdani is well known for his research into fuzzy logic and in particular, his pioneering work on Fuzzy Control which was carried out starting in the early 70s. His other research interests include investigations on reasoning under uncertainty and knowledge based systems for industrial control. He has been actively involved with several UK industrial companies in the research and development of applications of Knowledge Based Systems. Until recently he was in the Electronic Engineering Department of Queen Mary & Westfield College of University of London. As of July 1995 Professor Mamdani has joined the Electrical & Electronic Engineering Department of Imperial College, London to take up a newly created Chair of Telecommunications Strategy and Services endowed by Nortel Networks and the Royal Academy of Engineering. Professor Mamdani is a Fellow of the Royal Academy of Engineering as well as The Institute of Electrical and Electronic Engineering. He spent two years working at the central British Telecom Research Laboratories within the Network Management Department. His work was concerned with the application of Artificial Intelligence for network management. Today his main research area is in communicating intelligent software agents and their applications to telecommunication systems. This research extends to soft computing abilities that agents must possess if they are to act intelligently within an open community of agents. He helped with the start of the ?Foundation for Intelligent Physical Agents? FIPA which is a group formed industrial organisations world-wide whose aim is to achieve minimal standards in the area of intelligent software agents. His recent work has focused on personal assistant agents that interact with users and act on their behalf to negotiate and obtain services often acting in a community of other agents. Some of this work involves research into what are called embodied agents and the importance of ?affect? in designing such agents in order to makethem believable. Trust is another closely related issue that impacts believability. This work has been carried out through a number of EU funded and UK research council funded projects.
The purpose of his visit to LIP6 is to explore complementary know-how that exists in his laboratory at Imperial College and at LIP6 that can form a basis of future research relationship between the two. It is hoped that the visit will lead to future exchanges of people and ideas between the two groups of researchers. It is worth pointing out that Imperial College London is a premier academic institute in the UK with a strong science and technology base.
Chercheur au Centre interuniversitaire de recherche sur le téléapprentissage (CIRTA-LICEF) qu'il a fondé en 1992, Gilbert Paquette est actuellement titulaire de la chaire de recherche du Canada en ingénierie cognitive du téléapprentisage et directeur scientifique du réseau canadien de recherche LORNET.
Titulaire d'un doctorat de l'université du Maine (France) en Intelligence Artificielle et Education, il est à l'origine de plusieurs projets de recherche-développement stratégiques dans les domaines de la modélisation des connaissances, de l'ingénierie pédagogique et de la formation à distance. Ses publications récentes incluent trois livres (2002 et 2004), sur l'ingénierie pédagogique pour l'apprentissage en réseau et sur la modélisation des connaissances et des compétences. Il est intervenu comme conférencier invité dans de nombreuses conférences internationales et participe au comité scientifique de six revues, trois en France, une aux Etats-Unis et deux au Canada. Il a aussi fondé deux entreprises, Micro-Intel (1987-1991) et Cogigraph (1999-2004) et a servi comme Ministre de la Science et de la Technologie du Québec (1982-1984).
Ingénierie dirigée par les modèles, évaluation d'outils se conformant à l'approche Model Driven Architecture, étude de l'approche Microsoft (Usines de logiciels), lignes de produits logicielsAnalyse de ligne de produits selon UML et selon un langage de domaines spécifique, composition de modèles, ingénierie des exigences, identification de patrons de cas d'utilisation, création d'un langage à l'intention des utilisateurs, pour générer une application à partir des spécifications des exigences.
My research interest include the following topics: software engineering for embedded and real-time systems, model-driven architecture, middleware infrastructure, context-aware computing, ambient intelligence and ubiquitous computing, system support for distributed applications (a.o. mobile agents), distributed and parallel systems and distributed computing, multi-agent systems with emergent behaviour.
* Distributed Systems, Fault-Tolerance, Replication, Group Communication
* Selected papers
* Publications
* Recent Technical Reports
* Restrospective on Group Communication (FuDiCo 2002 paper)
génie logiciel des systèmes multi-agents
génie logiciel
Outils et méthode de conception de Systèmes Intégrés Mixtes Analogiques et Numériques (SOC AMS).
Algorithmes de synthèse électrique de SOC AMS.
Distributed systems, Operating Systems, Embedded and pervasive computing systems, Mobile computing and networking
Développement d'un outil (pour l'armée américaine) basé sur un formalisme apelé "context-based reasoning". Nous travaillons actuellement sur un parallele entre son travail et les graphes contextuels développés au sein de SYSDEF.
Réseaux de capteurs et réseaux ad-hoc
Internet protocols, multimedia communication, group communication, Quality of Service, network and operating system support for servers, and modeling and performance evaluation.
Composants Logiciels
Programmation par contraintes et logiques
Model-driven architecture
Agents intelligents
Contexte et travail collaboratif
Mathematical Modelling in Biology, Physics and Engineering, Scientific (Reliable) Computing, Validated Numerics, Convex and Interval Analysis, Computer and Error Arithmetic, Linear Algebra, Computer Algebra, Dynamical Models of Biological Processes (Neurophysiology, Enzyme Kinetic, Fermentation Processes).
Data Mining, recherche d'information, multimedia, apprentissage automatique
Recherche d'information
Apprentissage automatique
Réseaux de Petri (objets), Model checking.
Engineering and Scientific Application : Environmental Modelling, Scientific Computation, Finite Element Modelling and Engineering Design.
Director of the Elsevier Science CPC International Program Library. This internet Library currently holds over 1,800 refereed computer programs which have been contributed by scientists world-wide.
Neural Nets - Computer Vision - Pattern Recognition
Modélisation du contexte dans le travail collaboratif
Sytèmes Multi-Agents
adaptation dynamique
J.M. Colom Piazuelo est membre du Centre Polytechnique Supérieur de l'Université de Saragosse. Il y occupe actuellement le poste de sous-directeur chargé de l'adaptation de l'Enseignement Supérieur à l'Espace Européen.
Son thème de recherche porte sur la résolution du problème de l'allocation des ressources dans les ateliers flexibles. Son travail repose fortement sur l'utilisation des réseaux de Petri.
Professeur a l'Université de Pernambuco (UFPE) et Directrice du Centre d'Informatique de l'UFPE.
Ses centres d'intérêts concernent les bases de données et se déclinent en "data integration", "data Warehouse", bases de donnés non conventionnelles (multimedia, geographique), systèmes coopératifs et "groupware", et bientôt le contexte dans les BD.
Logique floue, raisonnement approximatif, similarités
Designe and developpement of influencecirculity for Tactille sensors
