Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
SketchySVD - Joel Tropp, California Institute of Technology
This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai
From playlist Mathematics of data: Structured representations for sensing, approximation and learning
The Ultimate Guide to Propositional Logic for Discrete Mathematics
This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 W
From playlist Discrete Math 1
Optimal transport for machine learning - Gabriel Peyre, Ecole Normale Superieure
This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai
From playlist Mathematics of data: Structured representations for sensing, approximation and learning
Stanford Seminar - Computation with Motile Biological Agents
"Computation with Motile Biological Agents" - Dan Nicolau of McGill University Support for the Stanford Colloquium on Computer Systems Seminar Series provided by the Stanford Computer Forum. Speaker Abstract and Bio can be found here: http://ee380.stanford.edu/Abstracts/160525.html Coll
From playlist Engineering
Proof synthesis and differential linear logic
Linear logic is a refinement of intuitionistic logic which, viewed as a functional programming language in the sense of the Curry-Howard correspondence, has an explicit mechanism for copying and discarding information. It turns out that, due to these mechanisms, linear logic is naturally r
From playlist Talks
Logic for Programmers: Propositional Logic
Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod
From playlist Logic for Programmers
ElixirConf 2016 - Building Umbrella Project by Wojtek Mach
Building Umbrella Project by Wojtek Mach One of the many goals that both Elixir & Phoenix share is developer’s productivity. There can be two aspects of productivity: short-term and long-term. In this talk we’ll explore how using Elixir’s umbrella project feature can help with long-term p
From playlist ElixirConf 2016
Stanford Seminar - Mind Your State for Your State of Mind
EE380: Computer Systems Colloquium Seminar "Mind Your State for Your State of Mind" Speaker: Pat Helland, Salesforce About the talk: Applications have had an interesting evolution as we've moved into the distributed and scalable world. Similarly, storage and its cousin databases have cha
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
If Your Robot Commits Murder, Should You Go to Jail? | Big Think
If Your Robot Commits Murder, Should You Go to Jail? Watch the newest video from Big Think: https://bigth.ink/NewVideo Join Big Think Edge for exclusive videos: https://bigth.ink/Edge ---------------------------------------------------------------------------------- Just like automated ve
From playlist Best Videos | Big Think
Stanford Lecture: Mathematical Writing - Refereeing (1)
The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book (http://www-cs-faculty.stanford.edu/~knuth/klr.html). October 30, 1987 Professor Knuth is the Professor Emeritus at Stanford Univer
From playlist Donald Knuth Lectures
Harvesting and making sense of mobile and wearables data: Challenges and opportunities
Cecilia Mascolo (Turing Fellow and University of Cambridge, UK) Cecilia Mascolo is a mother of a teenage daughter. She is also Full Professor of Mobile Systems in the Computer Laboratory, University of Cambridge, UK, a Fellow of Jesus College Cambridge and a Fellow at the Alan Turing Inst
From playlist Women in data science conference
Hands on learning of computational theory for software developers from all walks of life. Using semantics and the barebones of the Ruby programming language, learn the meaning of programs and why specific algorithms do their job.
From playlist Programming Podcast
Stanford Seminar: Time Traveling Hardware and Software Systems
EE380: Computer Systems Colloquium Time Traveling Hardware and Software Systems Srini Devadas , MIT With the imminent demise of Moore's Law, the importance of parallel computing is only increasing. However, efficient parallel computing with ease of programmability still remains elusive. S
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
The mother of all representer theorems for inverse problems & machine learning - Michael Unser
This workshop - organised under the auspices of the Isaac Newton Institute on “Approximation, sampling and compression in data science” — brings together leading researchers in the general fields of mathematics, statistics, computer science and engineering. About the event The workshop ai
From playlist Mathematics of data: Structured representations for sensing, approximation and learning
Stanford Lecture: Mathematical Writing - Scientific American Saga (2)
The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book (http://www-cs-faculty.stanford.edu/~knuth/klr.html). November 13, 1987 Professor Knuth is the Professor Emeritus at Stanford Unive
From playlist Donald Knuth Lectures
CERIAS Security: Automatic Debugging and Verification of RTL-Specified Real-Time Systems 4/6
Clip 4/6 Full title: Automatic Debugging and Verification of RTL-Specified Real-Time Systems via Incremental Satisfiability Counting and On-Time and Scalable Intrusion Detection in Embedded Systems Speaker: Dr. Albert M. K. Cheng · University of Houston Real-time logic (RTL) is use
From playlist The CERIAS Security Seminars 2007
HC30-T1-X: Blockchains and Distributed Ledgers
Tutorial 1, Hot Chips 30 (2018), Sunday, August 19, 2018. Organizer: Geoffrey Burr, IBM A New Era in Distributed Computing with Blockchains and Databases Dr. C. Mohan, IBM Fellow, IBM Research–Almaden A new era is emerging in the world of distributed computing with the growing popularit
From playlist Center for Applied Cybersecurity Research (CACR)
Hajime Ishihara: Constructive reverse mathematics an introduction and recent results
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: This talk presents an introduction to constructive reverse mathematics (CRM) with some recent results. The aim of CRM is to classify various theorems in intuitionistic, c
From playlist Workshop: "Proof, Computation, Complexity"