You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Automata and natural language theory are topics lying at the heart of computer science. Both are linked to computational complexity and together, these disciplines help define the parameters of what constitutes a computer, the structure of programs, which problems are solvable by computers, and a range of other crucial aspects of the practice of computer science. In this important volume, two respected authors/editors in the field offer accessible, practice-oriented coverage of these issues with an emphasis on refining core problem solving skills.
A complete treatment of fundamentals and recent advances in complexity theory Complexity theory studies the inherent difficulties of solving algorithmic problems by digital computers. This comprehensive work discusses the major topics in complexity theory, including fundamental topics as well as recent breakthroughs not previously available in book form. Theory of Computational Complexity offers a thorough presentation of the fundamentals of complexity theory, including NP-completeness theory, the polynomial-time hierarchy, relativization, and the application to cryptography. It also examines the theory of nonuniform computational complexity, including the computational models of decision tr...
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 modeling, 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.
Pae, an orphan, is adopted by Zhu Ding, a wealthy businessman with a dark past. He welcomes the young girl into his home, and his heart, freeing her from the oppressive grip of Benny, master sifu of the deadly arts. A child groomed to become one of the deadliest assassins in the land, Pae is shown a world filled with possibilities far brighter than the bleak future she found herself reluctantly coming to accept. Adapting into a life unfamiliar to her, Pae seeks purpose. She finds Vikki. She finds love.
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.
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.
This book puts forward an institutional explanation of the recent dynamics of foreign direct investment (FDI) in China. It argues that the concentration of FDI in the Chinese manufacturing economy since the beginning of this century is largely the result of China's entrepreneurial urban growth strategy, which was in turn motivated by the overall political and fiscal structures of China and was facilitated by urban land use under the manipulation of municipalities. By identifying the interactions between cross-border capital flow, national regulations and local responses, this book not only provides a fresh understanding of China's FDI pattern from an urban perspective that has been rare among publications on similar topics, but also sheds light on the drivers underlying China's rapid economic growth and its implications for sustainable development. It also stands as a useful reference for other countries and regions that plan to launch their own state-led development projects.
This book presents the main scientific results of the 10th International Symposium of Computer Science in Sport (IACSS/ISCSS 2015), sponsored by the International Association of Computer Science in Sport in collaboration with the International Society of Sport Psychology (ISSP), which took place between September 9-11, 2015 at Loughborough, UK. This proceedings aims to build a link between computer science and sport, and reports on results from applying computer science techniques to address a wide number of problems in sport and exercise sciences. It provides a good platform and opportunity for researchers in both computer science and sport to understand and discuss ideas and promote cross-disciplinary research. The strictly reviewed and carefully revised papers cover the following topics:Modelling and Analysis, Artificial Intelligence in Sport, Virtual Reality in Sport, Neural Cognitive Training, IT Systems for Sport, Sensing Technologies and Image Processing.
The Yellow River has long been viewed as a symbol of China's cultural and political development, its management traditionally held as a gauge of dynastic power. For centuries, the country's early rulers employed a defensive approach to the river by building dikes and diversion channels to protect fields and population centers from flooding. This situation changed dramatically after the Yuan (1260-1368) emperors constructed the Grand Canal, which linked the North China Plain and the capital at Beijing with the Yangtze Valley. One of the most ambitious imperial undertakings of any age, by the turn of the nineteenth century the water system had become a complex network of locks, spillways, and ...
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.