Classement par ordre chronologique.
Stephen L. Campbell and Ramine Nikoukhah, (projet METALAU)
ISBN: 0-691-09987-1 - juin 2004.
Princeton University Press
Campbell and Nikoukhah's book proposes an "active" multimodel
approach. It calls for applying an auxiliary signal that will affect
the output so that it can be used to easily determine if there has
been a failure and what type of failure it is. This auxiliary signal
must be kept small, and often brief in duration, in order not to
interfere with system performance and to ensure timely detection
of the failure. The approach is robust and uses tools from robust
control theory. Unlike some approaches, it is applicable to complex
systems. The authors present the theory in a rigorous and intuitive
manner and provide practical algorithms for implementation of the
procedures.
Éric
Filiol, (projet
CODES )
Series : Collection IRIS
2004, XXIV, 384 p.
ISBN: 2-287-20297-8
Eric Filiol a reçu le
prix
ROBERVAL Enseignement Supérieur 2004 pour sa monographie.
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. La formalisation
théorique au moyen de machines de Türing, d'automates auto-reproducteurs
et de fonctions récursives permet de dresser un tableau clair
et détaillé des différents types d'infections informatiques.
Les principaux enjeux de la protection et de la lutte antivirale sont
ainsi mis en lumière. L'étude détaillée
du code source de diverses familles représentatives de l'algorithmique
virale permettra au lecteur de comprendre les mécanismes fondamentaux
mis en oeuvre par un virus ou un ver. Le langage C a été systématiquement
utilisé afin de faciliter la compréhension des programmes étudiés.
L'auteur, expert en virologie et en cryptologie au Ministère
de la Défense et chercheur associé à l'Institut
National de Recherche en Informatique et en Automatique, termine son
propos en décrivant certaines applications particulières
des virus. Il montre ainsi l'étendue de la virologie informatique.
Chadi
Barakat, (projet PLANETE) I.
Pratt (Eds)
Springer-Verlag Heidelberg, LNCS 3015 / 2004, XI, 300p.
ISBN: 3-540-21492-5
This book includes the proceedings of PAM 2004, the fifth international workshop
on Passive and Active Measurement (PAM), held in Juan-les-Pins on the French
Riviera on 19th and 20th April 2004, co-organized by the University of Cambridge
and INRIA - Sophia Antipolis, with financial support from Intel, Cisco and
the region of Provence-Alpes-Côte d'Azur.
Guest Editor: Nicholas Ayache(projet ÉPIDAURE)
Elsevier North-Holland, 2004. - 676 pages. - ISBN:
0-444-51566-6
Présentation : Les modèles in silico du corps humain visent à simuler
son fonctionnement sur ordinateur de manière réaliste,
ceci pour mieux prédire certaines pathologies et mieux guider
certaines stratégies thérapeutiques. Ce livre décrit
des exemples concrets de tels modèles en couvrant (sans être
exhaustif) un large éventail de méthodes et d'applications,
en précisant la modélisation mathématique des problèmes
physiques associés et en fournissant des exemples de simulation
numérique de plusieurs organes ou systèmes.
Auteur(s) : Crucianu Michel (projet IMEDIA), Asselin
de Beauville Jean-Pierre,
Boné Romuald
- Hermes - ISBN 2-7462-0921-7 - juin 2004
Ce livre présente les principales méthodes d'analyse
factorielle linéaire (analyse en composantes principales, analyse
des correspondances binaires, analyse des correspondances multiples,
analyse discriminante). Les méthodes d'analyse non linéaire
des données, à base de noyaux (kernel principal component
analysis, kernel discriminant analysis) ou à base de réseaux
de neurones, sont également abordées. Des exemples d'application
et des exercices avec leurs solutions ou des indications pour la solution
sont associés à chaque méthode et permettent au
lecteur de consolider ses connaissances.
Auteur(s) : Jean-Claude Bajard, Jean-Michel Muller (projet ARENAIRE)
- Hermes, mai 2004.
Cet ouvrage présente le bilan actuel de ce qu'on sait faire
en arithmétique des ordinateurs. Le premier point abordé concerne
la manière de représenter les nombres en machine et son
influence sur les calculs. Ce livre s'intéresse ensuite aux algorithmes
permettant d'effectuer des opérations comme l'addition et la
multiplication (bases du calcul numérique) ainsi qu'à leur
implantation matérielle, puis au calcul des fonctions élémentaires
(sinus, logarithme, etc.) tel qu'il est fait dans les unités
arithmétiques virgule flottante des microprocesseurs. Diverses
solutions matérielles ou logicielles permettant d'élargir
les possibilités de calculs sur machine sont ensuite proposées,
telles que les opérateurs sur circuits FPGA (Field Programmable
Gates Array) qui permettent par exemple de suppléer le processeur
pour des calculs spécifiques. Cet ouvrage expose aussi les principaux
algorithmes des bibliothèques multiprécision, qu'il est
parfois nécessaire d'utiliser lorsque la précision fournie
par les processeurs pour certains calculs est trop insuffisante. Un
système plus exotique de représentation des nombres, basé sur
les restes modulaires est également présenté. Enfin,
le livre se conclut par l'étude d'opérateurs arithmétiques
sur les corps finis, essentiels pour le codage et la cryptographie.
Eric Guichard (projet AXIS)
a publié cet ouvrage
suite au colloque international " Mesures de l'internet" (12-14
mai 2003, Nice)
© Les
canadiens en Europe. Avril 2004.
Thomas Corpetti, (projet VISTA)
. La monographie correspond à ses travaux de thèse menés
sous la direction d'Etienne Mémin. 272 pages,
Hermes. Juin
2004.
Cet ouvrage présente deux méthodes pour analyser les écoulements
fluides à partir de séquences d'images par ordinateur.
Il traite d'abord du problème de l'estimation du mouvement par
la vision sur ordinateur. Il propose ensuite un estimateur de mouvement
spécialement conçu pour les phénomènes dynamiques
de nature fluide. Dans ce contexte, l'utilisation de techniques standard,
originalement conçues pour des mouvements rigides et reposant
sur des hypothèses parfois trop simples au regard de la physique
des phénomènes étudiés, est délicate.
L'estimateur de mouvement proposé intègre des données
physiques dans les modèles génériques (équation
de continuité et régularisation div-curl en particulier).
Ce livre est ensuite consacré à l'analyse d'un champ de
déplacement préalablement estimé, relatif à un
mouvement fluide. Une méthode visant à extraire les vortex
et puits/sources de l'écoulement en s'appuyant sur le modèle
de Rankine est proposée. La méthode est fondée
sur une représentation analytique du champ des vitesses et permet
d'extraire d'autres informations pertinentes relatives à l'écoulement
(fonctions de potentiels, décomposition selon Helmholtz de l'écoulement,
points singuliers, ...).
Houda Labiod (projet
PLANETE) et
Hossam Afifi (collab. exterieur Inria Sophia Antipolis).
Hermes
sciences,
2004.
- ISBN 2-7462-0813-X - mars 2004.
Présentation : Introduction générale. La norme
IEEE 802.11: architecture et fonctions. Bluetooth : architecture et
fonctions. Aspects réglementaires. La sécurité dans
les systèmes WLAN et WPAN à travers 802.11 et Bluetooth.
La qualité de service dans un environnement IEEE 802.11. Mesures
de performances de UDP et TCP sur IEEE 802.11 et Bluetooth. Wi-Fi et
Bluetooth par la pratique. Annexe A. Structure des paquets des couches
physiques 802.11. Annexe B. Structure des trames MAC 802.11. Annexe
C. Sécurité des données. Annexe D. Algorithme
de chiffrement AES.
Renaud Pawlak, Jean-Philippe Retaillé, Lionel Seinturier (Projet JACQUARD)
Editions Eyrolles - ISBN : 2-212-11408-7
- mai 2004
Écrit par trois experts français qui conjuguent une
triple expérience du sujet - recherche théorique, conception
d'outils logiciels et mise en ouvre en entreprise -, cet ouvrage est
structuré en quatre parties. La première partie présente
les principes de la POA et introduit les concepts d'aspect, de coupe,
de point de jonction, etc. La deuxième partie décrit
les principaux outils de POA du monde Java : AspectJ, JAC (Java Aspect
Components), JBoss AOP et AspectWerkz. La troisième partie présente
plusieurs exemples d'applications types dans lesquelles s'exprime tout
le potentiel de la POA. L'ouvrage s'achève sur une étude
de cas détaillée montrant comment implémenter
la POA dans une application J2EE existante, aussi bien au niveau de
la couche métier que de la couche présentation.
Francois Fages (projet
CONTRAINTES), F. Rossi, P. Szeredi, J. Vancza - Selected papers
of the Joint ERCIM/CoLogNET International Workshop on Constraint
Solving and Constraint Logic Programming, CSCLP'03, Budapest, Hungary,
June 30-July 2, 2003.
Publisher Springer-Verlag, Lectures
Notes in Artificial Intelligence, LNAI 3010, ISBN: 3-540-21834-3
,May 2004.
This book constitutes the thoroughly refereed post-proceedings of
the Joint ERCIM/CoLogNET International Workshop on Constraint Solving
and Constraint Logic Programming, CSCLP 2003 held in Budapest,
Hungary in June/July 2003.
The 15 revised full papers presented were carefully reviewed and
selected for inclusion in the book. The papers are organized in Topical
sections on constraint solving, soft constraints, language issues,
and applications.
Yves Bertot
(projet LEMME), Pierre
Castéran (projet SIGNES)
Springer Verlag, Series: Texts in Theoretical Computer Science, an EATCS
series, 2004, XXIV, 468 p., Hardcover, ISBN: 3-540-20854-2 .
Coq is an interactive
proof assistant for the development of mathematical theories and formally
certified software. It is based on a theory called the calculus of inductive
constructions, a variant of type theory. This book provides a pragmatic
introduction to the development of proofs and certified programs using
Coq. With its large collection of examples and exercises it is an invaluable
tool for researchers, students, and engineers interested in formal methods
and the development of zero-fault software.
