itarticle natural language processing 101 Statistical Language Models Some popular tasks in NLP Deep Learning in NLP 0
itarticle illumination invariant feature extraction based on natural images statistics, taking face images as an example 0
itarticle basic computational type theorybasic computational type theory “Axiom” (Theorm) of Choice Natural Numbers mathbb{N} Identity Type Function Extensionality / Principle of Extensionality 0