ALBERT

Description / Table of Contents: Towards Explainable Artificial Intelligence -- Transparency: Motivations and Challenges -- Interpretability in Intelligent Systems: A New Concept? -- Understanding Neural Networks via Feature Visualization: A Survey -- Interpretable Text-to-Image Synthesis with Hierarchical Semantic Layout Generation -- Unsupervised Discrete Representation Learning -- Towards Reverse-Engineering Black-Box Neural Networks -- Explanations for Attributing Deep Neural Network Predictions -- Gradient-Based Attribution Methods -- Layer-Wise Relevance Propagation: An Overview -- Explaining and Interpreting LSTMs -- Comparing the Interpretability of Deep Networks via Network Dissection -- Gradient-Based vs. Propagation-Based Explanations: An Axiomatic Comparison -- The (Un)reliability of Saliency Methods -- Visual Scene Understanding for Autonomous Driving Using Semantic Segmentation -- Understanding Patch-Based Learning of Video Data by Explaining Predictions -- Quantum-Chemical Insights from Interpretable Atomistic Neural Networks -- Interpretable Deep Learning in Drug Discovery -- Neural Hydrology: Interpreting LSTMs in Hydrology -- Feature Fallacy: Complications with Interpreting Linear Decoding Weights in fMRI -- Current Advances in Neural Decoding -- Software and Application Patterns for Explanation Methods

Description / Table of Contents: The development of “intelligent” systems that can take decisions and perform autonomously might lead to faster and more consistent decisions. A limiting factor for a broader adoption of AI technology is the inherent risks that come with giving up human control and oversight to “intelligent” machines. Forsensitive tasks involving critical infrastructures and affecting human well-being or health, it is crucial to limit the possibility of improper, non-robust and unsafe decisions and actions. Before deploying an AI system, we see a strong need to validate its behavior, and thus establish guarantees that it will continue to perform as expected when deployed in a real-world environment. In pursuit of that objective, ways for humans to verify the agreement between the AI decision structure and their own ground-truth knowledge have been explored. Explainable AI (XAI) has developed as a subfield of AI, focused on exposing complex AI models to humans in a systematic and interpretable manner. The 22 chapters included in this book provide a timely snapshot of algorithms, theory, and applications of interpretable and explainable AI and AI techniques that have been proposed recently reflecting the current discourse in this field and providing directions of future development. The book is organized in six parts: towards AI transparency; methods for interpreting AI systems; explaining the decisions of AI systems; evaluating interpretability and explanations; applications of explainable AI; and software for explainable AI

Description / Table of Contents: This open access book discusses socio-environmental interactions in the middle to late Holocene, covering specific areas along the ancient Silk Road regions. Over twenty chapters provide insight into this topic from various disciplinary angles and perspectives, ranging from archaeology, paleoclimatology, antiquity, historical geography, agriculture, carving art and literacy. The Silk Road is a modern concept for an ancient network of trade routes that for centuries facilitated and intensified processes of cultural interaction and goods exchange between West China, Central Asia, the Middle East, and the Mediterranean. Coherent patterns and synchronous events in history suggest possible links between social upheaval, resource utilization and climate or environment forces along the Silk Road and in a broader area. Post-graduates in studying will benefit from this work, as well as it will stimulate young researchers to further explore the role played by the environment in long-term socio-cultural changes.

Description / Table of Contents: This book offers a collection of papers presented in the International Conference on Geomagnetism, Paleomagnetism and Rock Magnetism held in Kazan (Russia) in October 2017. Papers in this book are dedicated to the study of the geomagnetic field through most of the Earth's history as well as planetary and meteorite magnetism, and magnetic signatures of terrestrial impact craters. Recent studies, summaries, and reviews include: 1 - theory of the geomagnetic field, its generation and variations; 2 - experimental data on the geomagnetic field changes; 3 - studies of rock magnetism; 4 - paleotectonic reconstructions and paleoceanography; 5 - magnetostratigraphy; 6 - extraterrestrial magnetism. Summary reports and reviews will be presented by the world’s leading experts in the field of geomagnetic studies. Such workshops held by Academic Council have become traditional. They are always attended by leading professionals from Russia, CIS and non-CIS countries. In addition to discussion sessions focused on recent studies and findings, lectures on some basic concepts of geomagnetism will be delivered by leading Russian and foreign scientists

Description / Table of Contents: This richly illustrated book presents Germany’s geological evolution in the context of the Earth’s dynamic history. It starts with an introduction to Geology and explains the plate tectonic development, as well as the formation of both ancient and recent mountain belts - namely the Caledonian, Variscan and the modern-day Alps - that formed this part of Europe. A dedicated chapter discusses the origin of earthquakes in Germany, the occurrence of young volcanic rocks and the various episodes of rock deformation and metamorphism at these complex crossroads of plate tectonic history. The book highlights Germany’s diverse geological history, ranging from the origin of the Earth, the formation of deep crystalline rocks, and their overlying sedimentary sequences, to its more recent “ice age” quaternary cover. The last chapter addresses the shaping of the modern landscape. Though the content is also accessible for non-geologists, it is primarily intended for geoscience students and an academic audience

Description / Table of Contents: This book offers a collection of conference articles presented at the Second International Young Scientists Forum on Soil and Water Conservation and ICCE symposium 2018 “Climate Change Impacts on Sediment Dynamics: Measurement, Modelling, and Management” held at Moscow from 27 to 31 August 2018. This conference was organized by World Association of Soil and Water Conservation (WASWAC) and Lomonosov Moscow State University in cooperation with the International Commission on Continental Erosion of the International Association of Hydrological Sciences and World Large rivers Initiative. Topics in this book cover a wide range of questions related to fluvial geomorphology, water studies, and sediment transport.

Description / Table of Contents: The work is a source of modern knowledge on biomineralization, biomimetics and bioinspired materials science with respect to marine invertebrates. The author gives the most coherent analysis of the nature, origin and evolution of biocomposites and biopolymers isolated from and observed in the broad diversity of marine invertebrate organisms and within their unusual structural formations. The basic format is that of a major review article, with liberal use of references to original literature. There is a wealth of new and newly synthesized information, including dozens of previously unpublished images of unique marine creatures and structures from nano- to microscale including high-resolution scanning and transmission electron micrographs. The material is organized effectively along both biological (phyla) and functional lines. The classification of biological materials of marine origin is proposed and discussed. Much of the pertinent data is organized into tables, and extensive use is made of electron micrographs and line drawings. Several modern topics e.g. “biomineralization- demineralization-remineralization phenomena”, or “phenomenon of multiphase biomineralization”, are discussed in details. Traditionally, such current concepts as hierarchical organization of biocomposites and skeletal structures, structural bioscaffolds, biosculpturing, biomimetism and bioinspiration as tools for the design of innovative materials are critically analyzed from both biological and materials science point of view using numerous unique examples of marine origin. This monograph reviews the most relevant advances in the marine biomaterials research field, pointing out several approaches being introduced and explored by distinct laboratories

Description / Table of Contents: Einstein once remarked "After a certain high level of technical skill is achieved, science and art tend to coalesce in aesthetics, plasticity, and form. The greatest scientists are always artists as well". In this volume, some of the world’s leading thinkers come together to expound on the interrelations between sciences and arts. While one can segregate art and place it outside the scientific realm, it is, nevertheless, inextricably linked to our essential cognitive/emotional/perceptual modalities and abilities, and therefore lies alongside and in close contact with the method of science and philosophy. What inspiration can scientists draw from art and how can scientific spirit foster our understanding and creation of aesthetic works? How are art and science grounded in our cognition? What role does perception play in science and art? Are criteria for beauty in art and science the same? How does evolution shape our understanding of art? How do science, art and scientifico-artistic frameworks shape society as a whole and help us address its pressing issues? The epistemological and ontological aspects haunt artists, philosophers and scientists alike. The essays in this volume address these manifold questions while also elucidating the pragmatic role they play in our daily life

Description / Table of Contents: This book is focused on the basics of applying thermochronology to geological and tectonic problems, with the emphasis on fission-track thermochronology. It is conceived for relatively new practitioners to thermochronology, as well as scientists experienced in the various methods. The book is structured in two parts. Part I is devoted to the fundamentals of the fission-track method, to its integration with other geochronologic methods, and to the basic principles of statistics for fission-track dating and sedimentology applied to detrital thermochronology. Part I also includes the historical development of the technique and thoughts on future directions. Part II is devoted to the geological interpretation of the thermochronologic record. The thermal frame of reference and the different approaches for the interpretation of fission-track data within a geological framework of both basement and detrital studies are discussed in detail. Separate chapters demonstrate the application of fission-track thermochronology from various perspectives (e.g., tectonics, petrology, stratigraphy, hydrocarbon exploration, geomorphology), with other chapters on the application to basement rocks in orogens, passive continental margins and cratonic interiors, as well as various applications of detrital thermochronology.

Description / Table of Contents: This book focuses in detail on all ecologically important aspects of the Kongsfjorden system such as the marine and atmospheric environment including long-term monitoring, Ecophysiology of individual species, structure and function of the ecosystem, ecological processes and biological communities. The contributed articles include review articles and research articles that have a wider approach and bring the current research up-to-date. This book will form a baseline for future work.

Description / Table of Contents: Part I.Regional Overview -- Chapter 1. Phanerozoic orogens of NW Southamerica: Cordilleran Type Orogens, Taphrogenic tectonics and the Orogenic Float -- Chapter 2. Phanerozoic orogens of NW Southamerica: Cordilleran Type Orogens, Taphrogenic tectonics and the Orogenic Float -- Part II.The Guiana Shield and the Andean Belt -- Chapter 3. The Proterozoic basement of the Western Guiana shield and the Northern Andes -- Part III.Early Paleozoic Tectono-Sedimentary History -- Chapter 4.Ordovician orogeny and jurassic low-lying orogeny in the Santander Massif, Northern Andes (Colombia) -- Part 4. Major Tectono-Magmatic Events -- Chapter 5.Phanerozoic Granitoid magmatism and tectono-magmatic evolution in the Colombian Andes -- Chapter 6.Phanerozoic metallogeny in the Colombian Andes: a tectono-magmatic framework -- Chapter 7.Paleogene Magmatism of the Maracaibo block and its tectonic significance -- Chapter 8.Late cenozoic to modern-day volcanism in the Northern Andes: A geochronological, petro-graphical and geochemical review -- Part 5.The Northern Andean Orogen -- Part 5.The Northern Andean Orogen -- Chapter 9.Diagnostic structural features of NW South America: Structural Cross-Sections Based Upon Detailed Field Transects -- Chapter 10.Cretaceous stratigraphy and paleo-facies maps of Northwestern South America -- Chapter 11.Morphotectonics and orogenic development of the Northern Andes of Colombia: A low-temperature thermochronology perspective -- Chapter 12.The Romeral shear zone -- Part 6.Continental Uplift-Drift -- Chapter 13.Thermochronology, uplift-exhumation of the Merida Andes, Santander Massif - Perija and Si-erra Nevada De Santa Marta. A Regional Overview -- Part 7.Active Oceanic - Continental Collision -- Chapter 14.The geology of the Panama-Choco Arc -- Part 8.Holocene - Anthropocene -- Chapter 15.Sediment transfers from the Andes of Colombia during the Anthropocene -- Chapter 16.The historical, geomorphological evolution of the Colombian littoral zones (XVIII century to present)

Description / Table of Contents: This book provides a comprehensive overview of the geological evolution of the Northern Andes and contiguous shield areas, with a focus upon Colombia. Updated geological interpretations are supported by modern lithogeochemical, seismic, gravity and magnetic data and radiogenic isotope and radiometric age determinations. The composite data permits a detailed interpretation of the tectono-magmatic history of the Northern Andean Block, including the Andes of Colombia, northern Ecuador, western Venezuela and eastern Panamá. Tectonic reconstructions based upon characterization of more than thirty litho-tectonic and morpho-structural units, terrane assemblages and tectonic realms, and their bounding suture and fault systems, highlight the intimate and complementary Mesozoic-Cenozoic history of the Northern Andean Block and the Pacific and Caribbean Plates. The complex nature of Northern Andean assembly contrasts with ‘‘classical’’ Central Andean ‘‘Cordilleran-type’’ orogenic models. Differences render the application of typical Cordilleran-type models inappropriate for the Colombian Andes. The importance of underlying Proterozoic through mid-Mesozoic elements, in the development of Meso-Cenozoic Northern Andean orogeny-phase tectonic configurations is analyzed in the light of spatial-temporal studies and reconstructions related to basin formation, sedimentation, deformation, uplift mechanisms, structural style and magmatic evolution. The pre-Andean architecture of north western South America has played a pre-determinative role in the development of the Northern Andean orogenic system. 16 contributions analyze key stratigraphic, structural, metamorphic, magmatic and tectonic questions, and provide solutions as far as the most recent published field-based studies permit. The volume provides geological interpretations and tectonic models which contrast with repetitive theoretical proposals frequently found in the available literature

