Computer Technology and Computer Programming

Niklaus Wirth is one of the great pioneers of computer technology and winner of the ACM's A.M. Turing Award, the most prestigious award in computer science. he has made substantial contributions to th

From all sides, we hear that computer technology, with its undeniable power to disseminate information and connect individuals, holds enormous potential for a reinvigoration of political life. But wil

A book/CD-ROM treatment of transport phenomena in porous media, textile, and automation technology for porous reinforcement, and of computer aided engineering for design optimization, offering a guide

Semiotics, the science of signs, has long been recognised as an important discipline for understanding information and communications. Moreover it has found wide application in other areas of computer science, as it offers an effective insight into organisations and the computer systems that support them. An organisation may be viewed as a system of information and communication in which human actors, with the assistance of information technology, are able to process, represent, store and consume information. Computer systems that fit into an organisation and that support and enhance its performance and competitiveness, can be better delivered if semiotic principles are understood and applied. In this book, first published in 2000, semiotic methods are introduced and illustrated through three major case studies, which demonstrate how information systems can be developed to meet business requirements and support business objectives. It will appeal to academics, systems developers and an

Object-oriented (OO) technology is an integral part of computer communications and multimedia service provisioning. Covering all areas related to OO programming in telecommunications applications, thi

This collection of articles by well-known experts was originally published in 2000 and is intended for researchers in computer science, practitioners of formal methods, and computer programmers working in safety-critical applications or in the technology of component-based systems. The work brings together several elements of this area that were fast becoming the focus of much research and practice in computing. The introduction by Clemens Szyperski gives a snapshot of research in the field. About half the articles deal with theoretical frameworks, models, and systems of notation; the rest of the book concentrates on case studies by researchers who have built prototype systems and present findings on architectures verification. The emphasis is on advances in the technological infrastructure of component-based systems; how to design and specify reusable components; and how to reason about, verify, and validate systems from components. Thus the book shows how theory might move into pract

In light of the spectacular performance of American high-technology weapons in the 1991 Persian Gulf War, as well as the phenomenal pace of innovation in the modern computer industry, many defense ana

Augmented reality (AR) is a human-computer interface technology in which computer-generated information appears superimposed and stabilized upon specific coordinates of real objects. The proceedings

This book describes the state-of-the-art advances in computer-based plant control. The material presented is intended to provide an introductory textbook in control and instrumentation technology for

The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves. The calculus is very simple but powerful; its most prominent ingredient is the notion of a name. Its theory has two important ingredients: the concept of behavioural (or observational) equivalence, and the use of a new theory of types to classify patterns of interactive behaviour. The internet, and its communication protocols, fall within the scope of the theory just as much as computer programs, data structures, algorithms and programming languages. This book is the first textbook on the subject; it has been long-awaited by professionals and will be welcomed by them, and their students.

Automatic Speech Recognition (ASR) is the enabling technology for hands-free dictation and voice-triggered computer menus. It is becoming increasingly prevalent in environments such as private telepho

Designed for courses in Probability and Statistics and/or Random Processes, this book integrates a modern approach to statistical methods, computer technology, and recent pedagogical trends into an in

Explores some of the more advanced tools in computer programming such as structured problem solving, object- oriented programming, data abstraction, and the comparative analysis of algorithms. The aut

An exploration of regression graphics through computer graphics.Recent developments in computer technology have stimulated new and exciting uses for graphics in statistical analyses. Regression Graphi

Exploring new trends in computer technology, Corporal introduces an innovative and exciting concept: Transport Triggered Architecture (TTAs). Unlike most traditional architectures, where programmed op

A practical guide for multivariate statistical techniques-- now updated and revised In recent years, innovations in computer technology and statistical methodologies have dramatically altered the lan

The development of digital technology and its widespread availability on the personal computer are bringing about a fundamental paradigm shift in the ways that literary texts are created, preserved, d

Protein chemistry has entered a revolutionary era due to the introduction of genetic engineering for modifying protein structure, as well as the application of advanced computer technology to the stud

Optical techniques have a huge range of potential applications in signal processing and in the interconnection of digital computing systems. This 1995 book provides a detailed review of the key issues which must be addressed in the design, evaluation and implementation of practical systems for signal processing and optical interconnection. Considerations such as the computer modelling of optical design limitations, the size and noise characteristics of optical modulators, and the relative merits of free-space and guided-wave optical technology in different processing systems, are all discussed in detail. The book will be of great interest to optical researchers and designers, and to anyone wishing to learn about the basic techniques of optical processing.

As computerisation in the medical environment has increased, so the advantages of storage and the computer analysis of data from various monitoring and measuring equipment has become well recognised. Most medical monitoring and measurement equipment now supports an RS-232 serial interface, allowing for direct computer access both in terms of data analysis and equipment control. This book describes the techniques used for interfacing a PC to a range of medical equipment used internationally in the areas of anaesthesia, intensive care, surgery, respiratory medicine and physiology. Part One addresses the serial interface, including the RS-232 standard, transmission of data and an introduction to serial-interface programming using Microsoft QuickBASIC. Part Two looks at electrical safety, the use of Kermit and data analysis. Part Three considers the practical aspects of interfacing a PC to a wide range of equipment, and includes example programs for collecting data and in some cases for co

