zinc is the first modelling language which supports solver and technique independence. this means that a high level conceptual model can be automatically mapped into an appropriate low level design model for a specific solver or technique. to date, zinc uses three different techniques to solve a model: constraint programming (cp), local search (ls), and mixed integer programming (mip). in this ...

Combining climate change, crop growth and crop disease models to predict impacts of climate change on crop diseases can guide planning of climate change adaptation strategies to ensure future food security. This review summarises recent developments in modelling climate change impacts on crop diseases, emphasises some major challenges and highlights recent trends. The use of multi-model ensembl...

Achieving the swift energy transition necessary to meet global climate ambitions requires concerted action across governance scales, from municipal authorities national governments. Decision-making is often closely informed by system modelling, making models a crucial tool foster multi-level that based on mutual understanding and coordination scales. Here, we review 186 modelling studies identi...

Geometric fusion of multiple sets of overlapping surface measurements is an important problem for complete 3D object or environment modelling. Fusion based on a discrete implicit surface representation enables fast reconstruction for complex object modelling. However, surfaces are represented at a single resolution resulting in impractical storage costs for accurate reconstruction of large obje...

Efforts to reduce energy consumption are being made across all disciplines. ICT’s contribution to global energy consumption and by-products such as CO2 emissions continues to grow, making it an increasingly significant area in which improvements must be made. This thesis focuses on software as a means to reducing energy consumption. It presents methods for profiling and modelling a multi-thread...