Description / Table of Contents: Population genomics has revolutionized various disciplines of biology including population, evolutionary, ecological and conservation genetics, plant and animal breeding, human health, medicine and pharmacology by allowing to address novel and long-standing questions with unprecedented power and accuracy. It employs large-scale or genome-wide genetic information and bioinformatics to address various fundamental and applied aspects in biology and related disciplines, and provides a comprehensive genome-wide perspective and new insights that were not possible before. These advances have become possible due to the development of new and low-cost sequencing and genotyping technologies and novel statistical approaches and software, bioinformatics tools, and models. Population genomics is tremendously advancing our understanding the roles of evolutionary processes, such as mutation, genetic drift, gene flow, and natural selection, in shaping up genetic variation at individual loci and across the genome and populations; improving the assessment of population genetic parameters or processes such as adaptive evolution, effective population size, gene flow, admixture, inbreeding and outbreeding depression, demography, and biogeography; resolving evolutionary histories and phylogenetic relationships of extant, ancient and extinct species; understanding the genomic basis of fitness, adaptation, speciation, complex ecological and economically important traits, and disease and insect resistance; facilitating forensics, genetic medicine and pharmacology; delineating conservation genetic units; and understanding the genetic effects of resource management practices, and assisting conservation and sustainable management of genetic resources. This Population Genomics book discusses the concepts, approaches, applications and promises of population genomics in addressing most of the above fundamental and applied crucial aspects in a variety of organisms from microorganisms to humans. The book provides insights into a range of emerging population genomics topics including population epigenomics, landscape genomics, seascape genomics, paleogenomics, ecological and evolutionary genomics, biogeography, demography, speciation, admixture, colonization and invasion, genomic selection, and plant and animal domestication. This book fills a vacuum in the field and is expected to become a primary reference in Population Genomics world-wide

Description / Table of Contents: Middle East and Mediterranean region locates at a crossroad of global climatic patterns. The region is under the influence of a convergence of different maritime conditions which together with extensive adjacent land masses marked by extreme differences in topographical features transporting continental air masses lead to a diverse climate. This edited volume is based on the best papers accepted for presentation during the 1st Springer Conference of the Arabian Journal of Geosciences (CAJG-1), Tunisia 2018. It gives new insights on patterns and mechanisms of past, present and future climate/environmental changes mainly on Middle East and Mediterranean region by international researchers. The book is of interest to all researchers in the fields of climate, paleo-climate and paleo-environmental studies. Main topics include: • Spatio-temporal Patterns of Climate Change • Sea Level Variability • Climate Change Impacts and Migration Schemes • Paleoclimate Evolution • Paleoenvironmental Evolution

Description / Table of Contents: This book documents the effects of natural hazards on coastal ecosystems in detail. The sea is an indispensable component of the Earth system, and human societies obtain many goods and services from the marine environment. Global warming threatens marine ecosystems through seawater temperature rise, acidification, sea-level rise and the increased frequency of severe storms. The repeated effects of tsunamis also have major impacts on coastal ecosystems. Increases in population and industry activities along the coast cause the degradation of coastal ecosystems through direct and indirect uses of the environment such as reclamation, overexploitation of bioresources, and pollution. Given these facts, we need to improve our understanding of the physical, chemical and biological mechanisms characterizing marine ecosystems, in order to better measure the effects of anthropogenic and natural impacts on the sea and its ecosystems. Equipped with a comprehensive understanding of the sea, including the effects of the main pressures on it, we will have a better idea of the future state of the sea based on several scenarios of global warming. The 16th France-Japan Symposium on Marine Science focused on using advances in oceanography to better understand the current status of the sea from physical, chemical, biological and ecological perspectives, including fishery sciences and integrated approaches

Description / Table of Contents: Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering -- Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing -- Ontologies -- Databases -- Semantics -- Cooperative Information Systems -- Cloud Computing -- Trust, Security, Privacy And Risk. Management

Description / Table of Contents: This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Semantics, ODBASE 2019, and Cloud and Trusted Computing, C&TC, held as part of OTM 2019 in October 2019 in Rhodes, Greece. The 38 full papers presented together with 8 short papers were carefully reviewed and selected from 156 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing

Description / Table of Contents: This volume consists of 15 chapters and focuses on hazardous chemicals, how they are associated with plastics, and their environmental risks. It includes background information on plastics and additives chemistry, and their observed or potential effects on living organisms as well as the oceanographic aspects of marine debris dispersion. The respective chapters provide insights into the sorption/desorption of chemicals in and out of plastics, the mechanisms and kinetics, but also the scale of the concentrations of chemicals found in marine debris, particularly in microplastics. The occurrence of the various chemicals is analyzed, as well as the distribution profiles of the chemicals in microplastics throughout the world’s oceans. The implications of the fact that plastics carry within them several chemicals are discussed in detail. In closing, new research topics that warrant further attention are identified. The book will appeal to all scientists who are already working or interested in starting to work on the topic of marine debris, as well as policymakers, NGOs and the broader informed public

Description / Table of Contents: Chapter 1. Introduction -- Chapter 2. Glacier changes since the Little Ice Age -- Chapter 3. An inventory of proglacial systems in Austria, Switzerland and across Patagonia -- Chapter 4. Debris-covered glaciers -- Chapter 5. Closing the balance of ice, water and sediment fluxes through the terminus of Gepatschferner -- Chapter 6. (Ground) Ice in the proglacial zone -- Chapter 7. Periglacial morphodynamics in the Upper Kaunertal -- Chapter 8. Rock slope instability in the proglacial zone: State of the Art -- Chapter 9. Rockfall at proglacial rockwalls - A case study from the Kauner Valley, Austria -- Chapter 10. Glacial sediment stores and their re-working -- Chapter 11. Slope wash, gully erosion and debris flows on lateral moraines in the upper kaunertal, Austria -- Chapter 12. Sediment transport in proglacial rivers -- Chapter 13. Fluvial sediment transport in the proglacial Fagge River, Kaunertal, Austria -- Chapter 14. Proglacial lakes in high mountain environments -- Chapter 15. Sediment budgets in high-mountain areas: Review and challenges -- Chapter 16. Sediment connectivity in proglacial areas -- Chapter 17. A sediment budget of the Upper Kauner Valley -- Chapter 18. The uncalm development of proglacial soils in the European Alps since 1850 -- Chapter 19. Vegetation succession and biogeomorphic interactions in glacier forelands

Description / Table of Contents: This book discusses the recession of alpine glaciers since the end of the Little Ice Age (LIA), which has been accelerating in the past decades. It provides an overview of the research in the field, presenting definitions and information about the different proglacial areas and systems. A number of case studies are from the PROSA project group which encompasses the expertise of geomorphologists, geologists, glaciologists and geodesists. The PROSA joint project (High-resolution measurements of morphodynamics in rapidly changing PROglacial Systems of the Alps) is determined to tackle the problems of geomorphic activity on sediment export through a quantification of sediment fluxes effected by the aforementioned geomorphic processes within the forefield of the Gepatschferner glacier (Central Alps, Austria)

Description / Table of Contents: This book focuses in detail on all ecologically important aspects of the Kongsfjorden system such as the marine and atmospheric environment including long-term monitoring, Ecophysiology of individual species, structure and function of the ecosystem, ecological processes and biological communities. The contributed articles include review articles and research articles that have a wider approach and bring the current research up-to-date. This book will form a baseline for future work.

Description / Table of Contents: It is not so long ago (a mere 17,000 years – a blink in geologic time) that vast areas of the Northern Hemisphere were covered with ice sheets up to two miles thick, lowering the oceans by more than 120 m. By 11,000 years ago, most of the ice was gone. Evidence from polar ice cores and ocean sediments show that Ice Ages were persistent and recurrent over the past 800,000 years. The data suggests that Ice Ages were the normal state, and were temporarily interrupted by interglacial warm periods about nine times during this period. Quasi-periodic variations in the Earth cause the solar input to high northern latitudes to vary with time over thousands of years. The widely accepted Milankovitch theory implies that the interglacial warm periods are associated with high solar input to high northern latitudes. However, many periods of high solar input to high northern latitudes occur during Ice Ages while the ice sheets remain. The data also indicates that Ice Ages will persist regardless of solar input to high northern latitudes, until several conditions are met that are necessary to generate a termination of an Ice Age. An Ice Age will not terminate until it has been maturing for many tens of thousands of years leading to a reduction of the atmospheric CO2 concentration to less than 200 ppm. At that point, CO2 starvation coupled with lower temperatures will cause desertification of marginal regions, leading to the generation of large quantities of dust. High winds transfer this dust to the ice sheets greatly increasing their solar absorptivity, and at the next up-lobe in the solar input to high northern latitudes, solar power melts the ice sheets over about a 6,000-year interval. A warm interglacial period follows, during which dust levels drop remarkably. Slowly but surely, ice begins accumulating again at high northern latitudes and an incipient new Ice Age begins. This third edition presents data and models to support this theory

Description / Table of Contents: What do we know about Mediterranean Cold (Deep)-Water coral ecosystems? In this book, specialists offer answers and insights with a series of chapters and short papers about the paleoecology, biology, physiology and ecology of the corals and other organisms that comprise these ecosystems. Structured on a temporal axis—Past, Present and Future—the reviews and selected study cases cover the cold and deep coral habitats known to date in the Mediterranean Basin. This book illustrates and explains the deep Mediterranean coral habitats that might have originated similar thriving ecosystems in today’s Atlantic Ocean

Description / Table of Contents: Domestic and wild large mammalian herbivores occur on every continent except Antarctica. Through their browsing and grazing, they affect the structure and distribution not only of vegetation, but also of associated fauna. Consequently, the interactions between management practices and herbivore populations influence the biodiversity, structure and dynamics of ecosystems across vast expanses around the globe: signs of human activity that will be detectable for epochs to come. As a follow-up work to The Ecology of Browsing and Grazing, published in 2008, this new volume presents cutting-edge research on the behaviour, distribution, movement, and direct and indirect impacts of domestic and wild herbivores on terrestrial ecosystems. The respective chapters highlight strategic and applied research on cross-cutting issues in palaeontology and ecology, and provide concrete recommendations on the management of large herbivores to integrate production and conservation in terrestrial systems. Given its scope, the book will appeal to students, researchers and anyone interested in understanding these fascinating wild animals and how they shape the natural world

Description / Table of Contents: Chapter 1. Attention Economics --- Chapter 2. The News Market --- Chapter 3. Attention Speculation and Political Bubbles --- Chapter 4. Alternative Facts, Misinformation, and Fake News --- Chapter 5. Fact Resistance, Populism, and Conspiracy Theory --- Chapter 6. The Post-Factual Democracy

Description / Table of Contents: Anode Materials, SEI, Carbon, Graphite, Conductivity, Graphene, Reversible, Formation / Pages 1-71 --- Cathode Materials, Samples, Pristine, Layered, Doping, Discharge Capacity / Pages 73-161 --- Ionic Conductivity, Polymer Electrolyte, Membranes, Electrochemical Stability, Separators / Pages 163-193 --- Models, SOC, Maximum, Time, Cell, Data, Parameters / Pages 195-247

Description / Table of Contents: Introduction / Pages 1-8 --- Primary Production: From Inorganic to Organic Carbon / Pages 9-35 --- The Return from Organic to Inorganic Carbon / Pages 37-56 --- Carbon Processing at the Seafloor / Pages 57-75 --- Biogeochemical Processes and Inorganic Carbon Dynamics / Pages 77-105 --- Organic Matter is more than CH2O / Pages 107-118

