https://github.com/argosopentech/lindy-news
Bag of Words model to classify news headlines as Lindy or Not Lindy
https://github.com/argosopentech/coding-kit
Kit designed for teaching programming, computer science, and electronics.
https://github.com/argosopentech/tag-injection
Tag injection test for machine translation
https://github.com/argosopentech/sbd
Sentence boundary detection for machine translation
https://github.com/arh926/bayesian-spatiotemporal-wombling
Reproducibility Check Materials for the manuscript titled, "Bayesian Spatiotemporal Wombling" (Aritra Halder, Didong Li, Sudipto Banerjee)
https://github.com/aria-sensing-srl/ariauwb-pio-framework-hydrogen
PlatformIO framework for ARIAUWB Hydrogen modules
https://github.com/aria-sensing-srl/uwb_modules
Official Collection of UWB Radar Modules definition for ARIA-RDK
https://github.com/aria-sensing-srl/aria_module_eclipse
Eclipse Project for ARIA Hydrogen-based modules
https://github.com/aria-systems-group/fault-identification-via-bayesian-inference
Our implementation of a M-ary Bayesian Hypothesis Testing framework for online autonomous system validation in the presence of process and sensor noise.
https://github.com/aria-systems-group/sym_quant_reactive_synth
Symbolic Regret synthesis and graph search
https://github.com/aria-systems-group/kino-pax
Kinodyanmic Parallel Accelerated eXpansion
https://github.com/aria-systems-group/neuralnetcontrolbarrier
We introduce a method of safety certification and control for Neural Network Dynamic Models (NNDMs) via stochastic barrier functions.
https://github.com/arianna-bienati/arianna-bienati.github.io
Personal website based on al-folio Jekyll theme for academics