Materias: “…Computational complexity…”

Tabla de Contenidos: “…Practice : hands-on CODA using Java component models -- part III. Paradigm : component testing, business application case study, and tools…”

Tabla de Contenidos: “…4.4.6 MAC Design/Selection and Implementation -- 4.4.6.1 Real-time/deterministic MACs -- 4.4.6.2 Low-power MACs -- 4.4.6.3 High level protocols for error mitigation -- 4.4.7 System Validation -- 4.4.7.1 Channel emulation -- 4.4.7.2 Performance tests -- 4.5 Intelligent Functions in the Sensors and Edge Servers -- 4.5.1 Intelligent Function: Self-Calibration -- 4.5.1.1 Practical application: Press machine torque sensor -- 4.5.1.2 Practical application: X-ray tube cathode filament monitoring -- 4.5.1.3 Practical application: Compressed air system -- 4.5.2 Intelligent Function: Self-Testing (Self-Validating) -- 4.5.2.1 Practical application: Oil tank system -- 4.5.2.2 Practical application: Air and water flow and temperature sensor -- 4.5.2.3 Practical application: Sensors for the photovoltaic plants -- 4.5.3 Intelligent Function: Self-Diagnostics -- 4.5.3.1 Practical application: Environmental parameters -- 4.5.3.2 Practical application: Intelligent process performance indicator -- 4.5.4 Smart Function: Formatting -- 4.5.4.1 Practical applications: Compressed air system -- 4.5.5 Smart Function: Enhancement -- 4.5.5.1 Practical application: Air and water flow and temperature -- 4.5.5.2 Practical application: Railway strain sensor -- 4.5.5.3 Practical application: Conventional energy production -- 4.5.6 Smart Function: Transformation -- 4.5.6.1 Practical application: Pressure drop estimation -- 4.5.7 Smart Function: Fusion -- 4.5.7.1 Practical application: Off-road and special purpose vehicle -- 4.5.7.2 Practical application: MR magnet monitoring (e-Alert sensor) -- 4.5.7.3 Practical application: MR critical components -- References -- Chapter 5 - Providing Proactiveness: Data Analysis Techniques Portfolios -- 5.1 Introduction -- 5.2 Root Cause Failure Analysis -- 5.2.1 Theoretical Background -- 5.2.2 Techniques Catalogue -- 5.2.2.1 Support vector machine…”

Materias: “…Cooperating objects (Computer systems)…”

Materias: “…Cooperating objects (Computer systems)…”

Tabla de Contenidos: “…Front Cover; Dedication; Contents; List of Figures; List of Tables; Preface; Chapter 1: Introduction; Part I: BACKGROUND; Chapter 2: Graph Theory; Chapter 3: Algorithms and Complexity; Chapter 4: Analysis of Complex Networks; PART II: ALGORITHMS; Chapter 5: Distance and Centrality; Chapter 6: Special Subgraphs; Chapter 7: Data Clustering; Chapter 8: Graph-based Clustering; Chapter 9: Network Motif Discovery; APPLICATIONS III; Chapter 10: Protein InteractionNetworks; Chapter 11: Social Networks; Chapter 12: The Internet and the Web; Chapter 13: Ad hocWireless Networks; Back Cover…”

Materias:

Materias: “…Cooperating objects (Computer systems) Mathematical models…”

Tabla de Contenidos: “…Intro -- ETAPS Foreword -- Preface -- Organization -- Formal Methods for Evolving Database Applications (Abstract of Keynote Talk) -- Contents -- Trace-Relating Compiler Correctness and Secure Compilation -- Introduction -- Trace-Relating Compiler Correctness -- Property Mappings -- Trace Relations and Property Mappings -- Preservation of Subset-Closed Hyperproperties -- Instances of Trace-Relating Compiler Correctness -- Undefined Behavior -- Resource Exhaustion -- Different Source and Target Values -- Abstraction Mismatches -- Trace-Relating Compilation and Noninterference Preservation -- Trace-Relating Secure Compilation -- Trace-Relating Secure Compilation: A Spectrum of Trinities -- Instance of Trace-Relating Robust Preservation of Trace Properties -- Instances of Trace-Relating Robust Preservation of Safety and Hypersafety -- Related Work -- Conclusion and Future Work -- Acknowledgements -- Bibliography -- Runners in action -- 1 Introduction -- 2 Algebraic effects, handlers, and runners -- 2.1 Algebraic effects and handlers -- 2.2 Runners -- 3 Programming with runners -- 3.1 The user and kernel monads -- 3.2 Runners as a programming construct -- 4 A calculus for programming with runners -- 4.1 Types -- 4.2 Values and computations -- 4.3 Type system -- 4.4 Equational theory -- 5 Denotational semantics -- 5.1 Semantics of types -- 5.2 Semantics of values and computations -- 5.3 Coherence, soundness, and finalisation theorems -- 6 Runners in action -- 7 Implementation -- 8 Related work -- 9 Conclusion and future work -- References -- On the Versatility of Open Logical Relations -- 1 Introduction -- 2 The Playground -- 3 A Fundamental Gap -- 4 Warming Up: A Containment Theorem -- 5 Automatic Differentiation -- 6 On Refinement Types and Local Continuity -- 6.1 A Refinement Type System Ensuring Local Continuity -- 6.2 Basic Typing Rules…”