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

CNF Transformation Calculus

A Calculus CNF0CNF_0CNF0​ withe the following Inference Rules on sets of Labeled Formula:

Bildschirm­foto 2023-01-29 um 00.22.18.png