You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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.
Algorithmic and quantitative aspects in real algebraic geometry are becoming increasingly important areas of research because of their roles in other areas of mathematics and computer science. The papers in this volume collectively span several different areas of current research. The articles are based on talks given at the DIMACS Workshop on ''Algorithmic and Quantitative Aspects of Real Algebraic Geometry''. Topics include deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic geometry towards investigating the computational complexity of various problems, algorithmic and quantitative questions in real enumerative geometry, new approaches towards solving decision problems in semi-algebraic geometry, as well as computing algebraic certificates, and applications of real algebraic geometry to concrete problems arising in robotics and computer graphics. The book is intended for researchers interested in computational methods in algebra.
The proceedings of the September 1998 workshop deals with the application of constraint programming to problems of combinatorial optimization and industrial practice, covering general techniques, scheduling problems, and software methodology. The eight papers discuss using global constraints for local search, multithreaded constraint programming, employee scheduling, mission scheduling on orbiting satellites, sports scheduling, and the main results of the CHIC-2 project on large scale constraint optimization. No index. c. Book News Inc.
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.
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.
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.
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 application of robust communication networks. Due to the advent of VSLI and fiber optics technologies, it has become possible and feasible to design and construct large scale, high performance, high speed wireline and wireless communication networks that are also robust. This opens many challenging issues and problems for both the theory community and practitioners. Of particular interest is how these technological advances lead the way to new and challenging mathematical frontiers and set the direction for future research on and implementation of robust communication networks. The nine papers chosen for this volume represent the state of the art from a variety of perspectives.
Information theory has recently attracted renewed attention because of key developments spawning challenging research problems." "The book is suitable for graduate students and research mathematicians interested in communications and network information theory."--Jacket.
Even though contemporary biology and mathematics are inextricably linked, high school biology and mathematics courses have traditionally been taught in isolation. But this is beginning to change. This volume presents papers related to the integration of biology and mathematics in high school classes. The first part of the book provides the rationale for integrating mathematics and biology in high school courses as well as opportunities for doing so. The second part explores the development and integration of curricular materials and includes responses from teachers. Papers in the third part of the book explore the interconnections between biology and mathematics in light of new technologies in biology. The last paper in the book discusses what works and what doesn't and presents positive responses from students to the integration of mathematics and biology in their classes.