Pinned Repositories
approxProbTraceAlign
Implementation of the (Approximate) Probabilistic Trace Alignment. To compile the code, see the demo below.
FP-growth
A C++ implementation of the FP-growth algorithm
hypergraphalgebra
First implementation of the Hypergraph DataminingAlgebra
jackbergus.github.io
My personal homepage
java_logicalconsistency
jbtex2
jbTeX is an application that can easily mantain your LaTeX project. Is it useful actually for avoiding all the include{} statements, and simply use the files and directories created in the local folder.
jingoloba-poc
KnowledgeBaseExpansion
Given the schema specification, this tool automatically generates the SQL queries that are going to be used to perform the knowledge base expansion on top of a relational database
NCL_CSC8016
AdvancedProgramming
theory_of_concurrent_systems
Some Theory of Concurrent Systems, implemented C++ for better understanding of the practical people
jackbergus's Repositories
jackbergus/NCL_CSC8016
AdvancedProgramming
jackbergus/theory_of_concurrent_systems
Some Theory of Concurrent Systems, implemented C++ for better understanding of the practical people
jackbergus/approxProbTraceAlign
Implementation of the (Approximate) Probabilistic Trace Alignment. To compile the code, see the demo below.
jackbergus/jackbergus.github.io
My personal homepage
jackbergus/KnowledgeBaseExpansion
Given the schema specification, this tool automatically generates the SQL queries that are going to be used to perform the knowledge base expansion on top of a relational database
jackbergus/SUMOtoOsmosis
⛔️ DEPRECATED. Please use SimulatorBridger instead
jackbergus/aaltaf
SAT-based LTLf Satisfiability Checker
jackbergus/bolt_tutorial
Bolt is a language with in-built data-race freedom!
jackbergus/bpm21
jackbergus/data-flow-analysis
Data Flow Analysis in Matita
jackbergus/datagramdb-visualizer
Query language visualizer for the query language and final results
jackbergus/fast-cpp-csv-parser
fast-cpp-csv-parser
jackbergus/FishingForFishies
jackbergus/foodbroker
Data generator for business process data
jackbergus/frequent-subgraph-mining
jackbergus/fuzzyStringMatching
This library provides a support for performing fuzzy string matching in secondary memory.
jackbergus/gradesnda23
Random model generator used for the GRADES-NDA'23 Paper, as well a single contact point for the competing approaches
jackbergus/inv-lit-prog
Generating documentation for methods and functions in the style of literature programming
jackbergus/knobab.github.io
jackbergus/krouter
An Omnet implementation for a router with k different outputs with routing probabilities.
jackbergus/Laureate
jackbergus/minauto
Minimization of Probabilistic Automata
jackbergus/MLPNAS
MLPNAS code for Paperspace series on Neural Architecture Search
jackbergus/NCL_CSC3232
jackbergus/SimulatorBridger
jackbergus/socialsim
(Social) Network Simulator
jackbergus/symengine
SymEngine is a fast symbolic manipulation library, written in C++
jackbergus/TabulaRasa
jackbergus/varsorter
Yet another key-value store for variadic size keys and values and, generally speaking, sorting and serializing to secondary-memory.
jackbergus/VPDisk
Vantage Point Tree on disk