Search for tag: "computation"

Spatial Extremes: Arnab Hazra

This talk has been automatically captioned. You can remove these by pressing CC on the video toolbar. Name: Arnab Hazra Talk Title: A sparse Gaussian scale mixture process for modeling short-range…

From  Belle Taylor on June 29th, 2021 0 likes 37 plays 0  

Cohomology of orthogonal and symplectic groups over the integers - Thomas Nikolaus

Cohomology of orthogonal and symplectic groups over the integers Thomas Nikolaus (Universität Münster) Manifolds and K-theory: the legacy of Andrew Ranicki online workshop 21 - 25 Jun 2021…

From  GILLIAN KERR on June 22nd, 2021 0 likes 53 plays 0  

Rishikesh Yadav EVA Talk Preview

This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Rishikesh Yadav Talk Title: A flexible Bayesian framework for modeling extreme spatial threshold exceedances…

From  Anna Munro on May 24th, 2021 0 likes 8 plays 0  

Arnab Hazra EVA Talk Preview

This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Arnab Hazra Talk Title: A sparse Gaussian scale mixture process for modeling short-range extremal dependence…

From  Anna Munro on May 13th, 2021 0 likes 15 plays 0  

BMC BAMC 2021 Rebecca Shipley

6-9 April 2021, BMC BAMC 2021 This is the plenary talk by Rebecca Shipley (University College London) Multiscale Models of Tumour Fluid and Drug Distribution: Integrating Imaging and Computation.…

From  Sophia Martin on April 15th, 2021 0 likes 30 plays 0  

Computer Science MSc

Learn about the Computer Science MSc at the School of Informatics in this presentation delivered by Programme Director, Raul Garcia-Patron Sanchez, followed by a Q&A session. Recorded in…

From  Nicola Hopper on March 1st, 2021 0 likes 64 plays 0  

Informatics MSc

Learn about the Informatics MSc at the School of Informatics in this presentation delivered by Programme Director, Raul Garcia-Patron Sanchez, followed by a Q&A session. Recorded in November…

From  Nicola Hopper on February 28th, 2021 0 likes 23 plays 0  

CL - 22 - Tseytin Satisfaction DPLL

N/A

From  Haoran Peng on December 1st, 2020 0 likes 100 plays 0  

CL - 21 - CNF KM Gentzen Tseytin

N/A

From  Haoran Peng on December 1st, 2020 0 likes 111 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 140 plays 0  

CL - 18 - rules

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…

From  Haoran Peng on November 30th, 2020 0 likes 205 plays 0  

FP - Lecture 19 - Propositions as Types

This is the last FP video lecture, on Propositions as Types.

From  Claudia-Elena Chirita on November 29th, 2020 0 likes 377 plays 0  

CL - 19 - regex DFA NFA

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.

From  Haoran Peng on November 23rd, 2020 0 likes 206 plays 0  

CL - 17 - regex: Arden's lemma

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.

From  Haoran Peng on November 23rd, 2020 0 likes 226 plays 0  

CL - 16 - ε-transitions and the subset construction

This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.

From  Haoran Peng on November 23rd, 2020 0 likes 227 plays 0  

CL - 15f - R* -- Iteration

We construct an NFA for R*; then summarize the algebra of regular expressions.

From  Haoran Peng on November 23rd, 2020 0 likes 228 plays 0