Search for tag: "question"

CIO update video 12 August 2022

CIO update video 12 August 2022

From  Gavin McLachlan 0 likes 95 plays 0  

Welcome to Edinburgh | MSc Offer Holder Event | 4 August 2022

Welcome to Edinburgh MSc event recording. Hear more about studying and living in Edinburgh. Welcome from the School of Informatics' Head of Student Services Presentation from current Artificial…

From  Nicola Hopper 0 likes 33 plays 0  

SEAM (Rosie Edwards) and Parents and Supporters of Students (Lorna Devlin)

An overview of Student Engagement and Monitoring (SEAM) and how parents and other supporters of students interact with the University.

From  Neil McGlashan 0 likes 12 plays 0  

Student Wellbeing Service - Structure and Roles Talk (Paddy Corscadden)

Paddy Corscadden explains structure of the student wellbeing service

From  Neil McGlashan 0 likes 14 plays 0  

Ilaria Chillotti - Introduction to FHE and the TFHE Scheme (Pt 2)

Subtitles will be added at a later date. 26 July 2022 Foundations and Applications of Lattice-based Cryptography Ilaria Chillotti, ZAMA Introduction to FHE and the TFHE Scheme (Pt 1)

From  Liam Holligan 0 likes 15 plays 0  

Ilaria Chillotti - Introduction to FHE and the TFHE Scheme (Pt 1)

Subtitles will be added at a later date. 26 July 2022 Foundations and Applications of Lattice-based Cryptography Ilaria Chillotti, ZAMA Introduction to FHE and the TFHE Scheme (Pt 1)

From  Liam Holligan 0 likes 20 plays 0  

Damien Stehlé - Introduction to Lattice-based Cryptography (Pt 2)

Subtitles will be added at a later date. 25 July 2022 Foundations and Applications of Lattice-based Cryptography Damien Stehlé, ENS Lyon Introduction to Lattice-based Cryptography (Pt 2)

From  Liam Holligan 0 likes 9 plays 0  

Expander graphs, modular forms and cryptography, Luca De Feo

This public lecture was part of the Foundations and Applications of Lattice-based Cryptography workshop at ICMS. We were delighted to welcome speaker Luca De Feo to give this talk. Alice and the…

From  Iain Cms 0 likes 4 plays 0  

HealthyR demo: finalfit.org

Data and code at: https://github.com/SurgicalInformatics/healthyr_demos

From  Riinu Pius 0 likes 15 plays 0  

Research management in "Many Analysts" projects - Stefano Coretta

With the recent increase of large scientific collaborations in the form of "Many Analysts" projects, research project management has quickly moved from small/medium-scale coordination to…

From  Kerry Miller 0 likes 2 plays 0  

Collaborative learning of new information in older age: a systematic review - Kelly Wolfe

Introduction. Aging is accompanied by a multitude of changes in cognitive abilities such as processing speed and memory, which in turn affect learning. Learning collaboratively may benefit older…

From  Kerry Miller 0 likes 1 plays 0  

A hierarchy of propositional proof systems - Pavel Pudlak

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation A hierarchy of propositional proof systems by Pavel Pudlak, Institute of Mathematics, CAS

From  Iain Cms 0 likes 2 plays 0  

Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture - Rafael Mendes de Oliveira

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture by Rafael Mendes…

From  Iain Cms 0 likes 4 plays 0  

Ideals, determinants, and straightening - Robert Andrews

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Ideals, determinants, and straightening by Robert Andrews, University of Illinois at Urbana Champagne

From  Iain Cms 0 likes 2 plays 0  

The minimum circuit size problem is hard for sum of squares - Kilian Risse

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation The minimum circuit size problem is hard for sum of squares KTH Royal Institute of Technology Kilian Risse

From  Iain Cms 0 likes 4 plays 0  

On the strength of semi-algebraic proof systems - Ilario Bonacina

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation On the strength of semi-algebraic proof systems UPC Universitat Politècnica de Catalunya Ilario Bonacina

From  Iain Cms 0 likes 1 plays 0