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).

Real-time serving of full-duplex interaction models: per-tick deadline scheduling + KV-budget admission control. Systems research.

Generalized Score Matching

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

Referenceable Interaction Models for use in RATS

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 correctness of an oracle algorithm for offline analysis of distributed logs against interaction models

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.

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

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.

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.

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.

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.

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

HIBOU for typed message passing