Format:
Table of Contents: “...Intro -- Contents -- Preface -- Introduction of keynote speakers -- Part I: Computer Science...”
Click to View

Format:
Table of Contents: “... Issues with Detector Models -- References -- Learning Assumptions for Compositional Verification of Timed...”
Click to View

Format:
Table of Contents: “... Data and Computation Models -- 3 Quantum Classification Algorithms -- 3.1 Basic Definitions -- 3...”
Click to View

Format:
Table of Contents: “... Covariance -- 1 Introduction -- 2 Theoretical Results -- 3 A Discrete-in-Time and Continuous-in-Space...”
Click to View

Format:
Table of Contents: “... Introduction -- 2 Overview -- 3 Periodic Programs -- 4 Data Races -- 5 Response Time and its Computation -- 5...”
Click to View

Format:
Table of Contents: “... -- Game Theory -- A Game for Linear-time-Branching-time Spectroscopy -- 1 Introduction -- 2 Preliminaries...”
Click to View

Format:
Table of Contents: “... Introduction -- 2 QAE by Example -- 3 (Quantitative) Abstract Execution -- 3.1 Abstract Execution with Abstract...”
Click to View

Format:
Table of Contents: “....3 The GJR-GARCH Model -- 3 Data -- 4 Empirical Result -- 4.1 Time Series Unit Root Test -- 4.2 Model...”
Click to View

Format:
Table of Contents: “... Graphical modeling of RRIS -- 5 Compilation in Timed SMV -- 6 Simplification of RRIS models -- 6...”
Click to View

Format:
Table of Contents: “...Intro -- Foreword -- References -- Contents -- Chapter 1: Introduction: Studying Birds in Time...”
Click to View

Format:
Table of Contents: “... of the Steel Series -- 2.4.3 Austenite ↔ ατ̔̈2032;-Martensite Transformation Behavior -- 2.4.4 Mechanical...”
Click to View

Format:
Table of Contents: “... Quality Criteria -- 3 Key Metrics -- Application of Surface Modeling in Appearance Design of Creative...”
Click to View

Format:
Table of Contents: “... as Follows -- 2 Embarking from Qualitative to Quantitative Sciences -- 3 Practices of Data Collection...”
Click to View

Format:
Table of Contents: “... in Decision-Making Theories and Geographies of Science: Improvements in the Understanding of Relations Between...”
Click to View

Format:
Table of Contents: “... Models -- 4.2 Event Logs -- 4.3 Implementation -- 4.4 Quantitative Metrics Results -- 5 Conclusion...”
Click to View

Format:
Table of Contents: “...4.3.3.1 Characterisation of missing values -- 4.3.3.2 Single time series imputation: Various...”
Click to View

Format:
Table of Contents: “....4.3 E-voting -- 4.4.3.1 Legal Theory and Computer Science -- 4.4.3.2 Socio-political Issues -- 4...”
Click to View

Format:
Table of Contents: “... -- Seasonality and Future Changes in Phytoplankton Communities -- Time Series Monitoring of Phytoplankton...”
Click to View

Format:
Table of Contents: “... Cover Maps Series/Land Use Cover Changes -- 5 Validation of Land Use Cover Change Modelling Exercises...”
Click to View

Format:
Table of Contents: “... as Diversity Typologies -- 6.3 Positioning Effect -- 6.4 Modelling Position Effects -- 6.5 Present Study...”
Click to View