Actor model (computer science) | Mathematics of computing | Denotational semantics

In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model. Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and designate how to respond to the next message received. Actor model theory incorporates theories of the events and structures of Actor computations, their proof theory, and denotational models. (Wikipedia).

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