ALBERT

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

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

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

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

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

Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM

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

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: Introduction.-  Experimental Materials and Equipment --- The Mechanism and Predicting Theory-Based Rockburst Evolution --- Three-dimensional Reconstruction Model and Numerical Simulation of Rock Fissures.- The Patterns of Dynamic Evolution of Cracks in Rock Failure.- Experiment Investigation of AE Precursor Information for Rockburst --- Experimental Investigations on Multi-means and Synergistic Prediction for Rockburst --- Predicting Model of Rockburst Based on Nondeterministic Theory --- Field Case

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

Description / Table of Contents: 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: 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: 1 Introduction --- Part I Business Operation Support --- 2 Subject-Oriented Business Processes Meet Strategic Management: Two Case Studies from the Manufacturing Industry --- 3 Communication- and Value-Based Organizational Development at the University Clinic for Radiotherapy-Radiation Oncology --- 4 Introducing S-BPM at an IT Service Providers --- 5 A Service Hardware Application Case Fiducia --- 6 Designing an Agile Process Layer for Competitive Differentiation --- Part II Consultancy and Education Support --- 7 Model as You Do: Engaging an S-BPM Vendor on Process Modelling in 3D Virtual Worlds --- 8 A Tangible Modeling Interface for Subject-Oriented Business Process Management --- 9 A Reference Model for Maintenance Processes --- 10 Role and Rights Management --- 11 Embodying Business Rules in S-BPM --- 12 Agents Implementing Subject Behaviour: A Manufacturing Scenario --- Part III Technical Execution Support --- 13 An Abstract State Machine Interpreter for S-BPM --- 14 Structured Communication—Approaching S-BPM with Microsoft Technologies --- 15 ERP Integration in S-BPM Processes

Description / Table of Contents: Part I: Artistic Contributions --- The Computer Age --- Odes to Ted Nelson --- Part II: Peer Histories --- The Two-eyed Man --- Ted Nelson’s Xanadu—Caution: Four Letter Words Ahead --- Hanging Out with Ted Nelson --- Riffing on Ted Nelson—Hypermind --- Intertwingled Inspiration --- An Advanced Book for Beginners --- Part III: Hypertext and Ted Nelson-Influenced Research --- The Importance of Ted’s Vision --- Data, Metadata and Ted --- Making Links: Everything Really is Deeply Intertwingled --- Ted Nelson --- History Debugged --- We Can and Must Understand Computers NOW --- The Future of Transclusion --- Ted Nelson: A Critical (and Critically Incomplete) Bibliography --- Part IV: The Last Word --- What Box?

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: Machine learning techniques provide cost-effective alternatives to traditional methods for extracting underlying relationships between information and data and for predicting future events by processing existing information to train models. Efficient Learning Machines explores the major topics of machine learning, including knowledge discovery, classifications, genetic algorithms, neural networking, kernel methods, and biologically-inspired techniques. Mariette Awad and Rahul Khanna’s synthetic approach weaves together the theoretical exposition, design principles, and practical applications of efficient machine learning. Their experiential emphasis, expressed in their close analysis of sample algorithms throughout the book, aims to equip engineers, students of engineering, and system designers to design and create new and more efficient machine learning systems. Readers of Efficient Learning Machines will learn how to recognize and analyze the problems that machine learning technology can solve for them, how to implement and deploy standard solutions to sample problems, and how to design new systems and solutions. Advances in computing performance, storage, memory, unstructured information retrieval, and cloud computing have coevolved with a new generation of machine learning paradigms and big data analytics, which the authors present in the conceptual context of their traditional precursors. Awad and Khanna explore current developments in the deep learning techniques of deep neural networks, hierarchical temporal memory, and cortical algorithms. Nature suggests sophisticated learning techniques that deploy simple rules to generate highly intelligent and organized behaviors with adaptive, evolutionary, and distributed properties. The authors examine the most popular biologically-inspired algorithms, together with a sample application to distributed datacenter management. They also discuss machine learning techniques for addressing problems of multi-objective optimization in which solutions in real-world systems are constrained and evaluated based on how well they perform with respect to multiple objectives in aggregate. Two chapters on support vector machines and their extensions focus on recent improvements to the classification and regression techniques at the core of machine learning

