Saltar al contenido principal
Elsevier

Libros en Ciencias de la Computación

  • Logic, Methodology and Philosophy of Science III

    • 1 Edición
    • Volumen 52
    • Lev D. Beklemishev
    • Inglés

  • Combinatorial Set Theory

    • 1 Edición
    • Volumen 91
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 14
    • Lev D. Beklemishev
    • Inglés

  • Foundational Studies

    • 1 Edición
    • Volumen 93B
    • Lev D. Beklemishev
    • Inglés

  • Formal Systems and Recursive Functions

    • 1 Edición
    • Volumen 40
    • Lev D. Beklemishev
    • Inglés

  • Large Infinitary Languages

    • 1 Edición
    • Volumen 83
    • Lev D. Beklemishev
    • Inglés

  • Non-Classical Logics, Model Theory, And Computability

    • 1 Edición
    • Volumen 89
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 16
    • Lev D. Beklemishev
    • Inglés

  • Aspects of Inductive Logic

    • 1 Edición
    • Volumen 43
    • Lev D. Beklemishev
    • Inglés

  • The Metamathematics of Algebraic Systems

    • 1 Edición
    • Volumen 66
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 22
    • Lev D. Beklemishev
    • Inglés

  • Sentences Undecidable in Formalized Arithmetic

    • 1 Edición
    • Volumen 10
    • Lev D. Beklemishev
    • Inglés

  • Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

    • 1 Edición
    • Volumen 60
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 25
    • Lev D. Beklemishev
    • Inglés

  • The Foundations of Intuitionistic Mathematics

    • 1 Edición
    • Volumen 39
    • Lev D. Beklemishev
    • Inglés

  • Problems in the Philosophy of Science

    • 1 Edición
    • Volumen 49
    • Lev D. Beklemishev
    • Inglés

  • Languages with Expressions of Infinite Length

    • 1 Edición
    • Volumen 36
    • Lev D. Beklemishev
    • Inglés

  • The Axiom of Choice

    • 1 Edición
    • Volumen 75
    • Lev D. Beklemishev
    • Inglés

  • A Theory of Cognitive Aging

    • 1 Edición
    • Volumen 28
    • T. Salthouse
    • Inglés
    Over a half-century of research has documented the fact that people of different ages perform at different levels on a variety of tests of cognitive functioning, and yet there are still no comprehensive theories to account for these phenomena. A Theory of Cognitive Aging is intended to begin intellectual discussion in this area by identifying major issues of controversy, and proposing a particular theoretical interpretation based on the notion that the rate of processing information slows down with increased age. Although still quite preliminary, the theoretical perspective is demonstrated to provide a plausible account for age-related differences in functioning on measures of memory, spatial ability and reasoning. The book has four aims: - To advocate a more explicitly theoretical approach to research in the area of cognitive aging. - To outline three important dimensions along which it is argued that any theory of cognitive aging phenomena must take a position. - To evaluate empirical evidence relevant to specific positions along those dimensions. - To summarize the major concepts of the current theory, and to describe its application to selected findings in the research literature.

  • A Deductive Theory of Space and Time

    • 1 Edición
    • Volumen 45
    • Lev D. Beklemishev
    • Inglés

  • Logic in Algebraic Form

    • 1 Edición
    • Volumen 72
    • Lev D. Beklemishev
    • Inglés

  • Truth, Syntax and Modality

    • 1 Edición
    • Volumen 68
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 3
    • Lev D. Beklemishev
    • Inglés

  • Elementary Induction on Abstract Structures

    • 1 Edición
    • Volumen 77
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 19
    • Lev D. Beklemishev
    • Inglés

  • Provability, Computability and Reflection

    • 1 Edición
    • Volumen 23
    • Lev D. Beklemishev
    • Inglés

  • Logic Colloquium '77

    • 1 Edición
    • Volumen 96
    • Lev D. Beklemishev
    • Inglés

  • Introduction to the Theory of Finite Automata

    • 1 Edición
    • Volumen 38
    • Lev D. Beklemishev
    • Inglés

  • SET THEORY

    • 1 Edición
    • Volumen 53
    • Lev D. Beklemishev
    • Inglés

  • Troubleshooting Windows 2000 TCP/IP

    • 1 Edición
    • Syngress
    • Inglés
    TCP/IP is a set of proposals developed to allow cooperating computers to share resources across a network. Some of the largest networks today are built on the TPC/IP protocol suite. Understanding how TCP/IP is "supposed" to work is not enough for today's network managers. In this book, readers will learn to prevent, detect, troubleshoot and correct TCP/IP network problems. By using products such as distributed sniffers, field metering tools and protocol analyses, network managers can learn a lot about what is going on in (or wrong in) an internetwork and be able to troubleshoot a live TPC/IP network. This book focuses specifically on identifying problem areas, including identifying and correcting protocol errors, DNS route problems, application faults and slow response times.Syngress have sold over 700,000 Microsoft and Cisco certification guides in the last two years. Most of the administrators buying these will be interested in this book.

  • Computer Busses

    • 1 Edición
    • William Buchanan
    • Inglés
    As more and more equipment is interface or'bus' driven, either by the use of controllers or directly from PCs, the question of which bus to use is becoming increasingly important both in industry and in the office. 'Computer Busses' has been designed to help choose the best type of bus for the particular application. There are several books which cover individual busses, but none which provide a complete guide to computer busses. The author provides a basic theory of busses and draws examples and applications from real bus case studies. Busses are analysed using from a top-down approach, helping the undergraduate electrical or computer engineer to chose the right type of bus for their particular application. This book is essential reading for students of software engineering and electronic design, as well as for those working in disciplines such as production engineering or process control. It will also be a handy reference book for professional engineers, systems designers, consultants and those working in technical support.

  • Windows 2000 Configuration Wizards

    • 1 Edición
    • Syngress
    • Inglés
    Developers are used to working with Wizards, component-like products that allow them to create certain elements - like dialog buttons - quickly and easily while they are coding applications. With the launch of Windows 2000, Microsoft has announced a new set of Wizards that will help administrators and users configure and set up Windows 2000 Professional (the Windows NT 4 Workstation successor) and Windows 2000 Server (the Windows NT 4 Server successor). Windows 2000 Setup and Configuration Wizards covers all the available Wizards, with an emphasis on those new to Windows 2000. Each Wizard is broken down by dialog box, with explanations of all options and required elements so administrators will know what to be prepared with.In addition, coverage of new services that will speed configuration and set up (like the Windows Installer) will be covered.

  • Psychological Experiments on the Internet

    • 1 Edición
    • Michael H. Birnbaum
    • Inglés
    Until recently, most psychological research was conducted using subject samples in close proximity to the investigators--namel... university undergraduates. In recent years, however, it has become possible to test people from all over the world by placing experiments on the internet. The number of people using the internet for this purpose is likely to become the main venue for subject pools in coming years. As such, learning about experiments on the internet will be of vital interest to all research psychologists. Psychological Experiments on the Internet is divided into three sections. Section I discusses the history of web experimentation, as well as the advantages, disadvantages, and validity of web-based psychological research. Section II discusses examples of web-based experiments on individual differences and cross-cultural studies. Section III provides readers with the necessary information and techniques for utilizing the internet in their own research designs.

  • A Computational Framework for Segmentation and Grouping

    • 1 Edición
    • G. Medioni + 2 más
    • Inglés
    This book represents a summary of the research we have been conducting since the early 1990s, and describes a conceptual framework which addresses some current shortcomings, and proposes a unified approach for a broad class of problems. While the framework is defined, our research continues, and some of the elements presented here will no doubt evolve in the coming years.It is organized in eight chapters. In the Introduction chapter, we present the definition of the problems, and give an overview of the proposed approach and its implementation. In particular, we illustrate the limitations of the 2.5D sketch, and motivate the use of a representation in terms of layers instead.In chapter 2, we review some of the relevant research in the literature. The discussion focuses on general computational approaches for early vision, and individual methods are only cited as references. Chapter 3 is the fundamental chapter, as it presents the elements of our salient feature inference engine, and their interaction. It introduced tensors as a way to represent information, tensor fields as a way to encode both constraints and results, and tensor voting as the communication scheme. Chapter 4 describes the feature extraction steps, given the computations performed by the engine described earlier. In chapter 5, we apply the generic framework to the inference of regions, curves, and junctions in 2-D. The input may take the form of 2-D points, with or without orientation. We illustrate the approach on a number of examples, both basic and advanced. In chapter 6, we apply the framework to the inference of surfaces, curves and junctions in 3-D. Here, the input consists of a set of 3-D points, with or without as associated normal or tangent direction. We show a number of illustrative examples, and also point to some applications of the approach. In chapter 7, we use our framework to tackle 3 early vision problems, shape from shading, stereo matching, and optical flow computation. In chapter 8, we conclude this book with a few remarks, and discuss future research directions.We include 3 appendices, one on Tensor Calculus, one dealing with proofs and details of the Feature Extraction process, and one dealing with the companion software packages.

  • Windows 2000 Server System Administration Handbook

    • 1 Edición
    • Syngress
    • Inglés
    Many organizations and network administrators are looking for information on Windows 2000 and its new features. IT professionals responsible for installing, configuring, and managing Microsoft products will be highly motivated to migrate to this new technology, based on its promise of reducing administrative overhead.Windows 2000 Server System Administration Handbook will help NT4 professionals to administer and support the Windows 2000 Server operating system. NT administrators will be able to differentiate the features and technology changes from Windows NT 4.0 to Windows 2000. In the handbook, readers will find a complete overview of the product, catered to their needs.

  • IP Addressing and Subnetting INC IPV6

    Including IPv6
    • 1 Edición
    • Syngress
    • Inglés
    Internetworking Protocol (IP) addresses are the unique numeric identifiers required of every device connected to the Internet. They allow for the precise routing of data across very complex worldwide internetworks. The rules for their format and use are governed by the Internet Engineering Task Force (IETF) of the The Internet SOCiety (ISOC). In response to the exponential increase in demand for new IP addresses, the IETF has finalized its revision on IP addressing as IP Version 6, also know as IPng (ng = Next Generation). Key hardware vendors such as Cisco and major Internet Service Providers such as America Online have already announced plans to migrate to IP Version 6.IP address allocation within an organization requires a lot of long-term planning. This timely publication addresses the administrator and engineer's need to know how IP 6 impacts their enterprise networks.

  • Multifunction Peripherals for PCs

    Technology, Troubleshooting and Repair
    • 1 Edición
    • Marvin Hobbs
    • Inglés
    Multifunction devices combine the essentials of a fax machine, printer, scanner, and copier into one peripheral for small and home offices. As the market for this equipment grows, the need for skilled repair and maintenance increases. Unfortunately the service documentation supplied by the manufacturers is completely inadequate making the repair jobs even harder and more expensive. Marvin Hobbs teaches you how multifunction peripherals work in theory and in practice with lots of hands-on examples and important troubleshooting and repair tips you don't want to miss. This book fills a gap in the literature, and will be a welcome addition to the library of any technician or do-it-yourselfer.

  • Advanced RenderMan

    Creating CGI for Motion Pictures
    • 1 Edición
    • Anthony A. Apodaca + 1 más
    • Inglés
    Advanced RenderMan: Creating CGI for Motion Pictures is precisely what you and other RenderMan users are dying for. Written by the world's foremost RenderMan experts, it offers thoroughly updated coverage of the standard while moving beyond the scope of the original RenderMan Companion to provide in-depth information on dozens of advanced topics. Both a reference and a tutorial, this book will quickly prove indispensable, whether you're a technical director, graphics programmer, modeler, animator, or hobbyist.

  • Industrial Strength Parallel Computing

    • 1 Edición
    • Alice E. Koniges
    • Inglés
    Today, parallel computing experts can solve problems previously deemed impossible and make the "merely difficult" problems economically feasible to solve. This book presents and synthesizes the recent experiences of reknown expert developers who design robust and complex parallel computing applications. They demonstrate how to adapt and implement today's most advanced, most effective parallel computing techniques. The book begins with a highly focused introductory course designed to provide a working knowledge of all the relevant architectures, programming models, and performance issues, as well as the basic approaches to assessment, optimization, scheduling, and debugging.Next comes a series of seventeen detailed case studies—all dealing with production-quality industrial and scientific applications, all presented firsthand by the actual code developers. Each chapter follows the same comparison-inviting format, presenting lessons learned and algorithms developed in the course of meeting real, non-academic challenges. A final section highlights the case studies' most important insights and turns an eye to the future of the discipline.

  • Cumulative Subject and Author Indexes for Part II

    • 1 Edición
    • Volumen 51
    • Inglés
    As we approach the 21st century, the Advances in Computers serial remains the oldes continuously published anthology chronicling the evolution of the information technology field. Since 1960, this series has described the ever-changing nature of computing. In this volume, we will emphasize the major themes that have dominated computing in these latter days of the 1990s. Of course we mean the distributed nature of information technology.The growth of networking, the Internet and the World Wide Web have greatly changed the role of the computer, and in turn, our lives as well. Starting as a computer science research topic in 1969, the ARPANET, funded by the U.S. government's Advanced Research Projects Agency (ARPA), tied together university, research, and military computing centers. By the mid-1980s the ARPANET evolved into the Internet under funding by the U.S. National Science Foundation (NSF). The computer experimenter, the so-called "computer geek," discovered the Internet and joined the fun. By the early 1990s, the World Wide Web (WWW) grew as a subnet of the Internet, and email and Web browsing became available to all. Today millions of "computer illiterate" individuals daily use these resources to send mail and search for online information. No longer is the Internet the domain of the serious computer researcher. In this volume we will describe some of the changes the Internet has brought us.

  • Soft Computing and Intelligent Systems

    Theory and Applications
    • 1 Edición
    • Madan M. Gupta
    • Naresh K. Sinha
    • Inglés
    The field of soft computing is emerging from the cutting edge research over the last ten years devoted to fuzzy engineering and genetic algorithms. The subject is being called soft computing and computational intelligence. With acceptance of the research fundamentals in these important areas, the field is expanding into direct applications through engineering and systems science.This book cover the fundamentals of this emerging filed, as well as direct applications and case studies. There is a need for practicing engineers, computer scientists, and system scientists to directly apply "fuzzy" engineering into a wide array of devices and systems.

  • High-Performance Communication Networks

    • 2 Edición
    • Jean Walrand + 1 más
    • Inglés
    By focusing on the convergence of the telephone, computer networking, cable TV, and wireless industries, this fully revised second edition explains current and emerging networking technologies. The authors proceed from fundamental principles to develop a comprehensive understanding of network architectures, protocols, control, performance, and economics. Communications engineers, computer scientists, and network administrators and managers will appreciate the book for its perspectives on the innovations that impact their work. Students will be enriched by the descriptive and thorough coverage of networking, giving them the knowledge to explore rewarding career opportunities.

  • Linkers and Loaders

    • 1 Edición
    • John R. Levine
    • Inglés
    Whatever your programming language, whatever your platform, you probably tap into linker and loader functions all the time. But do you know how to use them to their greatest possible advantage? Only now, with the publication of Linkers & Loaders, is there an authoritative book devoted entirely to these deep-seated compile-time and run-time processes. The book begins with a detailed and comparative account of linking and loading that illustrates the differences among various compilers and operating systems. On top of this foundation, the author presents clear practical advice to help you create faster, cleaner code. You'll learn to avoid the pitfalls associated with Windows DLLs, take advantage of the space-saving, performance-improvin... techniques supported by many modern linkers, make the best use of the UNIX ELF library scheme, and much more. If you're serious about programming, you'll devour this unique guide to one of the field's least understood topics. Linkers & Loaders is also an ideal supplementary text for compiler and operating systems courses.

  • Handbook of Computability Theory

    • 1 Edición
    • Volumen 140
    • E.R. Griffor
    • Inglés
    The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

  • Object-Oriented Technology and Computing Systems Re-Engineering

    • 1 Edición
    • H. S. M. Zedan + 1 más
    • Inglés
    This book delivers the latest developments in object technology and their impact in computing systems re-engineering. Object-oriented programming is here shown to provide support for constructing large scale systems that are cheaply built and with reusable components, adaptable to changing requirements and use efficient and cost-effective techniques.Internati... recognised authorities from Finland, France, Germany, Italy, Poland, Spain, the UK and the USA here record their research and development work on the industrial techniques and structured object-oriented methodologies in forward and reverse engineering of computing systems. This book takes stock of progress of that work showing its promise and feasibility, and how its structured technology can overcome the limitations of forward engineering methods used in industry. Forward methods are focused in the domain of reverse engineering to implement a high level of specification for existing software.The book contains the selected, quintessential content of the first UK Colloquium on Object Technology and Systems Re-Engineering held at Oxford University in 1998. The conference was sponsored by British Telecom Laboratories, EMSI limited and the OOSP Specialised Group of The British Computer Society.

  • Compression Algorithms for Real Programmers

    • 1 Edición
    • Peter Wayner
    • Inglés
    In life, time is money, and on the Internet, the size of data is money. Small programs and small files take less disk space and cost less to send over the Internet. Compression Algorithms for Real Programmers describes the basic algorithms and approaches for compressing information so you can create the smallest files possible. These new algorithms are making it possible for people to take impossibly large audio and video files and compress them enough that they can flow over the Internet.

  • Advances in Computers

    • 1 Edición
    • Volumen 49
    • Inglés
    Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributors with a medium in which they can examine their subjects in greater depth and breadth than that allowed by standard journal articles. As a result, many articles have become standard references that continue to be of significant, lasting value despite the rapid growth taking place in the field.

  • Advanced Video Coding: Principles and Techniques

    The Content-based Approach
    • 1 Edición
    • Volumen 7
    • K.N. Ngan + 2 más
    • Inglés
    In recent years, the paradigm of video coding has shifted from that of a frame-based approach to a content-based approach, particularly with the finalization of the ISO multimedia coding standard, MPEG-4. MPEG-4 is the emerging standard for the coding of multimedia content. It defines a syntax for a set of content-based functionalities, namely, content-based interactivity, compression and universal access. However, it does not specify how the video content is to be generated. To generate the video content, video has to be segmented into video objects and tracked as they transverse across the video frames. This book addresses the difficult problem of video segmentation, and the extraction and tracking of video object planes as defined in MPEG-4. It then focuses on the specific issue of face segmentation and coding as applied to videoconferencing in order to improve the quality of videoconferencing images especially in the facial region. Modal-based coding is a content-based coding technique used to code synthetic objects that have become an important part of video content. It results in extremely low bit rates because only the parameters needed to represent the modal are transmitted. Model-based coding is included to provide background information for the synthetic object coding in MPEG-4. Lastly, MPEG-4, the first coding standard for multimedia content is described in detail. The topics covered include the coding of audio objects, the coding of natural and synthetic video objects, and error resilience. Advanced Video Coding is one of the first books on content-based coding and MPEG-4 coding standard. It serves as an excellent information source and reference for both researchers and practicing engineers.

  • Distributed Information Resources

    • 1 Edición
    • Volumen 48
    • Inglés
    Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributors with a medium in which they can examine their subjects in greater depth and breadth than that allowed by standard journal articles. As a result, many articles have become standard references that continue to be of significant, lasting value despite the rapid growth taking place in the field.

  • Kohonen Maps

    • 1 Edición
    • E. Oja + 1 más
    • Inglés
    The Self-Organizing Map, or Kohonen Map, is one of the most widely used neural network algorithms, with thousands of applications covered in the literature. It was one of the strong underlying factors in the popularity of neural networks starting in the early 80's. Currently this method has been included in a large number of commercial and public domain software packages. In this book, top experts on the SOM method take a look at the state of the art and the future of this computing paradigm.The 30 chapters of this book cover the current status of SOM theory, such as connections of SOM to clustering, classification, probabilistic models, and energy functions. Many applications of the SOM are given, with data mining and exploratory data analysis the central topic, applied to large databases of financial data, medical data, free-form text documents, digital images, speech, and process measurements. Biological models related to the SOM are also discussed.

Temas relacionados