The Dirac Equation is a modern presentation of the relativistic quantum mechanics of electrons intended to make new mathematical results accessible to a wider audience. It treats in some depth the relativistic invariance of a quantum theory, self-adjointness and spectral theory, qualitative features of relativistic bound and...
During the 1980's the flat relational model (relational model), which was initiated by
Codd in 1970, gained immense popularity and acceptance in the market place. One of
the main reasons for this success is that the relational model provides physical data
independences i.e. changing the physical organization of the database does not...
A FEW YEARS AGO some students and I were looking at a map that pinpointed the
locations of about loo cities. We asked ourselves, "Which of these cities are neighbors
of each other?" We knew intuitively that some pairs of cities were neighbors and others
were not; we wanted to find a formal mathematical characterization that...
This is the first book entirely dedicated to the problem of memory management in programming language implementation. Its originality stems from the diversity of languages and approaches presented: functional programming, logic programming, object oriented programming, and parallel and sequential programming. The book...
Computer vision seeks a process that starts with a noisy, ambiguous signal from a TV
camera and ends with a high-level description of discrete objects located in 3-dimensional
space and identified in a human classification. In this book we address this process at
several levels. We first treat the low-level image-processing issues of...
Modern computing tools like MAPLE (a symbolic computation package)
and MATLAB (a numeric computation and visualization program)
make it possible to use the techniques of scientific computing
to solve realistic nontrivial problems in a classroom setting. These...
This volume contains a selection of the papers which were accepted for presentation at AADEBUG'93, the First International Workshop on Automated and Algorithmic Debugging, held in Link6ping, Sweden, 3-5 May 1993.
The area referred to as automated debugging has seen major developments over the last decade. One especially successful area...
Studying modern database languages one recognizes that there is a gap between language
features and theoretical foundations:
* Studies of the formal foundations exist for the relational data model but not
for the Entity-Relationship model, which is a model used by numerous practical
people. Also, most extensions of...
The substantial effort of parallel programming is only justified if the resulting
codes are adequately efficient. In this sense, all types of performance tuning are
extremely important to parallel software development. With parallel programs,
performance improvements are much more difficult to achieve than with con
ventional...
The REX School/Symposium *A Decade of Concurrency - Reflections and
Perspectives' was the final event of a ten year period of cooperation between three
Dutch research groups working on the foundations of concurrency. Ever since its
inception in 1983. the goal of the project has been'to contribute to the
crossfertilization...
Cognitive spatial concepts are qualitative in nature, i.e., they are based not so
much on exact quantities but on comparisons between perceived magnitudes.
We develop a qualitative model for the representation of spatial knowledge (in
particular, of positional information about 2-dimensional projections) that is
based only on locative...
This volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial...
