The Grand Narrative of the History of Computing - Professor Doron Swade
A discussion of the core concepts of modern computing and their basis in history. Dr Doron Swade offers a new analysis of the history of computing, suggesting ...
Gresham College
Technical Lecture Series: Computational Design
Explore the benefits and potential pitfalls of using computational tools in structural engineering design. The use of computational tools is growing. Their results ...
The Institution of Structural Engineers
Dr Joan Lasenby - The mathematics of processing digital images - LMS Popular Lecture 2015
LMS Popular Lecture Leeds University November 2015 The mathematics of processing digital images In an age of digital images we have all become ...
London Mathematical Society
Jaron Lanier - Learning by Experience & Play
"You can't learn the kind of stuff you learn from people from machines" Renowned computer scientist, pioneer of virtual reality, artist, musician and author, Jaron ...
lwf
Uncertainty estimation and Bayesian Neural Networks - Marcin Możejko
PyData Warsaw 2018 We will show how to assess the uncertainty of deep neural networks. We will cover Bayesian Deep Learning and other out-of-distribution ...
PyData
The hard science of soft materials
Maria Charalambides, Professor in Mechanics of Materials in the Department of Mechanical Engineering, discusses her varied research career and how it has ...
Imperial College London
Developing Bug-Free Machine Learning Systems Using Formal Mathematics
Noisy data, non-convex objectives, model misspecification, and numerical instability can all cause undesired behaviors in machine learning systems. As a result ...
Microsoft Research
Caching In: Understand, Measure, and Use Your CPU Cache More Effectively
Modern computationally intensive tasks are rarely bottlenecked by the absolute performance of your processor cores. The real bottleneck in 2013 is getting data ...
Oracle Developers
USENIX Security '13 - Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer
Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer Roel Verdult, Radboud University Nijmegen; Flavio D. Garcia, University of ...
USENIX
Alfred Hero | 2018 Distinguished Professor Lecture
Locating the nodes: from sensor arrays to genomic networks” This lecture is presented by Alfred O. Hero in honor of being named the John H. Holland ...
University of Michigan Engineering
From causal inference to autoencoders, memorization & gene regulation - Caroline Uhler, MIT
Recent progress in genomics makes it possible to perform perturbation experiments at a very large scale. This motivates the development of a causal inference ...
The Alan Turing Institute
Spoils of the Egyptians: Lecture 1 Part 1
First Journey: Spoils of the Egyptians The origins of the binary exponentiation algorithm and its use in different contexts, e.g. cryptography, linear recurrences, ...
A9 Videos
Social Network Analysis. Lecture4. Network structure and community detection
Leonid Zhukov
Alan Turing's Wonderful Machine | Pluralsight
40% off Personal Annual and Premium subscriptions for a limited time! Our best deal EVER is back! Sign up to expand your technology skills and save TODAY!
Pluralsight
William Kahan: A Numerical Analyst Thinks about Deep Learning
Berkeley ACM A.M. Turing Laureate Colloquium November 7, 2018 306 Soda Hall Captions available upon request.
UC Berkeley EECS Events
Logic, Co-induction and Infinite Computation
Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations. Where ...
Microsoft Research
The Future of Mathematics?
As a professor of pure mathematics, my job involves teaching, research, and outreach. Two years ago I got interested in formal methods, and I learned how to ...
Microsoft Research
Charles Babbage and Ada Lovelace - Professor Raymond Flood
Professor Flood explains the lives and work of the 'Mother and Father of Computing': http://www.gresham.ac.uk/lectures-and-events/babbage-and-lovelace The ...
Gresham College
Active processes in cells and tissues (Lecture 1) by Frank Jülicher
INFOSYS-ICTS TURING LECTURES ACTIVE PROCESSES IN CELLS AND TISSUES SPEAKER: Frank Jülicher (Max Planck Institute for the Physics of ...
International Centre for Theoretical Sciences
Dana S. Scott: Lambda Calculus, Then and Now
Dana Scott, professor emeritus of Carnegie Mellon University, discusses Lambda Calculus in a lecture given on the occasion of Princeton University's centennial ...
princetonacademics
Are Brains Analogue or Digital? | Prof Freeman Dyson | Univeristy College Dublin
Abstract: We know that creatures like us have two separate systems for processing information, the genome and the brain. We know that the genome is digital, ...
UCD - University College Dublin
Towards Verification of General Neural Networks: A Dual Approach
Krishnamurthy Dvijotham, Deepmind https://simons.berkeley.edu/talks/krishnamurthy-dvijotham-5-3-18 Mathematical and Computational Challenges in ...
Simons Institute
Zico Kolter: "Integrating optimization, constraints, and control within deep learning models"
Intersections between Control, Learning and Optimization 2020 "Integrating optimization, constraints, and control within deep learning models" Zico Kolter ...
Institute for Pure & Applied Mathematics (IPAM)
Professor Mark Girolami: "Probabilistic Numerical Computation: A New Concept?"
The Turing Lectures: The Intersection of Mathematics, Statistics and Computation - Professor Mark Girolami: "Probabilistic Numerical Computation: A New ...
The Alan Turing Institute
Ivan Bilan: Understanding and Applying Self-Attention for NLP | PyData Berlin 2018
PyData Berlin 2018 Understanding attention mechanisms and self-attention, presented in Google's "Attention is all you need" paper, is a beneficial skill for ...
PyData
A Taste of GPU Compute
Presented by: Raph Levien The GPU in a modern computer (desktop or mobile) has about an order of magnitude more raw general purpose computing ...
Jane Street
Lambda Calculus Then and Now
Talk by ACM A.M. Turing Laureate Dana S. Scott during the ACM A.M. Turing Centenary Celebration, June, 2012. Abstract: A very fast development in the early ...
Association for Computing Machinery (ACM)
Becoming An Economist 2017 Lecture 03: Austrian Economics
For my students at Kingston: an overview of the Austrian school.
ProfSteveKeen
Computable Real Numbers and Why They Are Still Important Today
Talk by ACM A.M. Turing Laureate Edmund Clarke during the ACM A.M. Turing Centenary Celebration, June, 2012. Abstract: Although every undergraduate in ...
Association for Computing Machinery (ACM)
Causal Inference
Dr. Joseph Hogan from Brown University presents a lecture titled "Causal Inference" View Slides ...
The Foundations of Biomedical Data Science
Statistical and causal approaches to machine learning
Where would you take machine learning? 2014's Milner Award winner Professor Bernhard Schölkopf, Max Planck Institute for Intelligent Systems, talks through ...
The Royal Society
What is Noise? What is Signal?, Dr. Bart Kosko, University of Southern California
Noise has many forms – white, pink, brown and thermal noise, to name a few. Chaos is noise. A celebrated maverick in the world of science, Bart Kosko ...
Linus Pauling Memorial Lecture Series
Part 1- C# Programming Crash Course in Amharic Introduction
yayobe Yoseph
Live Stream #98: Starting Series on Neural Networks
In this live stream, I begin the long process of building a neural network library. I cover the concept of a "multi-layer perceptron" as well as linear algebra / matrix ...
The Coding Train
Professor Peter Higgins
London Mathematical Society
Additive Number Theory: Extremal Problems and the Combinatorics.... (Lecture 1) by M. Nathanson
Program Workshop on Additive Combinatorics ORGANIZERS: S. D. Adhikari and D. S. Ramana DATE: 24 February 2020 to 06 March 2020 VENUE: Madhava ...
International Centre for Theoretical Sciences
Conrad Wolfram - Making Maths Beautiful
Conrad Wolfram, Mathematician Founder, Wolfram Research Europe. The importance of math to jobs, society and thinking has exploded over the last few ...
lwf
Deadly volcanic flows_London Lecture _March 2016
Deadly Volcanic flows: understanding pyroclastic density currents Volcanic flows include lava flows, lahars (mudflows) and pyroclastic density currents (PDCs).
GeologicalSociety
Mathematics as Love of Wisdom, Colin McLarty
While Saunders Mac Lane knew very well the difference between a philosophic argument and a mathematical proof, and he was all too familiar with the different ...
Copernicus Center for Interdisciplinary Studies
Lecture 1 | Natural Language Processing with Deep Learning
Lecture 1 introduces the concept of Natural Language Processing (NLP) and the problems NLP faces today. The concept of representing words as numeric ...
Stanford University School of Engineering
Software Art Thou: Sam Aaron - Code Your Own Party With Sonic Pi
In this code and demo-heavy talk Sam Aaron introduces Sonic Pi, a system created especially for live coding music. In this approachable and instructive talk, ...
Zendesk
Future directions of machine learning: Part 2
On 22 May 2015, the Royal Society launched a new series of high-level conferences on major scientific and technical challenges of the next decade.
The Royal Society