Description / Table of Contents: Volcanic Unrest and Pre-eruptive Processes: A Hazard and Risk Perspective / J. Gottsmann, J.-C. Komorowski, J. Barclay / Pages 1-21 --- The Role of Laws Within the Governance of Volcanic Risks / R. J. Bretton, J. Gottsmann, R. Christie / Pages 23-34 --- Deterministic Versus Probabilistic Volcano Monitoring: Not “or” But “and” / D. Rouwet, R. Constantinescu, L. Sandri / Pages 35-46 --- Probabilistic E-tools for Hazard Assessment and Risk Management / Stefania Bartolini, Joan Martí, Rosa Sobradelo, Laura Becerril / Pages 47-61 --- The Need to Quantify Hazard Related to Non-magmatic Unrest: From BET_EF to BET_UNREST / Laura Sandri, Roberto Tonini, Dmitri Rouwet, Robert Constantinescu, Ana Teresa Mendoza-Rosas, Daniel Andrade et al. / Pages 63-82 --- Groundwater flow and volcanic unrest / Alia Jasim, Brioch Hemmings, Klaus Mayer, Bettina Scheu / Pages 83-99 --- Experimental Simulations of Magma Storage and Ascent / C. Martel, R. A. Brooker, J. Andújar, M. Pichavant, B. Scaillet, J. D. Blundy / Pages 101-110 --- Magma Chamber Rejuvenation: Insights from Numerical Models / C. P. Montagna, P. Papale, A. Longo, M. Bagagli / Pages 111-122 --- Magma Mixing: History and Dynamics of an Eruption Trigger / Daniele Morgavi, Ilenia Arienzo, Chiara Montagna, Diego Perugini, Donald B. Dingwell / Pages 123-137 --- Gases as Precursory Signals: Experimental Simulations, New Concepts and Models of Magma Degassing / M. Pichavant, N. Le Gall, B. Scaillet / Pages 139-154 --- Crystals, Bubbles and Melt: Critical Conduit Processes Revealed by Numerical Models / M. E. Thomas, J. W. Neuberg, A. S. D. Collinson / Pages 155-169 --- When Does Magma Break? / Fabian B. Wadsworth, Taylor Witcher, Jérémie Vasseur, Donald B. Dingwell, Bettina Scheu / Pages 171-184 --- Volcano Seismology: Detecting Unrest in Wiggly Lines / R. O. Salvage, S. Karl, J. W. Neuberg / Pages 185-201 --- The Ups and Downs of Volcanic Unrest: Insights from Integrated Geodesy and Numerical Modelling / J. Hickey, J. Gottsmann, P. Mothes, H. Odbert, I. Prutkin, P. Vajda / Pages 203-219 --- Fluid Geochemistry and Volcanic Unrest: Dissolving the Haze in Time and Space / Dmitri Rouwet, Silvana Hidalgo, Erouscilla P. Joseph, Gino González-Ilama / Pages 221-239 --- Geophysical Footprints of Cotopaxi’s Unrest and Minor Eruptions in 2015: An Opportunity to Test Scientific and Community Preparedness / Patricia A. Mothes, Mario C. Ruiz, Edwin G. Viracucha, Patricio A. Ramón, Stephen Hernández, Silvana Hidalgo et al. / Pages 241-270 --- Volcanic Unrest Simulation Exercises: Checklists and Guidance Notes / R. J. Bretton, S. Ciolli, C. Cristiani, J. Gottsmann, R. Christie, W. Aspinall / Pages 271-298

Description / Table of Contents: Introduction / Chenyang Li, Liqiong Jia, Xuan Wu / Pages 1-2 --- Initiation Period (1914–1934): Geologists’ Artistic Accomplishment Reflected by Hand-Drawn Maps / Chenyang Li, Guo Liu, Ruiyang Yu, Hui Guo, Fanyu Qi / Pages 3-22 --- Exploration Period (1935–1953): The First Step Toward Standardization / Liqiong Jia, Xiaolei Li, Yuntao Shang, Xuezheng Gao, Jie Meng / Pages 23-49 --- Growth Period (1954–1994): Maps Displaying More Information and Printed in More Standard Way / Liqiong Jia, Zhaoyu Kong, Xuezheng Gao, Hui Guo, Xiaolei Li, Chunzhen He / Pages 51-102 --- Leaping Forward Period (1995 to Present): Moving into Digital Mapping and Digital Cartography Era / Xuan Wu, Fanyu Qi, Guo Liu, Yuntao Shang, Jie Meng / Pages 103-119

Description / Table of Contents: Nature-Based Solutions in Flood Risk Management / Thomas Hartmann, Lenka Slavíková, Simon McCarthy / Pages 3-8 --- Scale in Nature-Based Solutions for Flood Risk Management / Pavel Raška, Lenka Slavíková, John Sheehan / Pages 9-20 --- Reversing the Current: Small Scale Retention Programs in Polish Forests / Piotr Matczak, Viktória Takács, Marek Goździk / Pages 23-37 --- Commentary: A (Mostly) Hydrological Commentary on the Small Retention Programs in the Polish Forests / Martyn Futter / Pages 39-43 --- Commentary: Small Retention in Polish Forests from a Forest Management Perspective—Copying of Existing Could Be Right Path / Marijana Kapović Solomun / Pages 45-51 --- This Is My Land! Privately Funded Natural Water Retention Measures in the Czech Republic / Lenka Slavíková, Pavel Raška / Pages 55-67 --- Commentary: Mr. Pitek’s Land from a Perspective of Managing Hydrological Extremes: Challenges in Upscaling and Transferring Knowledge / Mark E. Wilkinson / Pages 69-75 --- Commentary: A Spatial Planning Perspective on Privately Funded Natural Water Retention Measures / Lukas Löschner / Pages 77-81 --- Swapping Development Rights in Swampy Land: Strategic Instruments to Prevent Floodplain Development in Flanders / Ann Crabbé, Tom Coppens / Pages 85-97 --- Commentary: Swapping Development Rights to Prevent Flood Plain Development in Flanders: A Legal Architecture Perspective / John Sheehan / Pages 99-103 --- Commentary: An Economic View on the Prospects of a Flood Defense Related Development Rights Market in Flanders / András Kis, Gábor Ungvári / Pages 105-108 --- Urban Wetlands Restoration in Floodplains: A Case of the City of Pilsen, Czech Republic / Jan Macháč, Jiří Louda / Pages 111-126 --- Commentary: Urban Wetlands Restoration as NBS for Flood Risk Mitigation: From Positive Case to Legitimate Practice, in the View of Evidence-Based Flood Risk Policy Making / Jenia Gutman / Pages 127-134 --- Commentary: Flood Retention in Urban Floodplains—A Plzen Case Study from the Viewpoint of a Hydraulic Engineer / Reinhard Pohl / Pages 135-138 --- Blauzone Rheintal: A Regional Planning Instrument for Future-Oriented Flood Management in a Dynamic Risk Environment / Lukas Löschner, Walter Seher, Ralf Nordbeck, Manfred Kopf / Pages 141-154 --- Commentary: The Blauzone Rheintal from a Hydrological Perspective—A Transboundary Flood-Mitigation Solution in a Large Gravel-Bed River Basin / Nejc Bezak, Mojca Šraj, Matjaž Mikoš / Pages 155-160 --- Commentary: The Blauzone Rheintal Approach from a Natural Hazard Perspective—Challenges to Establish Effective Flood Defence Management Programs / Carla S. S. Ferreira, Zahra Kalantari / Pages 161-167 --- Relocation of Dikes: Governance Challenges in the Biosphere Reserve “River Landscape Elbe-Brandenburg” / Barbara Warner, Christian Damm / Pages 171-180 --- Commentary: Dike Relocation from an Environmental Policy Perspective / Martijn F. van Staveren / Pages 181-185 --- Commentary: Reflection on Governance Challenges in Large-Scale River Restoration Actions / Kristina Veidemane / Pages 187-190 --- Dilemmas of an Integrated Multi-use Climate Adaptation Project in the Netherlands: The Oekense Beek / Maria Kaufmann, Mark Wiering / Pages 193-207 --- Commentary: Effectiveness and Integrated Multi-use of Retention Measures—A Hydraulic Engineering Perspective / Robert Jüpner / Pages 209-212 --- Commentary: Voluntary Agreement in Multi-use Climate Adaptation in the Oekense Beek from a Politic-Economic Perspective / Thomas Thaler / Pages 213-218 --- Conclusion / Thomas Hartmann, Lenka Slavíková, Simon McCarthy / Pages 221-228

