Classement par ordre chronologique.
Semi-anillos
en Matematica Aplicada
Jean-Pierre Quadrat, projet
Metalau
- Rosario : Universidad de Rosario, 1999. - 89 p.
(Cuadernos del instituto de matematica " Beppo Levi " ; 28)
Techniques pratiques pour l'étude des activités
expertes
André Bisseret,
directeur de recherche émérite, Suzanne Sébillotte,
et Pierre Falzon, professeur au CNAM,
Toulouse, Octares, 1999, ISBN
2-906769-53-3
En ergonomie ou en psychologie, les techniques de recueil de données
sont très rarement exposées pour elles-mêmes.
On doit glaner les informations dans les sections « méthode
» des articles de recherche. Souvent rédigés en
supposant la technique connue, les exposés sont succincts. De
plus, ils sont orientés en fonction de la recherche exposée
et, de ce fait, souvent peu adaptés à une utilisation
pratique.
Le présent ouvrage réunit les exposés simples,
clairs et complets d'une dizaine de techniques principales dédiées
à l'analyse des activités cognitives expertes : celles-ci
sont décrites en vue de faciliter leur mise en oeuvre, pour la
résolution de problèmes pratiques, sur le terrain.
Les étudiants qui se préparent à la pratique
de l'ergonomie ou de la conception de formations techniques sont
les premiers destinataires de ce recueil de techniques ; il peut servir
de manuel pour un cursus systématique de travaux pratiques.
Cependant des praticiens chevronnés trouveront dans ce petit
livre des idées pour perfectionner ou renouveler leurs méthodes
d'intervention ; plusieurs des techniques exposées sont
à redécouvrir, voire à découvrir : en effet,
utilisées en recherche mais jusqu'ici fort peu dans la pratique,
elles sont pourtant simples, efficaces et peu coûteuses ; elles
méritent beaucoup plus d'attention.
Sur le terrain, la conception de postes de travail, de logiciels,
de produits innovants se fait grâce au partenariat entre spécialistes
divers. Dans ce cadre, les partenaires des psychologues et ergonomes
pourront être intéressés à la lecture de
ce livre, sinon pour utiliser eux-mêmes les techniques, du moins
pour se mettre au courant de façon précise des pratiques
possibles de leurs partenaires : nous pensons aux sociologues du travail,
aux sociologues de l'usage, mais aussi aux spécialistes
du marketing, aux spécialistes de la qualité et, bien
sûr, aux ingénieurs-concepteurs de machines, dispositifs
de contrôles-commandes, produits, destinés à entrer
en interaction avec le « fonctionnement mental » des utilisateurs.
Enfin, on dit que « pour faire-faire, il faut savoir faire »
; pour le moins, il faut avoir une bonne idée de comment on fait
: c'est pourquoi les commanditaires qui font travailler des ergonomes
et psychologues, ou songent à le faire, peuvent avoir intérêt
à lire ce livre ; ils pourraient y découvrir que des questions,
des problèmes concrets sur lesquels ils butent relèvent,
entre
autres, de l'analyse de l'activité cognitive des utilisateurs.
Quand la science a dit... c'est impossible
Jean-Michel Alimi, astrophysicien chargé de recherche au CNRS,
Gilles Dowek,
chargé de recherche à l'INRIA, et Laurence Rolland, chercheur
à l'UTC-Compiègne - sous la direction de Nayla Farouki.
Octobre 1999, Editions Le Pommier, ISBN 2-746-50048-5.
Ce livre nous propose une introduction accessible et originale à
la science, tout en ouvrant, sous la forme d'interrogations philosophiques,
une réflexion particulièrement féconde sur la nature
de la science et ses limites.
Les réseaux satellitaires de télécommunications
Eitan Altman, chercheur au projet Mistral à l'INRIA Sophia-Antipolis,
Afonso Ferreira , chercheur au CNRS I3S et membre du projet MASCOTTE,
et Jérome Galtier, chercheur CNET/INRIA, membre également
du projet MASCOTTE
Dunod, 1999 ISBN: 2100048252
Le marché des télécommunications a connu de grands
bouleversements ces dernières années. En matière
de transport de l'information, deux grands axes d'évolution se
sont démarqués : l'augmentation des débits requis
par les applications, et le besoin de mobilité ressenti par les
utilisateurs.
Si la fibre optique a permis, dans une grande mesure, de satisfaire
les besoins en débit des demandeurs, beaucoup de progrès
restent à faire en matière de mobilité. Les satellites
se positionnent comme des acteurs privilégiés dans ce
domaine, capables non seulement de couvrir de larges zones d'un seul
tenant, mais aussi de diffuser - et de manière sélective
- les informations partagées par de nombreuses applications.
Afin de mieux intégrer ces éléments dans les systèmes
existants, l'industrie du satellite s'est donc lancée dans l'aventure
du réseau satellitaire, plus maniable et plus dynamique. Quels
concepts émergent de cette nouvelle technologie ? Comment et
avec quelles limites ses réseaux vont-ils répondre aux
attentes du marché des télécommunications ? Dans
quelle mesure seront-ils capables de fournir des débits élevés
?
Cet ouvrage, conçu pour les étudiants de DEA ainsi que
les élèves en école d'ingénieur, présente
les bases de ces nouveaux systèmes, et sera utile à l'ensemble
des décideurs en télécommunications qui exploitent
ou envisagent un réseau mondial.
Data on the Web: From Relations to Semistructured Data and
XML
Serge
Abiteboul, directeur de recherche à l'INRIA-Rocquencourt,
Peter Buneman, professeur
à l'Université de Pennsylvanie, and Dan Suciu de AT&T
Labs - Research
October 1999, Morgan-Kaufmann ISBN
1-55860-622-X
The Web is causing a revolution in how we represent, retrieve, and
process information. Its growth has given us a universally accessible
database-but in the form of a largely unorganized collection of documents.
This is changing, thanks to the simultaneous emergence of new ways of
representing data: from within the Web community, XML; and from within
the database community, semistructured data. The convergence of these
two approaches has rendered them nearly identical. Now, there is a concerted
effort to develop effective techniques for retrieving and processing
both kinds of data.This book offers detailed solutions to a wide range
of practical problems while equipping you with a keen understanding
of the fundamental issues-including data models, query languages, and
schemas-involved in their design, implementation, and optimization.
It provides an in-depth look at XML and other technologies for publishing
structured documents on the Web, examines recently developed methods
for querying and updating structured Web documents and semistructured
data, including XML-QL and XSL, and it looks deeper into the convergence
of Web and database approaches to semistructured data presentation and
querying.
Le langage Caml
Pierre Weis et Xavier Leroy, du projet
Cristal à Rocquencourt
2ème édition, Dunod, 1999, ISBN 2 10 004383 8.
Ce livre est un véritable cours de programmation en Caml. Il
introduit progressivement les mécanismes du langage et les montre
à l'oeuvre face aux problèmes fondamentaux de la programmation.
Principles of Distributed
Database Systems
Tamer Özsu, professeur, university of Alberta et Patrick Valduriez, directeur
de recherche, INRIA Rocquencourt
Seconde édition révisée, Prentice-Hall, 666 pages, Janvier 1999, ISBN
0-13-659707-6.
In the Second Edition of this best-selling distributed database systems
text, the authors address new and emerging issues in the field while
maintaining the key features and characteristics of the First Edition.
The text has been revised and updated to reflect changes in the field.
This comprehensive text focuses on concepts and technical issues while
exploring the development of distributed database management systems.
Principles of Distributed Database Systems presents distributed database
systems within the framework of distributed data processing in general,
rather than as a problem in isolation.
Stabilité des filtres et des systèmes linéaires
Messaoud Benidir, professeur à l'université de Paris-Orsay
; Michel Barret,
professeur à SUPELEC et membre du projet Polka.
312 pages, Dunod 1999, ISBN 210004432X.
Les filtres linéaires sont des outils très largement
utilisés en électronique, en traitement du signal ainsi
qu'en automatique. Le principal problème consiste à s'assurer
de leur stabilité: le signal filtré en sortie doit rester
proportionnel au signal d'entrée dans le domaine d'utilisation
du filtre. Cet ouvrage recense de façon très pratique
tous les algorithmes disponibles pour tester la stabilité des
filtres ou plus généralement des systèmes linéaires.
Il permet au lecteur de choisir la méthode optimale en fonction
du problème de stabilité posé et propose de nombreux
exemples.
Algorithmes d'apprentissage
pour systèmes d'inférence floue
Pierre-Yves Glorennec, professeur à l'INSA de Rennes et membre
de l'IRISA.
Hermès 1999, ISBN
2-7462-0044-9.
La logique floue présente plusieurs facettes : celle qui est
abordée dans Algorithmes d'apprentissage pour systèmes
d'inférence floue concerne la représentation des connaissances
sous une forme directement interprétable, en utilisant le formalisme
des règles floues. Le problème se pose de savoir comment
exprimer des connaissances et comment les réactualiser en fonction
de l'expérience. La réponse à ces questions passe
par des représentations paramétriques adéquates
et l'utilisation de méthodes d'optimisation sous contrainte.
Il devient alors possible d'extraire des connaissances et d'optimiser
des règles floues automatiquement, le tout à partir des
données numériques disponibles.
L'optimisation de règles floues a pendant longtemps été
réalisée de façon empirique. Différentes
méthodes d'optimisation (on parle aussi d'apprentissage) ont
vu le jour depuis le début des années 90. Ces méthodes,
souvent basées sur des réseaux de neurones ou des algorithmes
génétiques, présentent l'inconvénient majeur
de ne pas prendre en compte la sémantique des règles floues.
La démarche choisie dans cet ouvrage insiste au contraire sur
les spécificités des systèmes d'inférence
floue pour en déduire des algorithmes appropriés, simples
et performants, garantissant la sémantique tout au long de l'apprentissage.
Constrained Markov Decision Processes
Eitan Altman, chercheur au projet Mistral à l'Inria Sophia-Antipolis.
Chapman & Hall/CRC 1999,
ISBN: 0849303826
In many situations in the optimization of dynamic systems arising in
engineering fields, optimizing a single utility is insufficient to describe
the real objectives involved in sequential decision making. A natural
approach is to optimize one objective, with constraints on other ones.
This allows one to understand the tradeoff between the various objectives.
We use the framework of controlled Markov chains, which has already
proven to be quite powerful in many applications. When the system can
be described by a finite number of states and the decision maker has
a finite number of decision actions, we solve stochastic dynamic control
problems using finite linear programs. This is presented in the first
part of the book.
More complex systems cannot be described using a finite number of states
or decision actions. They are treated in the second part of the book.
We handle such systems in two ways: the so called "negative dynamic
programming" approach in which the costs are assumed to be bounded
below, and an approach based on uniform Lyapunov function techniques.
In some cases, systems with an infinite number of states can be approximated
by finite systems. Then, we obtain a good policy for the original problem
by solving a simpler control problem. This approach, as well as many
other approximation issues are presented in the third part of the book.
Maillage : Applications aux éléments finis
Pascal-Jean Frey et Paul Louis George, respectivement
chercheur et directeur de recherche à l'INRIA Rocquencourt, projet
Gamma
Hermès, 842 pages, 1999, ISBN 2-7462-0024-4
Ce livre décrit les différents algorithmes et structures
de données utiles dans les problèmes de construction de
triangulation et de maillages. Il aborde à la fois les aspects
théoriques et les points plus directement pratiques. De nombreux
autres aspects sont abordés : outils de modification, d'évaluation
et d'optimisation de maillages, construction de maillages adaptés
et aspects parallélismes.
Algorithmic Geometry
Jean-Daniel Boissonnat,
directeur de recherche, responsable du projet Prisme à Sophia-Antipolis
et Mariette Yvinec, chargée de recherche - traduit du français
par Hervé Bronnimann, chargé de recherche.
Cambridge University Press,
ISBN 0-521-56322-4 et 0-521-56529-4
The design and analysis of geometric algorithms has seen remarkable
growth in recent years, due to their application in, for example, computer
vision, graphics, medical imaging and CAD.The goal of this book is twofold:
first to present a coherent and systematic treatment of the foundations;
second to present algorithmic solutions to problems that are simple
to state but which nevertheless are applicable in practical situations.The
prerequisites for using the book are few which will make it ideal for
teaching advanced courses in computational geometry.
The Functional Approach to Programming
Guy Cousineau, professeur à l'université Paris VII et
Michel Mauny, directeur
de recherche, responsable du projet Cristal à Rocquencourt
- traduit du français par Kathleen Callaway.
Cambridge University Press,
ISBN 0-521-57183-9 et 0-521-57681-4.
A programming course should concentrate on a program's logical structure
and design rather than on simply writing code. The functional approach
to programming achieves this aim because logical concepts are evident
and programs are transparent, and so can be written quickly and cleanly.
In this book, the authors emphasize the notions of function and relate
programming to familiar concepts from mathematics and logic. They introduce
functional programming via examples but also explain what programs compute
and how to reason about them. They show how the ideas can be implemented
in the Caml language, a dialect of the ML family, and give examples
of how complex programs from a variety of areas (such as arithmetic,
tree algorithms, graph algorithms, text parsing and geometry) can be
developed in close agreement with their specifications. Many exercises
and examples are included throughout the book; solutions are also available.
An appendix gives all the code used in the book in Standard ML.
"Random
Walks in the Quarter Plane" Algebraic Methods, Boundary Value
Problems and Applications Series: applications of mathematics
Guy Fayolle, directeur
de recherche INRIA-Rocquencourt, responsable du projet Meval, Roudolf Iasnogorodski,
professeur à l'université d'Orléans, Vadim Malyshev,
directeur de recherche INRIA-Rocquencourt.
Karatzas , I.Yor, M. (Eds.) Mars 1999, ISBN 3-540-65047-4, Springer-Verlag Berlin/Heidelberg
Cette monographie propose des méthodes mathématiques
originales pour déterminer la mesure invariante de marches aléatoires
bidimensionelles dans un domaine comportant des frontières. Des
processus de cette nature présentent un intérêt
dans plusieurs types de recherches mathématiques et interviennent
dans des problèmes de probabilités pures comme dans des
applications de la théorie des files d'attente. En se servant
de surfaces de Riemann et de problèmes aux limites, les auteurs
proposent des approches entièrement nouvelles pour résoudre
des équations fonctionnelles en deux variables complexes. Ces
méthodes peuvent également être utilisées
pour caractériser le comportement transitoire de marches aléatoires
dans le quart de plan.
Engineering and Scientific
Computing with SciLab
Claude Gomez, directeur
de recherche, INRIA - Rocquencourt
Birkhaüser Boston, Janvier 1999, ISBN 0-8176-4009-6).
SciLab est un environnement
logiciel puissant et ouvert conçu pour l'ingénierie et
les applications scientifiques. Ce livre décrit en détail
comment utiliser SciLab, comment maîtriser l'environnement et
le langage de programmation de ce logiciel, ses outils graphiques intégrés,
comment l'utilisateur peut ajouter et intégrer ses propres fonctions,
et il fait le tour de ses nombreuses boîtes à outils applicatives.
Le livre est accompagné d'un CD-ROM qui inclut l'intégralité
du logiciel en forme source, ainsi que les binaires exécutables
pour un certain nombre de plate-formes. Le CD-ROM contient les programmes
qui illustrent les nombreux exemples du livre.
Archives des monographies : 1998 - 1999 - 2000-2001.
