ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

80 results

Splash Conference 2017
TiML: A Functional Language for Practical Complexity Analysis with Invariants

Peng Wang, Di Wang, Adam Chlipala We present TiML (Timed ML), an ML-like functional language with time-complexity ...

20:02
TiML: A Functional Language for Practical Complexity Analysis with Invariants

339 views

8 years ago

Tech Interviews and Competitive Programming Meetup
Graphs Part 4: Dijkstra's Algorithm

This is "Dijkstra's Algorithm", part 4 of a larger series on graphs. It's a recording of a live class that was taught on April 15, 2018 in ...

1:04:16
Graphs Part 4: Dijkstra's Algorithm

314 views

7 years ago

someprofs
20240506 CISP 440 Dijkstra's trace, Q1 of Fall 2023 final exam

... would say it is fair to say that you know the um time complexity is not proportional to the number of items in the vertx set because ...

1:18:42
20240506 CISP 440 Dijkstra's trace, Q1 of Fall 2023 final exam

90 views

1 year ago

someprofs
20231113 CISP 440 dijkstra's algorithm

... solutions at the same time and the complexity change is not all that bad either so it is actually not a bad algorithm bad algorithm ...

1:23:07
20231113 CISP 440 dijkstra's algorithm

203 views

2 years ago

Programming A2Z
Runtime Analysis of Algorithms

Learn about algorithms running time analysis and complexity theory. Learn Asymptotic Complexity, Running Times Analysis (O, Ω, ...

1:53:54
Runtime Analysis of Algorithms

29 views

2 years ago

someprofs
20240429 CISP 440 dijkstra's algorithm

... discussion to um something that we have talked about already what do you think is the time complexity of this algorithm so let's ...

1:21:08
20240429 CISP 440 dijkstra's algorithm

95 views

1 year ago

ExamBytes
Single Source Shortest Path Using Dijkstra Algorithm-Lecture1

This video deals with motivation behind finding the single source shortest path. It then discusses how to find this using Dijkstra ...

23:47
Single Source Shortest Path Using Dijkstra Algorithm-Lecture1

715 views

5 years ago

Chao Xu
Graph Algorithms III: Shortest Path

Algorithms 8. Graph Algorithms III: Shortest Path aduni.

1:32:53
Graph Algorithms III: Shortest Path

1,026 views

13 years ago

Himanshu Kaushik | DigiiMento GATE, NET, CSE Prep
02 Time Complexity Analysis

These videos are helpful for the following Examinations - GATE Computer Science, GATE Electronics and Communication, NTA ...

25:54
02 Time Complexity Analysis

18,628 views

8 years ago

Himanshu Kaushik | DigiiMento GATE, NET, CSE Prep
01 What is the Need of Time Complexity

These videos are helpful for the following Examinations - GATE Computer Science, GATE Electronics and Communication, NTA ...

34:17
01 What is the Need of Time Complexity

24,532 views

8 years ago

Code Geex
Algorithms Course - Graph Theory Visualized

This full course provides a complete introduction to Graph Theory algorithms in computer science. Knowledge of how to create ...

8:55:07
Algorithms Course - Graph Theory Visualized

503 views

2 years ago

Chao Xu
NP Completeness II & Reductions

Algorithms 16. NP Completeness II & Reductions aduni.

1:21:50
NP Completeness II & Reductions

17,693 views

13 years ago

media.ccc.de
35C3 -  A farewell to soul-crushing code

https://media.ccc.de/v/35c3-9812-a_farewell_to_soul-crushing_code Towards correct software that enriches our lives A major part ...

1:00:57
35C3 - A farewell to soul-crushing code

1,664 views

7 years ago

ExamBytes
Graph Algorithms Fast Revision | Part 2/2 (Minimal Spanning Tree, Shortest Path)

graph #graphinhindi #mst #singlesourceshortestpath #datastructure #prims #kruskal #dijkstra This video contains the shortcut ...

46:22
Graph Algorithms Fast Revision | Part 2/2 (Minimal Spanning Tree, Shortest Path)

479 views

3 years ago

SI335 SI335
Unit 4 Class 17: Karatsuba's Algorithm

The multiplication algorithm that changed the world!

21:43
Unit 4 Class 17: Karatsuba's Algorithm

227 views

4 years ago

Himanshu Kaushik | DigiiMento GATE, NET, CSE Prep
ADA 03 How to Calculate Time Complexity of Recursive Functions (in Hindi)

These videos are helpful for the following Examinations - GATE Computer Science, GATE Electronics and Communication, NTA ...

1:00:24
ADA 03 How to Calculate Time Complexity of Recursive Functions (in Hindi)

4,049 views

7 years ago

Arjun Suresh
Algorithms Video 1: Algorithms -- overview

Overview of Algorithms, Complexities, P-NP-NP-Complete by Shai Simonson. All rights owned by Aduni.org.

1:26:19
Algorithms Video 1: Algorithms -- overview

13,243 views

7 years ago

WorKer 2019
A New Kernel for Feedback Vertex Set

Talk by Yoichi Iwata at WorKer 2019. Location: University of Bergen, Norway.

54:35
A New Kernel for Feedback Vertex Set

284 views

6 years ago

UCIBrenICS
Local Computation Algorithms

Her research interests include randomized algorithms and computational complexity. She works in the fields of Property Testing ...

50:30
Local Computation Algorithms

189 views

6 years ago

NPTEL IIT Bombay
Lecture 13C: Shortest path problem

Week 7: Lecture 13C: Shortest path problem.

30:06
Lecture 13C: Shortest path problem

682 views

4 years ago