Saltar al contenido principal

Libros en Ciencias de la Computación

  • 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.
  • 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.
  • 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.
  • 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.
  • Advances in Computers

    • 1 Edición
    • Volumen 27
    • Inglés
  • 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.
  • Modelling Surface and Sub-Surface Flows

    • 1 Edición
    • Volumen 35
    • 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 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.
  • Techniques for 3-D Machine Perception

    • 1 Edición
    • Volumen 3
    • A. Rosenfeld
    • Inglés
  • Groundwater Modelling

    An Introduction with Sample Programs in BASIC
    • 1 Edición
    • Volumen 25
    • W. Kinzelbach
    • Inglés
    With the growing concern about groundwater resources both with respect to quantity and quality, the need for groundwater modelling tools is increasing. Although there are a number of excellent introductions to the concepts of groundwater flow and pollution transport, the student or practising engineer wishing to develop a model and do practical work on the computer finds that there is still a gap between the understanding of concepts and the ability to handle the actual computations. A great deal of groundwater modelling software for personal computers and microcomputers has appeared recently, but taking these models from the shelf and applying them without a background on their capabilities often leads to disappointment and frustration. This book provides the reader with all necessary details to start modelling on his own. It gives a comprehensive introduction to the major techniques currently used in the modelling of groundwater flow and pollutant transport in groundwater. Both self-contained and comprehensive, it presents a wide variety of methods currently applied in the management, protection, and remediation of groundwater resources, which allows the reader to take the step from understanding the concepts to the ability to handle actual computations. All major techniques are illustrated by a total of 19 sample programs in BASIC which can be modified by the reader to suit his own need. The programs can be run directly on an Apple II+ or compatible personal computer, and with slight modifications, most can be transferred to other microcomputers with BASIC capability and at least 48K of central memory. The necessary modifications for running the programs on an IBM-PC are indicated in the appendix.Students and professionals in the fields of hydrogeology and civil and environmental engineering will find this to be an extremely useful book. Knowledge of the basic concepts of hydrogeology is assumed and, starting from that basis, the book will enable them to understand mathematical groundwater models and write computer programs of their own.
  • Organizing Information

    Principles of Data Base and Retrieval Systems
    • 1 Edición
    • Dagobert Soergel
    • Inglés
    This book gives a theoretical base and a perspective for the analysis, design, and operation of information systems, particularly their information storage and retrieval (ISAR) component, whether mechanized or manual. Information systems deal with many types of entities: events, persons, documents, business transactions, museum objects, research projects, and technical parts, to name a few. Among the purposes the serve are to inform the public, to support managers, researchers, and engineers, and to provide a knowledge base for an artificial intelligence program. The principles discussed in this book apply to all these contexts. The book achieves this generality by drawing on ideas from two conceptually overlapping areas—data base management and the organization and use of knowledge in libraries—and by integrating these ideas into a coherent framework. The principles discussed apply to the design of new systems and, more importantly, to the analysis of existing systems in order to exploit their capabilities better, to circumvent their shortcomings, and to introduce modifications where feasible.
  • Advances in Computers

    • 1 Edición
    • Volumen 24
    • Inglés
  • Nonlinear System Theory

    • 1 Edición
    • Volumen 175
    • Casti
    • Inglés
  • Differing Perspectives in Motor Learning, Memory, and Control

    • 1 Edición
    • Volumen 27
    • D. Goodman + 2 más
    • Inglés
  • Topics in the Theory of Computation

    • 1 Edición
    • Volumen 24
    • M. Karpinski + 1 más
    • Inglés
    This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area.These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing.
  • Decision and Control in Uncertain Resource Systems

    • 1 Edición
    • Volumen 172
    • Mangel
    • Inglés
  • Bilinear Transformation Method

    • 1 Edición
    • Volumen 174
    • Matsuno
    • Inglés
  • Computational Methods for Optimizing Distributed Systems

    • 1 Edición
    • Volumen 173
    • Charles Teo
    • Inglés
    Optimal control theory of distributed parameter systems has been a very active field in recent years; however, very few books have been devoted to the studiy of computational algorithms for solving optimal control problems. For this rason the authors decided to write this book. Because the area is so broad, they confined themselves to optimal control problems involving first and second boundary-value problems of a linear second-order parabolic partial differential equation. However the techniques used are by no means restricted to these problems. They can be and in some cases already have been applied to problems involving other types of distributed parameter system. The authors aim is to devise computational algorithms for solving optimal control problems with particular emphasis on the mathematical theory underlying the algorithms. These algorithms are obtained by using a first-order strong variational method or gradient-type methods.
  • Common LISP

    The Language
    • 2 Edición
    • Guy Steele
    • Inglés
    The defacto standard - a must-have for all LISP programmers.In this greatly expanded edition of the defacto standard, you'll learn about the nearly 200 changes already made since original publication - and find out about gray areas likely to be revised later. Written by the Vice- Chairman of X3J13 (the ANSIcommittee responsible for the standardization of Common Lisp) and co-developer of the language itself, the new edition contains the entire text of the first edition plus six completely new chapters. They cover: - CLOS, the Common Lisp Object System, with new features to support function overloading and object-oriented programming, plus complete technical specifications * Loops, a powerful control structure for multiple variables * Conditions, a generalization of the error signaling mechanism * Series and generators * Plus other subjects not part of the ANSI standards but of interest to professional programmers. Throughout, you'll find fresh examples, additional clarifications, warnings, and tips - all presented with the author's customary vigor and wit.
  • Advances in Computers

    • 1 Edición
    • Volumen 23
    • Inglés
  • Generalized Functions: Theory and Technique

    • 1 Edición
    • Volumen 171
    • Kanwal
    • Inglés
  • Volterra Integral and Differential Equations

    • 1 Edición
    • Volumen 167
    • Burton
    • Inglés
  • Decision Making under Uncertainty

    Cognitive Decision Research, Social Interaction, Development and Epistemology
    • 1 Edición
    • Volumen 16
    • R.W. Scholz
    • Inglés
    This volume contains the revised papers of an international symposium on research on fallacies, biases, and the development of decision behavior under uncertainty. The papers are organized in five main sections.The Introduction outlines the conceptual framework and how three of the sections - Cognitive Decision Research, Social Interaction, and Development and Epistemology - are interrelated and also how new fields, such as research into developmental questions, can be productively integrated.In the fifth section Comments are collected, which evaluate the impact of the contributions on decision research itself, and also on cognitive psychology, social psychology, economic theory, ant the discipline of mathematics education.
  • Advances in Computers

    • 1 Edición
    • Volumen 22
    • Inglés
  • Stochastic Systems

    • 1 Edición
    • Volumen 169
    • Adomian
    • Inglés
  • The Stability of Input-Output Dynamical Systems

    • 1 Edición
    • Volumen 168
    • Harris
    • Inglés
  • Algebraic Theory for Multivariable Linear Systems

    • 1 Edición
    • Volumen 166
    • Blomberg
    • Inglés
  • Approximation of Nonlinear Evolution Systems

    • 1 Edición
    • Volumen 164
    • Jerome
    • Inglés