DIMACS: Series in Discrete Mathematics and Theoretical Computer Science – serie
Visar alla böcker i serien DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. Handla med fri frakt och snabb leverans.
66 produkter
Interconnection Networks and Mapping and Scheduling Parallel Computations
Av American Mathematical Society
Inbunden, 1995
1470 kr
Lägg i varukorg
The interconnection network is one of the most basic components of a massively parallel computer system. Such systems consist of hundreds or thousands of processors interconnected to work cooperatively on computations. One of the central problems in parallel computing is the task of mapping a …
Parallel Processing of Discrete Optimization Problems
Av American Mathematical Society
Inbunden, 1995
1547 kr
Lägg i varukorg
This book contains papers presented at the Workshop on Parallel Processing of Discrete Optimization Problems held at DIMACS in April 1994. The contents cover a wide spectrum of the most recent algorithms and applications in parallel processing of discrete optimization and related problems. Topics …
Specification of Parallel Algorithms
Av American Mathematical Society
Inbunden, 1994
1379 kr
Lägg i varukorg
This volume contains papers presented at the DIMACS workshop on Specification of Parallel Algorithms, held in May 1994 at Princeton University. The goal of the workshop was to bring together some of the best researchers in parallel languages, algorithms, and systems to present and discuss recent …
Formal Power Series and Algebraic Combinatorics
Av American Mathematical Society
Inbunden, 1995
791 kr
Lägg i varukorg
This book is devoted to the lectures presented at the Sixth International Conference on Formal Power Series and Algebraic Combinatorics held at DIMACS in May 1994. The conference attracted approximately 180 graduate students and junior and senior researchers from all over the world. Generally …
Parallel Algorithms
Inbunden, 1997
791 kr
Lägg i varukorg
This volume is the result of the Third DIMACS Implementation Challenge that was conducted as part of the 1993-1994 Special Year on Parallel Algorithms. The Implementation Challenge was formulated in order to provide a forum for a concerted effort to study effective algorithms for combinatorial …
Geometric and Computational Perspectives on Infinite Groups
Av Gilbert Baumslag, David Epstein m. fl.
Inbunden, 1995
1015 kr
Lägg i varukorg
This book contains the proceedings of two workshops on computational aspects of geometric group theory. The workshops, held in the winter of 1994 at DIMACS and at the Geometry Center, covered practical group theoretic computation and theoretical problems. Containing both research and expository …
Global Minimization of Nonconvex Energy Functions
Molecular Conformation and Protein Folding
Av American Mathematical Society
Inbunden, 1995
1127 kr
Lägg i varukorg
This book contains refereed papers presented at a remarkable interdisciplinary scientific meeting attended by a mix of leading biochemists and computer scientists held at DIMACS in March 1995. It describes the development of a variety of new methods which are being developed for attacking the …
Satisfiability Problem
Theory and Applications
Av Ding-Zhu Du, Jun Gu m. fl.
Inbunden, 1997
2569 kr
Lägg i varukorg
The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, …
Groups and Computation II
Av Larry A. Finkelstein, W.M. Kantor
Inbunden, 1997
1379 kr
Lägg i varukorg
The workshop 'Groups and Computations' took place at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) at Rutgers University in June 1995. This and an earlier workshop (see Groups and Computation, Finkelstein and Kantor, c1993, American Mathematical Society) held in …
Descriptive Complexity and Finite Models
Av Neil Immerman, Phokion G. Kolaitis
Inbunden, 1997
973 kr
Lägg i varukorg
'We hope that this small volume will suggest directions of synergy and contact for future researchers to build upon, creating connections and making discoveries that will help explain some of the many mysteries of computation' - from the Preface. Finite model theory can be succinctly described as …
Proof Complexity and Feasible Arithmetics
Av Paul W. Beame, Samuel R. Buss
Inbunden, 1997
1015 kr
Lägg i varukorg
Questions of mathematical proof and logical inference have been a significant thread in modern mathematics and have played a formative role in the development of computer science and artificial intelligence. Research in proof complexity and feasible theories of arithmetic aims at understanding not …
Logic and Random Structures
Av American Mathematical Society
Inbunden, 1997
588 kr
Lägg i varukorg
This volume contains selected papers from the DIMACS Workshop on Logic and Random Structures held in November 1995. The workshop was a major event of the DIMACS Special Year on Logic and Algorithms. The central theme was the relationship between logic and probabilistic techniques in the study of …
Partial Order Methods in Verification
Av Doron Peled, Vaughan R. Pratt m. fl.
Inbunden, 1997
1596 kr
Lägg i varukorg
This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, …
African Americans in Mathematics
Av American Mathematical Society
Inbunden, 1997
819 kr
Lägg i varukorg
This volume contains research and expository papers by African-American mathematicians on issues related to their involvement in the mathematical sciences. Little is known, taught, or written about African-American mathematicians. Information is lacking on their past and present contributions and …
SPIN Verification System
Av American Mathematical Society
Inbunden, 1997
861 kr
Lägg i varukorg
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. It has been used to detect design errors in a wide range of applications, such as abstract distributed algorithms, data communications protocols, operating systems code, and …
DNA Based Computers II
Av Laura F. Landweber, R.B. Baum m. fl.
Inbunden, 1998
1015 kr
Lägg i varukorg
The fledgling field of DNA computers began in 1994 when Leonard Adleman surprised the scientific community by using DNA molecules, protein enzymes, and chemicals to solve an instance of a hard computational problem. This volume presents results from the second annual meeting on DNA computers held …
Mathematical Hierarchies and Biology
DIMACS Workshop, November 13-15, 1996
Av American Mathematical Society
Inbunden, 1997
1379 kr
Lägg i varukorg
The mathematical approach to the study of hierarchies presents the theoretical basis for many important areas of current scientific investigation. Biology has benefited from this research and has also stimulated the mathematical study of hierarchies. This collection presents papers devoted to …
Mathematical Support for Molecular Biology
Papers Related to the Special Year in Mathematical Support for Molecular Biology, 1994-1998
Av American Mathematical Society
Inbunden, 1999
1071 kr
Lägg i varukorg
This volume features highlights from the DIMACS Special Year on 'Mathematical Support for Molecular Biology'. Top researchers presented both new research results and comprehensive overviews on the use of mathematics (especially discrete mathematics) and theoretical computer science in molecular …
Advances in Switching Networks
Av American Mathematical Society
Inbunden, 1998
1336 kr
Lägg i varukorg
These papers cover a variety of issues related to network switching, including network environment, routing, network topology, switching components, nonblockingness, and optimization.
Network Threats
Av American Mathematical Society
Inbunden, 1997
539 kr
Lägg i varukorg
This volume presents papers from a DIMACS workshop on network threats. The workshop brought together computer scientists (theorists and practitioners) working in this area to discuss topics such as network security, prevention and detection of security attacks, modeling threats, risk management, …
Network Design
Connectivity and Facilities Location
Av Panos M. Pardalos, Ding-Zhu Du
Inbunden, 1998
1379 kr
Lägg i varukorg
Connectivity and facilities location are two important topics in network design, with applications in data communication, transportation, production planning, and VLSI designs. There are two issues concerning these topics: design and optimization. They involve combinatorial design and combinatorial …
DNA Based Computers III
DIMACS Workshop, June 16-18, 1997
Av American Mathematical Society
Inbunden, 1999
1309 kr
Lägg i varukorg
This volume presents the proceedings from the third DIMACS workshop on ""DNA Based Computers"" held at the University of Pennsylvania (Philadelphia). The workshop was part of the Special Year on Molecular Biology and the Special Year on DNA Computing. The focus of this proceedings volume is on the …
Randomization Methods in Algorithm Design
Av American Mathematical Society
Inbunden, 1998
1211 kr
Lägg i varukorg
This volume is based on proceedings held during the DIMACS workshop on Randomization Methods in Algorithm Design in December 1997 at Princeton. The workshop was part of the DIMACS Special Year on Discrete Probability. It served as an interdisciplinary research workshop that brought together a mix …
Contemporary Trends in Discrete Mathematics
From DIMACS and DIMATIA to the Future
Av American Mathematical Society
Inbunden, 1999
1491 kr
Lägg i varukorg
Discrete mathematics stands among the leading disciplines of mathematics and theoretical computer science. This is due primarily to its increasing role in university curricula and its growing importance in applications ranging from optimization to molecular biology. An inaugural conference was held …
DNA Based Computers
Av Richard J. Lipton, Eric B. Baum
Häftad, 1996
861 kr
Lägg i varukorg
This volume presents the proceedings of a conference held at Princeton University in April 1995 as part of the DIMACS Special Year on Mathematical Support for Molecular Biology. The subject of the conference was the new area of DNA based computing. DNA based computing is the study of using DNA …
Discrete Mathematical Chemistry
Av American Mathematical Society
Inbunden, 2000
1631 kr
Lägg i varukorg
This volume contains the proceedings from the first DIMACS meeting on discrete mathematical chemistry held at Rutgers University (New Brunswick, NJ). The contributions reflect the presentations and spotlight the breadth of current research on the topic - from the Benzenoid Clar problem to the …
Networks in Distributed Computing
Av American Mathematical Society
Inbunden, 1998
679 kr
Lägg i varukorg
This volume presents the proceedings from the DIMACS Workshop in Distributed Computing held at Rutgers University. It provides a broad survey of major topics concerning modern applications of networks in the context of distributed computing. Articles included touch upon fundamental problems and …
Multichannel Optical Networks
Theory and Practice
Av American Mathematical Society
Inbunden, 1998
973 kr
Lägg i varukorg
Time division multiplexing (TDM) has been the fundamental basis for adding capacity to digital telecommunications networks for decades. However, within the past two years, wavelength division multiplexing (WDM) has been emerging as an important and widely deployed complement to TDM. Sales of …
External Memory Algorithms
Av American Mathematical Society
Inbunden, 1999
1239 kr
Lägg i varukorg
We are especially proud to announce the publication of this ""DIMACS"" book - the 50th volume in this series, published by the AMS. The series was established out of a collaborative venture geared to unite the cutting-edge research at DIMACS with the resources at the AMS to produce useful, …
Robust Communication Networks
Interconnection and Survivability
Av American Mathematical Society
Inbunden, 2000
665 kr
Lägg i varukorg
This volume contains the proceedings of a DIMACS Workshop on Robust Communication Networks held as part of the Special Year on Networks. Theoreticians and practitioners presented papers on the roles of architectural interconnection and survivability in the design, construction, operation, and …
