L2

The mechanisms underlying the initiation and perpetuation of cardiac arrhythmias are inherently multi-scale: whereas arrhythmias are intrinsically tissue-level phenomena, they have a significant dependence cellular electrophysiological factors. Spontaneous sub-cellular calcium release events (SCRE), such as calcium waves, are a exemplars of the multi-scale nature of cardiac arrhythmias: stochastic dynamics at the nanometre-scale can influence tissue excitation  patterns at the centimetre scale, as triggered action potentials may elicit focal excitations. This latter mechanism has been long proposed to underlie, in particular, the initiation of rapid arrhythmias such as tachycardia and fibrillation, yet systematic analysis of this mechanism has yet to be fully explored. Moreover, potential bi-directional coupling has been seldom explored even in concept.

A major challenge of dissecting the role and importance of SCRE in cardiac arrhythmias is that of simultaneously exploring sub-cellular and tissue function experimentally. Computational modelling provides a potential approach to perform such analysis, but requires new techniques to be employed to practically simulate sub-cellular stochastic events in tissue-scale models comprising thousands or millions of coupled cells.

This presentation will outline the novel techniques developed to achieve this aim, and explore preliminary studies investigating the mechanisms and importance of SCRE in tissue-scale arrhythmia: How do independent, small-scale sub-cellular events overcome electrotonic load and manifest as a focal excitation? How can SCRE focal (and non-focal) dynamics lead to re-entrant excitation? How does long-term re-entrant excitation interact with SCRE to perpetuate and degenerate arrhythmia?

The last remaining open problem from Erdős and Rényi's original paper on random graphs is the following: for q at least 3, what is the largest d so that the random graph G(n,d/n) is q-colorable with high probability?  A lot of interesting work in probabilistic combinatorics has gone into proving better and better bounds on this q-coloring threshold, but the full answer remains elusive.  However, a non-rigorous method from the statistical physics of glasses - the cavity method - gives a precise prediction for the threshold.  I will give an introduction to the cavity method, with random graph coloring as the running example, and describe recent progress in making parts of the method rigorous, emphasizing the role played by tools from extremal combinatorics.  Based on joint work with Amin Coja-Oghlan, Florent Krzakala, and Lenka Zdeborová.

Topological field theories give rise to a wealth of algebraic structures, extending
the E_n algebra expressing the "topological OPE of local operators". We may interpret these algebraic structures as defining (slightly noncommutative) algebraic varieties and stacks, called moduli stacks of vacua, and relations among them. I will discuss some examples of these structures coming from the geometric Langlands program and their applications. Based on joint work with Andy Neitzke and Sam Gunningham. 

Mathematical models based on first principles can describe the interaction between electrical, mechanical and fluid-dynamical processes occurring in the heart. This is a classical multi-physics problem. Appropriate numerical strategies need to be devised to allow for an effective description of the fluid in large and medium size arteries, the analysis of physiological and pathological conditions, and the simulation, control and shape optimisation of assisted devices or surgical prostheses. This presentation will address some of these issues and a few representative applications of clinical interest.

Ultrasound (US) imaging is one of the first steps in a continuum of pregnancy care. During the fetal period, the brain undergoes dramatic structural changes, many of which are informative of healthy maturation. The resolution of modern US machines enables us to observe and measure brain structures, as well as detect cerebral abnormalities in fetuses from as early as 18 weeks. Recent breakthroughs in machine learning techniques for image analysis introduce opportunities to  develop bespoke methods to track spatial and temporal patterns of fetal brain development. My work focuses on the design of appropriate data-driven techniques to extract developmental information from standard clinical US images of the brain.

The BSHM meeting on “The history of computing beyond the computer” looks at the people and the science underpinning modern software and programming, from Charles Babbage’s design notation to forgotten female pioneers.

Registration will be £32.50 for standard tickets, £22.00 for BSHM members and Oxford University staff, and £6.50 for students. This will include tea/coffee and biscuits at break times, but not lunch, as we wanted to keep the registration fee to a minimum. A sandwich lunch or a vegetarian sandwich lunch can be ordered separately on the Eventbrite page. If you have other dietary requirements, please use the contact button at the bottom of this page. There is also a café in the Mathematical Institute that sells hot food at lunchtime, alongside sandwiches and snacks, and there are numerous places to eat within easy walking distance.

https://www.eventbrite.co.uk/e/the-history-of-computing-beyond-the-comp…

Programme

21 March 2018

17:00 Andrew Hodges, University of Oxford, author of "Alan Turing: The Enigma” on 'Alan Turing: soft machine in a hard world.’
http://www.turing.org.uk/index.html

22 March 2018

9:00 Registration

9:30 Adrian Johnstone, Royal Holloway University of London, on Charles Babbage's design notation
http://blog.plan28.org/2014/11/babbages-language-of-thought.html

10:15 Reinhard Siegmund-Schultze, Universitetet i Agder, on early numerical methods in the analysis of the Northern Lights
https://www.uia.no/kk/profil/reinhars

11:00 Tea/Coffee

11:30 Julianne Nyhan, University College London, on Father Busa and humanities data
https://archelogos.hypotheses.org/135

12:15 Cliff Jones, University of Newcastle, on the history of programming language semantics
http://homepages.cs.ncl.ac.uk/cliff.jones/

13:00 Lunch

14:00 Mark Priestley, author of "ENIAC in Action, Making and Remaking the Modern Computer"
http://www.markpriestley.net

14:45 Marie Hicks, University of Wisconsin-Madison, author of "Programmed Inequality: How Britain Discarded Women Technologists and Lost Its Edge In Computing"
http://mariehicks.net

15:30 Tea/Coffee

16:00 Panel discussion to include Martin Campbell-Kelly (Warwick), Andrew Herbert (TNMOC), and Ursula Martin (Oxford)

17:00 End of conference

Co-located event

23 March, in Mathematical Institute, University of Oxford, Symposium for the History and Philosophy of Programming, HaPoP 2018, Call for extended abstracts
http://www.hapoc.org/node/241