MarPEM is an agent-based model that can be used to study the effects of policy instruments on the transition away from HFO.

The purpose of the Digital Mobility Model (DMM) is to explore how a society’s adoption of digital technologies can impact people’s mobilities and immobilities within an urban environment. Thus, the model contains dynamic agents with different levels of digital technology skills, which can affect their ability to access urban services using digital systems (e.g., healthcare or municipal public administration with online appointment systems). In addition, the dynamic agents move within the model and interact with static agents (i.e., places) that represent locations with different levels of digitalization, such as restaurants with online reservation systems that can be considered as a place with a high level of digitalization. This indicates that places with a higher level of digitalization are more digitally accessible and easier to reach by individuals with higher levels of digital skills. The model simulates the interaction between dynamic agents and static agents (i.e., places), which captures how the gap between an individual’s digital skills and a place’s digitalization level can lead to the mobility or immobility of people to access different locations and services.

This is a multi-patch meta-population ecological model. It intended as a test-bed in which to test the impact of humans with different kinds of social structure.

This is model that simulates how multiple kinds of peer effects shape the diffusion of innovations through different types of social relationships.

MIOvPOPsurveillance is set up to simulate harvest-based chronic wasting disease (CWD) surveillance of white-tailed deer (Odocoileus virginianus) populations in select Michigan Counties. New regions can be readily added, also the model can be readily adapted for other disease systems and used for informed-decision making during planning and implementation stages of disease surveillance in wildlife and free-ranging species.

The Episim framework builds upon the established transportation simulation MATSim and is capable of tracking agents’ movements within a network and thus computing infection chains. Several characteristics of the virus and the environment can be parametred, whilst the infection dynamics is computed based upon a compartment model. The spread of the virus can be mitigated by restricting the agents’ activity in certain places.

CapOvCWD is an agent-based model that simulates a captive cervid herd composed of adults and fawns. The model deer population is initialized using data on herd size and composition from captive facility records. Individual deer domiciliary history and annual CWD testing records inform the herd size and sample size (for CWD testing), respectively. The model can be used to iteratively estimate the facility level annual CWD detection probability. Detection probability estimates can be further refined by incorporating multiyear CWD testing data. This approach can be particularly useful for interpreting negative test results from a subset of the captive herd. Facility level detection probability estimates provide a comprehensive and standardized risk metric that reflects the likelihood of undetected CWD in the facility.

We introduce a model of prediction markets that uses opinion dynamics as its underlying mechanism for price formation. We base the opinion dynamics on the Deffuant model of bounded rationality. We have used this model to show that price formation in prediction markets can be robustly explained by opinion dynamics, and that the model can also explain phase transitions depending on just two parameters.

A model to show the effects of flood risk on a housing market; the role of flood protection for risk reduction; the working of the existing public-private flood insurance partnership in the UK, and the proposed scheme ‘Flood Re’.

The model provides instruments for the simulation of interbank network evolution. There are tools for dynamic network analysis, allowing to evaluate graph topological invariants, thermodynamic network features and combinational node-based features.