Description / Table of Contents: Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outlines the power and performance impact of these features and the role firmware and software play in initialization and control. Using examples from cloud, HPC, and enterprise environments, the book demonstrates how various power management technologies are utilized across a range of server utilization. It teaches the reader how to monitor, analyze, and optimize their environment to best suit their needs. It shares optimization techniques used by data center administrators and system optimization experts at the world’s most advanced data centers

Description / Table of Contents: Embedded Firmware Solutions is the perfect introduction and daily-use field guide--for the thousands of firmware designers, hardware engineers, architects, managers, and developers--to Intel’s new firmware direction (including Quark coverage), showing how to integrate Intel® Architecture designs into their plans. Featuring hands-on examples and exercises using Open Source codebases, like Coreboot and EFI Development Kit (tianocore) and Chromebook, this is the first book that combines a timely and thorough overview of firmware solutions for the rapidly evolving embedded ecosystem with in-depth coverage of requirements and optimization

Description / Table of Contents: Part I: DevOps: Conflict to Collaboration --- Chapter 1: DevOps in the Ascendency --- Chapter 2: IT Impasse --- Chapter 3: DevOps Foundations --- Part II: Essential DevOps Tooling --- Chapter 4: Build: DevOps Driven APIs --- Chapter 5: Test: Championing Quality - Continuously --- Chapter 6: Deploy --- Chapter 7: Manage: Agile Operations --- Part III: Tuning and Continuous Improvement --- Chapter 8: Practical DevOps --- Chapter 9: DevOps and Real World ROI --- Chapter 10: Ready, Set, DevOps!

Description / Table of Contents: Chapter 1 Introduction --- Chapter 2 Misperception of Risk --- Chapter 3 Governance and Internal Partnerships --- Chapter 4 External Partnerships --- Chapter 5 People Are the Perimeter --- Chapter 6 Emerging Capabilities and Usage Models --- Chapter 7 A New Security Architecture to Improve Business Agility --- Chapter 8 Looking to the Future --- Chapter 9 Corporate Social Responsibility --- Chapter 10 The 21st Century CISO --- Chapter 11 Performance Coaching --- Appendix A: References.

