Applicative computing systems | Models of computation

Categorical abstract machine

The categorical abstract machine (CAM) is a model of computation for programs that preserves the abilities of applicative, functional, or compositional style. It is based on the techniques of applicative computing. (Wikipedia).

Video thumbnail

(ML 13.3) Directed graphical models - formalism (part 1)

Definition of a directed graphical model, or more precisely, what it means for a distribution to respect a directed acyclic graph.

From playlist Machine Learning

Video thumbnail

Associative Binary Operations and Examples Video

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Associative Binary Operations and Examples Video. This is video 2 on Binary Operations.

From playlist Abstract Algebra

Video thumbnail

(ML 7.7) Dirichlet-Categorical model (part 1)

The Dirichlet distribution is a conjugate prior for the Categorical distribution (i.e. a PMF a finite set). We derive the posterior distribution and the (posterior) predictive distribution under this model.

From playlist Machine Learning

Video thumbnail

(ML 7.1) Bayesian inference - A simple example

Illustration of the main idea of Bayesian inference, in the simple case of a univariate Gaussian with a Gaussian prior on the mean (and known variances).

From playlist Machine Learning

Video thumbnail

Concept of a vector

This shows an small game that illustrates the concept of a vector. The clip is from the book "Immersive Linear Algebra" at http://www.immersivemath.com

From playlist Chapter 2 - Vectors

Video thumbnail

Walking Robot Mechanism 3D Model

A simple walking machine, used to teach kinematics. It uses 4-bars mechanisms to create the movements. Free 3D model at https://skfb.ly/onQMo.

From playlist Walking Machines

Video thumbnail

(ML 13.4) Directed graphical models - formalism (part 2)

Definition of a directed graphical model, or more precisely, what it means for a distribution to respect a directed acyclic graph.

From playlist Machine Learning

Video thumbnail

Tom Leinster : The categorical origins of entropy

Recording during the thematic meeting : "Geometrical and Topological Structures of Information" the August 29, 2017 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent

From playlist Geometry

Video thumbnail

A Question Of Balance Wooden Toy 3D Model

Modeled and rendered with Solidworks.

From playlist Marble Machines

Video thumbnail

A New Framework for Modeling Brain Information Processing - Nikolaus Kriegeskorte

Nikolaus Kriegeskorte, Programme Leader at the Medical Research Council's Cognition and Brain Sciences Unit in Cambridge, UK, describes a framework for testing such massively multivariate brain-activity data.

From playlist Wu Tsai Neurosciences Institute

Video thumbnail

Lecture 2: The Curry-Howard correspondence

This talk gives an elementary introduction to some central ideas in the theory of computation, including lambda calculus and its relation to category theory. The aim was to get to the statement of the Curry-Howard correspondence, but we ran out of time; at some point there will be another

From playlist Topos theory seminar

Video thumbnail

(ML 7.8) Dirichlet-Categorical model (part 2)

The Dirichlet distribution is a conjugate prior for the Categorical distribution (i.e. a PMF a finite set). We derive the posterior distribution and the (posterior) predictive distribution under this model.

From playlist Machine Learning

Video thumbnail

R & Python - Conditional Inference Trees

Lecturer: Dr. Erin M. Buchanan Summer 2020 https://www.patreon.com/statisticsofdoom This video is part of my human language modeling class - this video set covers the updated version with both R and Python. This video explores the use of conditional inference trees and random forests to

From playlist Human Language (ANLY 540)

Video thumbnail

Deep Learning Tutorial | Deep Learning Tutorial For Beginners | What Is Deep Learning? | Simplilearn

🔥Artificial Intelligence Engineer Program (Discount Coupon: YTBE15): https://www.simplilearn.com/masters-in-artificial-intelligence?utm_campaign=DeepLearningTutorialForBeginnersandWhatisDL-Cq_P8kJgjvI&utm_medium=Descriptionff&utm_source=youtube 🔥Professional Certificate Program In AI And M

From playlist Deep Learning Tutorial Videos 🔥[2022 Updated] | Simplilearn

Video thumbnail

Victor Ostrik: Incompressible symmetric tensor categories

SMRI Algebra and Geometry Online ‘Incompressible symmetric tensor categories’ Victor Ostrik (University of Oregon) Abstract: This talk is based on joint work with Benson and Etingof. We say that a symmetric tensor category is incompressible if there is no symmetric tensor functor from thi

From playlist SMRI Algebra and Geometry Online

Video thumbnail

Lesson 4: Deep Learning 2018

NB: Please go to http://course.fast.ai to view this video since there is important updated information there. If you have questions, use the forums at http://forums.fast.ai We complete our work from the previous lesson on tabular/structured, time-series data, and learn about how to avoid

From playlist Deep Learning v2

Video thumbnail

R & Python - Logistic Regression

Lecturer: Dr. Erin M. Buchanan Summer 2020 https://www.patreon.com/statisticsofdoom This video is part of my human language modeling class - this video set covers the updated version with both R and Python. Next in our series is logistic regression - treated more as a statistical techni

From playlist Human Language (ANLY 540)

Video thumbnail

François Yvon: Machine learning in natural language processing

CONFERENCE Recorded during the meeting "Theoretical Computer Science Spring School: Machine Learning" the May 24, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathemat

From playlist Mathematical Aspects of Computer Science

Video thumbnail

23 Algebraic system isomorphism

Isomorphic algebraic systems are systems in which there is a mapping from one to the other that is a one-to-one correspondence, with all relations and operations preserved in the correspondence.

From playlist Abstract algebra

Related pages

Anonymous recursion | Nicolaas Govert de Bruijn | Supercombinator | Applicative computing systems | Type inference | Model of computation | Cartesian closed category | SECD machine | SKI combinator calculus | Theory of computation | Typed lambda calculus | Lazy evaluation | Explicit substitution | De Bruijn notation | Currying | Recursion | Combinatory logic