The authors present a relatively simple, computer-oriented, general and unified approach to the analysis of metallic antennas and scatterers (of electrically small and medium sizes), based largely on

Creativity is a topic that has traditionally interested psychologists, historians and biographers. Developments in cognitive science and artificial intelligence have provided a powerful computational framework in which creativity can be studied and the creative process can be described and explained. In this book, creativity in technology is discussed using such a computational approach. Using an important historical episode in computer technology as a case study, namely the invention of microprogramming by Maurice Wilkes in 1951, the author presents a plausible explanation of the process by which Wilkes may have arrived at his invention. Based on this case study, the author has also proposed some very general hypotheses concerning creativity that appear to corroborate the findings of some psychologists and historians and then suggests that creative thinking is not significantly different in nature from everyday thinking and reasoning.

A graduate or undergraduate textbook for students in any field that uses computer models and simulation. Knowledge of differential equations, linear algebra, and matrix analysis, and some programming

As personal computers have become more available, there has been a great deal of optimism for educational reform through wide computer use, both at school and in the home. Beyond Technology's Promise, first published in 1994, takes a hard look at the home computer scene. The research reported in the book focuses on whether families are using computers to help children learn academic skills and, if so, how well they are doing it. The three year, qualitative investigation provides contextual information crucial to our understanding of how computers are really being used. The authors draw the not so surprising conclusion that most children use computers to play games. They therefore propose directions that must be taken in order to facilitate the educational use of home computers or any other promising educational technology. In so doing, they examine such topics as parental leadership, the home-school computer connection, and the role of gender in home computing use.

This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

This book is an up-to-date introduction to the quantum theory of measurement, a fast developing field of intense current interest to scientists and engineers for its potential high technology applications. It is also a subject of importance to students for its central role in the foundations of quantum mechanics. Although the main principles of the field were elaborated in the 1930s by Bohr, Schrödinger, Heisenberg, von Neumann and Mandelstam, it was not until the 1980s that technology became sufficiently advanced to allow its application in real experiments. Quantum measurement is now central to many ultra-high technology developments, such as squeezed light, single atom traps, and searches for gravitational radiation. It is also considered to have great promise for computer science and engineering, particularly for its applications in information processing and transfer. The book contains a pedagogical introduction to the relevant theory written at a level accessible to those with on

Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Human factors can help to improve Informatics Usability for real people, and to reduce the huge people-costs of human machine interactions. This book has been developed from lectures given at an Advanced Study course, sponsored by the European Science and Technology Research Committee of the Commission of the European Communities (CREST), and by the Science and Engineering Research Council (SERC) of the UK. It has three objectives: 1. To review the knowledge and methods available from the field of human factors for improving the usability of informatics systems; 2. To describe recent theoretical and methodological developments in the area; 3. To stimulate increased application of this expertise.

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Prog

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analy

As application speed increases, most computer CPUs are no longer getting faster; to compensate for the loss of speed, they are now being provided in multiples instead. Using concepts and problems fami

THE OFFICE is a comprehensive text for courses in the high school office technology curriculum. The course name can be Office Procedures, Administrative Procedures, Business and Computer Technology, e

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics. Eclipse is one of the leading software systems that realise its underlying methodology. Eclipse is exploited commercially by Cisco, and is freely available and used for teaching and research in over 500 universities. This book has a two-fold purpose. It's an introduction to constraint programming, appropriate for one-semester courses for upper undergraduate or graduate students in computer science or for programmers wishing to master the practical aspects of constraint programming. By the end of the book, the reader will be able to understand and write constraint programs that solve complex problems. Second, it provides a systematic introduction to the Eclipse system through carefully-chosen examples that guide the reader throu

If you've replaced a computer lately - or a cell phone, a camera, a television - chances are, the old one still worked. And chances are even greater that the latest model won't last as long as the one

This introduction to programming places computer science in the core of a liberalarts education. Unlike other introductory books, it focuses on the program design process. Thisapproach fosters a varie

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program

The technology of mechanized program verification can play a supporting role in manykinds of research projects in computer science, and related tools for formal proof-checking areseeing increasing ado

A new-generation reference book about the cool technology of our world, for kids used to surfing and swiping.Our world is full of funky gadgets and technological gizmos. Within the next hour, you will probably use a computer, the internet, a hand-held game, or a cell phone. Technology is not only playing an ever-increasing role in our everyday lives, but also in the way we explore the world around us. Cool technology is useful, but what do we know about how it works? This book investigates the science behind technology, taking readers on a journey of discovery that they will never forget. It uncovers the smart tech of mobile phones, wi-fi, and GPS, as well as the inner workings of game consoles. It examines the world of movement--how cars, airplanes, and other vehicles run. It delves into nanotechnology, spy gadgets, cyborgs, building in space, and the eco house. Explore the pages of this book to discover how the coolest technology of today really works!

Written to promote e-learning excellence, Digital Discourse outlines and illustrates the effectiveness of computer mediated discourse in teaching and technology-enhanced learning courses. It offers a

A Dictionary of Translation Technology is a comprehensive reference book that covers the major concepts and terms in translation studies and computer translation. It is a valuable work for both transl