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.

  • The Adaptive Brain II

    Vision, Speech, Language, and Motor Control
    • 1st Edition
    • October 22, 2013
    • Stephen Grossberg
    • English
    The Adaptive Brain, II: Vision, Speech, Language, and Motor Control focuses on a unified theoretical analysis and predictions of important psychological and neurological data that illustrate the development of a true theory of mind and brain. The publication first elaborates on the quantized geometry of visual space and neural dynamics of form perception. Discussions focus on reflectance rivalry and spatial frequency detection, figure-ground separation by filling-in barriers, and disinhibitory propagation of functional scaling from boundaries to interiors. The text then takes a look at neural dynamics of perceptual grouping and brightness perception. Topics include simulation of a parametric binocular brightness study, smoothly varying luminance contours versus steps of luminance change, macrocircuit of processing stages, paradoxical percepts as probes of adaptive processes, and analysis of the Beck theory of textural segmentation. The book examines the neural dynamics of speech and language coding and word recognition and recall, including automatic activation and limited-capacity attention, a macrocircuit for the self-organization of recognition and recall, role of intra-list restructuring arid contextual associations, and temporal order information across item representations. The manuscript is a vital source of data for scientists and researchers interested in the development of a true theory of mind and brain.
  • Artificial Intelligence in Chemistry

    Structure Elucidation and Simulation of Organic Reactions
    • 1st Edition
    • Volume 73
    • October 22, 2013
    • Z. Hippe
    • English
    This comprehensive overview of the application of artificial intelligence methods (AI) in chemistry contains an in-depth summary of the most interesting achievements of modern AI, namely, problem-solving in molecular structure elucidation and in syntheses design.The book provides a brief history of AI as a branch of computer science. It also gives an overview of the basic methods employed for searching the solution space (thoroughly exemplified by chemical problems), together with a profound and expert discussion on many questions that may be raised by modern chemists wishing to apply computer-assisted methods in their own research. Moreover, it includes a survey of the most important literature references, covering all essential research in automated interpretation of molecular spectra to elucidate a structure and in syntheses design. A glossary of basic terms from computer technology for chemists is appended. This book is intended to make the emerging field of artificial intelligence understandable and accessible for chemists, who are not trained in computer methods for solving chemical problems. The author discusses step-by-step basic algorithms for structure elucidation and many aspects of the automated design of organic syntheses in order to integrate this fascinating technology into current chemical knowledge.
  • Towards Verified Systems

    • 1st Edition
    • Volume 2
    • October 22, 2013
    • J. Bowen
    • English
    As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-syst... and others who are considering their use.
  • Software Engineering Education

    Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September - 2 October, 1993
    • 1st Edition
    • Volume 40
    • October 22, 2013
    • B.Z. Barta + 2 more
    • English
    Software engineering education is an important, often controversial, issue in the education of Information Technology professionals. It is of concern at all levels of education, whether undergraduate, post-graduate or during the working life of professionals in the field. This publication gives perspectives from academic institutions, industry and education bodies from many different countries. Several papers provide actual curricula based on innovative ideas and modern programming paradigms. Various aspects of project work, as an important component of the educational process, are also covered and the uses of software tools in the software industry and education are discussed. The book provides a valuable source of information for all those interested and involved in software engineering education.
  • Intelligence as Adaptive Behavior

    An Experiment in Computational Neuroethology
    • 1st Edition
    • October 22, 2013
    • B. Chandrasekaran
    • English
    The "intelligence" of traditional artificial intelligence systems is notoriously narrow and inflexible--incapabl... of adapting to the constantly changing circumstances of the real world. Although traditional artificial intelligence systems can be successful in narrowly prescribed domains, they are inappropriate for dynamic, complex domains, such as autonomous robot navigation.**This book proposes an alternative methodology for designing intelligent systems based on a model of intelligence as adaptive behavior. The author describes an experiment in computational neuroethology--the computer modeling of neuronal control of behavior--in which the nervous system for an artificial insect is modeled. The experiment demonstrates that simple, complete intelligent agents are able to cope with complex, dynamic environments--sugges... that adaptive models of intelligence, based on biological bases of adaptive behavior, may prove to be very useful in the design of intelligent, autonomous systems.
  • Eleventh Hour CISSP

    Study Guide
    • 2nd Edition
    • October 16, 2013
    • Joshua Feldman + 2 more
    • English
    Eleventh Hour CISSP provides you with a study guide keyed directly to the most current version of the CISSP exam. This book is streamlined to include only core certification information and is presented for ease of last minute studying. Main objectives of the exam are covered concisely with key concepts highlighted. The CISSP certification is the most prestigious, globally recognized, vendor neutral exam for information security professionals. Over 67,000 professionals are certified worldwide with many more joining their ranks. This new Second Edition is aligned to cover all of the material in the most current version of the exam’s Common Body of Knowledge. All 10 domains are covered as completely and as concisely as possible, giving you the best possible chance of acing the exam.
  • Data Mining and Knowledge Discovery for Geoscientists

    • 1st Edition
    • October 9, 2013
    • Guangren Shi
    • English
    Currently there are major challenges in data mining applications in the geosciences. This is due primarily to the fact that there is a wealth of available mining data amid an absence of the knowledge and expertise necessary to analyze and accurately interpret the same data. Most geoscientists have no practical knowledge or experience using data mining techniques. For the few that do, they typically lack expertise in using data mining software and in selecting the most appropriate algorithms for a given application. This leads to a paradoxical scenario of "rich data but poor knowledge". The true solution is to apply data mining techniques in geosciences databases and to modify these techniques for practical applications. Authored by a global thought leader in data mining, Data Mining and Knowledge Discovery for Geoscientists addresses these challenges by summarizing the latest developments in geosciences data mining and arming scientists with the ability to apply key concepts to effectively analyze and interpret vast amounts of critical information.
  • Joe Celko’s Complete Guide to NoSQL

    What Every SQL Professional Needs to Know about Non-Relational Databases
    • 1st Edition
    • October 7, 2013
    • Joe Celko
    • English
    Joe Celko's Complete Guide to NoSQL provides a complete overview of non-relational technologies so that you can become more nimble to meet the needs of your organization. As data continues to explode and grow more complex, SQL is becoming less useful for querying data and extracting meaning. In this new world of bigger and faster data, you will need to leverage non-relational technologies to get the most out of the information you have. Learn where, when, and why the benefits of NoSQL outweigh those of SQL with Joe Celko's Complete Guide to NoSQL. This book covers three areas that make today's new data different from the data of the past: velocity, volume and variety. When information is changing faster than you can collect and query it, it simply cannot be treated the same as static data. Celko will help you understand velocity, to equip you with the tools to drink from a fire hose. Old storage and access models do not work for big data. Celko will help you understand volume, as well as different ways to store and access data such as petabytes and exabytes. Not all data can fit into a relational model, including genetic data, semantic data, and data generated by social networks. Celko will help you understand variety, as well as the alternative storage, query, and management frameworks needed by certain kinds of data.
  • Readings in Cognitive Science

    A Perspective from Psychology and Artificial Intelligence
    • 1st Edition
    • October 2, 2013
    • Allan Collins + 1 more
    • English
    Readings in Cognitive Science: A Perspective from Psychology and Artificial Intelligence brings together important studies that fall in the intersection between artificial intelligence and cognitive psychology. This book is composed of six chapters, and begins with the complex anatomy and physiology of the human brain. The next chapters deal with the components of cognitive science, such as the semantic memory, similarity and analogy, and learning. These chapters also consider the application of mental models, which represent the domain-specific knowledge needed to understand a dynamic system or natural physical phenomena. The remaining chapters discuss the concept of reasoning, problem solving, planning, vision, and imagery. This book is of value to psychologists, psychiatrists, neurologists, and researchers who are interested in cognition.
  • Cyber Warfare

    Techniques, Tactics and Tools for Security Practitioners
    • 2nd Edition
    • October 1, 2013
    • Jason Andress + 1 more
    • English
    Cyber Warfare, Second Edition, takes a comprehensive look at how and why digital warfare is waged. The book explores the participants, battlefields, and the tools and techniques used in today's digital conflicts. The concepts discussed gives students of information security a better idea of how cyber conflicts are carried out now, how they will change in the future, and how to detect and defend against espionage, hacktivism, insider threats and non-state actors such as organized criminals and terrorists. This book provides concrete examples and real-world guidance on how to identify and defend a network against malicious attacks. It probes relevant technical and factual information from an insider's point of view, as well as the ethics, laws and consequences of cyber war and how computer criminal law may change as a result. Logical, physical, and psychological weapons used in cyber warfare are discussed. This text will appeal to information security practitioners, network security administrators, computer system administrators, and security analysts.