ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

982 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,107 views

8 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

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,611 views

4 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: 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,286 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

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

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

FOSDEM
The history of error correction and detection and how it led to Ceph’s Erasure Coding Techniques

by Danny Abukalam At: FOSDEM 2020 ...

22:25
The history of error correction and detection and how it led to Ceph’s Erasure Coding Techniques

717 views

5 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,079 views

4 years ago

Confreaks
RubyConf 2015 - Using Ruby In Security Critical Applications by Tom Macklin

Using Ruby In Security Critical Applications by Tom Macklin We've worked to improve security in MRI for a variety of security ...

35:36
RubyConf 2015 - Using Ruby In Security Critical Applications by Tom Macklin

1,320 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

CppNow
Zoltan Porkolab: Debugging and Profiling C++ Template Metaprograms

C++ Template Metaprogramming is a well known technique in which clever definitions of templates can force the C++ compiler to ...

1:02:54
Zoltan Porkolab: Debugging and Profiling C++ Template Metaprograms

7,970 views

12 years ago

FOSDEM
Protect your bits: Introduction to gr-fec A look into the error-correction capabilities of GNU Radio

by Martin Braun At: FOSDEM 2019 https://video.fosdem.org/2019/AW1.120/sdr_grfec.webm In the 1940s, Shannon proved that we ...

26:24
Protect your bits: Introduction to gr-fec A look into the error-correction capabilities of GNU Radio

2,190 views

7 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

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

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

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,190 views

7 months 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,321 views

4 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,787 views

4 years ago