ietf-rats-wg/draft-ietf-rats-reference-interaction-models

Referenceable Interaction Models for use in RATS

Language: Makefile - Size: 794 KB - Last synced at: 12 days ago - Pushed at: 21 days ago - Stars: 2 - Forks: 4

sqyu/genscore

Generalized Score Matching

Language: R - Size: 3.04 MB - Last synced at: 19 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 2

erwanM974/hibou_label

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

Language: Rust - Size: 13.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

nishi1612/Modelling-and-Simulation

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

Language: Jupyter Notebook - Size: 12.5 MB - Last synced at: 14 days ago - Pushed at: about 6 years ago - Stars: 9 - Forks: 2

ashishyadav24092000/InteractionVars_Regression

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.

Language: Jupyter Notebook - Size: 1.97 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

ebprado/AMBARTI

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

Language: R - Size: 462 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

erwanM974/hibou_passing

HIBOU for typed message passing

Language: Rust - Size: 648 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

eghalea/Design-of-Experiments

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

Size: 139 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

shivtosh/Supervised-learning

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.

Language: Jupyter Notebook - Size: 1.5 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

erwanM974/coq_hibou_label_equivalent_terms

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.

Language: HTML - Size: 46.9 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

erwanM974/hibou_efm

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

Language: Rust - Size: 2.02 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

erwanM974/coq_hibou_label_multi_trace_analysis

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

Language: HTML - Size: 105 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

erwanM974/coq_hibou_label_semantics_equivalence

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

Language: HTML - Size: 178 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

jansensan/one-click-micro-interaction

Language: JavaScript - Size: 128 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0