This poster presents an evolution strategy for single- and multi-objective optimization. The model uses the predatorprey approach from ecology to scale between both cases. Further...
In this article we report on applications and extensions of weighted graph theory in the design and control of communication networks. We model the communication network as a weig...
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
Gliomas are diffuse, invasive brain tumors. We propose a 3D classification-based diffusion model, cdm, that predicts how a glioma will grow at a voxel-level, on the basis of featur...
Copulas have attracted much attention in spatial statistics over the past few years. They are used as a flexible alternative to traditional methods for nonGaussian spatial modelin...