Fri, 26 Apr 2019

16:00 - 17:00
L1

Mathematics in developing countries

Federico Danieli and Christian Bick
(University of Oxford)
Abstract

How do you create a self-sustaining, flourishing academic community in a developing country? What kind of challenges need to be overcome to ensure that quality education becomes available? What can we do to help make it happen? In this talk, we will describe our experience visiting the University of Yangon in Myanmar. During the visit, we delivered a course to the academic staff, and discussed future collaborations between Oxford and Yangon, as well as further directions for Mathematical education in Myanmar, all the while marvelling at the wonders of the Burmese culture.

Fri, 21 Jun 2019

16:00 - 17:00
L1

North meets South colloquium

Aden Forrow and Paul Ziegler
Abstract

Aden Forrow
Optimal transport and cell differentiation

Abstract
Optimal transport is a rich theory for comparing distributions, with both deep mathematics and application ranging from 18th century fortification planning to computer graphics. I will tie its mathematical story to a biological one, on the differentiation of cells from pluripotency to specialized functional types. First the mathematics can support the biology: optimal transport is an apt tool for linking experimental samples across a developmental time course. Then the biology can inspire new mathematics: based on the branching structure expected in differentiation pathways, we can find a regularization method that dramatically improves the statistical performance of optimal transport.

Paul Ziegler
Geometry and Arithmetic

Abstract
For a family of polynomials in several variables with integral coefficients, the Weil conjectures give a surprising relationship between the geometry of the complex-valued roots of these polynomials and the number of roots of these polynomials "modulo p". I will give an introduction to this circle of results and try to explain how they are used in modern research.
 

Fri, 17 May 2019

16:00 - 17:00
L1

North meets South colloquium

Valérie Voorsluijs and Matthias Nagel
(University of Oxford)
Abstract

Valérie Voorsluijs
Deterministic limit of intracellular calcium spikes
Abstract: In non-excitable cells, global calcium spikes emerge from the collective dynamics of clusters of calcium channels that are coupled by diffusion. Current modeling approaches have opposed stochastic descriptions of these systems to purely deterministic models, while both paradoxically appear compatible with experimental data. Combining fully stochastic simulations and mean-field analyses, we demonstrate that these two approaches can be reconciled. Our fully stochastic model generates spike sequences that can be seen as noise-perturbed oscillations of deterministic origin while displaying statistical properties in agreement with experimental data. These underlying deterministic oscillations arise from a phenomenological spike nucleation mechanism.


Matthias Nagel
Knots in dimensions three and four
Abstract: Knot theory studies the various embeddings of a circle into three-dimensional space. I will describe an equivalence relation on knots, called "concordance", which takes the fourth dimension into account. The study of concordance is intimately related with many problems at the heart of the topology of four-manifolds, such as the difference between the smooth and the topological category, and I will discuss results that illuminate this relation.

Fri, 24 May 2019

16:00 - 17:00
L1

How to give a bad talk

Philip Maini
(University of Oxford)
Abstract

What is the point of giving a talk?  What is the point of going to a talk?  In this presentation, which is intended to have a lot of audience participation, I would like to explore how one should prepare talks for different audiences and different occasions, and what one should try to get out of going to a talk.

Fri, 01 Mar 2019
16:00
L1

Maths meets Computer Vision

Further Information

Speaker 1: Pawan Kumar
Title: Neural Network Verification
Abstract: In recent years, deep neural networks have started to find their way into safety critical application domains such as autonomous cars and personalised medicine. As the risk of an error in such applications is very high, a key step in the deployment of neural networks is their formal verification: proving that a network satisfies a desirable property, or providing a counter-example to show that it does not. In this talk, I will formulate neural network verification as an optimization problem, briefly present the existing branch-and-bound style algorithms to compute a globally optimal solution, and highlight the outstanding mathematical challenges that limit the size of problems we can currently solve.

Speaker 2: Samuel Albanie
Title: The Design of Deep Neural Network Architectures: Exploration in a High-Dimensional Search Space
Abstract: Deep Neural Networks now represent the dominant family of function approximators for tackling machine perception tasks. In this talk, I will discuss the challenges of working with the high-dimensional design space of these networks. I will describe several competing approaches that seek to fully automate the network design process and the open mathematical questions for this problem.

Fri, 25 Jan 2019
16:00
L1

Ethics for mathematicians

Maurice Chiodo
(Cambridge)
Abstract

Teaching ethics to the mathematicians who need it most
For the last 20 years it has become increasingly obvious, and increasingly pressing, that mathematicians should be taught some ethical awareness so as to realise the impact of their work. This extends even to those more highly trained, like graduate students and postdocs. But which mathematicians should we be teaching this to, what should we be teaching them, and how should we do it? In this talk I’ll explore the idea that all mathematicians will, at some stage, be faced with ethical challenges stemming from their work, and yet few are ever told beforehand.
 

Subscribe to Fridays@4