ziky90/RailwayStationFormalization
Coursework from CTU. The program generates the formalism of the railway station in the 1st order logic (TPTP format) for the provers and model checkers
Developer Profile
ziky90
Discovered public repositories for ziky90 in the GitHub catalog.
ziky90/ClusterAnalyzer
The last mini assignment to the Big Data course at the CTU. It just finds k most important words per cluster and l most similar documents to the mean of the cluster.
ziky90/Kmeans-hadoop-mapreduce
Implementation of the Kmeans algorithm for the Hadoop MapReduce framework.
ziky90/tf-idf-Hadoop-MapReduce
Project from the CTU Big Data course which purpose was to compute tf-idf values for the czech wikipedia
ziky90/Kaggle-data-science-london-scikit-learn
My approach to the competition Data Science London + Scikit-learn at Kaggle
ziky90/glass-plane-spot
Plane spot application for Google Glass
ziky90/Diploma-Thesis-A1
Initial version A1 of my diploma thesis dealing with the organization of shared vehicles.
ziky90/Plane-Spotting
Side project working with flightradar24 API. Goal is to make an augmented reality app.
ziky90/Machine-Learning-Big-Data-Hackathon
Methods that were used to predict stock prices based on the sentimet mined from tweets
ziky90/Project-for-statistical-methods-in-CS
Project for statmet course at KTH. Implemented MCMC method to solve the train problem that estimates the probability of train being in the node given the railroad model and switches.
ziky90/reinforcement-learning
Assignment on reinforcement learning from machine learning course at KTH
ziky90/svm
Assignment on support vector machines from machine learning course at KTH
ziky90/decision-trees
Assignment on decision trees from machine learning course at KTH
ziky90/KTH-last-minute-accommodation-hacking
Python script created in order to hack (win) the last minute accommodation from KTH in Stockholm.
ziky90/DistributedAIHomework
Homeworks from the Distributed Artificial Intelligence and Distributed Agents course at KTH. Generally speaking assignment is about implementing basic agents behaviors using jade library.
ziky90/bayesboost
KTH machine learning course assignment. Application of the adaboost method to the bayesian classifier with goal to remove object from picture.
ziky90/911Security-client
Public repository.
ziky90/911security-android
Public repository.
ziky90/911-security-backend
Web application that was created to as a playground for trying out play framework, web socket and other technologies
ziky90/evernotePuzzleWordCount
Public repository.
ziky90/evernotePuzzleTopFour
Public repository.
ziky90/evernotePuzzleStack
Public repository.
ziky90/evernotePuzzleMes
Public repository.
ziky90/puzzleSpotifyCatvsdog
Public repository.
ziky90/puzzleSpotifyZipfssong
Public repository.
ziky90/puzzleSpotifyReverseBinary
Public repository.
ziky90/colorglass
Color hunter game for Google Glass
ziky90/other
Public repository.
ziky90/MP3_FPGA
Public repository.
ziky90/some_algorithms
Some algorithms that I have implemented and that might be useful
ziky90/bachelor_thesis
Something from my bachelor thesis dealing with the dynamic pricesetting
ziky90/DB-Taxi
Public repository.
ziky90/CSG-public
Public repository.
ziky90/oi-bszz
Otázky státních závěrečných zkoušek pro studijní program Otevřená informatika ČVUT FEL