Notes
business
business
Selling AI Solutions
Startup
coding
cli commands
Bash tab-completion in zsh
Decode HEAD to the commit it references
Git Ignore File Permission Changes
Merge PDFs using Ghostscript
PDF to Text using Ghostscript
Processes running on external SSD
Tag an older commit with the date from that commit
Turning off Spotlight indexing
Unix CLI command to find large files
What keeps my Mac awake?
dev
c
LVGL Image Converter
css
Safari scroll view color scheme
js
React
React
React where should the state live?
UseReducer Action not dispatching
Change title of website based on focus
Console logging objects
Current Node Memory
Date Time Range Picker
Local HTTPS for Nestjs app
Local HTTPS for Nextjs app
Web Components
py
Automated Documentation Generation with Sphinx
Generate a short human readable unique ID in Python
Matplotlib Dates
Matplotlib Server Backend
Python Secret State Sharing
web
Favorite Online Favicon Generator
Jekyll Docker on Apple Silicon Mac
Primitives Primer
How to write good documentation
kcproxy
My Coding Principles
My Working Principles
devops
htpasswd
Manual Database Migration Guide
Nginx Gunicorn Flask
Nginx SSL
Nginx Streamlit Configuration
Node Process Management
git
Global Gitignore
llm-assisted
Claude Code
Directory of files to prompt via CLI
Model Context Protocol
notes
Impostor Syndrome
Make stuff be near
Mental Model
Remove Overloading of Things
Simplicity
Software Design is Knowledge Building
Take screenshots of a website
Thought on Testing
Thoughts on Abstraction
Thoughts on AI assisted coding
Thoughts on Automation
Thoughts on Bugs
Thoughts on Code Quality
Thoughts on Documentation
Thoughts on Features
Thoughts on ORMs
Thoughts on Premature Optimization
Thoughts on Problem Definition
Thoughts on Pull Requests and Code Reviews
Thoughts on Refactoring
Thoughts on Search
Thoughts on UI
Thoughts on UI Animations
prompts
AGENT - Contribution Guidelines
AGENT - FastAPI
AGENT - Pydantic
AGENT - Python
raycast
Cloning Raycast Extensions Sparse
coding
concepts
productivity
Approaching To Do Lists as a filter
Breaking up Problems or Todos into individual tasks
Defining Done
How to get unstuck
Just be bored and you will level up
Use Outlining to Build Anything Quickly
Decoy Effect
How to Speak
Joy of Missing Out
Separate Places of Work and Relaxation
Thoughts on Thinking
design
Icon Packs
Inter Font Family
Reasonable Colors
Small UI details nobody notices but are cool
Uchu Colors
drawings
Convolutional Neural Network 2023-07-23 19.33.21.excalidraw
Datenbank 2023-07-29 15.47.19.excalidraw
Drawing 2022-07-13 11.36.00.excalidraw
Drawing 2023-10-30 22.24.02.excalidraw
Extremstrahl 2022-07-08 15.32.13.excalidraw
Induzierte Matrixnorm 2022-07-10 18.16.28.excalidraw
konische Hülle 2022-07-08 15.48.38.excalidraw
konvexe Hülle 2022-07-08 15.42.09.excalidraw
Satz von Minkowski-Weyl 2022-07-08 15.52.40.excalidraw
Strahl 2022-07-08 15.28.11.excalidraw
virtual hosts.excalidraw
watchmlUI.excalidraw
Zulässige Richtung 2022-07-12 15.19.44.excalidraw
Zulässige Ungleichung 2022-07-08 16.22.08.excalidraw
obsidian
Obsidian Working Notes
resources
Catpuccin Style Wallpapers
DIY haptic input knob BLDC motor round LCD
Folderify MacOS Folder Icon Generator
stuff
Interesting Online Shops
Minecraft Server Docker
Persons on the web I like
Restaurants in Hamburg
Thoughts on Life
university
AI
Rational Agents
Environments
Continuous Environment
Deterministic Environment
Discrete Environment
Dynamic Environment
Episodic Environment
Fully Observable Environment
Multi Agent Environment
Partially Observable Environment
Semidynamic Environment
Sequential Environment
Single Agent Environment
Static Environment
Stochastic Environment
Planning
Atemporal
Blocks World
Causal Link
Demotion
Finish Step
Fluent
Logic-Based Planning
Miconic-10
Open Condition
Optimal Planning
Partial Order Planning
Partially Ordered Plan
PDDL
PDDL Planning Task
Plan
Planning
Planning Task
Policy Iteration Algorithm
POP Algorithm
Possibly Intervening Step
Problem Description Language
Satisficing Planning
Start Step
STRIPS
STRIPS Task
Sussman Anomaly
Types of Agents
Decision-Theoretic Agent
Goal-based Agent
Information Gathering Agent
Learning Agent
Model-based Reflex Agent
Probabilistic Agent
Rational Agent
Simple Reflex Agent
Table-Driven Agent
Utility-based Agent
Action
Agent Architecture
Agent Function
AI as Rational Agents
Autonomy
Belief State
Bellman Equation
Effect
Environment
Offline Problem Solving
Online Problem Solving
Optimal Policy
PEAS
Percept
Performance Measure
Precondition
Rational Behavior
Sensor Markov Property
Sensor Model
Transition Function
Transition Model
Transition Relation
Rational Non-Deterministic Agents
Expected Utility
Preferences
Rational Non-Deterministic Agents
Types of AI
Statistical AI
Subsymbolic AI
Symbolic AI
Artificial Intelligence
Cognitive Science
Bayesian
Bayesian Classifier
Bayesian Computation Rule
Bayesian Network
Dynamic Bayesian Network
Full Bayesian Learning
Maximum A Posteriori Learning
Minimum Description Length
Minimum Description Length Learning
Naive Bayes Classifier
Strict Dominance
Variable Elimination
Complexity Theory
Algorithmen und Komplexitätstheorie
Instanz
Kodierungslänge
Komplexitätsklassen
Laufzeit
Nondeterministic Polynomial Time
Nondeterministic Polynomial Time Complete
Nondeterministic Polynomial Time Hard
O Kalkül
Constraint Satisfaction Problem
Constraint Graph
Constraint Satisfaction Problem
Cutset
Cutset Conditioning Algorithm
Cryptography
ADFGVX-Verschlüsselung
ALBC-2-Verschlüsselung
ALBC-k-Verschlüsselung
Algorithmus zur Berechnung der abgerundeten k-ten Wurzel
Algorithmus zur Berechnung der abgerundeten Wurzel
Alphabet
AUTOKEY-Verschlüsselung
b-adische Darstellung
Blockchiffre
CAESER Verschlüsselung
Carmichael-Zahl
Chinesischer Restsatz
Chosen-plaintext-Angriff
Cipherblock-Chaining-Modus
Ciphertext-only-Angriff
Diskreter Logarithmus
Drehraster-Verschlüsselung
Electronic-Codebook-Modus
ElGama-Signatur
ElGamal-Verschlüsselung
Erweiterter Euklidischer Algorithmus
Euklidischer Algorithmus
Euklidischer Ring
Eulersche Funktion
Faktorieller Ring
Fermat-Faktorisierung
Fermat-Test
Fibonacci-Zahlen
Fundamentalsatz der Arithmetik
ggT-Bedingung
Größter Gemeinsamer Teiler
Hash-Funktion
Häufigkeitsanalyse in der Kryptographie
Homophone Substitutionsverschlüsselung
Integritätsring
Kasiski-Test
Kettenbruch
Kettenbruchentwicklung
Klartext
Kleiner Satz von Fermat
Known-plaintext-Angriff
Kongruenz
Korselt-Kriterium
Kryptanalyse
Kryptographie Konzepte
Kryptosystem
MASC-Verschlüsselung
Message Authentication Codes
Miller-Rabin-Primzahltest
Miller-Rabin-Pseudoprimzahl
MOC - Kryptographie 1
Modulo
Modulo Invertierbarkeit
n-Gramm
Näherungsbruch
Naives Faktorisierungsverfahren
Ordnung
PLAYFAIR-Verschlüsselung
Pollardsche Rho-Methode
Primzahl
Primzahltest
Private Key
Pseudoprimzahl
Public-Key-Verschlüsselung
RSA
RSA-Signatur
Satz von Bezout
Satz von Euler
Schlüssel
Schlüsselaustausch nach Diffie-Hellmann
Secure Hash Standard
Square-And-Multiply-Methode zum Potenzieren
STROM-Verschlüsselung
Substitutionsverfahren
Teilbarkeit
Teilerfremd
TRANSMAT-Verschlüsselung
Transpositionsverfahren
TRANSSPA-Verschlüsselung
Triviale Teiler
Vernam-Cipher
VIGENERE-Verschlüsselung
Data Science
Data
Categorical Data
Dataset
Population
Typen von Daten
Data Visualization
Additive Color Model
Assortative Mixing
Barplot
Betweenness Centrality
Biological Network
Boxplot
Chernoff Faces
Circular Graph Layout
Circular Graph Layout Algorithm
Cladogram
Closeness Centrality
CMYk Color Model
Color
Color Gamut
Color Maps
Color Models
Color Perception
Color Space
Community Structure
Concordances
Connectivity
Corpus
Curved Edges
Data Visualization
Degree Centrality
Degree Correlation
Degree Distribution
Dendogram
Diameter of a Graph
Dual Circular Graph Layout
Dyadic Tie
Eades Algorithm
Eccentricity
Edge Bundling
Edge Coloring
Electric Force
Force Directed Graph Layout
ForceAtlas2
Fruchterman and Reingold Algorithm
Geodesic Distance
Graph Centrality
Graph Isomorphism
Graph Layouts
Graph Visualization
Graphical Elements of a Visual Presentation
Heatmap
Hex To RGB
Hierarchy
Hierholzer Algorithm
Histogram
Hook's Law
HSL Color Model
HSV Color Model
Hyperbolic Tree
Icilcle
Icon Based Visualization
Indentation
Induced Graph
Information Network
InfoVis Chapter 1 - Data Types and Colors
InfoVis Chapter 2 - Multivariate Data
InfoVis Chapter 3.1 - Networks Introduction
InfoVis Chapter 3.2 - Graph Visualization
InfoVis Chapter 3.3 - Network Analysis
InfoVis Chapter 4 - Hierarchies
InfoVis Chapter 5 - Text Visualization Techniques
Interpolated Color Scale
Interpolated Color Scale HSV
Interpolated Two Color Scale
Intersection Test
Lexical Processing
Local Clustering Coefficient
Low Degree Correlation
Marginal Plot
MOC - Information Visualization
Modularity
Multigraph
Multiple Linked Views
Multivariate Dataset
Nested Scheme
Network
Network Distance Statistics
Network Partitioning
Ordered Degree Sequence
Organic Graph Layout
Parallel Coordinate Plot
Parallel Sets Plot
Phrase Net
Phylogram
Pixel Oriented Visualization
Polar Plot
Quantile Plot
Queue
Radial Axis Graph Layout
Radius of a Graph
Rainbow Color Scale
Random Graph Layout
RGB Color Model
RGB To Hex
Scatter Plot
Scatter Plot Matrices
Semantic Processing
Sentiment Analysis
Shortest Path Problems
Small World Property
Social Actor
Social Network
Stack
Stacked Scheme
Star Plot
Stick Figure Plot
Stream Graph
Structural Holes
Structure and Network Analysis
Subtractive Color Model
Sunburst
Syntactic Processing
Tag Cloud
Technological Network
Topic Modeling
Transfer Function
Tree Graph Layout
Tree Map
Treemap
Treemap - Slice and Dice Algorithm
Treemap - Squarified Algorithm
Utility Graph
Vertex Clustering Coefficient
Vertex Coloring
Vertex Neighborhood
Walker's Algorithm
Word Cloud
Word Tree
Database
1. Normalform
2. Normalform
3. Normalform
4. Normalform
5. Normalform
Aggregationstypen auf MDMs
Aktivitätsdiagramm
alt-Operator
Anwendungsfalldiagramm
Arten von Datenträgern
assert-Operator
Auto-Join
BCNF
Block
Blockung
break-Operator
Buckets
Chen Notation
Concept Hierarchy
Concept-Hierarchy Generation
consider-Operator
critical-Operator
Data Mart
Data Migration
Data Mining in the Business Community
Data Warehouse
Datei
Dateipuffer
Dateiverwaltung
Datenbank
Datenunabhängigkeit
DBMS
Denormalisierung
Division
Divisions-Rest-Verfahren
Document Type Definition
ECLAT
EER-Modell
Enterprise Warehouse
Entity
Epistemologie
ER-Mapping
ER-Modell
Extension
Externes Schema
Extract Transform Load
Fact Constellation
Flash Speicher
Formal Ontology
Freispeicherverwaltung
Funktionale Abhängigkeit
Generische Software
Gerätetreiber
Gestreute Speicherung
Gültigkeit
Hauptspeicher
Hypercube
ignore-Operator
Intension
Interaktionsdiagramm
Internes Schema
Kernel Density Estimation
Klassendiagramm
Knowledge Discovery Pipeline
Konzeptioneller Entwurf
Konzeptionelles Schema
Kreuzprodukt
Logisches Schema einer Dimension
loop-Operator
Magnetbandspeicher
Magnetplattenspeicher
Mehrwertige Abhängigkeit
Mengenoperationen
mER Diagramm
Metadaten
MOC - Implementierung von Datenbanksystemen
MOC - Konzeptionelle Modellierung
Modell
Multidimensionale Datenmodellierung
Multidimensionale Operatoren
Natürlicher-Verbund
neg-Operator
Normalisierung
OLAP
OLTP
Ontologien
Open Addressing
Operationen des TID-Konzept
opt-Operator
Optische Speicher
Overflow-Buckets
par-Operator
Positionsindex
Projektion
Puffer
Pufferrahmen
Referenzielle Integrität
Relationenalgebra
Relationenmodell
ROLAP
Satz
Satzadresse
Schema-Architektur ANSI SPARC
Schicht
Schichtenbildung
Selektion
Semiotik
seq-Operator
Sequenzdiagramm
Sequenzielle Satzdatei
Slot
Snowflake Schema
Spur
SQL
Stapelverarbeitung
Star Schema
strict-Operator
Struktur eines Blocks im TID-Konzept
TID-Konzept
Unified Modelling Language
Verbund
Verwaltungsdatenstruktur
Vier Schritte nach Kimball
Virtual Warehouse
Virtuelles Hashing
Wechselpuffertechnik
Wohlgeformtheit
Xlink
XML
XPath
Xpointer
Zugriffskamm
Zustandsdiagramm
Zylinder
Dimensionality Reduction
Curse of Dimensionality
Dimensionality Reduction
Feature Selection
Linear Discriminant Analysis
Manifold
Manifold Learning
Principle Component Analysis
Wavelet Transform
Machine Learning
Classification
Binary Classification
Class Imbalance
Genre Classification
IF-THEN Rules for Classification
Image Classification
One-Versus-Rest
Oversampling
Rule Induction
Rule Pruning
Sequential Covering Method
Soft Margin
Undersampling
Clustering
Agglomerative Nesting
Balanced Iterative Reducing and Clustering Using Hierarchies
CF-Tree
Cluster
Clustering
Clustering Feature
Clustering für Bildbearbeitung
Clustering in Quest
Clustering Large Applications
Clustering mit Kruskal
Core Point
DENCLUE
Density-Based Clustering
Density-Based Spatial Clustering of Applications with Noise
Divisive Analysis
Fuzzy K-Means Clustering
Grid-Based Clustering
Hierarchical Clustering
Hierarchical Clustering using Dynamic Modeling
k-means Clustering
k-medoids Clustering
K-Nearest Neighbors
Ordering Points To Identify the Clustering Structure
Partition-Based Clustering
Radial Basis Function Kernel
Randomized CLARA
Decision Tree
BOAT
Decision Tree
Decision Tree Induction
Decision Tree Pruning
RainForest
Rule Extraction from Decision Tree
Deep Learning
Deep Learning
Deep Neural Network
Ensemble
Bagging
Boosting
Ensemble Method
Random Forest
Evaluation
Accuracy
Area under curve
Average Recall
Confusion Matrix
Evaluation for Machine Learning Models
Extrinsic Evaluation
F-measure
False positive rate
Holdout Method
Intrinsic Evaluation
K-Fold Cross Validation
Leave-One-Out K-Fold Cross Validation
Mean Absolute Percentage Error
Mean Squared Error
Model Evaluation
Negative predictive value
Performance Evaluation Metrics
Perplexity
Positive predictive value
Precision
Quality of the fit
Recall
Receiver Operating Characteristic
True negative rate
True positive rate
Validation Curve
Explainable AI
Accumulated Local Effect Plot
Action Advice
Activation Maximization
Algorithm Transparency
Ante-Hoc
Application Level Evaluation
Artificial General Intelligence
Black Box Model
Classification and Regression Trees
Coalition
Comprehensability
Consistency
Counterfactual
Disentangled Features
Effect (XAI)
Effect Plot
Encoding of Categorical Features
Explainability
Explainable AI
Explanation
Expressive Power
Feature Attribution
Feature Importance
Feature Interaction
Fidelity
Friedman's H-statistic
Function Level Evaluation
Generalized Additive Model
Generalized Linear Model
Global Explanation
Global Surrogate
Grad-CAM
Homoscedasticity
Human Level Evaluation
Individual Conditional Expectation Curve
KernelSHAP
LIME
Linear Regression
Local Explanation
Local Surrogate
Log Odds
Logistic Regression
MOC - Intro to XAI
Model-Agnostic
Model-Specific
Network Dissection
Partial Dependence Plot
Permutation Feature Importance
Portability
Post-Hoc
Prototype
R-Squared
Rashomon Effect
RuleFit
Saliency Map
Shapley Additive Explanations
Shapley Values
Stability
Translucency
TreeSHAP
Unit
Vanilla Gradient
Weight Plot
White Box Model
Feature Engineering
Attribute Creation
Loading
Natural Language Processing
LLM
Chain of Thought
Few-Shot Learning
In-Context Learning
Infilling
Input-Output Prompting
Knowledge Base LLM
Knowledge Distillation in Large Language Models
Large Language Model
Low-Rank Adaptation
Multi-Head Attention
One-Shot Learning
RAG Evaluation
Reinforcement Learning from Human Feedback
Self Consistency with CoT
Self-Attention
Self-Instruct
The Scaled Dot-Product Attention
Thoughts on RAG
Transformer Architecture
Transformer Decoder
Transformer Encoder
Tree of Thoughts
Zero-Shot Learning
Bag Of Words
Bidirectional Recurrent Neural Network
Branching Factor
Common Bag Of Words
Embedding
Information Retrieval
Integer Encoding
Inverse Document Frequency
Language Identification
Masked Language Model
N Gram Model
Named Entity Recognition
Natural Language
Natural Language Generation
Natural Language Processing
Natural Language Semantics
Natural Language Understanding
NLP Abstraction
NLP Ambiguity
NLP Composition
NLP Reading
NLP Truth Conditions
Out Of Vocabulary
POS Tagging
Pragmatic Analysis
Spam Detection
Statistical Language Model
Terminology
Text Classification
TF-IDF
TF-IDF Word Embedding
Tokenization
Vector Database
Vocabulary
Word Embedding
Word Frequency Vector
Neural Networks
Activation Function
Activation Function
Hyperbolic Tangent
Logistic Function
Rectified Linear Unit
Sinus Activation
Convolutional Neural Network
Convolution
Convolutional Neural Network
Encoder
Autoencoder
Encoder
Sparse Autoencoder
Undercomplete Autoencoder
Variational Autoencoder
Feature Selection
Sensitivity Analysis
Fuzzy
Defuzzification
Fuzzification
Fuzzy Inference
Membership Function
Neuro-Fuzzy Network
General
Adaptive Linear Unit
Hidden Layer
Multilayer Perceptron
Perceptron
Pooling
Softmax
Models
Boltzmann Machine
Pruning
Optimal Brain Damage
Reverse Input Pruning
Standard Input Pruning
Regularisation
Early Stopping
Elastic-Net Regression
Lasso Regression
Regularisation
Ridge Regression
Square Weight Decay
Weight Update
AdaBoost
AdaGrad
Adam
Backpropagation
Backpropagation for Shared Weights
Broyden Update
Full-Batch Gradient Descent
Gradient Descent
Hebbs Rule
Mini-Batch Gradient Descent
Momentum Backpropagation
Neural Network Weight Initialization
Ojas Rule
Silva Almeidas Rule
Stochastic Gradient Descent
Vario-Eta Learning
Weight Update
Attention
Attention Is All You Need
Feed-forward Neural Network
Neural Network
Thomas Bayes (Best Solution)
Universal Approximation Theorem
William Occam (Best Model)
Outlier
Density-Based Outlier Detection
Distance-Based Outlier Detection
Distance-Based Outlier Detection - Grid-Based Method
Distance-Based Outlier Detection - Nested Loop Method
Outlier
Outlier Detection with Grouping Based on Assumptions
Outlier Detection with Non-Parametric Statistical Method
Outlier Detection with Outlier Classification
Outlier Detection with Parametric Statistical Method
Random Forest
Forest-RI
SVM
Hard Margin
Lagrange Multipliers for SVM optimization
Time Series
Closed Dynamical Systems
Abridged HCNN
Architectural Teacher Forcing
Closed Dynamical System
Deep Historical Consistent Neural Network
Global Modelling
Historical Consistent Neural Network
Homotopy for PTF
Partial Teacher Forcing
Open Dynamical Systems
Error Correction Neural Network
Open Dynamical System
State Space Model
Concept Drift
Confounder
Deep Error Correction Learning
Embedding Observations into Higher Dimensional Spaces
Forecast Uncertainty Presentation - Tutorials
Long Short Term Memory Network
Lorenz Attractor
Memory Length
Modeling Dynamical Systems on Manifolds
Recurrent Neural Network
RNN Backward Approach
RNN Forward Approach
Smoothing Dynamical Models by Changing the Coordinate System of the Observables
Smoothness Penalty
Stable Models
Takens Theorem
Time Series Data
Attribute Selection Method
Automatic Concept-Hierarchy Generation
Basis Function Expansion
Classification
Complexity vs. Generalization Error
Custom Loss Function for Linear Regression in Python
Decision Boundary
Decision List
Double Descent
Empirical Loss
Forest-RC
Generalization Loss
Grid Search
Heuristic Search
Kernel Trick
Learning Curve
Lineare Regression per Hand ausrechnen
Loss Function
Machine Learning
Majority Voting
Maximum Margin Separator
ML Pipeline
Model Deployment
Model Selection
Model Training
Nearest Neighbors Algorithm
Nested Cross Validation
Norm Loss
Normalization
Normalization by decimal scaling
Numerosity Reduction
One-Hot-Encoding
Online Learning
Optimization of a Linear Model
Overfitting
Overfitting and Underfitting
Performance Monitoring
Presidio
Quantile Regression
Randomized Search
Reconstruction Loss
Regression
Reinforcement Learning
Semi-Supervised Learning
Sequence To Sequence Model
Singular Value Decomposition
Sparsity
Stratified K-Fold Corss Validation
Stratified Sampling
Supervised Learning
Support Vector Machine
Train Validation Split
U-shaped Learning
Underfitting
Unsupervised Learning
Bias
Binning
Contingency table for binary data
Correlation Analysis
Cross-Industry Standard Process for Data Mining
Data Cleaning
Data Compression
Data Discretization
Data Ingestion
Data Integration
Data Mining in the ML and Statistics Community
Data Preparation
Data Profiling
Data Quality
Data Reduction
Data Segregation
Data Transformation
Gaussian Mixture Expectation Maximization
Gewichteter Mittelwert
Histogram Analysis
Log-Likelihood
Metriken
Min-Max Normalization
Sample
Sampling
Simple Matching Coefficient
Decision Theory
Decision Network
Decision Theory
Ramseys Theorem
Value Iteration Algorithm
Value of Perfect Information
Distances
Cosine Similarity
Dissimilarity Matrix
Distance Metrics
Euclidean Dot Product Formula
Haversine Distance
Mahalanobis Distance
Manhattan Distance
Minkowski Distance
Fourier Transform
Fast Fourier Transform
Fourier Analysis
Frequent Item
A priori - Frequent Item Approach
Association Rule
CLOSET
Conditional FP-tree
Conditional Pattern Base
Confidence
Downward-Closure Property
F-list
FP-tree
Frequent Item - Header Table
Frequent Pattern Growth
Itemset
Mining Frequent Patterns, Associations and Correlations
Support
Graph
Algorithmen
MST-Algorithmus von Kruskal
MST-Algorithmus von Prim
Flussnetzwerk
Augmentierender Weg
Bedarfsfunktion
Fluss
Flusserhaltungsbedingung
Flussnetzwerk
Ford-Fulkerson Algorithmus
Goldberg–Tarjan Algorithmus
Gültige Markierung
Kapazitätsbedingung
Max-Flow Problem
Min-Cut Problem
Minimalkosten-Fluss-Problem
Minimalkosten-Zirkulations-Problem
Negative-Kreise-Optimalitätsbedingung
Pseudofluss
Push-Relabel Algorithmus
Reduzierte Kosten
Residualnetzwerk
Sukzessive-Kürzeste-Wege-Algorithmus
Überschuss
Zirkulation
Matroide
Basisaxiome
Basissystem
Greedy-Max für Unabhängigkeitssysteme
Kreisaxiome
Kreissystem
Matroid
Unabhängigkeitssystem
Vektormatroid
Strukturen
Eulerpfad
Eulertour
Hamiltonkreis
Hamiltonweg
Kette
Kreis
Pfad
Wald
Weg
Wurzelbaum
Zyklus
Aufspannender Baum
bipartit
Bogen
Directed Acyclic Graph
Gerichteter Graph
Grad
Graph
Graphen Theorie
Graphengenerierung
Inzidenzfunktion
Kantenunabhängigkeitszahl
Knotenunabhängigkeitszahl
Minimal-aufspannende-Bäume
Perfektes Matching
Polytree
Schnitt
Teilgraph
trennende Kantenmenge
unabhängige Kantenmenge
unabhängige Knotenmenge
Unabhängige Menge
Ungerichteter Graph
vollständig
vollständig bipartit
zusammenhängend
Zusammenhangskomponente
Information Theory
Expected Information
Gain Ratio
Gini Index
Information Gain
Surprisal
Knowledge Representation
Evaluation Criteria for Knowledge Representation
Expressive Adequacy
Knowledge Representation
Primitives
Reasoning Efficiency
Semantic Network
Semantic Web
Logic
Logic Programming
Knowledge Base (Prolog)
Logic Programming
ProLog
Logical System
Description Logic
ALC
ALC Tableau Calculus
Assertion
Bottom Concept
Concept
Concept Definition
Negation Normal Form
Top Concept
Translation into First-Order Predicate Logic
First Order Predicate Logic
First-Order Natural Deduction
First-Order Natural Deduction
First-Order Natural Deduction in Sequent Formulation
First-Order Natural Deduction with Equality
First-Order Predicate Logic with Equality
First-Order Unification
More General
Most General Unifier
Solved Form
Unification
Unification Algorithm
Alphabetical Variant
Bound Variable
Closed Formula
Existential Quantifier
First-Order Predicate Logic
First-Order Signature
Free Variable
Free Variable Tableau Calculus
Proposition
Sentence
Standard Tableau Calculus
Terms
Universal Quantifier
Propositional Logic
Calculi
Analytical Tableaux
CNF Transformation Calculus
Hilbert Calculus
Natural Deduction
Sequent Calculus Formulation
Normal Form
Conjunctive Normal Form
Disjunctive Normal Form
Resolution Calculus
Clause
Empty Clause
Resolution Calculus
Unit Clause
SAT
Davis Putnam Procedure
Erfüllbarkeitsproblem der Aussagenlogik
Unit Propagation
Atom
Disjunktion
Implikation
Inference Rule
Interpretation Function
Konjunktion
Labeled Formula
Local Hypothesis
Logical Equivalences
Negative Literal
Opposite Literal
Positive Literal
Propositional Logic
Semantics of Propositional Logic
Syntax of Propositional Logic
Universe
Value Function
Variable Assignment
Calculus-Derivation
Formal System
Logical System
01 Logic
Abduction
Assignment Extension
Axiom
Backchaining
Backus-Naur-Form
Closed World Assumption
Completeness
Concept Axiom
Confluent
Consistency Test
Course-Of-Values Induction
Cummulative Development
Deduction
Deductive Learning
Derivation Relation
Description Logic
Entailment
Ex Falso Quodlibet
Explanation-based Learning
Frame Problem
Generalized Quantifiers
Idempotenz
Induction
Inductive Learning
Inductive Logic Programming
Induktion (Beweis)
Inference
Information Extraction
Instance Test
Inverse Resolution
Knowledge Base Agent
Knowledge-based Inductive Learning
Korrektheit
Linearized Notation for sequent-style ND proofs
Logic
MOC - Grundlagen der Logik in der Informatik
Modus Ponens
Open World Assumption
Preferences on Reward Sequences
Promotion
Proof
Propositional Logic as Set Description Language
Reiterationsregel
Relevance-based Learning
Role
Russellsches Paradox
Soundness
Strukturelle Induktion
Subsumption Test
Term Frequency
Tertium Non Datur
Unsatisfiability Theorem
Markov
Emissionen
Hidden Markov Model
Markov Decision Process
Markov Filtering
Markov Inference
Markov Most Likely Explanation
Markov Prediction
Markov Process
Markov Property
Markov Smoothing
Partially Observable MDP
Temporal Probability Model
Mathematics
Analysis
Differentialrechnung
Differentialrechnung
Hauptsatz der Differential- und Integralrechnung
Mittelwertsatz der Differentialrechnung
Folgen und Reihen
Cauchy-Folge
Geometric Series
Häufungspunkt
Konvergenz
Konvergenzraten
Lineare Konvergenz
Quadratische Konvergenz
Superlineare Konvergenz
Teilfolge
Integralrechnung
Integralrechnung
Integration durch Substitution
Partialbruchzerlegung
Partielle Integration
Metriken und Normen
Metrik
Norm
Stetigkeit
Gleichmäßig stetig
Hölder-stetig
Kontraktion
Lipschitz-stetig
Stetigkeit
Funktionsanalysis
Banachraum
Fixpunkt
Fixpunktsatz von Banach
Hilbertraum
Lineare Algebra
Eigenwerttheorie
Das Charakteristische Polynom
Eigenraum
Eigenvektor
Eigenwert
Hauptraum
Matrizen
Ähnlichkeit von Matrizen
Äquivalenz von Matrizen
Diagonalisierung
Invertierbarkeit
Jordannormalform
Nilpotenz
Normalform
Trigonalisierung
Vektorräume
Euklidische Norm
Skalarprodukt
Vektorprodukt
Winkelmessung
Kompaktheit
Optimization
Dualität
Dualität
Einführung Dualität
Lagrange-duales Problem
Sattelpunkt der Lagrange-Funktion
Schwacher Dualitätssatz
Starker Dualitätssatz
Extremwertberechnung
Analytische Extremwertberechnung
Lagrange-Multiplikatoren
Newton Verfahren
Geometrie
affine Hülle
Fundamentalsatz 1 der linearen Optimierung
konvexe Hülle
lineare Hülle
Gradientenverfahren
Abstiegsrichtung
Armijo-Schrittweitenregel
Liniensuchverfahren
Richtung des steilsten Abstiegs
Schrittweite
Innere-Punkte-Verfahren
Dualitätsmaß
Innere-Punkte-Verfahren
Innere-Punkte-Verfahren für restringierte Optimierungsprobleme
Nachbarschaft
Primal-dual zulässige Menge
Primal-Duale Verfahren
Primal-duales pfadfolgendes Innere-Punkte-Verfahren
Zentraler Pfad
Lineare und Nichtlineare Optimierung
Gesamtschrittverfahren
Fixpunktform
Induzierte Matrixnorm
Jacobi-Verfahren
Maximumsnorm
Spektralradius
Spektrum
Umwandlung LGS in Fixpunktform
Zeilensummenkriterium
Zeilensummennorm
Heuristik
Dive-and-Fix
Feasibility Pump
Heuristik
Incumbent
Konstruktionsheuristik
Local Branching
Relaxation Induced Neighborhood Search
Tauchheuristik
Verbesserungsheuristik
Konvexe Unterschätzer und Konkave Überschätzer
Alpha-Unterschätzer
Konkave Einhüllende
Konkaver Überschätzer
Konvexe Einhüllende
Konvexe Unterschätzer und konkave Überschätzer
Konvexer Unterschätzer
McCormick-Ungleichungen
Mixed Integer Nonlinear Program
Kontinuierliche Reformulierung von ganzzahligen Variablen
Fischer-Burmeister-Funktion
Komplementaritätsbedingung
Kontinuierliche Reformulierung von ganzzahligen Variablen
NCP-Funktion
Normierte Fischer-Burmeister-Funktion
Spatial Branch-and-Bound
Einführung Spatial Branch-and-Bound Verfahren zur Lösung nichtkonvexer MINLPs
Expression Tree
Faktorisierbar
Spatial Branch-and-Bound Verfahren
Gemischt-ganzzahliges nichtlineares Optimierungsproblem
Komplexität von MINLPs
Outer Approximation Verfahren
Pooling-Problem
Mixed Integer Program
Separierungsproblem
Basic Mixed Integer Set
Branch-and-Cut Verfahren
Continous Integer Knapsack Set
Gomory Mixed-Integer Set
Gomory Mixed-Integer Ungleichung
Mixed Integer Rounding Ungleichung
Schnittebenenverfahren
Separierungsproblem
Simple Mixed Integer Rounding Ungleichung
Branch-and-Bound Verfahren
Capacitated Lot-Sizing Problem
Cut-Set Bedingung
Gemischt-ganzzahliges lineares Optimierungsproblem
Knapsack Problem
LP-Relaxierung
Prune by Bound
Prune by Infeasibility
Prune by Integrality
Relaxierung
Subtour Elimination Bedingung
Traveling Salesman Problem
Uncapacitated Facility Location Problem
Uncapacitated Lot-Sizing Problem
Modellierung stückweise linearer Funktionen
Modellierung stückweise linearer Funktionen
Trägerfunktion
Polyedertheorie
Dimension (Polyeder)
Echte Seitenfläche
Extremalmenge
Extremalpunkt
Facette
Facetten-Definierende Ungleichung
Formulierung
Grundlagen der Polyedertheorie
Halbraum
Hyperebene
konische Hülle
Polyeder
Polytop
Satz von Minkowski-Weyl
Seitenfläche
Strahl
Zulässige Ungleichung
Simplex Verfahren
Basis (Simplex)
Basislösung
Basismatrix
Forward Transformation
Freie Variablen
Pricing
Ratio Test
Schlupfvariablen
Simplex-Verfahren für LPs in Standardform
Nichtlineares Optimierungsproblem
Optimalitätsbedingungen
Restringiert
Abadie Constraint Qualification
Indexmenge der Aktiven Ungleichungsbedingungen
Karush-Kuhn-Tucker Conditions
Lagrange-Newton-Verfahren
Linear Independence Constraint Qualification
Linearisierungskegel
Notwendige Optimalitätsbedingung erster Ordnung für lineare Nebenbedingungen
Notwendige Optimalitätsbedingung erster Ordnung restringierter Probleme
Optimalitätsbedingungen erster Ordnung für restringierte Optimierungsprobleme
Tangentialkegel
Zulässige Richtung
Unrestringiert
Definitheit
Hessematrix
Hinreichende Optimalitätsbedingung zweiter Ordnung
Notwendige Optimalitätsbedingung erster Ordnung unrestringierter Probleme
Notwendige Optimalitätsbedingung zweiter Ordnung
Optimalitätsbedingungen für unrestringierte Optimierungsprobleme
Sattelpunkt
Stationärer Punkt
Adjazenzmatrix
affin-linear
Affine Unabhängigkeit
Algorithmus
Banach Lemma
Basis (Basissystem)
Baum
bedeckende Kantenmenge
bedeckende Knotenmenge
Bellmann-Ford Algorithmus
Binary Integer Program
Constraint Qualification
Das Gesamtschrittverfahren zur Lösung linearer Gleichungssysteme
Der duale Simplex-Algorithmus
Der große Satz von Fermat
Detektion negativer Kreis
Dijkstra Algorithmus
Diophantische Gleichung
Diskrete Optimierungsprobleme
Duale Transformationsregeln
dualer Graph
Eliminationsverfahren
Extremstrahl
Extremwertberechnung
Farkas-Lemma
Floyd-Warshall Algorithmus
Fundamentalkreis
Fundamentalschnitt
Ganzzahligkeitssatz
Gaußsche Glockenkurve
Gemischt-ganzzahlige lineare Optimierung
Globale Optimierungsprobleme
globales Extremum
globales Maximum
globales Minimum
Gradient
Gradientenverfahren
Gradientenverfahren für unrestringierte Optimierungsprobleme
Hauptunterdeterminanten
Heap Eigenschaft
Heron-Verfahren
Himmelblau Funktion
Integer Program
Inzidenzmatrix
Iterationsverfahren
Jacobi Matrix
Kantenbedeckungszahl
Kegel
Kern
Knotenbedeckungszahl
Konvexe Funktion
Konvexe Menge
Konvexe Relaxierung
Konvexer Kegel
Konvexes Optimierungsproblem
Kreis (Kreissystem)
Kreis-Löschungs-Algorithmus
Kreismatroid
Lagrange-Funktion
Langschritt primal-duales pfadfolgendes Innere-Punkte-Verfahren
Lineare Approximation per Satz von Taylor
Lineares Ausgleichsproblem
Lineares Gleichungssystem
Lineares Optimierungsproblem
Linkskern
Lokal Lipschitz-stetig
lokales Extremum
lokales Maximum
lokales Minimum
Max-Flow-Min-Cut-Theorem
Maximaler Fluss
Metrischer Raum
Minimaler Schnitt
Minimierungstransformation
Modellierung
NLP-Relaxierung
Optimierungsprobleme
Parabeliteration
Pfad-Optimalitätsbedingung
Planarer Graph
Polynomial Time 1
Polynomielle Reduktion
Quadratische Approximation per Satz von Taylor
Quadratisches Optimierungsproblem
Rastrigen-Funktion
Reduktionslemma
Restringierte Optimierung
Richtungsableitung
Rosenbrock-Funktion
Satz vom schwachen komplementären Schlupf für allgemeine LPs
Satz von Gallai
Satz von Weierstraß
Schnitt-Optimalitätsbedingung
Spaltenraum
Spektralnorm
Standardform
Stirling-Formel
Subdifferential
Subgradient
Taylor-Approximation
Unrestringierte Optimierung
Zeilenraum
Zulässigkeitsproblem
Other
Lorenz Curve
Ockhams Razor
Process Mining
Programming Paradigm
Pattern Recognition
1. Postulate for Pattern Recognition
2. Postulate for Pattern Recognition
3. Postulate for Pattern Recognition
4. Postulate for Pattern Recognition
5. Postulate for Pattern Recognition
6. Postulate for Pattern Recognition
Postulates for Pattern Recognition
Search
Breadth-first search
Contingency Problem
Depth-first search
Depth-limited search
Fringe
Iterative Deepening search
Multi State Problem
Page Rank
Search Problem
Single State Problem
Sort
Bubble Sort
Heap Sort
Insertion Sort
Merge Sort
Quick Sort
Selection Sort
Sortierverfahren
Statistics
Basics
Anfangsverteilung
Bedingte Wahrscheinlichkeit
Borel Sigma Algebra
Elementarereignis
Ereignis
Ereignisraum
Evidence
gemeinsame Verteilung
Grundraum
höchstens abzählbar
Independent Identically Distributed
Messbarkeitsnachweis
Potenzmenge
Prior Probability
Sigma Algebra
Verteilungsfunktion
Wahrscheinlichkeitsdichte
Wahrscheinlichkeitsmaß
Wahrscheinlichkeitsraum
Zähldichte
Zufallsvariable
Zusammenführung mehrerer Wahrscheinlichkeitsräume
Confidence Intervals
Confidence Interval
Descriptors
Alpha-Trimmed Mean
Arithmetic Mean
Basic Statistical Descriptors
Central Tendency
Erwartungswert
Mean Absolute Deviation
Moment
Standardabweichung
Varianz
Z-score
Distributions
Continuous Distributions
Continuous Uniform Distribution
Exponentialverteilung
Gamma Distribution
Normalverteilung
Discrete Distributions
Binomialverteilung
Discrete Uniform Distribution
Negative Binomialverteilung
Poisson Verteilung
Bernoulli-Verteilung
Chi-Squared Distribution
Dirac-Verteilung
Exponential Family
Gedächtnislose Verteilung
Geometrische Verteilung
Gleichgewichtsverteilung
Gleichverteilung
Hypergeometrische Verteilung
Kolmogorov Distribution
Multinomialverteilung
Standardnormalverteilung
t-Distribution
Estimators
Monte-Carlo for Integrals
Quantiles
Inter Quartile Range
Introduction to Quantiles
Inversion Lemma (Quantiles)
Median
Perzentil
qq-Plot
Quantile Function
Tests
GOF Tests
Chi-Squared GOF Test for finitely many values
Chi-Squared Test
Class Condition
Introduction to GOF Tests
qq GOF Test for Class of Distributions
qq GOF Test for Particular Distribution
Shapiro-Wilk Test of Normality
Binomial Test
Chi-Squared Test of Independence
Gauß Test
Grubbs Test
Left-Sided Gauß Test
One-Sided Gauß Test
One-Sided t-Test
Right-Sided Gauß Test
Runs test for long 01-sequence
t-Test
Two-Sided Gauß Test
Two-Sided t-Test
Agresti-Cull-CI
Allometric Growth
Asymptotic CI for Variance
Asymptotisches Regime großer Gesamtheiten
Bayes Formel
Bernoulli-Raum
Binomialkoeffizient
Bootstap
Conditional Independence
Conditional Probability Distribution
Cross Entropy
De-morgansche Regeln
Dichotomisation
Diskreter Wahrscheinlichkeitsraum
eindimensionale Randverteilung
Empirical Correlation Coefficient
Empirical cumulative distribution functions
Erzeugende Funktion
Exact Test of Fisher
Exponential Growth
Faltung
Gamma Function
gleichmäßige Konvergenz
Gleichung von Bienaymé
Glivenko-Cantelli
Indikatorfunktion
Indikatorfunktion im Integral rausbekommen.
Item Expression
Joint Class Probability
Joint Probability Distribution
Kolmogorov Smirnov Test
Kolmogorov Theorem
Konvergenzordnung
Kopplung
Korrelation
Kovarianz
Laplace-Experiment
Lebesguie Dichte
Likelihood
Lilliefors Test of Normality
Linear Gaussian Model
Linear Model
Margin Class Probability
Markov-Kette
Maximum Likelihood Estimation
Modalwert
Multinomialkoeffizient
Nominal Scale
Null Hypothesis
Odds
Ordered Data Sequence
Ordinal Scale
p-fast sichere Konvergenz
p-Value
Planning Test Size
Plug-In-Method
Poisson-Prozess
Posterior Probability
Power Function
Probability Chain Rule
Probability Normalization
Probability Product Rule
Probability Theory
Produkt Maß
Produkt Sigma Algebra
Produktraum
Proof Monotonic Increase
Proof of Right Continuity
punktweise Konvergenz
Quantile-Quantile Plot
Reelle Wahrscheinlichkeitsräume
Relative Error
Relative Häufigkeit
Relative Häufigkeit Theorie
Residuum
Reskalierung
right continuous
Sample Covariance
Sample Variance
Satz von Bayes
Satz von Berny-Esseen
Satz von der totalen Wahrscheinlichkeit
Scale of measure
Schwache Konvergenz
Schwaches Gesetz der großen Zahlen
Sigma-Additivität
Standard Estimators
Starkes Gesetz der großen Zahlen
Statistical Simulation
Stochastic Dominance
Stochastic Process
stochastisch unabhängig
Stochastische Konvergenz
Test Statistic
Two-Sample Test
Type 1 Error
Type 2 Error
Übergangsmatrix
Ungleichung von Chebyshev
Urnenmodell
Wald-CI
Zentraler Grenzwertsatz
MOC - Introduction to Statistics and Statistical Programming
MOC - Stochastische Modellbildung
Design Specs
Home
Working Note
Navigation
Tags
All tags
#E
(1)
#Gemischt-ganzzahlige
(1)
#P-hard
(1)
#code
(1)
#confirm
(1)
#data
(1)
#infovislearn
(2)
#lnsexam
(1)
#programmingassignment
(2)
#question
(4)
#todo
(22)
#uebung
(1)
On this page
Korrektheit
Φ
⊢
ψ
⇒
Φ
⊨
ψ
\Phi \vdash \psi \Rightarrow \Phi \models \psi
Φ
⊢
ψ
⇒
Φ
⊨
ψ