Giter VIP home page Giter VIP logo

Dr. Ivan S. Zapreev's Projects

ariadne icon 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 icon automated-translation-tries

A C++ unordered-map based Trie implementation for storing n-gram language models for statisticam machine translation.

demos icon demos

My demos in different programming languages

distributed-translation-infrastructure icon 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 icon ml-pt

The test task for ML-PT linked via https://heyiamsasha.notion.site/ML-PT-0bc4ce5012604ed397f040a1bdc29858

mrmc icon 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 icon rbu

A presentations for the Radbound University of Nijmegen

scots2c icon scots2c

BDD controller compression utilities for SCOTSv2.0 (a tool for computing discrete abstractions and symbolic controllers)

scots2dll icon 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

scots2jni icon 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

scots2sr icon 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

simpdom icon simpdom

Simplified DOM Trees for Transferable Attribute Extraction from the Web

sr2jlib icon 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.

sr2jlib_ex icon sr2jlib_ex

An example project showing how the https://github.com/ivan-zapreev/SR2JLIB library to be used.

x-cure-chat icon x-cure-chat

Free open source webchat and forum system allowing to posting downloadable videos and music files.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.