A5066511761- Formal Methods in Verification
- Access Control and Trust
- Natural Language Processing Techniques
- Bayesian Modeling and Causal Inference
- Bayesian Methods and Mixture Models
- Data Quality and Management
- earthquake and tectonic studies
- Time Series Analysis and Forecasting
- Medical Image Segmentation Techniques
- Earthquake Detection and Analysis
- Algorithms and Data Compression
- Network Security and Intrusion Detection
- Multi-Agent Systems and Negotiation
- Advanced Neuroimaging Techniques and Applications
University of Otago
2018-2023
Abstract Nonvolcanic tremor activity has been observed in many places worldwide. In some regions, their was to accompany slow slip events. Before examining whether and how nonvolcanic is related slip, it essential understand quantitatively the spatiotemporal migration patterns of tremors. We developed a 2‐D hidden Markov model automatically analyze forecast behavior regions Kii Shikoku, southwest Japan. This new automated procedure classifies source into distinct segments space infers clear...
Residual analysis is a useful tool for checking lack of fit and providing insight into model improvement. However, literature on residual the goodness hidden Markov models (HMMs) limited. As HMMs with complex structures are increasingly used to accommodate different types data, there need further tools check validity applied real world data. We review methods develop new motivated by particular case study involving two-dimensional HMM developed time series many null events. propose...