Skip to main content

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • HRT-HOODâ„¢: A Structured Design Method for Hard Real-Time Ada Systems

    • 1st Edition
    • Volume 3
    • A. Burns + 1 more
    • English
    The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible in the spacecraft development life cycle.The European Space Agency has, for a number of years, encouraged the development of software using HOOD. It was thus a natural next step to investigate the incorporation of time within the existing HOOD framework. This has proven to be very beneficial and this book describes the approach developed by the authors for handling Hard Real-Time applications. It describes both the background scheduling theory, provides practical examples of its application to real life problems, and demonstrates how it is used in the various phases of the development of Hard Real-Time systems.
  • Understanding and Designing Computer Networks

    • 1st Edition
    • Graham King
    • English
    Understanding and Designing Computer Networks considers the ubiquitous nature of data networks, with particular reference to internetworking and the efficient management of all aspects of networked integrated data systems. In addition it looks at the next phase of networking developments; efficiency and security are covered in the sections dealing with data compression and data encryption; and future examples of network operations, such as network parallelism, are introduced.A comprehensive case study is used throughout the text to apply and illustrate new techniques and concepts as they are introduced. Presented in a format which is specifically tailored to modular courses, this comprehensive text should be essential reading for undergraduates in the fields of computer science, electronics or telecommunications.
  • Algorithms and Parallel VLSI Architectures III

    • 1st Edition
    • M. Moonen + 1 more
    • English
    A comprehensive overview of the current evolution of research in algorithms, architectures and compilation for parallel systems is provided by this publication.The contributions focus specifically on domains where embedded systems are required, either oriented to application-specific or to programmable realisations. These are crucial in domains such as audio, telecom, instrumentation, speech, robotics, medical and automotive processing, image and video processing, TV, multimedia, radar and sonar.The book will be of particular interest to the academic community because of the detailed descriptions of research results presented. In addition, many contributions feature the "real-life" applications that are responsible for driving research and the impact of their specific characteristics on the methodologies is assessed.The publication will also be of considerable value to senior design engineers and CAD managers in the industrial arena, who wish either to anticipate the evolution of commercially available design tools or to utilize the presented concepts in their own R&D programmes.
  • Foundational Issues in Artificial Intelligence and Cognitive Science

    Impasse and Solution
    • 1st Edition
    • Volume 109
    • Mark H. Bickhard + 1 more
    • English
    The book focuses on a conceptual flaw in contemporary artificial intelligence and cognitive science. Many people have discovered diverse manifestations and facets of this flaw, but the central conceptual impasse is at best only partially perceived. Its consequences, nevertheless, visit themselves asdistortions and failures of multiple research projects - and make impossible the ultimate aspirations of the fields.The impasse concerns a presupposition concerning the nature of representation - that all representation has the nature of encodings: encodingism. Encodings certainly exist, butencodingism is at root logically incoherent; any programmatic research predicted on it is doomed too distortion and ultimate failure.The impasse and its consequences - and steps away from that impasse - are explored in a large number of projects and approaches. These include SOAR, CYC, PDP, situated cognition, subsumption architecture robotics, and the frame problems - a general survey of the current research in AI and Cognitive Science emerges.Interactivis... an alternative model of representation, is proposed and examined.
  • Multimedia and Hypertext

    The Internet and Beyond
    • 1st Edition
    • Jakob Nielsen
    • English
    Based on his best-selling HyperText and HpyerMedia, Jakob Nielsen takes hypertext a step further--to the Internet. Multimedia and Hypertext: The Internet and Beyond explores new and developing applications in multimedia and hypertext as well as offering coverage of the use of HTML (hypertext markup language) and the World Wide Web with interfaces such as Mosaic and Netscape.
  • Sendmail: Theory and Practice

    • 1st Edition
    • Frederick M Avolio + 1 more
    • English
    * Provides 'cookbook recipes' and simplified explanations on how Sendmail works and how to manage a mail system * Examines e-mail and Sendmail by laying ground work and defining key terms * Progresses from the simple to the complex, providing knowledgeessential for both the interested user and the experienced system manager.Sendmail is the ULTRIX, OSF/1, and BSD UNIX standard mail deliverer; however, Sendmail has been and is still considered by many to be impossible to understand. Sendmail: Theory and Practice explains Sendmail's history, architecture, configuration, andmaintenance. Systems managers wanting to learn how to set-up and maintain their mail system (made up of one or many computers) and interested readers wanting to learn more about electronic mail will find this book beneficial. The book explains how andwhy Sendmail does what it does and provides practical advnce about designing and maintaining an electronic mail system. 'You need this book if you run a mail gateway, or if you have a really strong curiosity about how email works.' - C Vu, November 1995
  • Parallel Computational Fluid Dynamics '93

    New Trends and Advances
    • 1st Edition
    • J. Hauser + 3 more
    • English
    This volume contains the papers presented at the Parallel Computing Fluid Dynamics '93 Conference, Paris, 1993. A wide range of topics are covered including: networked computers, data parallel programming, domain decomposition, Euler and Navier-Stokes solvers.Researchers in this area will find this volume a useful reference in this rapidly developing field.
  • Fortran Programs for Chemical Process Design, Analysis, and Simulation

    • 1st Edition
    • A. Kayode Coker
    • English
    This book gives engineers the fundamental theories, equations, and computer programs (including source codes) that provide a ready way to analyze and solve a wide range of process engineering problems.
  • Macintosh Technology in the Common Hardware Reference Platform

    • 1st Edition
    • Sam Stuart
    • English
    Macintosh Technology in the Common Hardware Reference Platform
  • Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

    • 1st Edition
    • Dan Craigen + 1 more
    • English
    Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.
  • Advanced Software Applications in Japan

    • 1st Edition
    • Edward A. Feigenbaum + 3 more
    • English
    Advanced Software Applications in Japan
  • Reliability of Software Intensive Systems

    • 1st Edition
    • Michael A. Friedman + 2 more
    • English
    Reliability of Software Intensive Systems
  • Software Quality Control, Error, Analysis

    • 1st Edition
    • Judith Clapp + 5 more
    • English
    Software Quality Control, Error, Analysis
  • Parallel Computing

    • 1st Edition
    • Eduard L Lafferty
    • English
    Parallel Computing
  • The UNIX Philosophy

    • 1st Edition
    • Mike Gancarz
    • English
    * Deals with powerful concepts in a simple way * Highlights important characteristics of Operating systems and other abstract entities in a new way * Explores the tenets of the UNIX operating system philosophyUnlike so many books that focus on how to use UNIX, The UNIX Philosophy concentrates on answering the questions: `Why use UNIX in the first place?'. Readers will discover the rationale and reasons for such concepts as file system organization, user interface and other system characteristics. In an informative, non-technical fashion, The UNIX Philosophy explores the general principles for applying the UNIX philosophy to software development. This book describes complex software design principles and addresses the importance of small programs, code and data portability, early prototyping, and open user interfaces. The UNIX Philosophy is a book to be read before tackling the highly technical texts on UNIX internals and programming. Written for both the computer layperson and the experienced programmer, this book explores the tenets of the UNIX operating system in detail, dealing with powerful concepts in a comprehensive, straightforward manner.
  • Graphics Gems II

    • 1st Edition
    • James Arvo
    • English
    Graphics Gems II is a collection of articles shared by a diverse group of people that reflect ideas and approaches in graphics programming which can benefit other computer graphics programmers. This volume presents techniques for doing well-known graphics operations faster or easier. The book contains chapters devoted to topics on two-dimensional and three-dimensional geometry and algorithms, image processing, frame buffer techniques, and ray tracing techniques. The radiosity approach, matrix techniques, and numerical and programming techniques are likewise discussed. Graphics artists and computer programmers will find the book invaluable.
  • Designing Computer Programs

    • 1st Edition
    • Jim Haigh
    • English
    This is a book for students at every level who are learning to program for the first time - and for the considerable number who learned how to program but were never taught to structure their programs. The author presents a simple set of guidelines that show the programmer how to design in a manageable structure from the outset. The method is suitable for most languages, and is based on the widely used 'JSP' method, to which the student may easily progress if it is needed at a later stage.Most language specific texts contain very little if any information on design, whilst books on design approach the topic at too high a level for someone learning their first language. This inexpensive introduction to design can be used alongside whatever programming book suits the student's particular needs.
  • Advances in Computers

    • 1st Edition
    • Volume 38
    • English
  • Advances in Computers

    • 1st Edition
    • Volume 39
    • English
  • Usability Engineering

    • 1st Edition
    • Jakob Nielsen
    • English
    Written by the author of the best-selling HyperText & HyperMedia, this book is an excellent guide to the methods of usability engineering. The book provides the tools needed to avoid usability surprises and improve product quality. Step-by-step information on which method to use at various stages during the development lifecycle are included, along with detailed information on how to run a usability test and the unique issues relating to international usability.
  • RISC System/6000 PowerPC System Architecture

    • 1st Edition
    • International Business Machines, Inc.
    • English
    Offers support for a wide range of products for the RISC System/6000product line and AIX operating system, including Uni-processor (UP) andSymmetric Multiple Processor (SMP) systems. Provides important informationfor building many system features such as memory controllers with cachesand bus-to-bus bridges. RISC System/ 6000 PowerPC System Architecturedefines an architecture that allows each operating system--in particular,the AIX operating system--to run unchanged on all systems that comply withthis architecture. It provides a consistent software interface across abroad range of system implementations and offers all hardware/softwaredep... necessary for a successful system identification,confi... and performance tuning process.An important reference for all programmers and product developmentengineers who are developing software and hardware products for theRISC/System 6000 PowerPC systems. Also useful for system programmersinvolved in operating system design, system integrators building productsand parts for the system family, and anyone interested in porting otheroperating systems to the RISC System/6000 family.
  • Intelligent Scheduling

    • 1st Edition
    • Monte Zweben + 1 more
    • English
    Scheduling complex processes, such as chemical manufacturing or space shuttle launches, is a focus of substantial effort throughout industry and government. In the past 20 years, the fields of operations research and operations management have tackled scheduling problems with considerable success. Recently, the artificial intelligence community has turned its attention to this class of problems, resulting in a fresh corpus of research and application that extends previous results.This book, comprising original contributions from experts in the field, highlights these new advances. These chapters present complete systems, stressing their unique characteristics, rather than presenting simple research results. Applications-oriente... chapters are also included to inform researchers of state-of-the-art methodologies. Researchers and practitioners in industry and government will find this book valuable. It will also serve as an ideal text for a graduate course in knowledge-based scheduling.
  • Radiosity and Global Illumination

    • 1st Edition
    • François Sillion + 1 more
    • English
    The radiosity method, originally a computation tool for thermal engineers, has evolved in recent years into a powerful and flexible simulation technique for radiant energy transfer. The ability to compute quantitatively accurate simulations of light transfers has opened a vast domain of applications for computer graphics. Thermal radiation studies, lighting design and remote sensing are a few of the fields affected by this exciting technique for producing synthetic images.Here, the authors reformulate some of the most recent and innovative research results into a consistent framework, allowing readers to quickly acquire a comprehensive view of the technique and its derivatives. In addition to reviewing practical issues and offering recommendations, the authors also provide a complete theoretical presentation of the various radiosity algorithms.Special highlights include 93 illustrations and 45 color plates and a practical guide which provides detailed information on various design issues for the development of global illumination software.
  • Comprehension of Graphics

    • 1st Edition
    • Volume 108
    • W. Schnotz + 1 more
    • English
    Graphic displays such as charts, graphs, diagrams, and maps play in important role today in the design and presentation of instructional materials education. There is also a strong need in scientific, technical and administrative fields to visually present facts, laws, principles etc. The increasing use of computer-based learning environments has also become an important field where the visual presentation of information plays a central role. Despite the importance of graphical displays as a means of communication and the fact that research about learning and cognition has advanced rapidly in the past two decades, the comprehension of graphics is still a rather unexplored area.The comprehension of graphics is not only a stimulating topic in the fields of science and instructional psychology, but also in related disciplines such as semiotics, and artificial intelligence. Research on the comprehension of graphics complements the scientific investigation of cognitive processes in text comprehension, which has contributed much to our understanding of human cognition and learning. Ultimately, a better understanding of the cognitive processes involved in the comprehension of graphics will have an impact not only on cognitive theory, but also on educational practice.
  • EDN Designers Companion

    • 1st Edition
    • Bill Travis
    • Ian Hickman
    • English
    'You will most certainly find answers to some of your toughest design problems between the covers of this volume' Steven H Leibson, Editor in Chief, EDN Magazine. Since its first appearance in 1956, EDN has established itself as the clear leader in the provision of electronics information, with a combined circulation in the USA, Europe and Asia of over 150,000 copies every fortnight. This is an annotated, indexed and cross referenced collection of work from the magazine for electronic designers.A collected volume of the best articles from the extensive files of Ian Hickman was published in 1991. The articles provide a wealth of information on components, equipment, circuits, systems and standards that prove to be extremely popular and useful for practising electronics engineers. This second volume of collected articles includes subjects not covered in the first, and more recent items, to provide a completely up-to-date compilation, covering subjects including analog and digital circuits, test and measurement, software and algorithms. The articles are cross-referenced and indexed for ease of use. Many of the circuits are from the popular 'design ideas' section where readers submit their own designs. Longer review articles written by the magazine staff are also included.
  • DARPA Proceedings

    Rome Laboratory Planning Initiative
    • 1st Edition
    • DARPA
    • English
  • Graphics Gems IV (IBM Version)

    • 1st Edition
    • Paul Heckbert
    • English
    Graphics Gems IV is the newest volume in the Graphics Gems series. All of the books in the series contain practical solutions for graphics problems using the latest techniques in the field. The books in this series have become essential, time saving toolsfor many programmers. Volume IV is a collection of carefully crafted gems which are all new and innovative. All of the gems are immediately accessible and useful in formulating clean, fast, and elegant programs. The C programming language has been used for most of the program listings, although several of the gems have C++ implementations. *IBM version Includes one 3 1/2" high-density disk. System Requirements: 286 or higher IBM PC compatible, DOS 4.0 or higher
  • Cost-Justifying Usability

    • 1st Edition
    • Randolph G. Bias + 1 more
    • English
    Today's increasingly competitive and fiscally constrained business environment is fostering the need to cut costs and justify expenditures. Usability engineering is not yet universally accepted, nor is it yet an integrated aspect of software engineering, and would-be usability champions need more help than ever to win the funding necessary to introduce and promote usability engineering techniques.Cost-Just... Usability is the first book to address pragmatically and in detail the question of how usability engineering professionals and their managers can cost-justify their proposals and efforts. The book offers specific techniques for quantifying costs and benefits, making a convincing and successful business case for investment in usability engineering.This book comprises a thorough and well-integrated collection of chapters written by experienced and prominent usability experts. Taken together, these chapters provide readers with:An overall framework for cost-justifying usability engineering programs that can be applied to any contextAn examination of the unique factors and issues in cost-justifying usability efforts for three very different types of organizations: vendor companies, international development organizations, and contractor companiesCase studies of successful cost-justification effortsA look at some special issues regarding cost-justification of usability, including"discount"u... engineering techniques, success factors for introducing usability engineering into development organizations, specialized tools for usability cost-justification, and a look to the future of usability engineeringPractical and effective insight for human factors professionals, interface designers, software development managers, and human factors educators
  • Cognitive Science

    The Science of Intelligent Systems
    • 1st Edition
    • George F. Luger + 4 more
    • English
    The interdisciplinary field of cognitive science brings together elements of cognitive psychology, mathematics, perception, linguistics, and artificial intelligence. Given this breadth, textbooks have had difficulty providing balanced coverage-most resort to disjointed edited treatises that prove difficult to use.Cognitive Science provides a unified and comprehensive look at the field, from foundations to applications. Luger explores the logical and philosophical bases of cognitive science with multiple models of intelligence, including neural networks and connectionism. Practical programming examples are included along with an introduction to PROLOG.
  • Parallel Computing Works!

    • 1st Edition
    • Geoffrey C. Fox + 2 more
    • English
    A clear illustration of how parallel computers can be successfully appliedto large-scale scientific computations. This book demonstrates how avariety of applications in physics, biology, mathematics and other scienceswere implemented on real parallel computers to produce new scientificresults. It investigates issues of fine-grained parallelism relevant forfuture supercomputers with particular emphasis on hypercube architecture.The authors describe how they used an experimental approach to configuredifferent massively parallel machines, design and implement basic systemsoftware, and develop algorithms for frequently used mathematicalcomputat... They also devise performance models, measure the performancecharacter... of several computers, and create a high-performancecomp... facility based exclusively on parallel computers. By addressingall issues involved in scientific problem solving, Parallel ComputingWorks! provides valuable insight into computational science for large-scaleparallel architectures. For those in the sciences, the findings reveal theusefulness of an important experimental tool. Anyone in supercomputing andrelated computational fields will gain a new perspective on the potentialcontributio... of parallelism. Includes over 30 full-color illustrations.
  • Cognitive Aspects of Visual Languages and Visual Interfaces

    • 1st Edition
    • Volume 11
    • D.E. Mahling + 2 more
    • English
    This volume contains selected papers from the 10th Interdisciplinary Workshop in Informatics and Psychology which had as its theme Cognitive Aspects in Visual Languages and Interfaces. Visual languages in general, visual programming languages in particular, and graphical or visual user interfaces are increasingly regarded as important improvements for the interaction between people and artifacts. Visual and graphical user interfaces have already a history of a number of years in terms of research and development. The focus on visual languages and visual programming languages, however, is more recent. The development of graphical user interfaces was accompanied and reinforced by psychological research but visual languages are still mainly inventions of designers and not designed on the basis of principles derived also from knowledge of psychology or other behavioral sciences.The presentations and discussions at the workshop showed increasing interest in paradigms of visual languages and their psychological foundation. Visual languages and interfaces must be seen as means to support and enhance represention, application and processing knowledge visually. The study of the cognitive aspects in visual languages and interfaces is thus an important part of Human-Computer Interaction as a discipline concerned with the design, evaluation and implementation of interactive computer systems for human use and with the study of major phenomena surrounding them (definition of HCI in the ACM SIGCHI Curricula for Human-Computer Interaction). This book will stimulate future research in the area of Human-Computer Interaction and Visual Languages.
  • FORTRAN 90 for Scientists and Engineers

    • 1st Edition
    • Brian H. Hahn
    • English
    The introduction of the Fortran 90 standard is the first significant change in the Fortran language in over 20 years. this book is designed for anyone wanting to learn Fortran for the first time or or a programmer who needs to upgrade from Fortran 77 to Fortran 90.Employing a practical, problem-based approach this book provides a comprehensive introduction to the language. More experienced programmers will find it a useful update to the new standard and will benefit from the emphasis on science and engineering applications.
  • Diffusion, Transfer and Implementation of Information Technology

    • 1st Edition
    • Volume 45
    • L. Levine
    • English
    The diffusion, transfer and implementation of information and software technology is discussed in this volume. Contributions have been sourced from academia, government and industry specialists to afford a representation from as many perspectives as possible on research and practice. The publication is divided into 7 parts, each of the first 6 sections representing a major area of concern in current technology transfer of information. The last chapter includes the summary reports of working sessions referred to in previous sections.
  • Time-Varying Image Processing and Moving Object Recognition

    Proceedings of the 4th International Workshop Florence, Italy, June 10-11, 1993
    • 1st Edition
    • V. Cappellini
    • English
    In the area of Digital Image Processing the new area of "Time-Varying Image Processing and Moving Oject Recognition" is contributing to impressive advances in several fields. Presented in this volume are new digital image processing and recognition methods, implementation techniques and advanced applications such as television, remote sensing, biomedicine, traffic, inspection, and robotics. New approaches (such as digital transforms, neural networks) for solving 2-D and 3-D problems are described. Many papers concentrate on motion estimation and recognition i.e. tracking of moving objects. Overall, the book describes the state-of-the-art (theory, implementation, applications) of this developing area, together with future trends. The work will be of interest not only to researchers, professors and students in university departments of engineering, communications, computers and automatic control, but also to engineers and managers of industries concerned with computer vision, manufacturing, automation, robotics and quality control.
  • Machine Learning

    A Multistrategy Approach, Volume IV
    • 1st Edition
    • Ryszard S. Michalski + 1 more
    • English
    Multistrategy learning is one of the newest and most promising research directions in the development of machine learning systems. The objectives of research in this area are to study trade-offs between different learning strategies and to develop learning systems that employ multiple types of inference or computational paradigms in a learning process. Multistrategy systems offer significant advantages over monostrategy systems. They are more flexible in the type of input they can learn from and the type of knowledge they can acquire. As a consequence, multistrategy systems have the potential to be applicable to a wide range of practical problems. This volume is the first book in this fast growing field. It contains a selection of contributions by leading researchers specializing in this area.
  • Computability, Complexity, and Languages

    Fundamentals of Theoretical Computer Science
    • 2nd Edition
    • Martin Davis + 2 more
    • English
    Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.
  • The MIPS Programmer's Handbook

    • 1st Edition
    • Erin Farquhar + 1 more
    • English
    A hands-on view of the highly successful MIPS family of microprocessors, written for programmers developing systems applications for the MIPS platform. The MIPS Programmer's Handbook describes the MIPS architecture from the perspective of assembly- and C-language programmers, with special emphasis on issues related to embedded applications. Engineers writing system-level programs for MIPS-based embedded systems will find the topic selection especially useful including the sections on software conventions, initializing the processor in a bare machine environment, and writing exception handlers. For convenient use, the instruction set reference is presented with only one page per instruction. The authors focus on the instructions available to assembly-language programmers, rather than on the hardware-level instruction set documented in data books released by vendors of the MIPS processor. Provides enough detail for anyone doing serious system-level programming. Also included are ten complete program examples, with line-by-line explanations.
  • The Vector-Valued Maximin

    • 1st Edition
    • Volume 193
    • Slukvadze
    • English
  • Mathematical Approaches to Neural Networks

    • 1st Edition
    • Volume 51
    • J.G. Taylor
    • English
    The subject of Neural Networks is being seen to be coming of age, after its initial inception 50 years ago in the seminal work of McCulloch and Pitts. It is proving to be valuable in a wide range of academic disciplines and in important applications in industrial and business tasks. The progress being made in each approach is considerable. Nevertheless, both stand in need of a theoretical framework of explanation to underpin their usage and to allow the progress being made to be put on a firmer footing.This book aims to strengthen the foundations in its presentation of mathematical approaches to neural networks. It is through these that a suitable explanatory framework is expected to be found. The approaches span a broad range, from single neuron details to numerical analysis, functional analysis and dynamical systems theory. Each of these avenues provides its own insights into the way neural networks can be understood, both for artificial ones and simplified simulations. As a whole, the publication underlines the importance of the ever-deepening mathematical understanding of neural networks.
  • The Cognitive Psychology of Knowledge

    • 1st Edition
    • Volume 101
    • G. Strube + 1 more
    • English
    The present book is a result of a seven-year (1986-1992) national research program in cognitive science in Germany, presumably the first large scale cognitive science program there. Anchored in psychology, and therefore christened Wissenpsychologie (psychology of knowledge), it has found interdisciplinary resonance, especially in artificial intelligence and education. The research program brought together cognitive scientists from over twenty German universities and more than thirty single projects were funded. The program was initiated by Heinz Mandl and Hans Spada, the main goals of which were to investigate the acquisition of knowledge, the access to knowledge, and the modification and application of knowledge from a psychological perspective. Emphasis was placed on formalisms of knowledge representation and on the processes involved. In many of the projects this was combined with computer simulations. A final but equally important goal was the development of experimental paradigms and methods for data analysis that are especially suited to investigate knowledge based processes.The research program has had a major impact on cognitive psychology in Germany. Research groups were established at many universities and research equipment was provided. It also inspired a considerable number of young scientists to carry out cognitive research, employ modeling techniques from artificial intelligence for psychological theorizing, and construct intelligent tutoring systems for education. Close contacts with cognitive scientists in the U.S. have helped to firmly integrate the program with international research endeavours. Each year, one or two workshops were held. The present volume is the result of the final workshop which was held in September 1992. Selected results from seventeen projects are presented in this book. The volume is enriched by three guest scholars who agreed to participate in the final workshop and to comment on the chapters of the book.
  • Categorization by Humans and Machines

    Advances in Research and Theory
    • 1st Edition
    • English
    The objective of the series has always been to provide a forum in which leading contributors to an area can write about significant bodies of research in which they are involved. The operating procedure has been to invite contributions from interesting, active investigators, and then allow them essentially free rein to present their perspectives on important research problems. The result of such invitations over the past two decades has been collections of papers which consist of thoughtful integrations providing an overview of a particular scientific problem. The series has an excellent tradition of high quality papers and is widely read by researchers in cognitive and experimental psychology.
  • Advances in Computers

    • 1st Edition
    • Volume 37
    • English
  • Intelligent Software for Chemical Analysis

    • 1st Edition
    • Volume 13
    • L.M.C. Buydens + 1 more
    • English
    Various emerging techniques for automating intelligent functions in the laboratory are described in this book. Explanations on how systems work are given and possible application areas are suggested. The main part of the book is devoted to providing data which will enable the reader to develop and test his own systems. The emphasis is on expert systems; however, promising developments such as self-adaptive systems, neural networks and genetic algorithms are also described. The book has been written by chemists with a great deal of practical experience in developing and testing intelligent software, and therefore offers first-hand knowledge. Laboratory staff and managers confronted with commercial intelligent software will find information on the functioning, possibilities and limitations thereof, enabling them to select and use modern software in an optimum fashion. Finally, computer scientists and information scientists will find a wealth of data on the application of contemporary artificial intelligence techniques.
  • Knowledge Acquisition and Machine Learning

    Theory, Methods, and Applications
    • 1st Edition
    • Katharina Morik + 3 more
    • English
    For graduate-/research- level students and professors, this book integrates machine learning with knowledge acquisition to overcome the problems of building models for knowledge-based systems to maintain them successfully. It also reports on BLIP and MOBAL systems developed over the last decade, which illustrate a particular way of unifying knowledge acquisition and machine learning. Practically-orientat... theoretical skills have been used and tested in real-world applications.
  • Atomic Transactions

    In Concurrent and Distributed Systems
    • 1st Edition
    • Nancy A. Lynch + 3 more
    • English
    This book develops a theory for transactions that provides practical solutions for system developers, focusing on the interface between the user and the database that executes transactions. Atomic transactions are a useful abstraction for programming concurrent and distributed data processing systems. Presents many important algorithms which provide maximum concurrency for transaction processing without sacrificing data integrity. The authors include a well-developed data processing case study to help readers understand transaction processing algorithms more clearly. The book offers conceptual tools for the design of new algorithms, and for devising variations on the familiar algorithms presented in the discussions. Whether your background is in the development of practical systems or formal methods, this book will offer you a new way to view distributed systems.
  • Query Processing for Advanced Database Systems

    • 1st Edition
    • Johann Christoph Freytag + 2 more
    • English
    The chapters of this book provide an excellent snapshot of current research and development activities in the area of query processing and optimization. They supply potential answers to many questions that have been raised for new types of database systems and at the same time reflect the variety of the different approaches taken. The book acts both as a reference for the state of the art in query processing for the "next generation" of database systems, and as a good starting point for anybody interested in understanding the challenging questions in the area. Furthermore, the book will help the reader to gain an in-depth understanding of why efficient query processing is needed for future database systems.
  • Adaptive User Interfaces

    Principles and Practice
    • 1st Edition
    • Volume 10
    • M. Schneider-Hufschmidt + 2 more
    • English
    The area of intelligent and adaptive user interfaces has been of interest to the research community for a long time. Much effort has been spent in trying to find a stable theoretical base for adaptivity in human-computer interaction and to build prototypical systems showing features of adaptivity in real-life interfaces. To date research in this field has not led to a coherent view of problems, let alone solutions. A workshop was organized, which brought together a number of well-known researchers in the area of adaptive user interfaces with a view todevelop a coherent view of the results accomplished in the fieldorganize basic ideas which might lead to a more general methodology for adaptivity in order to overcome the problem of specialized, non-generalizable solutions, anddiscuss possible areas for future research in the field and to define criteria for the selection of the most promising directions of such research.The results of the workshop are presented in this volume. The authors have collected papers from the participants which describe both their research and their views on questions which were dealt with during the workshop. A state-of-the-art report and taxonomy for the field of adaptive interfaces and a discussion summary are also included in this volume.