Description / Table of Contents: Scherrer Width and Topography of Illite as Potential Indicators for Contrasting Cu-Recovery by Flotation of a Chilean Porphyry Cu (Mo) Ore / G. Abarzúa, L. Gutiérrez, U. Kelm, J. Morales / Pages 3-6 --- Ore Mineralogical Study of Cerattepe Au-Cu (±Zn) VMS Deposit (Artvin-Turkey) / İ. Akpınar, E. Çiftçi / Pages 7-10 --- Correlation Value of the Mineralogical Composition of Tills in the North of European Russia / L. Andreicheva / Pages 11-14 --- Comparative Gold Deportment Study on Direct Leaching and Hybrid Process Tails of Oxide Ores from Mayskoye Au Deposit (Chukotka, Russia) / I. Anisimov, A. Dolotova, A. Sagitova, M. Kharitonova, B. Milman, I. Agapov / Pages 15-18 --- Mineral-Geochemical Criteria to Gold and Silver Recovery for Geometallurgical Sampling Campaign on Primorskoe Gold-Silver Deposit / I. Anisimov, A. Sagitova, O. Troshina, I. Agapov / Pages 19-23 --- Mineralogical-Geochemical Criteria for Geometallurgical Mapping of Levoberezhnoye Au Deposit (Khabarovsk Region, Russia) / I. Anisimov, A. Sagitova, M. Kharitonova, A. Dolotova, I. Agapov / Pages 24-28 --- Mineralogical Reasons of Au Recovery Variability from North-Western Pit of Varvara Au-Cu Mine (Kazakhstan) and Criteria for Geometallurgical Mapping / I. Anisimov, A. Dolotova, A. Sagitova, M. Kharitonova, I. Agapov / Pages 29-32 --- Mineralogical Breakthrough into Nanoworld: Results and Challenges / A. Askhabov / Pages 33-36 --- Case Study: Geochemistry and Mineralogy of Copper Mine Tailings in Northern Central-Chile / K. Berkh, D. Rammlmair, M. Drobe, J. Meima / Pages 37-40 --- Application of Fluoride Technology for Processing of Off-Grade Aluminum Raw Materials / I. Burtsev, I. Perovskiy, D. Kuzmin / Pages 41-44 --- Applied Mineralogy for Complex and Profound Mineral Processing / V. Chanturiya, T. Matveeva / Pages 45-48 --- Mineralogical and Technological Features of Tin Minerals at Pravourmiysky Deposit (Khabarovsk Region) / T. Chikisheva, S. Prokopyev, E. Kolesov, V. Kilin, A. Karpova, E. Prokopyev et al. / Pages 49-52 --- Ore Mineralogy of High Sulfidation Çorak-Taç Epimesothermal Gold Deposit (Yusufeli-Artvin-Turkey) / K. Diarra, E. Sangu, E. Çiftçi / Pages 53-58 --- Mineralogical and Technological Aspects of Phosphate Ore Processing / A. Elbendari, V. Potemkin, T. Aleksandrova, N. Nikolaeva / Pages 59-65 --- Properties and Processing of Ores Containing Layered Silicates / A. Gerasimov, V. Arsentyev, V. Lazareva / Pages 66-69 --- Applied Mineralogy of Anthropogenic Accessory Minerals / A. Gerasimov, E. Kotova, I. Ustinov / Pages 70-74 --- Crystal-Chemical and Technological Features of the KMA Natural Magnetites / T. Gzogyan, S. Gzogyan / Pages 75-79 --- Practical Application of Technological Mineralogy on the Example of Studying of Sulphidization in the KMA Ferruginous Quartzites / S. Gzogyan, T. Gzogyan / Pages 80-83 --- Ore Mineralogy of Kirazliyayla (Yenişehir-Bursa-Turkey) Mesothermal Zn-Pb-(±Cu) Deposit: Preliminary Results / F. Javid, E. Çiftçi / Pages 84-89 --- Use of Borogypsum as Secondary Raw / A. Khatkova, L. Nikitina, S. Pateyuk / Pages 90-93 --- New Approaches in X-ray Phase Analysis of Gypsum Raw Material of Diverse Genesis / V. Klimenko, V. Pavlenko, T. Klimenko / Pages 94-98 --- Nanotechnologies in Mineral-Geochemical Methods for Assessing the Forms of Finding of Gold, Related Elements, Technological Properties of Industrial Ores and Their Tails / R. Koneev, R. Khalmatov, O. Tursunkulov, A. Krivosheeva, N. Iskandarov, A. Sigida / Pages 99-102 --- Applied Mineralogy of Mining Industrial Wastes / O. Kotova, E. Ozhogina / Pages 103-106 --- High-Tech Elements in Minerals of Massive Sulfide Deposits: LA-ICP-MS Data / V. Maslennikov, S. Maslennikova, N. Aupova, A. Tseluyko, R. Large, L. Danyushevsky et al. / Pages 107-110 --- Absolutely Pure Gold with High Fineness 1000‰ / Z. Nikiforova / Pages 111-114 --- New Data on Microhardness of Placer Gold / Z. Nikiforova / Pages 115-118 --- Modern Methods of Technological Mineralogy in Assessing the Quality of Rare Metal Raw Materials / E. Ozhogina, A. Rogozhin, O. Yakushina, Yu. Astakhova, E. Likhnikevich, N. Sycheva et al. / Pages 119-122 --- Topochemical Transformations in Sodium-Bismuth-Silicate System at 100–900 ℃ / A. Pavlenko, R. Yastrebinskiy / Pages 123-126 --- Ag-Bearing Mineralization of Nevenrekan Deposit (Magadan Region, Russia) / E. Podolian, I. Shelukhina, I. Kotova / Pages 127-128 --- Th/U Relations as an Indicator of the Genesis of Metamorphic Zircons (On the Example of the North of the Urals) / Y. Pystina, A. Pystin / Pages 129-132 --- Phenomenon of Microphase Heterogenization by Means of Endocrypt-Scattered Impurity of Rare and Noble Metals as a Result of Radiation by Accelerated Electrons of Bauxites / I. Razmyslov, O. Kotova, V. Silaev, L. A. Gomze / Pages 133-135 --- Gold Extraction to Ferrosilicium, Production of Foam Silicate from Processing Tails of the Olimpiada Mining and Processing Complex Gold Processing Plant (Russia, Krasnoyarsk Territory) / A. Sazonov, V. Pavlov, S. Silyanov, E. Zvyagina / Pages 136-139 --- Predictive Assessment of Quality of Mineral Aggregates Disintegration / S. Shevchenko, R. Brodskaya, I. Bilskaya, Yu. Kobzeva, V. Lyahnitskaya / Pages 140-142 --- Development of Methods for Anti-filtration Formations Destruction Inside a Heap Leach Pile / H. Tcharo, M. Koulibaly, F. K. N. Tchibozo / Pages 143-145 --- Microtomographic Study of Gabbro-Diabase Structural Transformations Under Compressive Loads / L. Vaisberg, E. Kameneva / Pages 146-151 --- Process Mineralogy as a Basis of Molybdoscheelite Ore Preparation / L. Vaisberg, O. Kononov, I. Ustinov / Pages 152-156 --- Crystallomorphology of Cassiterite and Its Practical Importance / I. Vdovina / Pages 157-161 --- Modal Analysis of Rocks and Ores in Thin Sections / Yu. Voytekhovsky / Pages 162-166 --- Quality Assurance Support (QA/QC System) of Mineralogical Analysis / O. Yakushina, E. Gorbatova, E. Ozhogina, A. Rogozhin / Pages 167-171 --- Mineral Preparation in Geological Research / T. Yusupov, A. Travin, S. Novikova, D. Yudin / Pages 172-175 --- Impact Diamonds: Types, Properties and Uses / V. Afanasiev, N. Pokhilenko, A. Eliseev, S. Gromilov, S. Ugapieva, V. Senyut / Pages 179-182 --- Authentic Semi-precious and Precious Gemstones of Turkey: Special Emphasis on the Ones Preferred for Prayer Beads / E. Çiftçi, H. Selim, H. Sendir / Pages 183-188 --- Biooxidation of Copper Sulfide Minerals / Yu. Elkina, E. Melnikova, V. Melamud, A. Bulaev / Pages 189-191 --- Genetic Problem of Quartz in Titanium Minerals in Paleoplacers of Middle Timan / I. Golubeva, I. Burtsev, A. Ponaryadov, A. Shmakova / Pages 192-194 --- Gold and Platinum Group Minerals (PGM) from the Placers of Northwest Kuznetsk Alatau (NWKA) (South Siberia, Russia) / V. Gusev, S. Zhmodik, G. Nesterenko, D. Belyanin / Pages 195-197 --- Noble Metal Mineralization of the PGM Zone “C” of the East-Pana Layered Intrusion (Kola Peninsula) / O. Kazanov, G. Logovskaya, S. Korneev / Pages 198-200 --- Shungites and Their Industrial Potential / V. Kovalevski, V. Shchiptsov / Pages 201-204 --- Gold-Silver Natural Alloy of Chromitites from the Kamenushinsky Massif (The Middle Urals) / A. Minibaev / Pages 205-207 --- Microbial Processes in Ore-Bearing Laterite at the Tomtor Nb-REE Deposit: Evidence from Carbon Isotope Composition in Carbonates / V. Ponomarchuk, E. Lazareva, S. Zhmodik, N. Karmanov, A. Piryaev / Pages 208-211 --- Peridot: Types of Deposits and Formation Conditions / S. Sokolov / Pages 212-213 --- Mineralogical Analysis of Glacial Deposits and Titanium Paleoplacers of the East European Part of Russia / N. Vorobyov, A. Shmakova / Pages 214-215 --- A Bench Scale Investigation of Pump-Ejector System at Simultaneous Water and Gas Injection / S. Karabaev, N. Olmaskhanov, N. Mirsamiev, J. Mugisho / Pages 219-220 --- Integrated Use of Oil and Salt Layers at Oil Field Development / V. Malyukov, K. Vorobyev / Pages 221-222 --- Oil and Gas Reservoirs in the Lower Triassic Deposits in the Arctic Regions of the Timan-Pechora Province / N. Timonina / Pages 223-226 --- Associated Petroleum Gas Flaring: The Problem and Possible Solution / A. Vorobev, E. Shchesnyak / Pages 227-230 --- Innovative Technology of Using Anti-sand Filters at Wells of the Vankor Oil and Gas Field / K. Vorobyev, A. Gomes / Pages 231-232 --- Thermometry of Apatite Saturation (The Kozhym Massif, The Subpolar Urals) / Y. Denisova, A. Vikhot, O. Grakova, N. Uljasheva / Pages 235-238 --- Studies of Structural Changes in Surface and Deep Layers in Magnetite Crystals After High Pressure Pressing / P. Matyukhin / Pages 239-243 --- The Potential of Lacquer Peel Profiles and Hyperspectral Analysis for Exploration of Tailings Deposits / W. Nikonow, D. Rammlmair / Pages 244-247 --- Methods of Extraction of Micro- and Nanoparticles of Metal Compounds from Fine Fractions of Rocks, Ores and Processing Products / A. Smetannikov, D. Onosov / Pages 248-251 --- Efficiency Evaluation for Titanium Dioxide-Based Advanced Materials in Water Treatment / M. Harja, O. Kotova, S. Sun, A. Ponaryadov, T. Shchemelinina / Pages 255-258 --- The Use of Karelia’s High-Mg Rocks for the Production of Building Materials, Ceramics and Other Materials with Improved Properties / V. Ilyina / Pages 259-262 --- Kinetic Features of Formation of Supramolecular Matrices on the Basis of Silica Monodisperse Spherical Particles / D. Kamashev / Pages 263-266 --- Three-Cation Scandium Borates RxLa1−XSc3(BO3)4(R = Sm, Tb): Synthesis, Structure, Crystal Growth and Luminescent Properties / A. Kokh, A. Kuznetsov, K. Kokh, N. Kononova, V. Shevchenko, B. Uralbekov et al. / Pages 267-271 --- Rational Usage of Amorphous Varieties of Silicon Dioxide in Dry Mixtures of Glass with Specific Light Transmittance / N. Min’ko, O. Dobrinskaya / Pages 272-276 --- Peculiarities of Phase Formation in Artificial Ceramic Binders for White-Ware Compositions / I. Moreva, E. Evtushenko, O. Sysa, V. Bedina / Pages 277-280 --- Experimental Modeling of Biogeosorbents / T. Shchemelinina, O. Kotova, E. Anchugova, D. Shushkov, G. Ignatyev, M. Markarova / Pages 281-285 --- Heating Rate and Liquid Glass Content Influence on Cement Brick Dehydration / V. Strokova, D. Bondarenko / Pages 286-289 --- Structure and Surface Reactivity Mediated Enzymatic Performances of Clay-Based Nanobiocatalyst / S. Sun, K. Wang, F. Dong, B. Ma, T. Huo, Y. Zhao et al. / Pages 290-291 --- Structural-Phase Stabilization of Clay Materials in Hydrothermal Conditions / O. Sysa, E. Evtushenko, I. Moreva, V. Loktionov / Pages 292-295 --- Phase Changes in Radiation Protection Composite Materials Based on Bismuth Oxide / S. Yashkina, V. Doroganov, E. Evtushenko, O. Gavshina, E. Sysa / Pages 296-299 --- Development of Technology for Anti-corrosion Glass Enamel Coatings for Oil Pipelines / E. Yatsenko, A. Ryabova, L. Klimova / Pages 300-303 --- Optimization of Formulations of Cement Composites Modified by Calcined Clay Raw Material for Energy Efficient Building Constructions / A. Balykov, T. Nizina, V. Volodin, D. Korovkin / Pages 307-310 --- Santa Maria Clays as Ceramic Raw Materials / Â. Cerqueira, C. Sequeira, D. Terroso, S. Moutinho, C. Costa, F. Rocha / Pages 311-312 --- Alkaline Activation of Rammed Earth Material – “New Generation of Adobes” / C. Costa, D. Arduin, C. Sequeira, D. Terroso, S. Moutinho, Â. Cerqueira et al. / Pages 313-314 --- Structurization of Composites When Using 3D-Additive Technologies in Construction / M. Elistratkin, V. Lesovik, N. Chernysheva, E. Glagolev, P. Hardaev / Pages 315-318 --- Influence of Flow Blowing Agent on the Properties of Aerated Concrete Variable Density and Strength / V. Galdina, E. Gurova, P. Deryabin, M. Rashchupkina, I. Chulkova / Pages 319-322 --- Structuring Features of Mixed Cements on the Basis of Technogenic Products / M. Garkavi, A. Artamonov, E. Kolodezhnaya, A. Pursheva, M. Akhmetzyanova / Pages 323-326 --- Use of Slags in the Production of Portland Cement Clinker / V. Konovalov, A. Fedorov, A. Goncharov / Pages 327-330 --- Geopolymerization and Structure Formation in Alkali Activated Aluminosilicates with Different Crystallinity Degree / N. Kozhukhova, V. Strokova, I. Zhernovsky, K. Sobolev / Pages 331-334 --- Matrix Instruments for Calculating Costs of Concrete with Multicomponent Binders / T. Kuladzhi, S.-A. Murtazaev, S. Aliev, M. Hubaev / Pages 335-338 --- Characterisation of Perovskites in a Calcium Sulfo Aluminate Cement / G. Le Saout, R. Idir, J.-C. Roux / Pages 339-343 --- Geonics (Geomimetics) as a Theoretical Basis for New Generation Compositing / V. Lesovik, A. Volodchenko, E. Glagolev, I. Lashina, H.-B. Fischer / Pages 344-347 --- Regularities in the Formation of the Structure and Properties of Coatings Based on Silicate Paint Sol / V. Loganina, E. Mazhitov, V. Demyanova / Pages 348-351 --- Influence of Sodium Oxide on Brightness Coefficient of Portland Cement Clinker / D. Mishin, S. Kovalyov / Pages 352-355 --- Production of Bleached Cement / D. Mishin, S. Kovalev / Pages 356-359 --- Multicomponent Binders with Off-Grade Fillers / S.-A. Murtazaev, M. Salamanova, M. Saydumov, A. Alaskhanov, M. Khubaev / Pages 360-364 --- High-Quality Concretes for Foundations of the Multifunctional High-Rise Complex (MHC) «Akhmat Tower» / S.-A. Murtazaev, M. Saydumov, A. Alaskhanov, M. Nakhaev / Pages 365-368 --- Designing High-Strength Concrete Using Products of Dismantling of Buildings and Structures / T. Murtazaeva, A. Alaskhanov, M. Saidumov, V. Hadisov / Pages 369-371 --- Estimation of Rheo-Technological Effectiveness of Polycarboxylate Superplasticizer in Filled Cement Systems in the Development of Self-compacting Concrete for High-Density Reinforced Building Constructions / T. Nizina, A. Balykov, V. Volodin, D. Korovkin / Pages 372-375 --- Parameters of Siliciferous Substrate of Photocatalytic Composition Material as a Factor of Its Efficiency / Y. Ogurtsova, E. Gubareva, M. Labuzova, V. Strokova / Pages 376-380 --- Properties Improvement of Metakaolin-Zeolite-Diatomite-Red Mud Based Geopolymers / F. Rocha, C. Costa, W. Hajjaji, S. Andrejkovičová, S. Moutinho, A. Cerqueira / Pages 381-384 --- Features of Production of Fine Concretes Based on Clinkerless Binders of Alkaline Mixing / M. Salamanova, S.-A. Murtazaev, A. Alashanov, Z. Ismailova / Pages 385-388 --- Impact of Thermal Modification on Properties of Basalt Fiber for Concrete Reinforcement / V. Strokova, V. Nelyubova, I. Zhernovsky, O. Masanin, S. Usikov, V. Babaev / Pages 389-392 --- Activation of Cement in a Jet Mill / S. Titov, A. Kazakov / Pages 393-394 --- The Law of Similarity and Designing High-Performance Composites / A. Tolstoy, V. Lesovik, E. Glagolev, L. Zagorodniuk / Pages 395-398 --- Genesis of Clay Rock of the Incomplete Stage of Mineral Formation as a Raw Material Base for Autoclaved Materials / A. Volodchenko, V. Strokova / Pages 399-402 --- Abnormal Mineral Formation in Aluminate Cement Stone / I. Zhernovsky, V. Strokova, V. Nelyubova, Yu. Ogurtsova, M. Rykunova / Pages 403-406 --- Structural Transformations of Low-Temperature Quartz During Mechanoactivation / I. Zhernovsky, V. Strokova / Pages 407-410 --- Effect of Earthquake on the Landscape of Jiuzhaigou-Huanglong Travertine and Its Restoration / F. Dong, Q. Dai, Q. Li, F. Wang, Y. Luo / Pages 413-414 --- Microbial Colonies in Renal Stones / A. Izatulina, M. Zelenskaya, O. Frank-Kamenetskaya / Pages 415-418 --- Fabrication of ZnO/Palygorskite Nanocomposites for Antibacterial Application / Y. Kang, A. Hui, A. Wang / Pages 419-422 --- Bacterial Oxidation of Pyrite Surface / S. Lipko, I. Lipko, K. Arsent’ev, V. Tauson / Pages 423-426 --- Biomimetic Superhydrophobic Cobalt Blue/Clay Mineral Hybrid Pigments with Self-cleaning Property and Different Colors / B. Mu, A. Zhang, A. Wang / Pages 427-431 --- Silicon Dioxide in Mineralized Heart Valves / A. Titov, V. Zaikovskii, P. M. Larionov / Pages 432-435 --- Preparation of Macroporous Adsorbent Based on Montmorillonite Stabilized Pickering Medium Internal Phase Emulsions / F. Wang, Y. Zhu, W. Wang, A. Wang / Pages 436-439 --- Depletion of the Land Resources and Its Effect on the Environment / M. Abou Zahr Diaz, M. A. Alawiyeh, M. Ghaboura / Pages 443-444 --- Geochemical Behavior of Heavy Metals During Treatment by Phosphoric Fertilizer at a Dumping Site in Kabwe, Zambia / H. Kamegamori, K. Lawrence, T. Sato, T. Otake / Pages 445-446 --- Murataite-Pyrochlore Ceramics as Complex Matrices for Radioactive Waste Immobilization: Structural and Microstructural Mechanisms of Crystallization / S. Krivovichev, S. Yudintsev, A. Pakhomova, S. Stefanovsky / Pages 447-450 --- Cs Leaching Behavior During Alteration Process of Calcium Silicate Hydrate and Potassium Alumino Silicate Hydrate / K. Kuroda, K. Toda, Y. Kobayashi, T. Sato, T. Otake / Pages 451-452 --- Environmental Pollution Problems in the Mining Regions of Russia / E. Levchenko, I. Spiridonov, D. Klyucharev / Pages 453-456 --- Environmental Solutions for the Disposal of Fine White Marble Waste / I. Shadrunova, T. Chekushina, A. Proshlyakov / Pages 457-460 --- Security Test of New Technology in View of Increased Performance of Oil Platforms Without Increasing Environmental Risks / E. M. Tanoh Boguy, T. Chekushina / Pages 461-462 --- Calcite Mineral Generation in Cold-Water Travertine Huanglong, China / F. Wang, F. Dong, X. Zhao, Q. Dai, Q. Li, Y. Luo et al. / Pages 463-465 --- Optimization of the Natural-Technical System “Iron Ore Quarry” Management Based on the Algorithm of the Rock Mass Stability Ensuring / L. Yarg, I. Fomenko, D. Gorobtsov / Pages 466-470 --- Utilization of Associated Oil Gas: Geo-ecological Problems and Modernization of the State / L. Z. Zhang, H. Y. Sun / Pages 471-472 --- Identifying the Decorative Stone Samples from the Mining Museum’s Collection: First Results / N. Borovkova, M. Machevariani / Pages 475-478 --- Monitoring of the State of St. Petersburg Stone Monuments and the Strategy of Their Preservation / O. Frank-Kamenetskaya, D. Vlasov, V. Rytikova, V. Parfenov, V. Manurtdinova, M. Zelenskaya / Pages 479-482 --- Ceramics Sugar Jars Pieces from Aveiro Production / S. Moutinho, C. Costa, Â. Cerqueira, C. Sequeira, D. Terroso, J. Nobre et al. / Pages 483-484 --- Back Matter / Pages 485-488

