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.

  • Computer Hardware Description Languages and their Applications

    Proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and their Applications, Marseille, France, 22-24 April 1991
    • 1st Edition
    • D. Borrione + 1 more
    • English
    The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling – including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL'91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its significance to the academic and professional worlds is assured by the excellent technical programme here compiled.
  • Artificial Intelligence V

    Methodology, Systems, Applications
    • 1st Edition
    • B. du Boulay + 1 more
    • English
    Recent results and ongoing research in Artificial Intelligence are described in this book, with emphasis on fundamental questions in several key areas: machine learning, neural networks, automated reasoning, natural language processing, and logic methods in AI. There are also more applied papers in the fields of vision, architectures for KBS, expert systems and intelligent tutoring systems. One of the changes since AIMSA'90 has been the increased numbers of papers submitted in the fields of machine learning, neural networks and hybrid systems.One of the special features of the AIMSA series of conferences is their coverage of work across both Eastern and Western Europe and the former Soviet Union as well as papers from North America. AIMSA'92 is no exception and this volume provides a unique multi-cultural view of AI.
  • Neural Networks in Bioprocessing and Chemical Engineering

    • 1st Edition
    • D. R. Baughman + 1 more
    • English
    Neural networks have received a great deal of attention among scientists and engineers. In chemical engineering, neural computing has moved from pioneering projects toward mainstream industrial applications. This book introduces the fundamental principles of neural computing, and is the first to focus on its practical applications in bioprocessing and chemical engineering. Examples, problems, and 10 detailed case studies demonstrate how to develop, train, and apply neural networks. A disk containing input data files for all illustrative examples, case studies, and practice problems provides the opportunity for hands-on experience. An important goal of the book is to help the student or practitioner learn and implement neural networks quickly and inexpensively using commercially available, PC-based software tools. Detailed network specifications and training procedures are included for all neural network examples discussed in the book.
  • Pattern Recognition in Practice IV: Multiple Paradigms, Comparative Studies and Hybrid Systems

    • 1st Edition
    • Volume 16
    • E.S. Gelsema + 1 more
    • English
    The era of detailed comparisons of the merits of techniques of pattern recognition and artificial intelligence and of the integration of such techniques into flexible and powerful systems has begun.So confirm the editors of this fourth volume of Pattern Recognition in Practice, in their preface to the book.The 42 quality papers are sourced from a broad range of international specialists involved in developing pattern recognition methodologies and those using pattern recognition techniques in their professional work. The publication is divided into six sections: Pattern Recognition, Signal and Image Processing, Probabilistic Reasoning, Neural Networks, Comparative Studies, and Hybrid Systems, giving prospective users a feeling for the applicability of the various methods in their particular field of specialization.
  • Neural Network PC Tools

    A Practical Guide
    • 1st Edition
    • Russell C. Eberhart
    • English
    This is the first practical guide that enables you to actually work with artificial neural networks on your personal computer. It provides basic information on neural networks, as well as the following special features:
  • Parallel Processing for Artificial Intelligence 1

    • 1st Edition
    • Volume 14
    • L.N. Kanal + 3 more
    • English
    Parallel processing for AI problems is of great current interest because of its potential for alleviating the computational demands of AI procedures. The articles in this book consider parallel processing for problems in several areas of artificial intelligence: image processing, knowledge representation in semantic networks, production rules, mechanization of logic, constraint satisfaction, parsing of natural language, data filtering and data mining. The publication is divided into six sections. The first addresses parallel computing for processing and understanding images. The second discusses parallel processing for semantic networks, which are widely used means for representing knowledge - methods which enable efficient and flexible processing of semantic networks are expected to have high utility for building large-scale knowledge-based systems. The third section explores the automatic parallel execution of production systems, which are used extensively in building rule-based expert systems - systems containing large numbers of rules are slow to execute and can significantly benefit from automatic parallel execution. The exploitation of parallelism for the mechanization of logic is dealt with in the fourth section. While sequential control aspects pose problems for the parallelization of production systems, logic has a purely declarative interpretation which does not demand a particular evaluation strategy. In this area, therefore, very large search spaces provide significant potential for parallelism. In particular, this is true for automated theorem proving. The fifth section considers the problem of constraint satisfaction, which is a useful abstraction of a number of important problems in AI and other fields of computer science. It also discusses the technique of consistent labeling as a preprocessing step in the constraint satisfaction problem. Section VI consists of two articles, each on a different, important topic. The first discusses parallel formulation for the Tree Adjoining Grammar (TAG), which is a powerful formalism for describing natural languages. The second examines the suitability of a parallel programming paradigm called Linda, for solving problems in artificial intelligence.Each of the areas discussed in the book holds many open problems, but it is believed that parallel processing will form a key ingredient in achieving at least partial solutions. It is hoped that the contributions, sourced from experts around the world, will inspire readers to take on these challenging areas of inquiry.
  • A Discipline of Software Engineering

    • 1st Edition
    • B. Walraet
    • English
    This comprehensive approach to the creation of software systems charts a road through system modelling techniques, allowing software engineers to create software meeting two very basic requirements:• that the software system represent a narrow emulation of the organization system that served as its model; • and that the software system display life attributes identical to those of the organization system that it automatizes.The result is a quantum leap increase in software application quality. Such benefit is achieved by the introduction of a fundamental paradigm: the office-floor metaphor which incorporates such well-balanced basic ideas as the functional normalization of tasks and information (in sharp contrast to the classic data normalization) and the principle of tenant-ownership.
  • Analysis, Design and Evaluation of Man-Machine Systems 1988

    Selected Papers from the Third IFAC/IFIP/IEA/IFORS Conference, Oulu, Finland, 14-16 June 1988
    • 1st Edition
    • J. Ranta
    • English
    This volume provides a state-of-the-art review of the development and future use of man-machine systems in all aspects of business and industry. The papers cover such topics as human-computer interaction, system design, and the impact of automation in general, and also by the use of case studies describe a wide range of applications in such areas as office automation, transportation, power plants, machinery and manufacturing processes and defence systems. Contains 73 papers.
  • Analysis, Design & Evaluation of Man-Machine Systems

    Proceedings of the 2nd IFAC/IFIP/IFORS/IEA Conference, Verese, Italy, 10-12 September 1985
    • 1st Edition
    • G. Mancini + 2 more
    • English
    Provides a valuable overview of human-machine interaction in technological systems, with particular emphasis on recent advances in theory, experimental and analytical research, and applications related to man-machine systems. Topics covered include: Automation and Operator - task analysis, decision support, task allocation, management decision support, supervisory control, artificial intelligence, training and teaching, expert knowledge; System Concept and Design - software ergonomics, fault diagnosis, safety, design concepts; Man-machine Interface - interface design, graphics and vision, user adaptive interfaces; Systems Operation - process industry, electric power, aircraft, surface transport, prostheses and manual control. Contains 53 papers and three discussion sessions.
  • Concurrency Control in Distributed Database Systems

    • 1st Edition
    • Volume 3
    • W. Cellary + 2 more
    • English
    Distributed Database Systems (DDBS) may be defined as integrated database systems composed of autonomous local databases, geographically distributed and interconnected by a computer network.The purpose of this monograph is to present DDBS concurrency control algorithms and their related performance issues. The most recent results have been taken into consideration. A detailed analysis and selection of these results has been made so as to include those which will promote applications and progress in the field. The application of the methods and algorithms presented is not limited to DDBSs but also relates to centralized database systems and to database machines which can often be considered as particular examples of DDBSs.The first part of the book is devoted to basic definitions and models: the distributed database model, the transaction model and the syntactic and semantic concurrency control models. The second discusses concurrency control methods in monoversion DDBSs: the locking method, the timestamp ordering method, the validation method and hybrid methods. For each method the concept, the basic algorithms, a hierarchical version of the basic algorithms, and methods for avoiding performance failures are given. The third section covers concurrency control methods in multiversion DDBSs and the fourth, methods for the semantic concurrency model. The last part concerns performance issues of DDBSs.The book is intended primarily for DDBMS designers, but is also of use to those who are engaged in the design and management of databases in general, as well as in problems of distributed system management such as distributed operating systems and computer networks.