ivan-zapreev
PhD in Theoretical Computer Science, Master and Bachelor in Theoretical Mathematics. A Data Scientist with outstanding research and software engineering skills
Individual EntrepreneurKrasnodar region, Russian Federation
Pinned Repositories
Ariadne
Ariadne: An open tool for hybrid system analysis. This part of the code implements an infinite grid for representing open/closed/overt sets and performing operations on those sets.
Automated-Translation-Tries
A C++ unordered-map based Trie implementation for storing n-gram language models for statisticam machine translation.
Back-Off-Language-Model-SMT
The implementation of the Back-Off Language model(s) for SMT
data-science-r-projects
The repository to store the R projects for the Harvard data science course
Demos
My demos in different programming languages
Distributed-Translation-Infrastructure
The distributed statistical machine translation infrastructure consisting of load balancing, text pre/post-processing and translation services. Written in C++ 11 and utilises multicore CPUs by employing multi-threading, allows for secure SSL/TLS communications.
ML-PT
The test task for ML-PT linked via https://heyiamsasha.notion.site/ML-PT-0bc4ce5012604ed397f040a1bdc29858
MRMC
Markov Reward Model Checker - is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards. In particular, it supports to check the reachability of a set of goal states (by only visiting legal states before) under a time and an accumulated reward constraint.
rbu
A presentations for the Radbound University of Nijmegen
x-cure-chat
Free open source webchat and forum system allowing to posting downloadable videos and music files.
ivan-zapreev's Repositories
ivan-zapreev/Distributed-Translation-Infrastructure
The distributed statistical machine translation infrastructure consisting of load balancing, text pre/post-processing and translation services. Written in C++ 11 and utilises multicore CPUs by employing multi-threading, allows for secure SSL/TLS communications.
ivan-zapreev/ML-PT
The test task for ML-PT linked via https://heyiamsasha.notion.site/ML-PT-0bc4ce5012604ed397f040a1bdc29858
ivan-zapreev/Ariadne
Ariadne: An open tool for hybrid system analysis. This part of the code implements an infinite grid for representing open/closed/overt sets and performing operations on those sets.
ivan-zapreev/Back-Off-Language-Model-SMT
The implementation of the Back-Off Language model(s) for SMT
ivan-zapreev/MRMC
Markov Reward Model Checker - is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards. In particular, it supports to check the reachability of a set of goal states (by only visiting legal states before) under a time and an accumulated reward constraint.
ivan-zapreev/x-cure-chat
Free open source webchat and forum system allowing to posting downloadable videos and music files.
ivan-zapreev/Automated-Translation-Tries
A C++ unordered-map based Trie implementation for storing n-gram language models for statisticam machine translation.
ivan-zapreev/data-science-r-projects
The repository to store the R projects for the Harvard data science course
ivan-zapreev/Demos
My demos in different programming languages
ivan-zapreev/SCOTS2SR
The main project for the application doing symbolic fitting of BDD based symbolic controllers generated by SCOTSv2.0, depends on https://github.com/ivan-zapreev/SCOTS2DLL, https://github.com/ivan-zapreev/SCOTS2JNI, and https://github.com/ivan-zapreev/SR2JLIB
ivan-zapreev/SimpDOM
Simplified DOM Trees for Transferable Attribute Extraction from the Web
ivan-zapreev/SR2JLIB
This is a Symbolic Regression library (Netbeans project) for fitting data with vector functions using Grammar-Guided Genetic Programming. The library features multi-threading, just-in-time compilation of individuals, and allows using JNI interface through dynamic class loading. See an example use https://github.com/ivan-zapreev/SR2JLIB_EX.
ivan-zapreev/SR2JLIB_EX
An example project showing how the https://github.com/ivan-zapreev/SR2JLIB library to be used.
ivan-zapreev/rbu
A presentations for the Radbound University of Nijmegen
ivan-zapreev/data-science-python-projects
The repository to store the Python projects for the IBM data science course
ivan-zapreev/SCOTS2C
BDD controller compression utilities for SCOTSv2.0 (a tool for computing discrete abstractions and symbolic controllers)
ivan-zapreev/SCOTS2DLL
The native C++ part of the https://github.com/ivan-zapreev/SCOTS2SR project, depends on https://github.com/ivan-zapreev/SCOTS2JNI and https://github.com/ivan-zapreev/SCOTS2C
ivan-zapreev/SCOTS2JNI
The JNI part of the https://github.com/ivan-zapreev/SCOTS2SR project, depends on https://github.com/ivan-zapreev/SR2JLIB, is used by https://github.com/ivan-zapreev/SCOTS2DLL