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

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.

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 EFM implements a small-step operational semantics for interaction models with data and time as well as a trace and multi-trace analysis algorithm

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

HIBOU for typed message passing

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

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

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

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.

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

Generalized Score Matching

Referenceable Interaction Models for use in RATS