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...

The modern world offers lots of readily available online resources for learning. Wikipedia, Google, news sources, millions of Web sites and blogs, even YouTube, offer access to information in nearly any subject that triggers your curiosity and interest. Nonetheless, I continue to believe that for deep understanding of something, nothing...

The new...

The new Chapter 1 engages students with intriguing facts and figures to get them excited about studying computers and programming. The chapter includes a table of some of...

Computer Science: An Overview uses broad coverage and clear exposition to present a complete picture of the dynamic computer...

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 1983 I left the International Institute for Aerospace Survey and Earth Sciences (ITC) and went to Wageningen Agricultural University, where I took the chair of “Land Surveying and Teledetection”. Up to that time I had been active mainly in geodesy and photogrammetry, but at Wageningen it soon became...

This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions we feel are basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are already used heavily in computing...

Project management is more than merely parceling out work assignments to individuals and hoping that they will somehow accomplish a desired result. In fact, projects that could have been successful often fail because of such take-itfor- granted approaches. Individuals need hard information and real skills to work successfully in a...

Absolute C++ , offers complete coverage of the C++ programming language. It provides all the tools necessary for experienced and novice programmers to master C++, including: thorough coverage of the Standard Template Library; complete and fully executable code throughout; sections highlighting programming tips and common pitfalls; and a...

Since the publication of the first edition of The Description Logic Handbook in 2003, the interest in Description Logics (DL) has steadily increased. This applies both to the number of active DL researchers working on DL theory and implementations of reasoning services, and to the number of applications based on DL technology. One...

Where. Whether it refers to where you have been, where you are, or where you are going, the concept of where is important. Where links data to the physical world. A shopping list can be a very useful collection of data on its own, but that data can be even more useful with more context. If you map the location of the stores needed for...