Author: Dimacs (Group)DIMACS Workshop on Feasible Arithme
Publisher: American Mathematical Society
Keywords: dimacs, theoretical, mathematics, computer, vol, science, discrete, april, feasible, complexity, arithmetics, workshop, proof, series
Number of Pages: 320
Published: 1997-10
List price: $68.00
ISBN-10: 0821805770
ISBN-13: 9780821805770

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 only whether logical inferences can be made, but also what resources are required to carry them out. Understanding the resources required for logical inferences has major implications for some of the most important problems in computational complexity, particularly the problem of wh

Authors:Dimacs (Group), Challenge Workshop (1991 Dimacs), Sa
Publisher: American Mathematical Society
Keywords: october, contemporary, mathematics, challenge, implementation, algorithms, third, dimacs, parallel
Number of Pages: 162
Published: 1997-02
List price: $51.00
ISBN-10: 0821804472
ISBN-13: 9780821804476

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 problems and to investigate opportunities for massive speedups on parallel computers. The challenge included two problem areas for research study: tree searching algorithms, used in game search and combinatorial optimization, for example, and algorithms for sparse graphs. Participan

Authors:Dimacs (Group), M. F. Janowitz,
Publisher: Oxford University Press
Keywords: dimacs, october, bioconsensus, mathematics, computer, science, discrete, theoretical, center, working, group, meetings, series
Number of Pages: 242
Published: 2003-05-01
List price: $79.00
ISBN-10: 0821831976
ISBN-13: 9780821831977

Consensus methods developed in the context of voting, decision making, and other areas of the social and behavioral sciences have a variety of applications in the biological sciences, originally in taxonomy and evolutionary biology, and more recently in molecular biology. Typically, several alternatives (such as alternative phylogenetic trees, molecular sequences, or alignments) are produced using different methods or under different models, and then one needs to find a consensus solution. This volume is based on two DIMACS working group meetings on "bioconsensus". It prov

Author: DIMACS Workshop on Reliability of Computer and Com
Publisher: American Mathematical Society
Keywords: dimacs, december, series, discrete, mathematics, workshop, reliability, communication, networks, proceedings, computer
Number of Pages: 259
Published: 1991-07
List price: $51.00
ISBN-10: 0821865927
ISBN-13: 9780821865927

Reliability problems arise with increasing frequency as our systems of telecommunications, information transmission, transportation, and distribution become more and more complex. In December 1989 at DIMACS at Rutgers University, a Workshop on Reliability of Computer and Communication Networks was held to examine the discrete mathematical methods relevant to these problems. There were nearly ninety participants, including theoretical mathematicians, computer scientists, and electrical engineers from academia and industry, as well as network practitioners, engineers, and relia

Author: Dimacs Workshop on Computational Support for Discr
Publisher: American Mathematical Society
Keywords: mathematics, discrete, dimacs, theoretical, computer, series, march, computational, workshop, support
Number of Pages: 399
Published: 1994-06
List price: $89.00
ISBN-10: 0821866052
ISBN-13: 9780821866054

With recent technological advances in workstations, graphics, graphical user interfaces, and object oriented programming languages, a significant number of researchers are developing general-purpose software and integrated software systems for domains in discrete mathematics, including graph theory, combinatorics, combinatorial optimization, and sets. This software aims to provide effective computational tools for research, applications prototyping, and teaching. In March 1992, DIMACS sponsored a workshop on Computational Support for Discrete Mathematics in order to facilitat

Author: Dimacs Workshop Signal Processing for WiSergio Ve
Publisher: American Mathematical Society
Keywords: processing, signal, dimacs, october, theoretical, computer, science, transmission, wireless, capacity, channels, multiantenna, workshop, coding
Number of Pages: 299
Published: 2003-11-01
List price: $100.00
ISBN-10: 082183407X
ISBN-13: 9780821834077

This volume is a collection of papers from the DIMACS Workshop on Signal Processing for Wireless Transmission. The workshop brought together theoreticians and practitioners working on wireless communications, information, and coding theory from a variety of perspectives. The main topics discussed in the book are capacity of multiantenna channels, vector broadcast channels and "dirty-paper" coding, signal processing, and ad hoc networking in wideband channels. These are all major themes in current research in physical-layer design for wireless communication. The book is sui

Author: Dimacs Workshop on Computer-Aided VerificationE.
Publisher: American Mathematical Society
Keywords: dimacs, computer, discrete, mathematics, theoretical, series, workshop, aided, verification, proceedings, june
Number of Pages: 628
Published: 1991-09
List price: $116.00
ISBN-10: 0821865943
ISBN-13: 9780821865941

This volume, published jointly with the Association for Computing Machinery, contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. The motivation for the workshop was to bring together researchers working on effective algorithms or methodologies for formal verification (as distinguished from, for example, attributes of logics or formal languages). The theoretical results leading to new or more powerful verification methods include advances in the use of binary decision diagrams, dense time, reduction