Description / Table of Contents: This handbook is the first of its kind to provide a clear, accessible, and comprehensive introduction to the most important scientific and management topics in marine environmental protection. Leading experts discuss the latest perspectives and best practices in the field with a particular focus on the functioning of marine ecosystems, natural processes, and anthropogenic pressures. The book familiarizes readers with the intricacies and challenges of managing coasts and oceans more sustainably, and guides them through the maze of concepts and strategies, laws and policies, and the various actors that define our ability to manage marine activities. Providing valuable thematic insights into marine management to inspire thoughtful application and further study, it is essential reading for marine environmental scientists, policy-makers, lawyers, practitioners and anyone interested in the field.

Description / Table of Contents: This book first focuses on the explanation of the theory about focal mechanisms and moment tensor solutions and their role in the modern seismology. The second part of the book compiles several state-of-the-art case studies in different seismotectonic settings of the planet.The assessment of seismic hazard and the reduction of losses due to future earthquakes is probably the most important contribution of seismology to society. In this regard, the understanding of reliable determination seismic source and of its uncertainty can play a key role in contributing to geodynamic investigation, seismic hazard assessment and earthquake studies. In the last two decades, the use of waveforms recorded at local-to-regional distances has increased considerably. Waveform modeling has been used also to estimate faulting parameters of small-to-moderate sized earthquakes.

Description / Table of Contents: This edited volume sheds new light on the impact of rapid Land Use/Cover Changes (LU/CC) on greenhouse gases (GHG’s) and aerosol emissions in South and Southeast Asia. Several countries in South/Southeast Asia have the highest population growth rates in the world, which is the main cause for LU/CC. Conversion of dense forests to agricultural areas and then to residential and urban areas is most commonly observed in South/Southeast Asian countries with a significant release of GHG’s and aerosols. The book showcases several case studies on the use of remote sensing and geospatial technologies to quantify biomass burning and air pollution impacts, aerosol pollution, LU/CC, and impacts on ecosystem services. The book also includes articles on regional initiatives in research, capacity building, and training. The authors of this book are international experts in the field, and their contributions highlight significant drivers and impacts of air pollution in South/Southeast Asia. Readers will discover the latest tools and techniques, in particular, the use of satellite remote sensing and geospatial technologies for quantifying GHG’s, aerosols and pollution episodes in this region

Description / Table of Contents: This handbook is the first of its kind to provide a clear, accessible, and comprehensive introduction to the most important scientific and management topics in marine environmental protection. Leading experts discuss the latest perspectives and best practices in the field with a particular focus on the functioning of marine ecosystems, natural processes, and anthropogenic pressures. The book familiarizes readers with the intricacies and challenges of managing coasts and oceans more sustainably, and guides them through the maze of concepts and strategies, laws and policies, and the various actors that define our ability to manage marine activities. Providing valuable thematic insights into marine management to inspire thoughtful application and further study, it is essential reading for marine environmental scientists, policy-makers, lawyers, practitioners and anyone interested in the field.

Description / Table of Contents: This book on the current state of knowledge of submarine geomorphology aims to achieve the goalsof the Submarine Geomorphology working group, set up in 2013, byestablishing submarine geomorphology as a field of research, disseminating its concepts and techniques among earth scientists and professionals, and encouraging students to develop their skills and knowledge in this field.Editors have invited 30 experts from around the world to contribute chapters to this book, which is divided into 4 sections - (i) Introduction history, (ii) Data methods, (ii) Submarine landforms processes and (iv) Conclusions future directions. Each chapter provides a review of a topic, establishes the state-of-the-art, identifies the key research questions that need to be addressed, and delineates a strategy on how to achieve this.Submarine geomorphology is a priority for many research institutions, government authorities and industries globally.The book is useful for undergraduate and graduate students, and professionals with limited training in this field.

Description / Table of Contents: This book commemorates the 70th birthday of Eugene Morozov, the noted Russian observational oceanographer. It contains many contributions reflecting his fields of interest, including but not limited to tidal internal waves, ocean circulation, deep ocean currents, and Arctic oceanography. Special attention is paid to studies on internal waves and especially those on tidal internal waves in the Global Ocean. These papers describe the most important open problems concerning experimental studies of internal waves and their theoretical, numerical, and laboratory modeling. Further contributions investigate the physics of surface waves and their interaction with internal waves.  Here, the focus is on describing interaction processes between internal waves and deep currents in the ocean, especially currents of Antarctic Bottom Water in abyssal fractures. They also touch on the problem of oceanic circulation and related processes in fjords, including those occurring under sea ice. Given its breadth of coverage, the book will appeal to anyone interested in a survey of ocean dynamics, ranging from historic perspectives to modern research topics

Description / Table of Contents: This book provides a foundation for modern applied ecology. Much of current ecology research and conservation addresses problems across landscapes and regions, focusing on spatial patterns and processes. This book is aimed at teaching fundamental concepts and focuses on learning-by-doing through the use of examples with the software R. It is intended to provide an entry-level, easily accessible foundation for students and practitioners interested in spatial ecology and conservation

Description / Table of Contents: This book covers the approaches, applied methods and central participatory processes at the science-stakeholder interfaces embedded in the development of the "Earth System Knowledge Platform (ESKP)". The latter is an initiative of the German Helmholtz Association, synthesizing the expertise of the eight Helmholtz research institutions focusing on Earth System Sciences. The contributions showcase the approach of the Alfred Wegener Institute, Helmholtz Centre for Polar and Marine Research (AWI) within the ESKP initiative. Central focus is placed on the question as to which knowledge transfer processes can be employed to foster meaningful approaches based on science-stakeholder dialogues, data products, and/or modelling. The authors suggest that the tools and approaches for enhancing the vital contributions of science to addressing societal challenges warrant further investigation and development.

Description / Table of Contents: This book showcases powerful new hybrid methods that combine numerical and symbolic algorithms. Hybrid algorithm research is currently one of the most promising directions in the context of geosciences mathematics and computer mathematics in general. One important topic addressed here with a broad range of applications is the solution of multivariate polynomial systems by means of resultants and Groebner bases. But that’s barely the beginning, as the authors proceed to discuss genetic algorithms, integer programming, symbolic regression, parallel computing, and many other topics. The book is strictly goal-oriented, focusing on the solution of fundamental problems in the geosciences, such as positioning and point cloud problems. As such, at no point does it discuss purely theoretical mathematics. "The book delivers hybrid symbolic-numeric solutions, which are a large and growing area at the boundary of mathematics and computer science." Dr. Daniel Li chtbau

Description / Table of Contents: Solution of algebraic polynomial systems -- Homotopy solution of nonlinear systems -- Over and underdeterminated systems -- Simulated annealing -- Genetic algorithm -- Particle swarm optimization -- Integer programming -- Multiobjective optimization -- Approximation with radial bases functions -- Support vector machines (SVM) -- Symbolic regression -- Quantile regression -- Robust regression -- Stochastic modeling -- Parallel computations

Description / Table of Contents: This book covers the approaches, applied methods and central participatory processes at the science-stakeholder interfaces embedded in the development of the "Earth System Knowledge Platform (ESKP)". The latter is an initiative of the German Helmholtz Association, synthesizing the expertise of the eight Helmholtz research institutions focusing on Earth System Sciences. The contributions showcase the approach of the Alfred Wegener Institute, Helmholtz Centre for Polar and Marine Research (AWI) within the ESKP initiative. Central focus is placed on the question as to which knowledge transfer processes can be employed to foster meaningful approaches based on science-stakeholder dialogues, data products, and/or modelling. The authors suggest that the tools and approaches for enhancing the vital contributions of science to addressing societal challenges warrant further investigation and development.

