Abstract To study the temporal and spatial variation characteristics of hydrodynamic forces in Rule Lake, a two-dimensional mathematical model shallow water lake was established based on MIKE 21, flow field Lake under action topography, wind inflow were simulated analyzed. The results show that heterogeneity hydrodynamics area is obvious, velocity presents gradient change characteristic high we...

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 the study, performance of MIKE 21 SW (Spectral Wave) model using three different wind fields, namely ERA-Interim, ERA5, and CFSR was evaluated in Eastern Mediterranean Sea. Model results were calibrated with four buoy measurements by tuning physical parameters. Wave simulations showed a strong sensitivity to whitecapping parameter (Cds). Calibrated run validate at two measurements. Consideri...