Theoretical computer scientists

Amir Pnueli

Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient. (Wikipedia).

Amir Pnueli
Video thumbnail

Smt. Kishori Amonkar - Sampoorna Malkauns

Smt. Kishori Amonkar - Sampoorna Malkauns from the album 'Maestro's Choice'

From playlist Kishori Amonkar

Video thumbnail

The BuShou of HanZi :力

A brief description of the BuShou of 力.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :彳

A brief description of the BuShou of 彳.

From playlist The BuShou of HanZi

Video thumbnail

The BuShou of HanZi :田

A brief description of the BuShou of 田.

From playlist The BuShou of HanZi

Video thumbnail

A Short Tour of my House

Thank you Alex Crease for preparing the pyrotechnics.

From playlist My Home

Video thumbnail

Pakistan's Kafir Factory

Muhammad Hanif showing some serious courage.

From playlist Freedom

Video thumbnail

The Tatiana Show — Andreas M. Antonopoulos

Tatiana Moroz and co-host Josh Scigala welcome Andreas M. Antonopoulos www.Tatianamoroz.com www.Vaultoro.com www.Antonopoulos.com Andreas M. Antonopoulos is a technologist and serial entrepreneur who has become one of the most well-known and well-respected figures in bitcoin. He is the a

From playlist Interviews and Shows

Video thumbnail

i built my house - Joshua Alipio

Tim Olsen Drawing Prize 2020, finalist

From playlist UNSW Art and Design

Video thumbnail

Amir Michael (Facebook), interviewed at OSCON 2011

Amir Michael Manager Hardware Design, Facebook Amir Michael joined Facebook in 2009 and leads the hardware design team responsible for the design and implementation of the servers that power one of the most-trafficked sites in the world. Amir was part of a small team at Facebook that e

From playlist OSCON 2011

Video thumbnail

InSight Live Q&A: Journey to the Center of Mars with the Lander Team

Take a trip with us to the center of Mars! NASA’s InSight Lander has detected hundreds of quakes with its seismometer since landing on the Red Planet in November 2018. Those seismic events have shed light on the crust, mantle, and core of the planet, as well as how the separate layers form

From playlist Mars

Video thumbnail

Machine Learning, Communities, and Future of Work - Deep Random Talks - Episode 10

Notes and resources: https://ai.science/l/4e583aa9-9e84-4313-aba6-30aa348fbb9a@/assets -Join our ML slack community: https://join.slack.com/t/aisc-to/shared_invite/zt-f5zq5l35-PSIJTFk4v60FML177PgsPg -Visit our website: https://ai.science -Book a 20-min AMA with Amir: https://calendly.

From playlist Deep Random Talks - Season 1

Video thumbnail

Deep Random Talks - Introduction on 2-2-22

In this short live session we will introduce our new show Deep Random Talks and its hosts and will talk about some of the plans we have! -Join our ML slack community: https://join.slack.com/t/aisc-to/shared_invite/zt-f5zq5l35-PSIJTFk4v60FML177PgsPg -Visit our website: https://ai.science

From playlist Deep Random Talks - Season 1

Video thumbnail

What’s the smartest age? - Shannon Odell

At what age are you smartest? Dig into how your brain development affects your skills at different stages of your life. -- Tomorrow is the annual Brain Clash — a decathlon of mental challenges, trivia competitions, and puzzles. Amir needs a smart and capable teammate and must choose betw

From playlist Understanding the adolescent brain

Video thumbnail

Mathematics of Deep Learning Overview | AISC Lunch & Learn

For more deatails including slides, please visit https://aisc.ai.science/events/2019-07-03/ Use the following code to apply 30% discount code: http://dl-math.eventbrite.ca?discount=yt_lunch30 (valid till July 5 12:59pm EST)

From playlist Math and Foundations

Video thumbnail

Beyond Ethiopia: The Islamic Intellectual History of the Horn of Africa - Hassen Muhammad Kawo

IAS Ethiopian Studies Topic: Beyond Ethiopia: The Islamic Intellectual History of the Horn of Africa Speaker: Hassen Muhammad Kawo Affiliation: University of Cape Town, South Africa Date: May 20, 2021 Much progress has been made over the past decade in the study of Muslim Ethiopia, a

From playlist Historical Studies

Video thumbnail

TMLS2018 - Machine Learning in Production, Panel Discussion

Part of Toronto Machine Learning (micro) Summit 2018. The panelists discussed the nuances of "machine learning in production". Hosted by: Amir Feizpour (http://amirfeizpour.pythonanywhere.com/) Amir Hajian (https://www.linkedin.com/in/amir-hajian-744674135/) Vincent Wong (https://www.li

From playlist other

Video thumbnail

Symmetries in Deep Learning - Deep Random Talks - Episode 18

Notes and resources: https://ai.science/l/c0f9aaa5-0c7a-4177-8948-85c933cb6d25@/assets -Join our ML slack community: https://join.slack.com/t/aisc-to/shared_invite/zt-f5zq5l35-PSIJTFk4v60FML177PgsPg -Visit our website: https://ai.science -Book a 20-min AMA with Amir: https://calendly.

From playlist Deep Random Talks - Season 1

Video thumbnail

Building neural networks for learning and inference with Amir Khosrowshahi (Intel)

Subscribe to O'Reilly on YouTube: http://goo.gl/n3QSYi Follow O'Reilly on: Twitter: http://twitter.com/oreillymedia Facebook: http://facebook.com/OReilly Instagram: https://www.instagram.com/oreillymedia LinkedIn: https://www.linkedin.com/company-beta/8459/

From playlist O'Reilly Artificial Intelligence Conference 2017 - San Francisco, CA

Video thumbnail

The BuShou of HanZi :目

A brief description of the BuShou of 目.

From playlist The BuShou of HanZi

Related pages

Mathematics | Temporal logic | Model checking