Cognitive Ergonomics
Cognitive Ergonomics

Author: G.C. van der Veer

Publisher: Elsevier

Published: 1992-05-07

Total Pages: 350

ISBN-13: 9780444895042

DOWNLOAD EBOOK

This collection of papers illustrates how concepts, theories and techniques from experimental psychology can be applied in the domain of Human-Computer Interaction (HCI). An experimental psychological basis for cognitive ergonomics is presented, built on a foundation of theoretical and experimental research. In addition, various issues in cognitive ergonomics are closely examined, including performance in specific interactive tasks - such as computer programming and program debugging. Other subject areas covered include database interrogation, text editing and graphics design.

Cognitive Ergonomics
Cognitive Ergonomics

Author: Pierre Falzon

Publisher: Academic Press

Published: 2015-09-03

Total Pages: 274

ISBN-13: 1483288498

DOWNLOAD EBOOK

This reference work covers the breadth of cognitive ergonomics in human*b1computer interaction (HCI). Covering models for design, learning procedures, and planning and understanding, this book is specifically concerned with the cognitive ergonomics of human*b1computer interaction--from analogical thinking to spreadsheet calculation, office organization to process control. It provides an overview of HCI issues from the cognitive perspective.

Embedded Systems
Embedded Systems

Author: Albert Kündig

Publisher: Springer Science & Business Media

Published: 1987-10-21

Total Pages: 222

ISBN-13: 9783540185819

DOWNLOAD EBOOK

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.

Computation Theory and Logic
Computation Theory and Logic

Author: Egon Börger

Publisher: Springer Science & Business Media

Published: 1987-07-29

Total Pages: 456

ISBN-13: 9783540181705

DOWNLOAD EBOOK

In Memory of Dieter Rötting. 24.8.1937 - 4.6.1984. On the Occasion of the 50th Anniversary of His Birth

Unobstructed Shortest Paths in Polyhedral Environments
Unobstructed Shortest Paths in Polyhedral Environments

Author: Varol Akman

Publisher: Springer Science & Business Media

Published: 1987-03-11

Total Pages: 116

ISBN-13: 9783540176299

DOWNLOAD EBOOK

The first examination of the cervical spine is always made using standard radiographs and, often enough, this suffices as a basis for diagnosis. Malformations, tumours, and more frequently traumas, rheumatism, and even ordinary neck pain require radiological examination of the spine. Interpretation, however, is difficult. Take a cervical vertebra in your hand and you will see that it is complex enough itself. In radiology the overlapping pieces of bone, summation phenomena and the diversity of viewing angles complicate interpretation of the images still further. The book by J.-F. Bonneville and F. Cattin suggests an original method of reading the radiographs, strict but very attractive, which considerably simplifies the interpretation of images of the cervical spine. This book shows that two- or threedimensional computed tomograms accompany standard radiographs as an excellent aid to comprehension. It is as though the reader had access to each part of the bony anatomy shown in the radiographs and from then on everything becomes easy, superimpositions disappear, traps become visible, anatomy triumphs, the image lives.

Translating Relational Queries Into Iterative Programs
Translating Relational Queries Into Iterative Programs

Author: Johann C. Freytag

Publisher: Springer Science & Business Media

Published: 1987-06-24

Total Pages: 148

ISBN-13: 9783540180005

DOWNLOAD EBOOK

The authors discuss and analyse various spectroscopic effects in relation to the interaction mechanisms of molecules with laser fields. The contents are organized according to the aspects of molecular spectra that reflect intra- and intermolecular interactions and the influence of the molecular environment. After a brief summary of molecular energy levels and spectra, the discussion centers on molecular spectroscopy, with balanced treatments of the coarse and fine structures of molecular two-photon spectra, Doppler-free spectra via nonlinear uncoupling interactions of lasers with molecules, the spectral effects of nonlinear coupling interactions of lasers with molecules, and methods of selective simplification and identification of molecular spectra. The theory is given throughout in terms of the density matrix equations. Concepts are illustrated by examples based on simple molecules.

ANNA A Language for Annotating Ada Programs
ANNA A Language for Annotating Ada Programs

Author: David C. Luckham

Publisher: Springer Science & Business Media

Published: 1987-07-15

Total Pages: 154

ISBN-13: 9783540179801

DOWNLOAD EBOOK

This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to ADA programs. The current ANNA design includes annotations of all ADA constructs except tasking. Similar extensions for formal specification can be made to other Algol-like languages such as Pascal, PL/1, Concurrent Pascal, and Modula; essentially, these extensions would be subsets of ANNA. The design of ANNA was undertaken from the beginning with four principal considerations: 1. Constructing annotations should be easy for the ADA programmer and should depend as much as possible on notation and concepts of ADA. 2. ANNA should possess language features that are widely used in the specification and documentation of programs. 3. ANNA should provide a framework within which the various established theories of formally specifying programs may be applied to ADA. 4. Annotations should be equally well suited for different possible applications during the life cycle of a program. Such applications include not only testing, debugging and formal verification of a finished program, but also specification of program parts during the earlier stages of requirements analysis and program design.

Database Machine Performance: Modeling Methodologies and Evaluation Strategies
Database Machine Performance: Modeling Methodologies and Evaluation Strategies

Author: Francesca Cesarini

Publisher: Springer Science & Business Media

Published: 1987-06-24

Total Pages: 264

ISBN-13: 9783540179429

DOWNLOAD EBOOK

This book is focused on the performance evaluation of database machines, i.e., special-purpose architectures specifically meant to improve the efficiency of database applications. The topic is of primary interest because of the need to compare these systems among themselves and with traditional database management systems. The book gathers the experience of several European research groups in modeling and analyzing the database machine architectures they have proposed. It deals both with the main methodological issues and with the detailed analysis of some relevant problems. It also includes an extensive annotated bibliography with more than one hundred references and several keys for the access to the literature.