This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The papers are organized on topical sections on probabilistic systems; …
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to wri…
Introduces basic concepts and processes of drinking water distribution systems, including a general background of drinking water sources, regulations, water system design, and various distribution system appurtenances.
Chapter 1: Conventional Treatment Review Chapter 2: Biological Treatment Overview Chapter 3: Tertiary Treatment Chapter 4: Water Recycling Chapter 5: Solids Handling Processes Chapter 6: Biosolids Stabilization Chapter 7: Biosolids Treatment
"This book deals with 20th century resettlements in the western areas of the former USSR, in particular the territory of Karelia that was ceded by Finland in the WWII, Podolia in the Ukraine, and the North-West periphery of Russia in the Kola peninsula. Finns from Karelia emigrated to Finland, most of the Jews of Podolia were exterminated by Nazi Germany but the survivors later emigrated to Isr…
This volume presents contributions on handling data in which the postulate of independence in the data matrix is violated. When this postulate is violated and when the methods assuming independence are still applied, the estimated parameters are likely to be biased, and statistical decisions are very likely to be incorrect. Problems associated with dependence in data have been known for a long …
"The authors of the present volume, Myth, Materiality, and Lived Religion, focus on the material dimension of Old Norse mythology and the role played by myths in everyday life. More broadly expressed, the collection looks at the social, ceremonial and material contexts of myths. This topic has been underexplored in previous research on Old Norse myths, despite its important theoretical implicat…
“Sino-Christian theologyâ€? usually refers to an intellectual movement emerged in Mainland China since the late 1980s. The present volume aims to provide a self-explaining sketch of the historical development of this theological as well as cultural movement. In addition to the analyses on the theoretical issues involved and the articulations of the prospect, concrete examples are also …
This book reviews the current state of knowledge concerning cacao pathogens and methods for their management. Topics discussed include the history, biology and genetic diversity of Moniliophthora species (which cause witches’ broom and frosty pod rot) and Phytophthora species (which cause black pod rot) that cause diseases resulting in major losses to cacao production. Emerging pathogens …
The BCcampus Open Education Virtual Lab and Science Resource Directory lists free science resources designed to support remote science education. This directory is updated as new resources are identified. Note that, while all resources in this directory are free, not all are open. Resources that carry Creative Commons or otherwise open licences are clearly labelled.