Description / Table of Contents: This book focuses on different aspects of microplastic pollution, offering authors and readers the opportunity to share their knowledge, identify issues and propose solutions and actions to face this environmental threat. Although plastic pollution is a well-known global problem, the recent discovery of microplastics and nanoplastics in seas and oceans represents a very alarming new environmental challenge. The book offers comprehensive insights into the origins of the problem, its impact on marine environments, particularly the Mediterranean Sea and coasts, and the current research trends aimed at finding technical solutions to mitigate the phenomenon. It is primarily intended for scientists and decision makers from industry, international, national and local institutions and NGOs

Description / Table of Contents: In this handbook social science researchers who focus on sustainability present and discuss their findings, including empirical work, case studies, teaching and learning innovations, and applied projects. As such, the book offers a basis for the dissemination of information, ideas and experiences acquired in the execution of research projects, especially initiatives which have influenced behavior, decision-making, or policy. Furthermore, it introduces methodological approaches and projects which aim to offer a better understanding of sustainability across society and economic sectors. This multidisciplinary overview presents the work of researchers from across the spectrum of the social sciences. It stimulates innovative thinking on how social sciences influence sustainable development and vice-versa

Description / Table of Contents: Ecologists and natural resource managers are charged with making complex management decisions in the face of a rapidly changing environment resulting from climate change, energy development, urban sprawl, invasive species and globalization. Advances in Geographic Information System (GIS) technology, digitization, online data availability, historic legacy datasets, remote sensors and the ability to collect data on animal movements via satellite and GPS have given rise to large, highly complex datasets. These datasets could be utilized for making critical management decisions, but are often “messy” and difficult to interpret. Basic artificial intelligence algorithms (i.e., machine learning) are powerful tools that are shaping the world and must be taken advantage of in the life sciences. In ecology, machine learning algorithms are critical to helping resource managers synthesize information to better understand complex ecological systems. Machine Learning has a wide variety of powerful applications, with three general uses that are of particular interest to ecologists: (1) data exploration to gain system knowledge and generate new hypotheses, (2) predicting ecological patterns in space and time, and (3) pattern recognition for ecological sampling. Machine learning can be used to make predictive assessments even when relationships between variables are poorly understood. When traditional techniques fail to capture the relationship between variables, effective use of machine learning can unearth and capture previously unattainable insights into an ecosystem's complexity. Currently, many ecologists do not utilize machine learning as a part of the scientific process. This volume highlights how machine learning techniques can complement the traditional methodologies currently applied in this field

Description / Table of Contents: Advances in Nonlinear Geosciences is a set of contributions from the participants of “30 Years of Nonlinear Dynamics” held July 3-8, 2016 in Rhodes, Greece as part of the Aegean Conferences, as well as from several other experts in the field who could not attend the meeting. The volume brings together up-to-date research from the atmospheric sciences, hydrology, geology, and other areas of geosciences and presents the new advances made in the last 10 years. Topics include chaos synchronization, topological data analysis, new insights on fractals, multifractals and stochasticity, climate dynamics, extreme events, complexity, and causality, among other topics. 

Description / Table of Contents: This book first focuses on the explanation of the theory about focal mechanisms and moment tensor solutions and their role in the modern seismology. The second part of the book compiles several state-of-the-art case studies in different seismotectonic settings of the planet.The assessment of seismic hazard and the reduction of losses due to future earthquakes is probably the most important contribution of seismology to society. In this regard, the understanding of reliable determination seismic source and of its uncertainty can play a key role in contributing to geodynamic investigation, seismic hazard assessment and earthquake studies. In the last two decades, the use of waveforms recorded at local-to-regional distances has increased considerably. Waveform modeling has been used also to estimate faulting parameters of small-to-moderate sized earthquakes.

Description / Table of Contents: The purpose of this textbook is to enable a Neuroscientist to discuss the structure and functions of the brain at a level appropriate for students at many levels of study including undergraduate, graduate, dental or medical school level. It is truer in neurology than in any other system of medicine that a firm knowledge of basic science material, that is, the anatomy, physiology and pathology of the nervous system, enables one to readily arrive at the diagnosis of where the disease process is located and to apply their knowledge at solving problems in clinical situations. The authors have a long experience in teaching neuroscience courses at the first or second year level to medical and dental students and to residents in which clinical information and clinical problem solving are integral to the course.

Description / Table of Contents: This handbook is the first of its kind to provide a clear, accessible, and comprehensive introduction to the most important scientific and management topics in marine environmental protection. Leading experts discuss the latest perspectives and best practices in the field with a particular focus on the functioning of marine ecosystems, natural processes, and anthropogenic pressures. The book familiarizes readers with the intricacies and challenges of managing coasts and oceans more sustainably, and guides them through the maze of concepts and strategies, laws and policies, and the various actors that define our ability to manage marine activities. Providing valuable thematic insights into marine management to inspire thoughtful application and further study, it is essential reading for marine environmental scientists, policy-makers, lawyers, practitioners and anyone interested in the field.

Description / Table of Contents: This handbook is the first of its kind to provide a clear, accessible, and comprehensive introduction to the most important scientific and management topics in marine environmental protection. Leading experts discuss the latest perspectives and best practices in the field with a particular focus on the functioning of marine ecosystems, natural processes, and anthropogenic pressures. The book familiarizes readers with the intricacies and challenges of managing coasts and oceans more sustainably, and guides them through the maze of concepts and strategies, laws and policies, and the various actors that define our ability to manage marine activities. Providing valuable thematic insights into marine management to inspire thoughtful application and further study, it is essential reading for marine environmental scientists, policy-makers, lawyers, practitioners and anyone interested in the field.

Description / Table of Contents: Intended as a text for upper-division undergraduates, graduate students and as a potential reference, this broad-scoped resource is extensive in its educational appeal by providing a new concept-based organization with end-of-chapter literature references, self-quizzes, and illustration interpretation. The concept-based, pedagogical approach, in contrast to the classic discipline-based approach, was specifically chosen to make the teaching and learning of plant anatomy more accessible for students. In addition, for instructors whose backgrounds may not primarily be plant anatomy, the features noted above are designed to provide sufficient reference material for organization and class presentation. This text is unique in the extensive use of over 1150 high-resolution color micrographs, color diagrams and scanning electron micrographs. Another feature is frequent side-boxes that highlight the relationship of plant anatomy to specialized investigations in plant molecular biology, classical investigations, functional activities, and research in forestry, environmental studies and genetics, as well as other fields. Each of the 19 richly-illustrated chapters has an abstract, a list of keywords, an introduction, a text body consisting of 10 to 20 concept-based sections, and a list of references and additional readings. At the end of each chapter, the instructor and student will find a section-by-section concept review, concept connections, concept assessment (10 multiple-choice questions), and concept applications. Answers to the assessment material are found in an appendix. An index and a glossary with over 700 defined terms complete the volume

Description / Table of Contents: This book integrates a variety of issues such as regional settings of productivity and nutrient cycling; plankton of coastal and shelf systems; plankton, climate change and human-induced changes; harmful algae and their impacts; and gelatinous zooplankton. This book explores the intriguing marine plankton communities of the SWA region of South America encompassing low to high latitude environments, framed by a complex hydrographic background and global climate change. This vast and iconic region has been largely under-recognized and under-studied. However, in recent years a strong interest has emerged along with the acknowledgment of its high biological productivity. The book concludes by discussing conservation in the region, highlighting regional biodiversity hotspots where the challenges of climate change, habitat loss, and other threats to biodiversity may be particularly acute. Plankton Ecology of the Southwestern Atlantic is a timely synthesis of the field, setting a new baseline for future research. It will be important reading for both researchers and graduate students, and will also be of interest and use to a professional audience of oceanographers, conservation biologists, stake holders and educated science enthusiasts

Description / Table of Contents: This edited book investigates the interrelations of disaster impacts, resilience and security in an urban context. Urban as a term captures megacities, cities, and generally, human settlements, that are characterised by concentration of quantifiable and non-quantifiable subjects, objects and value attributions to them. The scope is to narrow down resilience from an all-encompassing concept to applied ways of scientifically attempting to ‚measure’ this type of disaster related resilience. 28 chapters in this book reflect opportunities and doubts of the disaster risk science community regarding this ‚measurability’. Therefore, examples utilising both quantitative and qualitative approaches are juxtaposed. This book concentrates on features that are distinct characteristics of resilience, how they can be measured and in what sense they are different to vulnerability and risk parameters. Case studies in 11 countries either use a hypothetical pre-event estimation of resilience or are addressing a ‘revealed resilience’ evident and documented after an event. Such information can be helpful to identify benchmarks or margins of impact magnitudes and related recovery times, volumes and qualities of affected populations and infrastructure.

Description / Table of Contents: This book offers comprehensive information on the theory, models and algorithms involved in state-of-the-art multivariate time series analysis and highlights several of the latest research advances in climate and environmental science. The main topics addressed include Multivariate Time-Frequency Analysis, Artificial Neural Networks, Stochastic Modeling and Optimization, Spectral Analysis, Global Climate Change, Regional Climate Change, Ecosystem and Carbon Cycle, Paleoclimate, and Strategies for Climate Change Mitigation. The self-contained guide will be of great value to researchers and advanced students from a wide range of disciplines: those from Meteorology, Climatology, Oceanography, the Earth Sciences and Environmental Science will be introduced to various advanced tools for analyzing multivariate data, greatly facilitating their research, while those from Applied Mathematics, Statistics, Physics, and the Computer Sciences will learn how to use these multivariate time series analysis tools to approach climate and environmental topics.  

Description / Table of Contents: This book is devoted to 250 years of collecting, organizing and preserving paleontological specimens by generations of scientists. Paleontological collections are a huge resource for modern research and should be available for national and international scientists and institutions, as well as prospective public and private customers. These collections are an important part of the scientific enterprise, supporting research, public education, and the documentation of past biodiversity. Much of what we are beginning to understand about our world, we owe to the collection, preservation, and ongoing study of natural specimens. Properly preserved collections of fossil marine or terrestrial plants and animals are archives of Earth's history and vital to our ability to learn about our place in its future. The approach employed by the editors involves not only an introduction to the paleontological collections in general, but also information on the international and national collection networks. Particular attention is given to new exhibition concepts and approaches of sorting, preserving and researching in paleontological collections and also their neglect and/or threat. In addition, the book provides information on all big public museums, on important state museums and regional Museums, and also on university collections. This is a highly informative and carefully presented book, providing scientific insight for readers with an interest in fossil record, biodiversity, taxonomy, or evolution, as well as natural history collections at large.

Description / Table of Contents: This book describes and analyses necessities for a more resource-efficient world. It discusses solutions for a more sustainable use of natural resources, addressing decision-makers and experts from the fields of policy development, industry, academia, civil society, and the media. The book presents strategies, concrete ways and examples of achieving more sustainable resource use in practice. Following on from two previous titles published on Factor X by the Umweltbundesamt (German Environment Agency), entitled “Factor X: Policy, Strategies and Instruments for a Sustainable Resource Use” (2013) and “Factor X: Re-source - Designing the Recycling Society” (2014), this book further investigates how savings in natural resources and resource efficiency improvements could be achieved, focusing on good practice examples that cover different resource categories, pursue different efficiency strategies and come from different sectors, e.g. innovative products or serv ices, technology, management approaches, systemic approaches, etc. The background against which this work is done has a highly comprehensive span, from the first Declaration of the Factor X Club in the nineties, to the European Commission’s Roadmap to a Resource Efficient Europe that was published in September 2011, through to the German Federal government’s German Resource Efficiency Programme (ProgRess I and II) in 2012 and 2016, the G7 Alliance for Resource Efficiency, and most recently the development and implementation of the Sustainable Development Goals (SDG).

Description / Table of Contents: This book focuses on the worldwide threats to mangrove forests and the management solutions currently being used to counteract those hazards. Designed for the professional or specialist in marine science, coastal zone management, biology, and related disciplines, this work will appeal to those not only working to protect mangrove forests, but also the surrounding coastal areas of all types. Examples are drawn from many different geographic areas, including North and South America, India, and Southeast Asia. Subject areas covered include both human-induced and natural impacts to mangroves, intended or otherwise, as well as the efforts being made by coastal researchers to promote restoration of these coastal fringing forests. .

Description / Table of Contents: In recent years, advanced molecular techniques in diagnostic microbiology have been revolutionizing the practice of clinical microbiology in the hospital setting. Molecular diagnostic testing in general and nucleic acid-based amplification methods in particular have been heralded as diagnostic tools for the new millennium. This third edition covers not only the most recent updates and advances, but details newly invented omic techniques, such as next generation sequencing. It is divided into two distinct volumes, with Volume 1 describing the techniques, and Volume 2 addressing their applications in the field. In addition, both volumes focus more so on the clinical relevance of the test results generated by these techniques than previous editions

