Search for tag: "fact"

Informatics: 60 years of history – Michael Fourman - Milner's Vision

Informatics: 60 years of history – Michael Fourman - Milner's VisionPlease note: This recording contains automated captioning, it might not always be accurate.

From  Stuart Mckerlie 0 likes 25 plays 0  

A Global History of Mathematics: An Urgent Human Concern - Serafina Cuomo

Who was an ancient mathematician? Reflections on the power of definitions. Serafina Cuomo Durham University/Max-Planck-Institut für Wissenschaftsgeschichte

From  Greg McCracken 0 likes 10 plays 0  

AML: Evaluation - Regression

Applied Machine Learning - INFR11211 AML: Evaluation - Regression Part 2/2

From  Siddharth N 0 likes 162 plays 0  

AML: Exploratory Data Analysis - PCA Examples

Applied Machine Learning - INFR11211 AML: Exploratory Data Analysis - PCA Examples Part 3/3

From  Siddharth N 0 likes 214 plays 0  

Emma Brooks' presentation

‘Interpreter required?’: negotiating consent in a linguistically diverse space

From  Sebnem Susam-Saraeva 0 likes 9 plays 0  

Johannes Walcher - Lecture series: Extended Mirror Symmetry - Day 2

Periods in Mirror Symmetry

From  Greg McCracken 0 likes 9 plays 0  

The diffeomorphism group of an exotic sphere - Michael Weiss

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayMichael Weiss, University of MuensterThis recording is in the process being subtitled. This typically takes around…

From  Greg McCracken 0 likes 7 plays 0  

Model structures for Hopfological algebra - Dai Tamaki

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayDai Tamaki, Shinshu University

From  Greg McCracken 0 likes 10 plays 0  

The spaces of non-extendable quasimorphisms - Takahiro Matsushita

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayTakahiro Matsushita, University of the Ryukyus

From  Greg McCracken 0 likes 5 plays 0  

Genomic selection in plant breeding

The following audio recording is delivered by Chris Gaynor, a senior data scientist at Bayer Crop Science. While working at The Roslin Institute in Edinburgh, he developed the AlphaSimR package and…

From  Geoff Fortescue 0 likes 17 plays 0  

Anamaria Costache - Challenges and open problems in Fully Homomorphic Encryption

Subtitles will be added at a later date. 27 July 2022 Foundations and Applications of Lattice-based Cryptography Anamaria Costache, Norwegian University of Science and Technology Challenges and open…

From  Greg McCracken 0 likes 40 plays 0  

Effects of global discourse coherence on local contextual predictions - Georgia-Ann Carter

Context is vitally important for how we understand the world around us, and this is particularly so with language. We know that humans use a range of linguistic cues when understanding language to…

From  Kerry Miller 0 likes 4 plays 0  

Fourier's hieroglyphs, Jean Dhombres

This public lecture was part of the Fourier Analysis @200 workshop at ICMS. We were delighted to welcome speaker Jean Dhombres (École des hautes études en sciences sociales/ The School…

From  Iain Cms 0 likes 16 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 12 plays 0  

Merge Resolution QBF proofs with inbuilt strategies - Meena Mahajan

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Merge Resolution: QBF proofs with inbuilt strategies The Institute of Mathematical Sciences Meena Mahajan

From  Iain Cms 0 likes 11 plays 0  

Geometry and topology in collective dynamics models. - Pierre Degond

From Individual to Collective Behaviour in Biological and Robotic Systems Geometry and topology in collective dynamics models. CNRS, Institut de Mathematiques de Toulouse Pierre Degond

From  Iain Cms 0 likes 39 plays 0