Classement par ordre chronologique.
E.
Altman, ( projet MAESTRO),
B.Gaujal,
(projet TRIO) and A.
Hordijk (Mathematical Institute, Leiden University)
Springer Verlag, Series: Lecture Notes in Mathematics 2003, XIV, 313
p., Softcover, ISBN: 3-540-20358-3.
Opening new directions in research in both discrete event dynamic systems
as well as in stochastic control, this volume focuses on a wide class
of control and of optimization problems over sequences of integer numbers.
This is a counterpart of convex optimization in the setting of discrete
optimization. The theory developed is applied to the control of stochastic
discrete-event dynamic systems. Some applications are admission, routing,
service allocation and vacation control in queuing networks. Pure and
applied mathematicians will enjoy reading the book since it brings together
many disciplines in mathematics: combinatorics, stochastic processes,
stochastic control and optimization, discrete event dynamic systems,
algebra.
Stéphane Ducasse (projet ADAM), Oscar Nierstrasz et Serge Demeyer
Editions Eyrolles, 282 p., 2003, ISSN
: 1-55860-639-4
The documentation is missing or obsolete, and the original developers have departed. Your team has limited understanding of the system, and unit tests are missing for many, if not all, of the components. When you fix a bug in one place, another bug pops up somewhere else in the system. Long rebuild times make any change difficult. All of these are signs of software that is close to the breaking point.
Many systems can be upgraded or simply thrown away if they no longer serve their purpose. Legacy software, however, is crucial for operations and needs to be continually available and upgraded. How can you reduce the complexity of a legacy system sufficiently so that it can continue to be used and adapted at acceptable cost?
Based on the authors' industrial experiences, this book is a guide on how to reverse engineer legacy systems to understand their problems, and then reengineer those systems to meet new demands. Patterns are used to clarify and explain the process of understanding large code bases, hence transforming them to meet new requirements. The key insight is that the right design and organization of your system is not something that can be evident from the initial requirements alone, but rather as a consequence of understanding how these requirements evolve.
Frédéric
Cao , (projet VISTA),
Springer-Verlag, Lecture Notes in Mathematics, Volume 1805, 2003, ISSN
: 0075-8434
In image processing, "motions by curvature" provide an efficient
way to smooth curvesrepresenting the boundaries of objects. In such
a motion, each point of the curve moves, at any instant, with a normal
velocity equal to a function of the curvature at this point. This book
is a rigorous and self-contained exposition of the techniques of "motion
by curvature". The approach is axiomatic and formulated in terms
of geometric invariance with respect to the position of the observer.
This is translated into mathematical terms, and the author develops
the approach of Olver, Sapiro and Tannenbaum, which classifies all curve
evolution equations. He then draws a complete parallel with another
axiomatic approach using level-set methods: this leads to generalized
curvature motions. Finally, novel, and very accurate, numerical schemes
are proposed allowing one to compute the solution of highly degenerate
evolution equations in a completely invariant way. The convergence of
this scheme is also proved.
Jean-Marc
Hasenfratz ,
Presse Universitaire de Grenoble, 2003, ISBN : 2 7061 1102 X
Voici un guide pédagogique, éprouvé par plusieurs
centaines d'étudiants sur plusieurs années, pour construire
et gérer des bases de données avec Microsoft Access. Il
présente toutes les notions fondamentales pour mettre en place
une base de données (concepts, tables, relations, etc.) et propose
de nombreux exercices corrigés.
Jean-Marc Hasenfratz est Maître de Conférences
à l'IUP Commerce et Vente de Grenoble (Université Pierre
Mendès France, Grenoble II) et chercheur dans le projet ARTIS
(Gravir /INRIA Rhône-Alpes).
Jacques. Lonchamp, projet ECOO
(INRIA Lorraine/Loria)
Hermès/Lavoisier, 2003, 318 pages, ISBN : 2-7462-0668-4
Cet ouvrage de synthèse cherche à rapprocher des théories
permettant de comprendre et d'analyser le travail coopératif
(théorie de l'activité, théorie de la coordination,
cognition distribuée et ergonomie cognitive) et l'étude
technique des systèmes coopératifs (communication médiatisée,
partage des informations, gestion des contextes, conscience de groupe).
Eric
Filiol,
(projet CODES)
Springer, collection Iris, ISBN 2-2-87-20297-8.
Cet ouvrage présente les virus informatiques selon une triple
perspective : les fondements théoriques de la virologie informatique,
l'aspect algorithmique et pratique des virus ainsi que les applications
que l'on peut mettre en oeuvre à l'aide de virus.
en 2 volumes. De nombreux auteurs dont
B. Arnaldi, A.
Chauffaut,
T. Duval,
S. Donikian (projet SIAMES),
J.M.
Burkhardt, projet
EIFFEL), S.
Coquillart, (projet
I3D) et all.
Parution en Septembre 2003 aux Presses de l'Ecole des Mines de Paris
Ce traité, unique livre récent en français sur
la réalité virtuelle, présente les concepts, les
interfaces, les techniques informatiques et les applications. Cette
deuxième version est rédigée par des chercheurs
en réalité virtuelle.
en 3 Volumes, préfacés par Roger Temam, Alain Bensoussan
et Philippe Ciarlet.
Jacques-Louis Lions a été le premier président
de l'INRIA.
- Équations aux dérivées partielles Interpolation
, ISBN 2-86883-661-5
- Contrôle Homogénéisation, ISBN 2-86883-662-3
- Analyse numérique Calcul scientifique Applications , ISBN 2-86883-663-1
Pascal Jean Frey et Paul-Louis George,( projet GAMMA)
Lavoisier, 2003, ISBN 2-7462-0701-X
Le maillage est un concept protéiforme auquel il semble difficile
d'échapper. En effet, la notion de maillage sous-tend un grand
nombre de conceptions naturelles ou artificielles, des taches sur la
peau de certains animaux aux dispositions géologiques de roches
basaltiques, de la pyramide du Louvre aux images de synthèse,
etc. Dans les bureaux d'études, les ingénieurs ont depuis
longtemps l'habitude de construire et de manipuler des maillages, afin
de concevoir, de calculer ou de visualiser des pièces complexes
qui seront ensuite fabriquées.
Cet ouvrage s'efforce d'apporter des réponses simples aux questions
élémentaires et fondamentales qui se posent. Sont abordées
les grandes classes d'algorithmes permettant de construire des maillages
adaptés aux besoins des utilisateurs et aux contraintes des applications
envisagées. De nombreux exemples d'application sont l'occasion
de mesurer les enjeux liés à la génération
de maillages adaptés. Enfin, quelques exercices ludiques sont
proposés.
Philippe Robert, (équipe
RAP)
Series
: Applications of Mathematics, Vol. 52,
Springer, 2003, ISBN 3-540-00657-5
Queues and stochastic networks are analyzed in this book with purely
probabilistic methods. Recent developments have shown that a better
understanding of fundamental results on stochastic processes is crucial
to study the complex behavior of stochastic networks. Various aspects
of these stochastic models are investigated in depth in an elementary
way: Existence of equilibrium, characterization of stationary regimes,
transient behaviors (rare events, hitting times) and critical regimes,
etc. A simple presentation of stationary point processes and Palm measures
is given. Scaling methods and functional limit theorems are a major
theme. In particular, a complete chapter is devoted to fluid limits
of Markov processes.
Dominique Chapelle projet
MACS
et
K.J. Bathe (MIT, USA)
Springer, 2003, ISBN: 3-540-41339-1
This book presents a modern continuum mechanics and mathematical framework
to study shell physical behaviors, and to formulate and evaluate finite
element procedures. With a view towards the synergy that results from
physical and mathematical understanding, the book focuses on the fundamentals
of shell theories, their mathematical bases and finite element discretizations.
The complexity of the physical behaviors of shells is analysed, and
the difficulties to obtain uniformly optimal finite element procedures
are identified and studied. Some modern finite element methods are presented
for linear and nonlinear analyses.
Arnaud Legrand, Yves Robert, ENS Lyon
DUNOD, Mars 2003, ISBN : 2100065319
Un vieux proverbe du Far West assure qu'il est plus facile de mener
un attelage avec deux bonnes mules qu'avec mille poulets. Faire coopérer
un grand nombre de processeurs standard, agencés en grappe et
reliés par un réseau dont les ramifications sont plus
ou moins rapides, s'avère en effet nettement plus complexe que
d'utiliser un super-calculateur monolithique (mais ruineux). C'est pourtant
l'avenir et c'est l'objet de l'algorithmique parallèle. La première
partie décrit les modèles qui, même éloignés
de la réalité, sont indispensables aux fondements d'une
discipline. La seconde analyse les facteurs qui limitent l'efficacité
du parallèlisme (déséquilibrage de charges, inactivités
dues aux dépendances...) La troisième est consacrée
aux techniques de compilation.
François Baccelli,
projet TREC
et Pierre Brémaud
(CNRS L2S)
Deuxième édition révisée
Springer-Verlag, Heidelberg, ISBN 3-540-66088-7, Janvier 2003.
"Q.T. can be found in the book "Elements of Queuing Theory"
by F. Baccelli and P.Bremaud, which was published in 1994 (this is the
expanded version of their monograph from 1987, LNS VII, ISBN: 3-540-96514-9,
Springer-Verlag). This basic tool in this book is the theory of Palm
probabilities (Palm martingale calculus) applied to queuing systems
with ergodic inputs. This application together with the theory of stochastic
recurrences, provides a natural framework for the study of conservation
laws and stochastic comparison of queues." (Ryszard Syski "A
personal view of queuing theory", in: "Frontiers in Queuing",
edited by Jewgeni H. Dshalalow, CRC Press, 1997, p.11.
J. F. Bonnans
(projet SYDOCO)
, J.C.
Gilbert
(projet ESTIME,
C.
Lemaréchal (projet NUMOPT,
C.Sagastizábal
(IMPA, Brésil)
Springer-Verlag, Heidelberg, ISBN: 3-540-00191-3
L'optimisation numérique a de nombreuses applications en ingénierie,
recherche opérationnelle, économie, finance, etc. Partant
d'exemples d'illustration de ce caractère d'ubiquité,
ce livre est essentiellement consacré aux algorithmes numériques
pour l'optimisation, exposés de manière pédagogique.
Il couvre les algorithmes fondamentaux et certains thèmes plus
spécialisés et avancés pour les problèmes
avec ou sans contraintes. La plupart des algorithmes sont expliqués
en détail, ce qui facilite l'implémentation. Les aspects
théoriques des approches choisies sont aussi traités avec
soin, souvent avec des hypothèses minimales.