Description / Table of Contents: This book sheds new light on the limits of adaptation to anthropogenic climate change. The respective chapters demonstrate the variety of and interconnections between factors that together constitute the constraints on adaptation. The book pays special attention to evidence that illustrates how and where such limits have become apparent or are in the process of establishing themselves, and which indicates future trends and contexts that might prove helpful in understanding adaptation limits. In particular, the book provides an overview of the most important challenges and opportunities regarding adaptation limits at different temporal, jurisdictional, and spatial scales, while also highlighting case studies, projects and best practices that show how they may be addressed. The book presents innovative multi-disciplinary research and gathers evidence from various countries, sectors and regions, the goal being to advance our understanding of the limits to adaptation and ways to overcome or modify them

Description / Table of Contents: This book promotes a better understanding of the role of the sun on natural climate variability. It is a comprehensive reference book that appeals to an academic audience at the graduate, post-graduate and PhD level and can be used for lectures in climatology, environmental studies and geography. This work is the collection of lecture notes as well as synthesized analyses of published papers on the described subjects. It comprises 18 chapters and is divided into three parts: Part I discusses general circulation, climate variability, stratosphere-troposphere coupling and various teleconnections. Part II mainly explores the area of different solar influences on climate. It also discusses various oceanic features and describes ocean-atmosphere coupling. But, without prior knowledge of other important influences on the earth’s climate, the understanding of the actual role of the sun remains incomplete. Hence, Part III covers burning issues such as greenhouse gas warming, volcanic influences, ozone depletion in the stratosphere, Arctic and Antarctic sea ice, etc. At the end of the book, there are few questions and exercises for students. This book is based on the lecture series that was delivered at the University of Oulu, Finland as part of M.Sc./ PhD module

Description / Table of Contents: This textbook presents a comprehensive process-oriented approach to biogeochemistry that is intended to appeal to readers who want to go beyond a general exposure to topics in biogeochemistry, and instead are seeking a holistic understanding of the interplay of biotic and environmental drivers in the cycling of elements in forested watersheds. The book is organized around a core set of ecosystem processes and attributes that collectively help to generate the whole-system structure and function of a terrestrial ecosystem. In the first nine chapters, a conceptual framework is developed based on distinct soil, microbial, plant, atmospheric, hydrologic, and geochemical processes that are integrated in the element cycling behavior of watershed ecosystems. With that conceptual foundation in place, students then proceed to the final three chapters where they are challenged to think critically about integrated element cycling patterns; roles for biogeochemical models; the likely impacts of disturbance, stress, and management on watershed biogeochemistry; and linkages among patterns and processes in watersheds experiencing novel environmental changes. Included with the text are figures, tables of comparative data, extensive literature citations, a glossary of terms, an index, and a set of 24 biogeochemical problems with answers. The problems are intended to support chapter concepts and to demonstrate how critical thinking skills, simple algebra, and thoughtful human logic can be used to solve applied problems in biogeochemistry that might be encountered by a research scientist or a resource manager. Using this book as an introduction to biogeochemistry, students will achieve a level of subject mastery and disciplinary perspective that will permit them to see and to interpret the individual components, interactions, and synergies that are represented in the dynamic element cycling patterns of watershed ecosystems.

Description / Table of Contents: Microplastics are contaminants of emerging concern in freshwater environments: an overview --- Aquatic ecotoxicity of microplastics and nanoplastics - lessons learned from engineered nanomaterials --- Analysis, Occurrence, and Degradation of Microplastics in the Aqueous Environment --- Sources and fate of microplastics in urban areas: a focus on Paris Megacity --- Microplastic pollution in inland waters focusing on Asia --- Microplastics in inland African waters: presence, sources and fate --- Modelling the fate and transport of plastic debris in fresh waters. Review and guidance --- Interactions of microplastics with freshwater biota --- Microplastic-associated Biofilms: A Comparison of Freshwater and Marine Environments --- Risk perception of plastic pollution: Importance of stakeholder involvement and citizen science --- Understanding the Risks of Microplastics. A Social-Ecological Risk Perspective --- Freshwater microplastics: challenges for regulation and management --- Microplastic: What are the solutions?

Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist

Description / Table of Contents: Solar energetic particles (SEPs) emitted from the Sun are a major space weather hazard motivating the development of predictive capabilities. This book presents the results and findings of the HESPERIA (High Energy Solar Particle Events forecasting and Analysis) project of the EU HORIZON 2020 programme. It discusses the forecasting operational tools developed within the project, and presents progress to SEP research contributed by HESPERIA both from the observational as well as the SEP modelling perspective. Using multi-frequency observational data and simulations HESPERIA investigated the chain of processes from particle acceleration in the corona, particle transport in the magnetically complex corona and interplanetary space, to the detection near 1 AU. The book also elaborates on the unique software that has been constructed for inverting observations of relativistic SEPs to physical parameters that can be compared with spac e-borne measurements at lower energies. Introductory and pedagogical material included in the book make it accessible to students at graduate level and will be useful as background material for Space Physics and Space Weather courses with emphasis on Solar Energetic Particle Event Forecasting and Analysis. This book is published with open access under a CC BY 4.0 license

Description / Table of Contents: 1. Introduction --- Part I: Bioeconomy Concepts and Research Methods --- Chapter 2: Context --- Chapter 3: Bioeconomy concepts --- Chapter 4: Core principles --- Chapter 4: Inter- and Transdisciplinarity in the Bioeconomy --- Part II: Knowledge Base for Biobased Value Chains --- Chapter 5:Biobased Resources and Value Chains --- Chapter 6: Primary Production --- Chapter 7: Processing of Biobased Resources --- Chapter 8: Markets, Sustainability management and Entrepreneurship.- Part III: Transition to a Sustainable Bioeconomy --- Chapter9:  Modelling and Tools Supporting the Transition to a Bioeconomy --- Chapter 10: Environmental Economics, the Bioeconomy and the Role of Government --- Chapter 11: Economic Growth, Development, and Innovation – The Transformation towards a Knowledge-based Bioeconomy --- Chapter 12: The Bioeconomist

Description / Table of Contents: Supramolecular Protein Ligands – Unexplored Teritory Of Potential Pharmacological Activity --- Supramolecular Congo Red As Specific Ligand Of Antibodies Engaged In Immune Complex --- Protein Conditioning For Binding Congo Red And Other Supramolecular Ligands --- Metal Ions Introduced To Proteins By Supramolecular Ligands --- Possible Mechanism Of Amyloidogenesis Of V Domains --- Supramolecular Structures As Carrier Systems Enabling The Use Of Metal Ions In Antibacterial Therapy --- Congo Red Interactions With Single-Walled Carbon Nanotubes

Description / Table of Contents: Microplastics are contaminants of emerging concern in freshwater environments: an overview --- Aquatic ecotoxicity of microplastics and nanoplastics - lessons learned from engineered nanomaterials --- Analysis, Occurrence, and Degradation of Microplastics in the Aqueous Environment --- Sources and fate of microplastics in urban areas: a focus on Paris Megacity --- Microplastic pollution in inland waters focusing on Asia --- Microplastics in inland African waters: presence, sources and fate --- Modelling the fate and transport of plastic debris in fresh waters. Review and guidance --- Interactions of microplastics with freshwater biota --- Microplastic-associated Biofilms: A Comparison of Freshwater and Marine Environments --- Risk perception of plastic pollution: Importance of stakeholder involvement and citizen science --- Understanding the Risks of Microplastics. A Social-Ecological Risk Perspective --- Freshwater microplastics: challenges for regulation and management --- Microplastic: What are the solutions?

Description / Table of Contents: Chapter 1: Introduction --- Chapter 2: A Short History of the Evolution of the Climate Smart Agriculture Approach and its Links to Climate Change and Sustainable Agriculture Debates --- Chapter 3:Economics of Climate-Smart Agriculture --- Chapter 4:  Innovation in Response to Climate Change --- Chapter 5:  Use of Satellite Information on Wetness and Temperature for Decision of Crop Yield Prediction, River Discharge and Planning --- Chapter 6:  Early Warning Techniques for Local Climate Resilience: Smallholder Rice in Lao PDE --- Chapter 7 :  Farmers' Perceptions of and Adaptations to Climate Change in Southeast Asia:  The Case Study from Thailand and Vietnam --- Chapter 8:  U.S. Maize Yield Growth and Countervailing Climate Change Impacts --- Chapter 9:  Understanding Tradeoffs in the Context of Farm-Scale Impacts:  An Application of Decision-Support Tools for Assessing Climate Smart Argiculture --- Chapter 10:  Can Insurance Help Manage Climate Risk and Food Insecurity?: Evidence from the Pastoral Regions of East Africa --- Chapter 11:  Can Cash Transfer Programs Promote Household Resilience?: Cross-Country Evidence from Sub-Saharan Africa --- Chapter 12:  Input Subsidy Programs and Climate Smart Agriculture --- Chapter 13:  Robust Decision Making for a Climate-Resilient Development of the Agricultural Sector in Nigeria --- Chapter 14:  Using AgMIP Regional Integrated Assessment Methods to Evaluate Vulnerability, Resilience and Adaptive Capacity for Climate Smart Agricultural Systems --- Chapter 15:  Climate Smart Food Supply Chains in Developing Countries in an Era of Rapid Dual Change in Agrifood Systems and the Climate --- Chapter 16:  The Adoption of Climate Smart Agriculture: The Role of Information and Insurance under Climate Change --- Chapter 17:  A Qualitative Evaluation of CSA Options in Mixed Crop-Livestock Systems in Developing Countries --- Chapter 18: Identifying Strategies to Enhance the Resilience of Smallholder Farming Systems: Evidence of Zambia --- Chapter 19:  Climate Risk Management Through Sustainable Land and Water Management in Sub-Saharan Africa --- Chapter 20:  Improving the Resilience of Central Asian Agriculture to Weather Viability and Climate Change --- Chapter 21:  Managing Environmental Risk in the Presence of Climate Change: The Role of Adaption in the Mile Basin of Ethiopia --- Chapter 22: Diversification as Part of a CSA Strategy: The Cases of Zambia and Malawi --- Chapter 23:  Economic Analysis of Improved Smallholder Paddy and Maize Production in Northern Vietnam and Implications for Climate-Smart Agriculture --- Chapter 24:  Synthesis:  Devising Effective Strategies and Policies for CSA --- Chapter 25:  Conclusions and Policy Implications

Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  

Description / Table of Contents: Introduction to Drones & Technology Applied to the Creative Industry. AiRT Project: An Overview of the Main Results and Actions --- The Economic Impact of the Creative Industry in the European Union --- Creative Industries’ Needs: A Latent Demand --- Financing Tech-Transfer and Innovation: An Application to the Creative Industries --- Successful Cases of the Use of Innovative Tools & Technology in the Creative Industries Field --- Storyboarding as a Means of Requirements Elicitation and User Interface Design: An Application to the Drones’ Industry --- Usability and Experience of the Creative Industries through Heuristic Evaluation of Flight Software for Mapping and Photogrammetry with Drones --- How a Cutting-Edge Technology Can Benefit the Creative Industries: The Positioning System at Work --- Indoor Drones for the Creative Industries: Distinctive Features/Opportunities in Safety Navigation --- The Relationship of the Industry with the Public Administration: Best Practices on Co-regulation for Training --- Innovative Strategies for the European SMEs. AiRT Project Main Remarks

Description / Table of Contents: Multimodal Control System of Active Lower Limb Exoskeleton with Feedback --- Investigation and Development of Methods for Improving Robustness of Automatic Speech Recognition Algorithms in Complex Acoustic Environments --- Smart Endoscope—Firmware Complex for Real-Time Analysis and Recognition of Endoscopic Videos --- The Development of Constructive-Technological Decisions on Creation of a Family of Microelectronic Elements on the «Silicon on Insulator» (SOI) Structures to Provide the Ability to Create Sensors of External Influences of a Various Functional Purpose --- Thermopile IR Sensor Arrays --- Development Signal Processing Integrated Circuit for Position Sensors with High Resolution --- Brain-Controlled Biometric Signals Employed to Operate External Technical Devices --- Improving Talent Management with Automated Competence Assessment: Research Summary