Description / Table of Contents: Introduction: concept of TAIGA --- Geochemical constraints on potential biomass sustained by subseafloor water-rock interactions --- Microbial cell densities, community structures, and growth in the hydrothermal plumes of subduction hydrothermal systems --- Systematics of distributions of various elements between ferromanganese oxides and seawater from natural observation, thermodynamics, and structures --- Evaluating hydrothermal system evolution using geochronological dating and biological diversity analyses --- Quantification of microbial communities in hydrothermal vent habitats of the Southern Mariana Trough and the Mid-Okinawa Trough --- Development of hydrothermal and frictional experimental systems to simulate sub-seafloor water–rock–microbe interactions --- Experimental hydrogen production in hydrothermal and fault systems: Significance for habitability of subseafloor H2 chemoautotroph microbial ecosystems --- Experimental assessment of microbial effects on chemical interaction between seafloor massive sulfides and seawater at 4℃ --- A compilation of the stable isotopic compositions of carbon, nitrogen, and sulfur in soft body parts of animals collected from deep-sea hydrothermal vent and methane seep fields: variations in energy source and importance of subsurface microbial processes in the sediment-hosted systems --- Tectonic background of four hydrothermal fields along the Central Indian Ridge --- Indian Ocean hydrothermal systems: seafloor hydrothermal activities, physical and chemical characteristics of hydrothermal fluids, and vent-associated biological communities --- Petrology and geochemistry of mid-ocean ridge basalts from the southern Central Indian Ridge --- Petrology of peridotites and related gabbroic rocks around the Kairei-hydrothermal field in the Central Indian Ridge --- Distribution and Biogeochemical Properties of Hydrothermal Plumes in the Rodriguez Triple Junction --- Vent fauna in the Central Indian Ridge --- The mantle dynamics, the crustal formation, and the hydrothermal activity of the Southern Mariana Trough back-arc Basin --- Seismic structure and seismicity in the Southern Mariana Trough and their relation to hydrothermal activity --- Electrical resistivity structure of the Snail site at the Southern Mariana Trough spreading center --- Asymmetric seafloor spreading of the southern Mariana Trough back-arc basin --- Geochemical characteristics of active backarc basin volcanisms at the southern end of Mariana Trough --- Mineralogical and geochemical characteristics of hydrothermal minerals collected from hydrothermal vent fields in the Southern Mariana spreading center --- Dating of hydrothermal mineralization in active hydrothermal fields in the Southern Mariana Trough --- Intra-field variation of prokaryotic communities on and below the seafloor in the back-arc hydrothermal system of the Southern Mariana Trough --- Vent fauna in the Mariana Trough --- Population history of a hydrothermal vent-endemic snail Alviniconcha hessleri in the Mariana Trough --- Hydrothermal activity in the Okinawa Trough backarc basin -geological background and hydrothermal mineralization- --- Active rifting structures in Iheya Graben and adjacent area of the mid-Okinawa Trough observed through seismic reflection surveys --- ESR dating of barite in sea-floor hydrothermal sulfide deposits in the Okinawa Trough --- Fluid geochemistry of high-temperature hydrothermal fields in the Okinawa Trough --- Sediment‒pore water system associated with native sulfur formation at Jade hydrothermal field in Okinawa Trough --- Comparative investigation of microbial communities associated with hydrothermal activities in the Okinawa Trough --- In situ determination of bacterial growth in mixing zone of hydrothermal vent field on the Hatoma Knoll, Southern Okinawa Trough --- Vent Fauna in the Okinawa Trough --- Brief report of side-scan sonar observations around the Yokoniwa NTO massif --- Examination of volcanic activity: AUV and submersible observations of fine-scale lava flow distributions along the Southern Mariana Trough spreading axis --- Brief report of side-scan sonar imagery observations of the Archaean, Pika, and Urashima hydrothermal sites --- The Yoron Hole: the shallowest hydrothermal site in the Okinawa Trough --- The Irabu Knoll: Hydrothermal site at the eastern edge of the Yaeyama Graben --- Tarama Knoll: Geochemical and biological profiles of hydrothermal activity --- Petrography and geochemistry of basement rocks drilled from Snail, Yamanaka, Archean, and Pika hydrothermal fields at the Southern Mariana Trough by Benthic Multi-coring System (BMS) --- Pore fluid chemistry beneath active hydrothermal fields in the mid-Okinawa Trough: Results of shallow drilling by BMS during TAIGA11 cruise --- The characteristics of the seafloor massive sulfide deposits at the Hakurei Site in the Izena Hole, the Middle Okinawa Trough --- Occurrence of hydrothermal alteration minerals at the Jade hydrothermal field, in the Izena Hole, mid-Okinawa Trough --- Geochemistry of hydrothermal fluids collected from active hydrothermal systems in the southern Mariana Trough backarc spreading center --- Gamma ray doses in water around sea floor hydrothermal area in South Mariana --- 226Ra-210Pb and 228Ra-228Th dating of barite in submarine hydrothermal sulfide deposits collected at Okinawa Trough and South Mariana Trough --- OSL dating of sea floor sediments at the Okinawa Trough --- Immediate change of radiation doses from hydrothermal deposits --- Periodic behavior of deep sea current in the Hatoma Knoll hydrothermal system --- The gelatinous macroplankton community at the Hatoma Knoll hydrothermal vent

