Patrick Gros (équipe-projet TEXMEX), Petros Maragos et Alexandros Potamianos
Editeur : Springer, 2008, 374 p
ISBN : 978-0-387-76315-6
About this book:
This book presents high quality, state-of-the-art research ideas and results from theoretic, algorithmic and application viewpoints. This edited volume contains both state-of-the-art reviews and original contributions by leading experts in the scientific and technological field of multimedia. It grew out of a four-year collaboration among research groups participating in the European network of Excellence on Multimedia Understanding, Semantics, Computation and Learning (MUSCLE).
Stephan
Merz (équipe-projet MOSEL)
et Fred Kröger
Editeur : Springer, 2008, XII, 436 p.
ISBN : 978-3-540-67401-6
About this book:
Temporal logic has developed over the last 30 years into a
powerful formal setting for the specification and verification of
state-based systems. Based on university lectures given by the authors,
this book is a comprehensive, concise, uniform, up-to-date presentation
of the theory and applications of linear and branching time temporal
logic; TLA (Temporal Logic of Actions); automata theoretical connections;
model checking; and related theories.
Stefano
Cagnoni, Evelyne
Lutton (équipe-projet APIS)
et Gustavo
Olague
EURASIP Book Series on Signal Processing and Communications
2008
ISBN : 978-977-454-001-1
About this book:
Image analysis
and processing is steadily gaining relevance within the large number
of application fields to which genetic and evolutionary computation
(GEC) techniques are applied. Although more and more examples of
such applications can be found in literature, they are scattered,
apart from a few exceptions, in proceedings and journals dedicated
to more general topics. This book is the first attempt to offer
a panoramic view on the field, by describing applications of most
mainstream GEC techniques to a wide range of problems in image
processing and analysis. More than 20 leading researchers in the
field have contributed to this book, covering topics ranging from
low-level image processing to high-level image analysis in advanced
computer vision applications. More...
Paul-Louis George et
Pascal Jean Frey (équipe-projet GAMMA)
Iste et Wiley, 848 pages, 2008
ISBN : 9781848210295
About this book:
The aim of the second edition of this book is to provide a comprehensive
survey of the different algorithms and data structures useful for
triangulation and meshing construction. In addition, several aspects
are given full coverage, such as mesh modification tools, mesh evaluation
criteria, mesh optimization, adaptive mesh construction and parallel
meshing techniques. This new edition has been comprehensively updated
and also includes a new chapter on mobile or deformable meshes.
François
Sillion, Julie
Dorsey, Holly
Rushmeier
Morgan Kaufmann / Elsevier, 336 pages, 2008
ISBN : 978-0-12-221181-2
About this book:
Computer graphics systems are capable of generating stunningly realistic
images of objects that have never physically existed. In order for
computers to create these accurately detailed images, digital models
of appearance must include robust data to give viewers a credible
visual impression of the depicted materials. In particular, digital
models demonstrating the nuances of how materials interact with light
are essential to this capability. This is the first comprehensive
work on the digital modeling of material appearance: it explains
how models from physics and engineering are combined with keen observation
skills for use in computer graphics rendering. Written by the foremost
experts in appearance modeling and rendering, this book is for practitioners
who want a general framework for understanding material modeling
tools, and also for researchers pursuing the development of new modeling
techniques. The text is not a ";how to"; guide for a particular
software system. Instead, it provides a thorough discussion of foundations
and detailed coverage of key advances. Practitioners and researchers
in applications such as architecture, theater, product development,
cultural heritage documentation, visual simulation and training,
as well as traditional digital application areas such as feature
film, television, and computer games, will benefit from this much
needed resource.
Sylvain Contassot-Vivier (équipe-projet ALGORILLE) Jacques
M. Bahi, Raphael
Couturier
Series : Chapman & Hall/CRC Numerical Analy & Scient Comp.
Series Volume: 1
240 pages, 2008
ISBN: 9781584888086
About this book:
Focusing on grid computing and asynchronism, Parallel Iterative
Algorithms explores the theoretical and practical aspects of parallel
numerical algorithms. Each chapter contains a theoretical discussion
of the topic, an algorithmic section that fully details implementation
examples and specific algorithms, and an evaluation of the advantages
and drawbacks of the algorithms. Several exercises also appear at
the end of most chapters.
The first two chapters introduce the general features of sequential
iterative algorithms and their applications to numerical problems.
The book then describes different kinds of parallel systems and parallel
iterative algorithms. It goes on to address both linear and nonlinear
parallel synchronous and asynchronous iterative algorithms for numerical
computation, with an emphasis on the multisplitting approach. The
final chapter discusses the features required for efficient implementation
of asynchronous iterative algorithms.
Providing the theoretical and practical knowledge needed to design
and implement efficient parallel iterative algorithms, this book
illustrates how to apply these algorithms to solve linear and nonlinear
numerical problems in parallel environments, including local, distant,
homogeneous, and heterogeneous clusters.
Stephan
Merz et Nicolas Navet (équipe-projet TRIO)
ISTE publishing / John Wyley, 400 pages, 2008
ISBN: 9781848210134
About this book:
This title presents some of the most important concepts and techniques
for describing and modeling real-time systems and analyzing their
behavior in order to enable hardware and embedded software designers
to create systems that will operate as intended in a real-world
environment.
Topics addressed include mathematical models of real-time systems
and associated formal verification techniques such as model checking,
probabilistic modeling and verification, programming and description
languages, and validation approaches based on testing. With contributions
from authors who are experts in their respective fields, this will
provide the reader with the state of the art in formal verification
of real-time systems and an overview of available software tools.
Marc
Thiriet (équipe-projet REO)
Part I: Biology -
Springer, 657 pages, 2008
ISBN: 978-0-387-74846-7
Part II: Mechanics
and Medical Aspects -
Springer,467 pages, 2008
ISBN: 978-0-387-74848-1 - Series: CRM
Series in Mathematical Physics
About these books:
Biology and Mechanics of Blood Flows presents the basic knowledge
and state-of-the-art techniques necessary to carry out investigations
of the cardiovascular system using modeling and simulation.
- Part I, which focuses on nanoscopic and microscopic
components and processes. This volume contains chapters on anatomy,
physiology, continuum mechanics, as well as pathological changes
in the vasculature walls including the heart and their treatments.
Methods of numerical simulations are given and illustrated in particular
by application to wall diseases. This authoritative book will appeal
to any biologist, chemist, physicist, or applied mathematician interested
in the functioning of the cardiovascular system.
- Part II of this two-volume sequence, Mechanics
and Medical Aspects, refers to the extraction of input data at the
macroscopic scale for modeling the cardiovascular system, and complements.
Vincent
Acary, Bernard Brogiato (membres de l'équipe-projet BIPOP)
Series: Lecture Notes
in Applied and Computational Mechanics, Vol. 35
Springer, 525 pages, 2008
ISBN: 978-3-540-75391-9
About this book:
This book concerns the numerical simulation of dynamical systems
whose trajectories may not be differentiable everywhere. They are
named nonsmooth dynamical systems. They make an important class
of systems, firstly because of the many applications in which nonsmooth
models are useful, secondly because they give rise to new problems
in various fields of science. Usually nonsmooth dynamical systems
are represented as differential inclusions, complementarity systems,
evolution variational inequalities, each of these classes being
itself split into several subclasses.
With detailed examples of multibody systems with contact, impact
and friction and electrical circuits with piecewise linear and ideal
components, the book is is mainly intended for researchers in Mechanics
and Electrical Engineering, but it will be attractive to researchers
from other scientific communities like Systems and Control, Robotics,
Physics of Granular Media, Civil Engineering, Virtual Reality, Haptic
Systems, Computer Graphics, etc.
