Page 21
Page 21
Complexity Theory : Exploring the Limits of Efficient Algorithms
Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, the limits of what is possible with the available resources. An understanding of these limits prevents the search for non-existing efficient algorithms. This textbook considers randomization as a key concept and emphasizes the interplay between theory and practice: New branches of complexity theory continue to arise in response to new algorithmic concepts, and its results - such as the theory of NP-completeness - have influenced the development of all areas of computer science. The topics selected have implications for concrete applications, and the significance of complexity theory for today's computer science is stressed throughout.
Complex System Maintenance Handbook
Complex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned active researchers and experienced practitioners focussing on different aspects of maintenance. Each chapter reviews the literature dealing with a particular aspect of maintenance, reports on developments and trends in a particular industry sector, or presents a case study.
Complex Geometry : An Introduction
Complex geometry studies (compact) complex manifolds. It discusses algebraic as well as metric aspects. The subject is on the crossroad of algebraic and differential geometry. Recent developments in string theory have made it an highly attractive area, both for mathematicians and theoretical physicists. The book contains detailed accounts of the basic concepts and the many exercises illustrate the theory. Appendices to various chapters allow an outlook to recent research directions.
Comparative Evaluation of XML Information Retrieval Systems ; 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006 Dagstuhl Castle, Germany, December 17-20, 2006 Revised and Selected Papers
This book covered methodology and seven additional tracks on ad-hoc, natural language processing, heterogeneous collection, multimedia, interactive, use case, as well as document mining.
Comparative and Global Pedagogies : Equity, Access and Democracy in Education
This book critically examines equality, equity and democracy in education, globally as well as from various perspectives. Globally, there are increasing arguments both for the democratization of education and for the use of education to promote a democratic society. It is argued that democratic schools would better prepare for active citizenship and for a strong civil society which are seen to be the foundation of a democratic state. The book further argues that while there are inspiring examples of schools that engage in peace education or emancipatory pedagogy that work across various ethnic or religious divides, on balance, the forms, structures, ideologies and purposes of formal education interact to make national and international conflict more likely.
Communities of practice to actively manage best practices
Stefano Borzillo examines a large variety of CoPs by means of six success factors and identifies three basic types: innovating strategic, operational excellence, and social and productive space CoPs.
Communicating Science : A Practical Guide
Each of the main parts is subdivided into two sections, Guidelines and Genres, with entries arranged in alphabetical order. The guidelines are devoted to entries such as acronyms, active or passive voice, body language, figures and captions, introduction, irony, and taking the floor. Within genres, all possible media of communicating science are treated, e.g. the after-dinner speech, conference presentation, keynote lecture, magazine article, research proposal, and teleconference.
Clear English pronunciation : A practical guide
This book: introduces the phenomenon of pronunciation as part of a broader communicative realm; explains and demonstrates the melody and rhythm of understandable and natural English pronunciation; supports students in identifying and practicing their own pronunciation issues. Supported by an interactive companion website which features recordings and expanded explanations of key topics, Clear English Pronunciation is an essential textbook for international learners of English who want to improve their pronunciation skills in diverse social settings.
Chernobyl - What Have We Learned? : The Successes and Failures to Mitigate Water Contamination Over 20 Years
Twenty million people have been exposed to Chernobyl radionuclides through the Dnieper River aquatic pathways. This book presents a 20-year historical overview and comprehensive study results of the aquatic environment affected by the 1986 Chernobyl nuclear accident. During this time, many water quality management practices and countermeasures were enacted. The book presents in-depth analyses of these water remediation actions, using current science and mathematical modeling, and discusses why some were successful, but many others failed. The chapter entitled Where Do We Go From Here? incorporates a comprehensive discussion of the planned New Safe Confinement (NSC) structure to cover the Chernobyl plant. The book closes with a summary and conclusions drawn from these analyses, making it a valuable reference tool for the future. This book will be of interest to engineers, scientists, decision-makers, and those involved in radiation protection and radioecology, environmental protection and risk assessment, water remediation and mitigation measures, and radioactive waste disposal. In addition, the detailed, almost day-to-day, emergency responses to the Chernobyl accident described in this book will also be useful to people developing emergency and long-term responses to accidental or intentional (by terrorists) releases of radionuclides, toxic chemicals and biological agents.
Chemical Reactor Modeling : Multiphase Reactive Flows
Chemical Reactor Modeling closes the gap between Chemical Reaction Engineering and Fluid Mechanics. It presents the fundamentals of the single-fluid and multi-fluid models for the analysis of single- and multiphase reactive flows in chemical reactors with a chemical reactor engineering rather than mathematical bias.
Chemical and functional properties of food components
Described the contents of food raw materials and products, the chemistry/biochemistry of food components, as well as the changes occurring during post-harvest storage and processing affecting the quality of foods. Discusses the role of chemical compounds in the structure of raw materials and the formation of different attributes of food quality, including nutritional value, safety, and sensory properties. It contains four new chapters: “Non-Protein Nitrogenous Compounds”; “Prooxidants and Antioxidants in Food”; “Non-Nutritive Bioactive Compounds in Food of Plant Origin”; and “Analytical Methods Used for Assessing the Quality of Food Products.”
Charting a new course : Natural language processing and information retrieval : Essays in Honour of Karen Spärck Jones
This book celebrates the life and work of Karen Spärck Jones in her seventieth year. she is one of the major figures of 20th century and early 21st Century computing and information processing. It book consists of fifteen new and original chapters written by leading international authorities reviewing the state of the art and her influence in the areas in which Karen Spärck Jones has been active. Although she has a publication record which goes back over forty years, it is clear even the very early work reviewed in the book can be read with profit by those working on recent developments in information processing like bioinformatics and the semantic web.
Charge Migration in DNA : Perspectives from Physics, Chemistry, and Biology
Charge migration through DNA has been the focus of considerable interest in recent years. A deeper understanding of the nature of charge transfer and transport along the double helix is important in fields as diverse as physics, chemistry and nanotechnology. It has also important implications in biology, in particular in DNA damage and repair. This book presents contributions from an international team of researchers active in this field.
Characteristics Finite Element Methods in Computational Fluid Dynamics
This book details a systematic characteristics-based finite element procedure to investigate incompressible, free-surface and compressible flows. The fluid dynamics equations are derived from basic thermo-mechanical principles and the multi-dimensional and infinite-directional upstream procedure is developed by combining a finite element discretization of a characteristics-bias system with an implicit Runge-Kutta time integration. For the computational solution of the Euler and Navier Stokes equations, the procedure relies on the mathematics and physics of multi-dimensional characteristics. As a result, the procedure crisply captures contact discontinuities, normal as well as oblique shocks, and generates essentially non-oscillatory solutions for incompressible, subsonic, transonic, supersonic, and hypersonic inviscid and viscous flows.
Changing Television Environments ; 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th European Conference on Interactive Television, EuroITV 2008, held in Salzburg, Austria, in July 2008.
Central European Functional Programming School ; 1st Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as new programming language concepts for subtyping.
Cells and Robots : Modeling and Control of Large-Size Agent Populations
Cells and Robots is an outcome of the multidisciplinary research extending over Biology, Robotics and Hybrid Systems Theory. It is inspired by modeling reactive behavior of the immune system cell population, where each cell is considered as an independent agent. In our modeling approach, there is no difference if the cells are naturally or artificially created agents, such as robots. This appears even more evident when we introduce a case study concerning a large-size robotic population scenario. Under this scenario, we also formulate the optimal control of maximizing the probability of robotic presence in a given region and discuss the application of the Minimum Principle for partial differential equations to this problem. Simultaneous consideration of cell and robotic populations is of mutual benefit for Biology and Robotics, as well as for the general understanding of multi-agent system dynamics.The text of this monograph is based on the PhD thesis of the first author. The work was a runner-up for the fifth edition of the Georges Giralt Award for the best European PhD thesis in Robotics, annually awarded by the European Robotics Research Network (EURON).
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Cataract and refractive surgery
The second volume of "Cataract and Refractive Surgery" in the Essentials in Ophthalmology series provides new information on cataract and refractive surgery. This book will help clinicians provide the best results for their cataract and refractive surgical patients and is also indispensable for continuous education and advanced training.
Cataract and refractive surgery
Te series Essentials in Ophthalmology was initi- to discuss clinically relevant and appropriate t- ated two years ago to expedite the timely trans- ics. Summaries of clinically relevant information fer of new information in vision science and have been provided throughout each chapter. evidence-based medicine into clinical practice. Each subspecialty area now has been covered.