Description / Table of Contents: A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code. The book includes instructions for the available execution environments and real code examples to get readers up and talking to the TPM quickly. The authors then help the users expand on that with pseudo-code descriptions of useful applications using the TPM

Description / Table of Contents: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)

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

Description / Table of Contents: 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: Introduction.-  Experimental Materials and Equipment --- The Mechanism and Predicting Theory-Based Rockburst Evolution --- Three-dimensional Reconstruction Model and Numerical Simulation of Rock Fissures.- The Patterns of Dynamic Evolution of Cracks in Rock Failure.- Experiment Investigation of AE Precursor Information for Rockburst --- Experimental Investigations on Multi-means and Synergistic Prediction for Rockburst --- Predicting Model of Rockburst Based on Nondeterministic Theory --- Field Case

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: 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: 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

Description / Table of Contents: 1. Supershear Earthquake Ruptures --- Theory, Methods, Laboratory Experiments and Fault Superhighways: An Update.- 2. Civil Protection Achievements and Critical Issues in Seismology and Earthquake Engineering Research.- 3. Earthquake Risk Assessment: Certitudes, Fallacies, Uncertainties and the Quest for Soundness.- 4. Variability and Uncertainty in Empirical Ground-Motion Prediction for Probabilistic Hazard and Risk Analyses.- 5. Seismic Code Developments for Steel and Composite Structures.- 6. Seismic Analyses and Design of  Foundation Soil Structure Interaction.- 7. Performance-based Seismic Design and Assessment of Bridges.- 8. An Algorithm to Justify the Design of Single Story Precast Structures.- 9. Developments in Seismic Design of Tall Buildings: Preliminary Design of Coupled Core Wall Systems --- 10. Seismic Response of  Underground Lifeline Systems.- 11. Seismic Performance of Historical Masonry Structures Through Pushover and Nonlinear Dynamic Analyses.- 12. Developments in Ground Motion Predictive Models and Accelerometric Data Archiving in the Broader European Region --- 13. Towards the “Ultimate Earthquake-proof” Building: Development of an Integrated Low-damage System.- 14. Archive of Historical Earthquake Data for the European-Mediterranean Area --- 15. A Review and Some New Issues on the Theory of  the H/V Technique for Ambient Vibrations.- 16. Macroseismic Intervention Group: The Necessary Field Observation.- 17. Bridging the Gap Between Nonlinear Seismology as Reality and Earthquake Engineering --- 18. The Influence of Earthquake Magnitude on Hazard Related to Induced Seismicity.- 19. On the Origin of Mega-thrust Earthquakes.  

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: 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: Innovative Technologies for an Engaging Classroom (iTEC) --- Development of the Future Classroom Toolkit --- Designing Edukata, a Participatory Design Model for Creating Learning Activities --- The iTEC Technical Artefacts, Architecture and Educational Cloud --- The Composer: Creating, Sharing and Facilitating Learning Designs --- Recommender Systems --- Resources beyond Content for Open Education --- The iTEC Widget Store --- The Impact and Potential of iTEC: Evidence from large-scale Validation in School Classrooms

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: 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: 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: 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: Full Research Papers --- Experience Reports --- Empirical Studies Papers --- Doctoral Symposium Papers

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: Approaches to Unsupervised Machine Learning --- Methods of Visualization of High-Dimensional Data --- Quality Assessments of Visualizations --- Behavior-Based Systems in Data Science --- Databionic Swarm (DBS)

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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 1. Supershear Earthquake Ruptures --- Theory, Methods, Laboratory Experiments and Fault Superhighways: An Update.- 2. Civil Protection Achievements and Critical Issues in Seismology and Earthquake Engineering Research.- 3. Earthquake Risk Assessment: Certitudes, Fallacies, Uncertainties and the Quest for Soundness.- 4. Variability and Uncertainty in Empirical Ground-Motion Prediction for Probabilistic Hazard and Risk Analyses.- 5. Seismic Code Developments for Steel and Composite Structures.- 6. Seismic Analyses and Design of  Foundation Soil Structure Interaction.- 7. Performance-based Seismic Design and Assessment of Bridges.- 8. An Algorithm to Justify the Design of Single Story Precast Structures.- 9. Developments in Seismic Design of Tall Buildings: Preliminary Design of Coupled Core Wall Systems --- 10. Seismic Response of  Underground Lifeline Systems.- 11. Seismic Performance of Historical Masonry Structures Through Pushover and Nonlinear Dynamic Analyses.- 12. Developments in Ground Motion Predictive Models and Accelerometric Data Archiving in the Broader European Region --- 13. Towards the “Ultimate Earthquake-proof” Building: Development of an Integrated Low-damage System.- 14. Archive of Historical Earthquake Data for the European-Mediterranean Area --- 15. A Review and Some New Issues on the Theory of  the H/V Technique for Ambient Vibrations.- 16. Macroseismic Intervention Group: The Necessary Field Observation.- 17. Bridging the Gap Between Nonlinear Seismology as Reality and Earthquake Engineering --- 18. The Influence of Earthquake Magnitude on Hazard Related to Induced Seismicity.- 19. On the Origin of Mega-thrust Earthquakes.  

