Stanford Seminar - New Golden Age for Computer Architecture
EE380: Computer Systems Colloquium Seminar New Golden Age for Computer Architecture: Domain-Specific Hardware/Software Co-Design, Enhanced ...
stanfordonline
Lessons from the Early Days of Semiconductors - Carver Mead - 4/24/2019
The EE Distinguished Lecture by Professor Carver Mead, "Lessons from the Early Days of Semiconductors," April 24, 2019 in Beckman Institute Auditorium at ...
caltech
Pei Wang | Exploring the Logic of Intelligence ZKM | Karlsruhe
KI Supermacht: China, USA, Europa? Wie hat sich Künstliche Intelligenz als Technologie in den letzten Jahren entwickelt? Welche Auswirkungen ergeben sich ...
ZKM | Karlsruhe
Next in Data Visualization | Arvind Satyanarayan || Radcliffe Institute
VISUALIZATION: A PETRI DISH FOR INTELLIGENCE AUGMENTATION Arvind Satyanarayan, assistant professor, Department of Electrical Engineering and ...
Harvard University
Capabilities & Limitations of Classical Logic, w/ David Fisher
Presented at Code & Supply in Pittsburgh. Property based types (PBT) is a theory of reasoning in the human mind that overcomes known limitations of digital ...
Code & Supply
Circuit Sessions with Ali Javadi
Speaker: Ali Javadi Topic: Qiskit Circuit Library Notebook: https://github.com/ajavadia/qiskit-terra/blob/Demo/demo/Circuit%20Library%20Demo.ipynb ...
Qiskit
PhDOpen: Cezary Kaliszyk, "Automated Reasoning" part. 1, 18.10.2018
This is the first part of a series of lectures on Automated Reasoning given by Cezary Kaliszyk from University of Innsbruck. The lectures were part of the "PhD ...
PhDOpen
Can knowledge-based AI aid human-machine collaboration?
Alessandra Russo, Professor in Applied Computational Logic, will explain why a knowledge-based, and not just a data-intensive approach, is key to holding AI ...
Imperial College London
Neuro Symbolic AI for Sentiment Analysis - Michael Malak
"Learn to supercharge sentiment analysis with neural networks and graphs. Neural networks are great at automated black-box pattern recognition, graphs at ...
Databricks
The Future of Computing @TU Wien, Faculty of Informatics
How do questions of Security and Privacy will shape our relation to technologies like Blockchain and cloud computing? What can we learn from the human body ...
TU Wien
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
"A Rehabilitation of Message-passing Concurrency" by Frank Pfenning [PWLConf 2018]
PWLConf 2018 Link: https://pwlconf.org/2018/frank-pfenning/ Slides / Captions: https://github.com/papers-we-love/pwlconf-info/tree/master/2018/frenk-pfenning ...
PapersWeLove
"How to Create Generalizable AI" with Anima Anandkumar
Title: How to Create Generalizable AI Speaker: Anima Anandkumar Date: August 11, 2020 ABSTRACT Current deep-learning benchmarks focus on ...
Association for Computing Machinery (ACM)
Lecture - 8 Knowledge Based Systems: Logic and Deduction
Lecture Series on Artificial Intelligence by Prof. P. Dasgupta, Department of Computer Science & Engineering, I.I.T,kharagpur. For More details on NPTEL visit ...
nptelhrd
Pedro Domingos - Unifying Logical and Statistical AI
Unifying Logical and Statistical AI Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the ...
The University of Edinburgh
AI in 2040
What does the field of Artificial Intelligence look like in 2040? It's a really hard question to answer since there are still so many unanswered questions about the ...
Siraj Raval
Ray Kurzweil: Future of Intelligence | MIT 6.S099: Artificial General Intelligence (AGI)
This is a talk by Ray Kurzweil for course 6.S099: Artificial General Intelligence. For this entire recording, Ray did not use slides, so the video does not show any ...
Lex Fridman
PLSE: Leonardo de Moura, "The Lean Theorem Prover"
Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on ...
Paul G. Allen School
Law of the Excluded Middle - Part 1
The Law of the Excluded Middle (LEM) says that every logical claim is either true or false. We look at ways it can be used as the basis for proof. This video is Part ...
FREGE: A Logic Course Elaine Rich, Alan Cline
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
KEYNOTE: Bikash Koley
TeamNANOG
Program Synthesis meets Machine Learning
We give a tutorial overview of program synthesis, from its first formulation by Church in 1957, through its pragmatic evolution through sketching and ...
Microsoft Research
Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s
In this keynote dinner address at Princeton University's Turing Centennial Celebration, Andrew Appel talks about models of computation and systems of logic in ...
princetonacademics
Guido van Rossum: Python | Lex Fridman Podcast #6
Lex Fridman
Quantum cryptanalysis with Q#
Martin Roetteler, Microsoft https://simons.berkeley.edu/talks/tbd-142 Quantum Cryptanalysis of Post-Quantum Cryptography.
Simons Institute
Dawn of the New Everything - with Jaron Lanier | Virtual Futures Salon
Virtual Futures presents Jaron Lanier in conversation on futures, the broken promises of cyberspace, artificial intelligence and virtual reality. Jaron Lanier is a ...
Virtual Futures
'AI and Religious Beliefs’ with Yorick Wilks
This lecture addresses the potential links between AI and religious belief, which include the question of whether an artificial “superintelligence”, were one to ...
Oxford Internet Institute, University of Oxford
Conjunctive Normal Form[CNF] Problems in Discrete Mathematics [WELCOME ENGINEERS]
Discrete Mathematics - This subject is common for Computer Science and Maths studying students (BE,B-Tech, Bsc students) In this video ,we are going to solve ...
WELCOME ENGINEERS
The Birth of Artificial Intelligence
This video was made possible by Brilliant. Be one of the first 200 people to sign up with this link and get 20% off your premium subscription with Brilliant.org!
Futurology — A Better Tomorrow, Today
Raymond Hettinger - Modern solvers: Problems well-defined are problems solved - PyCon 2019
Speaker: Raymond Hettinger Every programmer should learn to use solvers, tools that reason directly from a description of a problem to its solution. Tools like ...
PyCon 2019
Agile Software Architecture - Ian Cooper
We don't need no stinking architects! Martin Fowler famously declared that architects and software architecture as a practice was dead, and those of us who ...
NDC Conferences
Carnegie Mellon's Approach to AI - Andrew W. Moore | Lecture Series on AI #2 | J.P. Morgan
"Andrew W. Moore is the Dean of the School of Computer Science, Carnegie Mellon University. Andrew is a distinguished computer scientist with expertise in ...
jpmorgan
Logic, Computing, and Professional Responsibility | Robert Gray
Edmund Callis Berkeley was a co-founder of the ACM and a pushy proselytizer of Boolean algebra and Claude Shannon's 1938 paper within the nascent ...
University of Michigan Engineering
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!
Extending F* in F*: Proof automation and Metaprogramming for Typeclasses
Abstract for Talk Title 1: Extending F* in F*: Proof automation and Metaprogramming for Typeclasses, Concurrency, Optimizations and More In this talk we will ...
Microsoft Research
GitOps - Operations by Pull Request [B] - Alexis Richardson, Weaveworks & William Denniss, Google
GitOps - Operations by Pull Request [B] - Alexis Richardson, Weaveworks & William Denniss, Google GitOps is the latest exciting evolution in empowering ...
CNCF [Cloud Native Computing Foundation]
Reinforcement Learning: Bringing Together Computation, Behavior and Neural Coding
Reinforcement learning carries subtly different meanings in machine learning, cognitive science and neuroscience. In this talk, I will try to clarify in which ways ...
Microsoft Research
Automated Fault-Finding and Fixing at Facebook
Supplementary material: https://popl19.sigplan.org/event/popl-2019-research-papers-automated-fault-finding-and-fixing-at-facebook • Abstract: This talk will ...
POPL 2019
Microsoft Research AI Breakthroughs 2020: 20 minute research talks, Q&A panel, and event wrap-up
20 minute research talks, Q&A panel, and event wrap-up 1:22 Shamsi Iqbal: Micro-productivity: Redefining Productivity to Adapt to a Changing Landscape of ...
Microsoft Research
2016-06-29 - Sheila McIlraith – Reasoning to Act: From Logic to Automated Planning
École d'été 2016 sur le raisonnement - Summer school 2016 on reasoning. Monday June 27th, 2016-06-27 - Sheila McIlraith – Reasoning to Act: From Logic to ...
Institut des sciences cognitives - UQAM
Reframing superintelligence | Eric Drexler | EA Global: London 2018
In the early days of debate on advanced artificial intelligence, we didn't yet have very good AI systems at all, so we had to rely on ideas about human thinking ...
Centre for Effective Altruism
The Future of Cognitive Computing: Business, Consumers, Technology, and Academics
In a future shaped by cognitive computing, ambient intelligence is present and available in every corner of our world. What can today's leaders do to.
IBM Watson