ALBERT

Description / Table of Contents: Real-time Linked Dataspaces: A Data Platform for Intelligent Systems Within Internet of Things-Based Smart Environments --- Enabling Knowledge Flows in an Intelligent Systems Data Ecosystem --- Dataspaces: Fundamentals, Principles, and Techniques --- Fundamentals of Real-time Linked Dataspaces --- Data Support Services for Real-time Linked Dataspaces --- Catalog and Entity Management Service for Internet of Things-Based Smart Environments --- Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces --- Enhancing the Discovery of Internet of Things-Based Data Services in Real-time Linked Dataspaces --- Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments --- Stream and Event Processing Services for Real-time Linked Dataspaces --- Quality of Service-Aware Complex Event Service Composition in Real-time Linked Dataspaces --- Dissemination of Internet of Things Streams in a Real-time Linked Dataspace --- Approximate Semantic Event Processing in Real-time Linked Dataspaces --- Enabling Intelligent Systems, Applications, and Analytics for Smart Environments Using Real-time Linked Dataspaces --- Autonomic Source Selection for Real-time Predictive Analytics Using the Internet of Things and Open Data --- Building Internet of Things-Enabled Digital Twins and Intelligent Applications Using a Real-time Linked Dataspace --- A Model for Internet of Things Enhanced User Experience in Smart Environments --- Future Research Directions for Dataspaces, Data Ecosystems, and Intelligent Systems

Description / Table of Contents: Introduction to the Book: “Ahead of the Curve” / Shirley Laska / Pages 1-31 --- Louisiana’s Risks Anticipating the Future Challenges to Other U.S. Coastal Communities --- Managing Risks in Louisiana’s Rapidly Changing Coastal Zone / Donald F. Boesch / Pages 35-62 --- Climate Adaptation Challenges and Solutions --- Connecting the Dots: The Origins, Evolutions, and Implications of the Map that Changed Post-Katrina Recovery Planning in New Orleans / Zachary Lamb / Pages 65-91 --- Antagonisms of Adaptation: Climate Change Adaptation Measures in New Orleans and New York City / Kevin Fox Gotham, Megan Faust / Pages 93-112 --- Adapting to a Smaller Coast: Restoration, Protection, and Social Justice in Coastal Louisiana / Scott A. Hemmerling, Monica Barra, Rebecca H. Bond / Pages 113-144 --- Relocation and Resettlement: An Extreme Adjustment --- Community Resettlement in Louisiana: Learning from Histories of Horror and Hope / Nathan Jessee / Pages 147-184 --- Sojourners in a New Land: Hope and Adaptive Traditions / Kristina J. Peterson / Pages 185-214 --- Types/Locations of Communities and Their Responses to Extreme Weather: Urban --- Post-disaster Development Dilemmas: Advancing Landscapes of Social Justice in a Neoliberal Post-disaster Landscape / Anna Livia Brand, Vern Baxter / Pages 217-240 --- Reimagining Housing: Affordability Crisis and Its Role in Disaster Resilience and Recovery / Andreanecia M. Morris, Lucas Diaz / Pages 241-259 --- Types/Locations of Communities and Their Responses to Extreme Weather: Suburban/Mid State --- The 2016 Unexpected Mid-State Louisiana Flood: With Special Focus on the Different Rescue and Recovery Responses It Engendered / Michelle Annette Meyer, Brant Mitchell, Shannon Van Zandt, Stuart Nolan / Pages 263-281 --- Types/Locations of Communities and Their Responses to Extreme Weather: Rural --- Challenges of Post-Disaster Recovery in Rural Areas / Alessandra Jerolleman / Pages 285-310 --- Types/Locations of Communities and Their Responses to Extreme Weather: Coupled Coastal-Inland --- Regional Resilience: Building Adaptive Capacity and Community Well-Being Across Louisiana’s Dynamic Coastal–Inland Continuum / Traci Birch, Jeff Carney / Pages 313-340

