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
Public GitHub Catalog
Discovered Sep 29, 2026
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.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14238146GitHub System ID
ziky90Organization / User
PublicVisibility
ActiveCatalog Status
More from ziky90
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