Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
-
Updated
Nov 3, 2021 - Coq
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization
Randomized Greedy Polynomial Chaos Expansions
Probabilistic method for the computation of the approximate product of two matrices
A Julia randomized linear algebra library.
[IEEE ICASSP 2021] "A fast randomized adaptive CP decomposition for streaming tensors". In 46th IEEE International Conference on Acoustics, Speech, & Signal Processing, 2021.
[ICML 2023] Official implementation of "A randomized schur complement based graph augmentor"
Code for our preprint paper titled "Sampling-Based Decomposition Algorithms for Arbitrary Tensor Networks"
High-Performance Python Package for Scalable Randomized Algorithms in Linear Algebra
Algorithms written in Swift for an Udacity course - Introduction to Graduate Algorithms
Algorithms-Specialization from Stanford:
Meta-factorization
Approximating optimization problems using EAs on scale-free networks
Probabilistic Data Structures
Randomized and quasi-randomized nnetworks for supervised learning and multivariate time series forecasting
AA Second Project - The objective of this project was to design and test a randomized algorithm to solve the combinatorial problem from the first assignment, which was to find a minimum weighted closure for a given vertex-weighted directed graph G(V, E), with n vertices and m edges. This randomized algorithm was based on the Monte Carlo algorithms.
Master's | Basic Algorithms & Data structures | Module 10 | Linear Programming & Randomized Algorithms
Implementation of a few Randomized Optimization algorithm such as Hill climbing, Simulated Annealing, Genetic Algorithms plus drawing fitness function
Basic bioinformatics algorithms implementation using c++14
"Algorithm Design" Course Material
Add a description, image, and links to the randomized-algorithms topic page so that developers can more easily learn about it.
To associate your repository with the randomized-algorithms topic, visit your repo's landing page and select "manage topics."