ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

930 results

Maria Bianca
Uppaal (model checking tool) and Corectness Criteria for Beginners

Scenario: In the first activity, we assume that there are two cars that simultaneously search for parking space. The cars can move ...

46:14
Uppaal (model checking tool) and Corectness Criteria for Beginners

27,102 views

8 years ago

Steven Gordon
Error Detection (ITS323, Lecture 16, 2014)

Error Detection; Parity Check. Lecture 16 of ITS323 Introduction to Data Communications. Course material via: ...

42:49
Error Detection (ITS323, Lecture 16, 2014)

1,938 views

11 years ago

Jon Gjengset
Crust of Rust: Subtyping and Variance

In this episode of Crust of Rust, we go over subtyping and variance — a niche part of Rust that most people don't have to think ...

1:39:41
Crust of Rust: Subtyping and Variance

72,543 views

4 years ago

Jon Gjengset
Crust of Rust: Sorting Algorithms

In this Crust of Rust episode, we implement some common sorting algorithms in Rust. This episode doesn't aim to explain any ...

2:37:53
Crust of Rust: Sorting Algorithms

67,265 views

5 years ago

Steven Gordon
Error Detection and Correction (ITS323, L13, Y15)

General approaches for dealing with errors in communications, e.g. error detection, ARQ, FEC. Detailed examples of error ...

1:12:20
Error Detection and Correction (ITS323, L13, Y15)

2,723 views

10 years ago

Jon Gjengset
The Unsafe Chronicles: Exhibit A: Aliasing Boxes

In this new series we take deep-dives into the world of unsafe Rust. These chronicles aren't necessarily aimed at teaching you ...

1:37:09
The Unsafe Chronicles: Exhibit A: Aliasing Boxes

26,648 views

5 years ago

Jakub Opršal
Silvia Butti — The Complexity of the Distributed Constraint Satisfaction Problem

A recording of Silvia Butti's talk at the CSP seminar online on Wed 28 Oct 2020. See https://csp-seminar.org/talks/silvia-butti/ for ...

47:18
Silvia Butti — The Complexity of the Distributed Constraint Satisfaction Problem

368 views

5 years ago

Confreaks
Ruby Midwest 2011 - Recommendation Engines using  Machine Learning, and JRuby

Recommendation Engines using Machine Learning, and JRuby by: Matt Kirk Ever wonder how netflix can predict what rating you ...

28:23
Ruby Midwest 2011 - Recommendation Engines using Machine Learning, and JRuby

89 views

10 years ago

Ras Bodik
Abstracting Gradual Typing

Ronald Garcia, Alison M. Clark, Éric Tanter.

23:59
Abstracting Gradual Typing

929 views

9 years ago

SUSE Labs
SUSE Labs Conference 2018 - Live patching tricks

Most of the time, fixing a vulnerablility from a live patch is straight forward and local in nature: adding an additional bounds check, ...

34:49
SUSE Labs Conference 2018 - Live patching tricks

259 views

7 years ago

Musicombo
Over 70 Sorting Algorithms in Under an Hour - Calmer Sounds

Visit our community Discord here: https://discord.com/invite/2xGkKC2 Check out the NEW home for ArrayV here: ...

57:41
Over 70 Sorting Algorithms in Under an Hour - Calmer Sounds

3,764 views

4 years ago

CMU Database Group
CMU Database Systems - 19 Timestamp Ordering Concurrency Control (Fall 2017)

Slides PDF: http://15445.courses.cs.cmu.edu/fall2017/slides/19-timestampordering.pdf Notes PDF: ...

1:19:02
CMU Database Systems - 19 Timestamp Ordering Concurrency Control (Fall 2017)

2,837 views

8 years ago

VTU e-Shikshana Programme
Module 3 Lecture 6 Error Detection and Correction 2

VTU e-Shikshana Programme.

39:34
Module 3 Lecture 6 Error Detection and Correction 2

401 views

4 years ago

CodeEmporium
Back propagation by hand | the math you should know

Let's write out back propagation by hand with the math in all its brilliance. ABOUT ME ⭕ Subscribe: ...

36:32
Back propagation by hand | the math you should know

2,180 views

7 months ago

Product School
Webinar: Deep Learning for Tech Product Managers by fmr PlayStation Sr PM, Jonathan Farrow

Subscribe here: http://bit.ly/2rCsYZD Check out upcoming events: http://prdct.school/LI_events Read speaker's bio: ...

21:19
Webinar: Deep Learning for Tech Product Managers by fmr PlayStation Sr PM, Jonathan Farrow

663 views

3 years ago

Dr David Maloney Psychotherapy
The Ego is an Algorithm of Trauma - Here's How to Break it

The Ego is a device that serves to maintain a false self as a result of trauma (rejection of authentic self). Here, we talk about how ...

21:59
The Ego is an Algorithm of Trauma - Here's How to Break it

8,073 views

4 years ago

Statistics for Doctors
R Tutorial - #5 - Linear regression analyses

Sections: 0:00 Introduction 0:58 Import the data set (The Child Aggression Study) and create a data frame 1:24 How to write ...

38:41
R Tutorial - #5 - Linear regression analyses

256 views

5 years ago

Alfredo Canziani (冷在)
01L – Gradient descent and the backpropagation algorithm

Course website: http://bit.ly/DLSP21-web Playlist: http://bit.ly/DLSP21-YouTube Speaker: Yann LeCun Chapters 00:00:00 ...

1:51:04
01L – Gradient descent and the backpropagation algorithm

65,286 views

4 years ago

North Bay Python
2FA Mind

Carina C. Zona https://2017.northbaypython.org 2FA Mind 2-Factor Authentication (2FA) empowers people to better protect their ...

1:00:20
2FA Mind

434 views

8 years ago

Kristopher Micinski
L9: Quasiquoting and Pattern Matching

Reading: There is no officially-assigned reading, but you should read racket's match documentation, it will save you a lot of time ...

23:47
L9: Quasiquoting and Pattern Matching

2,460 views

4 years ago