Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Discrete Mathematical Problems with Medical Applications
  • Language: en
  • Pages: 233

Discrete Mathematical Problems with Medical Applications

This volume presents selected papers from a three-day workshop held during the DIMACS special years on Mathematical Support for Molecular Biology. Participants from the world over attended, giving the workshop an important international component. The study of discrete mathematics and optimization with medical applications is emerging as an important new research area. Significant applications have been found in medical research, for example in radiosurgical treatment planning, virtual endoscopy, and more. This volume presents a substantive cross-section of active research topics ranging from medical imaging to human anatomy modelling, from gamma knife treatment planning to radiation therapy, and from epileptic seizures to DNA screening. This book is an up-to-date resource reflecting current research directions.

Advances in Switching Networks
  • Language: en
  • Pages: 360

Advances in Switching Networks

The articles collected in this book were presented in the DIMACS Workshop on Network Switching, held in July 1997 at Princeton University. These papers cover a variety of issues related to network switching, including network environment, routing, network topology, switching components, nonblockingness, and optimization.

DNA Based Computers V
  • Language: en
  • Pages: 265

DNA Based Computers V

This proceedings volume presents the talks from the Fifth Annual Meeting on DNA Based Computers held at MIT. The conference brought together researchers and theorists from many disciplines who shared research results in biomolecular computation. Two styles of DNA computing were explored at the conference: 1) DNA computing based on combinatorial search, where randomly created DNA strands are used to encode potential solutions to a problem, and constraints induced by the problem are used to identify DNA strands that are solution witnesses; and 2) DNA computing based on finite-state machines, where the state of a computation is encoded in DNA, which controls the biochemical steps that advance the DNA-based machine from state to state. Featured articles include discussions on the formula satisfiability problem, self-assembly and nanomachines, simulation and design of molecular systems, and new theoretical approaches.

Set Theory
  • Language: en
  • Pages: 175

Set Theory

This volume presents the proceedings from the Mid-Atlantic Mathematical Logic Seminar (MAMLS) conference held in honor of Andras Hajnal at the DIMACS Center, Rutgers University (New Brunswick, NJ). Articles include both surveys and high-level research papers written by internationally recognized experts in the field of set theory. Many of the current active areas of set theory are represented in this volume. It includes research papers on combinatorial set theory, set theoretictopology, descriptive set theory, and set theoretic algebra. There are valuable surveys on combinatorial set theory, fragments of the proper forcing axiom, and the reflection properties of stationary sets. The book also includes an exposition of the ergodic theory of lattices in higher rank semisimpleLie groups-essential reading for anyone who wishes to understand much of the recent work on countable Borel equivalence relations.

External Memory Algorithms
  • Language: en
  • Pages: 321

External Memory Algorithms

This volume presents new research results and current techniques for the design and analysis of external memory algorithms. Topics presented include problems in computational geometry, graph theory, data compression, disk scheduling, linear algebra, statistics, software libraries, text and string processing, visualization, wavelets, and industrial applications.

Multichannel Optical Networks: Theory and Practice
  • Language: en
  • Pages: 265

Multichannel Optical Networks: Theory and Practice

A response to the exhaustion of fiber-optic cable network capacity for digital telecommunication and the resulting shift from time-division multiplexing (TDM) to wavelength-division multiplexing (WDM) to add capacity, and the rapid sales of the new technology. Theorists and practitioners in computer science present 17 papers applying theoretical and algorithmic results to such practical problems as admissions control, routing and channel assignments, multicasting and protection, and fault-tolerance. No index. Annotation copyrighted by Book News, Inc., Portland, OR.

Mobile Networks and Computing
  • Language: en
  • Pages: 330

Mobile Networks and Computing

Advances in the technologies of networking, wireless communications, and miniaturization of computers have lead to rapid development in mobile communication infrastructure and have engendered a new paradigm of computing. Users carrying portable devices can now move freely about while remaining connected to the network. This "portability" allows for access to information from anywhere and at any time. The flexibility has resulted in new levels of complexity not encountered previously in software and protocol design for wired networking. New challenges in designing software systems for mobile networks include location and mobility management, channel allocation, power conservation, and more. In this book, renowned researchers in the field address these aspects of mobile networking.

Constraint Programming and Large Scale Discrete Optimization
  • Language: en
  • Pages: 190

Constraint Programming and Large Scale Discrete Optimization

Constraint programming has become an important general approach for solving hard combinatorial problems that occur in a number of application domains, such as scheduling and configuration. This volume contains selected papers from the workshop on Constraint Programming and Large Scale Discrete Optimization held at DIMACS. It gives a sense of state-of-the-art research in this field, touching on many of the important issues that are emerging and giving an idea of the major current trends. Topics include new strategies for local search, multithreaded constraint programming, specialized constraints that enhance consistency processing, fuzzy representations, hybrid approaches involving both constraint programming and integer programming, and applications to scheduling problems in domains such as sports scheduling and satellite scheduling.

DNA Based Computers II
  • Language: en
  • Pages: 289

DNA Based Computers II

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 at Princeton only one and one-half years after Adleman's discovery. By drawing on the analogy between DNA computing and cutting-edge fields of biology (such as directed evolution), this volume highlights some of the exciting progress in the field and builds a strong foundation for the theory of molecular computation.

Theory and Applications of Models of Computation
  • Language: en
  • Pages: 610

Theory and Applications of Models of Computation

  • Type: Book
  • -
  • Published: 2008-04-30
  • -
  • Publisher: Springer

This proceedings volume examines all major areas in computer science, mathematics (especially logic) and the physical sciences, especially computation, algorithms, complexity and computability theory.