ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

52 results

nptelhrd
Mod-06 Lec-05 Closure of relaton(1)

Discrete Mathematics by Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay,Department of Mathematics,IIT Roorkee.For more ...

57:54
Mod-06 Lec-05 Closure of relaton(1)

1,593 views

10 years ago

nptelhrd
Mod-06 Lec-07 Warshall's algorithm

Discrete Mathematics by Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay,Department of Mathematics,IIT Roorkee.For more ...

1:03:17
Mod-06 Lec-07 Warshall's algorithm

2,854 views

10 years ago

nptelhrd
Mod-06 Lec-06 Closure of relaton(2)

Discrete Mathematics by Dr. Sugata Gangopadhyay & Dr. Aditi Gangopadhyay,Department of Mathematics,IIT Roorkee.For more ...

56:52
Mod-06 Lec-06 Closure of relaton(2)

1,102 views

10 years ago

SI335 SI335
Unit 6 Class 26: Greedy intro

After briefly wrapping up the transitive closure problem, we introduce the minimum spanning tree problem, Prim's algorithm, and ...

27:49
Unit 6 Class 26: Greedy intro

59 views

4 years ago

IJCAR-FSCD 2020
Liron Cohen: Integrating Induction and Coinduction via Closure Operators and Proof Cycles (IJCAR B)

Authors: Liron Cohen and Reuben Rowe Aired: 2020-02-04 17:00:00 CEST (UTC+2)

33:24
Liron Cohen: Integrating Induction and Coinduction via Closure Operators and Proof Cycles (IJCAR B)

276 views

5 years ago

Matthías Páll Gissurarson
Haskelling the Advent of Code 2020! - Day 7

Today we did some transitive closures! Catch the next episode live at twitch.tv/tritlo every day until Christmas at 17:00​ UTC.

2:11:39
Haskelling the Advent of Code 2020! - Day 7

71 views

5 years ago

Natasha CPE-KMUTT
[MODULE 2-4] Dynamic Programming - Warshall Algorithm

MODULE 2-4 Dynamic Programming - Transitive Closure Warshall Algorithm.

42:01
[MODULE 2-4] Dynamic Programming - Warshall Algorithm

208 views

3 years ago

uthcode
Discrete Mathematics - Equivalence Relations and Partial Orders - 02 lect 17

Aduni - Discrete Mathematics - Equivalence Relations and Partial Orders - Shai Simonson.

1:05:57
Discrete Mathematics - Equivalence Relations and Partial Orders - 02 lect 17

1,222 views

12 years ago

ExamBytes
Floyd Warshall Algorithm - All Pairs Shortest Path : Program using C++ STL

datastructure #graph #graphprogramming #warshall #apsp #floydwarshall #directedgraph #competetivecoding #daa #gate ...

20:07
Floyd Warshall Algorithm - All Pairs Shortest Path : Program using C++ STL

340 views

3 years ago

Oliver Kennedy
CSE562 39 Datalog

... Computing the transitive closure if you have uh too hot if you know that um quick show of hands who's familiar with d algorithm ...

50:00
CSE562 39 Datalog

133 views

11 years ago

Paul Fodor
CSE215 Foundations of Computer Science: Relations

Online course, Summer 2020 Instructor: Paul Fodor Stony Brook University ...

2:09:08
CSE215 Foundations of Computer Science: Relations

464 views

5 years ago

Chao Xu
Closure and Nondeterminism

Theory of Computation 2. Closure and Nondeterminism ADUni.

1:25:59
Closure and Nondeterminism

7,134 views

13 years ago

Neelakantan Krishnaswami
Lecture 3: Termination, Consistency, and Logical Relations

In this lecture we explore the relationship between termination and consistency by means of the proof technique of logical ...

42:11
Lecture 3: Termination, Consistency, and Logical Relations

1,098 views

5 years ago

nptelhrd
Mod-14 Lec-04 NP-Complete Problems1

Formal Languages and Automata Theory by Dr. Diganta Goswami & Dr. K.V. Krishna,Department of Mathematics,IIT Guwahati.

49:10
Mod-14 Lec-04 NP-Complete Problems1

478 views

11 years ago

nptelhrd
Mod-01 Lec-13 Closure properties continued.

Theory of Computation by Prof. Somenath Biswas,Computer Science and Engineering, IIT Kanpur.For more details on NPTEL visit ...

1:01:07
Mod-01 Lec-13 Closure properties continued.

10,636 views

11 years ago

Brisbane Functional Programming Group
Introduction to Agda, part 2 - Matthew Brecknell - BFPG 2015-04

Matt takes us through his final instalment of introducing us to dependent types in Agda. Part one is here: ...

52:52
Introduction to Agda, part 2 - Matthew Brecknell - BFPG 2015-04

550 views

10 years ago

J. E. F.
DM Lecture 16a: Arrays
37:27
DM Lecture 16a: Arrays

27 views

Streamed 7 years ago

Studio IIT Bombay
FSTTCS L17  Modal Logics Definable by Universal Formulas with Three Variables

... contained in the reflexive transitive closure of this tree and it contains long edges just to distinguish it for cemeteries and another ...

24:59
FSTTCS L17 Modal Logics Definable by Universal Formulas with Three Variables

40 views

9 years ago

SI335 SI335
Unit 6 Class 24: Floyd-Warshall algorithm

Today's video is all about finding shortest paths. First we review Dijkstra's algorithm and its two variants based on the underlying ...

23:31
Unit 6 Class 24: Floyd-Warshall algorithm

106 views

4 years ago

Tech Interviews and Competitive Programming Meetup
Graphs Part 7: Topological Sort

This is an intro to topological sort, part 7 of a larger series on graphs. It's a recording of a live class that was taught on June 3, ...

59:39
Graphs Part 7: Topological Sort

306 views

7 years ago