![Bridging the gap between single- and multi-model predictive runtime verification | Formal Methods in System Design Bridging the gap between single- and multi-model predictive runtime verification | Formal Methods in System Design](https://media.springernature.com/m685/springer-static/image/art%3A10.1007%2Fs10703-022-00395-7/MediaObjects/10703_2022_395_Fig10_HTML.png)
Bridging the gap between single- and multi-model predictive runtime verification | Formal Methods in System Design
![Quasi-spectral characterization of intracellular regions in bright-field light microscopy images | Scientific Reports Quasi-spectral characterization of intracellular regions in bright-field light microscopy images | Scientific Reports](https://media.springernature.com/m685/springer-static/image/art%3A10.1038%2Fs41598-020-75441-7/MediaObjects/41598_2020_75441_Fig1_HTML.png)
Quasi-spectral characterization of intracellular regions in bright-field light microscopy images | Scientific Reports
![Properties of Morphological Dilation in Max-Plus and Plus-Prod Algebra in Connection with the Fourier Transformation | Journal of Mathematical Imaging and Vision Properties of Morphological Dilation in Max-Plus and Plus-Prod Algebra in Connection with the Fourier Transformation | Journal of Mathematical Imaging and Vision](https://media.springernature.com/m685/springer-static/image/art%3A10.1007%2Fs10851-022-01138-3/MediaObjects/10851_2022_1138_Fig5_HTML.png)
Properties of Morphological Dilation in Max-Plus and Plus-Prod Algebra in Connection with the Fourier Transformation | Journal of Mathematical Imaging and Vision
![Electronics | Free Full-Text | One-Dimensional Quaternion Discrete Fourier Transform and an Approach to Its Fast Computation Electronics | Free Full-Text | One-Dimensional Quaternion Discrete Fourier Transform and an Approach to Its Fast Computation](https://pub.mdpi-res.com/electronics/electronics-12-04974/article_deploy/html/images/electronics-12-04974-g004.png?1702436415)