Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • Usability Engineering

    • 1 Edición
    • Jakob Nielsen
    • Inglés
    Written by the author of the best-selling HyperText & HyperMedia, this book is an excellent guide to the methods of usability engineering. The book provides the tools needed to avoid usability surprises and improve product quality. Step-by-step information on which method to use at various stages during the development lifecycle are included, along with detailed information on how to run a usability test and the unique issues relating to international usability.

  • RISC System/6000 PowerPC System Architecture

    • 1 Edición
    • International Business Machines, Inc.
    • Inglés
    Offers support for a wide range of products for the RISC System/6000product line and AIX operating system, including Uni-processor (UP) andSymmetric Multiple Processor (SMP) systems. Provides important informationfor building many system features such as memory controllers with cachesand bus-to-bus bridges. RISC System/ 6000 PowerPC System Architecturedefines an architecture that allows each operating system--in particular,the AIX operating system--to run unchanged on all systems that comply withthis architecture. It provides a consistent software interface across abroad range of system implementations and offers all hardware/softwaredep... necessary for a successful system identification,confi... and performance tuning process.An important reference for all programmers and product developmentengineers who are developing software and hardware products for theRISC/System 6000 PowerPC systems. Also useful for system programmersinvolved in operating system design, system integrators building productsand parts for the system family, and anyone interested in porting otheroperating systems to the RISC System/6000 family.

  • Comprehension of Graphics

    • 1 Edición
    • Volumen 108
    • W. Schnotz + 1 más
    • Inglés
    Graphic displays such as charts, graphs, diagrams, and maps play in important role today in the design and presentation of instructional materials education. There is also a strong need in scientific, technical and administrative fields to visually present facts, laws, principles etc. The increasing use of computer-based learning environments has also become an important field where the visual presentation of information plays a central role. Despite the importance of graphical displays as a means of communication and the fact that research about learning and cognition has advanced rapidly in the past two decades, the comprehension of graphics is still a rather unexplored area.The comprehension of graphics is not only a stimulating topic in the fields of science and instructional psychology, but also in related disciplines such as semiotics, and artificial intelligence. Research on the comprehension of graphics complements the scientific investigation of cognitive processes in text comprehension, which has contributed much to our understanding of human cognition and learning. Ultimately, a better understanding of the cognitive processes involved in the comprehension of graphics will have an impact not only on cognitive theory, but also on educational practice.

  • Graphics Gems IV (IBM Version)

    • 1 Edición
    • Paul Heckbert
    • Inglés
    Graphics Gems IV is the newest volume in the Graphics Gems series. All of the books in the series contain practical solutions for graphics problems using the latest techniques in the field. The books in this series have become essential, time saving toolsfor many programmers. Volume IV is a collection of carefully crafted gems which are all new and innovative. All of the gems are immediately accessible and useful in formulating clean, fast, and elegant programs. The C programming language has been used for most of the program listings, although several of the gems have C++ implementations. *IBM version Includes one 3 1/2" high-density disk. System Requirements: 286 or higher IBM PC compatible, DOS 4.0 or higher

  • Advances in Electronics and Electron Physics

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

  • Parallel Computing Works!

    • 1 Edición
    • Geoffrey C. Fox + 2 más
    • Inglés
    A clear illustration of how parallel computers can be successfully appliedto large-scale scientific computations. This book demonstrates how avariety of applications in physics, biology, mathematics and other scienceswere implemented on real parallel computers to produce new scientificresults. It investigates issues of fine-grained parallelism relevant forfuture supercomputers with particular emphasis on hypercube architecture.The authors describe how they used an experimental approach to configuredifferent massively parallel machines, design and implement basic systemsoftware, and develop algorithms for frequently used mathematicalcomputat... They also devise performance models, measure the performancecharacter... of several computers, and create a high-performancecomp... facility based exclusively on parallel computers. By addressingall issues involved in scientific problem solving, Parallel ComputingWorks! provides valuable insight into computational science for large-scaleparallel architectures. For those in the sciences, the findings reveal theusefulness of an important experimental tool. Anyone in supercomputing andrelated computational fields will gain a new perspective on the potentialcontributio... of parallelism. Includes over 30 full-color illustrations.

  • FORTRAN 90 for Scientists and Engineers

    • 1 Edición
    • Brian H. Hahn
    • Inglés
    The introduction of the Fortran 90 standard is the first significant change in the Fortran language in over 20 years. this book is designed for anyone wanting to learn Fortran for the first time or or a programmer who needs to upgrade from Fortran 77 to Fortran 90.Employing a practical, problem-based approach this book provides a comprehensive introduction to the language. More experienced programmers will find it a useful update to the new standard and will benefit from the emphasis on science and engineering applications.

  • Time-Varying Image Processing and Moving Object Recognition

    Proceedings of the 4th International Workshop Florence, Italy, June 10-11, 1993
    • 1 Edición
    • V. Cappellini
    • Inglés
    In the area of Digital Image Processing the new area of "Time-Varying Image Processing and Moving Oject Recognition" is contributing to impressive advances in several fields. Presented in this volume are new digital image processing and recognition methods, implementation techniques and advanced applications such as television, remote sensing, biomedicine, traffic, inspection, and robotics. New approaches (such as digital transforms, neural networks) for solving 2-D and 3-D problems are described. Many papers concentrate on motion estimation and recognition i.e. tracking of moving objects. Overall, the book describes the state-of-the-art (theory, implementation, applications) of this developing area, together with future trends. The work will be of interest not only to researchers, professors and students in university departments of engineering, communications, computers and automatic control, but also to engineers and managers of industries concerned with computer vision, manufacturing, automation, robotics and quality control.

  • The Vector-Valued Maximin

    • 1 Edición
    • Volumen 193
    • Slukvadze
    • Inglés

  • Advances in Electronics and Electron Physics

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

  • Mathematical Approaches to Neural Networks

    • 1 Edición
    • Volumen 51
    • J.G. Taylor
    • Inglés
    The subject of Neural Networks is being seen to be coming of age, after its initial inception 50 years ago in the seminal work of McCulloch and Pitts. It is proving to be valuable in a wide range of academic disciplines and in important applications in industrial and business tasks. The progress being made in each approach is considerable. Nevertheless, both stand in need of a theoretical framework of explanation to underpin their usage and to allow the progress being made to be put on a firmer footing.This book aims to strengthen the foundations in its presentation of mathematical approaches to neural networks. It is through these that a suitable explanatory framework is expected to be found. The approaches span a broad range, from single neuron details to numerical analysis, functional analysis and dynamical systems theory. Each of these avenues provides its own insights into the way neural networks can be understood, both for artificial ones and simplified simulations. As a whole, the publication underlines the importance of the ever-deepening mathematical understanding of neural networks.

  • The Cognitive Psychology of Knowledge

    • 1 Edición
    • Volumen 101
    • G. Strube + 1 más
    • Inglés
    The present book is a result of a seven-year (1986-1992) national research program in cognitive science in Germany, presumably the first large scale cognitive science program there. Anchored in psychology, and therefore christened Wissenpsychologie (psychology of knowledge), it has found interdisciplinary resonance, especially in artificial intelligence and education. The research program brought together cognitive scientists from over twenty German universities and more than thirty single projects were funded. The program was initiated by Heinz Mandl and Hans Spada, the main goals of which were to investigate the acquisition of knowledge, the access to knowledge, and the modification and application of knowledge from a psychological perspective. Emphasis was placed on formalisms of knowledge representation and on the processes involved. In many of the projects this was combined with computer simulations. A final but equally important goal was the development of experimental paradigms and methods for data analysis that are especially suited to investigate knowledge based processes.The research program has had a major impact on cognitive psychology in Germany. Research groups were established at many universities and research equipment was provided. It also inspired a considerable number of young scientists to carry out cognitive research, employ modeling techniques from artificial intelligence for psychological theorizing, and construct intelligent tutoring systems for education. Close contacts with cognitive scientists in the U.S. have helped to firmly integrate the program with international research endeavours. Each year, one or two workshops were held. The present volume is the result of the final workshop which was held in September 1992. Selected results from seventeen projects are presented in this book. The volume is enriched by three guest scholars who agreed to participate in the final workshop and to comment on the chapters of the book.

  • Categorization by Humans and Machines

    Advances in Research and Theory
    • 1 Edición
    • Inglés
    The objective of the series has always been to provide a forum in which leading contributors to an area can write about significant bodies of research in which they are involved. The operating procedure has been to invite contributions from interesting, active investigators, and then allow them essentially free rein to present their perspectives on important research problems. The result of such invitations over the past two decades has been collections of papers which consist of thoughtful integrations providing an overview of a particular scientific problem. The series has an excellent tradition of high quality papers and is widely read by researchers in cognitive and experimental psychology.

  • Advances in Computers

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

  • Graphics Gems

    • 1 Edición
    • Andrew S. Glassner
    • Inglés
    "The GRAPHICS GEMS Series" was started in 1990 by Andrew Glassner. The vision and purpose of the Series was - and still is - to provide tips, techniques, and algorithms for graphics programmers. All of the gems are written by programmers who work in the field and are motivated by a common desire to share interesting ideas and tools with their colleagues. Each volume provides a new set of innovative solutions to a variety of programming problems.

  • Application of Artificial Intelligence in Process Control

    Lecture Notes Erasmus Intensive Course
    • 1 Edición
    • L. Boullart + 2 más
    • Inglés
    This book is the result of a united effort of six European universities to create an overall course on the appplication of artificial intelligence (AI) in process control. The book includes an introduction to key areas including; knowledge representation, expert, logic, fuzzy logic, neural network, and object oriented-based approaches in AI. Part two covers the application to control engineering, part three: Real-Time Issues, part four: CAD Systems and Expert Systems, part five: Intelligent Control and part six: Supervisory Control, Monitoring and Optimization.

  • Advances in Computers

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

  • Three-Dimensional Object Recognition Systems

    • 1 Edición
    • Volumen 1
    • Anil K Jain + 1 más
    • Inglés
    The design and construction of three-dimensional [3-D] object recognition systems has long occupied the attention of many computer vision researchers. The variety of systems that have been developed for this task is evidence both of its strong appeal to researchers and its applicability to modern manufacturing, industrial, military, and consumer environments. 3-D object recognition is of interest to scientists and engineers in several different disciplines due to both a desire to endow computers with robust visual capabilities, and the wide applications which would benefit from mature and robust vision systems. However, 3-D object recognition is a very complex problem, and few systems have been developed for actual production use; most existing systems have been developed for experimental use by researchers only. This edited collection of papers summarizes the state of the art in 3-D object recognition using examples of existing 3-D systems developed by leading researchers in the field. While most chapters describe a complete object recognition system, chapters on biological vision, sensing, and early processing are also included. The volume will serve as a valuable reference source for readers who are involved in implementing model-based object recognition systems, stimulating the cross-fertilisation of ideas in the various domains. The variety of topics on Image Communication is so broad that no one can be a specialist in all the topics, and the whole area is beyond the scope of a single volume, while the requirement of up to date information is ever increasing. This new closed-end book series is intended both as a comprehensive reference for those already active in the area of Image Communication, as well as providing newcomers with a foothold for commencing research. Each volume will comprise a state of the art work on the editor's/author's area of expertise, containing information until now scattered in many journals and proceedings.

  • Advances in Electronics and Electron Physics

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

  • Practical Neural Network Recipies in C++

    • 1 Edición
    • Masters
    • Inglés
    This text serves as a cookbook for neural network solutions to practical problems using C++. It will enable those with moderate programming experience to select a neural network model appropriate to solving a particular problem, and to produce a working program implementing that network. The book provides guidance along the entire problem-solving path, including designing the training set, preprocessing variables, training and validating the network, and evaluating its performance. Though the book is not intended as a general course in neural networks, no background in neural works is assumed and all models are presented from the ground up.The principle focus of the book is the three layer feedforward network, for more than a decade as the workhorse of professional arsenals. Other network models with strong performance records are also included.Bound in the book is an IBM diskette that includes the source code for all programs in the book. Much of this code can be easily adapted to C compilers. In addition, the operation of all programs is thoroughly discussed both in the text and in the comments within the code to facilitate translation to other languages.

  • Advances in Electronics and Electron Physics

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

  • Differential Equations with Applications to Mathematical Physics

    • 1 Edición
    • Volumen 192
    • W. F. Ames
    • Inglés

  • Readings in Groupware and Computer-Supported Cooperative Work

    Assisting Human-Human Collaboration
    • 1 Edición
    • Ronald M. Baecker
    • Inglés
    This comprehensive introduction to the field represents the best of the published literature on groupware and computer-supported cooperative work (CSCW). The papers were chosen for their breadth of coverage of the field, their clarity of expression and presentation, their excellence in terms of technical innovation or behavioral insight, their historical significance, and their utility as sources for further reading. Taken as a whole, the papers and their introductions are a complete sourcebook to the field. This book will be useful for computer professionals involved in the development or purchase of groupware technology as well as for researchers and managers. It should also serve as a valuable text for university courses on CSCW, groupware, and human-computer interaction.

  • Scientific Computing with Automatic Result Verification

    • 1 Edición
    • Volumen 189
    • Adams
    • Inglés

  • Morphogenesis

    • 1 Edición
    • Volumen 3
    • P.T. Saunders
    • Inglés
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

  • Analysis and Control of Nonlinear Infinite Dimensional Systems

    • 1 Edición
    • Volumen 190
    • Barbu
    • Inglés

  • Advances in Electronics and Electron Physics

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

  • Artificial Intelligence, Expert Systems & Symbolic Computing

    • 1 Edición
    • E.N. Houstis + 1 más
    • Inglés
    This volume contains papers in the areas of artificial intelligence, expert systems, symbolic computing and applications to scientific computing. Together, they provide an excellent overview of the dynamic state of these closely related fields. They reveal a future where scientific computation will increasingly involve symbolic and artificial intelligence tools as these software systems become more sophisticated; also a future where systems of computational science and engineering will be problem solving environments created with components from numerical analysis, computational geometry, symbolic computing and artificial intelligence.

  • The Steiner Tree Problem

    • 1 Edición
    • Volumen 53
    • F.K. Hwang + 2 más
    • Inglés
    The Steiner problem asks for a shortest network which spans a given set of points. Minimum spanning networks have been well-studied when all connections are required to be between the given points. The novelty of the Steiner tree problem is that new auxiliary points can be introduced between the original points so that a spanning network of all the points will be shorter than otherwise possible. These new points are called Steiner points - locating them has proved problematic and research has diverged along many different avenues.This volume is devoted to the assimilation of the rich field of intriguing analyses and the consolidation of the fragments. A section has been given to each of the three major areas of interest which have emerged. The first concerns the Euclidean Steiner Problem, historically the original Steiner tree problem proposed by Jarník and Kössler in 1934. The second deals with the Steiner Problem in Networks, which was propounded independently by Hakimi and Levin and has enjoyed the most prolific research amongst the three areas. The Rectilinear Steiner Problem, introduced by Hanan in 1965, is discussed in the third part. Additionally, a forth section has been included, with chapters discussing areas where the body of results is still emerging.The collaboration of three authors with different styles and outlooks affords individual insights within a cohesive whole.

  • C4.5

    Programs for Machine Learning
    • 1 Edición
    • J. Ross Quinlan
    • Inglés
    Classifier systems play a major role in machine learning and knowledge-based systems, and Ross Quinlan's work on ID3 and C4.5 is widely acknowledged to have made some of the most significant contributions to their development. This book is a complete guide to the C4.5 system as implemented in C for the UNIX environment. It contains a comprehensive guide to the system's use , the source code (about 8,800 lines), and implementation notes. C4.5 starts with large sets of cases belonging to known classes. The cases, described by any mixture of nominal and numeric properties, are scrutinized for patterns that allow the classes to be reliably discriminated. These patterns are then expressed as models, in the form of decision trees or sets of if-then rules, that can be used to classify new cases, with emphasis on making the models understandable as well as accurate. The system has been applied successfully to tasks involving tens of thousands of cases described by hundreds of properties. The book starts from simple core learning methods and shows how they can be elaborated and extended to deal with typical problems such as missing data and over hitting. Advantages and disadvantages of the C4.5 approach are discussed and illustrated with several case studies. This book should be of interest to developers of classification-based intelligent systems and to students in machine learning and expert systems courses.

  • Physically-Based Modeling for Computer Graphics

    A Structured Approach
    • 1 Edición
    • Ronen Barzel + 1 más
    • Inglés
    Physically-Based Modeling for Computer Graphics: A Structured Approach addresses the challenge of designing and managing the complexity of physically-based models. This book will be of interest to researchers, computer graphics practitioners, mathematicians, engineers, animators, software developers and those interested in computer implementation and simulation of mathematical models.

  • Advances in Computers

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

  • Transaction Processing

    Concepts and Techniques
    • 1 Edición
    • Jim Gray + 1 más
    • Inglés
    The key to client/server computing.Transactio... processing techniques are deeply ingrained in the fields ofdatabases and operating systems and are used to monitor, control and updateinformation in modern computer systems. This book will show you how large,distributed, heterogeneous computer systems can be made to work reliably.Using transactions as a unifying conceptual framework, the authors show howto build high-performance distributed systems and high-availabilityapp... with finite budgets and risk.The authors provide detailed explanations of why various problems occur aswell as practical, usable techniques for their solution. Throughout the book,examples and techniques are drawn from the most successful commercial andresearch systems. Extensive use of compilable C code fragments demonstratesthe many transaction processing algorithms presented in the book. The bookwill be valuable to anyone interested in implementing distributed systemsor client/server architectures.

  • Advances in Electronics and Electron Physics

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

  • Pattern Recognition and Machine Learning

    • 1 Edición
    • Y. Anzai
    • Inglés
    This is the first text to provide a unified and self-contained introduction to visual pattern recognition and machine learning. It is useful as a general introduction to artifical intelligence and knowledge engineering, and no previous knowledge of pattern recognition or machine learning is necessary. Basic for various pattern recognition and machine learning methods. Translated from Japanese, the book also features chapter exercises, keywords, and summaries.

  • Artificial Intelligence in Engineering Design

    Volume III: Knowledge Acquisition, Commercial Systems, And Integrated Environments
    • 1 Edición
    • Christopher Tong + 1 más
    • Inglés
    Artificial Intelligence in Engineering Design is a three volume edited collection of key papers from the field of artificial intelligence and design, aimed at providing a description of the field, and focusing on how ideas and methods from artifical intelligence can help engineers in the design of physical artifacts and processes. The book surveys a wide variety of applications in the areas of civil, mechanical, chemical, VLSI, electrical, and computer engineering. The contributors are from leading academic computer-aided design centers as well as from industry.

  • Advances in Computers

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

  • Fourth Czechoslovakian Symposium on Combinatorics, Graphs and Complexity

    • 1 Edición
    • Volumen 51
    • J. Nešetril + 1 más
    • Inglés
    This volume in the Annals of Discrete Mathematics brings together contributions by renowned researchers in combinatorics, graphs and complexity. The conference on which this book is based was the fourth in a series which began in 1963, which was the first time specialists from East and West were able to come together. The 1990 meeting attracted 170 mathematicians and computer scientists from around the world, so this book represents an international, detailed view of recent research.

  • A Guide to RISC Microprocessors

    • 2 Edición
    • Florence Slater
    • Inglés
    A Guide to RISC Microprocessors provides a comprehensive coverage of every major RISC microprocessor family. Independent reviewers with extensive technical backgrounds offer a critical perspective in exploring the strengths and weaknesses of all the different microprocessors on the market. This book is organized into seven sections and comprised of 35 chapters. The discussion begins with an overview of RISC architecture intended to help readers understand the technical details and the significance of the new chips, along with instruction set design and design issues for next-generation processors. The chapters that follow focus on the SPARC architecture, SPARC chips developed by Cypress Semiconductor in collaboration with Sun, and Cypress's introduction of redesigned cache and memory management support chips for the SPARC processor. Other chapters focus on Bipolar Integrated Technology's ECL SPARC implementation, embedded SPARC processors by LSI Logic and Fujitsu, the MIPS processor, Motorola 88000 RISC chip set, Intel 860 and 960 microprocessors, and AMD 29000 RISC microprocessor family. This book is a valuable resource for consumers interested in RISC microprocessors.

  • Stability and Time-Optimal Control of Hereditary Systems

    • 1 Edición
    • Volumen 188
    • Chukwu
    • Inglés

  • Fundamentals of Spatial Information Systems

    • 1 Edición
    • Robert Laurini + 1 más
    • Inglés
    The study and application of spatial information systems have been developed primarily from the use of computers in the geosciences. These systems have the principle functions of capturing, storing, representing, manipulating, and displaying data in 2-D and 3-D worlds. This book approaches its subject from the perspectives of informatics and geography, presenting methods of conceptual modeling developed in computer science that provide valuable aids for resolving spatial problems. This book is an essential textbook for both students and practitioners. It is indispensable for academic geographers, computer scientists, and the GIS professional.

  • Dictionary of Information Science and Technology

    • 1 Edición
    • Carolyn Watters
    • Inglés
    Information science is the study of information phenomena, including the acquisition, storage, and manipulation of data, information, and knowledge. It is by nature an interdisciplinary field. Researchers, managers, system users, and students need access to tools, terms, and techniques that are spread out over a large literature in a number of different disciplines: information retrieval, database management, office information systems, information technology, communication and networking, relevant computer hardware, and artificial intelligence.This work facilitates the cross-use terms from the various contributing sub-areas of information science. With definitions of one-thousand terms, in alphabetical order, the volume provides a unified, integrated, and concise guide to the field. Each term is annotated by one or more references to the literature. Where possible, the first reference directs the user to a basic or seminal discussion of the term and subsequent references show its usage in an information science-related application. This work will be an indispensable reference for students, researchers, and professionals.

  • Matrix Logic and Mind

    A Probe into a Unified Theory of Mind and Matter
    • 1 Edición
    • A. Stern
    • Inglés
    In this revolutionary work, the author sets the stage for the science ofthe 21st Century, pursuing an unprecedented synthesis of fields previouslyconsidered unrelated. Beginning with simple classical concepts, he endswith a complex multidisciplinary theory requiring a high level ofabstraction. The work progresses across the sciences in severalmultidiscipli... directions: Mathematical logic, fundamental physics,computer science and the theory of intelligence. Extraordinarily enough,the author breaks new ground in all these fields.In the field offundamental physics the author reaches the revolutionary conclusion thatphysics can be viewed and studied as logic in a fundamental sense, ascompared with Einstein's view of physics as space-time geometry. This opensnew, exciting prospects for the study of fundamental interactions. Aformulation of logic in terms of matrix operators and logic vector spacesallows the author to tackle for the first time the intractable problem ofcognition in a scientific manner. In the same way as the findings ofHeisenberg and Dirac in the 1930s provided a conceptual and mathematicalfoundati... for quantum physics, matrix operator logic supports an importantbreakthroug... in the study of the physics of the mind, which is interpretedas a fractal of quantum mechanics. Introducing a concept of logic quantumnumbers, the author concludes that the problem of logic and theintelligence code in general can be effectively formulated as eigenvalueproblems similar to those of theoretical physics. With this important leapforward in the study of the mechanism of mind, the author concludes thatthe latter cannot be fully understood either within classical or quantumnotions. A higher-order covariant theory is required to accommodate thefundamental effect of high-level intelligence. The landmark resultsobtained by the author will have implications and repercussions for thevery foundations of science as a whole. Moreover, Stern's Matrix Logic issuitable for a broad spectrum of practical applications in contemporarytechnolo...

  • Classical Recursion Theory

    The Theory of Functions and Sets of Natural Numbers
    • 1 Edición
    • Volumen 125
    • P. Odifreddi
    • Inglés
    1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles.Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

  • Practical Parallel Programming

    • 1 Edición
    • Barr E. Bauer
    • Inglés
    This is the book that will teach programmers to write faster, more efficient code for parallel processors. The reader is introduced to a vast array of procedures and paradigms on which actual coding may be based. Examples and real-life simulations using these devices are presented in C and FORTRAN.

  • Mechanical Intelligence

    • 1 Edición
    • Volumen 1
    • D.C. Ince
    • Inglés
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

  • Pure Mathematics

    • 1 Edición
    • Volumen 2
    • J.L. Britton
    • Inglés
    The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

  • The Art of Programming Embedded Systems

    • 1 Edición
    • Jack Ganssle
    • Inglés
    Embedded systems are products such as microwave ovens, cars, and toys that rely on an internal microprocessor. This book is oriented toward the design engineer or programmer who writes the computer code for such a system. There are a number of problems specific to the embedded systems designer, and this book addresses them and offers practical solutions.

  • Advances in Electronics and Electron Physics

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

  • Decentralized A.I., 2

    • 1 Edición
    • Y. Demazeau + 1 más
    • Inglés
    The purpose of this proceedings is to stimulate exchange and discussion of research in the field of multi-agent systems. A multi-agent system consists of at least two agents that are engaged in some task that may require coordination, cooperation and/or competition. An autonomous agent has its own goals, capabilities and knowledge. The actions of an agent occur in the context of other agents that may have structures and strategies different from the agent's own. Multi-agent problems arise when several autonomous agents share a common environment. These problems may result from limited resources, shared or competing goals, etc. This MAAMAW workshop proceedings emphasizes multi-agent systems of all sorts from very simple to very complex agents and agent organizations.

Temas relacionados