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.

  • Principles of Knowledge Representation and Reasoning

    Proceedings of the Fourth International Conference (KR '94)
    • 1st Edition
    • Jon Doyle + 2 more
    • English
    Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94) held in Bonn, Germany, on May 24-27, 1994. The conference provided a forum for reviewing the theory and principles underlying knowledge representation and reasoning. Topics covered range from reasoning about mental states and spatial reasoning with propositional logics to default logic as a query language. Comprised of 60 chapters, this book begins with a description of a formal language for representing and reasoning about time and action before turning to proof in context and how it can replace the most common uses of reflection principles. The reader is then introduced to reasoning with minimal models; belief ascription and mental-level modeling; and a unified framework for class-based representation formalisms. A general approach to specificity in default reasoning is also described, together with an ontology for engineering mathematics and the use of abduction to generate tests. The book concludes by considering the use of natural language for knowledge representation and reasoning. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.
  • Economics-Driven Software Architecture

    • 1st Edition
    • Ivan Mistrik + 3 more
    • English
    Economics-driven Software Architecture presents a guide for engineers and architects who need to understand the economic impact of architecture design decisions: the long term and strategic viability, cost-effectiveness, and sustainability of applications and systems. Economics-driven software development can increase quality, productivity, and profitability, but comprehensive knowledge is needed to understand the architectural challenges involved in dealing with the development of large, architecturally challenging systems in an economic way. This book covers how to apply economic considerations during the software architecting activities of a project. Architecture-centric approaches to development and systematic evolution, where managing complexity, cost reduction, risk mitigation, evolvability, strategic planning and long-term value creation are among the major drivers for adopting such approaches. It assists the objective assessment of the lifetime costs and benefits of evolving systems, and the identification of legacy situations, where architecture or a component is indispensable but can no longer be evolved to meet changing needs at economic cost. Such consideration will form the scientific foundation for reasoning about the economics of nonfunctional requirements in the context of architectures and architecting.
  • Museum Documentation Systems

    Developments and Applications
    • 1st Edition
    • Richard B. Light + 2 more
    • English
  • Real Time Programming 1988

    Proceedings of the 15thIFAC/IFIP Workshop, Valencia, Spain, 25-27 May 1988
    • 1st Edition
    • A. Crespo + 1 more
    • English
    Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry.
  • Machine Learning Proceedings 1988

    • 1st Edition
    • John Laird
    • English
    Proceedings of the Fifth International Conference on Machine Learning provides careful theoretical analyses that make clear contact with traditional problems in machine learning. This book discusses the key role of learning in cognition. Organized into 10 parts encompassing 49 chapters, this book begins with an overview of the OTIS induction system that learns concepts from positive and negative examples by searching through the space of possible concept descriptions. This text then reviews the methods to selecting examples, and explores the ramifications of one in detail. Other chapters consider a reported phenomenon in machine concept learning wherein concept descriptions can be simplified with little ill-effect on classification accuracy. This book discusses as well an implemented system that learns structural models of shape from noisy image data. The final chapter provides a discussion of the relationship between learning and forgetting. This book is a valuable resource for psychologists, scientists, theorists, and research workers.
  • Distributed Computer Control Systems 1994

    • 1st Edition
    • J.A. De La Puente + 1 more
    • English
    One of the most important issues in the development of distributed computer control systems is the ability to build software and hardware which is both reliable and time deterministic; this is an area where control engineering and computer science naturally meet.This publication brings together the latest key papers on research and development in this field, allowing cross-fertilization between the two engineering disciplines involved and allowing both academics and industrial practitioners to find new insights and learn from each other's views.
  • Real Time Programming 1986

    Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986
    • 1st Edition
    • J. Szlanko
    • English
    The 1986 IFAC/IFIP Workshop on real-time programming represents the 14th meeting of this workshop since it was first organized in 1971. Traditionally a meeting of a small number of experts, the papers presented at this meeting concentrate on the topics of real-time environment and executives, software development tools and languages, and special real-time applications. The continuing progress being made in this field of programming is amply reflected by the papers and should be of interest to anyone wishing to be kept up to date in the field.
  • Artificial Intelligence in Design '91

    • 1st Edition
    • J. S. Gero
    • English
    Artificial Intelligence in Design '91 is a collection of 47 papers from the First International Conference on Artificial Intelligence in Design held at Edinburgh in June 1991. The papers in this book are grouped into 13 headings, starting with a background of AI design systems and to which extent AI that results from being used as planning tool be applied to quality-oriented design processes in architecture. A constraint-driven approach to object-oriented design is also shown on real-world objects. The use of CADSYN in the structural design of buildings is examined, along with design-dependent knowledge and design-independent knowledge. Discussions on empowering designers with integrated design environments are given whereby design objects may be retrieved from catalogues without requiring users to form queries. Mention is given to automated adjustment of parameter values frequently used in computer routine applications. The book also introduces the Computer Aided Design (CAD) as applied to architecture. Design representation using data models, non-monotonic reasoning in design, and the cognitive aspects of design using empirical studies are discussed. Topics of the industrial applications of AI in design, such as the needed steps to develop a successful AI-based tool, and a review of the Castlemain Project and telecommunication distribution networks follow. This book is suitable for programmers, computer science students, and architects and engineers who use computers in their line of work.
  • Computer Applications in Biotechnology

    • 1st Edition
    • A. Munack + 1 more
    • English
    The 6th Computer Applications in Biotechnology (CAB6) conference was a continuation of 2 series of events: the IFAC symposia on Modelling and Control of Biotechnical Processes and the International Conferences on Computer Applications in Fermentation Technology. This conference provided the opportunity for both sides, leading researchers and industrial practitioners, in this interdisciplinary field to exchange new ideas and technology; concepts and solutions. This postprint volume contains all those papers which were presented at the conference.
  • Interoperable Database Systems (DS-5)

    Proceedings of the IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) Lorne, Victoria, Australia, 16-20 November, 1992
    • 1st Edition
    • Volume 25
    • D.K. Hsiao + 2 more
    • English
    The proliferation of databases within organizations have made it imperative to allow effective sharing of information from these disparate database systems. In addition, it is desirable that the individual systems must maintain a certain degree of autonomy over their data in order to continue to provide for their existing applications and to support controlled access to their information. Thus it becomes necessary to develop new techniques and build new functionality to interoperate these autonomous database systems and to integrate them into an overall information system. Research into interoperable database systems has advanced substantially over recent years in response to this need.The papers presented in this volume cover a wide spectrum of both theoretical and pragmatic issues related to the semantics of interoperable database systems. Topics covered include techniques to support the translation between database schema and between database languages; object oriented frameworks for supporting interoperability of heterogeneous databases, knowledge base integration and techniques for overcoming schematic discrepancies in interoperable databases. In addition, there are papers addressing issues of security transaction processing, data modelling and object identification in interoperable database systems. It is hoped the publication will represent a valuable collective contribution to research and development in the field for database researchers, implementors, designers, application builders and users alike.