Description / Table of Contents: Foreword --- Summary --- 2. In-Situ Destructive Sampling --- 2.1 The Concept of Representivity --- 2.2 Plant Sampling Pattern and Design --- 2.3 Biomass Water Equivalent --- 2.4 Conclusions --- 3. Remote Sensing via Satellite Imagery Analysis --- 3.1 Photo-Reflective Properties of Plants --- 3.2 Satellite Image Analysis --- 3.3 Conclusions --- 4. Estimate of Biomass Water Equivalent via the Cosmic Ray Neutron Sensor --- 4.1 The role of Biomass in the CRNS Calibration --- 4.2 Relationship between Neutrons and Crop Biomass --- 4.3 Dire4ct Relationship between Neutrons and Biomass --- 4.4 Conclusions

Description / Table of Contents: Introduction --- Preparation techniques - Making anatomical structures visible --- Morphology of the plant body --- Cellular composition of the plant bodies --- Structure of cell walls and cell contents --- Primary, secondary and tertiary meristem --- Stem anatomical structures of major taxonomic units --- Evolution of stems --- Anatomical adaptions to permanent changed environmental conditions --- Anatomical adaptions to temporarily changed environmental conditions --- Coexistence of algae, fungi and vascular plants --- Wood decay --- Fossilization, permineralization, coalification, carbonization and wetwood conservation --- Technically altered wood products

Description / Table of Contents: General Introduction --- Screening Protocols for Heat Tolerance in Rice at the Seedling and Reproductive Stages --- Validation of Screening Protocols for Heat Tolerance in Rice --- Conclusion --- References

Description / Table of Contents: Chapter 1. Challenges in Riverine Ecosystem Management --- Part I Human Impacts, Mitigation and Restoration --- Chapter 2. Historic Milestones of Human River Uses and Ecological Impacts --- Chapter 3. River Morphology, Channelization, and Habitat Restoration --- Chapter 4. River Hydrology, Flow Alteration, and Environmental Flow --- Chapter 5. Hydropeaking Impacts and Mitigation --- Chapter 6. Dams: Ecological Impacts and Management --- Chapter 7. Aquatic Habitat Modeling in Running Waters --- Chapter 8. The Role of Sediment and Sediment Dynamics in the Aquatic Environment --- Chapter 9. River Connectivity, Habitat Fragmentation and Related Restoration Meas --- Chapter 10. Phosphorus and Nitrogen Dynamics in Riverine Systems: Human Impacts and Management Options --- Chapter 11. Climate Change Impacts in Riverine Ecosystems --- Chapter 12. Ecotoxicology --- Chapter 13. Land Use --- Chapter 14. Recreational Fisheries – The Need for Sustainability in Fisheries Management of Alpine Rivers --- Part II Management, Methodologies, Governance --- Chapter 15. Restoration in Integrated River Basin Management --- Chapter 16.Adaptive Management of Riverine Socio-ecological Systems --- Chapter 17. Legislative Framework for River Ecosystem Management on International and European Level --- Chapter 18. Ensuring Long-Term Cooperation Over Transboundary Water Resources Through Joint River Basin Management --- Chapter 19. Biomonitoring and Bioassessment --- Chapter 20. Biodiversity and Freshwater Information Systems --- Chapter 21. Ecosystem Services in River Landscapes --- Chapter 22. Public Participation and Environmental Education --- Chapter 23. NGOs in Freshwater Resource Management --- Part III Case Studies --- Chapter 24. Danube Under Pressure: Hydropower Rules the Fish --- Chapter 25. Danube Floodplain Lobau --- Chapter 26. Danube Sturgeons: Past and Future --- Chapter 27. Healthy Fisheries Sustain Society and Ecology in Burkina Faso --- Chapter 28. The Tisza River: Managing a Lowland River in the Carpathian Basin --- Part IV Summary --- Chapter 29. Landmarks, Advances and Future Challenges in Riverine Ecosystem Management

Description / Table of Contents: Robots and their Applications --- Sensors --- Reactive Behavior --- Finite State Machines --- Robotic Motion and Odometry --- Control --- Local Navigation: Obstacle Avoidance --- Localization --- Mapping --- Mapping-based Navigation --- Fuzzy Logic Control --- Image Processing --- Neural Networks --- Machine Learning --- Swarm Robotics --- Kinematics of a Robotic Manipulator --- Appenix A:Units of Measurement --- Appendix B:Mathematical Derivations and Tutorials --- Index

Description / Table of Contents: Reconstruction of Separable Particle Verbs in a Corpus of Spoken German --- Detecting Vocal Irony --- The Devil is in the Details: Parsing Unknown German Words --- Exploring Ensemble Dependency Parsing to Reduce Manual Annotation Workload --- Different German and English Co-reference Resolution Models for Multi-Domain Content Curation Scenarios --- Word and Sentence Segmentation in German: Overcoming Idiosyncrasies in the Use of Punctuation in Private Communication --- Fine-Grained POS Tagging of German Social Media and Web Texts --- Developing a Stemmer for German Based on a Comparative Analysis of Publicly Available Stemmers --- Negation Modeling for German Polarity Classification --- NECKAr: A Named Entity Classifier for Wikidata --- Investigating the Morphological Complexity of German Named Entities: The Case of the GermEval NER Challenge --- Detecting Named Entities and Relations in German Clinical Reports --- In-Memory Distributed Training of Linear-Chain Conditional Random Fields with an Application to Fine-Grained Named Entity Recognition --- What does this imply? Examining the Impact of Implicitness on the Perception of Hate Speech --- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication --- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource --- How Social Media Text Analysis Can Inform Disaster Management --- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks --- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena --- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors --- Twitter Geolocation Prediction Using Neural Networks --- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy --- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems --- Supporting Sustainable Process Documentation --- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information --- Using Argumentative Structure to Grade Persuasive Essays

Description / Table of Contents: 1 Introduction --- 2 Trust --- 3 What is an ICT-System? --- 4 Development of ICT Systems --- 5 Theoretical Foundation --- 6 Reverse Engineering of Code --- 7 Static Detection of Malware --- 8 Dynamic Detection Methods --- 9 Formal Methods --- 10 Software Quality and Quality Management --- 11 Containment of Untrusted Modules --- 12 Summary and Way Forward

Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations

Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.

Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU

Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata

Description / Table of Contents: This book is open access under a CC BY-NC 4.0 license. This collected volume represents the final outcome of the COST Action IS1104 "The EU in the new complex geography of economic systems: models, tools and policy evaluation". Visualizing the EU as a complex and multi-layered network, the book is organized in three parts, each of them dealing with a different level of analysis: At the macro-level, Part I considers the interactions within large economic systems (regions or countries) involving trade, workers migration, and other factor movements. At the meso-level, Part II discusses interactions within specific but wide-ranging markets, with a focus on financial markets and banking systems. Lastly, at the micro-level, Part III explores the decision-making of single firms, especially in the context of location decisions

Description / Table of Contents: Solar energetic particles (SEPs) emitted from the Sun are a major space weather hazard motivating the development of predictive capabilities. This book presents the results and findings of the HESPERIA (High Energy Solar Particle Events forecasting and Analysis) project of the EU HORIZON 2020 programme. It discusses the forecasting operational tools developed within the project, and presents progress to SEP research contributed by HESPERIA both from the observational as well as the SEP modelling perspective. Using multi-frequency observational data and simulations HESPERIA investigated the chain of processes from particle acceleration in the corona, particle transport in the magnetically complex corona and interplanetary space, to the detection near 1 AU. The book also elaborates on the unique software that has been constructed for inverting observations of relativistic SEPs to physical parameters that can be compared with spac e-borne measurements at lower energies. Introductory and pedagogical material included in the book make it accessible to students at graduate level and will be useful as background material for Space Physics and Space Weather courses with emphasis on Solar Energetic Particle Event Forecasting and Analysis. This book is published with open access under a CC BY 4.0 license

Description / Table of Contents: This book is published open access under a CC BY 4.0 license. Over  the  past  decades,  rapid developments in digital and sensing technologies, such  as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the  way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.  

Description / Table of Contents: Part I Embedded observers, reflexive perception and representation: Intrinsic and extrinsic observation mode --- Embedded observers and self-expression --- Reflexive measurement --- Intrinsic self-representation --- Part II Provable unknowns: On what is entirely hopeless --- Forecasting and unpredictability --- Induction by rule inference --- Other types of recursion theoretic unknowables --- What if there are no laws? Emergence of laws --- Part III Quantum unknowns: "Shut up and calculate" --- Evolution by permutation --- Quantum mechanics in a nutshell --- Quantum oracles --- Vacuum fluctuations --- Radioactive decay --- Part IV Exotic unknowns: Classical continua and infinities --- Classical (in)determinism --- Deterministic chaos --- Partition logics, finite automata and generalized urn models --- Part V Transcendence: Miracles --- Dualistic interfaces --- Part VI Executive summary: Executive summary --- Appendix A: Formal (in)computability and randomness --- B: Two particle correlations and expectations

Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index

Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations

Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata

Description / Table of Contents: Information Flow and Non-Intereference --- What's the Over/Under? Probabilistic Bounds on Information Leakage --- Secure Information Release in Timed Automata --- Compositional Non-Interference for Concurrent Programs via Separation and Framing --- The Meaning of Memory Safety --- Leakage, Information Flow, and Protocols --- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage --- Leakage and Protocol Composition in a Game-theoretic Perspective --- Equivalence Properties by Typing in Cryptographic Branching Protocols --- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience --- Smart Contracts and Privacy --- SoK: Unraveling Bitcoin Smart Contracts --- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts --- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts --- UniTraX: Protecting Data Privacy with Discoverable Biases --- Firewalls and Attack-Defense Trees --- Transcompiling Firewalls --- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels

Description / Table of Contents: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)

Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory

Description / Table of Contents: Introduction --- The history of the patient record and the paper record --- User needs: clinicians, clinical researchers and hospital management --- Characteristics of patient records and clinical corpora --- Medical classifications and terminologies --- Evaluation metrics and evaluation --- Basic building blocks for clinical text processing --- Computational methods for text analysis and text classification --- Ethics and privacy of patient records for clinical text mining research --- Applications of clinical text mining --- Networks and shared tasks in clinical text mining --- Conclusions and outlook --- References --- Index

Description / Table of Contents: State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services --- Context Monitoring for Improved System Performance and QoE --- QoE Management for Future Networks --- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management --- Lag Compensation for First Person Shooter Games in Cloud Gaming --- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios --- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems --- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments --- Integrating SDN and NFV with QoS-aware Service Composition --- Energy vs. QoX Network- and Cloud Services Management --- Traffic Management for Cloud Federation --- Efficient Simulation of IoT Cloud Use Cases --- Security of Internet of Things for Reliable Internet of Services --- TCP performance over current cellular access: A comprehensive analysis

Description / Table of Contents: Agile requirements --- COSMIC User Story Standard --- Improving Mockup-based Requirement Specification with End-User Annotations --- Agile testing --- Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment --- Software tester, we want to hire you! An analysis of the demand for soft skills --- Developers' initial perceptions on TDD practice: A thematic analysis with distinct domains and languages --- Myths and Facts about Static Application Security Testing Tools: An Action Research at Telenor Digital --- Automated Acceptance Tests as Software Requirements: An Experiment to Compare the Applicability of Fit tables and Gherkin Language --- Agile transformation --- Interface Problems of Agile in a Non-Agile Environment --- Enterprise agility: Why is transformation so hard? --- Technical and Organizational Agile Practices: A Latin-American Survey --- Agile Software Development { Adoption & Maturity: An Activity Theory Perspective --- Scaling agile --- Do Agile Methods Work for Large Software Projects? --- Learning in the Large - An Exploratory Study of Retrospectives in Large-Scale Agile Development --- Reporting in Agile Portfolio Management: Routines, Metrics and Artefacts to Maintain an Effective Oversight --- Inter-team Coordination in Large-Scale Agile Development: A Case Study of Three Enabling Mechanisms --- Supporting Large-Scale Agile Development with Domain-driven Design --- Towards Agile Scalability Engineering --- Human-centric agile --- Stress in Agile Software Development: Practices and Outcomes --- Teamwork quality and team performance: Exploring differences between small and large agile projects --- Continuous experimentation --- Challenges and Strategies for Undertaking Continuous Experimentation to Embedded Systems: Industry and Research Perspectives --- ICOs overview: should investors choose an ICO developed with the Lean Startup methodology?

Description / Table of Contents: Security of distributed interconnected systems --- Security of software systems --- Security of the Internet of Things

Description / Table of Contents: Part I: Introduction --- Part II: Humanitarian Technologies --- Part III: Medical Technologies --- Part IV: Renewable Energies --- Part V: Sustainable Habitat --- Part VI: Disaster Risk Reduction