You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book presents surveys on the theory and practice of modelling, 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 programmes, model-checking, automata, and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, programme semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modelling concurrency.
Shellsort is a particular method of sorting data on digital computers. Associated with each variant of Shellsort is a sequence of integers that characterizes that variant. In the paper the author answers some open questions about the speed of Shellsort with certain characteristic sequences, and suggests a novel application of Shellsort, namely to sorting networks. Shellsort with any characteristic sequence that approximates a geometric progression and that has short coprime subsequences through takes O(n sup 3/2) units of time. For any sequence that approximates a geometric progression with an integer common ratio, this bound is the best possible. However, if the sequence consists of the descending sequence of positive integers less than n and having only 2 and 3 as prime factors, then Shellsort takes only O(n log squared n) units of time. Sorting networks based on Shellsort with this sequence operate approximately 1.5 times as fast as with previous methods. (Author).
An examination of why NGOs often experience difficulty creating lasting change, with case studies of transnational conservation organizations in Southeast Asia and the Pacific. Why do nongovernmental organizations face difficulty creating lasting change? How can they be more effective? In this book, Cristina Balboa examines NGO authority, capacity, and accountability to propose that a “paradox of scale” is a primary barrier to NGO effectiveness. This paradox—when what gives an NGO authority on one scale also weakens its authority on another scale—helps explain how NGOs can be seen as an authority on particular causes on a global scale, but then fail to effect change at the local leve...
Marine Ornamental Species: Collection, Culture and Conservation is a comprehensive resource containing information on the growing and economically important marine ornamental industry. Experts address current issues from a global perspective, covering the full-range of topics from world economics and product demand to aquatic animal health to ethnic and social/cultural concerns. This up-to-date overview will contribute to the creation of an economically and environmentally viable future for this dynamic industry worldwide and for its diverse clientele by: outlining improvements in the methods for the collection and distribution of wild marine ornamental species; providing information to acce...
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.
Contains papers from a July 1997 workshop, covering a variety of issues related to network switching, including network environment, routing, network topology, switching components, nonblockingness, and optimization. Specific topics include modeling the blocking behavior of Clos networks, isomorphism of classical rearrangeable networks, characterizing bit permutation networks, and multispace search for quorumcast routing. Of interest to research mathematicians and graduate students studying discrete math and graph theory, as well as computer scientists and electronic engineers. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
This book contains eleven articles surveying emerging topics in discrete probability. The papers are based on talks given by experts at the DIMACS "Microsurveys in Discrete Probability" workshop held at the Institute for Advanced Study, Princeton, NJ, in 1997. This compilation of current research in discrete probability provides a unique overview that is not available elsewhere in book or survey form. Topics covered in the volume include: Markov chains (pefect sampling, coupling from the past, mixing times), random trees (spanning trees on infinite graphs, enumeration of trees and forests, tree-valued Markov chains), distributional estimates (method of bounded differences, Stein-Chen method for normal approximation), dynamical percolation, Poisson processes, and reconstructing random walk from scenery.
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 biology. The book provides a unique "snapshot" of this growing area of study. It will be of interest to both experts and novices seeking information on the state of the research.
This edition has been revised and updated throughout. It includes some new chapters. It features improved treatment of dynamic programming and greedy algorithms as well as a new notion of edge-based flow in the material on flow networks.--[book cover].