Both the editors of this book were exposed to human-in-the-loop simulations while
pursuing their doctoral degrees in the Center for Human-Machine Systems at
Georgia Tech. In fact, S. Narayanan served as Ling Rothrock’s teaching assistant
for the simulation course taught by Prof. Christine Mitchell. It has been over 15
years...
This preface tells the story of how Multimodal Usability responds to a special
challenge. Chapter 1 describes the goals and structure of this book.
The idea of describing how to make multimodal computer systems usable
arose in the European Network of Excellence SIMILAR – “Taskforce for creating
human-machine...
The study of minimum paths on or around polyhedra in Euclidean 3-space is
of growing importance in robotics. This work presents new algorithms
based on extensions of the Voronoi diagram. Since experience with new algo-
rithms is also important, this work also describes a workbench to allow
experimentation.
In numerous computer applications there is a need of storing large sets of objects in such a way that some questions about those objects can be answered efficiently. Data structures that store such sets of objects can be either static (built for a fixed set of objects) or dynamic (insertions of new objects and deletions of existing objects...
Concurrent processes can exhibit extremely complicated behavior, and
neither informal reasoning nor testing is reliable enough to establish their
correctness. In this thesis, we develop a new technique for the verification
of parallel programs. The technique is stated in terms of axioms and inference
rules, and it is used to prove...
The IBM Vienna Laboratory has made a significant contribution to the work on
the semantic description of computer systems. Both the operational semantics
descriptions ("VDL") and the later work on denotational semantics ("Meta-IV",
"VEM") contain interesting scientific ideas. Partly because of the large...
About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In...
This is a research monograph intended primarily for those researchers in
Theoretical Computer Science interested in the areas of logics of programs,
programming language semantics and program verification. It is also aimed at
mathematically-inclined researchers in Logic, Linguistics and Philosophy,
interested in a well-motivated...
In my first book on geometric algebra in 2007 the preface described how I had been completely
surprised by the existence of geometric algebra, especially after having recently completed a book
on vector analysis where it was not even mentioned! So why am I writing a second book on the
same subject?Well it’s not because I have...
The journal Computing has established a series of supplement volumes the fourth
of which appears this year. Its purpose is to provide a coherent presentation of a
new topic in a single volume. The previous subjects were Computer Arithmetic
1977, Fundamentals of Numerical Computation 1980, and Parallel Processes and
Related Automata...
OpenGL, which has been bound in C, is a seasoned graphics library for scientists and
engineers. As we know, Java is a rapidly growing language becoming the de facto
standard of Computer Science learning and application development platform as
many undergraduate computer science programs are adopting Java in place of C/C++.
Released by...
One of the most mysterious areas of information security is industrial system security.
No other area of information security contains that many myths, mistakes, misconceptions
and outright lies. Information available online, while voluminous, will
only lead information security professionals and industrial systems...