Search for tag: "algorithms"

SOIL Seminar: Project Everest: Verified Secure Compenents in WebAssembly

Title: Project Everest: Verified Secure Compenents in WebAssembly Speaker: Jonathan Protzenko Summary: Project Everest is a multi-institutional effort that aims to build a stack of formally verified…

From  Ross Tate on February 1st, 2021 5 plays

Lesson 30.8 Quicksort Performance

It looks like quicksort has solved our performance problems. However, we should not be so hasty. In this video, we look at the real performance for quicksort, and why it is not perfect. We also talk…

From  Hannah Lee on December 10th, 2020 8 plays

Lesson 30.5 Selection Sort

In the previous video we saw that insertion sort is not an ideal sorting algorithm. In this video we try our hand at another algorithm: selection sort. This is another simple algorithm that may be…

From  Hannah Lee on December 10th, 2020 8 plays

Lesson 30.4 Sorting Performance

Through the course, we have only cared about specifications, and not performance. But as we see in this video, sorting is an application where performance really matters. Little changes to the size…

From  Hannah Lee on December 10th, 2020 9 plays

Cornell IS Colloquium with Nathan Matias

Zoom Recording ID: 98959768127 UUID: cBYuzdmaRhO+l/JVxTmx5w== Meeting Time: 2020-12-03T20:45:43Z

From  Wendy Ju on December 3rd, 2020 9 plays

Theory Seminar - Fall 2020: Darren Strash, Hamilton College

Zoom Recording ID: 97470844866 UUID: kIjfyxrnQl6pa9G6/BwJEQ== Meeting Time: 2020-10-05T19:59:36Z

From  Jordan Staiti on October 5th, 2020 16 plays

Lesson 10.1 Algorithms

In this video we introduce the notion of an algorithm, which is an is a way of describing code (or any process) that is not limited to a specific programming language. You should always develop an…

From  Hannah Lee on October 2nd, 2020 19 plays

Milstein Invited Lecture - Phil Zimmermann

Zoom Recording ID: 96610307248 UUID: mZ1ztoAtR22wXeIQs0Cm0g== Meeting Time: 2020-07-30T23:46:15Z

From  Tapan Parikh on July 31st, 2020 8 plays

Milstein Invited Lecture - Lilly Irani

Zoom Recording ID: 96610307248 UUID: F3+SQojeRSGtvEt1fB/oiQ== Meeting Time: 2020-07-09T23:12:10Z

From  Tapan Parikh on July 10th, 2020 10 plays

February 6 Brad Hayes

From  Jake Lopez on June 30th, 2020 7 plays

20191030_CIDA_Industry-Ag Analytics Panel_The Connected Farm_Opportunities and Challenges of Improving Productivity Through Connectivity.mp4

From  Matt Gorney on November 7th, 2019 6 plays

Young Researchers October 2019 (Not recorded correctly)

From  E. Cornelius on October 5th, 2019 6 plays

Electron Tomography - Theory

2017 PARADIM SUMMER SCHOOL Tomography Theory Ercius

From  James Overhiser on February 15th, 2019 25 plays