Description / Table of Contents: Introduction / Malcolm Wray Dunlop, Hermann Lühr / Pages 1-4 --- Introduction to Spherical Elementary Current Systems / Heikki Vanhamäki, Liisa Juusola / Pages 5-33 --- Spherical Elementary Current Systems Applied to Swarm Data / Heikki Vanhamäki, Liisa Juusola, Kirsti Kauristie, Abiyot Workayehu, Sebastian Käki / Pages 35-53 --- Local Least Squares Analysis of Auroral Currents / Joachim Vogt, Adrian Blagau, Costel Bunescu, Maosheng He / Pages 55-81 --- Multi-spacecraft Current Estimates at Swarm / Malcolm Wray Dunlop, J.-Y. Yang, Y.-Y. Yang, Hermann Lühr, J.-B. Cao / Pages 83-116 --- Applying the Dual-Spacecraft Approach to the Swarm Constellation for Deriving Radial Current Density / Hermann Lühr, Patricia Ritter, Guram Kervalishvili, Jan Rauberg / Pages 117-140 --- Science Data Products for AMPERE / Colin L. Waters, B. J. Anderson, D. L. Green, H. Korth, R. J. Barnes, Heikki Vanhamäki / Pages 141-165 --- ESA Field-Aligned Currents—Methodology Inter-comparison Exercise / Lorenzo Trenchi, The FAC-MICE Team, K. Kauristie, S. Käki, Heikki Vanhamäki, L. Juusola et al. / Pages 167-188 --- Spherical Cap Harmonic Analysis Techniques for Mapping High-Latitude Ionospheric Plasma Flow—Application to the Swarm Satellite Mission / Robyn A. D. Fiori / Pages 189-218 --- Recent Progress on Inverse and Data Assimilation Procedure for High-Latitude Ionospheric Electrodynamics / Tomoko Matsuo / Pages 219-232 --- Estimating Currents and Electric Fields at Low Latitudes from Satellite Magnetic Measurements / Patrick Alken / Pages 233-254 --- Models of the Main Geomagnetic Field Based on Multi-satellite Magnetic Data and Gradients—Techniques and Latest Results from the Swarm Mission / Christopher C. Finlay / Pages 255-284

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: 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: 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: 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 / 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: 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: Introduction: The Role of Large Housing Estates in Past, Present and Future Change in European Cities --- PART 1: Four Thematic Lenses for Viewing the Trajectories of Large Housing Estates --- PART 2: Case Studies of Housing Estates in European Metropolitan Area --- Western Europe (Changing Context, Policies and Estates in the UK: The Birmingham Example / The Socio-economic Evolution of Large Housing Estates in Brussels / Large Housing Estates in a Divided City: Berling's Pallenbauten and Wohnblöcke / Large Housing Estates in the Paris Region: The Local Challenge of Internal Social Mixing in Orly) --- Eastern Europe (Persistence or Change: Social and Physical Challenges of Housing Estates in Budapest / Housing Estates in Prague: Long-term Development and Current Situation / Mass Housing Inherited from State Socialism in Tartu, Estonia / Ursynów: Emergence and Evolution of Warsaw's Largest Dormitory Suburb) --- Northern Europe (Equity or Net Gains? Tenure Structure, Perceived Social Disorder and Policy Challenges in the Post-WWII Housing Estates of Helsinki region / Large Housing Estates in Stockholm: Do Initial Conditions Matter?) --- Southern Europe (Social and Ethnic Transformations of Large Social Housing Estates in Milan: From Modernity to Marginalisation / Large housing Estates in Athens: An Uncommon Form of Social Housing Within a Residual Welfare State --- Conclusion (Assessing the Evidence: Past and Present Trajectories of Europe's Large Housing Estates, and a Comment on the Future) --- Index

Description / Table of Contents: 1. YOUMARES – A Conference from and for YOUng MARine RESearchers --- 2. Can Climate Models Simulate the Observed Strong Summer Surface Cooling in the Equatorial Atlantic? --- 3. The Physical System of the Arctic Ocean and Subarctic Seas in a Changing Climate --- 4. Marine Optics and Ocean Color Remote Sensing --- 5. Phytoplankton Responses to Marine Climate Change – An Introduction --- 6. Reading the Book of Life – Omics as a Universal Tool Across Disciplines --- 7. Bio-Telemetry as an Essential Tool in Movement Ecology and Marine Conservation --- 8. How Do They Do It? – Understanding the Success of Marine Invasive Species --- 9. For a World Without Boundaries: Connectivity Between Marine Tropical Ecosystems in Times of Change --- 10. Arctic Ocean Biodiversity and DNA Barcoding – A Climate Change Perspective --- 11. Regime Shifts – A Global Challenge for the Sustainable Use of our Marine Resources --- 12. Biodiversity and the Functioning of Ecosystems in the Age of Global Change: Integrating Knowledge Across Scales --- 13. Microplastics in Aquatic Systems – Monitoring Methods and Biological Consequences --- Appendix 1. List of Conference Participants --- Appendix 2. Conference Sessions and Abstracts

Description / Table of Contents: Chapter 1: Geographies of the University. An Introduction (Peter Meusburger) --- Part 1: Historical Perspectives --- Chapter 2: The Repertorium Academicum Germanicum (RAG) and the Geography of German Universities and Academics (1350–1550) (Rainer C. Schwinges) --- Chapter 3: Scientific and Cultural Relations between Heidelberg University and Hungary over Five Centuries (Peter Meusburger) --- Chapter 4: Catchment Areas and Killing Fields: Towards an Academic Geography of the Thirty Years' War (Howard Hotson) --- Chapter 5: A Political Geography of University Foundation: The Case of the Danish Monarchy (Hanne Kirstine Adriansen) --- Chapter 6: ‘A Small Town of Character’: Locating a New Scottish University, 1963 - 1965 (Michael Heffernan) --- Part II: Spaces and Governance of Knowledge, Research and Education --- Chapter 7: Knowledge Environments at Universities. Some Theoretical and Methodological Considerations (Peter Meusburger) --- Chapter 8: Quality Cultures in Higher Education Institutions. Development of the Quality Culture Inventory (Christine Sattler) --- Chapter 9: Agnotology: Ignorance and Absence, or Towards a Sociology of Things that Aren’t There (Jennifer L. Croissant) --- part III: Universities and Regional Economies --- Chapter 10: The entrepreneurial university wave: shaping a triple helix for sustainable innovation (Henry Etzkowitz) --- Chapter 11: The Economic Impact of the Universities in the State of Baden-Württemberg (Johannes Glückler) --- Chapter 12: African Universities as Employers of Returning Graduates from Germany. The Example of Ghana and Cameroon (Julia Boger) --- Part IV: Localization, Globalization and Regional Integration of Universities --- Chapter 13: The University in its Place: Thinking in and Beyond Globalization (Allan Cochrane ) --- Chapter 14: The University Unbound: How Roots and Routes Intersect (Jane Kenway) --- Chapter 15: International Education Hubs (Jane Knight) --- Chapter 16: The Nonmetropolitan University’s Regional Engagement in the African Context: The Case of Cameroon (Eike W. Schamp) --- Chapter 17: China’s Southern Borderlands and ASEAN Higher education. A Cartography of Connectivity (Anthony Welch) --- Part V: Universities and the City --- Chapter 18: The Civic University and the City (John Goddard) --- Chapter 19: City and University – Notes of an Architect On an Intriguing Spatial Relationship (Helmut Bott) --- Chapter 20: Campus-city Relations: Past, Present and Future (Alexandra Den Heijer) --- Chapter 21: Coevolution of Town and Gown: The Heidelberg International Building Exhibition in Search of a Knowledge-based Urbanism for the Twenty-first Century (Carl Zillich) --- The Klaus Tschira Foundation --- Index

Description / Table of Contents: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

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: Part I: Introduction --- Part II: Humanitarian Technologies --- Part III: Medical Technologies --- Part IV: Renewable Energies --- Part V: Sustainable Habitat --- Part VI: Disaster Risk Reduction

Description / Table of Contents: Part I: Introducing Life Cycle Management --- Introduction: Life Cycle Management --- Life Cycle Management: Implementing Sustainability in Business Practice --- Life Cycle Management as a Way to Operationalize Sustainability Within Organizations --- How to Implement Life Cycle Management in Business? --- Life Cycle Sustainability Assessment: A Tool for Exercising due Diligence in Life Cycle Management --- Life Cycle Management: Labeling, Declarations and Certifications at the Product Level —Different Approaches --- Mainstreaming the Use of Life Cycle Management in Small and Medium Sized Enterprises Using a Sector Based and Regional Approach --- Part II: Advancing the Implementation of Life Cycle Management in Business Practice --- From Projects to Processes to Implement Life Cycle Management in Business --- How to Make the LCA Team a Business Partner --- Sustainability Improvements and Life Cycle Approaches in Industry Partnerships --- Sustainable Value Creation with Life Cycle Management --- Part III: Life Cycle Management as Part of Sustainable Consumption and Production Strategies and Policies --- Hotspots Analysis: Providing the Focus for Action --- From Sustainable Production to Sustainable Consumption.-Life Cycle Management Responsibilities and Procedures in the Value Chain --- Policy Options for Life Cycle Assessment Deployment in Legislation --- Part IV: Mainstreaming and Capacity Building on Life Cycle Management --- Taking Life Cycle Management Mainstream: Integration in Corporate Finance and Accounting --- Building Organizational Capability for Life Cycle Management --- Promoting Life Cycle Thinking, Life Cycle Assessment and Life Cycle Management Within Business in Brazil --- Mainstreaming Life Cycle Sustainability Management in Rapidly Growing and Emerging Economies Through Capacity-building.-Communication and Collaboration as Essential Elements for Mainstreaming Life Cycle Management.-Part V: Implementation and Case Studies of Life Cycle Management in Different Business and Industry Sector --- Exploring Challenges and Opportunities of Life Cycle Management in the Electricity Sector --- Life Cycle Management Applied to Urban Fabric Planning --- Implementing Life Cycle Engineering in Automotive Development as a Helpful Management Tool to Support Design for Environment --- Managing Life cycle Sustainability Aspects in the Automotive Industry --- Life Cycle Management as a Way to Operationalize the Creating Shared Value Concept in the Food and Beverage Industry: A Case Study

Description / Table of Contents: Part I: Bill McGuire --- Volcano Crisis Communication: Challenges and Solutions in the 21st Century --- Volcanic Gases: Silent Killers --- The Communication and Risk Management of Volcanic Ballistic Hazards --- Part One Summary: Adapting Warnings for Volcanic Hazards --- Part II: Gill Jolly --- Volcanic Unrest and Hazard Communication in Long Valley Volcanic Region, California --- Organisational Response to the 2007 Ruapehu Crater Lake Dam-Break Lahar in New Zealand: Use of Communication in Creating an Effective Response --- Social Representation of Human Resettlement Associated with Risk from Volcán de Colima, Mexico --- Part Two Summary: Observing Volcanic Crises --- Part III: Deanne Bird and Kat Haynes --- Communicating Information on Eruptions and Their Impacts from the Earliest Times Until the Late Twentieth Century --- “There’s no Plastic in Our Volcano”: A Story About Losing and Finding a Path to Participatory Volcanic Risk Management in Colombia --- Challenges of Volcanic Crises on Small Islands States --- Living with an Active Volcano: Informal and Community Learning for Preparedness in South of Japan --- Part Three Summary: Communicating into the Future. Volcanic Crisis Communication: Where Do We Go from Here?

Description / Table of Contents: 1. Forward --- 2. Preface --- 3. Introduction --- 4. Part I. Chapter 1 Kriging, Splines, Conditional Simulation, Bayesian In-version and Ensemble Kalman Filtering --- 5. Chapter 2 A Statistical Commentary on Mineral Prospectivity analysis --- 6. Chapter 3 Testing joint conditional independence of categorical random variables with a standard log-likelihood ratio test --- 7. Chapter 4 Modelling Compositional Data. The Sample Space Approach --- 8. Chapter 5 Properties of Sums of Geological Random Variables --- 9. Chapter 6 A Statistical Analysis of the Jacobian in Retrievals of Satellite Data --- 10. Chapter 7 All Realizations All the Time --- 11. Chapter 8 Binary Coefficients Redux --- 12. Chapter 9 Tracking Plurigaussian Simulations --- 13. Chapter 10 Mathematical Geosciences: Local Singularity Analysis of Nonlinear Earth Processes and Extreme Geo-Events --- 14. Chapter 11 Electrofacies in Reservoir Characterization --- 15. Chapter 12 Forecast of Shoreline Variations by Means of Median Sets --- 16. Chapter 13 An Introduction to the Spatio-Temporal Analysis of Sat-ellite Remote Sensing Data for Geostatisticians --- 17. Chapter 14 Flint drinking water crisis: a first attempt to model geo-statistically the space-time distribution of water lead levels --- 18. Chapter 15 Statistical Parametric Mapping for Geoscience Applications --- 19. Chapter 16 Water chemistry: are new challenges possible from CoDA (Compositional Data Analysis) point of view? --- 20. Chapter 17 Analysis of the United States Portion of the North American Soil Geochemical Landscapes Project – A Compositional Framework Approach --- 21. Chapter 18 Quantifying the Impacts of Uncertainty --- 22. Chapter 19. Advances in Sensitivity Analysis of Uncertainty due to Sampling Density for Spatially Correlated Attributes --- 23. Chapter 20 Predicting Molybdenum Deposit Growth --- 24. Chapter 21 General Framework of Quantitative Target Selections --- 25. Chapter 22 Solving the Wrong Resource Assessment Problems Precisely --- 26. Chapter 23 two ideas for analysis of multivariate geochemical survey data: proximity regression and principal component residuals --- 27. Chapter 24 Mathematical minerals: A history of petrophysical petrography --- 28. Chapter 25 Geostatistics for Seismic Characterization of Oil Reservoirs --- 29. Chapter 26 Statistical Modeling of Regional and Worldwide Size-Frequency Distributions of Metal Deposits --- 30. Chapter 27 Bayesianism in the Geosciences --- 31.Chapter 28 Geological Objects and Physical Parameter Fields in the Subsurface: A Review --- 32.Chapter 29 Fifty Years of Kriging --- 33. Chapter 30 Multiple Point Statistics: A Review --- 34. Chapter 31 When Should We Use Multiple-Point Geostatistics? --- 35. Chapter 32 The Origins of the Multiple-Point Statistics (MPS) Algorithm --- 36. Chapter 33 Predictive Geometallurgy: An Interdisciplinary Key Challenge for Mathematical Geosciences? --- 37. Chapter 34 Data Science for Geoscience: Leveraging Mathematical Geosciences with Semantics and Open Data --- 38. Chapter 35 Mathematical Morphology in Geosciences and GISci: An Illustrative Review --- 39. Chapter 36 IAMG: Recollections from the Early Years --- 40. Chapter 37 Forward and Inverse Models over 70 Years --- 41. Chapter 38 From individual personal contacts 1962–1968 to my 50 years of service --- 42. Chapter 39 Andrey Borisovich Vistelius --- 43. Chapter 40 Fifty Years’ Experience with Hidden Errors in Applying Classic Mathematical Geology --- 44. Chapter 41 Mathematical Geology by Example: Teaching and Learning Perspectives.

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: 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: 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: 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: 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: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications

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: 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: 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: 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: 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: 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: 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 --- Part 1- Haptics in Musical Interaction: Psychophysics and User Experience --- A Brief Overview of the Somatosensory System --- Once More with Feeling: The Dynamics of Performer-Instrument Interaction --- Perception of Vibrotactile Cues in Musical Performance --- The Role of Haptic Cues in Musical Instrument Quality Perception --- A Functional Analysis of Haptic Feedback in Digital Musical Instrument Interactions --- Auditory-Tactile Experience of Music --- Part II - Haptic Musical Interfaces: Design and Applications --- The MSCI Platform: A Framework for the Design and Simulation of Multisensory Virtual Musical Instruments --- Implementation and Characterization of Vibrotactile Interfaces --- Touchscreens and Musical Interaction --- Design of Vibrotactile Feedback --- Haptic Force-Feedback Instruments for the Laptop Orchestra of Louisiana --- Haptics for the Development of Fundamental Rhythm Skills Including Multi-Limb Coordination

Description / Table of Contents: 1 The Leading Role of Software and Systems Architecture in the Age of Digitization --- 2 Formal Methods and Agile Development: Towards a Happy Marriage --- 3 Escaping Method Prison – On the Road to Real Software Engineering --- 4 What is software?: The Role of Empirical Methods in Answering the Question --- 5 Only the Architecture You Need --- 6 Variability in standard software products Introducing software product line engineering to the insurance industry --- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report --- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge --- 9 Data-driven decisions and actions in today’s software development --- 10 Software Architecture: Past, Present, Future --- 11 Software Product Lines --- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise --- 13 Achievements, Failures, and the Future of Model-based Software Engineering

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: Introduction --- System Theory --- Image Processing --- Endoscopy --- Microscopy --- Magnetic Resonance Imaging --- X-ray Imaging --- Computed Tomography --- X-ray Phase Contrast: Research on a Future Imaging Modality --- Emission Tomography --- Ultrasound --- Optical Coherence Tomography --- Acronyms.

Description / Table of Contents: Chapter 1. Earth's Climate System --- Chapter 2. Forecasting Global Warming --- Chapter 3. Paris INDCs --- Chapter 4. Implementation.

Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change

Description / Table of Contents: Air quality in Europe: today and tomorrow --- A framework for Integrated Assessment Modelling --- Current European AQ planning at regional and local scale --- Strengths and weaknesses of the current EU situation --- Two illustrative examples: Brussels and Porto --- Conclusions: A way forward

Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?

Description / Table of Contents: ISDR-ICL Sendai Partnerships 2015-2025 --- The ISDR-ICL Sendai Partnerships 2015-2025: Background and Content --- Forum lectures --- Rupestrian world heritage sites: Instability investigation and sustainable mitigation --- Subaerial landslide-generated waves: Numerical and laboratory simulations --- Rockfall occurrence and fragmentation --- Contribution from signatory organizations of the Sendai Partnerships --- International Consortium on Landslides (ICL) --- International Consortium on Landslides (ICL) - The proposing organization of the ISDR-ICL Sendai partnerships 2015-2025 --- United Nations Office for Disaster Risk Reduction (UNISDR) --- UNISDR‘s Contribution to Science and Technology for Disaster Risk Reduction and the Role of the International Consortium on Landslides (ICL) --- United Nations Educational, Scientific and Cultural Organization (UNESCO) --- UNESCO’s Contribution to the Implementation of UNISDR’s Global Initiative and ICL --- United Nations University (UNU) --- The United Nations University: Research and Policy Support for Environmental Risk Reduction --- World Meteorological Organization (WMO) --- Concerted International Efforts for Advancing Multi-Hazard Early Warning Systems --- International Council for Science (ICSU) --- On Future Challenges for the Integration of Science into International Policy Development for Landslide Disaster Risk Reduction --- World Federation of Engineering Organizations (WFEO) --- World Federation of Engineering Organizations Activities in Disaster Risk Reduction --- Disaster Prevention Research Institute (DPRI), Kyoto University --- National Civil Protection Department, Italian Presidency of the Council of Ministers, Government of Italy --- Understanding and Reducing Landslide Disaster Risk: Challenges and Opportunities for Italian Civil Protection --- Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools (LITT) --- Progress of the World Report on Landslides --- International Programme on Landslides (IPL): Objectives, History and List of World Centres of Excellence and IPL Projects --- UNESCO-KU-ICL UNITWIN Cooperation Programme for Landslides and Water-Related Disaster Risk Management. Landslides: Journal of the International Consortium on Landslides --- IPL Activities --- Advanced Technologies for Landslides (WCoE 2014-2017, IPL-196, IPL-198) --- Mechanisms of Landslides and Creep in Over-Consolidated Clays and Flysch (WCoE 2014-2017 --- Research on Heavy-Rainfall-Induced and Hydraulic-Driven Geological Hazards in China (WCoE 2014-2017). Landslide Risk Reduction in Croatia: Scientific research in the framework of the WCoE 2014-2017, IPL-173, IPL-184, ICL ABN --- Shapes and Mechanisms of Large-scale Landslides in Japan: Forecasting Analysis from an Inventory (WCoE 2014–2017 --- Retrospective and Prospects for Cold Regions Landslide Research (2012-2016) (WCoE 2014-2017, IPL-132, IPL-167, IPL-203, CRLN --- Large-scale Rockslide Inventories: from the Kokomeren River Basin to the Entire Central Asia Region (WCoE 2014-2017, IPL-106-2) --- Interventions for Promoting Knowledge, Innovations and Landslide Risk Management Practices within South and Southeast Asia (WCoE 2014-2017) --- Promoting a Global Standard for Community-based Landslide Early Warning Systems (WCoE 2014-2017, IPL-158, IPL-165) --- Model Policy Frameworks, Standards and Guidelines on Landslide Disaster Reduction (WCoE 2014-2017) --- Landslide Hazard and Risk Management (WCoE 2014-2017) --- Mitigation of Landslide Hazards in Ukraine under the Guidance of ICL: 2009–2016 (IPL-153, IPL-191) --- Development of a Hazard Evaluation Technique for Earthquake-Induced Landslides Based on an Analytic Hierarchy Process (AHP) (IPL-154) --- The Croatian-Japanese SATREPS Joint Research Project on Landslides (IPL-161)

Description / Table of Contents: 1. Introduction --- 2. Action on Climate Change: What Does it Mean and Where Does it Lead To? --- Part 1. Policy --- 3. Mainstreaming Impact Evidence in Climate Change and Sustainable Development --- 4. Pathway to Impact: Supporting and Evaluating Enabling Environments for Research for Development --- 5. Lessons from Taking Stock of 12 years of Swiss International Cooperation on Climate Change --- 6. An Analytical Framework for Evaluating a Diverse Climate Change Portfolio --- 7. Enhancing the Joint Crediting Mechanism MRV to Contribute to Sustainable Development --- Part 2. Climate Change Mitigation --- 8. Using Mixed Methods to Assessing Trade-offs Between Agricultural Decisions and Deforestation --- 9. Methodological Approach of the GEF IEO’s Climate Change Mitigation Impact Evaluation: Assessing Progress in Market Change for Reduction of CO2 Emissions --- 10. Integrating Avoided Emissions in Climate Change Evaluation Policies for LDCs: The Case of Passive Solar Houses in Afghanistan --- 11. Sustainable Development, Climate Change, and Renewable Energy in Rural Central America --- 12. Unpacking the Black Box of Technology Distribution, Development Potential and Carbon Markets Benefits --- Part 3. Climate Change Adaptation.-13. What do Evaluations Tell Us About Climate Change Adaptation? Meta-Analysis with a Realist Approach --- 14. Adaptation Processes in Agriculture and Food Security: Insights from Evaluating Behavioral Changes in West Africa --- 15. Using Participatory Approaches in Measuring Resilience and Development in Isiolo County, Kenya --- 16. Evaluating Climate Change Adaptation in Practice: A Child-Centred, Community-Based Project in the Philippines --- 17. Drought Preparedness Policies and Climate Change Adaptation and Resilience Measures in Brazil: An Institutional Change Assessment --- 18. The Adaptation M&E Navigator: A Decision Support Tool for the Selection of Suitable Approaches to Monitor and Evaluate Adaptation to Climate Change

Description / Table of Contents: Introduction --- Part I: What are damages in Nuclear Accidents?- Part II: Measurement of Damages --- Part III: Barriers against Transition into Resilience --- Part IV: Research questions for developing knowledge toward transition into resilience --- Epilogue

Description / Table of Contents: ISDR-ICL Sendai Partnerships 2015-2025 --- The ISDR-ICL Sendai Partnerships 2015-2025: Background and Content --- Forum lectures --- Rupestrian world heritage sites: Instability investigation and sustainable mitigation --- Subaerial landslide-generated waves: Numerical and laboratory simulations --- Rockfall occurrence and fragmentation --- Contribution from signatory organizations of the Sendai Partnerships --- International Consortium on Landslides (ICL) --- International Consortium on Landslides (ICL) - The proposing organization of the ISDR-ICL Sendai partnerships 2015-2025 --- United Nations Office for Disaster Risk Reduction (UNISDR) --- UNISDR‘s Contribution to Science and Technology for Disaster Risk Reduction and the Role of the International Consortium on Landslides (ICL) --- United Nations Educational, Scientific and Cultural Organization (UNESCO) --- UNESCO’s Contribution to the Implementation of UNISDR’s Global Initiative and ICL --- United Nations University (UNU) --- The United Nations University: Research and Policy Support for Environmental Risk Reduction --- World Meteorological Organization (WMO) --- Concerted International Efforts for Advancing Multi-Hazard Early Warning Systems --- International Council for Science (ICSU) --- On Future Challenges for the Integration of Science into International Policy Development for Landslide Disaster Risk Reduction --- World Federation of Engineering Organizations (WFEO) --- World Federation of Engineering Organizations Activities in Disaster Risk Reduction --- Disaster Prevention Research Institute (DPRI), Kyoto University --- National Civil Protection Department, Italian Presidency of the Council of Ministers, Government of Italy --- Understanding and Reducing Landslide Disaster Risk: Challenges and Opportunities for Italian Civil Protection --- Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools (LITT) --- Progress of the World Report on Landslides --- International Programme on Landslides (IPL): Objectives, History and List of World Centres of Excellence and IPL Projects --- UNESCO-KU-ICL UNITWIN Cooperation Programme for Landslides and Water-Related Disaster Risk Management. Landslides: Journal of the International Consortium on Landslides --- IPL Activities --- Advanced Technologies for Landslides (WCoE 2014-2017, IPL-196, IPL-198) --- Mechanisms of Landslides and Creep in Over-Consolidated Clays and Flysch (WCoE 2014-2017 --- Research on Heavy-Rainfall-Induced and Hydraulic-Driven Geological Hazards in China (WCoE 2014-2017). Landslide Risk Reduction in Croatia: Scientific research in the framework of the WCoE 2014-2017, IPL-173, IPL-184, ICL ABN --- Shapes and Mechanisms of Large-scale Landslides in Japan: Forecasting Analysis from an Inventory (WCoE 2014–2017 --- Retrospective and Prospects for Cold Regions Landslide Research (2012-2016) (WCoE 2014-2017, IPL-132, IPL-167, IPL-203, CRLN --- Large-scale Rockslide Inventories: from the Kokomeren River Basin to the Entire Central Asia Region (WCoE 2014-2017, IPL-106-2) --- Interventions for Promoting Knowledge, Innovations and Landslide Risk Management Practices within South and Southeast Asia (WCoE 2014-2017) --- Promoting a Global Standard for Community-based Landslide Early Warning Systems (WCoE 2014-2017, IPL-158, IPL-165) --- Model Policy Frameworks, Standards and Guidelines on Landslide Disaster Reduction (WCoE 2014-2017) --- Landslide Hazard and Risk Management (WCoE 2014-2017) --- Mitigation of Landslide Hazards in Ukraine under the Guidance of ICL: 2009–2016 (IPL-153, IPL-191) --- Development of a Hazard Evaluation Technique for Earthquake-Induced Landslides Based on an Analytic Hierarchy Process (AHP) (IPL-154) --- The Croatian-Japanese SATREPS Joint Research Project on Landslides (IPL-161)

Description / Table of Contents: Air quality in Europe: today and tomorrow --- A framework for Integrated Assessment Modelling --- Current European AQ planning at regional and local scale --- Strengths and weaknesses of the current EU situation --- Two illustrative examples: Brussels and Porto --- Conclusions: A way forward

Description / Table of Contents: Part I Vulnerability of the Arctic environments. Chapter 1 Mysteries of the geological history of the Cenozoic Arctic Ocean sea ice cover --- Chapter 2 Response of Arctic alpine biota to climate change -evidence from Polar Urals GLORIA summits --- Chapter 3 The features of natural and artificial recovery in quarries of the forest-tundra zone of Western Siberia --- Chapter 4 The concept of hierarchical structure of large marine ecosystems in the zoning of Russian Arctic shelf seas --- Chapter 5 Changing climate and outbreaks of forest pest insects in a cold northern country, Finland --- Chapter 6 Wood-based energy as a strategy for climate change mitigation in the Arctic –Perspectives on assessment of climate impacts and resource efficiency with Life Cycle Assessment --- Chapter 7. Geospatial analysis of persistent organic pollutant deposits in the Arctic ecosystems and environment --- Chapter 8 Hydrological probabilistic model MARCS and its application to simulate the probability density functions of multi-year maximal runoff: the Russian Arctic as a case of study --- Chapter 9 Student contribution: Assessment of Atmospheric Circulation in the Atlantic-Eurasian Region and Arctic Using Climate Indices. The Possible Applications of these Indices in Long-term Weather Forecasts --- Chapter 10 Student contribution: Difficulties of Geological Engineering in Arctic Seas --- Part II Vulnerability of the Arctic societies. Chapter 11 The Health Transition: A challenge to indigenous peoples in the Arctic --- Chapter 12 Uncertainties in Arctic socio-economic scenarios --- Chapter 13 Importance of consideration of climate change at managing fish stocks: A case of northern Russian fisheries --- Chapter 14 Preservation of territories and traditional activities of the northern indigenous peoples in the period of the Arctic industrial development --- Chapter 15 The Arctic journey – design experiments in the north --- Chapter 16 The Bicycle and the Arctic. Resilient and sustainable transport in times of climate change --- Part III Building the long-term human capacity. Chapter 17 Human capital development in the Russian Arctic --- Chapter 18 Impact of wages on employment and migration in the High North of Russia --- chapter 19 Well-being in an Arctic city. Designing a longitudinal study on student relationships and perceived quality of life --- Chapter 20 Researching Links between Teacher Wellbeing and Educational Change: Case Studies from Kazakhstan and Sakha Republic --- chapter 21 Student contribution: Well-being at the Polish polar station, Svalbard: Adaptation to extreme environments --- Part IV Arcitc tourism. Chapter 22 Tourism futures in the Arctic --- chapter 23 Uniqueness as a draw for riding under the midnight sun --- Chapter 24 Arctic tourism: the design approach with reference to the Russian North --- Part V Arctic safety. Chapter 25 Maritime operations and emergency preparedness in the Arctic –competence standards for search and rescue operations contingencies in polar waters --- Chapter 26 Risk reduction as a result of implementation of the functional based IMO Polar Code in the Arctic cruise industry --- Chapter 27 Safety of industrial development and transportation routes in the Arctic (SITRA) -collaboration project for research and education of future High North experts --- Chapter 28 Safe Snow and Ice Construction to Arctic Conditions --- Chapter 29 The components of psychological safety of oil and gas shift workers in the Arctic --- Part VI Circumpolar, inclusive and reciprocal Arctic. Chapter 30 Where is gender? Cracking the Arctic box and its persistent “gender neutral” research agendas --- Chapter 31 Towards an Arctic awakening: Neocolonialism, sustainable development, emancipatory research, collective action, and Arctic regional policymaking

Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications

Description / Table of Contents: 1. Foreword --- 2. Preface --- 3. Human Marine Resource Use --- 4 Species, Techniques and System Design, Environmental Impact --- 5. Aquaculture Governance --- 6. Aquaculture Economics --- 7. Case Studies --- 8. Synthesis – Pathways Towards Sustainable Ocean Food Production

Description / Table of Contents: Chapter 1. Earth's Climate System --- Chapter 2. Forecasting Global Warming --- Chapter 3. Paris INDCs --- Chapter 4. Implementation.

Description / Table of Contents: 1. Conceptual development toward a rangeland systems framework --- Part: 1 Processes --- 2. Woody plant encroachment --- 3. Ecohydrology: processes and implications for rangelands --- 4. Soil and belowground processes --- 5. Structural heterogeneity as the basis for rangeland management --- 6. Non-equilibrium ecology and resilience theory --- 7. Ecological consequences of climate change on rangelands --- Part: 2 Management --- 8. Rangelands as social-ecological systems --- 9. State and transition models: theory, applications, and challenges --- 10. Livestock production systems --- 11. Adaptive management of rangeland systems --- 12. Managing the livestock-wildlife interface on rangelands --- Part: 3 Challenges --- 13. Invasive plant species and novel rangeland systems --- 14. Rangeland ecosystem services: nature´s supply and humans´ demand --- 15. Managing climate change risks in rangeland systems --- 16. Monitoring protocols: options, approaches, implementation, benefits --- 17. Rangeland systems in developing nations: conceptual advances and societal implications

Description / Table of Contents: 1. Foreword --- 2. Preface --- 3. Human Marine Resource Use --- 4 Species, Techniques and System Design, Environmental Impact --- 5. Aquaculture Governance --- 6. Aquaculture Economics --- 7. Case Studies --- 8. Synthesis – Pathways Towards Sustainable Ocean Food Production

Description / Table of Contents: This book is open access under a CC BY 4.0 license. This book examines how China can increase the share of natural gas in its energy system. China’s energy strategy has global ramifications and impact, and central to this strategy is the country’s transition from coal to gas. The book presents the culmination of a two-year collaboration between the Development Research Center of the State Council (DRC) and Shell.  With the Chinese government’s strategic aim to increase the share of gas in the energy mix from 5.8% in 2014 to 10% and 15% in 2020 and 2030 respectively, the book outlines how China can achieve its gas targets. Providing both quantifiable metrics and policy measures for the transition, it is a much needed addition to the literature on Chinese energy policy. The research and the resulting recommendations of this study have fed directly into the Chinese government’s 13th Five-Year Plan, and provide unique insights into the Chinese government and policy-making. Due to its global impact, the book is a valuable resource for policy makers in both China and the rest of the world

Description / Table of Contents: This book is published open access under a CC BY license. This book constitutes the proceedings of the 5th International Workshop on Symbiotic Interaction, Symbiotic 2016, held in Padua, Italy, in October 2016. The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The idea of symbiotic systems put forward in this workshop capitalizes on the computers’ ability to implicitly detect the users goals, preferences or/and psycho-physiological states and thereby enhancing human-computer interaction (HCI). The papers present an overview of the symbiotic relationships between humans and computers with emphasis on user-driven research on symbiotic systems, adaptive systems, implicit input data, physiological computing and BCI, but also on understanding the nature of the interdependence and agency between computers and humans more broadly

Description / Table of Contents: Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science --- On the Big Impact of “Big Computer Science” --- On Informatics, Diamonds and T --- Leadership and Balance in Research --- Rational ethics --- Ethics for the digital age: where are the moral specs? --- Digital Sovereignty and IT-Security for a Prosperous Society --- Women in Computing and the contingency of informatics cultures --- Ada - poet of computing

Description / Table of Contents: VISCERAL: Evaluation-as-a-Service for Medical Imaging --- Using the Cloud as a Platform for Evaluation and Data Preparation --- Ethical and Privacy Aspects of Using Medical Image Data --- Annotating Medical Image Data --- Datasets created in VISCERAL --- Evaluation Metrics for Medical Organ Segmentation and Lesion Detection --- VISCERAL Anatomy Benchmarks for Organ Segmentation and Landmark Localisation: Tasks and Results --- Retrieval of Medical Cases for Diagnostic Decisions: VISCERAL Retrieval Benchmark --- Automatic Atlas-Free Multi-Organ Segmentation of Contrast-Enhanced CT Scans --- Multi-organ Segmentation Using Coherent Propagating Level Set Method Guided by Hierarchical Shape Priors and Local Phase Information --- Automatic Multi-organ Segmentation using Hierarchically-Registered Probabilistic Atlases --- Multi-Atlas Segmentation Using Robust Feature-Based Registration --- Combining Radiology Images and Clinical Meta-data for Multimodal Medical Case-based Retrieval --- Text and Content-based Medical Image Retrieval in the VISCERAL Retrieval Benchmark

Description / Table of Contents: Introduction --- 1. Trade-offs in the high-mountain conservation --- 2. Present phylogeorgraphic patterns in European mountains resulting from past large climatic oscillations --- 3. The early human occupation of the high mountain --- 4. Millenial socio-ecological trajectories in high mountain and land use --- 5. Non-equilibrium in alpine plan assemblages, current shifts in summit floras --- 6. Diversity assembly in alpine plant communities --- 7. Regional forest idiosyncrasy and the response to global change --- 8. Life-history responses to the altitudinal gradient in mountain fauna --- 9. Towards a microbial conservation perspective in high-mountain lakes --- 10. On defence of fishless high mountain lakes --- 11. Atmospheric chemical loadings in the high mountain: current forcing and legacy pollution --- 12. High soil carbon stocks in mountain grasslands may be compromised by land use changes --- 13. Why recovering large carnivore populations in high mountains? --- 14. The role of environmental history in high mountain landscape conservation --- 15. Conservation lessons from long-term studies of the bearded vulture --- 16. Monitoring global change in the high mountain --- 17. Evaluating global change effects on high mountain snow and the impact on water resources --- 18. A modelling approach to the understanding of past, present and future shifts in vegetation --- 19. Challenges for conservation in a changing world, perspective from the high mountains

Description / Table of Contents: 1. Introduction and Reflections --- 2. The Establishment of Catchment Management Agencies in South Africa with Reference to the Flussgebietsgemeinschaft Elbe: Some Practical Considerations --- 3. Towards Inclusive Water Governance: OECD Evidence and Key Principles of Stakeholder Engagement in the Water Sector --- 4. Free-Market Economics and Developmental Statism as Political Paradigms: Implications for Water Governance Theory and Practice in Developing Countries --- 5. Urban Water Governance as a Function of the “Urban Hydrosocial Transition” --- 6. Urban Water Governance for the 21st Century: A Portfolio-Based Approach to Planning and Management --- 7. Rights-Based Freshwater Governance for the 21st Century: Beyond an Exclusionary Focus on Domestic Water uses --- 8. Inclusive Transboundary Water Governance --- 9. Mechanisms for Inclusive Governance --- 10. Water Integrity - from Concept to Practice --- 11. Addressing the Groundwater Governance Challenge: A Call from the “Groundwater Governance: A Global Framework for Action” Project --- 12. Water Governance Futures in South Asia and Southern Africa: Déjà vu all Over Again?

Description / Table of Contents: Common challenges with software --- The map --- A holistic view to change --- The compass --- The journeys --- Co-develop in a community --- Charing is caring --- A thriving Open Source culture behind the wall --- Keeping the doors open.- Building ecosystems --- Pushing the boundaries --- Add supplementary services --- Adding Internet to things --- Boosting product sales by services --- Deliver 24/7 --- Pruning a bush --- Ensuring prima deliveries --- Pump up the volume --- Global R&D goes agile with SAFe --- Multi-site development --- Agile and disciplined --- Scaling Agile in Automotive --- Scaling Agile in Life sciences --- Outside the box --- Efficient communication --- Outsourcing Strategy at Sony Mobile --- Not so shore anymore --- Play it again, Sam, backwards --- First things first --- Robotic growing pains --- Softhouse reflects on architecture changes --- From mobile to Platform --- Your journey

Description / Table of Contents: Can Machines Design? Optimizing User Interfaces for Human Performance --- Geometrical Shapes Rendering on a Dot-Matrix Display --- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM --- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques --- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach --- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment --- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) --- List Navigation Using Edge Menu --- Simplexity and Vicariance. On Human Cognition Principles for Man-Machine Interaction --- Design Considerations for Self-paced Interactive Notes on Video Lectures - A Learner's Perspective and Enhancements of Learning Outcome --- Using Psycholinguistic Features for the Classification of Comprehenders from Summary Speech Transcripts --- Lector: Towards Reengaging Students in the Educational Process Inside Smart Classrooms --- Predicting Driver's Work Performance in Driving Simulator Based on Physiological Indices --- Interpersonal Human-Human and Human-Robot Interactions --- Exploring the Dynamics of Relationships Between Expressed and Experienced Emotions --- Standard Co-training in Multiword Expression Detection --- Comparative Study on Normalization in Emotion Recognition from Speech --- Detecting Vigilance in People Performing Continual Monitoring Task

Description / Table of Contents: This book is open access under a CC BY license. This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation

Description / Table of Contents: Introduction --- Industrial Challenges. S-BPM's Industrial Capabilities --- Lot-Size One Production. People-Centred Production Design --- Human-Controlled Production --- Learnings --- The Future: Obstacles and Opportunities

Description / Table of Contents: Making Flow-Based Security Detection Parallel --- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts --- Achieving Reproducible Network Environments with INSALATA --- Towards a Software-Defined Security Framework for Supporting Distributed Cloud --- Optimal Service Function Chain Composition in Network Functions Virtualization --- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services --- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications --- Towards Internet Scale Quality-of-Experience Measurement with Twitter --- Hunting SIP Authentication Attacks Efficiently --- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks --- Flow-Based Detection of IPv6-specific Network Layer Attacks --- Towards a Hybrid Cloud Platform Using Apache Mesos --- Visual Analytics for Network Security and Critical Infrastructures --- Preserving Relations in Parallel Flow Data Processing --- SmartDEMAP: A Smart Contract Deployment and Management Platform --- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads --- Situational Awareness: Detecting Critical Dependencies and Devices in a Network --- A Framework for SFC Integrity in NFV Environments --- Multi-domain DDoS Mitigation based on Blockchains

Description / Table of Contents: Improving Agile Processes --- Reflection in Agile Retrospectives --- What influences the speed of prototyping? An empirical investigation of twenty software startups --- Key Challenges in Agile Requirements Engineering --- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting --- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes --- Effects of Technical Debt Awareness: A classroom study --- Agile in Organizations --- Don’t Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams --- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls --- Knowledge Sharing in a Large Agile Organisation: A Survey Study --- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans --- Are Software Startups Applying Agile? the State of the Practice from a Large Survey --- Adopting Test Automation on Agile Development Projects: A Grounded Theory Study of Indian Software Organizations --- Safety Critical Software --- How is security testing done in agile teams? A cross-case analysis of four software teams --- An assessment of avionics software development practice: justifications for an agile development process --- Short Research Papers --- Inoculating an Agile Company with User-Centred Design: an Empirical Study --- On the Usage and Benefits of Agile Methods & Practices --- Checklists to Support Test Charter Design in Exploratory Testing --- Discovering Software Process Deviations Using Visualizations --- Exploring Workflow Mechanisms and Task Allocation Strategies in Agile Software Teams --- Are daily stand-up meetings valuable? A survey of developers in software teams --- Doctoral Symposium Papers --- Knowledge Management and Reflective Practice in Daily Stand-up and Retrospective Meetings --- Self-Assignment: Task Allocation Practice in Agile Software Development --- Software Development Practices Patterns.

Description / Table of Contents: Part 1 --- Introduction --- 1. Railway Ecology --- 2. Wildlife Mortality in Railways --- 3. Railways as Barriers for Wildlife: Current Knowledge and Future Steps --- Part 2. Introduction --- Case Studies --- Conclusions --- What’s Next? Railway Ecology in the 21st Century

Description / Table of Contents: Introduction --- Section I Scientific evidence for Nature-based solutions to climate change adaptation and mitigation in urban areas --- Section II Practical implementation and needs for a transition towards Nature-based solutions in cities --- Section III Nature-based solutions and social-environmental justice in cities --- Section IV Governance Implications and Economic Viability of Nature-based solutions --- Conclusions

Description / Table of Contents: Introduction --- Relevant European drought and water scarcity policies --- The Governance Assessment Tool and its Use --- Eifel-Rur case study, Germany --- Somerset case study, the United Kingdom --- Brittany case study, France --- Flanders case study, Belgium --- Salland case study, The Netherlands --- Vechtstromen study, The Netherlands --- Crosscutting Perspective Agriculture --- Crosscutting Perspective Freshwater --- Crosscutting Perspective Nature --- Concluding Remarks

Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy

Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.

Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue

Description / Table of Contents: Introduction --- Part I Potted Review of Economic Theory: The Complex Evolving System --- 1. A Potted Review --- Part II Early Days: From Personal Awareness to Group Commitment --- 2. A personal story of awareness and perception --- 2.1 My first awareness breakthrough --- 2.2 Layers of awareness --- 2.3 My second burst of awareness --- 2.4 Defining a new society for myself --- 2.5 Key human values --- 2.6 Inside = outside --- 2.7 To be and to do --- 2.7 Welfare or wellbeing? --- 2.8 Business transformation --- 2.9 Leadership versus management --- 2.10 STIR Foundation - City of Tomorrow --- 2.11 Sustainocracy --- 2.12 City of Tomorrow --- 2.13 The Amsterdam internet congress --- 2.14 Key elements that define “sustainocratic” AiREAS --- 2.15 AiREAS --- 2.16 Commitment first --- 2.17 Territorial focus --- 2.18 Local AiREAS Eindhoven --- 2.19 First things first --- 2.20 Making visible the invisible --- 2.21 From idea to project --- 2.22 Conclusion about the coming about of AiREAS --- 2.23 Link with ethics and economies --- Part III “The Invisible made Visible”: science and technology --- An introduction by Marco van Lochem --- 3.1 The ILM --- 3.2. Variables measured --- 3.3.3. Instrumentation --- 3.3.1 The Airbox --- 3.3.2 PM (PM10, PM2.5, PM1) sensor --- 3.3.3 UFP sensor --- 3.3.4 Ozone sensor --- 3.3.5 NO2 sensor --- 3.3.6 Temperature sensor and relative humidity sensor --- 3.3.7 Electromagnetic compatibility (EMC) --- 3.3.8 Experiences and recommendations --- 4 Data quality --- 4.1 Regular calibration and preventative maintenance --- 4.2 Experiences and recommendations --- 5 Locations and spatial sampling --- 5.1 Experiences and recommendations --- 6 Data management --- 6.1 The Airbox --- 6.2 Axians (1) --- 6.3 ECN --- 6.4 Axians (2) --- 6.5 Experiences and recommendations --- 7 Results --- 7.1 Initial tests of sensors --- 7.2 Evaluation of sensor precision --- 8 Scientific projects based on the ILM --- Part IV Experiences after 5 years of AiREAS and 1 year of ILM --- 9. The way things work at AiREAS --- 9.1 The workflow in AiREAS --- 9.2 Financial routine in AiREAS --- 9.3 Confidence based interaction --- 9.4 October 2013 general AiREAS participants meeting --- 9.5 Interpreting the ILM data --- 9.6 The transition --- 9.7 Communication --- 9.8 Benchmarking and referencing our practical ideologies --- 9.9 The royalty system --- 9.10 Some of the transformative issues --- 9.11 Conclusion. Index.

Description / Table of Contents: Introduction --- Foreword --- Chapter 1: Persuasive communication, by Jean-Paul Close, Jaap Ham --- Chapter 2: the AiREAS Proof of Principle - POP Relating air quality to health and lifestyle, by Jean-Paul Close, Nicolette Meeder, John Schmeitz --- Chapter 3: The backpack project, by Jean-Paul Close, Nicolette Meeder --- Chapter 4: New entrepreneurship, by John Schmeitz, Jean-Paul Close --- Chapter 5: Event linked communication, by Jean-Paul Close, Eric de Groot, Pierre Cluitmans --- Chapter 6: Multicultural context, by Jean-Paul Close, Rüstem Demir --- Chapter 7: Level 4 Sustainocratic regional development, by Jean-Paul Close

Description / Table of Contents: Part I: Introduction --- 1. Balanced Urban Development: Is it a myth or reality? - Part II: Peri-Urbansation --- 2. Re-Ruralising the Urban Edge: Lessons from Europe, USA & the Global South --- 3. Nimbyism and Nature – Whose Backyard is it Anyway? - 4. Connecting Urban and Rural Futures Through Rural Design --- 5. Archaeology and Contemporary Dynamics for More Sustainable, Resilient Cities in the Peri-Urban Interface --- 6. Decontamination of Urban Run-off: Importance and Methods --- Part III: Peri-Urban Culture and Socio-Economy --- 7. Socio-economy of Peri-Urban Areas: The Case of Lisbon Metropolitan Area --- 8. Changing Economic Scenario of the Peri-Urban Area of Udaipur City, India --- 9. Community Stakeholder Viewpoints on Issues of Urbanisation along the River Ma Oya, Sri Lanka --- Part IV: Peri-Urban Landuse Planning --- 10. The role of peri-urban land use planning in resilient urban agriculture: a case study of Melbourne, Australia --- 11. Engaging Peri-Urban Landholders in Natural Resources Management.-12. Urban Farming Master Plan in Western Sydney - From Planning to Reality --- Part V: Urban Water Security --- 13. Study of urban water bodies in view of potential for micro-climatic cooling and natural purification of waste water --- 14. Groundwater Crisis in a Mega City – A Case Study of New Delhi, India --- 15. Safe Water Supply Determinants in Peri-Urban Communities of South-East Nigeria --- 16. Risks of Coal Seam and Shale Gas Extraction on Groundwater and Aquifers in Eastern Australia --- Part VI: Wastewater and Irrigation --- 17. Use of recycled water for irrigation of open spaces: Benefits and Risks --- 18. Global Experiences on Wastewater Irrigation: Challenges and Prospects --- 19. Impacts of Wastewater Reuse on Peri-Urban Agriculture: Case Study in Udaipur City, India --- Part VII: Urban Agriculture and Food Security --- 20. Urban Agriculture in Cuba: Alternative Legal Structures, Crisis and Change --- 21. High quality agricultural land in Western Australia – A new decision tool for planning --- 22. Food Efficient Planning and Design for Peri-urban Neighbourhoods --- 23. Role of Peri-urban Areas in the Food System of Kampala, Uganda --- Part VIII: Climate Change Impacts and Adaptations --- 24. Climate Change Adaptation Planning with Peri-Urban Local Government in Victoria, Australia --- 25. Awareness of Climate Change Impacts and Adaptation at Local Level in Punjab, Pakistan --- 26. Urbanisation, Nutrition and Food Security: A Climatological Perspective --- 27. Coastal Urban and Peri-Urban Indigenous People’s Adaptive Capacity to Climate Change --- Part IX: Legal, Policy and Institutional Challenges --- 28. Effect of Social and Institutional Fragmentation on Collective Action in Peri-urban Settings --- 29. Gentrification versus Territorialisation: The Peri-Urban Agriculture Area in Beirut --- 30. Reimagining the “Peri-Urban” in the Mega-Urban Regions of Southeast Asia --- Part X: Integrated Urban Development --- 31. Sustainability of Water Resources in Peri-urban Landscapes: Learning from the Journey of Engagement --- 32. Development of Future Management Options for the Hawkesbury River --- 33. Planning Development to Reduce Mosquito Hazard in Coastal Peri-Urban Areas: Case Studies in NSW, Australia --- 34. An Integrated Simulation and Visualisation Platform for the Design of Sustainable Urban Developments in a Peri-Urban Context --- 35. Options and Strategies for Balanced Development for Liveable Cities: An Epilogue

Description / Table of Contents: Introduction --- General reflections --- The Price of Everything and the Value of Nothing: sustainability ‘after the crisis’ --- Impacts of global trade flows --- Stocks and flows in the performance economy --- The Embeddedness of carbon in UK Lifestyles --- Ethics of Industrial Ecology --- Complexity and prediction --- Urban metabolism --- Industrial Symbiosis --- Industrial Ecology and the Solidarity Economy --- Industrial Ecology in Developing Countries --- Material Flow Analysis and Waste Management --- Social sciences in Industrial Ecology --- Life Cycle Sustainability Assessment --- Prospective Models of Society’s Future Metabolism --- Planetary boundaries and sustainable business --- Working with policymakers --- Portugal’s national waste plan --- The Industrial Ecology of the automobile

Description / Table of Contents: Introduction --- Relevant European drought and water scarcity policies --- The Governance Assessment Tool and its Use --- Eifel-Rur case study, Germany --- Somerset case study, the United Kingdom --- Brittany case study, France --- Flanders case study, Belgium --- Salland case study, The Netherlands --- Vechtstromen study, The Netherlands --- Crosscutting Perspective Agriculture --- Crosscutting Perspective Freshwater --- Crosscutting Perspective Nature --- Concluding Remarks

Description / Table of Contents: Preface --- Part I: The Concept of Anti-Fragility: 1 Introduction --- 2 Achieving Anti-Fragility --- 3 The Need to Build Trust --- 4 Principles Ensuring Anti-Fragility --- Part II: Anti-Fragility to Downtime: 5 Anti-Fragile Cloud Solutions --- 6 An Anti-Fragile e-Government System --- 7 Anti-Fragile Cloud-Based Telecom Systems --- Part III: Anti-Fragility to Malware: 8 Robustness to Malware Spreading --- 9 Robustness to Malware Reinfections --- 10 Anti-Fragility to Malware Spreading --- Part IV: Anomaly Detection: 11 The Cortical Learning Algorithm --- 12 Detecting Anomalies with the CLA --- Part V: Future Anti-Fragile Systems: 13 Summary and Future Work --- About the Author --- References --- Index

Description / Table of Contents: Once Neglected, Now Emerging and Absolutely Necessary: On the History of Digital Humanities or An Introduction --- Why Oral History? ---  ‘Individuation is There in all the Different Strata:’ an Oral History Conversation between John Burrows, Hugh Craig and Willard McCarty --- ‘It was a Time When the University was Still Taking Account of the Meaning of universitas scientiarum’: an Oral History Conversation between Wilhelm Ott and Julianne Nyhan --- ‘hic Rhodus, hic salta’: An Oral History Interview Between Tito Orlandi and Julianne Nyhan --- ‘They Took a Chance’: An Oral History Conversation between Susan Hockey and Julianne Nyhan ---  ‘And Here We go Back Again to the Influence of Algorithmic Thinking’: An Oral History conversation between Judy Malloy and Julianne Nyhan --- ‘I Would Think of Myself as Sitting Inside the Computer, Moving Things Around in Order to Accomplish the Goal of my Programming’: An Oral History Conversation Between Mary Dee Harris and Julianne Nyhan --- ‘I Was Absolutely Convinced That There Had to be a Better Way’: An Oral History Conversation Between John Nitti and Julianne Nyhan --- ‘It’s a Little Mind-Boggling Actually’: An Oral History Conversation between Helen Agüera and Julianne Nyhan ---  ‘I Heard About the Arrival of the Computer’: An Oral History Conversation Between Hans Rutimann and Julianne Nyhan ---  ‘Langezeit habe ich der Universitaet nachgetrauert’: An Oral History Conversation between Michael Sperberg-McQueen and Julianne Nyhan.-‘It’s Probably the Only Modestly Widely used System with a Command Language in Latin’: An Oral History Conversation Between Manfred Thaller and Julianne Nyhan ---  ‘I was Keen on Getting Computers into Humanists’ Thinking’: An Oral History Conversation Between John Bradley and Julianne Nyhan ---  ‘Moderate Expectations, Tolerable Disappointments’: An Oral History Conversation between Claus Huitfeldt and Julianne Nyhan --- ‘So, Into the Chopper it Went’: An Oral History Conversation between Gabriel Egan and Julianne Nyhan --- Revolutionaries and Underdogs --- By Way of a Conclusion

Description / Table of Contents: Full Research Papers --- Experience Reports --- Empirical Studies Papers --- Doctoral Symposium Papers

Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea

Description / Table of Contents: Introduction --- Part I Potted Review of Economic Theory: The Complex Evolving System --- 1. A Potted Review --- Part II Early Days: From Personal Awareness to Group Commitment --- 2. A personal story of awareness and perception --- 2.1 My first awareness breakthrough --- 2.2 Layers of awareness --- 2.3 My second burst of awareness --- 2.4 Defining a new society for myself --- 2.5 Key human values --- 2.6 Inside = outside --- 2.7 To be and to do --- 2.7 Welfare or wellbeing? --- 2.8 Business transformation --- 2.9 Leadership versus management --- 2.10 STIR Foundation - City of Tomorrow --- 2.11 Sustainocracy --- 2.12 City of Tomorrow --- 2.13 The Amsterdam internet congress --- 2.14 Key elements that define “sustainocratic” AiREAS --- 2.15 AiREAS --- 2.16 Commitment first --- 2.17 Territorial focus --- 2.18 Local AiREAS Eindhoven --- 2.19 First things first --- 2.20 Making visible the invisible --- 2.21 From idea to project --- 2.22 Conclusion about the coming about of AiREAS --- 2.23 Link with ethics and economies --- Part III “The Invisible made Visible”: science and technology --- An introduction by Marco van Lochem --- 3.1 The ILM --- 3.2. Variables measured --- 3.3.3. Instrumentation --- 3.3.1 The Airbox --- 3.3.2 PM (PM10, PM2.5, PM1) sensor --- 3.3.3 UFP sensor --- 3.3.4 Ozone sensor --- 3.3.5 NO2 sensor --- 3.3.6 Temperature sensor and relative humidity sensor --- 3.3.7 Electromagnetic compatibility (EMC) --- 3.3.8 Experiences and recommendations --- 4 Data quality --- 4.1 Regular calibration and preventative maintenance --- 4.2 Experiences and recommendations --- 5 Locations and spatial sampling --- 5.1 Experiences and recommendations --- 6 Data management --- 6.1 The Airbox --- 6.2 Axians (1) --- 6.3 ECN --- 6.4 Axians (2) --- 6.5 Experiences and recommendations --- 7 Results --- 7.1 Initial tests of sensors --- 7.2 Evaluation of sensor precision --- 8 Scientific projects based on the ILM --- Part IV Experiences after 5 years of AiREAS and 1 year of ILM --- 9. The way things work at AiREAS --- 9.1 The workflow in AiREAS --- 9.2 Financial routine in AiREAS --- 9.3 Confidence based interaction --- 9.4 October 2013 general AiREAS participants meeting --- 9.5 Interpreting the ILM data --- 9.6 The transition --- 9.7 Communication --- 9.8 Benchmarking and referencing our practical ideologies --- 9.9 The royalty system --- 9.10 Some of the transformative issues --- 9.11 Conclusion. Index.

Description / Table of Contents: 1.Introduction --- 2. What Political Economy adds to Transformation Research --- 3. Why the Mainstream Economic Paradigm Cannot Inform Sustainability Transformations --- 4. Mapping an Emerging New Economic Paradigm in Practice --- 5. How to Work a Great Mindshift for Sustainability Transformations

Description / Table of Contents: Introduction --- The Jordan Valley --- Projections And Objectives --- Meeting The Strategic Planning Objectives --- The Year 2050 --- Final Conclusions And Recommendations --- Colophon.

Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.

Description / Table of Contents: From the Contents: Overview concepts, approaches and challenges of integrated groundwater management --- Disentangling the complexity of a groundwater dependent socio-ecological system --- The scale of the groundwater issue internationally --- Groundwater law --- Groundwater regulation and integrated water planning

Description / Table of Contents: Cities in Time and Space --- Working --- Housing --- Conclusion Remarks: Urbanization --- the Future

Description / Table of Contents: Part I: Context and Objective --- Introduction: A Critical Appraisal of Major Water Engineering Projects and the Need for Interdisciplinary Approaches --- Water Ethics – Orientation for Water Conflicts as Part of Inter- and Transdisciplinary Deliberation --- Part II: Major Water Engineering Projects – Challenges, Problems, Opportunities.- Major Water Engineering Projects: Definitions, Framework Conditions, Systemic Effects --- A Global View on Future Major Water Engineering Projects --- Neglected Values of Major Water Engineering Projects: Ecosystem Services, Social Impacts and Economic Valuation --- Water Governance: A Systemic Approach --- Research in two Case Studies: Irrigation and Land Use in the Fergana Valley and Water Management in the Lower Jordan Valley --- Part III: The Fergana Valley – Uzbekistan’s Hydro-Agricultural System between Inertia and Change --- Between Multiple Transformations and Systemic Path Dependencies --- From Upscaling to Rescaling – Transforming the Fergana from Tsarist Irrigation to Water Management for an Independent Uzbekistan --- Irrigation Infrastructure in Fergana Today: Ecological Implications –Economic Necessities --- Where Water Meets Agriculture: The Ambivalent Role of the Water Users Associations --- Theory, the Market and the State: Agricultural Reforms in Post Socialist Uzbekistan between Economic Incentives and Institutional Obstacles --- Part IV: The Lower Jordan Valley – The Red Sea-Dead Sea Conveyance Project and its Complex History --- Water Resources, Cooperation and Power Asymmetries in the Water Management of the Lower Jordan Valley – The Situation Today and the Path that has led there --- Reclaiming the Dead Sea: Alternatives for Action --- Jordan’s Shadow State and Water Management: Prospects for Water Security will depend on Politics and Regional Cooperation --- Technologies, Incentives and Cost Recovery: Is there an Israeli Role Model? --- Part V: Outlook and Options for Action --- Lessons Learnt, Open Research Questions and Recommendations

Description / Table of Contents: Introduction to the Assessment --- Past and Current Climate Change --- Past and Current Changes in the North Sea (and interface regions) --- Climate Change Projections --- Impacts of Current and Future Climate Change in Ecosystems --- Climate Impacts on Socio-economy

Description / Table of Contents: Smart algorithms --- Data classification and processing --- Stochastic modelling --- Performance evaluation --- Queuing systems --- Wireless networks and security --- Image processing and computer vision

Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.

Description / Table of Contents: From the Contents: Overview concepts, approaches and challenges of integrated groundwater management --- Disentangling the complexity of a groundwater dependent socio-ecological system --- The scale of the groundwater issue internationally --- Groundwater law --- Groundwater regulation and integrated water planning

Description / Table of Contents: Part I: Context and Objective --- Introduction: A Critical Appraisal of Major Water Engineering Projects and the Need for Interdisciplinary Approaches --- Water Ethics – Orientation for Water Conflicts as Part of Inter- and Transdisciplinary Deliberation --- Part II: Major Water Engineering Projects – Challenges, Problems, Opportunities.- Major Water Engineering Projects: Definitions, Framework Conditions, Systemic Effects --- A Global View on Future Major Water Engineering Projects --- Neglected Values of Major Water Engineering Projects: Ecosystem Services, Social Impacts and Economic Valuation --- Water Governance: A Systemic Approach --- Research in two Case Studies: Irrigation and Land Use in the Fergana Valley and Water Management in the Lower Jordan Valley --- Part III: The Fergana Valley – Uzbekistan’s Hydro-Agricultural System between Inertia and Change --- Between Multiple Transformations and Systemic Path Dependencies --- From Upscaling to Rescaling – Transforming the Fergana from Tsarist Irrigation to Water Management for an Independent Uzbekistan --- Irrigation Infrastructure in Fergana Today: Ecological Implications –Economic Necessities --- Where Water Meets Agriculture: The Ambivalent Role of the Water Users Associations --- Theory, the Market and the State: Agricultural Reforms in Post Socialist Uzbekistan between Economic Incentives and Institutional Obstacles --- Part IV: The Lower Jordan Valley – The Red Sea-Dead Sea Conveyance Project and its Complex History --- Water Resources, Cooperation and Power Asymmetries in the Water Management of the Lower Jordan Valley – The Situation Today and the Path that has led there --- Reclaiming the Dead Sea: Alternatives for Action --- Jordan’s Shadow State and Water Management: Prospects for Water Security will depend on Politics and Regional Cooperation --- Technologies, Incentives and Cost Recovery: Is there an Israeli Role Model? --- Part V: Outlook and Options for Action --- Lessons Learnt, Open Research Questions and Recommendations

Description / Table of Contents: Basic concepts on systems of systems --- interfaces in evolving cyber-physical systems-of-systems --- emergence in cyber-physical systems-of-systems (CPSOSS) --- AMADEOS sysml profile for SoS conceptual modeling --- AMADEOS framework and supporting tools --- time and resilient master clocks in cyber-physical systems --- managing dynamicity in SoS --- case study definition and implementation

Description / Table of Contents: Part I: The Big Data Opportunity --- The Big Data Value Opportunity --- Introduction to the BIG Project --- Part II: The Big Data Value Chain: Enabling and Value Creating Technologies --- The Big Data Value Chain: Definitions, Concepts, and Theoretical Approaches --- Big Data Acquisition --- Big Data Analysis --- Big Data Curation --- Big Data Storage --- Big Data Usage --- Part III: Usage and Exploitation of Big Data --- Big Data Driven Innovation in Industrial Sectors --- Big Data in the Health Sector --- Big Data in the Public Sector --- Big Data in the Finance and Insurance Sectors --- Big Data in the Energy and Transport Sectors --- Big Data in the Media and Entertainment Sectors --- Part IV: A Roadmap for Big Data Research --- Cross-Sectorial Requirements Analysis for Big Data Research --- New Horizons for a Data-Driven Economy: Roadmaps and Action Plans for Technology, Businesses, Policy, and Society.                        

Description / Table of Contents: Chapter 1. Environmental Governance of the Baltic Sea: Identifying Key Challenges Research Topics and Analytical Approaches. Part 1: Interdisciplinary Case Studies of Environmental Governance --- Chapter 2. Eutrophication and the Ecosystem Approach to Management: A Case Study of Baltic Sea Environmental Governance --- Chapter 3. Fisheries: A Case Study of Baltic Sea Environmental Governance --- Chapter 4. Biological Invasions: a Case Study of Baltic Sea Environmental Governance --- Chapter 5. Governance of Chemicals in the Baltic Sea Region: A Study of Three Generations of Hazardous Substances --- Chapter 6. Oil Spills from Shipping: A Case Study of the Governance of Accidental Hazards and Intentional Pollution in the Baltic Sea --- Part 2: Cross-Case Analysis of Key Environmental Governance Challenges --- Chapter 7. The Ecosystem Approach to Management in Baltic Sea Governance: Towards Increased Reflexivity? --- Chapter 8. Science-Policy Interfaces in Baltic Sea Environmental Governance: Towards Regional Cooperation and Management of Uncertainty? --- Chapter 9. Risk Communication and the Role of the Public: Towards Inclusive Environmental Governance of the Baltic Sea? --- Chapter 10. Seeking Pathways Towards Improved Environmental Governance of the Baltic Sea

Description / Table of Contents: Introduction: Understanding the Complexities of Eating, Drinking, and Surviving --- Globalization and Malnutrition: Geographical Perspectives on Its Paradoxes --- Drinking Water --- The Politics and Consequences of Virtual Water Export --- Integrated Water Resources Management as a New Approach to Water Security --- Surviving as an Unequal Community: WASH for Those on the Margins --- Challenges to Food Security in a Changing World --- Moral Economies of Food in the Socialist/Post-socialist World --- The Nutrition Transition in Developing Asia: Dietary Change, Drivers and Health Impacts. Food Sovereignty and the Possibilities for an Equitable, Just and Sustainable Food System --- Food Security and Food Waste

Description / Table of Contents: 1.Introduction --- 2. What Political Economy adds to Transformation Research --- 3. Why the Mainstream Economic Paradigm Cannot Inform Sustainability Transformations --- 4. Mapping an Emerging New Economic Paradigm in Practice --- 5. How to Work a Great Mindshift for Sustainability Transformations

Description / Table of Contents: Long-term Climate Change: Climatic Change during the Holocene (Past 12,000 Years) --- The Historical Timeframe (Past 1000 Years) --- Recent Climate Change (Past 200 years): Recent Change – Atmosphere --- Recent Change – River Runoff --- Recent Change – Terrestrial Cryosphere --- Recent Change – Marine Circulation and Stratification --- Recent Change – Sea Ice --- Recent Change – Sea Level and Wind Waves --- Future Climate Change: Projected Change – Models and Methodology --- Projected Change – Atmosphere --- Projected Change – Hydrology --- Projected Change – Marine Physics --- Projected Change – Sea Level --- Environmental Impacts of Climate Change: Environmental Impacts – Atmospheric Chemistry --- Environmental Impacts – Coastal Ecosystems, Birds and Forests --- Environmental Impacts – Freshwater Biogeochemistry --- Environmental Impacts – Marine Biogeochemistry --- Environmental Impacts – Marine Ecosystems --- Environmental Impacts – Coastal Erosion and Changing Coastlines --- Socio-Economic Impacts of Climate Change: Socio-Economic Impacts – Forestry and Agriculture --- Socio-Economic Impacts – Urban Settlements --- Drivers of Regional Climate Change: Evidence of Warming --- Regional Change Drivers – Aerosols --- Regional Change Drivers – Land Cover

Description / Table of Contents: Wetlands and Water Framework Directive: protection, management and climate change --- Synergies and Conflicts between Water Framework Directive and Natura 2000: Legal requirements, technical guidance and experiences from practice --- Can Natura 2000 Sites Benefit from River Basin Management Planning Under a Changing Climate? Lessons from Germany --- Do water management and climate-adapted management of wetlands interfere in practice? Lessons from the Biebrza Valley, Poland --- Wetlands in river valleys as an effect of fluvial processes and anthropopression --- New vision of the role of land reclamation systems in nature protection and water management