"The Handbook of Human-Machine Interaction" features 20 original chapters and a conclusion focusing on human-machine interaction (HMI) from analysis, design and evaluation perspectives. It offers a comprehensive range of principles, methods, techniques and tools to provide the reader with a clear knowledge of the current academic...

The pharmaceutical industry worldwide is a rapidly burgeoning industry contributing to growth of gross domestic product and employment. Technological change in this field has been very rapid, with many new products being introduced. For this reason in part, health care budgets throughout the world have increased dramatically, eliciting...

Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over...

This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic...

Documents research on the impact of computer games on the learning of adults. Computer games and learning are characterized from a series of different theoretical and empirical viewpoints. Both civilian sector and military applications are presented. While effectiveness of game environments to support learning can be documented in terms of...

This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications. First, an introduction to research areas relevant for NLU is given. We review approaches to linguistic...

On May 21-24, 1997 the Second International Symposium on Algorithms for Macromolecular Modelling was held at the Konrad Zuse Zentrum in Berlin. The event brought together computational scientists in fields like biochemistry, biophysics, physical chemistry, or statistical physics and numerical analysts as well as computer scientists working on...