Pinned Repositories
CaseStudyMobiusAdvancedRep
CaseStudyMobiusDARepAsAScript
CollatzConjectureFunctionalEquation
Maxima code for exploring a conjecture equivalent to the Collatz conjecture
cryptol-specs
A central repository for specifications of cryptographic algorithms in Cryptol
DeepNeuralNetworkForwardRobustness
MATLAB code for testing DNNs robustness through symbolic propagation of abstract concepts
eigengraph
Iterative method for solving large sparse "second smallest eigenvalue problem" on parallel architectures
MarkovCrossApproximation
approximating the solution bundle that solves the system of PDEs originated by upgrading parameters to independent variables in the Kolmogorov Forward Equation (system of ODEs)
PerformabilitySimulator
A simple simulator to evaluate performability measures on stochastic processes
StackBST
stack-based Binary Search Tree (BST) implemented in the "struct of arrays" style
STINGRAY_Availability
Möbius model related to the Tuscany regional project STINGRAY
106ohm's Repositories
106ohm/StackBST
stack-based Binary Search Tree (BST) implemented in the "struct of arrays" style
106ohm/CaseStudyMobiusAdvancedRep
106ohm/CaseStudyMobiusDARepAsAScript
106ohm/CollatzConjectureFunctionalEquation
Maxima code for exploring a conjecture equivalent to the Collatz conjecture
106ohm/cryptol-specs
A central repository for specifications of cryptographic algorithms in Cryptol
106ohm/DeepNeuralNetworkForwardRobustness
MATLAB code for testing DNNs robustness through symbolic propagation of abstract concepts
106ohm/eigengraph
Iterative method for solving large sparse "second smallest eigenvalue problem" on parallel architectures
106ohm/MarkovCrossApproximation
approximating the solution bundle that solves the system of PDEs originated by upgrading parameters to independent variables in the Kolmogorov Forward Equation (system of ODEs)
106ohm/PerformabilitySimulator
A simple simulator to evaluate performability measures on stochastic processes
106ohm/STINGRAY_Availability
Möbius model related to the Tuscany regional project STINGRAY
106ohm/zsrt
An algorithm to solve the Generalized Eigenvalues Problem T*v=\lambda*S*v