Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • M Programming: A Comprehensive Guide

    • 1 Edición
    • Richard Walters
    • Inglés
    M Programming: A Comprehensive Guide is a complete update to ABCs of MUMPS. While ABCs of MUMPS was an introduction for novice and intermediate M programmers, M Programming: A Comprehensive Guide has a new section containing advanced material. This new section addresses features such as transaction processing, networking, structured system variables, and interfaces to other standards. Five new chapters have been added, covering an overview of M for readers familiar with other languages; M and the Windows environment; interaction between M and the underlying system; transaction processing; interfacing M with other standards; and error handling. Sections on interactive programming and futures have been extensively updated. M Programming: A Comprehensive Guide is an invaluable resource for everyone who is learning or using M.

  • Neural Systems for Robotics

    • 1 Edición
    • Omid Omidvar + 1 más
    • Inglés
    Neural Systems for Robotics represents the most up-to-date developments in the rapidly growing aplication area of neural networks, which is one of the hottest application areas for neural networks technology. The book not only contains a comprehensive study of neurocontrollers in complex Robotics systems, written by highly respected researchers in the field but outlines a novel approach to solving Robotics problems. The importance of neural networks in all aspects of Robot arm manipulators, neurocontrol, and Robotic systems is also given thorough and in-depth coverage. All researchers and students dealing with Robotics will find Neural Systems for Robotics of immense interest and assistance.

  • Intelligent Environments

    Spatial Aspects of the Information Revolution
    • 1 Edición
    • P. Droege
    • Inglés
    The environment, as modified and created by people, is largely about the use of information, its generation and exchange. How do recent innovations in the technologies of information management and communication affect our use of space and place, and the way we perceive and think about our surroundings?This volume provides an international, exploratory forum for the complex phenomenon of new information and communication technology as it permeates and transforms our physical world, and our relation to it: the architectural definition of our surrounding, geographical space, urban form and immediate habitats. This book is a reader, an attempt at registering disciplinary changes in context, at tracing subtexts for which most mainstream disciplines have no established language. The project is to give voice to an emerging meta-discipline that has its logic across the specializations.A wide range of professionals and academics report findings, views and ideas. Together, they describe the architecture of a postmodern paradigm: how swiftly mutating the proliferating technology applications have begun to interact with the construction and reading of physical space in architecture, economics, geography, history, planning, social sciences, transport, visual art - but also in the newer domains that have joined this spectrum through the very nature of their impacts: information technology and telecommunications.T... space navigated in this volume is vast, both in physical terms and in its virtual and analogous form. It ranges from the space that immediately encompasses, or is simulated to encompass, the human body - as in buildings and virtual tectonics - to that of towns and regions. We stay clear of molecular-scale space, and of dimensions that are larger than earth.

  • Admissibility of Logical Inference Rules

    • 1 Edición
    • Volumen 136
    • V.V. Rybakov
    • Inglés
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:• admissible or permissible inference rules• the derivability of the admissible inference rules• the structural completeness of logics• the bases for admissible and valid inference rules.There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered.The book is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included.The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook.

  • Disaster Recovery for Archives, Libraries and Records Management Systems in Australia and New Zealand

    • 1 Edición
    • Judith Doig
    • Inglés
    Floods, fires or earthquakes can cause critical damage to books and to records. A recovery effort which is well-intentioned but ill-informed or hasty may make the damage far worse. What should be done? What should not be done? This is the first book on disaster recovery specifically tailored for the Australasian market. The book discusses factors which should be considered by managers before setting up a disaster recovery plan, including prevention and insurance. It covers, in detail, the content and development of a disaster plan and considers training programs for those staff who are involved. There is an account of the history of disaster recovery with special attention given to disasters occurring in Australia and New Zealand and to the recovery efforts which have been mounted.

  • Neural Systems for Control

    • 1 Edición
    • Omid Omidvar + 1 más
    • Inglés
    Control problems offer an industrially important application and a guide to understanding control systems for those working in Neural Networks. Neural Systems for Control represents the most up-to-date developments in the rapidly growing aplication area of neural networks and focuses on research in natural and artifical neural systems directly applicable to control or making use of modern control theory. The book covers such important new developments in control systems such as intelligent sensors in semiconductor wafer manufacturing; the relation between muscles and cerebral neurons in speech recognition; online compensation of reconfigurable control for spacecraft aircraft and other systems; applications to rolling mills, robotics and process control; the usage of past output data to identify nonlinear systems by neural networks; neural approximate optimal control; model-free nonlinear control; and neural control based on a regulation of physiological investigation/blood pressure control. All researchers and students dealing with control systems will find the fascinating Neural Systems for Control of immense interest and assistance.

  • Parallel Processing for Artificial Intelligence 3

    • 1 Edición
    • Volumen 20
    • J. Geller + 2 más
    • Inglés
    The third in an informal series of books about parallel processing for Artificial Intelligence, this volume is based on the assumption that the computational demands of many AI tasks can be better served by parallel architectures than by the currently popular workstations. However, no assumption is made about the kind of parallelism to be used. Transputers, Connection Machines, farms of workstations, Cellular Neural Networks, Crays, and other hardware paradigms of parallelism are used by the authors of this collection.The papers arise from the areas of parallel knowledge representation, neural modeling, parallel non-monotonic reasoning, search and partitioning, constraint satisfaction, theorem proving, parallel decision trees, parallel programming languages and low-level computer vision. The final paper is an experience report about applications of massive parallelism which can be said to capture the spirit of a whole period of computing history.This volume provides the reader with a snapshot of the state of the art in Parallel Processing for Artificial Intelligence.

  • Handbook of Logic and Language

    • 1 Edición
    • J. van Benthem + 1 más
    • Inglés
    This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance.This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory.The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers.The Handbook is self-contained, and individual articles are of the highest quality.

  • Parallel Computational Fluid Dynamics '96

    Algorithms and Results Using Advanced Computers
    • 1 Edición
    • P. Schiano + 3 más
    • Inglés
    In the last decade parallel computing has been put forward as the only computational answer to the increasing computational needs arising from very large and complex fluid dynamic problems. Considerable efforts are being made to use parallel computers efficiently to solve several fluid dynamic problems originating in aerospace, climate modelling and environmental applications.Paralle... CFD Conferences are international and aim to increase discussion among researchers worldwide.Topics covered in this particular book include typical CFD areas such as turbulence, Navier-Stokes and Euler solvers, reactive flows, with a good balance between both university and industrial applications. In addition, other applications making extensive use of CFD such as climate modelling and environmental applications are also included.Anyone involved in the challenging field of Parallel Computational Fluid Dynamics will find this volume useful in their daily work.

  • Proceedings IWISP '96, 4–7 November 1996; Manchester, UK

    Third International Workshop on Image and Signal Processing on the Theme of Advances in Computational Intelligence
    • 1 Edición
    • Basil G. Mertzios + 1 más
    • Inglés
    The papers in this volume focus on the most modern and critical aspects of Image and Signal Processing and related areas that have a significant impact in our society. The papers may be categorized in the following four major parts. Coding and Compression (image coding, image subband, wavelet coding and representation, video coding, motion estimation and multimedia); Image Processing and Pattern Recognition (image analysis, edge detection, segmentation, image enhancement and restoration, adaptive systems, colour processing, pattern and object recognition and classification); Fast Processing Techniques (computational methods, VLSI DSP architectures); Theory and Applications (identificiation and modelling, multirate filter banks, wavelets in image and signal processing, biomedical and industrial applications). The authors of these exceptionally high-quality papers form an interesting group, originating from the five continents, representing 33 countries.

  • Inside PC Card: CardBus and PCMCIA Design

    • 1 Edición
    • Faisal Imdad- Haque
    • Inglés
    PC Card (or PCMCIA) technology allows computers to interface with each other using less space than conventional interfaces. Currently, most applications are in the personal computing market, to enhance peripheral capabilities. As the industry changes, the applications will grow outside of the PC arena, into areas such as medical instrumentation and digital cameras, where peripheral expansion was previously unavailable.One of the advantages of this book over others is that it does more than repeat standards or list suppliers. It actually describes and demonstrates design examples which can be applied to projects. This makes it a useful guide design engineers who want to take advantage of the PC Card technology in their work.Faisal Haque is Design Engineering Manager at Baynetworks in Santa Clara, California and has been involved in PCMCIA design for the past four years. He is currently the chair of the PC Card ATA Working Group and has contributed to the 1995 PC Card Standard.

  • Parallel Programming with MPI

    • 1 Edición
    • Peter Pacheco
    • Inglés
    A hands-on introduction to parallel programming based on the Message-Passing Interface (MPI) standard, the de-facto industry standard adopted by major vendors of commercial parallel systems. This textbook/tutorial, based on the C language, contains many fully-developed examples and exercises. The complete source code for the examples is available in both C and Fortran 77. Students and professionals will find that the portability of MPI, combined with a thorough grounding in parallel programming principles, will allow them to program any parallel system, from a network of workstations to a parallel supercomputer.

  • Brain Theory

    Biological Basis and Computational Principles
    • 1 Edición
    • A. Aertsen + 1 más
    • Inglés
    The present collection of papers focuses on the subject of vision. The papers bring together new insights and facts from various branches of experimental and theoretical neuroscience. The experimental facts presented in the volume stem from disparate fields, such as neuroanatomy, electrophysiology, optical imaging and psychophysics. The theoretical models in part are unsophisticated, yet still inspiring, while others skilfully apply advanced mathematical reasoning to results of experimental measurements. The book is the fifth in a series of volumes intending to define a theory of the brain by bringing together formal reasoning and experimental facts. The reader is thus being introduced to a new kind of brain science, where facts and theory are beginning to blend together.

  • Topological Algorithms for Digital Image Processing

    • 1 Edición
    • Volumen 19
    • T.Y. Kong + 1 más
    • Inglés
    Basic topological algorithms are the subject of this new book. It presents their underlying theory and discusses their applications.Due to the wide variety of topics treated in the seven chapters, no attempt has been made to standardize the notation and terminology used by the authors. Each chapter, however, is self-contained and can be read independently of the others. Some of the basic terminology and fundamental concepts of digital topology are reviewed in the appendix which also describes important areas of the field. A bibliography of over 360 references is also provided.The notations and terminologies used in this book will serve to introduce readers to the even wider variety that exists in the voluminous literature dealing with topological algorithms.

  • Jim Blinn's Corner: A Trip Down the Graphics Pipeline

    • 1 Edición
    • Jim Blinn
    • Inglés
    For almost three decades eminent computer graphicist Jim Blinn has coupled his scientific knowledge and artistic abilities to foster the growth of the computer graphics field. His many contributions include the Voyager Fly-by animations of space missions to Jupiter, Saturn, and Uranus; The Mechanical Universe, a 52-part telecourse of animated physics; and the computer animation of Carl Sagan's PBS series Cosmos. In addition, Blinn, the recipient of the first SIGGRAPH Computer Graphics Achievement Award, has developed many widely used graphics techniques, including bump mapping, environment mapping, and blobby modeling.Blinn shares his insight and experience in "Jim Blinn's Corner," an award-winning column in the technical magazine IEEE Computer Graphics and Applications in which he unveils his most useful graphics methods and observations. This book, a compendium of 20 of the column's articles, leads you through the "graphics pipeline" offering a wealth of tips and tricks. It explores common graphics problems, many of which have never before been addressed.An invaluable resource for any graphics professionalIn his entertaining and inspirational style, Blinn examines a variety of topics to help computer graphics software and application developers recognize and solve graphics programming problems. Focusing on geometry and the graphics pipeline, he shares:easy to understand explanations of difficult concepts gleaned from years of teachinginteresting examples of tricky special cases that cause conventional algorithms to failhighly refined algorithms for clipping, viewing, lighting, and rendering

  • Artificial Intelligence

    • 1 Edición
    • Margaret A. Boden
    • Inglés
    Artificial Intelligence is the study of how to build or program computers to enable them to do what minds can do. This volume discusses the ways in which computational ideas and computer modeling can aid our understanding of human and animal minds. Major theoretical approaches are outlined, as well as some promising recent developments. Fundamental philosophical questions are discussed along with topics such as: the differences between symbolic and connectionist AI, planning and problem solving, knowledge representation, learning, expert systems, vision, natural language, creativity, and human-computer interaction. This volume is suitable for any psychologist, philosopher, or computer scientist wanting to know the current state of the art in this area of cognitive science.

  • Inside OrCAD

    • 1 Edición
    • Chris Schroeder
    • Inglés
    Inside OrCAD goes beyond the reference guide supplied by OrCAD. It contains an overview and introduction to modern schematic drafting, with exercises intended to help the reader master the use of OrCAD via a 'hands-on' learning experience - information that has been de-emphasized in the manuals for recent OrCAD versions.This introduction to OrCAD is designed to give easy access to practical information. The command reference is a complete listing and explanation of the OrCAD commands and functions. A series of appendices provide important tips and techniques and information about linking OrCAD to other Computer Aided Design and Computer Aided Engineering tools used in the electronics design process. The enclosed disk contains a parts library for the tutorial exercises and several useful utilities, making this book a valuable tool for the design engineer or engineering student. Chris Schroeder is the Technical Director, Electronics, For Crane Technologies Group, Inc., Daytona Beach, Florida, a leading automotive aftermarket and original equipment supplier. He has 19 years of engineering, marketing, and management experience in the electronics industry and has a broad, yet in-depth technical knowledge of both design and manufacturing. His specialized areas of design expertise include: embedded controls using RISC microcontroller technology, assembly language programming, magnetic design for switching power supplies and ignition coils, and printed circuit board design, including the use of surface mount technology.

  • Computer-Aided Molecular Design

    Theory and Applications
    • 1 Edición
    • Jean-Pierre Doucet + 1 más
    • Inglés
    The computer-aided design of novel molecular systems has undoubtedly reached the stage of a mature discipline offering a broad range of tools available to virtually any chemist. However, there are few books coveringmost of these techniques in a single volume and using a language which may generally be understood by students or chemists with a limited knowledge of theoretical chemistry. The purpose of this book is precisely to review, in such a language, both methodological aspects and important applications of computer-aided molecular design (CAMD), with a special emphasis on drug design and protein modeling.Using numerous examples ranging from molecular models to shapes, surfaces, and volumes, Computer-Aided Molecular Design provides coverage of the role molecular graphics play in CAMD. The text also treats the very notion of the structure of molecular systems by presenting both the various experimental techniques giving access to it and the most common model builders based on force fields. Separate chapters are devoted to other important topics in CAMD, such as Monte Carlo and molecular dynamics simulations; most common quantum chemical methods; derivation and visualization of molecular properties; and molecular similarity. Finally, strategies used in protein modeling and drug design, such as receptor mapping and the pharmacophore approach, are presented and illustrated by several examples.The book is addressed to students and researchers who wish to enter this new exciting field of molecular sciences, but also practitioners in CAMD as a comprehensive source of refreshing information in their field.

  • Distributed Algorithms

    • 1 Edición
    • Nancy A. Lynch
    • Inglés
    In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.Distribu... Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others.The material is organized according to the system model—first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference.The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms—to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

  • Computerization and Controversy

    Value Conflicts and Social Choices
    • 2 Edición
    • Rob Kling
    • Inglés
    The Second Edition of Computerization and Controversy: Value Conflicts and Social Choices is a collection of 78 articles that examine the social aspects of computerization from a variety of perspectives, many presenting important viewpoints not often discussed in the conventional literature. A number of paired articles comprise thought-provoking head-on debate. Fields represented include computer science, information systems, management, journalism, psychology, law, library science, and sociology. This volume introduces some of the major controversies surrounding the computerization of society and helps readers recognize the social processes that drive and shape computerization. Division into eight provocatively titled sections facilitates course planning for classroom or seminar use. A lead article for each section frames the major controversies, locates the selections within the debates, and points to other relevant literature.

  • Parallel Computational Fluid Dynamics '95

    Implementations and Results Using Parallel Computers
    • 1 Edición
    • A. Ecer + 3 más
    • Inglés
    Parallel Computational Fluid Dynamics(CFD) is an internationally recognised fast-growing field. Since 1989, the number of participants attending Parallel CFD Conferences has doubled.In order to keep track of current global developments, the Parallel CFD Conference annually brings scientists together to discuss and report results on the utilization of parallel computing as a practical computational tool for solving complex fluid dynamic problems. This volume contains the results of research conducted during the past year.Subject areas covered include: novel parallel algorithms, parallel Euler and Navier-Stokes solvers, parallel Direct Simulation Monte Carlo method and parallel multigrid techniques. The content of the book also demonstrates that considerable effort is being made to utilize parallel computing to solve a variety of fluid dynamics problems in topics such as climate modeling, consultation, aerodynamics and in many other areas.Readers of this book will gain a valid insight into the exciting recent developments in Parallel CFD research.

  • Cognitive Technology

    In Search of a Humane Interface
    • 1 Edición
    • Volumen 113
    • J.L. Mey + 1 más
    • Inglés
    In this book the editors have gathered a number of contributions by persons who have been working on problems of Cognitive Technology (CT). The present collection initiates explorations of the human mind via the technologies the mind produces. These explorations take as their point of departure the question What happens when humans produce new technologies? Two interdependent perspectives from which such a production can be approached are adopted:• How and why constructs that have their origins in human mental life are embodied in physical environments when people fabricate their habitat, even to the point of those constructs becoming that very habitat• How and why these fabricated habitats affect, and feed back into, human mental life.The aim of the CT research programme is to determine, in general, which technologies, and in particular, which interactive computer-based technologies, are humane with respect to the cognitive development and evolutionary adaptation of their end users. But what does it really mean to be humane in a technological world? To shed light on this central issue other pertinent questions are raised, e.g.• Why are human minds externalised, i.e., what purpose does the process of externalisation serve?• What can we learn about the human mind by studying how it externalises itself? • How does the use of externalised mental constructs (the objects we call 'tools') change people fundamentally?• To what extent does human interaction with technology serve as an amplification of human cognition, and to what extent does it lead to a atrophy of the human mind?The book calls for a reflection on what a tool is. Strong parallels between CT and environmentalism are drawn: both are seen as trends having originated in our need to understand how we manipulate, by means of the tools we have created, our natural habitat consisting of, on the one hand, the cognitive environment which generates thought and determines action, and on the other hand, the physical environment in which thought and action are realised. Both trends endeavour to protect the human habitat from the unwanted or uncontrolled impact of technology, and are ultimately concerned with the ethics and aesthetics of tool design and tool use.Among the topics selected by the contributors to the book, the following themes emerge (the list is not exhaustive): using technology to empower the cognitively impaired; the ethics versus aesthetics of technology; the externalisation of emotive and affective life and its special dialectic ('mirror') effects; creativity enhancement: cognitive space, problem tractability; externalisation of sensory life and mental imagery; the engineering and modelling aspects of externalised life; externalised communication channels and inner dialogue; externalised learning protocols; relevance analysis as a theoretical framework for cognitive technology.

  • Cobol for Students

    • 4 Edición
    • Andrew Parkin + 1 más
    • Inglés
    COBOL for Students has established itself as one of the most successful teaching texts on COBOL programming and is now in its fourth edition. The first part of the book concentrates on the fundamentals of the language and takes students to the point where they can write modestly sized programs using sequential files. Part two assumes competence in elementary COBOL and explains design and other programming techniques which should be part of the professional programmer's repertoire. Part three extends the student's knowledge of the language by explaining some of the more advanced features of COBOL.Written for students learning COBOL for the first time, it takes the reader from the basic fundamentals right through to some of the more advanced features in one handy, and inexpensive volume. As many lecture courses have been based upon earlier editions of this book, this edition maintains the highly successful style and format and has been updated to include the 'Intrinsic Function Module for COBOL'. (This is the ANSI Standard X3.23a-1989 (COBOL 89) which has also been adopted as ISO International Standard 1989 Addendum 1 (an addendum to the ANSI Standard X3.23-1985 (COBOL 85)) and consists mainly of 42 predefined functions related to many different application areas).

  • Pascal for Students (including Turbo Pascal)

    • 3 Edición
    • Ray Kemp + 1 más
    • Inglés
    The third edition of this best-selling text has been revised to present a more problem oriented approach to learning Pascal, without substantially changing the original popular style of previous editions. With additional material on Turbo Pascal extensions to the standard Pascal, including binary files and graphics, it continues to provide an introduction which is as suitable for the programming novice as for those familiar with other computer languages.

  • Problem Solving: Methods, Programming and Future Concepts

    • 1 Edición
    • Volumen 12
    • O.V. German + 1 más
    • Inglés
    Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "universal" applied discipline. Studying questions concerning this area, encompasses different concepts, models and theories. This volume of the series looks at classifying problems, interpreting them, and the methods of solving them. The final chapter covers future concepts such as universal problem solving approach restoration, weak methods becoming strong, the role of formal logic in future developments, human factors and other paradigms.Different groups of readers such as mathematicians, specialists in computer sciences, and programmers will find this title of interest. Post-graduates and the students specializing in AI and applied mathematics will also find the work useful.

  • Motor Control and Sensory-Motor Integration

    Issues and Directions
    • 1 Edición
    • Volumen 111
    • D.J. Glencross + 1 más
    • Inglés
    This volume evolved from a workshop which addressed the general area of motor control, and the broader problems of serial organisation and sensory-motor integration of human skills. A number of specific issues are highlighted, including the neural mechanisms and disabilities of sensory-motor integration, planning and programming of action, the dynamics of interlimb coordination, amendment and updating mechanisms, and in particular, perception-action coupling and the representation of action. Underlying much of the volume are the major theoretical issues which include the debate between computational and prescriptive approaches versus the emergent properties and system dynamics approaches. The book represents a diverse approach from such disciplines as psychology, electrical and mechanical engineering, human movement studies, physiotherapy, neurology, and kinesiology.

  • Intelligent Systems in Process Engineering, Part I: Paradigms from Product and Process Design

    • 1 Edición
    • Volumen 21
    • James Wei
    • Inglés
    Volumes 21 and 22 of Advances in Chemical Engineering contain ten prototypical paradigms which integrate ideas and methodologies from artificial intelligence with those from operations research, estimation andcontrol theory, and statistics. Each paradigm has been constructed around an engineering problem, e.g. product design, process design, process operations monitoring, planning, scheduling, or control. Along with the engineering problem, each paradigm advances a specific methodological theme from AI, such as: modeling languages; automation in design; symbolic and quantitative reasoning; inductive and deductive reasoning; searching spaces of discrete solutions; non-monotonic reasoning; analogical learning;empirical learning through neural networks; reasoning in time; and logic in numerical computing. Together the ten paradigms of the two volumes indicate how computers can expand the scope, type, and amount of knowledge that can be articulated and used in solving a broad range of engineering problems.

  • Intelligent Robots and Systems

    • 1 Edición
    • V. Graefe
    • Inglés
    Of the 300 papers presented during IROS '94, 48 were selected because they are particularly significant and characteristic for the present state of the technology of intelligent robots and systems. This book contains the selected papers in a revised and expanded form.Robotics and intelligent systems constitute a very wide and truly interdisciplinary field. The papers have been grouped into the following categories:– Sensing and Perception – Learning and Planning– Manipulation– Telerobotics and Space Robotics– Multiple Robots– Legged Locomotion– Mobile Robot Systems– Robotics in MedicineOther additional fields covered include; control, navigation and simulation. Since many researchers in robotics are now apparently interested in some combination of learning, mobile robots and robot vision, most of the articles included relate to at least one of these fields.

  • High Performance Computing: Technology, Methods and Applications

    • 1 Edición
    • Volumen 10
    • J.J. Dongarra + 3 más
    • Inglés
    High Performance Computing is an integrated computing environment for solving large-scale computational demanding problems in science, engineering and business. Newly emerging areas of HPC applications include medical sciences, transportation, financial operations and advanced human-computer interface such as virtual reality. High performance computing includes computer hardware, software, algorithms, programming tools and environments, plus visualization.The book addresses several of these key components of high performance technology and contains descriptions of the state-of-the-art computer architectures, programming and software tools and innovative applications of parallel computers. In addition, the book includes papers on heterogeneous network-based computing systems and scalability of parallel systems.The reader will find information and data relative to the two main thrusts of high performance computing: the absolute computational performance and that of providing the most cost effective and affordable computing for science, industry and business. The book is recommended for technical as well as management oriented individuals.

  • Advances in Computers

    • 1 Edición
    • Volumen 41
    • Inglés
    Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

  • Advances in Computers

    • 1 Edición
    • Volumen 40
    • Inglés
    Praise for the Series"Mandatory for academic libraries supporting computer science departments."-CHOICE... its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field.

  • Information Superhighways

    Multimedia Users and Futures
    • 1 Edición
    • Stephen J. Emmott
    • Inglés
    A global information revolution has begun. Converging communications and computing technologies are forming information superhighways, linking people and information interactively, at any time, in any place, via a combination of multimedia, digital video, sound, graphics, and text.The challenge now is to understand the needs of people as the users of information superhighways and develop products and services that use the technological advances to positive effect. This is the first book to examine these issues. It shows that by focusing on users, a range of multimedia applications emerge which make more imaginative use of computing and bandwidth than the products of the current focus on application development, such as"video on demand."The book emphasizes the point that the information revolution will be driven by users, not the multimedia industry.Information Superhighways is essential reading for those working in the communications, computing, and media industries, and in multimedia. It will also be of interest to students and practitioners in psychology, computing, and human-computer interaction.

  • Graphics Gems V (IBM Version)

    • 1 Edición
    • Alan W. Paeth
    • Inglés
    Graphics Gems V is the newest volume in The Graphics Gems Series. It is intended to provide the graphics community with a set of practical tools for implementing new ideas and techniques, and to offer working solutions to real programming problems. These tools are written by a wide variety of graphics programmers from industry, academia, and research. The books in the series have become essential, time-saving tools for many programmers.

  • HRT-HOOD™: A Structured Design Method for Hard Real-Time Ada Systems

    • 1 Edición
    • Volumen 3
    • A. Burns + 1 más
    • Inglés
    The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible in the spacecraft development life cycle.The European Space Agency has, for a number of years, encouraged the development of software using HOOD. It was thus a natural next step to investigate the incorporation of time within the existing HOOD framework. This has proven to be very beneficial and this book describes the approach developed by the authors for handling Hard Real-Time applications. It describes both the background scheduling theory, provides practical examples of its application to real life problems, and demonstrates how it is used in the various phases of the development of Hard Real-Time systems.

  • Understanding and Designing Computer Networks

    • 1 Edición
    • Graham King
    • Inglés
    Understanding and Designing Computer Networks considers the ubiquitous nature of data networks, with particular reference to internetworking and the efficient management of all aspects of networked integrated data systems. In addition it looks at the next phase of networking developments; efficiency and security are covered in the sections dealing with data compression and data encryption; and future examples of network operations, such as network parallelism, are introduced.A comprehensive case study is used throughout the text to apply and illustrate new techniques and concepts as they are introduced. Presented in a format which is specifically tailored to modular courses, this comprehensive text should be essential reading for undergraduates in the fields of computer science, electronics or telecommunications.

  • Algorithms and Parallel VLSI Architectures III

    • 1 Edición
    • M. Moonen + 1 más
    • Inglés
    A comprehensive overview of the current evolution of research in algorithms, architectures and compilation for parallel systems is provided by this publication.The contributions focus specifically on domains where embedded systems are required, either oriented to application-specific or to programmable realisations. These are crucial in domains such as audio, telecom, instrumentation, speech, robotics, medical and automotive processing, image and video processing, TV, multimedia, radar and sonar.The book will be of particular interest to the academic community because of the detailed descriptions of research results presented. In addition, many contributions feature the "real-life" applications that are responsible for driving research and the impact of their specific characteristics on the methodologies is assessed.The publication will also be of considerable value to senior design engineers and CAD managers in the industrial arena, who wish either to anticipate the evolution of commercially available design tools or to utilize the presented concepts in their own R&D programmes.

  • Foundational Issues in Artificial Intelligence and Cognitive Science

    Impasse and Solution
    • 1 Edición
    • Volumen 109
    • Mark H. Bickhard + 1 más
    • Inglés
    The book focuses on a conceptual flaw in contemporary artificial intelligence and cognitive science. Many people have discovered diverse manifestations and facets of this flaw, but the central conceptual impasse is at best only partially perceived. Its consequences, nevertheless, visit themselves asdistortions and failures of multiple research projects - and make impossible the ultimate aspirations of the fields.The impasse concerns a presupposition concerning the nature of representation - that all representation has the nature of encodings: encodingism. Encodings certainly exist, butencodingism is at root logically incoherent; any programmatic research predicted on it is doomed too distortion and ultimate failure.The impasse and its consequences - and steps away from that impasse - are explored in a large number of projects and approaches. These include SOAR, CYC, PDP, situated cognition, subsumption architecture robotics, and the frame problems - a general survey of the current research in AI and Cognitive Science emerges.Interactivis... an alternative model of representation, is proposed and examined.

  • Advances in Electronics and Electron Physics

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

  • Parallel Computational Fluid Dynamics '93

    New Trends and Advances
    • 1 Edición
    • J. Hauser + 3 más
    • Inglés
    This volume contains the papers presented at the Parallel Computing Fluid Dynamics '93 Conference, Paris, 1993. A wide range of topics are covered including: networked computers, data parallel programming, domain decomposition, Euler and Navier-Stokes solvers.Researchers in this area will find this volume a useful reference in this rapidly developing field.

  • Fortran Programs for Chemical Process Design, Analysis, and Simulation

    • 1 Edición
    • A. Kayode Coker
    • Inglés
    This book gives engineers the fundamental theories, equations, and computer programs (including source codes) that provide a ready way to analyze and solve a wide range of process engineering problems.

  • Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

    • 1 Edición
    • Dan Craigen + 1 más
    • Inglés
    Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.

  • Reliability of Software Intensive Systems

    • 1 Edición
    • Michael A. Friedman + 2 más
    • Inglés
    Reliability of Software Intensive Systems

  • Software Quality Control, Error, Analysis

    • 1 Edición
    • Judith Clapp + 5 más
    • Inglés
    Software Quality Control, Error, Analysis

  • Parallel Computing

    • 1 Edición
    • Eduard L Lafferty
    • Inglés
    Parallel Computing

  • Advanced Software Applications in Japan

    • 1 Edición
    • Edward A. Feigenbaum + 3 más
    • Inglés
    Advanced Software Applications in Japan

  • The UNIX Philosophy

    • 1 Edición
    • Mike Gancarz
    • Inglés
    * Deals with powerful concepts in a simple way * Highlights important characteristics of Operating systems and other abstract entities in a new way * Explores the tenets of the UNIX operating system philosophyUnlike so many books that focus on how to use UNIX, The UNIX Philosophy concentrates on answering the questions: `Why use UNIX in the first place?'. Readers will discover the rationale and reasons for such concepts as file system organization, user interface and other system characteristics. In an informative, non-technical fashion, The UNIX Philosophy explores the general principles for applying the UNIX philosophy to software development. This book describes complex software design principles and addresses the importance of small programs, code and data portability, early prototyping, and open user interfaces. The UNIX Philosophy is a book to be read before tackling the highly technical texts on UNIX internals and programming. Written for both the computer layperson and the experienced programmer, this book explores the tenets of the UNIX operating system in detail, dealing with powerful concepts in a comprehensive, straightforward manner.

  • Graphics Gems II

    • 1 Edición
    • James Arvo
    • Inglés
    Graphics Gems II is a collection of articles shared by a diverse group of people that reflect ideas and approaches in graphics programming which can benefit other computer graphics programmers. This volume presents techniques for doing well-known graphics operations faster or easier. The book contains chapters devoted to topics on two-dimensional and three-dimensional geometry and algorithms, image processing, frame buffer techniques, and ray tracing techniques. The radiosity approach, matrix techniques, and numerical and programming techniques are likewise discussed. Graphics artists and computer programmers will find the book invaluable.

  • Designing Computer Programs

    • 1 Edición
    • Jim Haigh
    • Inglés
    This is a book for students at every level who are learning to program for the first time - and for the considerable number who learned how to program but were never taught to structure their programs. The author presents a simple set of guidelines that show the programmer how to design in a manageable structure from the outset. The method is suitable for most languages, and is based on the widely used 'JSP' method, to which the student may easily progress if it is needed at a later stage.Most language specific texts contain very little if any information on design, whilst books on design approach the topic at too high a level for someone learning their first language. This inexpensive introduction to design can be used alongside whatever programming book suits the student's particular needs.

  • Advances in Computers

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

  • Advances in Computers

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

Temas relacionados