177 results for “topic:theoretical-computer-science”
For deep RL and the future of AI.
Math & CS awesome List, distinguished by proof and logic technique
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
E-Books Library for someone who interested in Pure Mathematics.
Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Book reading
Java implementation of the CYK algorithm.
Calculates the uncomputable Busy Beaver Σ-function
Node.js implementation of the stable marriage problem
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
A collection of ML questions and answers
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
Theoretical computer science (Slovene)
Inferrable Languages
Mincluster is an essential package designed for minimizing the maximum intercluster distance in datasets. This powerful tool streamlines the process of optimizing data clustering by reducing the separation between clusters
No description provided.
A browser-based IDE for the untyped lambda calculus. Try it:
A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more
A language of polynomials.
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
🤖 A public repository for my machine learning notes. This will also contain lectures and sample data sets that I have gathered from various sources, including CS229 (Stanford), CS542 (BU), MLS (deeplearning.ai), 6.036 (MIT), and more...
This article provides examples of monomial deciders, monomial generators, and picking functions and the methods to develop them.
🌲 Memory-efficient labeled tree construction in Python
No description provided.
Enhanced version of the k-nearest neighbors algorithm utilizing membrane computing. kNN-P is designed for parallel and distributed computing, which can improve the performance of the original k-nearest neighbors algorithm for classification tasks.
Experiments accompanying A Theory of Unsupervised Translation Motivated by Understanding Animal Communication (NeurIPS 2023)
I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
Migrated to https://git.a-a.dev/amari/Helium-Sort
A Python library for working with Turing machines