Pinned Repositories
CLRT
Source code for Continuous Time Lagrangian Reachability. From our paper
dbcp_proof
Imported from bitbucket.org, published originally on 2017‑10‑01. Source codes and numerical data of the computer assisted proof as presented in the paper “Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model” by Jacek Cyranka and Thomas Wanner
deep-symbolic-optimization
Source code for deep symbolic optimization.
dpdes
Imported from bitbucket.org. C++ software library for constructing reachability bounds for solutions of parabolic PDEs. Explained in the publication entitled "Efficient and generic algorithm for rigorous integration forward in time of dPDEs. Part I" by Jacek Cyranka
mapper-classifier
This repository contains the initial PoC software to build a mapper based classifier, which utilizes tools from topological data analysis. The package here does not scale well & is optimally inefficient (you're welcome) - however, work is currently being done to refactor this code into a polished package.
NA4AI
Lecture notes from "Numerical Analysis for Artificial Intelligence" course I presented at UCSD, CSE department
paths_analysis
Topological Data Analysis of fluid flows
pycma
Python implementation of CMA-ES
MachineLearningSeminar
Seminarium Magisterskie Machine Learning
Unified-Long-Horizon-Time-Series-Benchmark
Code for reproducing results from the paper "Unified Long Horizon Time Series Benchmark"
dzako's Repositories
dzako/NA4AI
Lecture notes from "Numerical Analysis for Artificial Intelligence" course I presented at UCSD, CSE department
dzako/CLRT
Source code for Continuous Time Lagrangian Reachability. From our paper
dzako/dbcp_proof
Imported from bitbucket.org, published originally on 2017‑10‑01. Source codes and numerical data of the computer assisted proof as presented in the paper “Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model” by Jacek Cyranka and Thomas Wanner
dzako/deep-symbolic-optimization
Source code for deep symbolic optimization.
dzako/dpdes
Imported from bitbucket.org. C++ software library for constructing reachability bounds for solutions of parabolic PDEs. Explained in the publication entitled "Efficient and generic algorithm for rigorous integration forward in time of dPDEs. Part I" by Jacek Cyranka
dzako/mapper-classifier
This repository contains the initial PoC software to build a mapper based classifier, which utilizes tools from topological data analysis. The package here does not scale well & is optimally inefficient (you're welcome) - however, work is currently being done to refactor this code into a polished package.
dzako/paths_analysis
Topological Data Analysis of fluid flows
dzako/pycma
Python implementation of CMA-ES