ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

314 results

The Beauty and Joy of Computing
[BJC.1x] Creativity Part 2 : Computational Artifacts

And now, we're going to talk about computational artifacts. So first of all, mention what computing enables people to do. And this is ...

7:24
[BJC.1x] Creativity Part 2 : Computational Artifacts

863 views

4 years ago

Code.org
Unplugged - Computational Thinking

Help us caption & translate this video! https://amara.org/v/Z3jU/

1:36
Unplugged - Computational Thinking

311,410 views

10 years ago

IBM Research
How to test a new AI chip

So your team of semiconductor researchers have designed and built a brand new type of chip that has the potential to be far more ...

4:12
How to test a new AI chip

8,902 views

1 year ago

UCIBrenICS
Local Computation Algorithms

The Computer Science Distinguished Lecture Series is proud to present Ronitt Rubinfeld, Professor of Electrical Engineering and ...

50:30
Local Computation Algorithms

193 views

6 years ago

ICTP Quantitative Life Sciences
Statistical-to-computational gaps in high dimensional hypothesis testing and other problems

Speaker: Afonso S. BANDEIRA (NYU) Workshop on Science of Data Science | (smr 3283) 2019_09_30-09_45-smr3283.mp4.

48:31
Statistical-to-computational gaps in high dimensional hypothesis testing and other problems

289 views

6 years ago

U-M Computer Science and Engineering
Making complex software more reliable | Manos Kapritsos

Assistant professor Manos Kapritsos, a researcher in CSE's Systems Lab, studies how formal verification can be used to ensure ...

2:26
Making complex software more reliable | Manos Kapritsos

713 views

5 years ago

U-M Computer Science and Engineering
Fred Chong | Resource-Efficient Quantum Computing by Breaking Abstractions

Fred Chong, Seymour Goodman Professor at the University of Chicago, gave this Distinguished Lecture in CSE on January 29, ...

53:42
Fred Chong | Resource-Efficient Quantum Computing by Breaking Abstractions

261 views

4 years ago

TALE: The Archaeology Lecture E-library
Testing the validity of network analysis results in research on local transport networks

Computational archaeology provides valuable tools for the reconstruction and analysis of transport networks. One such approach ...

14:24
Testing the validity of network analysis results in research on local transport networks

224 views

9 years ago

TALE: The Archaeology Lecture E-library
Analysing settlement dynamics using statistics based on archaeological theory

The mechanisms of settlement and land use in prehistory can be examined by testing the hy-pothesis that variations in ...

15:57
Analysing settlement dynamics using statistics based on archaeological theory

204 views

5 years ago

University of Auckland | Waipapa Taumata Rau
Ihaka Lecture Series 2017: Statistical computing in a (more) static environment

Ross Ihaka Associate Professor, Department of Statistics, University of Auckland Statistics has become essential in the data age.

1:01:23
Ihaka Lecture Series 2017: Statistical computing in a (more) static environment

4,853 views

Streamed 8 years ago

The Virtual Institute for I/O
Portable Validations of Scientific Explorations with Container-native Workflows

Presented by Ivo Jimenez (UC Santa Cruz) Researchers working in computer, computational or data science often find it difficult ...

21:15
Portable Validations of Scientific Explorations with Container-native Workflows

15 views

5 years ago

ETAPS 2017
Natural language is a programming language

Invited talk, given by Michael Ernst (University of Washington, USA). A powerful, but limited, way to view software is as source ...

58:24
Natural language is a programming language

657 views

8 years ago

IDEAS Productivity
Webinar 079: Taking HACC into the Exascale Era: New Code Capabilities, and Challenges

Presented by: Esteban Rangel (Argonne National Laboratory) Presented on: 2023-10-11 HACC (Hardware/Hybrid Accelerated ...

57:33
Webinar 079: Taking HACC into the Exascale Era: New Code Capabilities, and Challenges

497 views

2 years ago

Charbax
EXALOS shows RGB superluminescent light-emitting diodes (SLEds) for next-gen AR microdisplays

EXALOS AG is developing visible RGB superluminescent light-emitting diodes (SLEds) as illumination sources for next-gen AR ...

6:56
EXALOS shows RGB superluminescent light-emitting diodes (SLEds) for next-gen AR microdisplays

3,401 views

7 years ago

GitLab
GitLab 13.9: GPU Support for Runners

GitLab 13.9 GPU Support for Runners Take advantage of GPU Enabled Gitlab Runners to compute specialized workloads, such ...

2:10
GitLab 13.9: GPU Support for Runners

1,683 views

4 years ago

Discoverling
How microchips are made

Curious about what makes your devices so smart? Our Founder, Graham, who is a microchip engineer, describes how ...

0:56
How microchips are made

2,088,814 views

1 year ago

Richard Buckland
Lec 7: Functions - Computing 1 MOOC Richard Buckland UNSW

... discover a musical computer. Someone was trying to run the sample code during the break then they were compiling something ...

33:20
Lec 7: Functions - Computing 1 MOOC Richard Buckland UNSW

4,649 views

13 years ago

IDEAS Productivity
Webinar 077: Infrastructure for High-Fidelity Testing in HPC Facilities

Presented by: Ryan Prout (Oak Ridge National Laboratory) Presented on: 2023-08-09 The Exascale Computing Project (ECP) is ...

1:02:50
Webinar 077: Infrastructure for High-Fidelity Testing in HPC Facilities

139 views

2 years ago

NERSC
2020-06-05 - Costin Iancu - Tuning Floating Point Precision

NERSC Data Seminars Series: https://github.com/NERSC/data-seminars Title: Tuning Floating Point Precision (Using Dynamic ...

56:53
2020-06-05 - Costin Iancu - Tuning Floating Point Precision

163 views

5 years ago

Denis Merigoux
PhD defence : Proof-oriented domain-specific language design for high-assurance software

My PhD defence took place on Monday, December 13th at 3pm in the Jacques-Louis Lions room of building C of the Inria Paris ...

1:50:21
PhD defence : Proof-oriented domain-specific language design for high-assurance software

94 views

4 years ago