Review of Mike Wayne's Marxism Goes to the Movies (London: Routledge, 2020).

Accurate estimation of input parameters is essential to ensure the accuracy and reliability of hydrologic and water quality modelling. Calibration is an approach to obtain accurate input parameters for comparing observed and simulated results. However, the calibration approach is limited as it is only applicable to catchments where monitoring data is available. Therefore, methodology to estimat...

1 Formalizing mathematics: pure and applied I've always been interested in using theorem provers both for " practical " applications in formally verifying computer systems, and for the " pure " formalization of traditional mathematical proofs. I particularly like situations where there is an interplay between the two. For example, in my PhD thesis [5], written under Mike Gordon's supervision, I...

In this study, the capabilities of WAWEWATCH-III and MIKE21-SW for predicting the characteristics ofwind-generated waves in Hormuz Strait are evaluated. The numerical models have been set up using Input data including GFS wind with 5° spatial resolution and 6 hours time intervals, along with the ETOPO1 bathymetry data with 2 arc-minute spatial resolutions. The results of the two model simulatio...