ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

1,039 results

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

Ras Bodik
Abstracting Gradual Typing

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

23:59
Abstracting Gradual Typing

925 views

9 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,064 views

4 years ago

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

26,987 views

8 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,721 views

10 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,937 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

66,988 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

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

366 views

4 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

7,990 views

4 years ago

The Linux Foundation
LF Live Webinar: Mastering Concurrent Algorithms with TLA+

The TLA+ Foundation invites you to join an in-depth webinar focused on the fundamentals of modeling concurrent algorithms ...

1:01:00
LF Live Webinar: Mastering Concurrent Algorithms with TLA+

2,706 views

2 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

655 views

3 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,823 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

396 views

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

12 years ago

Willi Mutschler
Identification Analysis of DSGE model parameters with Dynare

This video covers the Identification Toolbox of Dynare We'll go through some theoretical concepts and have a look at some ...

1:46:16
Identification Analysis of DSGE model parameters with Dynare

5,760 views

4 years ago

North Bay Python
Nutshell in a Python: Adapting patterns from shell scripts

Brett Smith https://2017.northbaypython.org/schedule/presentation/18/ This talk will illustrate common patterns for writing efficient ...

23:02
Nutshell in a Python: Adapting patterns from shell scripts

262 views

8 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,164 views

6 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,451 views

4 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

64,992 views

4 years ago