Included in series
North-Holland Mathematics Studies, 201
Description
For more than forty years, the equation y'(t) = Ay(t) + u(t) in
Banach spaces has been used as model for optimal control
processes described by partial differential equations, in
particular heat and diffusion processes. Many of the outstanding
open problems, however, have remained open until recently, and
some have never been solved. This book is a survey of all results
know to the author, with emphasis on very recent results (1999 to
date). The book is restricted to linear equations and two
particular problems (the time optimal problem, the norm optimal
problem) which results in a more focused and concrete treatment.
As experience shows, results on linear equations are the basis
for the treatment of their semilinear counterparts, and
techniques for the time and norm optimal problems can often be
generalized to more general cost functionals. The main object of
this book is to be a state-of-the-art monograph on the theory of
the time and norm optimal controls for y'(t) = Ay(t) + u(t) that
ends at the very latest frontier of research, with open problems
and indications for future research.
Audience
Researchers in infinite dimensional control theory.
Contents
For more than forty years, the equation y'(t) = Ay(t) + u(t) in
Banach spaces has been used as model for optimal control
processes described by partial differential equations, in
particular heat and diffusion processes. Many of the outstanding
open problems, however, have remained open until recently, and
some have never been solved. This book is a survey of all results
know to the author, with emphasis on very recent results (1999 to
date). The book is restricted to linear equations and two
particular problems (the time optimal problem, the norm optimal
problem) which results in a more focused and concrete treatment.
As experience shows, results on linear equations are the basis
for the treatment of their semilinear counterparts, and
techniques for the time and norm optimal problems can often be
generalized to more general cost functionals. The main object of
this book is to be a state-of-the-art monograph on the theory of
the time and norm optimal controls for y'(t) = Ay(t) + u(t) that
ends at the very latest frontier of research, with open problems
and indications for future research.
Hardbound, ISBN: 0-444-51632-8, 332 pages, publication date: 2005
Series: Springer Series in Statistics
Approx. 300 p., Hardcover
ISBN: 0-387-20333-8
Due: August 2005
About this book
This book is devoted to the study of univariate distributions
appropriate for the analyses of data known to be nonnegative. The
book includes much material from reliability theory in
engineering and survival analysis in medicine.
Table of contents
Preliminaries * Ordering Distributions: Descriptive Statistics *
Mixtures * Nonparametric Families * Semiparametric Families:
Standard Examples * Exponential Distributions * Parametric
Extentions of the Exponential Distribution * Gompertz and
Gompertz-Makeham Distributions * Pareto and F Distributions and
Their Parametric Extensions * Logarithmic Distributions *
Inverser Gaussian Distributions * Distributions with Bounded
Support * Additional Parametric Families * Several Types of
Failure; Competing Risks * Covariate Models * Coincidence of
Semiparametric Families * Stability of Semi-Parametric Families *
Some Topics from Probability Theory * Convexity and Total
Positivity * Functional Equations * The Gamma and Beta Functions
* Summary of Distributions
2005, Approx. 480 p. 207 illus., Hardcover
ISBN: 0-387-24196-5
Due: October 2005
About this textbook
Computer graphics is important in many areas including
engineering design, architecture, education, and computer art and
animation. This book examines a wide array of current methods
used in creating real-looking objects in the computer, one of the
main aims of computer graphics.
Key features:
* Good foundational mathematical introduction to curves and
surfaces; no advanced math required
* Topics organized by different interpolation/approximation
techniques, each technique providing useful information about
curves and surfaces
* Exposition motivated by numerous examples and exercises
sprinkled throughout, aiding the reader
* Includes a gallery of color images, Mathematica code listings,
and sections on curves & surfaces by refinement and on sweep
surfaces
* Web site maintained and updated by the author, providing
readers with errata and auxiliary material
This engaging text is geared to a broad and general readership of
computer science/architecture engineers using computer graphics
to design objects, programmers for computer gamemakers, applied
mathematicians, and students majoring in computer graphics and
its applications. It may be used in a classroom setting or as a
general reference.
Table of contents
Preface.- Basic Theory.- Linear Interpolation.- Polynomial
Interpolation.- Hermite Interpolation.- Spline Interpolation.-
Bezier Approximation.- B-Spline Approximation.- Subdivision
Methods.- Sweep Surfaces.- A. Conic Sections.- B. Approximate
Circles.- C. Graphics Gallery.- D. Mathematica Notes.- Answers to
Exercises.- Bibliography.- Index
1st ed. 2003. 2nd printing, 2005, XVI, 458 p. 520 illus., 20
in colour., Softcover
ISBN: 3-540-20100-9
Due: August 2, 2005
About this book
From the reviews of the hardcover edition:
... This conference [... to celebrate the centennial of the birth
of Escher] resulted in an immensely interesting collection of
articles ... Although Escher himself is no longer among us, M.C.Escher's
Legacy, like a garden of continually blooming flowers, allows us
to appreciate his heritage anew.
Notices of the AMS April 2003
... It is a handsome volume, and contains articles from 41
people, which cover a wide range of artistic and analytical
endeavour. ... A quick dip into each section produces small gems.
... there is enough here to provide rich pickings for any
interested party, no matter what their particular discipline is.
Embedded in the various articles are even snippets which
illuminate Escher's intentions, and his relationships with his
mathematician friends ... Even though short, these are rewarding
to read.
... the CD-ROM ... is an excellent addition to the book, and
contains much more material, including "video" excerpts
from some of the lectures."
Australian Math. Soc. GAZETTE May 2003
Table of contents
From the contents:
Preface.- Escher's World.- Escher's Artistic Legacy.- Escher's
Scientific and Educational Legacy.- Solution to Scott Kim's
Puzzle.- About the Authors.
System requirements
Windows Platform: Intel Pentium Processor, Microsoft Windows 95
OSR 2.0, Windows 98 SE, Windows Millenium Edition, Windows NT 4.0
with Service Pack 5, Windows 2000, or Windows XP, CD-ROM drive,
sound card, 64 MB of RAM, 24 MB of available hard-disk space;
Macintosh Platform: PowerPCR-Prozessor, Mac OS software version 8.6(*),
9.0.4, 9.1, or Mac OS X (*), CD-ROM drive, 64 MB of RAM, 24 MB of
available hard-disk space (* Some features may not be available)
Series: Texts in Computer Science
2005, Approx. 365 p. 75 illus. with CD-ROM., Hardcover
ISBN: 0-387-40762-6
Due: August 2005
About this textbook
An advanced, graduate-level text, surveying computational logic
and set theory and its application to proof verification
techniques. Book develops all needed theory and provides a CD-ROM
with a proof-verifier program to demonstrate concepts. Advanced
CS students and researches will find the book an essential
presentation of the theoretical concepts of proof verification (i.e.,
proof checker) systems for large-scale software systems. Topics
and features: *Describes in-depth how a specific first-order
theory can be exploited to model and carry out reasoning in
branches of computer science and mathematics *Provides a verifier
aimed at tackling large-scale proof scenarios *Integrates
important proof-engineering issues, reflecting the goals of large-scale
verifiers
Table of contents
* Introduction * Propositional and predicate-calculus
preliminaries * More on the structure of the verifier system *
Undecidability and unsolvability * Appendix: A student's
encyclopedia of mathematical analysis