Satellite-Based Diagnosis and Numerical Verification of Ozone Formation Regimes over Nine Megacities in East Asia.
Hyo-Jung LeeLimseok ChangDaniel A. JaffeJuseon BakXiong LiuGonzalo Gonzalez AbadHyun-Young JoYu-Jin JoJae-Bum LeeGeum-Hee YangJong-Min KimCheol-Hee KimPublished in: Remote. Sens. (2022)
Keyphrases
- remote sensing
- model checking
- model based diagnosis
- multiple faults
- safety analysis
- air quality
- fault diagnosis
- data sets
- north america
- numerical analysis
- neural network
- diagnostic reasoning
- formal verification
- medical diagnosis
- sensitivity analysis
- model based reasoning
- verification method
- south east
- formal methods
- numerical data
- root cause
- wireless sensor networks
- breast cancer diagnosis
- expert systems
- automatic diagnosis
- computer science