436 followers
New book chapter as a collaboration of Prof. Bishop with @stonybrooku: "From Automated MRI Scan to Finite Elements". Never forget the vessels! 🤓📖: https://t.co/cLZg8rURWy https://t.co/Nuyt9iyLFr
From Reactive Systems to Cyber-Physical Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Scott Smolka and Me
-
Altmetric BadgeChapter 2 A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology Models
-
Altmetric BadgeChapter 3 From Automated MRI Scan to Finite Elements
-
Altmetric BadgeChapter 4 Formalizing Requirements Is $$\Diamond \Box $$ Hard
-
Altmetric BadgeChapter 5 Invisible Invariants Are Neither
-
Altmetric BadgeChapter 6 A Refinement Proof for a Garbage Collector
-
Altmetric BadgeChapter 7 Model Repair Revamped
-
Altmetric BadgeChapter 8 Generating Hard Benchmark Problems for Weak Bisimulation
-
Altmetric BadgeChapter 9 Robustness of Neural Networks to Parameter Quantization
-
Altmetric BadgeChapter 10 Model-Based Energy Characterization of IoT System Design Aspects
-
Altmetric BadgeChapter 11 A Logic-Inspired Approach to Reconfigurable System Modelling
-
Altmetric BadgeChapter 12 Topological Interpretation of Interactive Computation
-
Altmetric BadgeChapter 13 Conformal Predictions for Hybrid System State Classification
-
Altmetric BadgeChapter 14 Control Synthesis Through Deep Learning
-
Altmetric BadgeChapter 15 The Cost of Monitoring Alone
-
Altmetric BadgeChapter 16 Runtime Verification of Parametric Properties Using SMEDL