Description / Table of Contents: Satellite Earth Observations in Environmental Problem-Solving --- Policy and Earth Observation Innovation Cycle (PEOIC) Project (Japan) --- Innovation in Earth Observations as a National Strategic Investment: The Experience of the U.S --- Benefits Assessment of Applied Earth Science --- ESA’s Earth Observation Strategy and Copernicus --- Earth Observation--UK Perspective and Policy --- Benefit Assessment of the Application of Satellite Earth Observation for Society and Policy: Assessing the Socio-economic Impacts of the Development of Downstream, Space-based Earth Observation Applications --- Chinese Earth Observation Program and Policy --- Greenhouse Gas Observation from Space --- Japanese Satellite Earth Observation: Status and Policy Issues --- The New 10-Year GEOSS Strategy for 2016 and Beyond --- The Value of Global Earth Observations --- Earth Observation Support to the UN Framework Convention on Climate Change: The Example of REDD+ --- Quantitative Assessment of the Earth Observation Data and Methods Used to Generate Reference Emission Levels for REDD+ --- Evaluation of Space Programs: Select Findings from the OECD Space Forum --- Integrating Earth Observation Systems and International Environmental Regimes --- Conclusion

Description / Table of Contents: Introduction: concept of TAIGA --- Geochemical constraints on potential biomass sustained by subseafloor water-rock interactions --- Microbial cell densities, community structures, and growth in the hydrothermal plumes of subduction hydrothermal systems --- Systematics of distributions of various elements between ferromanganese oxides and seawater from natural observation, thermodynamics, and structures --- Evaluating hydrothermal system evolution using geochronological dating and biological diversity analyses --- Quantification of microbial communities in hydrothermal vent habitats of the Southern Mariana Trough and the Mid-Okinawa Trough --- Development of hydrothermal and frictional experimental systems to simulate sub-seafloor water–rock–microbe interactions --- Experimental hydrogen production in hydrothermal and fault systems: Significance for habitability of subseafloor H2 chemoautotroph microbial ecosystems --- Experimental assessment of microbial effects on chemical interaction between seafloor massive sulfides and seawater at 4℃ --- A compilation of the stable isotopic compositions of carbon, nitrogen, and sulfur in soft body parts of animals collected from deep-sea hydrothermal vent and methane seep fields: variations in energy source and importance of subsurface microbial processes in the sediment-hosted systems --- Tectonic background of four hydrothermal fields along the Central Indian Ridge --- Indian Ocean hydrothermal systems: seafloor hydrothermal activities, physical and chemical characteristics of hydrothermal fluids, and vent-associated biological communities --- Petrology and geochemistry of mid-ocean ridge basalts from the southern Central Indian Ridge --- Petrology of peridotites and related gabbroic rocks around the Kairei-hydrothermal field in the Central Indian Ridge --- Distribution and Biogeochemical Properties of Hydrothermal Plumes in the Rodriguez Triple Junction --- Vent fauna in the Central Indian Ridge --- The mantle dynamics, the crustal formation, and the hydrothermal activity of the Southern Mariana Trough back-arc Basin --- Seismic structure and seismicity in the Southern Mariana Trough and their relation to hydrothermal activity --- Electrical resistivity structure of the Snail site at the Southern Mariana Trough spreading center --- Asymmetric seafloor spreading of the southern Mariana Trough back-arc basin --- Geochemical characteristics of active backarc basin volcanisms at the southern end of Mariana Trough --- Mineralogical and geochemical characteristics of hydrothermal minerals collected from hydrothermal vent fields in the Southern Mariana spreading center --- Dating of hydrothermal mineralization in active hydrothermal fields in the Southern Mariana Trough --- Intra-field variation of prokaryotic communities on and below the seafloor in the back-arc hydrothermal system of the Southern Mariana Trough --- Vent fauna in the Mariana Trough --- Population history of a hydrothermal vent-endemic snail Alviniconcha hessleri in the Mariana Trough --- Hydrothermal activity in the Okinawa Trough backarc basin -geological background and hydrothermal mineralization- --- Active rifting structures in Iheya Graben and adjacent area of the mid-Okinawa Trough observed through seismic reflection surveys --- ESR dating of barite in sea-floor hydrothermal sulfide deposits in the Okinawa Trough --- Fluid geochemistry of high-temperature hydrothermal fields in the Okinawa Trough --- Sediment‒pore water system associated with native sulfur formation at Jade hydrothermal field in Okinawa Trough --- Comparative investigation of microbial communities associated with hydrothermal activities in the Okinawa Trough --- In situ determination of bacterial growth in mixing zone of hydrothermal vent field on the Hatoma Knoll, Southern Okinawa Trough --- Vent Fauna in the Okinawa Trough --- Brief report of side-scan sonar observations around the Yokoniwa NTO massif --- Examination of volcanic activity: AUV and submersible observations of fine-scale lava flow distributions along the Southern Mariana Trough spreading axis --- Brief report of side-scan sonar imagery observations of the Archaean, Pika, and Urashima hydrothermal sites --- The Yoron Hole: the shallowest hydrothermal site in the Okinawa Trough --- The Irabu Knoll: Hydrothermal site at the eastern edge of the Yaeyama Graben --- Tarama Knoll: Geochemical and biological profiles of hydrothermal activity --- Petrography and geochemistry of basement rocks drilled from Snail, Yamanaka, Archean, and Pika hydrothermal fields at the Southern Mariana Trough by Benthic Multi-coring System (BMS) --- Pore fluid chemistry beneath active hydrothermal fields in the mid-Okinawa Trough: Results of shallow drilling by BMS during TAIGA11 cruise --- The characteristics of the seafloor massive sulfide deposits at the Hakurei Site in the Izena Hole, the Middle Okinawa Trough --- Occurrence of hydrothermal alteration minerals at the Jade hydrothermal field, in the Izena Hole, mid-Okinawa Trough --- Geochemistry of hydrothermal fluids collected from active hydrothermal systems in the southern Mariana Trough backarc spreading center --- Gamma ray doses in water around sea floor hydrothermal area in South Mariana --- 226Ra-210Pb and 228Ra-228Th dating of barite in submarine hydrothermal sulfide deposits collected at Okinawa Trough and South Mariana Trough --- OSL dating of sea floor sediments at the Okinawa Trough --- Immediate change of radiation doses from hydrothermal deposits --- Periodic behavior of deep sea current in the Hatoma Knoll hydrothermal system --- The gelatinous macroplankton community at the Hatoma Knoll hydrothermal vent