Online Maximum Independent Set of Hyperrectangles
-
Updated
Mar 19, 2024 - Jupyter Notebook
Online Maximum Independent Set of Hyperrectangles
⚛️ An original emerging scientific concept that explores the intersection of time and physical systems through computational methods.
Minimization of DFA using equivalence theorem, written in Haskell
The framework of the future
A calculator for the Cocke-Younger-Kasami-Algorithm that determines whether a word belongs to a context-free language.
Library for simulating deterministic finite Automata
Programming paradigms & features, theoretical languages, turing machines, grammars, and regular expressions.
lecture notes for the "description logic" lecture @ TU Dresden
A series of programs that enable one's investigations in the algebraic complexity theory such as matrix multiplication algorithms, primality tests, algebraic complexity, sorting algorithms etc. Each algorithm is accompanied by a comparative time complexity analysis and a class of test cases and test suites.
Implementation of LexDFS algorithm on chordal graphs
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
"我估计你书也难以看懂"
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
🔮 Playing around with deterministic & non deterministic finite state automatas
Everyday learning new stuff for 60 days. Topics including theoretical computer science, front and back end development, programming languages, data journalism and many more.
A Jupyter Notebook to benchmark the pBFT algorithm simulated on Quantas.
Notes for COS511: Theoretical Machine Learning by Princeton University
Add a description, image, and links to the theoretical-computer-science topic page so that developers can more easily learn about it.
To associate your repository with the theoretical-computer-science topic, visit your repo's landing page and select "manage topics."