Model Theory - part 01 - The Setup in Classical Set Valued Model Theory
Here we give the basic setup for Model Theory. I learned this from a talk Tom Scanlon gave in 2010 at CUNY.
From playlist Model Theory
On the Setoid Model of Type Theory - Erik Palmgren
Erik Palmgren University of Stockholm October 18, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Natural Models of Type Theory - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics March 28, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
The Incorrect Assumptions of the Ideal Gas Model - and Why It Still Works!
What exactly IS an Ideal Gas? And why do physicists use this model to represent real gases? In this video we'll compare the assumptions made by the ideal gas model with the properties of real gases, as well as how we can improve the ideal gas law in certain scenarios. As with every model
From playlist Thermodynamics by Parth G
Model Theory - part 07 - Semantics pt 1
This is the first video on semantics.
From playlist Model Theory
Am I only streaming? Thinking reactive - Rob Harrop
In 1978, Tony Hoare presented communicating sequential processes (CSP) to the world. Systems envisioned by CSP are composed of sequential processes that communicate via message passing. In 1973, Hewitt, Bishop, and Steiger introduced the actor model to the world. Actors, like processes in
From playlist O'Reilly Software Architecture Conference 2016 - London, United Kingdom
Visualization of tensors - part 1
This video visualizes tensors. It shows some introduction to tensor theory and demonstrates it with the Cauchy stress tensor. Future parts of this series will show more theory and more examples. It talks about the term 'tensor' as used in physics and math. In the field of AI the term 'te
From playlist Animated Physics Simulations
The Blessings of Multiple Causes - David M. Blei
Seminar on Theoretical Machine Learning Topic: The Blessings of Multiple Causes Speaker: David M. Blei Affiliation: Columbia University Date: January 21, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
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
Statistical Rethinking - Lecture 17
Lecture 17 - Multilevel models (2) - Statistical Rethinking: A Bayesian Course with R Examples
From playlist Statistical Rethinking Winter 2015
ElixirConf 2015 - Keynote: Elixir Should Take Over the World by Jessica Kerr
Help us caption & translate this video! http://amara.org/v/HOmh/
From playlist ElixirConf 2015
R - Conditional Inference Trees and Random Forests
Lecturer: Dr. Erin M. Buchanan Summer 2019 https://www.patreon.com/statisticsofdoom This video is part of my human language modeling class. This video covers the more on collocations (words paired together) using conditional inference trees and random forests. Note: these videos are par
From playlist Human Language (ANLY 540)
Stanford Seminar - Preventing Successful Cyberattacks Using Strongly-typed Actors
Carl Hewitt MIT John Perry Stanford University UC Riverside June 17, 2021 Carl and John discuss how fundamental higher-order theories of mathematical structures of computer science are categorical meaning that they can be axiomatized up to a unique isomorphism thereby removing any ambi
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
24C3: I know who you clicked last summer
Speaker: Svenja Schröder A swiss army knife for automatic social investigation This talk introduces some techniques of social network analysis and graph theory. It aims at using simple approaches for getting interesting facts about networks. I will use the data of a popular community t
From playlist 24C3: Full steam ahead
Class 2, Part 1: Innovation Systems and Direct/Indirect Elements in the Innovation Ecosystem
MIT STS.081 Innovation Systems for Science, Technology, Energy, Manufacturing, and Health, Spring 2017 Instructor: William B. Bonvillian View the complete course: https://ocw.mit.edu/STS-081S17 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61GOiMKYgTzHpf8x6iiblaV Clas
From playlist MIT STS.081J/17.395J Innovation Systems for Science, Tech, Energy, Manufacturing & Health, Spring 2017
SICSS 2017 - Guest Lecture by Sandra Gonzalez-Bailon (Day 4. June 22, 2017)
The first Summer Institute in Computational Social Science was held at Princeton University from June 18 to July 1, 2017, sponsored by the Russell Sage Foundation. For more details, please visit https://compsocialscience.github.io/summer-institute/2017/
From playlist Guest Speakers
Wicked Good Ruby 2013 - Bloom: A Language for Disorderly Distributed Programming
By Christopher Meiklejohn Traditional programming languages use a model of computation where individual instructions are executed in order. However, when building distributed systems this model fails to match the reality of how your application code is actually executed. Bloom is a langua
From playlist Wicked Good Ruby 2013
Model Theory - part 03 - Terms, Formulas, Sequents
He we are a little bit more precise about keeping track of what fragments of formal languages we are using. This becomes relevant when you want to interpret them later. Caramello's book was useful in preparing this. We also found the post on nCatLab useful.
From playlist Model Theory
LambdaConf 2015 - Reactive Programming with Algebra André van Delft
R&D on reactive programming is growing and this has delivered many language constructs, libraries and tools. Scala programmers can use threads, timers, actors, futures, promises, observables, the async construct, and others. Still it seems to us that the state of the art is not mature: rea
From playlist LambdaConf 2015