CS302 Modelling and Simulation Weekly Assignments in python based on modelling different systems - SARS, Malaria, SIR

R scripts to reproduce the results presented in the paper "Bayesian additive regression trees for genotype by environment interaction models". The Annals of Applied Statistics 17 (3) (2023).

Generalized Score Matching

Referenceable Interaction Models for use in RATS

HIBOU implements a small-step operational semantics for labelled interaction models as well as a trace and multi-trace analysis algorithm

Formal proof with the Coq theorem prover of the correctness of an oracle algorithm for offline analysis of distributed logs against interaction models

HIBOU EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm

Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.

Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.

How do people perceive their government's ability to implement and manage public policy? To answer this question, I implement a multi-level design that combines survey responses (N = 1,176) with state-level attributes across Mexico's 32 federal entities, using 2010 data, to estimate a logit model with spatially lagged covariates.

Hurricane risk analytics project for two graduate MSBA courses at the University of Tennessee, Knoxville. Built on FEMA's National Risk Index, covering exploratory analysis, non-parametric testing, and eleven ML models to predict county-level Expected Annual Loss across high-risk Florida counties.

This library implements several models of human face-to-face interactions in a closed environment.

In this notebook we would be learning how to check that whether there is intercacion between two dependent variables or not. After that we would consider or add that interaction variable into our regression model and will monitor the changes in the parametrs.

HIBOU for typed message passing

This is a project on Factorial design analysis for multiple factors interaction

This file includes application of algorithms like logistic regression, Gaussian Naive Bayes and KNN and comparing their classification performances depending on whether the outliers have been dealt with or if interaction terms and higher degree features have been included.