Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • Handbook of VLSI Microlithography

    Principles, Technology and Applications
    • 1 Edición
    • William B. Glendinning + 1 más
    • Inglés
    This handbook gives readers a close look at the entire technology of printing very high resolution and high density integrated circuit (IC) patterns into thin resist process transfer coatings-- including optical lithography, electron beam, ion beam, and x-ray lithography. The book's main theme is the special printing process needed to achieve volume high density IC chip production, especially in the Dynamic Random Access Memory (DRAM) industry. The book leads off with a comparison of various lithography methods, covering the three major patterning parameters of line/space, resolution, line edge and pattern feature dimension control. The book's explanation of resist and resist process equipment technology may well be the first practical description of the relationship between the resist process and equipment parameters. The basics of resist technology are completely covered -- including an entire chapter on resist process defectivity and the potential yield limiting effect on device production. Each alternative lithographic technique and testing method is considered and evaluated: basic metrology including optical, scanning-electron-mi... (SEM) techniques and electrical test devices, along with explanations of actual printing tools and their design, construction and performance. The editor devotes an entire chapter to today's sophisticated, complex electron-beam printers, and to the emerging x-ray printing technology now used in high-density CMOS devices. Energetic ion particle printing is a controllable, steerable technology that does not rely on resist, and occupies a final section of the handbook.

  • Aging and Cognition

    Mental Processes, Self-Awareness and Interventions
    • 1 Edición
    • Volumen 72
    • E.A. Lovelace
    • Inglés
    Presented in this volume is a discussion of current literature and theoretical issues relating to three aspects of late-life age-related cognitive change. Firstly, evidence regarding aging and the basic mental processes of attention, motor control, memory, language, problem-solving, and intelligence are presented. Secondly, the role of personal traits such as personality and self-efficacy in the aging of cognitive function are developed, along with self-awareness of cognitive processes and age changes in the monitoring of these processes. Thirdly, consideration is given to the study of interventions to delay or remediate the cognitive declines of aging.

  • Parallelism and Programming in Classifier Systems

    • 1 Edición
    • Stephanie Forrest
    • Inglés
    Parallelism and Programming in Classifier Systems deals with the computational properties of the underlying parallel machine, including computational completeness, programming and representation techniques, and efficiency of algorithms. In particular, efficient classifier system implementations of symbolic data structures and reasoning procedures are presented and analyzed in detail. The book shows how classifier systems can be used to implement a set of useful operations for the classification of knowledge in semantic networks. A subset of the KL-ONE language was chosen to demonstrate these operations. Specifically, the system performs the following tasks: (1) given the KL-ONE description of a particular semantic network, the system produces a set of production rules (classifiers) that represent the network; and (2) given the description of a new term, the system determines the proper location of the new term in the existing network. These two parts of the system are described in detail. The implementation reveals certain computational properties of classifier systems, including completeness, operations that are particularly natural and efficient, and those that are quite awkward. The book shows how high-level symbolic structures can be built up from classifier systems, and it demonstrates that the parallelism of classifier systems can be exploited to implement them efficiently. This is significant since classifier systems must construct large sophisticated models and reason about them if they are to be truly ""intelligent."" Parallel organizations are of interest to many areas of computer science, such as hardware specification, programming language design, configuration of networks of separate machines, and artificial intelligence This book concentrates on a particular type of parallel organization and a particular problem in the area of AI, but the principles that are elucidated are applicable in the wider setting of computer science.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 79
    • Inglés

  • Advances in Computers

    • 1 Edición
    • Volumen 31
    • Inglés

  • Formal Models and Semantics

    • 1 Edición
    • Volumen B
    • Bozzano G Luisa
    • Inglés
    The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

  • Introduction to Statistical Pattern Recognition

    • 2 Edición
    • Keinosuke Fukunaga
    • Inglés
    This completely revised second edition presents an introduction to statistical pattern recognition. Pattern recognition in general covers a wide range of problems: it is applied to engineering problems, such as character readers and wave form analysis as well as to brain modeling in biology and psychology. Statistical decision and estimation, which are the main subjects of this book, are regarded as fundamental to the study of pattern recognition. This book is appropriate as a text for introductory courses in pattern recognition and as a reference book for workers in the field. Each chapter contains computer projects as well as exercises.

  • Algorithms and Complexity

    • 1 Edición
    • Volumen A
    • Bozzano G Luisa
    • Inglés
    This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 78
    • Inglés

  • Advances in Computers

    • 1 Edición
    • Volumen 30
    • Inglés

  • Minimalist Mobile Robotics

    • 1 Edición
    • Jonathan H. Connell
    • Inglés
    Rather than using traditional artificial intelligence techniques, which are ineffective when applied to the complexities of real-world robot navigaiton, Connell describes a methodology of reconstructing intelligent robots with distributed, multiagent control systems. After presenting this methodology, hte author describes a complex, robust, and successful application-a mobile robot "can collection machine" which operates in an unmodified offifce environment occupied by moving people.

  • Decentralized A.I

    • 1 Edición
    • Y. Demazeau + 1 más
    • Inglés
    Much research in Artificial Intelligence deals with a single agent having complete control over the world. A variation of this is Distributed AI (DAI), which is concerned with the collaborative solution of global problems by a distributed group of entities. This book deals with Decentralized AI (DzAI), which is concerned with the activity of an autonomous agent in a multi-agent world. The word ``agent'' is used in a broad sense, to designate an intelligent entity acting rationally and intentionally with respect to its goals and the current state of its knowledge. A number of these agents coexist and may collaborate with other agents in a common world; each agent may accomplish its own tasks, or cooperate with other agents to perform a personal or global task. The agents have imperfect knowledge about each other and about their common world, which they can update either through perception of the world, or by communication with each other.The papers were originally presented at a workshop held at King's College, Cambridge, and have been revised for this book.

  • Intelligent Mathematical Software Systems

    • 1 Edición
    • E.N. Houstis + 2 más
    • Inglés
    Most of the well-known mathematical software systems are batch oriented, though in the past few years there have been attempts to incorporate ``knowledge'' or ``expertise'' into these systems. A number of developments have helped in making the systems more powerful and user-friendly: algorithm/parameter selection for the solution of well-defined mathematical engineering problems; parallel computing; computer graphics technology; interface development tools; and of course the years of experience with these systems and the increase in available computing power have made it practical to fulfill the potential seen in the early years of their development.This book covers four main areas of the subject: Application Oriented Expert Systems, Advisory Systems, Knowledge Manipulation Issues, and User Interfaces.

  • Matrix Perturbation Theory

    • 1 Edición
    • G. W. Stewart + 1 más
    • Inglés
    This book is a comprehensive survey of matrix perturbation theory, a topic of interest to numerical analysts, statisticians, physical scientists, and engineers. In particular, the authors cover perturbation theory of linear systems and least square problems, the eignevalue problem, and the generalized eignevalue problem as wellas a complete treatment of vector and matrix norms, including the theory of unitary invariant norms.

  • Model Theory

    • 3 Edición
    • Volumen 73
    • C.C. Chang + 1 más
    • Inglés
    Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

  • Computational Intelligence, II

    • 1 Edición
    • G. Mauri + 2 más
    • Inglés
    The focus of this volume is ``Heterogeneous Knowledge and Problem Solving Integration'', i.e. the combined use of different knowledge representation and problem solving paradigms.This is a central topic for the design and implementation of problem solving systems, since, from a pragmatic and engineering standpoint, the solution of a large class of problems cannot take place within one single representation language or problem solving paradigm. Heterogeneous systems represent not only a pragmatic answer, but also a theoretical alternative to the homogeneous paradigms.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 77
    • Inglés

  • Readings in Speech Recognition

    • 1 Edición
    • Alexander Waibel + 1 más
    • Inglés
    After more than two decades of research activity, speech recognition has begun to live up to its promise as a practical technology and interest in the field is growing dramatically. Readings in Speech Recognition provides a collection of seminal papers that have influenced or redirected the field and that illustrate the central insights that have emerged over the years. The editors provide an introduction to the field, its concerns and research problems. Subsequent chapters are devoted to the main schools of thought and design philosophies that have motivated different approaches to speech recognition system design. Each chapter includes an introduction to the papers that highlights the major insights or needs that have motivated an approach to a problem and describes the commonalities and differences of that approach to others in the book.

  • Cache and Memory Hierarchy Design

    A Performance Directed Approach
    • 1 Edición
    • Steven A. Przybylski
    • Inglés
    An authoritative book for hardware and software designers. Caches are by far the simplest and most effective mechanism for improving computer performance. This innovative book exposes the characteristics of performance-optimal single and multi-level cache hierarchies by approaching the cache design process through the novel perspective of minimizing execution times. It presents useful data on the relative performance of a wide spectrum of machines and offers empirical and analytical evaluations of the underlying phenomena. This book will help computer professionals appreciate the impact of caches and enable designers to maximize performance given particular implementation constraints.

  • Computers and Conversation

    • 1 Edición
    • Paul Luff + 2 más
    • Inglés
    In the past few years a branch of sociology, conversation analysis, has begun to have a significant impact on the design of human*b1computer interaction (HCI). The investigation of human*b1human dialogue has emerged as a fruitful foundation for interactive system design.****This book includes eleven original chapters by leading researchers who are applying conversation analysis to HCI. The fundamentals of conversation analysis are outlined, a number of systems are described, and a critical view of their value for HCI is offered.****Computer... and Conversation will be of interest to all concerned with HCI issues--from the advanced student to the professional computer scientist involved in the design and specification of interactive systems.

  • Stimulus-Response Compatibility

    An Integrated Perspective
    • 1 Edición
    • Volumen 65
    • R.W. Proctor + 1 más
    • Inglés
    Stimulus-response compatibility refers to the finding that certain mappings of stimuli to responses produce faster and more accurate responding than do others. The present volume surveys compatibility research which falls into four broad categories: (a) mental representation and coding (b) neurophysiological mechanisms (c) motor performance (d) human factors applications. The major findings and models within each of the categories are summarized, and an integrated perspective is provided. The research indicates that compatibility effects reflect basic cognitive processes that bear on a range of issues in cognitive science and that have applied implications for human factors specialists.

  • Nonlinear Boundary Value Problems in Science and Engineering

    • 1 Edición
    • Volumen 183
    • C. Rogers + 1 más
    • Inglés
    Overall, our object has been to provide an applications-oriente... text that is reasonably self-contained. It has been used as the basis for a graduate-level course both at the University of Waterloo and at the Centro Studie Applicazioni in Tecnologie Avante, Bari, Italy. The text is aimed, in the main, at applied mathematicians with a strong interest in physical applications or at engineers working in theoretical mechanics.

  • Advances in Computers

    • 1 Edición
    • Volumen 29
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 76
    • Inglés

  • Connectionism in Perspective

    • 1 Edición
    • R. Pfeifer + 3 más
    • Inglés
    An evaluation of the merits, potential, and limits of Connectionism, this book also illustrates current research programs and recent trends.Connectionism (also known as Neural Networks) is an exciting new field which has brought together researchers from different areas such as artificial intelligence, computer science, cognitive science, neuroscience, physics, and complex dynamics. These researchers are applying the connectionist paradigm in an interdisciplinary way to the analysis and design of intelligent systems.In this book, researchers from the above-mentioned fields not only report on their most recent research results, but also describe Connectionism from the perspective of their own field, looking at issues such as: - the effects and the utility of Connectionism for their field - the potential and limitations of Connectionism - can it be combined with other approaches?

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 75
    • Inglés

  • Advances in Computers

    • 1 Edición
    • Volumen 28
    • Inglés

  • Computability, Complexity, Logic

    • 1 Edición
    • Volumen 128
    • E. Börger
    • Inglés
    The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems.The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory.It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions.

  • Knowledge Acquisition from Text and Pictures

    • 1 Edición
    • Volumen 58
    • H. Mandl + 1 más
    • Inglés
    Media-didactics have recently become more firmly grounded on cognitive theory, with an increasing concern for the internal processes of knowledge representation and acquisition. With this cognitive aspect in mind, an international group of researchers held a meeting in Tübingen, Federal Republic of Germany, to present and discuss the theoretical approaches to and empirical investigations of knowledge acquisition from text and pictures. This volume contains the revised contributions resulting from that meeting.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 73
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 72
    • Inglés

  • An Introduction to Ray Tracing

    • 1 Edición
    • Andrew S. Glassner
    • Inglés
    The creation of ever more realistic 3-D images is central to the development of computer graphics. The ray tracing technique has become one of the most popular and powerful means by which photo-realistic images can now be created. The simplicity, elegance and ease of implementation makes ray tracing an essential part of understanding and exploiting state-of-the-art computer graphics.An Introduction to Ray Tracing develops from fundamental principles to advanced applications, providing "how-to" procedures as well as a detailed understanding of the scientific foundations of ray tracing. It is also richly illustrated with four-color and black-and-white plates. This is a book which will be welcomed by all concerned with modern computer graphics, image processing, and computer-aided design.

  • Cognition and Action in Skilled Behaviour

    • 1 Edición
    • Volumen 55
    • A.M. Colley + 1 más
    • Inglés
    This book contains a number of chapters on the control and execution of skilled movements, as well as more general chapters on theoretical issues in skilled performance. The contributors have summarised their most recent research, and general themes and issues are presented in discussion chapters at the end of each section, thus providing a good general summary of the kind of research and theoretical frameworks developing in this area.The first section is concerned with the theoretical issues of programming and co-ordination. Issues raised in the second section are basic to much of the research reviewed in the volume. This section summarises the various theoretical positions in the recent debates on the role of cognitive processes in motor control and the usefulness of the ``psychomotor'' approach, and contains chapters based on individual papers which present relevant empirical findings. The third section deals with the learning and performance of skilled movements, containing papers with practical implications for everyday skills. The final section contains chapters on cognitive processes in skilled performance.

  • Practical Planning

    Extending the Classical AI Planning Paradigm
    • 1 Edición
    • David E. Wilkins
    • Inglés
    Planning, or reasoning about actions, is a fundamental element of intelligent behavior--and one that artificial intelligence has found very difficult to implement. The most well-understood approach to building planning systems has been under refinement since the late 1960s and has now reached a level of maturity where there are good prospects for building working planners.Practical Planning is an in-depth examination of this classical planning paradigm through an intensive case study of SIPE, a significantly implemented planning system. The author, the developer of SIPE, defines the planning problem in general, explains why reasoning about actions is so complex, and describes all parts of the SIPE system and the algorithms needed to achieve efficiency. Details are discussed in the context of problems and important issues in building a practical planner; discussions of how other systems address these issues are also included.Assuming only a basic background in AI, Practical Planning will be of great interest to professionals interested in incorporating planning capabilities into AI systems.

  • Probabilistic Reasoning in Intelligent Systems

    Networks of Plausible Inference
    • 1 Edición
    • Judea Pearl
    • Inglés
    Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty. The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic.The author distinguishes syntactic and semantic approaches to uncertainty--and offers techniques, based on belief networks, that provide a mechanism for making semantics-based systems operational. Specifically, network-propagation techniques serve as a mechanism for combining the theoretical coherence of probability theory with modern demands of reasoning-systems technology: modular declarative inputs, conceptually meaningful inferences, and parallel distributed computation. Application areas include diagnosis, forecasting, image interpretation, multi-sensor fusion, decision support systems, plan recognition, planning, speech recognition--in short, almost every task requiring that conclusions be drawn from uncertain clues and incomplete information.Probabil... Reasoning in Intelligent Systems will be of special interest to scholars and researchers in AI, decision theory, statistics, logic, philosophy, cognitive psychology, and the management sciences. Professionals in the areas of knowledge-based systems, operations research, engineering, and statistics will find theoretical and computational tools of immediate practical use. The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.

  • Constructivism in Mathematics, Vol 1

    • 1 Edición
    • Volumen 121
    • A.S. Troelstra + 1 más
    • Inglés
    These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

  • Advances in Computers

    • 1 Edición
    • Volumen 27
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 71
    • Inglés

  • Numerical Methods for Transport and Hydraulic Processes

    • 1 Edición
    • Volumen 2
    • Inglés

  • Modelling Surface and Sub-Surface Flows

    • 1 Edición
    • Volumen 35
    • Inglés

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 70
    • Inglés

  • Planar Graphs

    Theory and Algorithms
    • 1 Edición
    • Volumen 32
    • T. Nishizeki + 1 más
    • Inglés
    Collected in this volume are most of the important theorems and algorithms currently known for planar graphs, together with constructive proofs for the theorems. Many of the algorithms are written in Pidgin PASCAL, and are the best-known ones; the complexities are linear or 0(nlogn). The first two chapters provide the foundations of graph theoretic notions and algorithmic techniques. The remaining chapters discuss the topics of planarity testing, embedding, drawing, vertex- or edge-coloring, maximum independence set, subgraph listing, planar separator theorem, Hamiltonian cycles, and single- or multicommodity flows. Suitable for a course on algorithms, graph theory, or planar graphs, the volume will also be useful for computer scientists and graph theorists at the research level. An extensive reference section is included.

  • CMOS Cookbook

    • 2 Edición
    • DON LANCASTER + 1 más
    • Inglés
    The CMOS Cookbook contains all you need to know to understand and successfully use CMOS (Complementary Metal-Oxide Semiconductor) integrated circuits. Written in a "cookbook" format that requires little math, this practical, user-oriented book covers all the basics for working with digital logic and many of its end appilations.Whether you're a newcomver to logic and electronics or a senior design engineer, you'll find CMOS Cookbook and its examples helpful as a self-learning guide, a reference handbook, a project-idea book, or a text for teaching others digital logic at the high school through university levels.In the pages of this revised edition, you'll discover: *What CMOS is, who makes it, and how the basic transistors, inverters, and logic and transmission gates work*CMOS usage rules, power-suppy examples, and information on breadboards, state testing, tools, and interfacing*Discussi... of the latest CMOS devices and sub-families, including the 74C, 74HC, and 74HCT series that streamline TTL and CMOS interfacing*An in-depth look at multivibrators - including astable, monostable, and bistable - and linear techniques*Clocked-l... designs and the extensive applications of JK and D-type flip-flops*A helpful appendix featuring a TTL-to-CMOS conversion chart

  • Cognitive Psychology and Reading in the USSR

    • 1 Edición
    • Volumen 49
    • J. Downing
    • Inglés
    The ideas of Soviet specialists on the psychology and teaching of reading are here made available in English.The volume gives an overview of psychology and education in the U.S.S.R., and presents translations of the work of major Soviet authors, such as Elkonin and Luria. The contributions offer many valuable proposals for teaching literacy which are quite unique outside of the Soviet Union. A concluding chapter provides a commentary, tracing the links between these specialist contributions and the general cognitive theories of Vygotsky.The result of ten years of research, this book was completed by Professor Downing shortly before he passed away in June 1987.

  • Advances in Electronics and Electron Physics

    • 1 Edición
    • Volumen 69
    • Inglés

  • Advances in Computers

    • 1 Edición
    • Volumen 26
    • Inglés

  • Linear Dynamical Systems

    • 1 Edición
    • Volumen 135
    • Casti
    • Inglés

  • Nonlinear Methods in Numerical Analysis

    • 1 Edición
    • Volumen 1
    • A. Cuyt + 1 más
    • Inglés
    While most textbooks on Numerical Analysis discuss linear techniques for the solution of various numerical problems, this book introduces and illustrates nonlinear methods. It presents several nonlinear techniques resulting mainly from the use of Padé approximants and rational interpolants.

  • Numerical Approximation of Partial Differential Equations

    • 1 Edición
    • Volumen 133
    • E.L. Ortiz
    • Inglés
    This selection of papers is concerned with problems arising in the numerical solution of differential equations, with an emphasis on partial differential equations. There is a balance between theoretical studies of approximation processes, the analysis of specific numerical techniques and the discussion of their application to concrete problems relevant to engineering and science. Special consideration has been given to innovative numerical techniques and to the treatment of three-dimensional and singular problems. These topics are discussed in several of the invited papers.The contributed papers are divided into five parts: techniques of approximation theory which are basic to the numerical treatment of differential equations; numerical techniques based on discrete processes; innovative methods based on polynomial and rational approximation; variational inequalities, conformal transformation and asymptotic techniques; and applications of differential equations to problems in science and engineering.

  • The Roots of Perception

    Individual Differences in Information Processing Within and Beyond Awareness
    • 1 Edición
    • Volumen 38
    • U. Hentschel + 2 más
    • Inglés
    The subject matter of this book is subliminal perception and microgenetic perceptual processing, two important topics on the interface between perception and personality. It presents a different way of handling these topics, biological in its emphasis on process, humanistic in its focussing on the dynamics of individual experience. The reader will not only find new theoretical perspectives but a host of new, efficient and penetrating methods for analyzing problems of personality and psychopathology. The book is filled with empirical data supporting its theoretical and methodological claims.Main Features: - New perspectives on information processing in relation to personality. - New methods applicable in many fields, such as clinical psychology, developmental and personality psychology, psychiatry, neuroscience, education (creativity), etc. - Constructive analysis and critical review of the fields of subliminal perception and microgenesis.

Temas relacionados