Skip to main content
Elsevier
View Cart
openUserAccount

Books in Computer science

BooksJournals
171-180 of 220 results in All results

Many-Dimensional Modal Logics: Theory and Applications

  • 1st Edition
  • Volume 148
  • October 21, 2003
  • A. Kurucz + 3 more
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 3 5 7 8 - 4
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.Key Features:• Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science• Written by internationally leading researchers in the field of pure and applied logic• Combines mathematical theory of modal logic and applications in artificial intelligence and computer science• Numerous open problems for further research• Well illustrated with pictures and tables

Advances in Computers

  • 1st Edition
  • Volume 57
  • June 3, 2003
  • Marvin Zelkowitz
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 0 1 2 1 5 7 - 1
  • eBook
    9 7 8 - 0 - 0 8 - 0 4 9 3 5 1 - 0
Advances in Computers remains at the forefront in presenting the new developments in the ever-changing field of information technology. Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of this technology that greatly shape our lives today. Information Repositories focuses on the use of large data repositories to store and retrieve information. This series is an invaluable addition to any university course in computer technology, as well as finding itself at home on the bookshelf of industrial practitioners.

Parallel Computational Fluid Dynamics 2002

  • 1st Edition
  • April 25, 2003
  • K. Matsuno + 4 more
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 3 8 4 2 - 6
This volume is proceedings of the international conference of the Parallel Computational Fluid Dynamics 2002. In the volume, up-to-date information about numerical simulations of flows using parallel computers is given by leading researchers in this field. Special topics are "Grid Computing" and "Earth Simulator". Grid computing is now the most exciting topic in computer science. An invited paper on grid computing is presented in the volume. The Earth-Simulator is now the fastest computer in the world. Papers on flow-simulations using the Earth-Simulator are also included, as well as a thirty-two page special tutorial article on numerical optimization.

Advances in Computers

  • 1st Edition
  • Volume 56
  • August 5, 2002
  • Marvin Zelkowitz
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 2 6 6 7 - 6
Advances in Computers remains at the forefront in presenting the new developments in the ever-changing field of information technology. Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of this technology that greatly shape our lives today. Volume 56 presents eight chapters that describe how the software, hardware and applications of computers are changing the use of computers during the early part of the 21st century: Software Evolution and the Staged Model of the Software Lifecycle; Embedded Software; Empirical Studies of Quality Models in Object-Oriented Systems; Software Fault Prevention by Language Choice; Quantum computing and communication; Exception Handling; Breaking the Robustness Barrier: Recent Progress on the Design of Robust Multimodal Systems; Using Data Mining to Discover the Preferences of Computer Criminals. As the longest-running continuous serial on computers, Advances in Computers presents technologies that will affect the industry in the years to come, covering hot topics from fundamentals to applications. Additionally, readers benefit from contributions of both academic and industry professionals of the highest caliber.

Database and Data Communication Network Systems, Three-Volume Set

  • 1st Edition
  • July 9, 2002
  • Cornelius T. Leondes
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 3 0 2 8 - 4
Database and Data Communication Network Systems examines the utilization of the Internet and Local Area/Wide Area Networks in all areas of human endeavor. This three-volume set covers, among other topics, database systems, data compression, database architecture, data acquisition, asynchronous transfer mode (ATM) and the practical application of these technologies. The international collection of contributors was culled from exhaustive research of over 100,000 related archival and technical journals. This reference will be indispensable to engineering and computer science libraries, research libraries, and telecommunications, networking, and computer companies. It covers a diverse array of topics, including:* Techniques in emerging database system architectures* Techniques and applications in data mining* Object-oriented database systems* Data acquisition on the WWW during heavy client/server traffic periods* Information exploration on the WWW* Education and training in multimedia database systems* Data structure techniques in rapid prototyping and manufacturing* Wireless ATM in data networks for mobile systems* Applications in corporate finance* Scientific data visualization* Data compression and information retrieval* Techniques in medical systems, intensive care units

Advances in Computers

  • 1st Edition
  • Volume 55
  • July 25, 2001
  • Marvin Zelkowitz
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 0 1 2 1 5 5 - 7
  • eBook
    9 7 8 - 0 - 0 8 - 0 9 5 1 4 4 - 7
Volume 55 covers some particularly hot topics. Linda Harasim writes about education and the Web in "The Virtual University: A State of the Art." She discusses the issues that will need to be addressed if online education is to live up to expectations. Neville Holmes covers a related subject in his chapter "The Net, the Web, and the Children." He argues that the Web is an evolutionary, rather than revolutionary, development and highlights the division between the rich and the poor within and across nations. Continuing the WWW theme, George Mihaila, Louqa Raschid, and Maria-Esther Vidal look at the problems of using the Web and finding the information you want.Naren Ramakrishnan and Anath Grama discuss another aspect of finding relevant information in large databases in their contribution. They discuss the algorithms, techniques, and methodologies for effective application of scientific data mining.Returning to the Web theme, Ross Anderson, Frank Stajano, and Jong-Hyeon Lee address the issue of security policies. Their survey of the most significant security policy models in the literature shows how security may mean different things in different contexts.John Savage, Alan Selman, and Carl Smith take a step back from the applications and address how theoretical computer science has had an impact on practical computing concepts. Finally, Yuan Taur takes a step even further back and discusses the development of the computer chip.Thus, Volume 55 takes us from the very fundamentals of computer science-the chip-right to the applications and user interface with the Web.

Rudiments of Calculus

  • 1st Edition
  • Volume 146
  • February 7, 2001
  • A. Arnold + 1 more
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 1 6 4 5 - 5
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore, our emphasis is on the generality of the fixed-point notation, and on the connections between mu-calculus, games, and automata, which we also explain in an algebraic way. This book should be accessible for graduate or advanced undergraduate students both in mathematics and computer science. We have designed this book especially for researchers and students interested in logic in computer science, comuter aided verification, and general aspects of automata theory. We have aimed at gathering in a single place the fundamental results of the theory, that are currently very scattered in the literature, and often hardly accessible for interested readers. The presentation is self-contained, except for the proof of the Mc-Naughton's Determinization Theorem (see, e.g., [97]. However, we suppose that the reader is already familiar with some basic automata theory and universal algebra. The references, credits, and suggestions for further reading are given at the end of each chapter.

Advances in Computers

  • 1st Edition
  • Volume 49
  • September 14, 1999
  • Marvin Zelkowitz
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 6 6 8 1 - 8
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.

Categorical Logic and Type Theory

  • 1st Edition
  • Volume 141
  • January 14, 1999
  • B. Jacobs
  • English
  • Paperback
    9 7 8 - 0 - 4 4 4 - 5 0 8 5 3 - 9
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 2 8 7 0 - 0
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Advances in Computers

  • 1st Edition
  • Volume 45
  • August 19, 1997
  • Marvin Zelkowitz
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 5 6 6 7 7 - 1
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 contributorswith 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.