Is Social Media Killing Democracy? Computational Propaganda, Algorithms, Automation and Public Life
The Oxford Internet Institute presents Professor Philip Howard's Inaugural Lecture. Abstract: The design and implementation of social media platforms has put ...
Oxford Martin School
Artificial Intelligence Full Course | Artificial Intelligence Tutorial for Beginners | Edureka
Machine Learning Engineer Masters Program: https://www.edureka.co/masters-program/machine-learning-engineer-training This Edureka video on "Artificial ...
edureka!
Computational Models of Cognition: Part 1
Josh Tenenbaum, MIT BMM Summer Course 2018.
MITCBMM
Microservices Full Course - Learn Microservices in 4 Hours | Microservices Tutorial | Edureka
Microservices Architecture Training: https://www.edureka.co/microservices-architecture-training ) This Edureka Microservices Full Course video will help you ...
edureka!
Scott Aaronson: What is a Quantum Computer? | AI Podcast Clips
Full episode with Scott Aaronson (Feb 2020): https://www.youtube.com/watch?v=uX5t8EivCaM Clips channel (Lex Clips): https://www.youtube.com/lexclips Main ...
Lex Fridman
Webinar: OPC to Excel Part 1 of 2 (VBA) 2020
OPC to Excel webinar held July 9, 2020. Sign up for our next live webinar below! Webinar: https://opcexpert.com/webinar Download OPC Expert: ...
opcti
Automated Economic Reasoning with Quantifier Elimination
Many theorems in economics can be proven (and hypotheses shown to be false) with available decision algorithms. This paper assembles a few dozen classic ...
Microsoft Research
TechFest - Applications of Automated Reasoning
Several recent and fundamental advances have greatly increased the power of automated reasoning tools. Using these advances, Microsoft developed software ...
Microsoft Research
Panel: What can Quantum do for AI?
Inaugural AI Research Week, hosted by the MIT-IBM Watson AI Lab. Panel discussion on research directions at the intersection of AI and Quantum Computing.
IBM Research
Learn Python - Full Course for Beginners [Tutorial]
This course will give you a full introduction into all of the core concepts in python. Follow along with the videos and you'll be a python programmer in no time!
freeCodeCamp.org
Artificial intelligence and society: In conversation with Jeff Sachs
Eighty years after Alan Turing launched the digital age, the revolutionary consequences continue to unfold. The changes are so relentless and powerful that they ...
The Alan Turing Institute
Where Should I Run My Code? Choosing From 5+ Compute Options (Cloud Next '19)
There are many different ways to run your code these days. And the tradeoffs are different when you're working with existing systems as opposed to designing ...
Google Cloud Platform
Build the future of the web with WebAssembly and more (Google I/O '18)
This talk will cover how to use the most advanced modern web technologies to build experiences that were never possible on the web before. WebAssembly is ...
Google Chrome Developers
GOTO 2019 • In Search of the Perfect Cloud Native Developer Experience • Daniel Bryant
This presentation was recorded at GOTO Amsterdam 2019. #GOTOcon #GOTOams http://gotoams.nl Daniel Bryant - Author of "Containerizing Continuous ...
GOTO Conferences
George Church on reversing aging | ApplySci @ Harvard
Recorded at ApplySci's Wearable Tech + Digital Health + Neurotech conference - November 14, 2019 | Harvard Medical School.
ApplySci
A Fireside Chat with Turing Award Winner Geoffrey Hinton, Pioneer of Deep Learning (Google I/O'19)
In this rare interview since (jointly) winning the 2018 Turing Award for his work on neural networks, hear about the conceptual and engineering breakthroughs ...
TensorFlow
The Future of Expert Knowledge - Lecture by Andrew Abbott
The conjuncture of a number of historical forces, operating at several different time scales, conspires to create a crisis in expert knowledge and in “knowing” ...
WZBlive
Python Tutorial - Python for Beginners [Full Course]
Python tutorial - Python for beginners ?Learn Python programming for a career in machine learning, data science & web development. ?Get my Complete ...
Programming with Mosh
How To Become A Cloud Engineer | Cloud Engineer Roles and Responsibilities | Intellipaat
Do join our meetup community to get notified on all our upcoming live sessions & webinars: http://bit.ly/intellipaatMeetUp ?Intellipaat cloud computing training: ...
Intellipaat
Steel: A Concurrent Separation Logic Framework to Scale Up Verification in F*
In recent years, the F* ecosystem has been successfully used to formally verify real-world applications ranging from parsers to cryptographic providers.
Microsoft Research
Leap: The Quantum Application Environment | D-Wave Webinar
Learn about the features and capabilities of D-Wave's Leap, the quantum cloud service and quantum application environment. Try Leap for yourself by signing ...
D-Wave Systems
SA-102 l Substation Automation Introduction v1
This module looks at the challenges in the operation of the electrical grid and the application of automation. This includes communications throughout the grid ...
L&D for Protection and Control
LIVE: Q&A with Professor Brian Cox - What's the future of artificial intelligence?
Subscribe and ? to OFFICIAL BBC YouTube ? https://bit.ly/2IXqEIn Stream original BBC programmes FIRST on BBC iPlayer ? https://bbc.in/2J18jYJ Professor ...
BBC
Structuring Mathematics in Higher-Order Logic by Clemens Ballarin (aicas GmbH Karlsruhe, Germany)
Talk at: FOMUS 2016. For all Talks and more information, slides etc. see: http://fomus.weebly.com/ Structuring Mathematics in Higher-Order Logic by Clemens ...
FOMUS 2016
Epidemiology and Biostatistics: Introduction – Epidemiology | Lecturio
This video “Epidemiology and Biostatistics: Introduction” is part of the Lecturio course “Abdominal Wall - Anatomy” ▻ WATCH the complete course on ...
Lecturio Medical
GOTO 2020 • The Art of Code • Dylan Beattie
This presentation was recorded at GOTO Oslo 2020. #GOTOcon #GOTOoslo https://goto-oslo.com Dylan Beattie - Creator of the Rockstar programming ...
GOTO Conferences
Go + Microservices = Go Kit [I] - Peter Bourgon, Go Kit
Go + Microservices = Go Kit [I] - Peter Bourgon, Go Kit Go is emerging as the default programming language for cloud-native tooling and infrastructure. But it's ...
CNCF [Cloud Native Computing Foundation]
AWS re:Invent 2019: Provable access control: Know who can access your AWS resources (SEC343-R)
The AWS Automated Reasoning Group focuses on strengthening the security foundations of AWS and provides customers with tools to verify their own security ...
AWS Events
The Path Towards ARM & BBC B - Computerphile
He was on the team that invented the ARM chip, the BBC Microcomputer and got into computing in the 1970's because he wanted to build his own flight ...
Computerphile
Michael R. Douglas - How will we do mathematics in 2030?
Abstract: We make the case that over the coming decade, computer assisted reasoning will become far more widely used in the mathematical sciences.
Institut des Hautes Études Scientifiques (IHÉS)
Does Computational Complexity Restrict Artificial Intelligence (AI) and Machine Learning?
Sanjeev Arora (Princeton University) https://simons.berkeley.edu/events/openlectures2017-spring-4 Simons Institute Open Lecture.
Simons Institute
Alex Wilce: "A Gentle Introduction to Quantum Logic"
Description.
Logic and Reasoning Institute at James Madison University
Statistical Rethinking Winter 2019 Lecture 06
Lecture 06 of the Dec 2018 through March 2019 edition of Statistical Rethinking: A Bayesian Course with R and Stan. This lecture covers Chapter 6, multiple ...
Richard McElreath
Jay Kreps, Confluent | Kafka Summit SF 2019 Keynote ft. Dev Tagare, Lyft
Jay Kreps, Confluent Co-Founder and Co-Creator of Apache Kafka, delivers the keynote presentation at Kafka Summit San Francisco 2019. He explains modern ...
Confluent
Church-Turing Thesis Cannot Possibly Be True
The thesis asserts this: If an algorithm A computes a partial function f from natural numbers to natural numbers then f is partially recursive, i.e., the graph of f is ...
Microsoft Research
36C3 - Build you own Quantum Computer @ Home - 99% of discount - Hacker Style !
https://media.ccc.de/v/36c3-10808-build_you_own_quantum_computer_home_-_99_of_discount_-_hacker_style Quantum technologies are often only ...
media.ccc.de
Krysta Svore on Quantum Computing
Microsoft researcher Krysta Svore shares her passion for quantum computing, and how and why her team is creating a unique software architecture for quantum ...
Microsoft Research
Deep Dive on AWS Certificate Manager Private CA - Creating and Managing Certificate Authorities
Get an overview of ACM Private CA and some common use cases **Learn how to quickly and easily create a complete CA hierarchy **Learn security best ...
AWS Online Tech Talks
Michael Betancourt: Scalable Bayesian Inference with Hamiltonian Monte Carlo
Recording of Michael Betancourt's talk at the London Machine Learning Meetup: ...
London Machine Learning Meetup
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
Designing and Developing Network Services with NSO
In Season 2, Talk 6 of NetDevOps Live! Kevin Corbin is back and giving an introduction to Network Services in Cisco NSO. Full details at http://bit.ly/2PUgmd4 ...
Cisco DevNet
Cambridge Talks: Keynote Lecture: Michael Osman, "The Augmented Architect”
The historical narrative of digital architecture that has developed in the past two decades has been narrow in scope. Accounts have often focused on North ...
Harvard GSD