December
2019  M  T  W  T  F  S  S        1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31      

Search the School of Mathematical SciencesPeople matching "Mathematical modelling of lobster populations in S" 
Professor Mathai Varghese Elder Professor of Mathematics, Australian Laureate Fellow, Fellow of the Australian Academy of Scie
More about Mathai Varghese... 
Courses matching "Mathematical modelling of lobster populations in S" 
Financial Modelling: Tools and Techniques The growth of the range of financial products that are traded on financial markets or are available at other financial institutions, is a notable feature of the finance industry. A major factor contributing to this growth has been the development of sophisticated methods to price these products. The significance to the finance industry of developing a method for pricing options (financial derivatives) was recognized by the awarding of the Nobel Prize in Economics to Myron Scholes and Robert Merton in 1997. The mathematics upon which their method is built is stochastic calculus in continuous time. Binomial lattice type models provide another approach for pricing options. These models are formulated in discrete time and the examination of their structure and application in various financial settings takes place in a mathematical context that is less technically demanding than when time is continuous. This course discusses the binomial framework, shows how discretetime models currently used in the financial industry are formulated within this framework and uses the models to compute prices and construct hedges to manage financial risk. Spreadsheets are used to facilitate computations where appropriate. Topics covered are: The noarbitrage assumption for financial markets; noarbitrage inequalities; formulation of the onestep binomial model; basic pricing formula; the CoxRossRubinstein (CRR) model; application to European style options, exchange rates and interest rates; formulation of the nstep binomial model; backward induction formula; forward induction formula; nstep CRR model; relationship to BlackScholes; forward and future contracts; exotic options; path dependent options; implied volatility trees; implied binomial trees; interest rate models; hedging; real options; implementing the models using EXCEL spreadsheets.
More about this course... 

Mathematical Biology III The application of mathematics to problems arising in the life sciences is a rapidly growing area yielding quantitative understanding of questions about such things as the spread of infectious diseases, population growth and interaction, organ (e.g. heart) function, cell signalling, nutrient supply, and more. This course will introduce students to the fascinating world of modelling biological systems. A variety of biological problems will be considered, in the context of which students will be exposed to a variety of mathematical techniques. No previous exposure to biology is necessary. Topics covered are: Scalar, discretetime models, analysed using the mathematical tools of cobwebbing and linear stability analysis of fixed points; Linear stability analysis of systems of discretetime equations; The theory of dynamical systems for models comprised of linear and nonlinear scalar and coupled ordinary differential equations, including vector fields, phaseplane analysis and elementary bifurcation theory; Reactionadvectiondiffusion models, including equation derivation from the law of mass conservation and Fick's law. The 1D Fisher equation is examined in particular, a Hamiltonian function is introduced for analysis of the steady equation, while travelling wave solutions of the unsteady equation are obtained.
More about this course... 

Mathematical epidemiology: Stochastic models and their statistical calibration Mathematical models are increasingly used to inform governmental policymakers on issues that
threaten human health or which have an adverse impact on the economy. It is this realworld success
combined with the wide variety of interesting mathematical problems which arise that makes
mathematical epidemiology one of the most exciting topics in applied mathematics. During the
summer school, you will be introduced to mathematical epidemiology and some fundamental theory
required for studying and parametrising stochastic models of infection dynamics, which will provide an
ideal basis for addressing key research questions in this area; several such questions will be
introduced and explored in this course. Topics:
An introduction to mathematical epidemiology
Discretetime and continuoustime discretestate stochastic infection models
Numerical methods for studying stochastic infection models: EXPOKIT, transforms and their inversion
Methods for simulating stochastic infection models: classical (Gillespie) algorithm, more efficient exact
and approximate algorithms
Methods for parameterising stochastic infection models: frequentist approaches, Bayesian
approaches, approximate Bayesian computation
Optimal observation of stochastic infection models
More about this course... 

Mathematical Statistics III Statistical methods used in practice are based on a foundation of statistical theory. One branch of this theory uses the tools of probability to establish important distributional results that are used throughout statistics. Another major branch of statistical theory is statistical inference. It deals with issues such as how do we define a "good" estimator or hypothesis test, how do we recognise one and how do we construct one? This course is concerned with the fundamental theory of random variables and statistical inference. Topics covered are: calculus of distributions, moments, moment generating functions; multivariate distributions, marginal and conditional distributions, conditional expectation and variance operators, change of variable, multivariate normal distribution, exact distributions arising in statistics; weak convergence, convergence in distribution, weak law of large numbers, central limit theorem; statistical inference, likelihood, score and information; estimation, minimum variance unbiased estimation, the CramerRao lower bound, exponential families, sufficient statistics, the RaoBlackwell theorem, efficiency, consistency, maximum likelihood estimators, large sample properties; tests of hypotheses, most powerful tests, the NeymanPearson lemma, likelihood ratio, score and Wald tests, large sample properties.
More about this course... 

Modelling and Simulation of Stochastic Systems The course provides students with the skills to analyse and design systems using modelling and simulation techniques. Case studies will be undertaken involving handson use of simulation packages. The application of simulation in areas such as manufacturing, telecommunications and transport will be investigated. At the end of this course, students will be capable of identifying practical situations where simulation modelling can be helpful, reporting to management on how they would undertake such a project, collecting relevant data, building and validating a model, analysing the output and reporting their findings to management. Students complete a project in groups of two or three, write a concise summary of what they have done and report their findings to the class. The project report at the end of this course should be a substantial document that is a record of a student's practical ability in simulation modelling, which can also become part of a portfolio or CV. Topics covered are: Introduction to simulation, hand simulation, introduction to a simulation package, review of basic probabilty theory, introduction to random number generation, generation of random variates, anaylsis of simulation output, variance reduction techniques and basic analytic queeing models.
More about this course... 

Statistical Analysis and Modelling 1 This is a first course in Statistics for mathematically inclined students. It will address the key principles underlying commonly used statistical methods such as confidence intervals, hypothesis tests, inference for means and proportions, and linear regression. It will develop a deeper mathematical understanding of these ideas, many of which will be familiar from studies in secondary school. The application of basic and more advanced statistical methods will be illustrated on a range of problems from areas such as medicine, science, technology, government, commerce and manufacturing. The use of the statistical package SPSS will be developed through a sequence of computer practicals. Topics covered will include: basic probability and random variables, fundamental distributions, inference for means and proportions, comparison of independent and paired samples, simple linear regression, diagnostics and model checking, multiple linear regression, simple factorial models, models with factors and continuous predictors.
More about this course... 

Statistical Modelling and Inference Statistical methods are important to all areas that rely on data including science, technology, government and commerce. To deal with the complex problems that arise in practice requires a sound understanding of fundamental statistical principles together with a range of suitable modelling techniques. Computing using a high level statistical package is also an essential element of modern statistical practice. This course provides an introduction to the principles of statistical inference and the development of linear statistical models with the statistical package R. Topics covered are: Point estimates, unbiasedness, meansquared error, confidence intervals, tests of hypotheses, power calculations, derivation of one and twosample procedures; simple linear regression, regression diagnostics, prediction; linear models, ANOVA, multiple regression, factorial experiments, analysis of covariance models, model building; likelihood based methods for estimation and testing, goodness of fit tests; sample surveys, population means, totals and proportions, simple random samples, stratified random samples. Topics covered are: point estimates, unbiasedness, meansquared error, confidence intervals, tests of hypotheses, power calculations, derivation of one and twosample procedures: simple linear regression, regression diagnostics, prediction: linear models, analysis of variance (ANOVA), multiple regression, factorial experiments, analysis of covariance models, model building; likelihoodbased methods for estimation and testing and goodnessoffit tests.
More about this course... 

Statistical Modelling III One of the key requirements of an applied statistician is the ability to formulate appropriate statistical models and then apply them to data in order to answer the questions of interest. Most often, such models can be seen as relating a response variable to one or more explanatory variables. For example, in a medical experiment we may seek to evaluate a new treatment by relating patient outcome to treatment received while allowing for background variables such as age, sex and disease severity. In this course, a rigorous discussion of the linear model is given and various extensions are developed. There is a strong practical emphasis and the statistical package R is used extensively. Topics covered are: the linear model, least squares estimation, generalised least squares estimation, properties of estimators, the GaussMarkov theorem; geometry of least squares, subspace formulation of linear models, orthogonal projections; regression models, factorial experiments, analysis of covariance and model formulae; regression diagnostics, residuals, influence diagnostics, transformations, BoxCox models, model selection and model building strategies; models with complex error structure, splitplot experiments; logistic regression models.
More about this course... 
Events matching "Mathematical modelling of lobster populations in S" 
tba 00:00 Wed 30 Nov, 0001 :: Lower Napier LG14 :: A/Prof Jessica Purcell :: Monash University


tba 00:00 Wed 30 Nov, 0001 :: Lower Napier LG14 :: A/Prof Jessica Purcell :: Monash University


Stability of timeperiodic flows 15:10 Fri 10 Mar, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Andrew Bassom, School of Mathematics and
Statistics, University of Western Australia
Timeperiodic shear layers occur naturally in a wide
range of applications from engineering to physiology. Transition to
turbulence in such flows is of practical interest and there have been
several papers dealing with the stability of flows composed of a
steady component plus an oscillatory part with zero mean. In such
flows a possible instability mechanism is associated with the mean
component so that the stability of the flow can be examined using some
sort of perturbationtype analysis. This strategy fails when the mean
part of the flow is small compared with the oscillatory component
which, of course, includes the case when the mean part is precisely
zero.
This difficulty with analytical studies has meant that the stability
of purely oscillatory flows has relied on various numerical
methods. Until very recently such techniques have only ever predicted
that the flow is stable, even though experiments suggest that they do
become unstable at high enough speeds. In this talk I shall expand on
this discrepancy with emphasis on the particular case of the socalled
flat Stokes layer. This flow, which is generated in a deep layer of
incompressible fluid lying above a flat plate which is oscillated in
its own plane, represents one of the few exact solutions of the
NavierStokes equations. We show theoretically that the flow does
become unstable to waves which propagate relative to the basic motion
although the theory predicts that this occurs much later than has been
found in experiments. Reasons for this discrepancy are examined by
reference to calculations for oscillatory flows in pipes and
channels. Finally, we propose some new experiments that might reduce
this disagreement between the theoretical predictions of instability
and practical realisations of breakdown in oscillatory flows. 

Making tertiary mathematics more interesting 15:10 Fri 24 Mar, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Emeritus Neville de Mestre, Faculty of Information Technology, Bond University
For the past few decades, calculus and linear algebra
have provided the basis for many university courses in mathematics,
science or engineering. However there are other courses, which could
be given to motivate the students, particularly those with only a
passing love of mathematics. One possible course could show the
essential features of how mathematicians solve problems using many
different analytical, cerebral and computer skills. In this seminar I
will describe such a onesemester course (2 lectures, 2 labs each
week), which includes handson problem solving and students eventually
creating their own problems. One or two exciting problems at
firstyear level will be developed in detail.


Inconsistent Mathematics 15:10 Fri 28 Apr, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Chris Mortensen
The Theory of Inconsistency arose historically from a
number of sources, such as the semantic paradoxes including The Liar
and the settheoretic paradoxes including Russell's. But these sources
are rather too closely connected with Foundationalism: the view that
mathematics has a foundation such as logic or set theory or category
theory etc. It soon became apparent that inconsistent mathematical
structures are of interest in their own right and do not depend on the
existence of foundations. This paper will survey some of the results
in inconsistent mathematics and discuss the bearing on various
philosophical positions including Platonism, Logicism, Hilbert's
Formalism, and Brouwer's Intuitionism. 

Mathematics of underground mining. 15:10 Fri 12 May, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Hyam Rubinstein
Underground mining infrastructure involves an
interesting range of optimisation problems with geometric
constraints. In particular, ramps, drives and tunnels have gradient
within a certain prescribed range and turning circles (curvature) are
also bounded. Finally obstacles have to be avoided, such as faults,
ore bodies themselves and old workings. A group of mathematicians and
engineers at Uni of Melb and Uni of SA have been working on this
problem for a number of years. I will summarise what we have found and
the challenges of working in the mining industry. 

Homological algebra and applications  a historical survey 15:10 Fri 19 May, 2006 :: G08 Mathematics Building University of Adelaide :: Prof. Amnon Neeman
Homological algebra is a curious branch of
mathematics; it is a powerful tool which has been used in many diverse
places, without any clear understanding why it should be so useful.
We will give a list of applications, proceeding chronologically: first
to topology, then to complex analysis, then to algebraic geometry,
then to commutative algebra and finally (if we have time) to
noncommutative algebra. At the end of the talk I hope to be able to
say something about the part of homological algebra on which I have
worked, and its applications. That part is derived categories. 

Watching evolution in real time; problems and potential research areas.
15:10 Fri 26 May, 2006 :: G08. Mathematics Building University of Adelaide :: Prof Alan Cooper (Federation Fellow)
Recent studies (1) have indicated problems with our
ability to use the genetic distances between species to estimate the
time since their divergence (so called molecular clocks). An
exponential decay curve has been detected in comparisons of closely
related taxa in mammal and bird groups, and rough approximations
suggest that molecular clock calculations may be problematic for the
recent past (eg <1 million years). Unfortunately, this period
encompasses a number of key evolutionary events where estimates of
timing are critical such as modern human evolutionary history, the
domestication of animals and plants, and most issues involved in
conservation biology. A solution (formulated at UA) will be briefly
outlined. A second area of active interest is the recent suggestion
(2) that mitochondrial DNA diversity does not track population size in
several groups, in contrast to standard thinking. This finding has
been interpreted as showing that mtDNA may not be evolving neutrally,
as has long been assumed.
Large ancient DNA datasets provide a means to examine these issues, by
revealing evolutionary processes in real time (3). The data also
provide a rich area for mathematical investigation as temporal
information provides information about several parameters that are
unknown in serial coalescent calculations (4). References: Ho SYW et al. Time dependency of molecular rate estimates and
systematic overestimation of recent divergence
times. Mol. Biol. Evol. 22, 15611568 (2005);
Penny D, Nature 436, 183184 (2005).
 Bazin E., et al. Population size does not influence mitochondrial
genetic diversity in animals. Science 312, 570 (2006);
EyreWalker A. Size does not matter for mitochondrial DNA,
Science 312, 537 (2006).
 Shapiro B, et al. Rise and fall of the Beringian steppe
bison. Science 306: 15611565 (2004);
Chan et al. Bayesian estimation of the timing and severity of a
population bottleneck from ancient DNA. PLoS Genetics, 2 e59
(2006).
 Drummond et al. Measurably evolving populations, Trends in
Ecol. Evol. 18, 481488 (2003);
Drummond et al. Bayesian coalescent inference of past population
dynamics from molecular sequences. Molecular Biology Evolution
22, 118592 (2005).


Maths and Movie Making 15:10 Fri 13 Oct, 2006 :: G08 Mathematics Building University of Adelaide :: Dr Michael Anderson
Mathematics underlies many of the techniques used in
modern movie making. This talk will sketch out the movie visual
effects pipeline, discussing how mathematics is used in the various
stages and detailing some of the mathematical areas that are still
being actively researched.
The talk will finish with an overview of the type of work the speaker
is involved in, the steps that led him there and the opportunities for
mathematicians in this new and exciting area. 

Mathematical modelling of multidimensional tissue growth 16:10 Tue 24 Oct, 2006 :: Benham Lecture Theatre :: Prof John King
Some simple continuummechanicsbased models for the
growth of biological tissue will be formulated and their properties
(particularly with regard to stability) described. 

A Bivariate Zeroinflated Poisson Regression Model and application to some Dental Epidemiological data 14:10 Fri 27 Oct, 2006 :: G08 Mathematics Building University of Adelaide :: University Prof Sudhir Paul
Data in the form of paired (pretreatment, posttreatment) counts arise in the study of the effects of several treatments after accounting for possible covariate effects. An example of such a data set comes from a dental epidemiological study in Belo Horizonte (the Belo Horizonte caries prevention study) which evaluated various programmes for reducing caries. Also, these data may show extra pairs of zeros than can be accounted for by a simpler model, such as, a bivariate Poisson regression model. In such situations we propose to use a zeroinflated bivariate Poisson regression (ZIBPR) model for the paired (pretreatment, posttreatment) count data. We develop EM algorithm to obtain maximum likelihood estimates of the parameters of the ZIBPR model. Further, we obtain exact Fisher information matrix of the maximum likelihood estimates of the parameters of the ZIBPR model and develop a procedure for testing treatment effects. The procedure to detect treatment effects based on the ZIBPR model is compared, in terms of size, by simulations, with an earlier procedure using a zeroinflated Poisson regression (ZIPR) model of the posttreatment count with the pretreatment count treated as a covariate. The procedure based on the ZIBPR model holds level most effectively. A further simulation study indicates good power property of the procedure based on the ZIBPR model. We then compare our analysis, of the decayed, missing and filled teeth (DMFT) index data from the caries prevention study, based on the ZIBPR model with the analysis using a zeroinflated Poisson regression model in which the pretreatment DMFT index is taken to be a covariate 

Good and Bad Vibes 15:10 Fri 23 Feb, 2007 :: G08 Mathematics Building University of Adelaide :: Prof. Maurice Dodson
Media...Collapsing bridges and exploding rockets have been associated with vibrations in resonance with natural frequencies. As well, the stability of the solar system and the existence of solutions of SchrÃ¶dinger\'s equation and the wave equation are problematic in the presence of resonances. Such resonances can be avoided, or at least mitigated, by using ideas from Diophantine approximation, a branch of number theory. Applications of Diophantine approximation to these problems will be given and will include a connection with LISA (Laser Interferometer Space Antenna), a spacebased gravity wave detector under construction. 

Alberta Power Prices 15:10 Fri 9 Mar, 2007 :: G08 Mathematics Building University of Adelaide :: Prof. Robert Elliott
Media...The pricing of electricity involves several interesting features. Apart from daily, weekly and seasonal fluctuations, power prices often exhibit large spikes. To some extent this is because electricity cannot be stored. We propose a model for power prices in the Alberta market. This involves a diffusion process modified by a factor related to a Markov chain which describes the number of large generators on line. The model is calibrated and future contracts priced. 

Statistical convergence of sequences of complex numbers with application to Fourier series 15:10 Tue 27 Mar, 2007 :: G08 Mathematics Building University of Adelaide :: Prof. Ferenc Morics
Media...The concept of statistical convergence was introduced by Henry Fast and Hugo Steinhaus in 1951. But in fact, it was Antoni Zygmund who first proved theorems on the statistical convergence of Fourier series, using the term \"almost convergence\". A sequence $\\{x_k : k=1,2\\ldots\\}$ of complex numbers is said to be statistically convergent to $\\xi$ if for every $\\varepsilon >0$ we have $$\\lim_{n\\to \\infty} n^{1} \\{1\\le k\\le n: x_k\\xi > \\varepsilon\\} = 0.$$ We present the basic properties of statistical convergence, and extend it to multiple sequences. We also discuss the convergence behavior of Fourier series. 

Identifying the source of photographic images by analysis of JPEG quantization artifacts 15:10 Fri 27 Apr, 2007 :: G08 Mathematics Building University of Adelaide :: Dr Matthew Sorell
Media...In a forensic context, digital photographs are becoming more common as sources of evidence in criminal and civil matters. Questions that arise include identifying the make and model of a camera to assist in the gathering of physical evidence; matching photographs to a particular camera through the cameraâs unique characteristics; and determining the integrity of a digital image, including whether the image contains steganographic information. From a digital file perspective, there is also the question of whether metadata has been deliberately modified to mislead the investigator, and in the case of multiple images, whether a timeline can be established from the various timestamps within the file, imposed by the operating system or determined by other image characteristics. This talk is concerned specifically with techniques to identify the make, model series and particular source camera model given a digital image. We exploit particular characteristics of the cameraâs JPEG coder to demonstrate that such identification is possible, and that even when an image has subsequently been reprocessed, there are often sufficient residual characteristics of the original coding to at least narrow down the possible camera models of interest. 

A mathematical look at dripping honey 15:10 Fri 4 May, 2007 :: G08 Mathematics Building University of Adelaide :: Dr Yvonne Stokes :: University of Adelaide
Honey dripping from an upturned spoon is an everyday example of a flow that extends and breaks up into drops. Such flows have been of interest for over 300 years, attracting the attention of Plateau and Rayleigh among others. Theoretical understanding has, however, lagged behind experimental investigation, with major progress being made only in the last two decades, driven by industrial applications including inkjet printing, spinning of polymer and glass fibres, blowmoulding of containers, light bulbs and glass tubing, and rheological measurement by fibre extension. Albeit, the exact details of the final stages of breakup are yet to be fully resolved.
An aspect that is relatively unexplored is the evolution of drop and filament from some initial configuration, and the influence of initial conditions on the final breakup. We will consider a drop of very viscous fluid hanging beneath a solid boundary, similar to honey dripping from an upturned spoon, using methods that allow examination of development and behaviour from early time, when a drop and filament begin to form, out to large times when the bulk of the fluid forms a drop at the bottom of a long thin filament which connects it with the upper boundary. The roles of gravity, inertia and surface tension will be examined. 

Flooding in the Sundarbans 15:10 Fri 18 May, 2007 :: G08 Mathematics Building University of Adelaide :: Steve Need
Media...The Sunderbans is a region of deltaic isles formed in the mouth of the Ganges
River on the border between India and Bangladesh. As the largest mangrove
forest in the world it is a world heritage site, however it is also home to
several remote communities who have long inhabited some regions. Many of the
inhabited islands are lowlying and are particularly vulnerable to flooding, a
major hazard of living in the region. Determining suitable levels of
protection to be provided to these communities relies upon accurate assessment
of the flood risk facing these communities. Only recently the Indian
Government commissioned a study into flood risk in the Sunderbans with a view
to determine where flood protection needed to be upgraded.
Flooding due to rainfall is limited due to the relatively small catchment sizes,
so the primary causes of flooding in the Sunderbans are unnaturally high tides,
tropical cyclones (which regularly sweep through the bay of Bengal) or some
combination of the two. Due to the link between tidal anomaly and drops in local
barometric pressure, the two causes of flooding may be highly correlated. I
propose stochastic methods for analysing the flood risk and present the early work
of a case study which shows the direction of investigation. The strategy involves
linking several components; a stochastic approximation to a hydraulic flood
routing model, FARIMA and GARCH models for storm surge and a stochastic model for
cyclone occurrence and tracking. The methods suggested are general and should have
applications in other cyclone affected regions. 

Learning to Satisfy Actuator and Camera Networks 15:10 Fri 25 May, 2007 :: G08 Mathematics Building University of Adelaide :: Assistant Prof Mark Coates
Media...Wireless sensor and actuator networks (SANETs) represent an important extension of sensor networks, allowing nodes within the network to make autonomous decisions and perform actions (actuation) in response to sensor measurements and shared information. SANETS combine aspects of sensor networks and multirobot systems, and the merger gives rise to an array of challenges absent from conventional sensor networks. SANETs are active systems that must use the sensed information to modify the environment in order to elicit a desired response. This involves the development of an actuation strategy, a set of decision rules that specify how the network responds to sensed conditions. In this talk, I will discuss the challenges involved in using distributed algorithms to learn suitable actuation strategies. I will draw connections with the class of learning satisfiability problems, which includes a range of learning tasks involving multiple constraints. 

Modelling gene networks: the case of the quorum sensing network in bacteria. 15:10 Fri 1 Jun, 2007 :: G08 Mathematics Building University of Adelaide :: Dr Adrian Koerber
The quorum sensing regulatory genenetwork is employed by bacteria to provide a measure of their populationdensity and switch their behaviour accordingly. I will present an overview of quorum sensing in bacteria together with some of the modelling approaches I\'ve taken to describe this system. I will also discuss how this system relates to virulence and medical treatment, and the insights gained from the mathematics. 

Finite Geometries: Classical Problems and Recent Developments 15:10 Fri 20 Jul, 2007 :: G04 Napier Building University of Adelaide :: Prof. Joseph A. Thas :: Ghent University, Belgium
In recent years there has been an increasing interest in finite projective spaces, and important applications to practical topics such as coding theory, cryptography and design of experiments have made the field even more attractive. In my talk some classical problems and recent developments will be discussed. First I will mention Segre's celebrated theorem and ovals and a purely combinatorial characterization of Hermitian curves in the projective plane over a finite field here, from the beginning, the considered pointset is contained in the projective plane over a finite field. Next, a recent elegant result on semiovals in PG(2,q), due to GÃ¡cs, will be given. A second approach is where the object is described as an incidence structure satisfying certain properties; here the geometry is not a priori embedded in a projective space. This will be illustrated by a characterization of the classical inversive plane in the odd case. Another quite recent beautiful result in Galois geometry is the discovery of an infinite class of hemisystems of the Hermitian variety in PG(3,q^2), leading to new interesting classes of incidence structures, graphs and codes; before this result, just one example for GF(9), due to Segre, was known. 

An Introduction to invariant differential pairings 14:10 Tue 24 Jul, 2007 :: Mathematics G08 :: Jens Kroeske
On homogeneous spaces G/P, where G is a semisimple Lie group and P is a
parabolic subgroup (the ordinary sphere or projective spaces being
examples), invariant operators, that is operators between certain
homogeneous bundles (functions, vector fields or forms being amongst the
typical examples) that are invariant under the action of the group G, have
been studied extensively. Especially on so called hermitian symmetric spaces
which arise through a 1grading of the Lie algebra of G there exists a
complete classification of first order invariant linear differential
operators even on more general manifolds (that allow a so called almost
hermitian structure).
This talk will introduce the notion of an invariant bilinear differential
pairing between sections of the aforementioned homogeneous bundles. Moreover
we will discuss a classification (excluding certain totally degenerate
cases) of all first order invariant bilinear differential pairings on
manifolds with an almost hermitian symmetric structure. The similarities and
connections with the linear operator classification will be highlighted and
discussed.


Likelihood inference for a problem in particle physics 15:10 Fri 27 Jul, 2007 :: G04 Napier Building University of Adelaide :: Prof. Anthony Davison
The Large Hadron Collider (LHC), a particle accelerator located at CERN, near Geneva, is (currently!) expected to start operation in early 2008. It is located in an underground tunnel 27km in circumference, and when fully operational, will be the world's largest and highest energy particle accelerator. It is hoped that it will provide evidence for the existence of the Higgs boson, the last remaining particle of the socalled Standard Model of particle physics. The quantity of data that will be generated by the LHC is roughly equivalent to that of the European telecommunications network, but this will be boiled down to just a few numbers. After a brief introduction, this talk will outline elements of the statistical problem of detecting the presence of a particle, and then sketch how higher order likelihood asymptotics may be used for signal detection in this context. The work is joint with Nicola Sartori, of the Università Ca' Foscari, in Venice. 

Likelihood inference for a problem in particle physics MATT 15:10 Fri 27 Jul, 2007 :: G04 Napier Building University of Adelaide :: Prof. Anthony Davison


Div, grad, curl, and all that 15:10 Fri 10 Aug, 2007 :: G08 Mathematics Building University of Adelaide :: Prof. Mike Eastwood :: School of Mathematical Sciences, University of Adelaide
These wellknown differential operators are, of course, important in applied mathematics. This is just the tip of an iceberg. I shall indicate some of what lies beneath the surface. There are links with topology, physics, symmetry groups, finite element schemes, and more besides. This talk will touch on these different topics by means of examples. Little prior knowledge will be assumed beyond the equality of mixed partial derivatives. 

Insights into the development of the enteric nervous system and Hirschsprung's disease 15:10 Fri 24 Aug, 2007 :: G08 Mathematics building University of Adelaide :: Assoc. Prof. Kerry Landman :: Department of Mathematics and Statistics, University of Melbourne
During the development of the enteric nervous system, neural crest (NC) cells must first migrate into and colonise the entire gut from stomach to anal end. The migratory precursor NC cells change type and differentiate into neurons and glia cells. These cells form the enteric nervous system, which gives rise to normal gut function and peristaltic contraction. Failure of the NC cells to invade the whole gut results in a lack of neurons in a length of the terminal intestine. This potentially fatal condition, marked by intractable constipation, is called Hirschsprung's Disease. The interplay between cell migration, cell proliferation and embryonic gut growth are important to the success of the NC cell colonisation process.
Multiscale models are needed in order to model the different spatiotemporal scales of the NC invasion. For example, the NC invasion wave moves into unoccupied regions of the gut with a wave speed of around 40 microns per hour. New timelapse techniques have shown that there is a weblike network structure within the invasion wave. Furthermore, within this network, individual cell trajectories vary considerably.
We have developed a populationscale model for basic rules governing NC cell invasive behaviour incorporating the important mechanisms. The model predictions were tested experimentally. Mathematical and experimental results agreed. The results provide an understanding of why many of the genes implicated in Hirschsprung's Disease influence NC population size. Our recently developed individual cellbased model also produces an invasion wave with a welldefined wave speed; however, in addition Individual cell trajectories within the invasion wave can be extracted. Further challenges in modeling the various scales of the developmental system will be discussed. 

Riemann's Hypothesis 15:10 Fri 31 Aug, 2007 :: G08 Mathematics building University of Adelaide :: Emeritus Prof. E. O. Tuck
Riemann's hypothesis (that all nontrivial zeros of the zeta function have real part onehalf) is the most famous currently unproved conjecture in mathematics, and a \\$1M prize awaits its proof. The mathematical statement of this problem is only at about secondyear undergraduate level; after all, the zeta function is much like the trigonometric sine function, and all (?) secondyear students know that all zeros of the sine function are (real) integer multiples of $\\pi$. Many of the steps apparently needed to make progress on the proof are also not much more complicated than that level. Some of these elementary steps, together with numerical explorations, will be described here. Nevertheless the Riemann hypothesis has defied proof so far, and very complicated and advanced abstract mathematics (that will NOT be described here) is often brought to bear on it. Does it need abstract mathematics, or just a flash of elementary inspiration? 

Fermat's Last Theorem and modular elliptic curves 15:10 Wed 5 Sep, 2007 :: G08 Mathematics Building University of Adelaide :: Dr Mark Kisin
Media...I will give a historical talk, explaining the steps by which one can deduce Fermat's Last Theorem from a statement about modular forms and elliptic curves. 

Regression: a backwards step? 13:10 Fri 7 Sep, 2007 :: Maths G08 :: Dr Gary Glonek
Media...Most students of high school mathematics will have encountered the technique of fitting a line to data by least squares. Those who have taken a university statistics course will also have heard this method referred to as regression. However, it is not obvious from common dictionary definitions why this should be the case. For example, "reversion to an earlier or less advanced state or form". In this talk, the mathematical phenomenon that gave regression its name will be explained and will be shown to have implications in some unexpected contexts.


Queues with Advance Reservations 15:10 Fri 21 Sep, 2007 :: G04 Napier Building University of Adelaide :: Prof. Peter Taylor :: Department of Mathematics and Statistics, University of Melbourne
Queues where, on "arrival", customers make a reservation for service at some time in the future are endemic. However there is surprisingly little about them in the literature. Simulations illustrate some interesting implications of the facility to make such reservations. For example introducing independent and identically distributed reservation periods into an Erlang loss system can either increase or decrease the blocking probability from that given by Erlang's formula, despite the fact that the process of 'reserved arrivals' is still Poisson. In this talk we shall discuss a number of ways of looking at such queues. In particular, we shall obtain various transient and stationary distributions associated with the "bookings diary" for the infinite server system. However, this does not immediately answer the question of how to calculate the abovementioned blocking probabilities. We shall conclude with a few suggestions as to how this calculation might be carried out. 

The Linear Algebra of Internet Search Engines 15:10 Fri 5 Oct, 2007 :: G04 Napier Building University of Adelaide :: Dr Lesley Ward :: School of Mathematics and Statistics, University of South Australia
We often want to search the web for information on a given topic. Early websearch algorithms worked by counting up the number of times the words in a query topic appeared on each webpage. If the topic words appeared often on a given page, that page was ranked highly as a source of information on that topic.
More recent algorithms rely on Link Analysis. People make judgments about how useful a given page is for a given topic, and they express these judgments through the hyperlinks they choose to put on their own webpages. Linkanalysis algorithms aim to mine the collective wisdom encoded in the resulting network of links.
I will discuss the linear algebra that forms the common underpinning of three linkanalysis algorithms for web search. I will also present some work on refining one such algorithm, Kleinberg's HITS algorithm.
This is joint work with Joel Miller, Greg Rae, Fred Schaefer, Ayman Farahat, Tom LoFaro, Tracy Powell, Estelle Basor, and Kent Morrison. It originated in a Mathematics Clinic project at Harvey Mudd College. 

Statistical Critique of the International Panel on Climate Change's work on Climate Change. 18:00 Wed 17 Oct, 2007 :: Union Hall University of Adelaide :: Mr Dennis Trewin
Climate change is one of the most important issues facing us today. Many governments have introduced or are developing appropriate policy interventions to (a) reduce the growth of greenhouse gas emissions in order to mitigate future climate change, or (b) adapt to future climate change.
This important work deserves a high quality statistical data base but there are statistical shortcomings in the work of the International Panel on Climate Change (IPCC). There has been very little involvement of qualified statisticians in the very important work of the IPCC which appears to be scientifically meritorious in most other ways.
Mr Trewin will explain these shortcomings and outline his views on likely future climate change, taking into account the statistical deficiencies.
His conclusions suggest climate change is still an important issue that needs to be addressed but the range of likely outcomes is a lot lower than has been suggested by the IPCC.
This presentation will be based on an invited paper presented at the OECD World Forum.


Moderated Statistical Tests for Digital Gene Expression Technologies 15:10 Fri 19 Oct, 2007 :: G04 Napier Building University of Adelaide :: Dr Gordon Smyth :: Walter and Eliza Hall Institute of Medical Research in Melbourne, Australia
Digital gene expression (DGE) technologies measure gene expression by counting sequence tags. They are sensitive technologies for measuring gene expression on a genomic scale, without the need for prior knowledge of the genome sequence. As the cost of DNA sequencing decreases, the number of DGE datasets is expected to grow dramatically. Various tests of differential expression have been proposed for replicated DGE data using overdispersed binomial or Poisson models for the counts, but none of the these are usable when the number of replicates is very small. We develop tests using the negative binomial distribution to model overdispersion relative to the Poisson, and use conditional weighted likelihood to moderate the level of overdispersion across genes. A heuristic empirical Bayes algorithm is developed which is applicable to very general likelihood estimation contexts. Not only is our strategy applicable even with the smallest number of replicates, but it also proves to be more powerful than previous strategies when more replicates are available. The methodology is applicable to other counting technologies, such as proteomic spectral counts.


Rubber Ballons  Prototypes of Hysteresis
15:10 Fri 16 Nov, 2007 :: G04 Napier Building University of Adelaide :: Emeritus Prof. Ingo Muller :: Technical University Berlin
Rubber balloons are characterized by a nonmonotone pressureradius relation which presages interesting nontrivial stability problems. A stability criterion is developed and exploited in order to show that the balloon may be stabilized at any radius by loading it with a piston under an elastic spring, if only the spring is hard enough.
If two connected balloons are subject to an inflationdeflation cycle, the pressureradius curve exhibits a fairly simple hysteresis loop. More complex hysteresis loops appear when more balloons are all inflated together. And if many balloons are inflated and deflated at the same time, the hysteresis loop assumes the form reminiscent of pseudoelasticity. Stability in those complex cases is determined by a simple suggestive argument.
References:
[1] W.Kitsche, I.Muller, P.Strehlow. Simulation of pseudoelastic behaviour in a system of rubber balloons. In: Metastability and Incompletely Posed Problems, S.Antman, J.L.Ericksen, D.Kinderlehrer, I.Muller (eds.) IMA Volume No.3, Springer Verlag, New York (1987)
[2] I.Muller, P.Strehlow, Rubber and Rubber Balloons, Springer Lecture Notes on Physics, Springer Verlag, Heidelberg (2004) 

Similarity solutions for surfacetension driven flows 15:10 Fri 14 Mar, 2008 :: LG29 Napier Building University of Adelaide :: Prof John Lister :: Department of Applied Mathematics and Theoretical Physics, University of Cambridge, UK
The breakup of a mass of fluid into drops is a ubiquitous phenomenon in daily life, the natural environment and technology, with common examples including a dripping tap, ocean spray and inkjet printing. It is a feature of many generic industrial processes such as spraying, emulsification, aeration, mixing and atomisation, and is an undesirable feature in coating and fibre spinning. Surfacetension driven pinchoff and the subsequent recoil are examples of finitetime singularities in which the interfacial curvature becomes infinite at the point of disconnection. As a result, the flow near the point of disconnection becomes selfsimilar and independent of initial and farfield conditions. Similarity solutions will be presented for the cases of inviscid and very viscous flow, along with comparison to experiments. In each case, a boundaryintegral representation can be used both to examine the timedependent behaviour and as the basis of a modified Newton scheme for direct solution of the similarity equations. 

Values of transcendental entire functions at algebraic points. 15:10 Fri 28 Mar, 2008 :: LG29 Napier Building University of Adelaide :: Prof. Eugene Poletsky :: Syracuse University, USA
Algebraic numbers are roots of polynomials with integer coefficients, so their set is countable. All other numbers are called transcendental. Although most numbers are transcendental, it was only in 1873 that Hermite proved that the base $e$ of natural logarithms is not algebraic. The proof was based on the fact that $e$ is the value at 1 of the exponential function $e^z$ which is entire and does not change under differentiation.
This achievement raised two questions: What entire functions take only transcendental values at algebraic points? Also, given an entire transcendental function $f$, describe, or at least find properties of, the set of algebraic numbers where the values of $f$ are also algebraic. The first question, developed by Siegel, Shidlovsky, and others, led to the notion of $E$functions, which have controlled derivatives. Answering the second question, Polya and Gelfond obtained restrictions for entire functions that have integer values at integer points (Polya) or Gaussian integer values at Gaussian integer points (Gelfond). For more general sets of points only counterexamples were known.
Recently D. Coman and the speaker developed new tools for the second question, which give an answer, at least partially, for general entire functions and their values at general sets of algebraic points.
In my talk we will discuss old and new results in this direction. All relevant definitions will be provided and the talk will be accessible to postgraduates and honours students. 

Adaptive Fast Convergence  Towards Optimal Reconstruction Guarantees for Phylogenetic Trees 16:00 Tue 1 Apr, 2008 :: School Board Room :: Schlomo Moran :: Computer Science Department, Technion, Haifa, Israel
One of the central challenges in phylogenetics is to be able to reliably resolve as much of the topology of the evolutionary tree from short taxonsequences. In the past decade much attention has been focused on studying fast converging reconstruction algorithms, which guarantee (w.h.p) correct reconstruction of the entire tree from sequences of nearminimal length (assuming some accepted model of sequence evolution along the tree). The major drawback of these methods is that when the sequences are too short to correctly reconstruct the tree in its entirety, they do not provide any reconstruction guarantee for sufficiently long edges. Specifically, the presence of some very short edges in the model tree may prevent these algorithms from reconstructing even edges of moderate length.
In this talk we present a stronger reconstruction guarantee called "adaptive fast convergence", which provides guarantees for the correct reconstruction of all sufficiently long edges of the original tree. We then present a general technique, which (unlike previous reconstruction techniques) employs dynamic edgecontraction during the reconstruction of the tree. We conclude by demonstrating how this technique is used to achieve adaptive fast convergence. 

Groundwater: using mathematics to solve our water crisis 13:10 Wed 9 Apr, 2008 :: Napier 210 :: Dr Michael Teubner
'The driest state in the driest continent' is how South
Australia used to be described. And that was before the drought! Now
we have severe water restrictions, dead lawns, and dying gardens.
But this need not be the case. Mathematics to the rescue!
Groundwater exists below much of the Adelaide metro area. We can
store winter stormwater in the ground and use it when we need it in
summer. But we need mathematical models to understand where
groundwater exists, where we can inject stormwater and how much
can be stored, and where we can extract it: all through mathematical
models. Come along and see that we don't have a water problem, we
have a water management problem.


Global and Local stationary modelling in finance: Theory and empirical evidence 14:10 Thu 10 Apr, 2008 :: G04 Napier Building University of Adelaide :: Prof. Dominique Guégan :: Universite Paris 1 PantheonSorbonne
To model real data sets using second order stochastic processes imposes that the data sets verify the second order stationarity condition. This stationarity condition concerns the unconditional moments of the process. It is in that context that most of models developed from the sixties' have been studied; We refer to the ARMA processes (Brockwell and Davis, 1988), the ARCH, GARCH and EGARCH models (Engle, 1982, Bollerslev, 1986, Nelson, 1990), the SETAR process (Lim and Tong, 1980 and Tong, 1990), the bilinear model (Granger and Andersen, 1978, Guégan, 1994), the EXPAR model (Haggan and Ozaki, 1980), the long memory process (Granger and Joyeux, 1980, Hosking, 1981, Gray, Zang and Woodward, 1989, Beran, 1994, Giraitis and Leipus, 1995, Guégan, 2000), the switching process (Hamilton, 1988). For all these models, we get an invertible causal solution under specific conditions on the parameters, then the forecast points and the forecast intervals are available.
Thus, the stationarity assumption is the basis for a general asymptotic theory for identification, estimation and forecasting. It guarantees that the increase of the sample size leads to more and more information of the same kind which is basic for an asymptotic theory to make sense.
Now nonstationarity modelling has also a long tradition in econometrics. This one is based on the conditional moments of the data generating process. It appears mainly in the heteroscedastic and volatility models, like the GARCH and related models, and stochastic volatility processes (Ghysels, Harvey and Renault 1997). This nonstationarity appears also in a different way with structural changes models like the switching models (Hamilton, 1988), the stopbreak model (Diebold and Inoue, 2001, Breidt and Hsu, 2002, Granger and Hyung, 2004) and the SETAR models, for instance. It can also be observed from linear models with time varying coefficients (Nicholls and Quinn, 1982, Tsay, 1987).
Thus, using stationary unconditional moments suggest a global stationarity for the model, but using nonstationary unconditional moments or nonstationary conditional moments or assuming existence of states suggest that this global stationarity fails and that we only observe a local stationary behavior.
The growing evidence of instability in the stochastic behavior of stocks, of exchange rates, of some economic data sets like growth rates for instance, characterized by existence of volatility or existence of jumps in the variance or on the levels of the prices imposes to discuss the assumption of global stationarity and its consequence in modelling, particularly in forecasting. Thus we can address several questions with respect to these remarks.
1. What kinds of nonstationarity affect the major financial and economic data sets? How to detect them?
2. Local and global stationarities: How are they defined?
3. What is the impact of evidence of nonstationarity on the statistics computed from the global non stationary data sets?
4. How can we analyze data sets in the nonstationary global framework? Does the asymptotic theory work in nonstationary framework?
5. What kind of models create local stationarity instead of global stationarity? How can we use them to develop a modelling and a forecasting strategy?
These questions began to be discussed in some papers in the economic literature. For some of these questions, the answers are known, for others, very few works exist. In this talk I will discuss all these problems and will propose 2 new stategies and modelling to solve them. Several interesting topics in empirical finance awaiting future research will also be discussed.


The Mathematics of String Theory 15:10 Fri 2 May, 2008 :: LG29 Napier Building University of Adelaide :: Prof. Peter Bouwknegt :: Department of Mathematics, ANU
String Theory has had, and continues to have, a profound impact on
many areas of mathematics and vice versa. In this talk I want to
address some relatively recent developments. In particular I will
argue, following Witten and others, that Dbrane charges take values
in the Ktheory of spacetime, rather than in integral cohomology as
one might have expected. I will also explore the mathematical
consequences of a particular symmetry, called Tduality, in this context.
I will give an intuitive introduction into Dbranes and Ktheory.
No prior knowledge about either String Theory, Dbranes or Ktheory
is required. 

The limits of proof 13:10 Wed 21 May, 2008 :: Napier 210 :: A/Prof Finnur Larusson
Media...The job of the mathematician is to discover new
truths about mathematical objects and their relationships.
Such truths are established by proving them. This raises a
fundamental question. Can every mathematical truth be
proved (by a sufficiently clever being) or are there truths
that will forever lie beyond the reach of proof?
Mathematics can be turned on itself to investigate this
question. In this talk, we will see that under certain
assumptions about proofs, there are truths that cannot be
proved. You must decide for yourself whether you think
these assumptions are valid!


Puzzlebased learning: Introduction to mathematics 15:10 Fri 23 May, 2008 :: LG29 Napier Building University of Adelaide :: Prof. Zbigniew Michalewicz :: School of Computer Science, University of Adelaide
Media...The talk addresses a gap in the educational curriculum for 1st year students by proposing a new course that aims at getting students to think about how to frame and solve unstructured problems. The idea is to increase the student's mathematical awareness and problemsolving skills by discussing a variety of puzzles. The talk makes an argument that this approach  called PuzzleBased Learning  is very beneficial for introducing mathematics, critical thinking, and problemsolving skills.
The new course has been approved by the University of Adelaide for Faculty of Engineering, Computer Science, and Mathematics. Many other universities are in the process of introducing such a course. The course will be offered in two versions: (a) fullsemester course and (b) a unit within general course (e.g. Introduction to Engineering). All teaching materials (power point slides, assignments, etc.) are being prepared. The new textbook (PuzzleBased Learning: Introduction to Critical Thinking, Mathematics, and Problem Solving) will be available from June 2008. The talk provides additional information on this development.
For further information see http://www.PuzzleBasedlearning.edu.au/ 

Computational Methods for Phase Response Analysis of Circadian Clocks 15:10 Fri 18 Jul, 2008 :: G04 Napier Building University of Adelaide. :: Prof. Linda Petzold :: Dept. of Mechanical and Environmental Engineering, University of California, Santa Barbara
Circadian clocks govern daily behaviors of organisms in all kingdoms of life. In mammals, the master clock resides in the suprachiasmatic nucleus (SCN) of the hypothalamus. It is composed of thousands of neurons, each of which contains a sloppy oscillator  a molecular clock governed by a transcriptional feedback network. Via intercellular signaling, the cell population synchronizes spontaneously, forming a coherent oscillation. This multioscillator is then entrained to its environment by the daily light/dark cycle.
Both at the cellular and tissular levels, the most important feature of the clock is its ability not simply to keep time, but to adjust its time, or phase, to signals. We present the parametric impulse phase response curve (pIPRC), an analytical analog to the phase response curve (PRC) used experimentally. We use the pIPRC to understand both the consequences of intercellular signaling and the light entrainment process. Further, we determine which model components determine the phase response behavior of a single oscillator by using a novel model reduction technique. We reduce the number of model components while preserving the pIPRC and then incorporate the resultant model into a couple SCN tissue model. Emergent properties, including the ability of the population to synchronize spontaneously are preserved in the reduction. Finally, we present some mathematical tools for the study of synchronization in a network of coupled, noisy oscillators.


Betti's Reciprocal Theorem for Inclusion and Contact Problems 15:10 Fri 1 Aug, 2008 :: G03 Napier Building University of Adelaide :: Prof. Patrick Selvadurai :: Department of Civil Engineering and Applied Mechanics, McGill University
Enrico Betti (18231892) is recognized in the mathematics community for his pioneering contributions to topology. An equally important contribution is his formulation of the reciprocity theorem applicable to elastic bodies that satisfy the classical equations of linear elasticity. Although James Clerk Maxwell (18311879) proposed a law of reciprocal displacements and rotations in 1864, the contribution of Betti is acknowledged for its underlying formal mathematical basis and generality. The purpose of this lecture is to illustrate how Betti's reciprocal theorem can be used to full advantage to develop compact analytical results for certain contact and inclusion problems in the classical theory of elasticity. Inclusion problems are encountered in number of areas in applied mechanics ranging from composite materials to geomechanics. In composite materials, the inclusion represents an inhomogeneity that is introduced to increase either the strength or the deformability characteristics of resulting material. In geomechanics, the inclusion represents a constructed material region, such as a ground anchor, that is introduced to provide load transfer from structural systems. Similarly, contact problems have applications to the modelling of the behaviour of indentors used in materials testing to the study of foundations used to distribute loads transmitted from structures. In the study of conventional problems the inclusions and the contact regions are directly loaded and this makes their analysis quite straightforward. When the interaction is induced by loads that are placed exterior to the indentor or inclusion, the direct analysis of the problem becomes inordinately complicated both in terns of formulation of the integral equations and their numerical solution. It is shown by a set of selected examples that the application of Betti's reciprocal theorem leads to the development of exact closed form solutions to what would otherwise be approximate solutions achievable only through the numerical solution of a set of coupled integral equations. 

Elliptic equation for diffusionadvection flows 15:10 Fri 15 Aug, 2008 :: G03 Napier Building University of Adelaide :: Prof. Pavel Bedrikovsetsky :: Australian School of Petroleum Science, University of Adelaide.
The standard diffusion equation is obtained by Einstein's method and its generalisation, FokkerPlankKolmogorovFeller theory. The time between jumps in Einstein derivation is constant.
We discuss random walks with residence time distribution, which occurs for flows of solutes and suspensions/colloids in porous media, CO2 sequestration in coal mines, several processes in chemical, petroleum and environmental engineering. The rigorous application of the Einstein's method results in new equation, containing the time and the mixed dispersion terms expressing the dispersion of the particle time steps.
Usually, adding the second time derivative results in additional initial data. For the equation derived, the condition of limited solution when time tends to infinity provides with uniqueness of the Caushy problem solution.
The solution of the pulse injection problem describing a common tracer injection experiment is studied in greater detail. The new theory predicts delay of the maximum of the tracer, compared to the velocity of the flow, while its forward "tail" contains much more particles than in the solution of the classical parabolic (advectiondispersion) equation. This is in agreement with the experimental observations and predictions of the direct simulation.


The Role of Walls in Chaotic Mixing 15:10 Fri 22 Aug, 2008 :: G03 Napier Building University of Adelaide :: Dr JeanLuc Thiffeault :: Department of Mathematics, University of Wisconsin  Madison
I will report on experiments of chaotic mixing in closed and open
vessels, in which a highly viscous fluid is stirred by a moving
rod. In these experiments we analyze quantitatively how the
concentration field of a lowdiffusivity dye relaxes towards
homogeneity, and observe a slow algebraic decay, at odds with the
exponential decay predicted by most previous studies. Visual
observations reveal the dominant role of the vessel wall, which
strongly influences the concentration field in the entire domain and
causes the anomalous scaling. A simplified 1D model supports our
experimental results. Quantitative analysis of the concentration
pattern leads to scalings for the distributions and the variance of
the concentration field consistent with experimental and numerical
results. I also discuss possible ways of avoiding the limiting role
of walls.
This is joint work with Emmanuelle Gouillart, Olivier Dauchot, and
Stephane Roux. 

Probabilistic models of human cognition 15:10 Fri 29 Aug, 2008 :: G03 Napier Building University of Adelaide :: Dr Daniel Navarro :: School of Psychology, University of Adelaide
Over the last 15 years a fairly substantial psychological literature has developed in which human reasoning and decisionmaking is viewed as the solution to a variety of statistical problems posed by the environments in which we operate. In this talk, I briefly outline the general approach to cognitive modelling that is adopted in this literature, which relies heavily on Bayesian statistics, and introduce a little of the current research in this field. In particular, I will discuss work by myself and others on the statistical basis of how people make simple inductive leaps and generalisations, and the links between these generalisations and how people acquire word meanings and learn new concepts. If time permits, the extensions of the work in which complex concepts may be characterised with the aid of nonparametric Bayesian tools such as Dirichlet processes will be briefly mentioned. 

Free surface Stokes flows with surface tension 15:10 Fri 5 Sep, 2008 :: G03 Napier Building University of Adelaide :: Prof. Darren Crowdy :: Imperial College London
In this talk, we will survey a number of different
free boundary problems involving slow viscous (Stokes) flows
in which surface tension is active on the free boundary. Both steady
and unsteady flows will be considered. Motivating applications
range from industrial processes such as viscous sintering (where
endproducts are formed as a result of the surfacetensiondriven densification
of a compact of smaller particles that are heated in order that they
coalesce) to biological phenomena such as understanding how
organisms swim (i.e. propel themselves) at low Reynolds numbers.
Common to our approach to all these problems will be an
analytical/theoretical treatment of model problems via complex variable methods 
techniques wellknown at infinite Reynolds numbers
but used much less often in the Stokes regime. These model
problems can give helpful insights into the behaviour of the true
physical systems. 

Mathematical modelling of blood flow in curved arteries 15:10 Fri 12 Sep, 2008 :: G03 Napier Building University of Adelaide :: Dr Jennifer Siggers :: Imperial College London
Atherosclerosis, characterised by plaques, is the most common arterial
disease. Plaques tend to develop in regions of low mean wall shear
stress, and regions where the wall shear stress changes direction during
the course of the cardiac cycle. To investigate the effect of the
arterial geometry and driving pressure gradient on the wall shear stress
distribution we consider an idealised model of a curved artery with
uniform curvature. We assume that the flow is fullydeveloped and seek
solutions of the governing equations, finding the effect of the
parameters on the flow and wall shear stress distribution. Most
previous work assumes the curvature ratio is asymptotically small;
however, many arteries have significant curvature (e.g. the aortic arch
has curvature ratio approx 0.25), and in this work we consider in
particular the effect of finite curvature.
We present an extensive analysis of curvedpipe flow driven by a steady
and unsteady pressure gradients. Increasing the curvature causes the
shear stress on the inside of the bend to rise, indicating that the risk
of plaque development would be overestimated by considering only the
weak curvature limit. 

The Mechanics of Nanoscale Devices 15:10 Fri 10 Oct, 2008 :: G03 Napier Building University of Adelaide :: Associate Prof. John Sader :: Department of Mathematics and Statistics, The University of Melbourne
Nanomechanical sensors are often used to measure environmental
changes with extreme sensitivity. Controlling the effects of surfaces and
fluid dissipation presents significant challenges to achieving the
ultimate sensitivity in these devices. In this talk, I will give an
overview of theoretical/experimental work we are undertaking to explore
the underlying physical processes in these systems. The talk will be
general and aimed at introducing some recent developments in the field of
nanomechanical sensors. 

Assisted reproduction technology: how maths can contribute 13:10 Wed 22 Oct, 2008 :: Napier 210 :: Dr Yvonne Stokes
Media...Most people will have heard of IVF (in vitro fertilisation), a
technology for helping infertile couples have a baby. Although there are
many IVF babies, many will also know that the success rate is still low
for the cost and inconvenience involved. The fact that some women
cannot make use of IVF because of lifethreatening consequences is less
well known but motivates research into other technologies, including
IVM (in vitro maturation).
What has all this to do with maths? Come along and find out how
mathematical modelling is contributing to understanding and
improvement in this important and interesting field.


Symmetrybreaking and the Origin of Species 15:10 Fri 24 Oct, 2008 :: G03 Napier Building University of Adelaide :: Toby Elmhirst :: ARC Centre of Excellence for Coral Reef Studies, James Cook University
The theory of partial differential equations can say much about generic bifurcations from spatially homogeneous steady states, but relatively little about generic bifurcations from unimodal steady states. In many applications, spatially homogeneous steady states correspond to lowenergy physical states that are destabilized as energy is fed into the system, and in these cases standard PDE theory can yield some impressive and elegant results. However, for many macroscopic biological systems such results are less useful because lowenergy states do not hold the same priviledged position as they do in physical and chemical systems. For example, speciation  the evolutionary process by which new species are formed  can be seen as the destabilization of a unimodal density distribution over phenotype space. Given the diversity of species and environments, generic results are clearly needed, but cannot be gained from PDE theory. Indeed, such questions cannot even be adequately formulated in terms of PDEs. In this talk I will introduce 'Pod Systems' which can provide an answer to the question; 'What happens, generically, when a unimodal steady state loses stability?' In the pod system formalization, the answer involves elements of equivariant bifurcation theory and suggests that new species can arise as the result of broken symmetries. 

Oceanographic Research at the South Australian Research and Development Institute: opportunities for collaborative research 15:10 Fri 21 Nov, 2008 :: Napier G04 :: Associate Prof John Middleton :: South Australian Research and Development Institute
Increasing threats to S.A.'s fisheries and marine environment have underlined the increasing need for soundly based research into the ocean circulation and ecosystems (phyto/zooplankton) of the shelf and gulfs. With support of Marine Innovation SA, the Oceanography Program has within 2 years, grown to include 6 FTEs and a budget of over $4.8M. The program currently leads two major research projects, both of which involve numerical and applied mathematical modelling of oceanic flow and ecosystems as well as statistical techniques for the analysis of data. The first is the implementation of the Southern Australian Integrated Marine Observing System (SAIMOS) that is providing data to understand the dynamics of shelf boundary currents, monitor for climate change and understand the phyto/zooplankton ecosystems that underpin SA's wild fisheries and aquaculture. SAIMOS involves the use of shipbased sampling, the deployment of underwater marine moorings, underwater gliders, HF Ocean RADAR, acoustic tracking of tagged fish and Autonomous Underwater vehicles.
The second major project involves measuring and modelling the ocean circulation and biological systems within Spencer Gulf and the impact on prawn larval dispersal and on the sustainability of existing and proposed aquaculture sites. The discussion will focus on opportunities for collaborative research with both faculty and students in this exciting growth area of S.A. science.


Key Predistribution in GridBased Wireless Sensor Networks 15:10 Fri 12 Dec, 2008 :: Napier G03 :: Dr Maura Paterson :: Information Security Group at Royal Holloway, University of London.
Wireless sensors are small, batterypowered devices that are deployed to
measure quantities such as temperature within a given region, then form
a wireless network to transmit and process the data they collect.
We discuss the problem of distributing symmetric cryptographic keys to
the nodes of a wireless sensor network in the case where the sensors are
arranged in a square or hexagonal grid, and we propose a key
predistribution scheme for such networks that is based on Costas arrays.
We introduce more general structures known as distinctdifference
configurations, and show that they provide a flexible choice of
parameters in our scheme, leading to more efficient performance than
that achieved by prior schemes from the literature. 

Hunting Nonlinear Mathematical Butterflies 15:10 Fri 23 Jan, 2009 :: Napier LG29 :: Prof Nalini Joshi :: University of Sydney
The utility of mathematical models relies on their ability to predict the future from a known set of initial states.
But there are nonlinear systems, like the weather, where future behaviours are unpredictable unless their initial
state is known to infinite precision. This is the butterfly effect. I will show how to analyse functions to overcome
this problem for the classical Painleve equations, differential equations that provide archetypical nonlinear models
of modern physics. 

What on Earth is Computational Advertising? 15:10 Wed 28 Jan, 2009 :: Napier G03 :: Dr John Tomlin :: Yahoo! Research Labs
This talk will begin with a brief introduction to, and
overview of, the topic we have come to call "computational advertising",
by which we mean the algorithmic techniques useful for the optimal
placement, scheduling and context of online advertisements. Such
advertisements encompass a large and growing fraction of the advertising
industry, and, in the forms of display advertising, content match, and
search marketing, bring in a large fraction of the income derived from
the web. In addition to the overview, we give two examples of
optimization models applied to problems in sponsored search and display
advertising. 

On the HenstockKurzweil integral (along with concerns about general math education in Europe) 15:10 Fri 13 Feb, 2009 :: Napier LG28 :: Prof JeanPierre Demailly :: University of Grenoble, France
The talk will be the occasion to take a few minutes to describe the situation of math education in France and in Europe, to motivate the interest of the lecturer in trying to bring back rigorous proofs in integration theory. The remaining 45 minutes will be devoted to explaining the basics of HenstockKurzweil integration theory, which, although not a response to education problems, is a modern and elementary approach of a very strong extension of the Riemann integral, providing easy access to several fundamental results of Lebesgue theory (monotone convergence theorem, existence of Lebesgue measure, etc.). 

Bursts and canards in a pituitary lactotroph model 15:10 Fri 6 Mar, 2009 :: Napier LG29 :: Dr Martin Wechselberger :: University of Sydney
Bursting oscillations in nerve cells have been the focus of a great deal of attention by mathematicians. These are typically studied by taking advantage of multiple timescales in the system under study to perform a singular perturbation analysis. Bursting also occurs in hormonesecreting pituitary cells, but is characterized by fast bursts with small electrical impulses. Although the separation of timescales is not as clear, singular perturbation analysis is still the key to understand the bursting mechanism. In particular, we will show that canards are responsible for the observed oscillatory behaviour. 

Boltzmann's Equations for Suspension Flow in Porous Media and Correction of the Classical Model 15:10 Fri 13 Mar, 2009 :: Napier LG29 :: Prof Pavel Bedrikovetsky :: University of Adelaide
Suspension/colloid transport in porous media is a basic phenomenon in environmental, petroleum and chemical engineering. Suspension of particles moves through porous media and particles are captured by straining or attraction. We revise the classical equations for particle mass balance and particle capture kinetics and show its nonrealistic behaviour in cases of large dispersion and of flowfree filtration. In order to resolve the paradoxes, the porescale model is derived. The model can be transformed to Boltzmann equation with particle distribution over pores. Introduction of sinksource terms into Boltzmann equation results in much more simple calculations if compared with the traditional ChapmanEnskog averaging procedure. Technique of projecting operators in Hilbert space of Fourier images is used. The projection subspace is constructed in a way to avoid dependency of averaged equations on sinksource terms. The averaging results in explicit expressions for particle flux and capture rate. The particle flux expression describes the effect of advective particle velocity decrease if compared with the carrier water velocity due to preferential capture of "slow" particles in small pores. The capture rate kinetics describes capture from either advective or diffusive fluxes. The equations derived exhibit positive advection velocity for any dispersion and particle capture in immobile fluid that resolves the abovementioned paradox.
Finally, we discuss validation of the model for propagation of contaminants in aquifers, for filtration, for potable water production by artesian wells, for formation damage in oilfields. 

From histograms to multivariate polynomial histograms and shape estimation 12:10 Thu 19 Mar, 2009 :: Napier 210 :: A/Prof Inge Koch
Media...Histograms are convenient and easytouse tools for estimating the shape of
data, but they have serious problems which are magnified for multivariate data.
We combine classic histograms with shape estimation by polynomials. The new
relatives, `polynomial histograms', have surprisingly nice mathematical
properties, which we will explore in this talk. We also show how they can be
used for real data of 1020 dimensions to analyse and understand the shape of
these data.


Tummy troubles 12:10 Thu 9 Apr, 2009 :: Napier 210 :: Dr Ben Binder
Media...Hirschsprung's disease is relatively common, affecting roughly
1 in 5000 newly born babies each year in Australia. The disease
occurs when there is an incomplete formation of the nervous system in the gut. Mathematical models can help in determining the underlying
mechanisms that cause the disease. Comparisons between theoretical
predictions and experimental results will be made. 

TBA 15:10 Thu 16 Apr, 2009 :: TBA :: Prof Jonathan Borwein :: University of Newcastle


Multiscale tools for interpreting cell biology data 15:10 Fri 17 Apr, 2009 :: Napier LG29 :: Dr Matthew Simpson :: University of Melbourne
Trajectory data from observations of a random walk process are often used to characterize macroscopic transport coefficients and to infer motility mechanisms in cell biology. New continuum equations describing the average moments of the position of an individual agent in a population of interacting agents are derived and validated. Unlike standard noninteracting random walks, the new moment equations explicitly represent the interactions between agents as they are coupled to the macroscopic agent density. Key issues associated with the validity of the new continuum equations and the interpretation of experimental data will be explored. 

Sloshing in tanks of liquefied natural gas (LNG) vessels 15:10 Wed 22 Apr, 2009 :: Napier LG29 :: Prof. Frederic Dias :: ENS, Cachan
The last scientific conversation I had with Ernie Tuck was on liquid impact. As a matter of fact, we discussed the paper by J.H. Milgram, Journal of Fluid Mechanics 37 (1969), entitled "The motion of a fluid in a cylindrical container with a free surface following vertical impact."
Liquid impact is a key issue in sloshing and in particular in sloshing in tanks of LNG vessels. Numerical simulations of sloshing have been performed by various groups, using various types of numerical methods. In terms of the numerical results, the outcome is often impressive, but the question remains of how relevant these results are when it comes to determining impact pressures. The numerical models are too simplified to reproduce the high variability of the measured pressures. In fact, for the time being, it is not possible to simulate accurately both global and local effects. Unfortunately it appears that local effects predominate over global effects when the behaviour of pressures is considered.
Having said this, it is important to point out that numerical studies can be quite useful to perform sensitivity analyses in idealized conditions such as a liquid mass falling under gravity on top of a horizontal wall and then spreading along the lateral sides. Simple analytical models inspired by numerical results on idealized problems can also be useful to predict trends.
The talk is organized as follows: After a brief introduction on the sloshing problem and on scaling laws, it will be explained to what extent numerical studies can be used to improve our understanding of impact pressures. Results on a liquid mass hitting a wall obtained by a finitevolume code with interface reconstruction as well as results obtained by a simple analytical model will be shown to reproduce the trends of experiments on sloshing.
This is joint work with L. Brosset (GazTransport & Technigaz), J.M. Ghidaglia (ENS Cachan) and J.P. Braeunig (INRIA). 

Dynamics of Moving Average Rules in a Continuoustime Financial Market Model 15:10 Fri 8 May, 2009 :: LG29 :: Associate Prof (Tony) Xuezhong He :: University of Technology Sydney
Within a continuoustime framework, this paper proposes a stochastic
heterogeneous agent model (HAM) of financial markets with time
delays to unify various moving average rules used in discretetime
HAMs. Intuitive conditions for the stability of the fundamental price of
the deterministic model in terms of agents' behavior parameters and
time delay are obtained. By focusing on the stabilizing role of the
time delay, it is found that an increase in time delay not only can
destabilize the market price, resulting in oscillatory market price
characterized by a Hopf bifurcation, but also can stabilize an
otherwise unstable market price. Numerical simulations show that the
stochastic model is able to characterize long deviations of the
market price from its fundamental price and excess volatility and
generate most of the stylized facts observed in financial markets.


Averaging reduction for stochastic PDEs 15:10 Fri 5 Jun, 2009 :: LG29 :: Dr Wei Wang :: University of Adelaide
In this talk, I introduce recent work on macroscopic reduction for stochastic PDEs by an averaging method. Furthermore by using a special coupling boundary conditions, a macroscopic discrete approximation model can be derived. 

Quadrature domains, pLaplacian growth, and bubbles contracting in HeleShaw cells with a powerlaw fluid. 15:10 Mon 15 Jun, 2009 :: Napier LG24 :: Dr Scott McCue :: Queensland University Technology
The classical HeleShaw flow problem is related to Laplacian growth and nullquadrature domains. A generalisation is constructed for powerlaw fluids, governed by the pLaplace equation, and a number of results are established that are analogous to the classical case. Both fluid clearance and bubble extinction is considered, and by considering two extremes of extinction behaviour, a rather complete asymptotic description of possible behaviours is found. 

Strong PredictorCorrector Euler Methods for Stochastic Differential Equations 15:10 Fri 19 Jun, 2009 :: LG29 :: Prof. Eckhard Platen :: University of Technology, Sydney
This paper introduces a new class of numerical
schemes for the pathwise approximation of solutions of stochastic
differential equations (SDEs). The proposed family of strong
predictorcorrector Euler methods are designed to handle scenario
simulation of solutions of SDEs. It has the potential to overcome
some of the numerical instabilities that are often experienced
when using the explicit Euler method. This is of importance, for
instance, in finance where martingale dynamics arise for solutions
of SDEs with multiplicative diffusion coefficients. Numerical
experiments demonstrate the improved asymptotic stability
properties of the proposed symmetric predictorcorrector Euler
methods. 

Dispersing and settling populations in biology 15:10 Tue 23 Jun, 2009 :: Napier G03 :: Prof Kerry Landman :: University of Melbourne
Partial differential equations are used to model populations (such as cells, animals or molecules) consisting of individuals that undergo two important processes: dispersal and settling. I will describe some general characteristics of these systems, as well as some of our recent projects. 

TBA 15:10 Thu 25 Jun, 2009 :: TBA :: Prof Arun Ram :: University of Melbourne


Unsolvable problems in mathematics 15:10 Fri 3 Jul, 2009 :: Badger Labs G13 Macbeth Lecture Theatre :: Prof Greg Hjorth :: University of Melbourne
In the 1900 International Congress of Mathematicians David Hilbert proposed a list of 23 landmark mathematical problems. The first of these problems was shown by Paul Cohen in 1963 to be undecidable—which is to say, in informal language, that it was in principle completely unsolvable. The tenth problem was shown by Yuri Matiyasevich to be unsolvable in 1970.
These developments would very likely have been profoundly surprising, perhaps even disturbing, to Hilbert.
I want to review some of the general history of unsolvable problems. As much as reasonably possible in the time allowed, I hope to give the audience a sense of why the appearance of unsolvable problems in mathematics was inevitable, and perhaps even desirable. 

Quantum Billiards 15:10 Fri 7 Aug, 2009 :: Badger labs G13
Macbeth Lecture Theatre :: Prof Andrew Hassell :: Australian National University
By a "billiard" I mean a bounded plane domain D, with smooth (enough) boundary. Quantum billiards is the study of properties of eigenfunctions of the Laplacian on D, i.e. solutions of $\Delta u = Eu$, where $u$ is a function on D vanishing at the boundary, $\Delta$ is the Laplacian on D and $E$ is a real number, in the limit as $E \to \infty$. This largeE limit is the "classical limit" in which eigenfunctions exhibit behaviour related to the classical billiard system (a billiard ball moving around inside D, bouncing elastically off the boundary).
I will talk about Quantum Ergodicity, which is the property that "most of" the eigenfunctions become uniformly distributed in D, asymptotically as $E \to \infty$, i.e. they are the same size, on average, in all parts of the domain D; and the stronger property of Quantum Unique Ergodicity, which is the same property with the words "most of" deleted. 

Predicting turbulence 12:10 Wed 12 Aug, 2009 :: Napier 210 :: Dr Trent Mattner :: University of Adelaide
Media...Turbulence is characterised by threedimensional unsteady fluid motion over a wide range of spatial and temporal scales. It is important in many problems of technological and scientific interest, such as drag reduction, energy production and climate prediction. In this talk, I will explain why turbulent flows are difficult to predict and describe a modern mathematical model of turbulence based on a random collection of fluid vortices.


From linear algebra to knot theory 15:10 Fri 21 Aug, 2009 :: Badger Labs G13
Macbeth Lecture Theatre :: Prof Ross Street :: Macquarie University, Sydney
Vector spaces and linear functions form our paradigmatic monoidal category. The concepts underpinning linear algebra admit definitions, operations and constructions with analogues in many other parts of mathematics. We shall see how to generalize much of linear algebra to the context of monoidal categories. Traditional examples of such categories are obtained by replacing vector spaces by linear representations of a given compact group or by sheaves of vector spaces. More recent examples come from lowdimensional topology, in particular, from knot theory where the linear functions are replaced by braids or tangles. These geometric monoidal categories are often free in an appropriate sense, a fact that can be used to obtain algebraic invariants for manifolds. 

Modelling fluidstructure interactions in microdevices 15:00 Thu 3 Sep, 2009 :: School Board Room :: Dr Richard Clarke :: University of Auckland
The flows generated in many modern microdevices possess very little convective inertia, however, they can be highly unsteady and exert substantial hydrodynamic forces on the device components. Typically these components exhibit some degree of compliance, which traditionally has been treated using simple onedimensional elastic beam models. However, recent findings have suggested that threedimensional effects can be important and, accordingly, we consider the elastohydrodynamic response of a rapidly oscillating threedimensional elastic plate that is immersed in a viscous fluid. In addition, a preliminary model will be presented which incorporates the presence of a nearby elastic wall. 

Curved pipe flow and its stability 15:10 Fri 11 Sep, 2009 :: Badger labs G13
Macbeth Lecture Theatre :: Dr Richard Clarke :: University of Auckland
The unsteady flow of a viscous fluid through a curved pipe is a widely occuring and well studied problem. The stability of such flows, however, has largely been overlooked; this is in marked contrast to flow through a straightpipe, examination of which forms a cornerstone of hydrodynamic stability theory. Importantly, however, flow through a curved pipe exhibits an array of flow structures that are simply not present in the zero curvature limit, and it is natural to expect these to substantially impact upon the flow's stability. By considering two very different kinds of flows through a curved pipe, we illustrate that this can indeed be the case. 

Statistical analysis for harmonized development of systemic organs in human fetuses 11:00 Thu 17 Sep, 2009 :: School Board Room :: Prof Kanta Naito :: Shimane University
The growth processes of human babies have been studied
sufficiently in scientific fields, but there have still been many issues
about the developments of human fetus which are not clarified. The aim of
this research is to investigate the developing process of systemic organs of
human fetuses based on the data set of measurements of fetus's bodies and
organs. Specifically, this talk is concerned with giving a mathematical
understanding for the harmonized developments of the organs of human
fetuses. The method to evaluate such harmonies is proposed by the use of the
maximal dilatation appeared in the theory of quasiconformal mapping. 

Understanding hypersurfaces through tropical geometry 12:10 Fri 25 Sep, 2009 :: Napier 102 :: Dr Mohammed Abouzaid :: Massachusetts Institute of Technology
Given a polynomial in two or more variables, one may study the
zero locus from the point of view of different mathematical subjects
(number theory, algebraic geometry, ...). I will explain how tropical
geometry allows to encode all topological aspects by elementary
combinatorial objects called "tropical varieties."
Mohammed Abouzaid received a B.S. in 2002 from the University of Richmond, and a Ph.D. in 2007 from the University of Chicago under the supervision of Paul Seidel. He is interested in symplectic topology and its interactions with algebraic geometry and differential topology, in particular the homological mirror symmetry conjecture. Since 2007 he has been a postdoctoral fellow at MIT, and a Clay Mathematics Institute Research Fellow. 

The proof of the Poincare conjecture 15:10 Fri 25 Sep, 2009 :: Napier 102 :: Prof Terrence Tao :: UCLA
In a series of three papers from 20022003, Grigori Perelman gave a spectacular proof of the Poincare Conjecture (every smooth compact simply connected threedimensional manifold is topologically isomorphic to a sphere), one of the most famous open problems in mathematics (and one of the seven Clay Millennium Prize Problems worth a million dollars each), by developing several new groundbreaking advances in Hamilton's theory of Ricci flow on manifolds. In this talk I describe in broad detail how the proof proceeds, and briefly discuss some of the key turning points in the argument.
About the speaker:
Terence Tao was born in Adelaide, Australia, in 1975. He has been a professor of mathematics at UCLA since 1999, having completed his PhD under Elias Stein at Princeton in 1996. Tao's areas of research include harmonic analysis, PDE, combinatorics, and number theory. He has received a number of awards, including the Salem Prize in 2000, the Bochner Prize in 2002, the Fields Medal and SASTRA Ramanujan Prize in 2006, and the MacArthur Fellowship and Ostrowski Prize in 2007. Terence Tao also currently holds the James and Carol Collins chair in mathematics at UCLA, and is a Fellow of the Royal Society and the Australian Academy of Sciences (Corresponding Member). 

Contemporary frontiers in statistics 15:10 Mon 28 Sep, 2009 :: Badger Labs G31 Macbeth Lectrue :: Prof. Peter Hall :: University of Melbourne
The availability of powerful computing equipment has had a dramatic impact on statistical methods and thinking, changing forever the way data are analysed. New data types, larger quantities of data, and new classes of research problem are all motivating new statistical methods. We shall give examples of each of these issues, and discuss the current and future directions of frontier problems in statistics. 

Buildings 15:10 Fri 9 Oct, 2009 :: MacBeth Lecture Theatre :: Prof Guyan Robertson :: University of Newcastle, UK
Buildings were created by J. Tits in order to give a systematic geometric interpretation of simple Lie groups (and of simple algebraic groups). Buildings have since found applications in many areas of mathematics. This talk will give an informal introduction to these beautiful objects. 

Modelling and pricing for portfolio credit derivatives 15:10 Fri 16 Oct, 2009 :: MacBeth Lecture Theatre :: Dr Ben Hambly :: University of Oxford
The current financial crisis has been in part precipitated by the
growth of complex credit derivatives and their mispricing. This talk
will discuss some of the background to the `credit crunch', as well as
the models and methods used currently. We will then develop an alternative
view of large basket credit derivatives, as functions of a stochastic
partial differential equation, which addresses some of the shortcomings. 

Manifold destiny: a talk on water, fire and life 15:10 Fri 6 Nov, 2009 :: MacBeth Lecture Theatre :: Dr Sanjeeva Balasuriya :: University of Adelaide
Manifolds are important entities in dynamical systems, and organise space
into regions in which different motions occur. For example, intersections
between stable and unstable manifolds in discrete systems result in
chaotic motion. This talk will focus on manifolds and their locations in
continuous dynamical systems, and in particular on Melnikov's method and its adaptations for determining the effect of perturbations on manifolds.
The relevance of such adaptations to a surprising range of applications will be shown, in addition to recent theoretical developments inspired by such problems. The applications addressed in this talk include understanding the motion of fluid near oceanic eddies and currents, optimising mixing in nanofluidic devices in order to improve reactions, computing the speed of a flame front, and finding the spreading rate of bacterial colonies. 

This talk has been cancelled 15:10 Fri 27 Nov, 2009 :: TBA :: Prof Ulrich Horst :: HumboldtUniversity, Berlin


A solution to the GromovVaserstein problem 15:10 Fri 29 Jan, 2010 :: Engineering North N 158 Chapman Lecture Theatre :: Prof Frank Kutzschebauch :: University of Berne, Switzerland
Any matrix in $SL_n (\mathbb C)$ can be written as a product of elementary matrices using the Gauss elimination process. If instead of the field of complex numbers, the entries in the matrix are elements of a more general ring, this becomes a delicate question. In particular, rings of complexvalued functions on a space are interesting cases. A deep result of Suslin gives an affirmative answer for the polynomial ring in $m$ variables in case the size $n$ of the matrix is at least 3. In the topological category, the problem was solved by Thurston and Vaserstein. For holomorphic functions on $\mathbb C^m$, the problem was posed by Gromov in the 1980s. We report on a complete solution to Gromov's problem. A main tool is the OkaGrauertGromov hprinciple in complex analysis. Our main theorem can be formulated as follows: In the absence of obvious topological obstructions, the Gauss elimination process can be performed in a way that depends holomorphically on the matrix. This is joint work with Bj\"orn Ivarsson. 

Finite and infinite words in number theory 15:10 Fri 12 Feb, 2010 :: Napier LG28 :: Dr Amy Glen :: Murdoch University
A 'word' is a finite or infinite sequence of symbols (called 'letters') taken from a finite nonempty set (called an 'alphabet'). In mathematics, words naturally arise when one wants to represent elements from some set (e.g., integers, real numbers, padic numbers, etc.) in a systematic way. For instance, expansions in integer bases (such as binary and decimal expansions) or continued fraction expansions allow us to associate with every real number a unique finite or infinite sequence of digits.
In this talk, I will discuss some old and new results in Combinatorics on Words and their applications to problems in Number Theory. In particular, by transforming inequalities between real numbers into (lexicographic) inequalities between infinite words representing their binary expansions, I will show how combinatorial properties of words can be used to completely describe the minimal intervals containing all fractional parts {x*2^n}, for some positive real number x, and for all nonnegative integers n. This is joint work with JeanPaul Allouche (Universite ParisSud, France). 

The exceptional Lie group G_2 and rolling balls 15:10 Fri 19 Feb, 2010 :: Napier LG28 :: Prof Pawel Nurowski :: University of Warsaw
In this talk, after a brief history of how the exceptional Lie group G_2 was discovered, I present various appearances of this group in mathematics. Its physical realisation as a symmetry group of a simple mechanical system will also be discussed. 

Some unusual uses of usual symmetries and some usual uses of unusual symmetries 12:10 Wed 10 Mar, 2010 :: School board room :: Prof Phil Broadbridge :: La Trobe University
Ever since Sophus Lie around 1880, continuous groups of invariance transformations have been used to reduce variables and to construct special solutions of PDEs. I will outline the general ideas, then show some variations on the usual reduction algorithm that I have used to solve some practical nonlinear boundary value problems. Applications include soilwater flow, metal surface evolution and population genetics. 

Nonlinear time series econometrics and financial econometrics: a personal overview 15:10 Fri 12 Mar, 2010 :: Napier G04 :: Prof Jiti Gao :: University of Adelaide
Through using ten examples, the talk focuses on the recent development on nonlinear time series econometrics and financial econometrics.
Such examples cover the following models:
1. Nonlinear time series trend model;
2. Partially linear autoregressive model;
3. Nonlinear capital asset pricing model;
4. Additive capital asset pricing model;
5. Varyingcoefficient capital asset pricing model;
6. Semiparametric errorterm model;
7. Nonlinear and nonstationary model;
8. Partially linear ARCH model;
9. Continuoustime financial model; and
10. Stochastic volatility model. 

Modelling of the Human Skin Equivalent 15:10 Fri 26 Mar, 2010 :: Napier 102 :: Prof Graeme Pettet :: Queensland University of Technology
A brief overview will be given of the development of a so called Human Skin Equivalent Construct. This laboratory grown construct can be used for studying growth, response and the repair of human skin subjected to wounding and/or treatment under strictly regulated conditions. Details will also be provided of a series of mathematical models we have developed that describe the dynamics of the Human Skin Equivalent Construct, which can be used to assist in the development of the experimental protocol, and to provide insight into the fundamental processes at play in the growth and development of the epidermis in both healthy and diseased states. 

Exploratory experimentation and computation 15:10 Fri 16 Apr, 2010 :: Napier LG29 :: Prof Jonathan Borwein :: University of Newcastle
Media...The mathematical research community is facing a great challenge to reevaluate the role of proof in light of the growing power of current computer systems, of modern mathematical computing packages, and of the growing capacity to datamine on the Internet. Add to that the enormous complexity of many modern capstone results such as the Poincare conjecture, Fermat's last theorem, and the Classification of finite simple groups. As the need and prospects for inductive mathematics blossom, the requirement to ensure the role of proof is properly founded remains undiminished. I shall look at the philosophical context with examples and then offer some of five benchmarking examples of the opportunities and challenges we face. 

Mathematical epidemiology with a focus on households 15:10 Fri 23 Apr, 2010 :: Napier G04 :: Dr Joshua Ross :: University of Adelaide
Mathematical models are now used routinely to inform national and global policymakers on issues that threaten human health or which have an adverse impact on the economy. In the first part of this talk I will provide an overview of mathematical epidemiology starting with the classical deterministic model and leading to some of the current challenges. I will then present some of my recently published work which provides computationallyefficient methods for studying a mathematical model incorporating household structure. We will conclude by briefly discussing some "workinprogess" which utilises these methods to address the issues of inference, and mixing pattern and contact structure, for emerging infections. 

Holonomy groups 15:10 Fri 7 May, 2010 :: Napier LG24 :: Dr Thomas Leistner :: University of Adelaide
In the first part of the talk I will illustrate some basic concepts of differential geometry that lead to the notion of a holonomy group. Then I will explain Berger's classification of Riemannian holonomy groups and discuss questions that arose from it. Finally, I will focus on holonomy groups of Lorentzian manifolds and indicate briefly why all this is of relevance to presentday theoretical physics. 

Spot the difference: how to tell when two things are the same (and when they're not!) 13:10 Wed 19 May, 2010 :: Napier 210 :: Dr Raymond Vozzo :: University of Adelaide
Media...High on a mathematician's todo list is classifying objects and structures that arise in mathematics. We see patterns in things and want to know what other sorts of things behave similarly. This poses several problems. How can you tell when two seemingly different mathematical objects are the same? Can you even tell when two seemingly similar mathematical objects are the same? In fact, what does "the same" even mean? How can you tell if two things are the same when you can't even see them! In this talk, we will take a walk through some areas of maths known as algebraic topology and category theory and I will show you some of the ways mathematicians have devised to tell when two things are "the same". 

Whole genome analysis of repetitive DNA 15:10 Fri 21 May, 2010 :: Napier 209 :: Prof David Adelson :: University of Adelaide
The interspersed repeat content of mammalian genomes has been best characterized in human, mouse and cow. We carried out de novo identification of repeated elements in the equine genome and identified previously unknown elements present at low copy number. The equine genome contains typical eutherian mammal repeats. We analysed both interspersed and simple sequence repeats (SSR) genomewide, finding that some repeat classes are spatially correlated with each other as well as with G+C content and gene density. Based on these
spatial correlations, we have confirmed recentlydescribed ancestral vs cladespecific genome territories defined by repeat content. Territories enriched for ancestral repeats tended to be contiguous domains. To determine if these territories were evolutionarily conserved, we compared these results with a similar analysis of the human genome, and observed similar ancestral repeat enriched domains. These results indicate that ancestral, evolutionarily conserved mammalian genome territories can be identified on the basis of repeat content alone. Interspersed repeats of different ages appear to be analogous to geologic strata, allowing identification of ancient vs newly remodelled regions of mammalian genomes. 

The mathematics of theoretical inference in cognitive psychology 15:10 Fri 11 Jun, 2010 :: Napier LG24 :: Prof John Dunn :: University of Adelaide
The aim of psychology in general, and of cognitive psychology in particular, is to construct theoretical accounts of mental processes based on observed changes in performance on one or more cognitive tasks. The fundamental problem faced by the researcher is that these mental processes are not directly observable but must be inferred from changes in performance between different experimental conditions. This inference is further complicated by the fact that performance measures may only be monotonically related to the underlying psychological constructs. Statetrace analysis provides an approach to this problem which has gained increasing interest in recent years. In this talk, I explain statetrace analysis and discuss the set of mathematical issues that flow from it. Principal among these are the challenges of statistical inference and an unexpected connection to the mathematics of oriented matroids. 

The Glass Bead Game 15:10 Fri 25 Jun, 2010 :: Napier G04 :: Prof Arun Ram :: University of Melbourne
This title is taken from the novel of Hermann Hesse. In joint work with A. Kleshchev, we were amused to discover a glass bead game for constructing representations of quiver Hecke algebras (algebras recently defined by KhovanovLauda and Rouquier whose representation theory categorifies quantum groups of KacMoody Lie algebras). In fact, the glass bead game is tantalizingly simple, and may soon be marketed in your local toy store. I will explain how this game works, and some of the fascinating numerology that appears in the scoring of the plays. 

Meteorological drivers of extreme bushfire events in southern Australia 15:10 Fri 2 Jul, 2010 :: Benham Lecture Theatre :: Prof Graham Mills :: Centre for Australian Weather and Climate Research, Melbourne
Bushfires occur regularly during summer in southern Australia, but only a few of these fires become iconic due to their effects, either in terms of loss of life or economic and social cost. Such events include Black Friday (1939), the Hobart fires (1967), Ash Wednesday (1983), the Canberra bushfires (2003), and most recently Black Saturday in February 2009. In most of these events the weather of the day was statistically extreme in terms of heat, (low) humidity, and wind speed, and in terms of antecedent drought. There are a number of reasons for conducting postevent analyses of the meteorology of these events. One is to identify any meteorological circulation systems or dynamic processes occurring on those days that might not be widely or hitherto recognised, to document these, and to develop new forecast or guidance products. The understanding and prediction of such features can be used in the short term to assist in effective management of fires and the safety of firefighters and in the medium range to assist preparedness for the onset of extreme conditions. The results of such studies can also be applied to simulations of future climates to assess the likely changes in frequency of the most extreme fire weather events, and their documentary records provide a resource that can be used for advanced training purposes. In addition, particularly for events further in the past, revisiting these events using reanalysis data sets and contemporary NWP models can also provide insights unavailable at the time of the events.
Over the past few years the Bushfire CRC's Fire Weather and Fire Danger project in CAWCR has studied the mesoscale meteorology of a number of major fire events, including the days of Ash Wednesday 1983, the Dandenong Ranges fire in January 1997, the Canberra fires and the Alpine breakout fires in January 2003, the Lower Eyre Peninsula fires in January 2005 and the Boorabbin fire in December 2007January 2008. Various aspects of these studies are described below, including the structures of dry cold frontal wind changes, the particular character of the cold fronts associated with the most damaging fires in southeastern Australia, and some aspects of how the vertical temperature and humidity structure of the atmosphere may affect the fire weather at the surface.
These studies reveal much about these major events, but also suggest future research directions, and some of these will be discussed.


Adjoint methods for adaptive error control, optimization, and uncertainty quantification 15:10 Fri 16 Jul, 2010 :: Napier G03 :: Dr Varis Carey :: Colorado State University
We give an introduction to the use of adjoint equations (and solutions) for numerical error control and
solution enhancement of PDEs. In addition, the same equations can be used for optimization routines and
uncertainty quantification. We discuss the modification of these methods in the context of
operator splitting and to nonvariational (e.g. finite volume) methods. Finally, we conclude with an application
of the method to the shallow water equations and discuss some of the hurdles that need to be overcome
when extending adjoint methodologies to ocean and atmospheric modeling. 

Mathematica Seminar 15:10 Wed 28 Jul, 2010 :: Engineering Annex 314 :: Kim Schriefer :: Wolfram Research
The Mathematica Seminars 2010 offer an opportunity to experience the applicability, easeofuse, as well as the advancements of Mathematica 7 in education and academic research. These seminars will highlight the latest directions in technical computing with Mathematica, and the impact this technology has across a wide range of academic fields, from maths, physics and biology to finance, economics and business.
Those not yet familiar with Mathematica will gain an overview of the system and discover the breadth of applications it can address, while experts will get firsthand experience with recent advances in Mathematica like parallel computing, digital image processing, pointandclick palettes, builtin curated data, as well as courseware examples. 

Counting lattice points in polytopes and geometry 15:10 Fri 6 Aug, 2010 :: Napier G04 :: Dr Paul Norbury :: University of Melbourne
Counting lattice points in polytopes arises in many areas of pure and applied mathematics. A basic counting problem is this: how many different ways can one give change of 1 dollar into 5,10, 20 and 50 cent coins? This problem counts lattice points in a tetrahedron, and if there also must be exactly 10 coins then it counts lattice points in a triangle. The number of lattice points in polytopes can be used to measure the robustness of a computer network, or in statistics to test independence of characteristics of samples. I will describe the general structure of lattice point counts and the difficulty of calculations. I will then describe a particular lattice point count in which the structure simplifies considerably allowing one to calculate easily. I will spend a brief time at the end describing how this is related to the moduli space of Riemann surfaces. 

Index theory in Mathematics and Physics 15:10 Fri 20 Aug, 2010 :: Napier G04 :: Prof Alan Carey :: Australian National University
This lecture is a personal (and partly historical) overview in nontechnical terms of the topic described in the title, from first year linear algebra to von Neumann algebras. 

A polyhedral model for boron nitride nanotubes 15:10 Fri 3 Sep, 2010 :: Napier G04 :: Dr Barry Cox :: University of Adelaide
The conventional rolledup model of nanotubes does not apply to the very small radii tubes, for which curvature effects become significant. In this talk an existing geometric model for carbon nanotubes proposed by the authors, which accommodates this deficiency and which is based on the exact polyhedral cylindrical structure, is extended to a nanotube structure involving two species of atoms in equal proportion, and in particular boron nitride nanotubes. This generalisation allows the principle features to be included as the fundamental assumptions of the model, such as equal bond length but distinct bond angles and radii between the two species. The polyhedral model is based on the five simple geometric assumptions: (i) all bonds are of equal length, (ii) all bond angles for the boron atoms are equal, (iii) all boron atoms lie at an equal distance from the nanotube axis, (iv) all nitrogen atoms lie at an equal distance from the nanotube axis, and (v) there exists a fixed ratio of pyramidal height H, between the boron species compared with the corresponding height in a symmetric single species nanotube.
Working from these postulates, expressions are derived for the various structural parameters such as radii and bond angles for the two species for specific values of the chiral vector numbers (n,m). The new model incorporates an additional constant of proportionality H, which we assume applies to all nanotubes comprising the same elements and is such that H = 1 for a single species nanotube. Comparison with `ab initio' studies suggest that this assumption is entirely reasonable, and in particular we determine the value H = 0.56\pm0.04 for boron nitride, based on computational results in the literature.
This talk relates to work which is a couple of years old and given time at the end we will discuss some newer results in geometric models developed with our former student Richard Lee (now also at the University of Adelaide as a post doc) and some workinprogress on carbon nanocones.
Note: pyramidal height is our own terminology and will be explained in the talk.


Mathematical Sciences  Student and Industry Program 17:30 Mon 13 Sep, 2010 :: Rumours Cafe Level 6 Union House North Terrace Campus
Are you a professional who works within a relevant sector and wish to share your knowledge and experience with Students? Are you a current Student who is looking for the opportunity to talk to an Industry Professional? Then the Student and Industry Program is for you!
This event aims to provide current students with the opportunity to talk oneonone with past graduates and industry professionals; gaining practical industry knowledge to help define their career goals. Students, industry and the University alike have the opportunity to benefit from the connections made through the program.
Admission is free, but places are limited, so get in early.
Contact Maryanne Noon by Friday 3rd September 2010 with your name, Student ID number and program.
e: maryanne.noon@adelaide.edu.au
p: 8313 0969
Other information
Students are asked to arrive at 5:00pm sharp for a briefing prior to the function. Dress Code: Business Casual.


Totally disconnected, locally compact groups 15:10 Fri 17 Sep, 2010 :: Napier G04 :: Prof George Willis :: University of Newcastle
Locally compact groups occur in many branches of mathematics. Their study falls into two cases: connected groups, which occur as automorphisms of smooth structures such as spheres for example; and totally disconnected groups, which occur as automorphisms of discrete structures such as trees. The talk will give an overview of the currently developing structure theory of totally disconnected locally compact groups.
Techniques for analysing totally disconnected groups will be described that correspond to the familiar Lie group methods used to treat connected groups. These techniques played an essential role in the recent solution of a problem raised by R. Zimmer and G. Margulis concerning commensurated subgroups of arithmetic groups.


Hugs not drugs 15:10 Mon 20 Sep, 2010 :: Ingkarni Wardli B17 :: Dr Scott McCue :: Queensland University of Technology
I will discuss a model for drug diffusion that involves a Stefan problem with a "kinetic undercooling". I like Stefan problems, so I like this model. I like drugs too, but only legal ones of course. Anyway, it turns out that in some parameter regimes, this sophisticated moving boundary problem hardly works better than a simple linear undergraduate model (there's a lesson here for mathematical modelling). On the other hand, for certain polymer capsules, the results are interesting and suggest new means for controlled drug delivery. If time permits, I may discuss certain asymptotic limits that are of interest from a Stefan problem perspective. Finally, I won't bring any drugs with me to the seminar, but I'm willing to provide hugs if necessary. 

The mathematics of smell 15:10 Wed 29 Sep, 2010 :: Ingkarni Wardli 5.57 :: Dr Michael Borgas :: CSIRO Light Metals Flagship; Marine and Atmospheric Research; Centre for Australian Weather and Clim
The sense of smell is important in nature, but the least well understood of our senses. A mathematical model of smell, which combines the transmission of volatileorganiccompound chemical signals (VOCs) on the wind, transduced by olfactory receptors in our noses into neural information, and assembled into our odour perception, is useful. Applications include regulations for odour nuisance, like German VDI protocols for calibrated noses, to the design of modern chemical sensors for extracting information from the environment and even for the perfume industry. This talk gives a broad overview of turbulent mixing in surface layers of the atmosphere, measurements of VOCs with PTRMS (proton transfer reaction mass spectrometers), our noses, and integrated environmental models of the Alumina industry (a source of odour emissions) to help understand the science of smell. 

Explicit numerical simulation of multiphase and confined flows 15:10 Fri 8 Oct, 2010 :: Napier G04 :: Prof Mark Biggs :: University of Adelaide
Simulations in which the system of interest is essentially mimicked are termed explicit numerical simulations (ENS). Direct numerical simulation (DNS) of turbulence is a well known and longstanding example of ENS. Such simulations provide a basis for elucidating fundamentals in a way that is impossible experimentally and formulating and parameterizing engineering models with reduced experimentation. In this presentation, I will first outline the concept of ENS. I will then report a number of ENSbased studies of various multiphase fluid systems and flows in porous media. In the first of these studies, which is concerned with flow of suspensions in porous media accompanied by deposition, ENS is used to demonstrate the significant inadequacies of the classical trajectory models typically used for the study of such problems. In the second study, which is concerned with elucidating the change in binary droplet collision behaviour with Capillary number (Ca) and Reynolds number (Re), a range of collision scenarios are revealed as a function of Ca and Re and it appears that the boundaries between these scenarios in the CaRe space are not distinct but, rather, smeared. In the final study, it is shown that ENS an be used to predict ab initio the hydrodynamic properties of single phase flow through porous media from the Darcy to the turbulent regimes. 

Principal Component Analysis Revisited 15:10 Fri 15 Oct, 2010 :: Napier G04 :: Assoc. Prof Inge Koch :: University of Adelaide
Since the beginning of the 20th century, Principal Component Analysis (PCA) has been an important tool in the analysis of multivariate data. The principal components summarise data in fewer than the original number of variables without losing essential information, and thus allow a split of the data into signal and noise components. PCA is a linear method, based on elegant mathematical theory.
The increasing complexity of data together with the emergence of fast computers in the later parts of the 20th century has led to a renaissance of PCA. The growing numbers of variables (in particular, highdimensional low sample size problems), nonGaussian data, and functional data (where the data are curves) are posing exciting challenges to statisticians, and have resulted in new research which extends the classical theory.
I begin with the classical PCA methodology and illustrate the challenges presented by the complex data that we are now able to collect. The main part of the talk focuses on extensions of PCA: the duality of PCA and the Principal Coordinates of Multidimensional Scaling, Sparse PCA, and consistency results relating to principal components, as the dimension grows. We will also look at newer developments such as Principal Component Regression and Supervised PCA, nonlinear PCA and Functional PCA.


Slippery issues in nano and microscale fluid flows 11:10 Tue 30 Nov, 2010 :: Innova teaching suite B21 :: Dr Shaun C. Hendy :: Victoria University of Wellington
The noslip boundary condition was considered to have been experimentally established for the flow of simple liquids over solid surfaces in the early 20th century. Nonetheless the refinement of a number of measurement techniques has recently led to the observation of nano and microscale violations of the noslip boundary condition by simple fluids flowing over nonwetting surfaces. However it is important to distinguish between intrinsic slip, which arises solely from the chemical interaction between the liquid and a homogeneous, atomically flat surface and effective slip, typically measured in macroscopic experiments, which emerges from the interaction of microscopic chemical heterogeneity, roughness and contaminants.
Here we consider the role of both intrinsic and effective slip boundary conditions in nanoscale and microscale fluid flows using a theoretical approach, complemented by molecular dynamics simulations, and experimental evidence where available. Firstly, we consider nanoscale flows in small capillaries, including carbon nanotubes, where we have developed and solved a generalised LucasWashburn equation that incorporates slip to describe the uptake of droplets. We then consider the general problem of relating effective slip to microscopic intrinsic slip and roughness, and discuss several cases where we have been able to solve this problem analytically. Finally, we look at applications of these results to carbon nanotube growth, selfcleaning surfaces, catalysis, and putting insulation in your roof. 

Arbitrage bounds for weighted variance swap prices 15:05 Fri 3 Dec, 2010 :: Napier LG28 :: Prof Mark Davis :: Imperial College London
This paper builds on earlier work by Davis and Hobson (Mathematical Finance,
2007) giving modelfreeexcept for a 'frictionless markets' assumption
necessary and sufficient conditions for absence of arbitrage given a set of
currenttime put and call options on some underlying asset. Here we suppose
that the prices of a set of put options, all maturing at the same time, are
given and satisfy the conditions for consistency with absence of arbitrage.
We
now add a pathdependent option, specifically a weighted variance swap, to
the
set of traded assets and ask what are the conditions on its time0 price
under
which consistency with absence of arbitrage is maintained. In the present
work,
we work under the extra modelling assumption that the underlying asset price
process has continuous paths. In general, we find that there is always a
non
trivial lower bound to the range of arbitragefree prices, but only in the
case
of a corridor swap do we obtain a finite upper bound. In the case of, say,
the
vanilla variance swap, a finite upper bound exists when there are additional
traded European options which constrain the left wing of the volatility
surface
in appropriate ways. 

O'week welcome lunch 12:00 Thu 24 Feb, 2011 :: 6.52 Ingkarni Wardli
This event gives an opportunity for new students in the School of Mathematical Sciences to meet the school's academic members and students already in the school. 

Heat transfer scaling and emergence of threedimensional flow in horizontal convection 15:10 Fri 25 Feb, 2011 :: Conference Room Level 7 Ingkarni Wardli :: Dr Greg Sheard :: Monash University
Horizontal convecton refers to flows driven by uneven heating on a horizontal forcing boundary. Flows exhibiting these characteristics are prevalent in nature, and include the NorthSouth Hadley circulation within the atmosphere between warmer and more temperate latitudes, as well as ocean currents driven by nonuniform heating via solar radiation.
Here a model for these generic convection flows is established featuring a rectangular enclosure, insulated on the side and top
walls, and driven by a linear temperature gradient applied along the bottom wall. Rayleigh number dependence of heat transfer
through the forcing boundary is computed and compared with theory. Attention is given to transitions in the flow, including the
development of unsteady flow and threedimensional flow: the effect of these transitions on the NusseltRayleigh number scaling exponents is described.


Mathematical modelling in nanotechnology 15:10 Fri 4 Mar, 2011 :: 7.15 Ingkarni Wardli :: Prof Jim Hill :: University of Adelaide
Media...In this talk we present an overview of the mathematical modelling contributions of the Nanomechanics Groups at the Universities of Adelaide and Wollongong. Fullerenes and carbon nanotubes have unique properties, such as low weight, high strength, flexibility, high thermal conductivity and chemical stability, and they have many potential applications in nanodevices. In this talk we first present some new results on the geometric structure of carbon nanotubes and on related nanostructures. One concept that has attracted much attention is the creation of nanooscillators, to produce frequencies in the gigahertz range, for applications such as ultrafast optical filters and nanoantennae. The sliding of an inner shell inside an outer shell of a multiwalled carbon nanotube can generate oscillatory frequencies up to several gigahertz, and the shorter the inner tube the higher the frequency. A C60nanotube oscillator generates high frequencies by oscillating a C60 fullerene inside a singlewalled carbon nanotube. Here we discuss the underlying mechanisms of nanooscillators and using the LennardJones potential together with the continuum approach, to mathematically model the C60nanotube nanooscillator. Finally, three illustrative examples of recent modelling in hydrogen storage, nanomedicine and nanocomputing are discussed. 

Lattices in exotic groups 15:10 Fri 18 Mar, 2011 :: 7.15 Ingkarni Wardli :: Dr Anne Thomas :: University of Sydney
Media...A lattice in a locally compact group G is a discrete subgroup of cofinite volume. Lattices in Lie groups are wellstudied, but little is known about lattices in other, "exotic", locally compact groups. Examples of exotic groups include isometry groups of trees, buildings, polyhedral complexes and CAT(0) spaces, and KacMoody groups. We will survey known results, which include both rigidity and surprising examples of flexibility, and discuss the wide range of tools used to investigate lattices in these nonclassical settings. 

To which extent the model of BlackScholes can be applied in the financial market? 12:10 Mon 21 Mar, 2011 :: 5.57 Ingkarni Wardli :: Ahmed Hamada :: University of Adelaide
Black and Scholes have introduced a new approach to model the stock price dynamics about three decades ago. The so called Black Scholes model seems to be very adapted to the nature of market prices, mainly because the usage of the Brownian motion and the mathematical properties that follow from. Like every theoretical model, put in practice, it does not appear to be flawless, that means that new adaptations and extensions should be made so that engineers and marketers could utilise the Black Scholes models to trade and hedge risk on the market. A more detailed description with application will be given in the talk. 

A mathematical investigation of methane encapsulation in carbon nanotubes. 12:10 Mon 21 Mar, 2011 :: 5.57 Ingkarni Wardli :: Olumide Adisa :: University of Adelaide
I hope we don't have to wait until oil and coal run out before we tackle that."  Thomas Edison, 1931. In a bid to resolve energy issues consistent with Thomas Edison's worries, scientists have been looking at other clean and sustainable sources of energy such as natural gas  methane. In this talk, the interaction between a methane molecule and carbon nanotubes is investigated mathematically, using two different models  first discrete and second, continuous. These models are analyzed to determine the dimensions of the particular nanotubes which will readily suckup methane molecules. The results determine the minimum and maximum interaction energies required for methane encapsulation in different tube sizes, and establish the second model of the methane molecule as a simple and elegant model which might be exploited for other problems. 

Nanotechnology: The mathematics of gas storage in metalorganic frameworks. 12:10 Mon 28 Mar, 2011 :: 5.57 Ingkarni Wardli :: Wei Xian Lim :: University of Adelaide
Have you thought about what sort of car you would be driving in the future? Would it be a hybrid, solar, hydrogen or electric car? I would like to be driving a hydrogen car because my field of research may aid in their development! In my presentation I will introduce you to the world of metalorganic frameworks, which are an exciting new class of materials that have great potential in applications such as hydrogen gas storage. I will also discuss about the mathematical model that I am using to model the performance of metalorganic frameworks based on beryllium. 

Modelling of Hydrological Persistence in the MurrayDarling Basin for the Management of Weirs 12:10 Mon 4 Apr, 2011 :: 5.57 Ingkarni Wardli :: Aiden Fisher :: University of Adelaide
The lakes and weirs along the lower Murray River in Australia are aggregated and
considered as a sequence of five reservoirs. A seasonal Markov chain model for
the system will be implemented, and a stochastic dynamic program will be used to
find optimal release strategies, in terms of expected monetary value (EMV), for
the competing demands on the water resource given the stochastic nature of
inflows. Matrix analytic methods will be used to analyse the system further, and
in particular enable the full distribution of first passage times between any
groups of states to be calculated. The full distribution of first passage times
can be used to provide a measure of the risk associated with optimum EMV
strategies, such as conditional value at risk (CVaR). The sensitivity of the
model, and risk, to changing rainfall scenarios will be investigated. The effect
of decreasing the level of discretisation of the reservoirs will be explored.
Also, the use of matrix analytic methods facilitates the use of hidden states to
allow for hydrological persistence in the inflows. Evidence for hydrological
persistence of inflows to the lower Murray system, and the effect of making
allowance for this, will be discussed. 

Algebraic hypersurfaces arising from Gorenstein algebras 15:10 Fri 8 Apr, 2011 :: 7.15 Ingkarni Wardli :: Associate Prof Alexander Isaev :: Australian National University
Media...To every Gorenstein algebra of finite dimension greater than 1 over a field of characteristic zero, and a projection on its maximal ideal with range equal to the annihilator of the ideal, one can associate a certain algebraic hypersurface lying in the ideal. Such hypersurfaces possess remarkable properties. They can be used, for instance, to help decide whether two given Gorenstein algebras are isomorphic, which for the case of complex numbers leads to interesting consequences in singularity theory. Also, for the case of real numbers such hypersurfaces naturally arise in CRgeometry. In my talk I will discuss these hypersurfaces and some of their applications. 

How to value risk 12:10 Mon 11 Apr, 2011 :: 5.57 Ingkarni Wardli :: Leo Shen :: University of Adelaide
A key question in mathematical finance is: given a future random payoff X, what is its value today? If X represents a loss, one can ask how risky is X. To mitigate risk it must be modelled and quantified. The finance industry has used ValueatRisk and conditional ValueatRisk as measures. However, these measures are not time consistent and ValueatRisk can penalize diversification. A modern theory of risk measures is being developed which is related to solutions of backward stochastic differential equations in continuous time and stochastic difference equations in discrete time.
I first review risk measures used in mathematical finance, including static and dynamic risk measures. I recall results relating to backward stochastic difference equations (BSDEs) associated with a single jump process. Then I evaluate some numerical examples of the solutions of the backward stochastic difference equations and related risk measures. These concepts are new. I hope the examples will indicate how they might be used. 

Why is a pure mathematician working in biology? 15:10 Fri 15 Apr, 2011 :: Mawson Lab G19 lecture theatre :: Associate Prof Andrew Francis :: University of Western Sydney
Media...A pure mathematician working in biology should be a contradiction in
terms. In this talk I will describe how I became interested in working in
biology, coming from an algebraic background. I will also describe some
areas of evolutionary biology that may benefit from an algebraic approach.
Finally, if time permits I will reflect on the sometimes difficult
distinction between pure and applied mathematics, and perhaps venture some
thoughts on mathematical research in general. 

On parameter estimation in population models 15:10 Fri 6 May, 2011 :: 715 Ingkarni Wardli :: Dr Joshua Ross :: The University of Adelaide
Essential to applying a mathematical model to a realworld application is
calibrating the model to data. Methods for calibrating population models
often become computationally infeasible when the populations size (more generally
the size of the state space) becomes large, or other complexities such as
timedependent transition rates, or sampling error, are present. Here we
will discuss the use of diffusion approximations to perform estimation in several
scenarios, with successively reduced assumptions: (i) under the assumption
of stationarity (the process had been evolving for a very long time with
constant parameter values); (ii) transient dynamics (the assumption of stationarity
is invalid, and thus only constant parameter values may be assumed); and, (iii)
timeinhomogeneous chains (the parameters may vary with time) and accounting
for observation error (a sample of the true state is observed). 

The ExtendedDomainEigenfunction Method: making old mathematics work for new problems 15:10 Fri 13 May, 2011 :: 7.15 Ingkarni Wardli :: Prof Stan Miklavcic :: University of South Australia
Media...Standard analytical solutions to elliptic boundary value problems on asymmetric domains are rarely, if ever, obtainable. Several years ago I proposed a solution technique to cope with such complicated domains. It involves the embedding of the original domain into one with simple boundaries where the classical eigenfunction solution approach can be used. The solution in the larger domain, when restricted to the original domain is then the solution of the original boundary value problem. In this talk I will present supporting theory for this idea, some numerical results for the particular case of the Laplace equation and the Stokes flow equations in twodimensions and discuss advantages and limitations of the proposal. 

Change detection in rainfall time series for Perth, Western Australia 12:10 Mon 16 May, 2011 :: 5.57 Ingkarni Wardli :: Farah Mohd Isa :: University of Adelaide
There have been numerous reports that the rainfall in south Western Australia,
particularly around Perth has observed a step change decrease, which is
typically attributed to climate change. Four statistical tests are used to
assess the empirical evidence for this claim on time series from five
meteorological stations, all of which exceed 50 years. The tests used in this
study are: the CUSUM; Bayesian Change Point analysis; consecutive ttest and the
Hotellingâs TÂ²statistic. Results from multivariate Hotellingâs TÂ² analysis are
compared with those from the three univariate analyses. The issue of multiple
comparisons is discussed. A summary of the empirical evidence for the claimed
step change in Perth area is given. 

Statistical challenges in molecular phylogenetics 15:10 Fri 20 May, 2011 :: Mawson Lab G19 lecture theatre :: Dr Barbara Holland :: University of Tasmania
Media...This talk will give an introduction to the ways that mathematics and statistics gets used in the inference of evolutionary (phylogenetic) trees. Taking a modelbased approach to estimating the relationships between species has proven to be an enormously effective, however, there are some tricky statistical challenges that remain. The increasingly plentiful amount of DNA sequence data is a boon, but it is also throwing a spotlight on some of the shortcomings of current best practice particularly in how we (1) assess the reliability of our phylogenetic estimates, and (2) how we choose appropriate models. This talk will aim to give a general introduction this area of research and will also highlight some results from two of my recent PhD students. 

Statistical modelling in economic forecasting: semiparametrically spatiotemporal approach 12:10 Mon 23 May, 2011 :: 5.57 Ingkarni Wardli :: Dawlah Alsulami :: University of Adelaide
How to model spatiotemporal variation of housing prices is an important and challenging problem as it is of vital importance for both investors and policy makersto assess any movement in housing prices. In this seminar I will talk about the proposed model to estimate any movement in housing prices and measure the risk more accurately. 

Where is the best place in Australia to build an enhanced geothermal system? 12:10 Mon 30 May, 2011 :: 5.57 Ingkarni Wardli :: Ms Josephine Varney :: University of Adelaide
This week, my parents will join around 185,000 other Australians, in a significant move towards renewable energy, and install solar panels on the roof of their house. While solar energy is an important and useful form of renewable energy it is not able to provide power all the time.
Opponents of renewable energy maintain that until renewable energy can provide energy all the time, traditional fossilfuel generated power will be required to produce our baseload power.
Geothermal energy is a renewable energy that can provide energy all the time. However, due to its special geological requirements, it can only be produced in a very small number of places in the world.
An Enhanced Geothermal System (EGS) is a new technology which allows geothermal energy to be produced in a much wider range of places than traditional geothermal energy. Currently, there are ten different companies investigating possible EGS sties within Australia. This seminar investigates the question, that all these companies hope they have answered well, 'Where is the best place in Australia for an EGS facility?' 

Priority queueing systems with random switchover times and generalisations of the KendallTakacs equation 16:00 Wed 1 Jun, 2011 :: 7.15 Ingkarni Wardli :: Dr Andrei Bejan :: The University of Cambridge
In this talk I will review existing analytical results for priority queueing
systems with Poisson incoming flows, general service times and a single server
which needs some (random) time to switch between requests of different priority.
Specifically, I will discuss analytical results for the busy period and workload
of such systems with a special structure of switchover times.
The results related to the busy period can be seen as generalisations of the
famous KendallTak\'{a}cs functional equation for $MG1$:
being formulated in terms of LaplaceStieltjes transform, they represent systems
of functional recurrent equations.
I will present a methodology and algorithms of their numerical solution;
the efficiency of these algorithms is achieved by acceleration of the numerical
procedure of solving the classical KendallTak\'{a}cs equation.
At the end I will identify open problems with regard to such systems; these open
problems are mainly related to the modelling of switchover times.


From group action to Kontsevich's SwissCheese conjecture through categorification 15:10 Fri 3 Jun, 2011 :: Mawson Lab G19 :: Dr Michael Batanin :: Macquarie University
Media...The Kontsevich SwissCheese conjecture is a deep generalization of the Deligne conjecture on Hochschild cochains which plays an important role in the deformation quantization theory.
Categorification is a method of thinking about mathematics by replacing set theoretical concepts by some higher dimensional objects. Categorification is somewhat of an art because there is no exact recipe for doing this. It is, however, a very powerful method of understanding (and producing) many deep results starting from simple facts we learned as undergraduate students.
In my talk I will explain how Kontsevich SwissCheese conjecture can be easily understood as a special case of categorification of a very familiar statement: an action of a group G (more generally, a monoid) on a set X is the same as group homomorphism from G to the group of automorphisms of X (monoid of endomorphisms of X in the case of a monoid action). 

Probability density estimation by diffusion 15:10 Fri 10 Jun, 2011 :: 7.15 Ingkarni Wardli :: Prof Dirk Kroese :: University of Queensland
Media...One of the beautiful aspects of Mathematics is that seemingly
disparate areas can often have deep connections. This talk is about
the fundamental connection between probability density estimation,
diffusion processes, and partial differential equations. Specifically,
we show how to obtain efficient probability density estimators by
solving partial differential equations related to diffusion processes.
This new perspective leads, in combination with Fast Fourier
techniques, to very fast and accurate algorithms for density
estimation. Moreover, the diffusion formulation unifies most of the
existing adaptive smoothing algorithms and provides a natural solution
to the boundary bias of classical kernel density estimators. This talk
covers topics in Statistics, Probability, Applied Mathematics, and
Numerical Mathematics, with a surprise appearance of the theta
function. This is joint work with Zdravko Botev and Joe Grotowski. 

Stochastic models of reaction diffusion 15:10 Fri 17 Jun, 2011 :: 7.15 Ingkarni Wardli :: Prof Jon Chapman :: Oxford University
Media...We consider two different position jump processes: (i) a random
walk on a lattice (ii) the Euler scheme for the Smoluchowski
differential equation. Both of these reduce to the diffusion equation as the time step
and size of the jump tend to zero.
We consider the problem of adding chemical reactions to these
processes, both at a surface and in the bulk. We show how the
"microscopic" parameters should be chosen to achieve the correct
"macroscopic" reaction rate. This choice is found to depend on
which stochastic model for diffusion is used. 

Routing in equilibrium 15:10 Tue 21 Jun, 2011 :: 7.15 Ingkarni Wardli :: Dr Timothy Griffin :: University of Cambridge
Media...Some path problems cannot be modelled
using semirings because the associated
algebraic structure is not distributive. Rather
than attempting to compute globally optimal
paths with such structures, it may be sufficient
in some cases to find locally optimal paths 
paths that represent a stable local equilibrium.
For example, this is the type of routing system that
has evolved to connect Internet Service Providers
(ISPs) where link weights implement
bilateral commercial relationships between them.
Previous work has shown that routing equilibria can
be computed for some nondistributive algebras
using algorithms in the BellmanFord family.
However, no polynomial time bound was known
for such algorithms. In this talk, we show that
routing equilibria can be computed using
Dijkstra's algorithm for one class of nondistributive
structures. This provides the first
polynomial time algorithm for computing locally
optimal solutions to path problems. 

Object oriented data analysis 14:10 Thu 30 Jun, 2011 :: 7.15 Ingkarni Wardli :: Prof Steve Marron :: The University of North Carolina at Chapel Hill
Object Oriented Data Analysis is the statistical analysis of populations of complex objects. In the special case of Functional Data Analysis, these data objects are curves, where standard Euclidean approaches, such as principal components analysis, have been very successful. Recent developments in medical image analysis motivate the statistical analysis of populations of more complex data objects which are elements of mildly nonEuclidean spaces, such as Lie Groups and Symmetric Spaces, or of strongly nonEuclidean spaces, such as spaces of treestructured data objects. These new contexts for Object Oriented Data Analysis create several potentially large new interfaces between mathematics and statistics. Even in situations where Euclidean analysis makes sense, there are statistical challenges because of the High Dimension Low Sample Size problem, which motivates a new type of asymptotics leading to nonstandard mathematical statistics. 

Object oriented data analysis of treestructured data objects 15:10 Fri 1 Jul, 2011 :: 7.15 Ingkarni Wardli :: Prof Steve Marron :: The University of North Carolina at Chapel Hill
The field of Object Oriented Data Analysis has made a lot of
progress on the statistical analysis of the variation in populations
of complex objects. A particularly challenging example of this type
is populations of treestructured objects. Deep challenges arise,
which involve a marriage of ideas from statistics, geometry, and
numerical analysis, because the space of trees is strongly
nonEuclidean in nature. These challenges, together with three
completely different approaches to addressing them, are illustrated
using a real data example, where each data point is the tree of blood
arteries in one person's brain. 

Modelling computer network topologies through optimisation 12:10 Mon 1 Aug, 2011 :: 5.57 Ingkarni Wardli :: Mr Rhys Bowden :: University of Adelaide
The core of the Internet is made up of many different computers (called routers) in many different interconnected networks, owned and operated by many different organisations. A popular and important field of study in the past has been "network topology": for instance, understanding which routers are connected to which other routers, or which networks are connected to which other networks; that is, studying and modelling the connection structure of the Internet. Previous study in this area has been plagued by unreliable or flawed experimental data and debate over appropriate models to use. The Internet Topology Zoo is a new source of network data created from the information that network operators make public. In order to better understand this body of network information we would like the ability to randomly generate network topologies resembling those in the zoo. Leveraging previous wisdom on networks produced as a result of optimisation processes, we propose a simple objective function based on possible economic constraints. By changing the relative costs in the objective function we can change the form of the resulting networks, and we compare these optimised networks to a variety of networks found in the Internet Topology Zoo. 

The Selberg integral 15:10 Fri 5 Aug, 2011 :: 7.15 Ingkarni Wardli :: Prof Ole Warnaar :: University of Queensland
Media...In this talk I will give a gentle introduction to the mathematics surrounding the Selberg integral. Selberg's integral, which first appeared in two rather unusual papers by Atle Selberg in the 1940s, has become famous as much for its association with (other) mathematical greats such as Enrico Bombieri and Freeman Dyson as for its importance in algebra (Coxeter groups), geometry (hyperplane arrangements) and number theory (the Riemann hypothesis). In this talk I will review the remarkable history of the Selberg integral and discuss some of its early applications. Time permitting I will end the talk by describing some of my own, ongoing work on Selberg integrals related to Lie algebras. 

AustMS/AMSI Mahler Lecture: Chaos, quantum mechanics and number theory 18:00 Tue 9 Aug, 2011 :: Napier 102 :: Prof Peter Sarnak :: Institute for Advanced Study, Princeton
Media...The correspondence principle in quantum mechanics
is concerned with the relation between a mechanical
system and its quantization.
When the mechanical system are relatively orderly ("integrable"), then this relation is well understood. However when the system is chaotic much less is understood. The key
features already appear and are well illustrated in the simplest systems which we will review. For chaotic systems defined numbertheoretically, much more is understood and the basic problems are connected with central questions in number theory.
The Mahler lectures are a biennial activity organised by the Australian Mathematical Society with the assistance of the Australian Mathematical Sciences Institute.


Dealing with the GCcontent bias in secondgeneration DNA sequence data 15:10 Fri 12 Aug, 2011 :: Horace Lamb :: Prof Terry Speed :: Walter and Eliza Hall Institute
Media...The field of genomics is currently dealing with an explosion of data from socalled
secondgeneration DNA sequencing machines. This is creating many challenges and
opportunities for statisticians interested in the area.
In this talk I will outline the technology and the data flood, and move on to one particular
problem where the technology is used: copynumber analysis.
There we find a novel bias, which, if not dealt with properly, can dominate the signal of
interest. I will describe how we think about and summarize it, and go on to identify a
plausible source of this bias, leading up to a way of removing it.
Our approach makes use of the total variation metric on discrete measures, but apart from
this, is largely descriptive. 

Textbooks go interactive but are they any better? 12:10 Mon 15 Aug, 2011 :: 5.57 Ingkarni Wardli :: Mr Patrick Korbel :: University of Adelaide
Textbooks remain a central part of mathematics lessons in secondary schools. However, while textbooks are still formatted in the traditional way, they are including increasingly more sophisticated software packages to assist teachers and students. I will be demonstrating the different software packages available to students included with two South Australian textbooks. I will talk about how these new features fit into the current classroom environment and some of their potential positives and negatives. I would also like to encourage people to share their own experiences with textbooks, especially if they were used in a novel way or you have experience of mathematics classes in another country. 

Comparing Einstein to Newton via the postNewtonian expansions 15:10 Fri 19 Aug, 2011 :: 7.15 Ingkarni Wardli :: Dr Todd Oliynyk :: Monash University
Media...Einstein's general relativity is presently the most accurate theory of gravity. To completely determine the gravitational field, the Einstein field equations must be solved. These equations are extremely complex and outside of a small set of idealized situations, they are impossible to solve directly. However, to make physical predictions or understand physical phenomena, it is often enough to find approximate solutions that are governed by a simpler set of equations. For example, Newtonian gravity approximates general relativity very well in regimes where the typical velocity of the gravitating matter is small compared to the speed of light. Indeed, Newtonian gravity successfully explains much of the behaviour of our solar system and is a simpler theory of gravity. However, for many situations of interest ranging from binary star systems to GPS satellites, the Newtonian approximation is not accurate enough; general relativistic effects must be included. This desire to include relativistic corrections to Newtonian gravity lead to the development of the postNewtonian expansions. 

Alignment of time course gene expression data sets using Hidden Markov Models 12:10 Mon 5 Sep, 2011 :: 5.57 Ingkarni Wardli :: Mr Sean Robinson :: University of Adelaide
Time course microarray experiments allow for insight into biological processes by measuring gene expression over a time period of interest. This project is concerned with time course data from a microarray experiment conducted on a particular variety of grapevine over the development of the grape berries at a number of different vineyards in South Australia. The aim of the project is to construct a methodology for combining the data from the different vineyards in order to obtain more precise estimates of the underlying behaviour of the genes over the development process. A major issue in doing so is that the rate of development of the grape berries is different at different vineyards.
Hidden Markov models (HMMs) are a well established methodology for modelling time series data in a number of domains and have been previously used for gene expression analysis. Modelling the grapevine data presents a unique modelling issue, namely the alignment of the expression profiles needed to combine the data from different vineyards. In this seminar, I will describe our problem, review HMMs, present an extension to HMMs and show some preliminary results modelling the grapevine data. 

Configuration spaces in topology and geometry 15:10 Fri 9 Sep, 2011 :: 7.15 Ingkarni Wardli :: Dr Craig Westerland :: University of Melbourne
Media...Configuration spaces of points in R^n give a family of interesting geometric objects. They and their variants have numerous applications in geometry, topology, representation theory, and number theory. In this talk, we will review several of these manifestations (for instance, as moduli spaces, function spaces, and the like), and use them to address certain conjectures in number theory regarding distributions of number fields. 

Mathematical modelling of lobster populations in South Australia 12:10 Mon 12 Sep, 2011 :: 5.57 Ingkarni Wardli :: Mr John Feenstra :: University of Adelaide
Just how many lobsters are there hanging around the South Australian coastline? How is this number changing over time? What is the demographic breakdown of this number? And what does it matter? Find out the answers to these questions in my upcoming talk. I will provide a brief flavour of the kinds of quantitative methods involved, showcasing relevant applications of regression, population modelling, estimation, as well as simulation. A product of these analyses are biological performance indicators which are used by government to help decide on fishery controls such as yearly total allowable catch quotas. This assists in maintaining the sustainability of the fishery and hence benefits both the fishers and the lobsters they catch. 

Graph C*algebras 15:10 Fri 16 Sep, 2011 :: 7.15 Ingkarni Wardli :: Dr Aidan Sims :: University of Wollongong
Media...In the late 1990's, KumjianPaskRaeburnRenault introduced the class of graph C*algebras, building on previous work of CuntzKrieger and of EnomotoWatatani in the early 1980's. Since then these C*algebras have been very intensively studied because they are on the one hand very general, and yet on the other hand extremely tractable. In this talk I shall give an overview of what a graph C*algebra is, and of some of the remarkable results about these intriguing objects proved by many mathematicians over the last 15 years. We will not assume any specific background, and all are very welcome to attend. 

Statistical analysis of metagenomic data from the microbial community involved in industrial bioleaching 12:10 Mon 19 Sep, 2011 :: 5.57 Ingkarni Wardli :: Ms Susana SotoRojo :: University of Adelaide
In the last two decades heap bioleaching has become established as a successful commercial option for recovering copper from lowgrade secondary sulfide ores. Geneticsbased approaches have recently been employed in the task of characterizing mineral processing bacteria. Data analysis is a key issue and thus the implementation of adequate mathematical and statistical tools is of fundamental importance to draw reliable conclusions. In this talk I will give a recount of two specific problems that we have been working on. The first regarding experimental design and the latter on modeling composition and activity of the microbial consortium. 

Estimating transmission parameters for the swine flu pandemic 15:10 Fri 23 Sep, 2011 :: 7.15 Ingkarni Wardli :: Dr Kathryn Glass :: Australian National University
Media...Following the onset of a new strain of influenza with pandemic potential, policy makers need specific advice on how fast the disease is spreading, who is at risk, and what interventions are appropriate for slowing transmission. Mathematical models play a key role in comparing interventions and identifying the best response, but models are only as good as the data that inform them. In the early stages of the 2009 swine flu outbreak, many researchers estimated transmission parameters  particularly the reproduction number  from outbreak data. These estimates varied, and were often biased by data collection methods, misclassification of imported cases or as a result of early stochasticity in case numbers. I will discuss a number of the pitfalls in achieving good quality parameter estimates from early outbreak data, and outline how best to avoid them.
One of the early indications from swine flu data was that children were disproportionately responsible for disease spread. I will introduce a new method for estimating agespecific transmission parameters from both outbreak and seroprevalence data. This approach allows us to take account of empirical data on human contact patterns, and highlights the need to allow for asymmetric mixing matrices in modelling disease transmission between age groups. Applied to swine flu data from a number of different countries, it presents a consistent picture of higher transmission from children. 

Estimating disease prevalence in hidden populations 14:05 Wed 28 Sep, 2011 :: B.18 Ingkarni Wardli :: Dr Amber Tomas :: The University of Oxford
Estimating disease prevalence in "hidden" populations such as injecting
drug users or men who have sex with men is an important public health
issue. However, traditional designbased estimation methods are
inappropriate because they assume that a list of all members of the
population is available from which to select a sample. Respondent Driven
Sampling (RDS) is a method developed over the last 15 years for sampling
from hidden populations. Similarly to snowball sampling, it leverages the
fact that members of hidden populations are often socially connected to
one another. Although RDS is now used around the world, there are several
common population characteristics which are known to cause estimates
calculated from such samples to be significantly biased. In this talk I'll
discuss the motivation for RDS, as well as some of the recent developments
in methods of estimation. 

Understanding the dynamics of event networks 15:00 Wed 28 Sep, 2011 :: B.18 Ingkarni Wardli :: Dr Amber Tomas :: The University of Oxford
Within many populations there are frequent communications between
pairs of individuals. Such communications might be emails sent within a
company, radio communications in a disaster zone or diplomatic
communications
between states. Often it is of interest to understand the factors that
drive the observed patterns of such communications, or to study how these
factors are changing over over time. Communications can be thought of as
events
occuring on the edges of a network which connects individuals in the
population.
In this talk I'll present a model for such communications which uses ideas
from
social network theory to account for the complex correlation structure
between
events. Applications to the Enron email corpus and the dynamics of hospital
ward transfer patterns will be discussed. 

Statistical analysis of schoolbased student performance data 12:10 Mon 10 Oct, 2011 :: 5.57 Ingkarni Wardli :: Ms Jessica Tan :: University of Adelaide
Join me in the journey of being a statistician for 15 minutes of your day (if you are not already one) and experience the task of data cleaning without having to get your own hands dirty. Most of you may have sat the Basic Skills Tests when at school or know someone who currently has to do the NAPLAN (National Assessment Program  Literacy and Numeracy) tests. Tests like these assess student progress and can be used to accurately measure school performance. In trying to answer the research question: "what conclusions about student progress and school performance can be drawn from NAPLAN data or data of a similar nature, using mathematical and statistical modelling and analysis techniques?", I have uncovered some interesting results about the data in my initial data analysis which I shall explain in this talk. 

Statistical modelling for some problems in bioinformatics 11:10 Fri 14 Oct, 2011 :: B.17 Ingkarni Wardli :: Professor Geoff McLachlan :: The University of Queensland
Media...In this talk we consider some statistical analyses of data arising in
bioinformatics. The problems include the detection of differential
expression in microarray geneexpression data, the clustering of
timecourse geneexpression data and, lastly, the analysis of
modernday cytometric data. Extensions are considered to the procedures
proposed for these three problems in McLachlan et al. (Bioinformatics, 2006),
Ng et al. (Bioinformatics, 2006), and Pyne et al. (PNAS, 2009), respectively.
The latter references are available at http://www.maths.uq.edu.au/~gjm/. 

On the role of mixture distributions in the modelling of heterogeneous data 15:10 Fri 14 Oct, 2011 :: 7.15 Ingkarni Wardli :: Prof Geoff McLachlan :: University of Queensland
Media...We consider the role that finite mixture distributions have played in the modelling of heterogeneous data, in particular for clustering continuous data via mixtures of normal distributions. A very brief history is given starting with the seminal papers by Day and Wolfe in the sixties before the appearance of the EM algorithm. It was the publication in 1977 of the latter algorithm by Dempster, Laird, and Rubin that greatly stimulated interest in the use of finite mixture distributions to model heterogeneous data. This is because the fitting of mixture models by maximum likelihood is a classic example of a problem that is simplified considerably by the EM's conceptual unification of maximum likelihood estimation from data that can be viewed as being incomplete. In recent times there has been a proliferation of applications in which the number of experimental units n is comparatively small but the underlying dimension p is extremely large as, for example, in microarraybased genomics and other highthroughput experimental approaches. Hence there has been increasing attention given not only in bioinformatics and machine learning, but also in mainstream statistics, to the analysis of complex data in this situation where n is small relative to p. The latter part of the talk shall focus on the modelling of such highdimensional data using mixture distributions. 

Likelihoodfree Bayesian inference: modelling drug resistance in Mycobacterium tuberculosis 15:10 Fri 21 Oct, 2011 :: 7.15 Ingkarni Wardli :: Dr Scott Sisson :: University of New South Wales
Media...A central pillar of Bayesian statistical inference is Monte Carlo integration, which is based on obtaining random samples from the posterior distribution. There are a number of standard ways to obtain these samples, provided that the likelihood function can be numerically evaluated. In the last 10 years, there has been a substantial push to develop methods that permit Bayesian inference in the presence of computationally intractable likelihood functions. These methods, termed ``likelihoodfree'' or approximate Bayesian computation (ABC), are now being applied extensively across many disciplines.
In this talk, I'll present a brief, nontechnical overview of the ideas behind likelihoodfree methods. I'll motivate and illustrate these ideas through an analysis of the epidemiological fitness cost of drug resistance in Mycobacterium tuberculosis. 

Mathematical opportunities in molecular space 15:10 Fri 28 Oct, 2011 :: B.18 Ingkarni Wardli :: Dr Aaron Thornton :: CSIRO
The study of molecular motion, interaction and space at the nanoscale has become a powerful tool in the area of gas separation, storage and conversion for efficient energy solutions. Modeling in this field has typically involved highly iterative computational algorithms such as molecular dynamics, Monte Carlo and quantum mechanics. Mathematical formulae in the form of analytical solutions to this field offer a range of useful and insightful advantages including optimization, bifurcation analysis and standardization. Here we present a few case scenarios where mathematics has provided insight and opportunities for further investigation. 

Quasimodo's Cipher 15:10 Fri 4 Nov, 2011 :: Room change: Horace Lamb lecture theatre :: Dr Burkard Polster :: Monash University
Media...I thought to see the fairies in the fields, but I saw only the evil elephants with their black backs. Woe! How that sight awed me! The elves danced all around and about while I heard voices calling clearly....
Puzzled? Curious? Come and join in the chase for the key to this cipher message, learn about the beautiful mathematics underlying the ancient art of ringing the changes, and find out what all this has to do with juggling. 

Mixing, dynamics, and probability 15:10 Fri 2 Mar, 2012 :: B.21 Ingkarni Wardli :: A/Prof Gary Froyland :: University of New South Wales
Media...Many interesting natural phenomena are hard to predict.
When modelled as a dynamical system, this unpredictability is often the result of rapid separation of nearby trajectories.
Viewing the dynamics as acting on a probability measure, the mixing property states that two measurements (or random variables), evaluated at increasingly separated times, become independent in the timeseparation limit.
Thus, the later measurement becomes increasingly difficult to predict, given the outcome of the earlier measurement.
If this approach to independence occurs exponentially quickly in time, one can profitably use linear operator tools to analyse the dynamics.
I will give an overview of these techniques and show how they can be applied to answer mathematical questions, describe observed behaviour in fluid mixing, and analyse models of the ocean and atmosphere. 

IGA Workshop: The mathematical implications of gaugestring dualities 09:30 Mon 5 Mar, 2012 :: 7.15 Ingkarni Wardli :: Prof Rajesh Gopakumar :: HarishChandra Research Institute
Media...Lecture series by Rajesh Gopakumar (HarishChandra Research Institute). The lectures will be supplemented by talks by other invited speakers. 

String Theory and the Quest for Quantum Spacetime 15:10 Fri 9 Mar, 2012 :: Ligertwood 333 Law Lecture Theatre 2 :: Prof Rajesh Gopakumar :: HarishChandra Research Institute
Media...Space and time together constitute one of the most basic
elements of physical reality. Since Einstein spacetime has become an
active participant in the dynamics of the gravitational force.
However, our notion of a quantum spacetime is still rudimentary.
String theory, building upon hints provided from the physics of black
holes, seems to be suggesting a very novel, "holographic" picture of
what quantum spacetime might be. This relies on some very surprising
connections of gravity with quantum field theories (which provide the
framework for the description of the other fundamental interactions of
nature). In this talk, I will try and convey some of the flavour of
these connections as well as its significance. 

Forecasting electricity demand distributions using a semiparametric additive model 15:10 Fri 16 Mar, 2012 :: B.21 Ingkarni Wardli :: Prof Rob Hyndman :: Monash University
Media...Electricity demand forecasting plays an important role in shortterm load allocation and longterm planning for future generation facilities and transmission augmentation. Planners must adopt a probabilistic view of potential peak demand levels, therefore density forecasts (providing estimates of the full probability distributions of the possible future values of the demand) are more helpful than point forecasts, and are necessary for utilities to evaluate and hedge the financial risk accrued by demand variability and forecasting uncertainty.
Electricity demand in a given season is subject to a range of uncertainties, including underlying population growth, changing technology, economic conditions, prevailing weather conditions (and the timing of those conditions), as well as the general randomness inherent in individual usage. It is also subject to some known calendar effects due to the time of day, day of week, time of year, and public holidays.
I will describe a comprehensive forecasting solution designed to take all the available information into account, and to provide forecast distributions from a few hours ahead to a few decades ahead. We use semiparametric additive models to estimate the relationships between demand and the covariates, including temperatures, calendar effects and some demographic and economic variables. Then we forecast the demand distributions using a mixture of temperature simulation, assumed future economic scenarios, and residual bootstrapping. The temperature simulation is implemented through a new seasonal bootstrapping method with variable blocks.
The model is being used by the state energy market operators and some electricity supply companies to forecast the probability distribution of electricity demand in various regions of Australia. It also underpinned the Victorian Vision 2030 energy strategy. 

The entropy of an overlapping dynamical system 15:10 Fri 23 Mar, 2012 :: Napier G03 :: Prof Michael Barnsley :: Australian National University
Media...The term "overlapping" refers to a certain fairly simple type of piecewise continuous function from the unit interval to itself and also to a fairly simple type of iterated function system (IFS) on the unit interval. A correspondence between these two classes of objects is used to:
1. find a necessary and sufficient condition for a fractal transformation from the attractor of one overlapping IFS to the attractor of another overlapping IFS to be a homeomorphism and
2. find a formula for the topological entropy of the dynamical system associated with an overlapping function.
These results suggest a new method for analysing clocks, weather systems and prime numbers. 

The mechanics of plant root growth 15:10 Fri 30 Mar, 2012 :: B.21 Ingkarni Wardli :: Dr Rosemary Dyson :: University of Birmingham
Media...Growing plant cells undergo rapid axial elongation with negligible
radial expansion: high internal turgor pressure causes viscous
stretching of the cell wall. We represent the cell wall as a thin
fibrereinforced viscous sheet, providing insight into the geometric and
biomechanical parameters underlying bulk quantities such as wall
extensibility and showing how either dynamical changes in material
properties, achieved through changes in the cellwall microstructure, or
passive fibre reorientation may suppress cell elongation. We then
investigate how the action of enzymes on the cell wall microstructure
can lead to the required dynamic changes in macroscale wall material
properties, and thus demonstrate a mechanism by which hormones may
regulate plant growth.


Fasttrack study of viscous flow over topography using 'Smoothed Particle Hydrodynamics' 12:10 Mon 16 Apr, 2012 :: 5.57 Ingkarni Wardli :: Mr Stephen Wade :: University of Adelaide
Media...Motivated by certain tea room discussions, I am going to (attempt to) model the flow of a viscous fluid under gravity over conical topography. The method used is 'Smoothed Particle Hydrodynamics' (SPH), which is an easytouse but perhaps limitedaccuracy computational method. The model could be extended to include solidification and thermodynamic effects that can also be implemented within the framework of SPH, and this has the obvious practical application to the modelling of the coverage of ice cream with ice magic, I mean, lava flows.
If I fail to achieve this within the next 4 weeks, I will have to go through a talk on SPH that I gave during honours instead. 

What is a selfsimilar group? 15:10 Fri 20 Apr, 2012 :: B.21 Ingkarni Wardli :: Dr Murray Elder :: University of Newcastle
Media...I will give a brief introduction to the theory of
selfsimilar groups, focusing on a couple of pertinent examples:
Grigorchuk's group of intermediate growth, and the basilica group.


Spatialpoint data sets and the Polya distribution 15:10 Fri 27 Apr, 2012 :: B.21 Ingkarni Wardli :: Dr Benjamin Binder :: The University of Adelaide
Media...Spatialpoint data sets, generated from a wide range of
physical systems and mathematical
models, can be analyzed by counting the number of objects in equally
sized bins. We find that the bin
counts are related to the Polya distribution. New indexes are
developed which quantify whether or not a
spatial data set is at its most evenly distributed state. Using three
case studies (Lagrangian fluid particles in chaotic laminar
flows, cellular automata agents in discrete models, and biological
cells within colonies),
we calculate the indexes and predict the spatialstate of the system. 

Mathematical modelling of the surface adsorption for methane on carbon nanostructures 12:10 Mon 30 Apr, 2012 :: 5.57 Ingkarni Wardli :: Mr Olumide Adisa :: University of Adelaide
Media...In this talk, methane (CH4) adsorption is investigated on both graphite and in the region between two aligned singlewalled carbon nanotubes, which we refer to as the groove site. The LennardâJones potential function and the continuous approximation is exploited to determine surface binding energies between a single CH4 molecule and graphite and between a single CH4 and two aligned singlewalled carbon nanotubes. The modelling indicates that for a CH4 molecule interacting with graphite, the binding energy of the system is minimized when the CH4 carbon is 3.83 angstroms above the surface of the graphitic carbon, while the binding energy of the CH4âgroove site system is minimized when the CH4 carbon is 5.17 angstroms away from the common axis shared by the two aligned singlewalled carbon nanotubes. These results confirm the current view that for larger groove sites, CH4 molecules in grooves are likely to move towards the outer surfaces of one of the singlewalled carbon nanotubes. The results presented in this talk are computationally efficient and are in good agreement with experiments and molecular dynamics simulations, and show that CH4 adsorption on graphite and groove surfaces is more favourable at lower temperatures and higher pressures. 

Multiscale models of collective cell behaviour: Linear or nonlinear diffusion? 15:10 Fri 4 May, 2012 :: B.21 Ingkarni Wardli :: Dr Matthew Simpson :: Queensland University of Technology
Media...Continuum diffusion models are often used to represent the collective motion of cell populations. Most previous studies have simply used linear diffusion to represent collective cell spreading, while others found that degenerate nonlinear diffusion provides a better match to experimental cell density profiles. There is no guidance available in the mathematical biology literature with regard to which approach is more appropriate. Furthermore, there is no knowledge of particular experimental measurements that can be made to distinguish between situations where these two models are appropriate. We provide a link between individualbased and continuum models using a multiscale approach in which we analyse the collective motion of a population of interacting agents in a generalized latticebased exclusion process. For round agents that occupy a single lattice site, we find that the relevant continuum description is a linear diffusion equation, whereas for elongated rodshaped agents that occupy L adjacent lattice sites we find that the relevant continuum description is a nonlinear diffusion equation related to the porous media equation. We show that there are several reasonable approaches for dealing with agent size effects, and that these different approaches are related mathematically through the concept of mean action time. We extend our results to consider proliferation and travelling waves where greater care must be taken to ensure that the continuum model replicates the discrete process. This is joint work with Dr Ruth Baker (Oxford) and Dr Scott McCue (QUT). 

Index type invariants for twisted signature complexes 13:10 Fri 11 May, 2012 :: Napier LG28 :: Prof Mathai Varghese :: University of Adelaide
AtiyahPatodiSinger proved an index theorem for nonlocal boundary conditions
in the 1970's that has been widely used in mathematics and mathematical physics.
A key application of their theory gives the index theorem for signature operators on
oriented manifolds with boundary. As a consequence, they defined certain secondary
invariants that were metric independent. I will discuss some recent work with Benameur
where we extend the APS theory to signature operators twisted by an odd degree closed
differential form, and study the corresponding secondary invariants. 

Modelling protective antitumour immunity using a hybrid agentbased and delay differential equation approach 15:10 Fri 11 May, 2012 :: B.21 Ingkarni Wardli :: Dr Peter Kim :: University of Sydney
Media...Although cancers seem to consistently evade current medical treatments, the body's immune defences seem quite effective at controlling incipient tumours. Understanding how our immune systems provide such protection against earlystage tumours and how this protection could be lost will provide insight into designing nextgeneration immune therapies against cancer. To engage this problem, we formulate a mathematical model of the immune response against small, incipient tumours. The model considers the initial stimulation of the immune response in lymph nodes and the resulting immune attack on the tumour and is formulated as a hybrid agentbased and delay differential equation model. 

Change detection in rainfall times series for Perth, Western Australia 12:10 Mon 14 May, 2012 :: 5.57 Ingkarni Wardli :: Ms Farah Mohd Isa :: University of Adelaide
Media...There have been numerous reports that the rainfall in south Western Australia,
particularly around Perth has observed a step change decrease, which is
typically attributed to climate change. Four statistical tests are used to
assess the empirical evidence for this claim on time series from five
meteorological stations, all of which exceed 50 years. The tests used in this
study are: the CUSUM; Bayesian Change Point analysis; consecutive ttest and the
Hotelling's T^2statistic. Results from multivariate Hotelling's T^2 analysis are
compared with those from the three univariate analyses. The issue of multiple
comparisons is discussed. A summary of the empirical evidence for the claimed
step change in Perth area is given. 

Unknot recognition and the elusive polynomial time algorithm 15:10 Fri 18 May, 2012 :: B.21 Ingkarni Wardli :: Dr Benjamin Burton :: The University of Queensland
Media...What do practical topics such as linear programming and greedy
heuristics have to do with theoretical problems such as unknot
recognition and the Poincare conjecture? In this talk we explore new
approaches to old and difficult computational problems from geometry and
topology: how to tell whether a loop of string is knotted, or whether a
3dimensional space has no interesting topological features. Although
the best known algorithms for these problems run in exponential time,
there is increasing evidence that a polynomial time solution might be
possible. We outline several promising approaches in which
computational geometry, linear programming and greedy algorithms all
play starring roles. 

The change of probability measure for jump processes 12:10 Mon 28 May, 2012 :: 5.57 Ingkarni Wardli :: Mr Ahmed Hamada :: University of Adelaide
Media...In financial derivatives pricing theory, it is very common to change the probability measure from historical measure "real world" into a RiskNeutral measure as a development of the non arbitrage condition.
Girsanov theorem is the most known example of this technique and is used when prices randomness is modelled by Brownian motions. Other genuine candidates for modelling market randomness that have proved efficiency in recent literature are jump process, so how can a change of measure be performed for such processes?
This talk will address this question by introducing the non arbitrage condition, discussing Girsanov theorem for diffusion and jump processes and presenting a concrete example. 

Enhancing the Jordan canonical form 15:10 Fri 1 Jun, 2012 :: B.21 Ingkarni Wardli :: A/Prof Anthony Henderson :: The University of Sydney
Media...In undergraduate linear algebra, we teach the Jordan canonical form theorem:
that every similarity class of n x n complex matrices contains a special
matrix which is blockdiagonal with each block having a very simple form (a single eigenvalue repeated down the diagonal,
ones on the superdiagonal, and zeroes elsewhere). This is of course very
useful for matrix calculations.
After explaining some of the general context of this result,
I will focus on a case which, despite its close proximity to the Jordan
canonical form theorem, has only recently been worked out: the classification
of pairs of a vector and a matrix.


Model turbulent floods based upon the Smagorinski large eddy closure 12:10 Mon 4 Jun, 2012 :: 5.57 Ingkarni Wardli :: Mr Meng Cao :: University of Adelaide
Media...Rivers, floods and tsunamis are often very turbulent. Conventional models of such environmental fluids are typically based on depthaveraged inviscid irrotational flow equations. We explore changing such a base to the turbulent Smagorinski large eddy closure. The aim is to more appropriately model the fluid dynamics of such complex environmental fluids by using such a turbulent closure. Large changes in fluid depth are allowed. Computer algebra constructs the slow manifold of the flow in terms of the fluid depth h and the mean turbulent lateral velocities u and v. The major challenge is to deal with the nonlinear stress tensor in the Smagorinski closure. The model integrates the effects of inertia, selfadvection, bed drag, gravitational forcing and turbulent dissipation with minimal assumptions. Although the resultant model is close to established models, the real outcome is creating a sound basis for the modelling so others, in their modelling of more complex situations, can systematically include more complex physical processes. 

Adventures with group theory: counting and constructing polynomial invariants for applications in quantum entanglement and molecular phylogenetics 15:10 Fri 8 Jun, 2012 :: B.21 Ingkarni Wardli :: Dr Peter Jarvis :: The University of Tasmania
Media...In many modelling problems in mathematics and physics, a standard
challenge is dealing with several repeated instances of a system under
study. If linear transformations are involved, then the machinery of
tensor products steps in, and it is the job of group theory to control how
the relevant symmetries lift from a single system, to having many copies.
At the level of group characters, the construction which does this is
called PLETHYSM.
In this talk all this will be contextualised via two case studies:
entanglement invariants for multipartite quantum systems, and Markov
invariants for tree reconstruction in molecular phylogenetics. By the end
of the talk, listeners will have understood why Alice, Bob and Charlie
love Cayley's hyperdeterminant, and they will know why the three squangles
 polynomial beasts of degree 5 in 256 variables, with a modest 50,000
terms or so  can tell us a lot about quartet trees! 

IGA Workshop: Dendroidal sets 14:00 Tue 12 Jun, 2012 :: Ingkarni Wardli B17 :: Dr Ittay Weiss :: University of the South Pacific
Media...A series of four 2hour lectures by Dr. Ittay Weiss.
The theory of dendroidal sets was introduced by Moerdijk and Weiss in 2007 in the study of homotopy operads in algebraic topology. In the five years that have past since then several fundamental and highly nontrivial results were established. For instance, it was established that dendroidal sets provide models for homotopy operads in a way that extends the JoyalLurie approach to homotopy categories. It can be shown that dendroidal sets provide new models in the study of nfold loop spaces. And it is very recently shown that dendroidal sets model all connective spectra in a way that extends the modeling of certain spectra by Picard groupoids.
The aim of the lecture series will be to introduce the concepts mentioned above, present the elementary theory, and understand the scope of the results mentioned as well as discuss the potential for further applications. Sources for the course will include the article "From Operads to Dendroidal Sets" (in the AMS volume on mathematical foundations of quantum field theory (also on the arXiv)) and the lecture notes by Ieke Moerdijk "simplicial methods for operads and algebraic geometry" which resulted from an advanced course given in Barcelona 3 years ago.
No prior knowledge of operads will be assumed nor any knowledge of homotopy theory that is more advanced then what is required for the definition of the fundamental group. The basics of the language of presheaf categories will be recalled quickly and used freely. 

Notions of noncommutative metric spaces; why and how 15:10 Fri 15 Jun, 2012 :: B.21 Ingkarni Wardli :: Dr Ittay Weiss :: The University of the South Pacific
Media...The classical notion of metric space includes the axiom of symmetry: d(x,y)=d(y,x). Some applications of metric techniques to problems in computer graphics, concurrency, and physics (to mention a few) are seriously stressing the limitations imposed by symmetry, resulting in various relaxations of it. I will review some of the motivating problems that seem to require nonsymmetry and then review some of the suggested models to deal with the problem. My review will be critical to the topological implications (which are often unpleasant) of some of the models and I will present metric 1spaces, a new notion of generalized metric spaces. 

Three Minute Thesis 14:00 Mon 2 Jul, 2012 :: B.21 Ingkarni Wardli
Media...This session will feature the The School of Mathematical Sciences Three Minute Thesis competition. Each postgraduate participating will have three minutes to explain their thesis at a level appropriate for a nonspecialist audience. The competition is open to all postgraduates within the School. All staff are welcome to attend. 

Inquirybased learning: yesterday and today 15:30 Mon 9 Jul, 2012 :: Ingkarni Wardli B19 :: Prof Ron Douglas :: Texas A&M University
Media...The speaker will report on a project to develop and promote approaches to mathematics instruction closely related to the Moore method  methods which are called inquirybased learning  as well as on his personal experience of the Moore method. For background, see the speaker's article in the May 2012 issue of the Notices of the American Mathematical Society. To download the article, click on "Media" above. 

2012 AMSISSAI Lecture: Approximate Bayesian computation (ABC): advances and limitations 11:00 Fri 13 Jul, 2012 :: Engineering South S112 :: Prof Christian Robert :: Universite ParisDauphine
Media...The lack of closed form likelihoods has been the bane of Bayesian computation for many years and, prior to the introduction of MCMC methods, a strong impediment to the propagation of the Bayesian paradigm. We are now facing models where an MCMC completion of the model towards closedform likelihoods seems unachievable and where a further degree of approximation appears unavoidable. In this talk, I will present the motivation for approximative Bayesian computation (ABC) methods, the consistency results already available, the various Monte Carlo implementations found in the current literature, as well as the inferential, rather than computational, challenges set by these methods. A recent advance based on empirical likelihood will also be discussed. 

The Four Colour Theorem 11:10 Mon 23 Jul, 2012 :: B.17 Ingkarni Wardli :: Mr Vincent Schlegel :: University of Adelaide
Media...Arguably the most famous problem in discrete mathematics, the Four Colour Theorem was first conjectured in 1852 by South African mathematician Francis Guthrie.
For 124 years, it defied many attempts to prove and disprove it.
I will talk briefly about some of the rich history of this result, including some of the graphtheoretic techniques used in the 1976 AppelHaken proof.


Geometry  algebraic to arithmetic to absolute 15:10 Fri 3 Aug, 2012 :: B.21 Ingkarni Wardli :: Dr James Borger :: Australian National University
Media...Classical algebraic geometry is about studying solutions to systems of polynomial equations with complex coefficients. In arithmetic algebraic geometry, one digs deeper and studies the arithmetic properties of the solutions when the coefficients are rational, or even integral. From the usual point of view, it's impossible to go deeper than this for the simple reason that no smaller rings are available  the integers have no proper subrings. In this talk, I will explain how an emerging subject, lambdaalgebraic geometry, allows one to do just this and why one might care. 

The fundamental theorems of invariant theory, classical and quantum 15:10 Fri 10 Aug, 2012 :: B.21 Ingkarni Wardli :: Prof Gus Lehrer :: The University of Sydney
Media... Let V = C^n, and let (,) be a nondegenerate bilinear form
on V , which is either symmetric or antisymmetric. Write G for the isometry
group of (V , (,)); thus G = O_n (C) or Sp_n (C). The first fundamental
theorem (FFT) provides a set of generators for End_G(V^{\otimes r} ) (r = 1, 2, . . . ),
while the second fundamental theorem (SFT) gives all relations among the
generators. In 1937, Brauer formulated the FFT in terms of his celebrated
'Brauer algebra' B_r (\pm n), but there has hitherto been no similar version of
the SFT. One problem has been the generic nonsemisimplicity of B_r (\pm n),
which caused H Weyl to call it, in his work on invariants 'that enigmatic
algebra'. I shall present a solution to this problem, which shows that there is
a single idempotent in B_r (\pm n), which describes all the relations. The proof
is through a new 'Brauer category', in which the fundamental theorems are
easily formulated, and where a calculus of tangles may be used to prove these
results. There are quantum analogues of the fundamental theorems which I
shall also discuss. There are numerous applications in representation theory,
geometry and topology. This is joint work with Ruibin Zhang. 

Aircooled binary Rankine cycle performance with varying ambient temperature 12:10 Mon 13 Aug, 2012 :: B.21 Ingkarni Wardli :: Ms Josephine Varney :: University of Adelaide
Media...Next month, I have to give a presentation in Reno, Nevada to a group of geologists, engineers and geophysicists. So, for this talk, I am going to ask you to pretend you know very little about maths (and perhaps a lot about geology) and give me some feedback on my proposed talk.
The presentation itself, is about the effect of aircooling on geothermal power plant performance. Aircooling is necessary for geothermal plays in dry areas, and ambient air temperature significantly aï¬ects the power output of aircooled geothermal power plants. Hence, a method for determining the effect of ambient air temperature on geothermal power plants is presented. Using the ambient air temperature distribution from Leigh Creek, South Australia, this analysis shows that an optimally designed plant produces 6% more energy annually than a plant designed using the mean ambient temperature. 

Differential topology 101 13:10 Fri 17 Aug, 2012 :: Engineering North 218 :: Dr Nicholas Buchdahl :: University of Adelaide
Much of my recent research been directed at a problem in the
theory of compact complex surfacestrying to fill in a gap
in the EnriquesKodaira classification.
Attempting to classify some collection of mathematical
objects is a very common activity for pure mathematicians,
and there are many wellknown examples of successful
classification schemes; for example, the classification of
finite simple groups, and the classification of simply
connected topological 4manifolds.
The aim of this talk will be to illustrate how techniques
from differential geometry can be used to classify compact
surfaces. The level of the talk will be very elementary, and
the material is all very well known, but it is sometimes
instructive to look back over simple cases of a general
problem with the benefit of experience to gain greater
insight into the more general and difficult cases. 

Continuous random walk models for solute transport in porous media 15:10 Fri 17 Aug, 2012 :: B.21 Ingkarni Wardli :: Prof Pavel Bedrikovetski :: The University of Adelaide
Media...The classical diffusion (thermal conductivity) equation was derived from the Master random walk equation and is parabolic. The main assumption was a probabilistic distribution of the jump length while the jump time is constant. Distribution of the jump time along with the jump length adds the second time derivative into the averaged equations, but the equation becomes ... elliptic! Where from to take an extra initial condition? We discuss how to pose the wellposed flow problem, exact 1d solution and numerous engineering applications. This is joint work with A. Shapiro and H. Yuan. 

Infectious diseases modelling: from biology to public health policy 15:10 Fri 24 Aug, 2012 :: B.20 Ingkarni Wardli :: Dr James McCaw :: The University of Melbourne
Media...The mathematical study of humantohuman transmissible pathogens has
established itself as a complementary methodology to the traditional
epidemiological approach. The classic susceptibleinfectiousrecovered
model paradigm has been used to great effect to gain insight into the
epidemiology of endemic diseases such as influenza and pertussis, and
the emergence of novel pathogens such as SARS and pandemic influenza.
The modelling paradigm has also been taken within the host and used to
explain the withinhost dynamics of viral (or bacterial or parasite)
infections, with implications for our understanding of infection,
emergence of drug resistance and optimal druginterventions.
In this presentation I will provide an overview of the mathematical
paradigm used to investigate both biological and epidemiological
infectious diseases systems, drawing on case studies from influenza,
malaria and pertussis research. I will conclude with a summary of how
infectious diseases modelling has assisted the Australian government in
developing its pandemic preparedness and response strategies.


Two classes of network structures that enable efficient information transmission 15:10 Fri 7 Sep, 2012 :: B.20 Ingkarni Wardli :: A/Prof Sanming Zhou :: The University of Melbourne
Media...What network topologies should we use in order to achieve efficient information transmission? Of course answer to this question depends on how we measure efficiency of information dissemination. If we measure it by the minimum gossiping time under the storeandforward, allport and fullduplex model, we show that certain Cayley graphs associated with Frobenius groups are `perfect' in a sense. (A Frobenius group is a permutation group which is transitive but not regular such that only the identity element can fix two points.) Such graphs are also optimal for alltoall routing in the sense that the maximum load on edges achieves the minimum. In this talk we will discuss this theory of optimal network design. 

Geometric quantisation in the noncompact setting 13:10 Fri 14 Sep, 2012 :: Engineering North 218 :: Dr Peter Hochs :: Leibniz University, Hannover
Traditionally, the geometric quantisation of an action by a compact Lie group on a compact symplectic manifold is defined as the equivariant index of a certain Dirac operator. This index is a welldefined formal difference of finitedimensional representations, since the Dirac operator is elliptic and the manifold and the group in question are compact. From a mathematical and physical point of view however, it is very desirable to extend geometric quantisation to noncompact groups and manifolds. Defining a suitable index is much harder in the noncompact setting, but several interesting results in this direction have been obtained. I will review the difficulties connected to noncompact geometric quantisation, and some of the solutions that have been proposed so far, mainly in connection to the "quantisation commutes with reduction" principle. (An introduction to this principle will be given in my talk at the Colloquium on the same day.)


Quantisation commutes with reduction 15:10 Fri 14 Sep, 2012 :: B.20 Ingkarni Wardli :: Dr Peter Hochs :: Leibniz University Hannover
Media...The "Quantisation commutes with reduction" principle is an idea from physics, which has powerful applications in mathematics. It basically states that the ways in which symmetry can be used to simplify a physical system in classical and quantum mechanics, are compatible. This provides a strong link between the areas in mathematics used to describe symmetry in classical and quantum mechanics: symplectic geometry and representation theory, respectively. It has been proved in the 1990s that quantisation indeed commutes with reduction, under the important assumption that all spaces and symmetry groups involved are compact. This talk is an introduction to this principle and, if time permits, its mathematical relevance. 

Electrokinetics of concentrated suspensions of spherical particles 15:10 Fri 28 Sep, 2012 :: B.21 Ingkarni Wardli :: Dr Bronwyn BradshawHajek :: University of South Australia
Electrokinetic techniques are used to gather specific information about concentrated dispersions such as electronic inks, mineral processing slurries, pharmaceutical products and biological fluids (e.g. blood). But, like most experimental techniques, intermediate quantities are measured, and consequently the method relies explicitly on theoretical modelling to extract the quantities of experimental interest. A selfconsistent cellmodel theory of electrokinetics can be used to determine the electrical conductivity of a dense suspension of spherical colloidal particles, and thereby determine the quantities of interest (such as the particle surface potential). The numerical predictions of this model compare well with published experimental results. High frequency asymptotic analysis of the cellmodel leads to some interesting conclusions. 

Towards understanding fundamental interactions for nanotechnology 15:10 Fri 5 Oct, 2012 :: B.20 Ingkarni Wardli :: Dr Doreen Mollenhauer :: MacDiarmid Institute for Advanced Materials and Nanotechnology, Wellington
Media...Multiple simultaneous interactions show unique collective properties that are qualitatively different from properties displayed by their monovalent constituents. Multivalent interactions play an important role for the selforganization of matter, recognition processes and signal transduction. A broad understanding of these interactions is therefore crucial in order to answer central questions and make new developments in the field of biotechnology and material science. In the framework of a joint experimental and theoretical project we study the electronic effects in monovalent and multivalent interactions by doing quantum chemical calculations. The particular interest of our investigations is in organic molecules interacting with gold nanoparticles or graphene. The main purpose is to analyze the nature of multivalent bonding in comparison to monovalent interaction. 

Complex analysis in low Reynolds number hydrodynamics 15:10 Fri 12 Oct, 2012 :: B.20 Ingkarni Wardli :: Prof Darren Crowdy :: Imperial College London
Media...It is a wellknown fact that the methods of complex analysis provide great advantage
in studying physical problems involving a harmonic field satisfying Laplace's equation.
One example is in ideal fluid mechanics (infinite Reynolds number)
where the absence of viscosity, and the
assumption of zero vorticity, mean that it is possible to introduce a socalled
complex potential  an analytic function from which all physical quantities of
interest can be inferred.
In the opposite limit of zero Reynolds number flows which are slow and viscous
and the governing fields are not harmonic
it is much less common to employ the methods of complex analysis
even though they continue to be relevant in certain circumstances.
This talk will give an overview of a variety of problems involving slow viscous Stokes
flows where complex analysis can be usefully employed to gain theoretical
insights. A number of example problems will be considered including
the locomotion of lowReynoldsnumber microorganisms and microrobots,
the friction properties of superhydrophobic surfaces in microfluidics and
problems of viscous sintering and the manufacture of microstructured optic fibres (MOFs). 

Moduli spaces of instantons in algebraic geometry and physics 15:10 Fri 19 Oct, 2012 :: B.20 Ingkarni Wardli :: Prof Ugo Bruzzo :: International School for Advanced Studies Trieste
Media...I will give a quick introduction to the notion of instanton, stressing its role in physics and in mathematics.
I will also show how algebraic geometry provides powerful tools to study the geometry of the moduli spaces of instantons. 

AD Model Builder and the estimation of lobster abundance 12:10 Mon 22 Oct, 2012 :: B.21 Ingkarni Wardli :: Mr John Feenstra :: University of Adelaide
Media...Determining how many millions of lobsters reside in our waters and how it changes over time is a central aim of lobster stock assessment. ADMB is powerful optimisation software to model and solve complex nonlinear problems using automatic differentiation and plays a major role in SA and worldwide in fisheries stock assessment analyses. In this talk I will provide a brief description of an example modelling problem, key features and use of ADMB. 

Epidemic models in socially structured populations: when are simple models too simple? 14:00 Thu 25 Oct, 2012 :: 5.56 Ingkarni Wardli :: Dr Lorenzo Pellis :: The University of Warwick
Both age and household structure are recognised as important heterogeneities affecting epidemic spread of infectious pathogens, and many models exist nowadays that include either or both forms of heterogeneity. However, different models may fit aggregate epidemic data equally well and nevertheless lead to different predictions of public health interest. I will here present an overview of stochastic epidemic models with increasing complexity in their social structure, focusing in particular on households models. For these models, I will present recent results about the definition and computation of the basic reproduction number R0 and its relationship with other threshold parameters. Finally, I will use these results to compare models with no, either or both age and household structure, with the aim of quantifying the conditions under which each form of heterogeneity is relevant and therefore providing some criteria that can be used to guide model design for realtime predictions. 

Epidemic models in socially structured populations: when are simple models too simple? 14:00 Thu 25 Oct, 2012 :: 5.56 Ingkarni Wardli :: Dr Lorenzo Pellis :: The University of Warwick
Both age and household structure are recognised as important heterogeneities affecting epidemic spread of infectious pathogens, and many models exist nowadays that include either or both forms of heterogeneity. However, different models may fit aggregate epidemic data equally well and nevertheless lead to different predictions of public health interest. I will here present an overview of stochastic epidemic models with increasing complexity in their social structure, focusing in particular on households models. For these models, I will present recent results about the definition and computation of the basic reproduction number R0 and its relationship with other threshold parameters. Finally, I will use these results to compare models with no, either or both age and household structure, with the aim of quantifying the conditions under which each form of heterogeneity is relevant and therefore providing some criteria that can be used to guide model design for realtime predictions. 

Thinfilm flow in helicallywound channels with small torsion 15:10 Fri 26 Oct, 2012 :: B.21 Ingkarni Wardli :: Dr Yvonne Stokes :: University of Adelaide
The study of flow in open helicallywound channels has application to many natural and industrial flows. We will consider laminar flow down helicallywound channels of rectangular cross section and with small torsion, in which the fluid depth is small. Assuming a steadystate flow that is independent of position along the axis of the channel, the flow solution may be determined in the twodimensional cross section of the channel. A thinfilm approximation yields explicit expressions for the fluid velocity in terms of the freesurface shape. The latter satisfies an interesting nonlinear ordinary differential equation that, for a channel of rectangular cross section, has an analytical solution. The predictions of the thinfilm model are shown to be in good agreement with much more computationally intensive solutions of the smallhelixtorsion NavierStokes equations.
This work has particular relevance to spiral particle separators used in the minerals processing industry. Early work on modelling of particleladen thinfilm flow in spiral channels will also be discussed. 

Thinfilm flow in helicallywound channels with small torsion 15:10 Fri 26 Oct, 2012 :: B.21 Ingkarni Wardli :: Dr Yvonne Stokes :: University of Adelaide
The study of flow in open helicallywound channels has application to many natural and industrial flows. We will consider laminar flow down helicallywound channels of rectangular cross section and with small torsion, in which the fluid depth is small. Assuming a steadystate flow that is independent of position along the axis of the channel, the flow solution may be determined in the twodimensional cross section of the channel. A thinfilm approximation yields explicit expressions for the fluid velocity in terms of the freesurface shape. The latter satisfies an interesting nonlinear ordinary differential equation that, for a channel of rectangular cross section, has an analytical solution. The predictions of the thinfilm model are shown to be in good agreement with much more computationally intensive solutions of the smallhelixtorsion NavierStokes equations.
This work has particular relevance to spiral particle separators used in the minerals processing industry. Early work on modelling of particleladen thinfilm flow in spiral channels will also be discussed. 

Fair and Loathing in State Parliament 12:10 Mon 29 Oct, 2012 :: B.21 Ingkarni Wardli :: Mr Casey Briggs :: University of Adelaide
Media...The South Australian electoral system has a history of bias, malapportionment and perceived unfairness. These days, it is typical of most systems across Australia, except with one major difference  a specific legislated criterion designed to force the system to be 'fair'. In reality, fairness is a hard concept to define, and an even harder concept to enforce.
In this talk I will briefly take you through the history of South Australian electoral reform, the current state of affairs and my proposed research. There will be very little in the way of rigorous mathematics.
No knowledge of politics is assumed, but an understanding of the process of voting would be useful. 

Numerical Free Probability: Computing Eigenvalue Distributions of Algebraic Manipulations of Random Matrices 15:10 Fri 2 Nov, 2012 :: B.20 Ingkarni Wardli :: Dr Sheehan Olver :: The University of Sydney
Media...Suppose that the global eigenvalue distributions
of two large random matrices A and B are known. It is a
remarkable fact that, generically, the eigenvalue distribution
of A + B and (if A and B are positive definite) A*B are
uniquely determined from only the eigenvalue distributions
of A and B; i.e., no information about eigenvectors are
required. These operations on eigenvalue distributions
are described by free probability theory. We construct a
numerical toolbox that can efficiently and reliably
calculate these operations with spectral accuracy, by
exploiting the complex analytical framework that underlies
free probability theory.


Interaction of doublestranded DNA inside singlewalled carbon nanotubes 12:10 Mon 5 Nov, 2012 :: B.21 Ingkarni Wardli :: Mr Mansoor Alshehri :: University of Adelaide
Media...Here we investigate the interaction of deoxyribonucleic acid (DNA) inside
single walled carbon nanotubes (SWCNTs). Using classical applied mathematical
modeling, we derive explicit analytical expressions for the encapsulation of
DNA inside singlewalled carbon nanotubes. We adopt the 612 LennardJones
potential function together with the continuous approach to determine the
preferred minimum energy position of the dsDNA molecule inside a singlewalled
carbon nanotube, so as to predict its location with reference to the cross
section of the carbon nanotube. An analytical expression is obtained in terms
of hypergeometric functions, which provides a computationally rapid procedure
to determine critical numerical values. 

Dynamics of microbial populations from a copper sulphide leaching heap 12:30 Mon 12 Nov, 2012 :: B.21 Ingkarni Wardli :: Ms Susana Soto Rojo :: University of Adelaide
Media...We are interested in the dynamics of the microbial population from a copper sulphide bioleaching heap. The composition of the microbial consortium is closely related to the kinetics of the oxidation processes that lead to copper recovery. Using a nonlinear model, which considers the effect of substrate depletion and incorporates spatial dependence, we analyse adjacent strips correlation, patterns of microbial succession, relevance of pertinent physicchemical parameters and the implications of the absence of barriers between the three lifts of the heap. We also explore how the dynamics of the microbial community relate to the mineral composition of the individual strips of the bioleaching pile. 

Modern trends in dynamo theory 15:10 Fri 16 Nov, 2012 :: B.20 Ingkarni Wardli :: Prof Michael Proctor :: University of Cambridge
Media...Dynamo action is the process by which magnetic fields in astrophysical bodies (and recently, laboratory fluids) are maintained against resistive losses by Faraday induction. For many years a favoured model of this process, known as meanfield electrodynamics, has been widely used to produce tractable models. I shall present a critique of this theory and contrast it it with another dynamo process (small scale dynamo action) that does not, unlike meanfield electrodynamics, rely on broken reflection symmetry or scale separation. Finally, I shall talk about very recent rigorous results concerning the Archontis dynamo, in which the magnetic and velocity fields are closely aligned.


Asymptotic independence of (simple) twodimensional Markov processes 15:10 Fri 1 Mar, 2013 :: B.18 Ingkarni Wardli :: Prof Guy Latouche :: Universite Libre de Bruxelles
Media...The onedimensional birthand death model is one of the basic processes in applied probability but difficulties appear as one moves to higher dimensions. In the positive recurrent case, the situation is singularly simplified if the stationary distribution has productform. We investigate the conditions under which this property holds, and we show how to use the knowledge to find productform approximations for otherwise unmanageable random walks. This is joint work with Masakiyo Miyazawa and Peter Taylor. 

Twistor theory and the harmonic hull 15:10 Fri 8 Mar, 2013 :: B.18 Ingkarni Wardli :: Prof Michael Eastwood :: Australian National University
Media...Harmonic functions are realanalytic and so automatically extend as functions of complex variables. But how far do they extend? This question may be answered by twistor theory, the Penrose transform, and associated conformal geometry. Nothing will be supposed about such matters: I shall base the constructions on an elementary yet mysterious formula of Bateman from 1904. This is joint work with Feng Xu. 

A multiscale approach to reactiondiffusion processes in domains with microstructure 15:10 Fri 15 Mar, 2013 :: B.18 Ingkarni Wardli :: Prof Malte Peter :: University of Augsburg
Media...Reactiondiffusion processes occur in many materials with microstructure such as biological cells, steel or concrete. The main difficulty in modelling and simulating accurately such processes is to account for the fine microstructure of the material. One method of upscaling multiscale problems, which has proven reliable for obtaining feasible macroscopic models, is the method of periodic homogenisation.
The talk will give an introduction to multiscale modelling of chemical mechanisms in domains with microstructure as well as to the method of periodic homogenisation. Moreover, a few aspects of solving the resulting systems of equations numerically will also be discussed. 

Einstein's special relativity beyond the speed of light 14:10 Mon 18 Mar, 2013 :: 7.15 Ingkarni Wardli :: Prof. Jim Hill :: School of Mathematical Sciences
Media...We derive extended Lorentz transformations between inertial frames for relative velocities greater than the speed of light, and which are complementary to the Lorentz transformation giving rise to the Einstein special theory of relativity. The new transformations arise from the same mathematical framework as the Lorentz transformation, displaying singular behaviour when the relative velocity approaches the speed of light and generating the same addition law for velocities, but most importantly, do not involve the need to introduce imaginary masses or complicated physics to provide welldefined expressions. 

How fast? Bounding the mixing time of combinatorial Markov chains 15:10 Fri 22 Mar, 2013 :: B.18 Ingkarni Wardli :: Dr Catherine Greenhill :: University of New South Wales
Media...A Markov chain is a stochastic process which is "memoryless",
in that the next state of the chain depends only on the current state,
and not on how it got there. It is a classical result that an ergodic
Markov chain has a unique stationary distribution.
However, classical theory does not provide any information on the rate of
convergence to stationarity. Around 30 years ago, the mixing time of
a Markov chain was introduced to measure the number of steps required
before the distribution of the chain is within some small distance of
the stationary distribution. One reason why this is important is that
researchers in areas such as physics and biology use Markov chains to
sample from large sets of interest. Rigorous bounds on the mixing time
of their chain allows these researchers to have confidence in their results.
Bounding the mixing time of combinatorial Markov chains can be a challenge, and there are only a few approaches available. I will discuss the main methods and give examples for each (with pretty pictures). 

A stability theorem for elliptic Harnack inequalities 15:10 Fri 5 Apr, 2013 :: B.18 Ingkarni Wardli :: Prof Richard Bass :: University of Connecticut
Media...Harnack inequalities are an important tool in probability theory,
analysis, and partial differential equations. The classical Harnack
inequality is just the one you learned in your graduate complex analysis
class, but there have been many extensions, to different spaces, such as
manifolds, fractals, infinite graphs, and to various sorts of elliptic operators.
A landmark result was that of Moser in 1961, where he proved the Harnack
inequality for solutions to a class of partial differential equations.
I will talk about the stability of Harnack inequalities. The main result
says that if the Harnack inequality holds for an operator on a space,
then the Harnack inequality will also hold for a large class of other operators
on that same space. This provides a generalization of the result of Moser. 

A glimpse at the Langlands program 15:10 Fri 12 Apr, 2013 :: B.18 Ingkarni Wardli :: Dr Masoud Kamgarpour :: University of Queensland
Media...Abstract: In the late 1960s, Robert Langlands made a series of surprising conjectures relating fundamental concepts from number theory, representation theory, and algebraic geometry. Langlands' conjectures soon developed into a highprofile international research program known as the Langlands program. Many fundamental problems, including the ShimuraTaniyamaWeil conjecture (partially settled by Andrew Wiles in his proof of the Fermat's Last Theorem), are particular cases of the Langlands program. In this talk, I will discuss some of the motivation and results in this program. 

The boundary conditions for macroscale modelling of a discrete diffusion system with periodic diffusivity 12:10 Mon 29 Apr, 2013 :: B.19 Ingkarni Wardli :: Chen Chen :: University of Adelaide
Media...Many mathematical and engineering problems have a multiscale nature. There are a vast of theories supporting multiscale modelling on infinite domain, such as homogenization theory and centre manifold theory. To date, there are little consideration of the correct boundary conditions to be used at the edge of macroscale model. In this seminar, I will present how to derive macroscale boundary conditions for the diffusion system. 

Models of cellextracellular matrix interactions in tissue engineering 15:10 Fri 3 May, 2013 :: B.18 Ingkarni Wardli :: Dr Ed Green :: University of Adelaide
Media...Tissue engineers hope in future to be able to grow functional tissues in vitro to replace those that are damaged by injury, disease, or simple wear and tear. They use cell culture methods, such as seeding cells within collagen gels, that are designed to mimic the cells' environment in vivo. Amongst other factors, it is clear that mechanical interactions between cells and the extracellular matrix (ECM) in which they reside play an important role in tissue development. However, the mechanics of the ECM is complex, and at present, its role is only partly understood. In this talk, I will present mathematical models of some simple cellECM interaction problems, and show how they can be used to gain more insight into the processes that regulate tissue development. 

Filtering Theory in Modelling the Electricity Market 12:10 Mon 6 May, 2013 :: B.19 Ingkarni Wardli :: Ahmed Hamada :: University of Adelaide
Media...In mathematical finance, as in many other fields where applied mathematics is a powerful tool, we assume that a model is good enough when it captures different sources of randomness affecting the quantity of interests, which in this case is the electricity prices. The power market is very different from other markets in terms of the randomness sources that can be observed in the prices feature and evolution. We start from suggesting a new model that simulates the electricity prices, this new model is constructed by adding a periodicity term, a jumps terms and a positives mean reverting term. The later term is driven by a nonobservable Markov process. So in order to prices some financial product, we have to use some of the filtering theory to deal with the nonobservable process, these techniques are gaining very much of interest from practitioners and researchers in the field of financial mathematics. 

Neuronal excitability and canards 15:10 Fri 10 May, 2013 :: B.18 Ingkarni Wardli :: A/Prof Martin Wechselberger :: University of Sydney
Media...The notion of excitability was first introduced in an attempt to understand firing properties of neurons. It was Alan Hodgkin who identified three basic types (classes) of excitable axons (integrator, resonator and differentiator) distinguished by their different responses to injected steps of currents of various amplitudes.
Pioneered by Rinzel and Ermentrout, bifurcation theory explains repetitive (tonic) firing patterns for adequate steady inputs in integrator (type I) and resonator (type II) neuronal models. In contrast, the dynamic behavior of differentiator (type III) neurons cannot be explained by standard dynamical systems theory. This third type of excitable neuron encodes a dynamic change in the input and leads naturally to a transient response of the neuron.
In this talk, I will show that "canards"  peculiar mathematical creatures  are well suited to explain the nature of transient responses of neurons due to dynamic (smooth) inputs. I will apply this geometric theory to a simple driven FitzHughNagumo/MorrisLecar type neural model and to a more complicated neural model that describes paradoxical excitation due to propofol anesthesia. 

Progress in the prediction of buoyancyaffected turbulence 15:10 Fri 17 May, 2013 :: B.18 Ingkarni Wardli :: Dr Daniel Chung :: University of Melbourne
Media...Buoyancyaffected turbulence represents a significant challenge to our
understanding, yet it dominates many important flows that occur in the
ocean and atmosphere. The presentation will highlight some recent progress
in the characterisation, modelling and prediction of buoyancyaffected
turbulence using direct and largeeddy simulations, along with implications
for the characterisation of mixing in the ocean and the lowcloud feedback
in the atmosphere. Specifically, direct numerical simulation data of
stratified turbulence will be employed to highlight the importance of
boundaries in the characterisation of turbulent mixing in the ocean. Then,
a subgridscale model that captures the anisotropic character of stratified
mixing will be developed for largeeddy simulation of buoyancyaffected
turbulence. Finally, the subgridscale model is utilised to perform a
systematic largeeddy simulation investigation of the archetypal lowcloud
regimes, from which the link between the lowertropospheric stability
criterion and the cloud fraction interpreted. 

Multiscale modelling couples patches of wavelike simulations 12:10 Mon 27 May, 2013 :: B.19 Ingkarni Wardli :: Meng Cao :: University of Adelaide
Media...A multiscale model is proposed to significantly reduce the expensive numerical simulations of complicated waves over large spatial domains. The multiscale model is built from given microscale simulations of complicated physical processes such as sea ice or turbulent shallow water. Our long term aim is to enable macroscale simulations obtained by coupling small patches of simulations together over large physical distances. This initial work explores the coupling of patch simulations of wavelike pdes. With the line of development being to water waves we discuss the dynamics of two complementary fields called the 'depth' h and 'velocity' u. A staggered grid is used for the microscale simulation of the depth h and velocity u. We introduce a macroscale staggered grid to couple the microscale patches. Linear or quadratic interpolation provides boundary conditions on the field in each patch. Linear analysis of the whole coupled multiscale system establishes that the resultant macroscale dynamics is appropriate. Numerical simulations support the linear analysis. This multiscale method should empower the feasible computation of large scale simulations of wavelike dynamics with complicated underlying physics. 

Heat kernel estimates on noncompact Riemannian manifolds: why and how? 15:10 Fri 7 Jun, 2013 :: B.18 Ingkarni Wardli :: Prof Thierry Coulhon :: Australian National University
Media...We will describe what is known and remains to be known about the connection between the large scale geometry of noncompact Riemannian manifolds
(and more general metric measure spaces) and large time estimates of their heat kernel. We will show how some of these estimates can be characterised in terms of Sobolev inequalities and give applications to the boundedness of Riesz transforms. 

Invariant Theory: The 19th Century and Beyond 15:10 Fri 21 Jun, 2013 :: B.18 Ingkarni Wardli :: Dr Jarod Alper :: Australian National University
Media...A central theme in 19th century mathematics was invariant theory, which was viewed as a bridge between geometry and algebra. David Hilbert revolutionized the field with two seminal papers in 1890 and 1893 with techniques such as Hilbert's basis theorem, Hilbert's Nullstellensatz and Hilbert's syzygy theorem that spawned the modern field of commutative algebra. After Hilbert's groundbreaking work, the field of invariant theory remained largely inactive until the 1960's when David Mumford revitalized the field by reinterpreting Hilbert's ideas in the context of algebraic geometry which ultimately led to the influential construction of the moduli space of smooth curves. Today invariant theory remains a vital research area with connections to various mathematical disciplines: representation theory, algebraic geometry, commutative algebra, combinatorics and nonlinear differential operators.
The goal of this talk is to provide an introduction to invariant theory with an emphasis on Hilbert's and Mumford's contributions. Time permitting, I will explain recent research with Maksym Fedorchuk and David Smyth which exploits the ideas of Hilbert, Mumford as well as Kempf to answer a classical question concerning the stability of algebraic curves. 

Quantization, Representations and the Orbit Philosophy 15:10 Fri 5 Jul, 2013 :: B.18 Ingkarni Wardli :: Prof Nigel Higson :: Pennsylvania State University
Media...This talk will be about the mathematics of quantization and about representation theory, where the concept of quantization seems to be especially relevant. It was discovered by Kirillov in the 1960's that the representation theory of nilpotent Lie groups (such as the group that encodes Heisenberg's commutation relations) can be beautifully and efficiently described using a vocabulary drawn from geometry and quantum mechanics. The description was soon adapted to other classes of Lie groups, and the expectation that it ought to apply almost universally has come to be called the "orbit philosophy." But despite early successes, the orbit philosophy is in a decidedly unfinished state. I'll try to explain some of the issues and some possible new directions. 

The Hamiltonian Cycle Problem and Markov Decision Processes 15:10 Fri 2 Aug, 2013 :: B.18 Ingkarni Wardli :: Prof Jerzy Filar :: Flinders University
Media...We consider the famous Hamiltonian cycle problem (HCP) embedded in a Markov decision process (MDP). More specifically, we consider a moving object on a graph G where, at each vertex, a controller may select an arc emanating from that vertex according to a probabilistic decision rule. A stationary policy is simply a control where these decision rules are time invariant. Such a policy induces a Markov chain on the vertices of the graph. Therefore, HCP is equivalent to a search for a stationary policy that induces a 01 probability transition matrix whose nonzero entries trace out a Hamiltonian cycle in the graph. A consequence of this embedding is that we may consider the problem over a number of, alternative, convex  rather than discrete  domains. These include: (a) the space of stationary policies, (b) the more restricted but, very natural, space of doubly stochastic matrices induced by the graph, and (c) the associated spaces of socalled "occupational measures". This approach to the HCP has led to both theoretical and algorithmic approaches to the underlying HCP problem. In this presentation, we outline a selection of results generated by this line of research. 

Shannon entropy as a diagnostic tool for PDEs in conservation form 15:10 Fri 16 Aug, 2013 :: B.18 Ingkarni Wardli :: Prof Philip Broadbridge :: La Trobe University
Media...After normalization, an evolving real nonnegative function may be viewed as a probability density. From this we may derive the corresponding evolution law for Shannon entropy. Parabolic equations, hyperbolic equations and fourthorder diffusion equations evolve information in quite different ways. Entropy and irreversibility can be introduced in a selfconsistent manner and at an elementary level by reference to some simple evolution equations such as the linear heat equation. It is easily seen that the 2nd law of thermodynamics is equivalent to loss of Shannon information when temperature obeys a general nonlinear 2nd order diffusion equation.
With fourth order diffusion terms, new problems arise. We know from applications such as thin film flow and surface diffusion, that fourth order diffusion terms may generate ripples and they do not satisfy the Second Law. Despite this, we can identify the class of fourth order quasilinear diffusion equations that increase the Shannon entropy.


Knots and Quantum Computation 15:10 Fri 6 Sep, 2013 :: B.18 Ingkarni Wardli :: Dr Scott Morrison :: Australian National University
Media...I'll begin with the Jones polynomial, a knot invariant discovered 30 years ago that radically changed our view of topology. From there, we'll visit the complexity of evaluating the Jones polynomial, the topological field theories related to the Jones polynomial, and how all these ideas come together to offer an unorthodox model for quantum computation. 

Thinfilm flow in helical channels 12:10 Mon 9 Sep, 2013 :: B.19 Ingkarni Wardli :: David Arnold :: University of Adelaide
Media...Spiral particle separators are used in the mineral processing industry to refine ores. A slurry, formed by mixing crushed ore with a fluid, is run down a helical channel and at the end of the channel, the particles end up sorted in different sections of the channel. Design of such devices is largely experimentally based, and mathematical modelling of flow in helical channels is relatively limited. In this talk, I will outline some of the work that I have been doing on thinfilm flow in helical channels. 

Symmetry gaps for geometric structures 15:10 Fri 20 Sep, 2013 :: B.18 Ingkarni Wardli :: Dr Dennis The :: Australian National University
Media...Klein's Erlangen program classified geometries based on their (transitive) groups of symmetries, e.g. Euclidean geometry is the quotient of the rigid motion group by the subgroup of rotations. While this perspective is homogeneous, Riemann's generalization of Euclidean geometry is in general very "lumpy"  i.e. there exist Riemannian manifolds that have no symmetries at all. A common generalization where a group still plays a dominant role is Cartan geometry, which first arose in Cartan's solution to the equivalence problem for geometric structures, and which articulates what a "curved version" of a flat (homogeneous) model means. Parabolic geometries are Cartan geometries modelled on (generalized) flag varieties (e.g. projective space, isotropic Grassmannians) which are wellknown objects from the representation theory of semisimple Lie groups. These curved versions encompass a zoo of interesting geometries, including conformal, projective, CR, systems of 2nd order ODE, etc. This interaction between differential geometry and representation theory has proved extremely fruitful in recent years. My talk will be an examplebased tour of various types of parabolic geometries, which I'll use to outline some of the main aspects of the theory (suppressing technical details). The main thread throughout the talk will be the symmetry gap problem: For a given type of Cartan geometry, the maximal symmetry dimension is realized by the flat model, but what is the next possible ("submaximal") symmetry dimension? I'll sketch a recent solution (in joint work with Boris Kruglikov) for a wide class of parabolic geometries which gives a combinatorial recipe for reading the submaximal symmetry dimension from a Dynkin diagram. 

The irrational line on the torus 12:35 Mon 23 Sep, 2013 :: B.19 Ingkarni Wardli :: Kelli FrancisStaite :: University of Adelaide
The torus is very common example of a surface in R^3, but it's a lot more interesting than just a donut! I will introduce some standard mathematical descriptions of the torus, a bit of number theory, and finally what the irrational line on the torus is.
Why is this interesting? Well despite donuts being yummy to eat, the irrational line on the torus gives a range of pathological counterexamples. In Differential Geometry, it is an example of a manifold that is a subset of another manifold, but not a submanifold. In Lie theory, it is an example of a subgroup of a Lie group which is not a Lie subgroup.
If that wasn't enough of a mouthful, I may also provide some sweet incentives to come along! Does anyone know the location of a good donut store? 

How to stack oranges in three dimensions, 24 dimensions and beyond 18:00 Thu 26 Sep, 2013 :: Horace Lamb Lecture Theatre :: Prof Akshay Venkatesh :: Stanford University
Media...How can we pack balls as tightly as possible? In other words: to squeeze as many balls as possible into a limited space, what's the best way of arranging the balls? It's not hard to guess what the answer should be  but it's very hard to be sure that it really is the answer! I'll tell the interesting story of this problem, going back to the astronomer Kepler, and ending almost four hundred years later with Thomas Hales. I will then talk about stacking 24dimensional oranges: what this means, how it relates to the Voyager spacecraft, and the many things we don't know beyond this. 

Dynamics and the geometry of numbers 14:10 Fri 27 Sep, 2013 :: Horace Lamb Lecture Theatre :: Prof Akshay Venkatesh :: Stanford University
Media...It was understood by Minkowski that one could prove interesting results in number theory by considering the geometry of lattices in R^n. (A lattice is simply a grid of points.) This technique is called the "geometry of numbers." We now understand much more about analysis and dynamics on the space of all lattices, and this has led to a deeper understanding of classical questions. I will review some of these ideas, with emphasis on the dynamical aspects. 

Gravitational slingshot and space mission design 15:10 Fri 11 Oct, 2013 :: B.18 Ingkarni Wardli :: Prof Pawel Nurowski :: Polish Academy of Sciences
Media...When planning a space mission the weight of the spacecraft is the main issue. Every gram sent into the outer space costs a lot. A considerable part of the overall weight of the spaceship consists of a fuel needed to control it. I will explain how space agencies reduce the amount of fuel needed to go to a given place in the Solar System by using gravity of celestial bodies encountered along the trip. I will start with the explanation of an old trick called `gravitational slingshot', and end up with a modern technique which is based on the analysis of a 3body problem appearing in Newtonian mechanics. 

Modelling the South Australian garfish population slice by slice. 12:10 Mon 14 Oct, 2013 :: B.19 Ingkarni Wardli :: John Feenstra :: University of Adelaide
Media...In this talk I will provide a taste of how South Australian garfish populations are modelled. The role and importance of garfish 'slices' will be explained and how these help produce important reporting quantities of yearly recruitment, legalsize biomass, and exploitation rate within a framework of an age and length based population model. 

How the leopard got his spots 14:10 Mon 14 Oct, 2013 :: 7.15 Ingkarni Wardli :: Dr Ed Green :: School of Mathematical Sciences
Media...Patterns are everywhere in nature, whether they be the spots and stripes on animals' coats, or the intricate arrangement of different cell types in a tissue. But how do these patterns arise? Whilst every cell contains a plan of the organism in its genes, the cells need to organise themselves so that each knows what it should do to achieve this plan. Mathematics can help biologists explore how different types of signals might be used to control the patterning process. In this talk, I will introduce two simple mathematical theories of biological pattern formation: Turing patterns where, surprisingly, the essential ingredient for producing the pattern is diffusion, which usually tends to make things more uniform; and the KellerSegel model, which provides a simple mechanism for the formation of multicellular structures from isolated single cells. These mathematical models can be used to explain how tissues develop, and why there are many spotted animals with a stripy tail, but no stripy animals with a spotted tail. 

Classification Using Censored Functional Data 15:10 Fri 18 Oct, 2013 :: B.18 Ingkarni Wardli :: A/Prof Aurore Delaigle :: University of Melbourne
Media...We consider classification of functional data. This problem has received a lot of attention in the literature in the case where the curves are all observed on the same interval. A difficulty in applications is that the functional curves can be supported on quite different intervals, in which case standard methods of analysis cannot be used. We are interested in constructing classifiers for curves of this type. More precisely, we consider classification of functions supported on a compact interval, in cases where the training sample consists of functions observed on other intervals, which may differ among the training curves.
We propose several methods, depending on whether or not the observable intervals
overlap by a significant amount. In the case where these intervals differ a lot, our procedure involves extending the curves outside the interval where they were observed. We suggest a new nonparametric approach for doing this.
We also introduce flexible ways of combining potential differences in shapes of the curves from different populations, and potential differences between the endpoints of
the intervals where the curves from each population are observed. 

Modelling and optimisation of group doseresponse challenge experiments 12:10 Mon 28 Oct, 2013 :: B.19 Ingkarni Wardli :: David Price :: University of Adelaide
Media...An important component of scientific research is the 'experiment'. Effective design of these experiments is important and, accordingly, has received significant attention under the heading 'optimal experimental design'. However, until recently, little work has been done on optimal experimental design for experiments where the underlying process can be modelled by a Markov chain. In this talk, I will discuss some of the work that has been done in the field of optimal experimental design for Markov Chains, and some of the work that I have done in applying this theory to doseresponse challenge experiments for the bacteria Campylobacter jejuni in chickens. 

Interaction of doublestranded DNA inside singlewalled carbon nanotubes 12:35 Mon 28 Oct, 2013 :: B.19 Ingkarni Wardli :: Mansoor Alshehri :: University of Adelaide
Media...Here we investigate the interaction of deoxyribonucleic acid (DNA) inside single walled carbon nanotubes (SWCNTs). Using classical applied mathematical modeling, we derive explicit analytical expressions for the encapsulation of DNA inside singlewalled carbon nanotubes. We adopt the 612 LennardJones potential function together with the continuous approach to determine the preferred minimum energy position of the dsDNA molecule inside a singlewalled carbon nanotube, so as to predict its location with reference to the cross section of the carbon nanotube. An analytical expression is obtained in terms of hypergeometric functions, which provides a computationally rapid procedure to determine critical numerical values. 

The geometry of rolling surfaces and nonholonomic mechanics 15:10 Fri 1 Nov, 2013 :: B.18 Ingkarni Wardli :: Prof Robert Bryant :: Duke University
Media...In mechanics, the system of a sphere rolling over a plane without slipping or twisting is a fundamental example of what is called a nonholonomic mechanical system, the study of which belongs to the subject of control theory. The more general case of one surface rolling over another without slipping or twisting is, similarly, of great interest for both practical and theoretical reasons. In this talk, which is intended for a general mathematical audience (i.e., no familiarity with control theory or differential geometry will be assumed), I will describe some of the basic features of this problem, a bit of its history, and some of the surprising developments that its study reveals, such as the unexpected appearance of the exceptional group G_2. 

A gentle introduction to bubble evolution in HeleShaw flows 15:10 Fri 22 Nov, 2013 :: 5.58 (Ingkarni Wardli) :: Dr Scott McCue :: QUT
A HeleShaw cell is easy to make and serves as a fun toy for an applied mathematician to play with. If we inject air into a HeleShaw cell that is otherwise filled with viscous fluid, we can observe a bubble of air growing in size. The process is highly unstable, and the bubble boundary expands in an uneven fashion, leading to striking fingering patterns (look up HeleShaw cell or SaffmanTaylor instability on YouTube). From a mathematical perspective, modelling these HeleShaw flows is interesting because the governing equations are sufficiently ``simple'' that a considerable amount of analytical progress is possible. Indeed, there is no other context in which (genuinely) twodimensional moving boundary problems are so tractable. More generally, HeleShaw flows are important as they serve as prototypes for more complicated (and important) physical processes such as crystal growth and diffusion limited aggregation. I will give an introduction to some of the main ideas and summarise some of my present research in this area.


A few flavours of optimal control of Markov chains 11:00 Thu 12 Dec, 2013 :: B18 :: Dr Sam Cohen :: Oxford University
Media...In this talk we will outline a general view of optimal control of a continuoustime Markov chain, and how this naturally leads to the theory of Backward Stochastic Differential Equations. We will see how this class of equations gives a natural setting to study these problems, and how we can calculate numerical solutions in many settings. These will include problems with payoffs with memory, with random terminal times, with ergodic and infinitehorizon value functions, and with finite and infinitely many states. Examples will be drawn from finance, networks and electronic engineering. 

Weak Stochastic Maximum Principle (SMP) and Applications 15:10 Thu 12 Dec, 2013 :: B.21 Ingkarni Wardli :: Dr Harry Zheng :: Imperial College, London
Media...In this talk we discuss a weak necessary and sufficient SMP for Markov modulated optimal control problems. Instead of insisting on the maximum condition of the Hamiltonian, we show that 0 belongs to the sum of Clarke's generalized gradient of the Hamiltonian and Clarke's normal cone of the control constraint set at the optimal control. Under a joint concavity condition on the Hamiltonian the necessary condition becomes sufficient. We give examples to demonstrate the weak SMP and its applications in quadratic loss minimization. 

The effects of preexisting immunity 15:10 Fri 7 Mar, 2014 :: B.18 Ingkarni Wardli :: Associate Professor Jane Heffernan :: York University, Canada
Media...Immune system memory, also called immunity, is gained as a result of primary infection or vaccination, and can be boosted after vaccination or secondary infections. Immunity is developed so that the immune system is primed to react and fight a pathogen earlier and more effectively in secondary infections. The effects of memory, however, on pathogen propagation in an individual host (inhost) and a population (epidemiology) are not well understood. Mathematical models of infectious diseases, employing dynamical systems, computer simulation and bifurcation analysis, can provide projections of pathogen propagation, show outcomes of infection and help inform public health interventions. In the Modelling Infection and Immunity (MI^2) lab, we develop and study biologically informed mathematical models of infectious diseases at both levels of infection, and combine these models into comprehensive multiscale models so that the effects of individual immunity in a population can be determined. In this talk we will discuss some of the interesting mathematical phenomenon that arise in our models, and show how our results are directly applicable to what is known about the persistence of infectious diseases. 

Viscoelastic fluids: mathematical challenges in determining their relaxation spectra 15:10 Mon 17 Mar, 2014 :: 5.58 Ingkarni Wardli :: Professor Russell Davies :: Cardiff University
Determining the relaxation spectrum of a viscoelastic fluid is a crucial step before a linear or nonlinear constitutive model can be applied. Information about the relaxation spectrum is obtained from simple flow experiments such as creep or oscillatory shear. However, the determination process involves the solution of one or more highly illposed inverse problems. The availability of only discrete data, the presence of noise in the data, as well as incomplete data, collectively make the problem very hard to solve.
In this talk I will illustrate the mathematical challenges inherent in determining relaxation spectra, and also introduce the method of wavelet regularization which enables the representation of a continuous relaxation spectrum by a set of hyperbolic scaling functions.


A model for the BitCoin block chain that takes propagation delays into account 15:10 Fri 28 Mar, 2014 :: B.21 Ingkarni Wardli :: Professor Peter Taylor :: The University of Melbourne
Media...Unlike cash transactions, most electronic transactions require the presence of a trusted authority to verify that the payer has sufficient funding to be able to make the transaction and to adjust the account balances of the payer and payee. In recent years BitCoin has been proposed as an "electronic equivalent of cash". The general idea is that transactions are verified in a coded form in a block chain, which is maintained by the community of participants. Problems can arise when the block chain splits: that is different participants have different versions of the block chain, something which can happen only when there are propagation delays, at least if all participants are behaving according to the protocol.
In this talk I shall present a preliminary model for the splitting behaviour of the block chain. I shall then go on to perform a similar analysis for a situation where a group of participants has adopted a recentlyproposed strategy for gaining a greater advantage from BitCoin processing than its combined computer power should be able to control. 

The limits of proof 14:10 Wed 2 Apr, 2014 :: Hughes Lecture Room 322 :: Assoc. Prof. Finnur Larusson :: School of Mathematical Sciences
Media...The job of the mathematician is to discover new truths about mathematical objects and their relationships. Such truths are established by proving them. This raises a fundamental question. Can every mathematical truth be proved (by a sufficiently clever being) or are there truths that will forever lie beyond the reach of proof?
Mathematics can be turned on itself to investigate this question. In this talk, we will see that under certain assumptions about proofs, there are truths that cannot be proved. You must decide for yourself whether you think these assumptions are valid! 

Flow barriers and flux in unsteady flows 15:10 Fri 4 Apr, 2014 :: B.21 Ingkarni Wardli :: Dr Sanjeeva Balasuriya :: The University of Adelaide
Media...How does one define the boundary of the ozone hole, an oceanic eddy, or Jupiter's Great Red Spot? These occur in flows which are unsteady (nonautonomous), that is, which change with time, and therefore any boundary must as well. In steady (autonomous) flows, defining flow boundaries is straightforward: one first finds fixed points of the flow, and then determines entities in space which are attracted to or repelled from these points as time progresses. These are respectively the stable and unstable manifolds of the fixed points, and can be shown to partition space into regions of different types of flow. This talk will focus on the required modifications to this idea for determining flow barriers in the more realistic unsteady context. An application to maximising mixing in microfluidic devices will also be presented. 

Outlier removal using the Bayesian information criterion for groupbased trajectory modelling 12:10 Mon 28 Apr, 2014 :: B.19 Ingkarni Wardli :: Chris Davies :: University of Adelaide
Media...Attributes measured longitudinally can be used to define discrete paths of measurements, or trajectories, for each individual in a given population. Groupbased trajectory modelling methods can be used to identify subgroups of trajectories within a population, such that trajectories that are grouped together are more similar to each other than to trajectories in distinct groups. Existing methods generally allocate every individual trajectory into one of the estimated groups. However this does not allow for the possibility that some individuals may be following trajectories so different from the rest of the population that they should not be included in a groupbased trajectory model. This results in these outlying trajectories being treated as though they belong to one of the groups, distorting the estimated trajectory groups and any subsequent analyses that use them.
We have developed an algorithm for removing outlying trajectories based on the maximum change in Bayesian information criterion (BIC) due to removing a single trajectory. As well as deciding which trajectory to remove, the number of groups in the model can also change. The decision to remove an outlying trajectory is made by comparing the loglikelihood contributions of the observations to those of simulated samples from the estimated groupbased trajectory model. In this talk the algorithm will be detailed and an application of its use will be demonstrated. 

Networkbased approaches to classification and biomarker identification in metastatic melanoma 15:10 Fri 2 May, 2014 :: B.21 Ingkarni Wardli :: Associate Professor Jean Yee Hwa Yang :: The University of Sydney
Media...Finding prognostic markers has been a central question in much of current research in medicine and biology. In the last decade, approaches to prognostic prediction within a genomics setting are primarily based on changes in individual genes / protein. Very recently, however, network based approaches to prognostic prediction have begun to emerge which utilize interaction information between genes. This is based on the believe that largescale molecular interaction networks are dynamic in nature and changes in these networks, rather than changes in individual genes/proteins, are often drivers of complex diseases such as cancer.
In this talk, I use data from stage III melanoma patients provided by Prof. Mann from Melanoma Institute of Australia to discuss how network information can be utilize in the analysis of gene expression analysis to aid in biological interpretation. Here, we explore a number of novel and previously published networkbased prediction methods, which we will then compare to the common singlegene and geneset methods with the aim of identifying more biologically interpretable biomarkers in the form of networks. 

The Mandelbrot Set 12:10 Mon 5 May, 2014 :: B.19 Ingkarni Wardli :: David Bowman :: University of Adelaide
Media...The Mandelbrot set is an icon of modern mathematics, an image which fires the popular imagination when accompanied by the words 'chaos' and 'fractal'. However, few could give even a vague definition of this mysterious set and fewer still know the mathematical meaning behind it. In this talk we will be looking at the role that the Mandelbrot set plays in complex dynamics, the study of iterated complex valued functions. We shall discuss attracting and repelling cycles and how they are related to the different components of the Mandelbrot set. 

Ergodicity and loss of capacity: a stochastic horseshoe? 15:10 Fri 9 May, 2014 :: B.21 Ingkarni Wardli :: Professor Ami Radunskaya :: Pomona College, the United States of America
Media...Random fluctuations of an environment are common in ecological and
economical settings. The resulting processes can be described by a
stochastic dynamical system, where a family of maps parametrized by an
independent, identically distributed random variable forms the basis for a
Markov chain on a continuous state space. Random dynamical systems are a
beautiful combination of deterministic and random processes, and they have
received considerable interest since von Neuman and Ulam's seminal work in
the 1940's. Key questions in the study of a stochastic dynamical system
are: does the system have a welldefined average, i.e. is it ergodic?
How does this longterm behavior compare to that of the state
variable in a constant environment with the averaged parameter?
In this talk we answer these questions for a family of maps on the unit
interval that model selflimiting growth. The techniques used can be
extended to study other families of concave maps, and so we conjecture the
existence of a "stochastic horseshoe". 

Ice floe collisions in the Marginal Ice Zone 12:10 Mon 12 May, 2014 :: B.19 Ingkarni Wardli :: Lucas Yiew :: University of Adelaide
Media...In an era of climate change, it is becoming increasingly important to model the dynamics of seaice cover in the polar regions. The Marginal Ice Zone represents a vast region of ice cover strongly influenced by the effects of ocean waves. As ocean waves penetrate this region, wave energy is progressively dispersed through energy dissipative mechanisms such as collisions between ice floes (discrete chunks of ice). In this talk I will discuss the mathematical models required to build a collision model, and the validation of these models with experimental results. 

Stochastic models of evolution: Trees and beyond 15:10 Fri 16 May, 2014 :: B.18 Ingkarni Wardli :: Dr Barbara Holland :: The University of Tasmania
Media...In the first part of the talk I will give a general introduction to phylogenetics, and discuss some of the mathematical and statistical issues that arise in trying to infer evolutionary trees. In particular, I will discuss how we model the evolution of DNA along a phylogenetic tree using a continuous time Markov process.
In the second part of the talk I will discuss how to express the twostate continuoustime Markov model on phylogenetic trees in such a way that allows its extension to more general models. In this framework we can model convergence of species as well as divergence (speciation). I will discuss the identifiability (or otherwise) of the models that arise in some simple cases. Use of a statistical framework means that we can use established techniques such as the AIC or likelihood ratio tests to decide if datasets show evidence of convergent evolution. 

Computing with groups 15:10 Fri 30 May, 2014 :: B.21 Ingkarni Wardli :: Dr Heiko Dietrich :: Monash University
Media...Groups are algebraic structures which show up in many branches of
mathematics and other areas of science; Computational Group Theory is
on the cutting edge of pure research in group theory and its interplay
with computational methods.
In this talk, we consider a practical aspect
of Computational Group Theory: how to represent a group in a computer,
and how to work with such a description efficiently. We will first
recall some wellestablished methods for permutation group; we will
then discuss some recent progress for matrix groups. 

World Is Fukt, or, Why our system for elections doesn't reflect the will of the people, but micro parties like it Just The Way It Is. 12:10 Mon 2 Jun, 2014 :: B.19 Ingkarni Wardli :: Casey Briggs :: University of Adelaide
Media...Results of elections for upper houses in Australia are notoriously difficult to predict, largely because of the quirky voting counting system used. In this seminar I will explain how the system works and why voters have low control over the outcome. I will then demonstrate using a senate calculator the sensitivity of these elections, including how small changes in votes can lead to dramatically different outcomes. 

Group meeting 15:10 Fri 6 Jun, 2014 :: 5.58 Ingkarni Wardli :: Meng Cao and Trent Mattner :: University of Adelaide
Meng Cao:: Multiscale modelling couples patches of nonlinear wavelike simulations ::
Abstract:
The multiscale gaptooth scheme is built from given microscale simulations of complicated physical processes to empower macroscale simulations. By coupling small patches of simulations over unsimulated physical gaps, large savings in computational time are possible. So far the gaptooth scheme has been developed for dissipative systems, but wave systems are also of great interest. This article develops the gaptooth scheme to the case of nonlinear microscale simulations of wavelike systems. Classic macroscale interpolation provides a generic coupling between patches that achieves arbitrarily high order consistency between the multiscale scheme and the underlying microscale dynamics. Eigenanalysis indicates that the resultant gaptooth scheme empowers feasible computation of large scale simulations of wavelike dynamics with complicated underlying physics. As an pilot study, we implement numerical simulations of dambreaking waves by the gaptooth scheme. Comparison between a gaptooth simulation, a microscale simulation over the whole domain, and some published experimental data on dam breaking, demonstrates that the gaptooth scheme feasibly computes large scale wavelike dynamics with computational savings.
Trent Mattner :: Coupled atmospherefire simulations of the Canberra 2003 bushfires using WRFSfire :: Abstract:
The Canberra fires of January 18, 2003 are notorious for the extreme fire behaviour and fireatmospheretopography interactions that occurred, including leeslope fire channelling, pyrocumulonimbus development and tornado formation. In this talk, I will discuss coupled fireweather simulations of the Canberra fires using WRFSFire. In these simulations, a firebehaviour model is used to dynamically predict the evolution of the fire front according to local atmospheric and topographic conditions, as well as the associated heat and moisture fluxes to the atmosphere. It is found that the predicted fire front and heat flux is not too bad, bearing in mind the complexity of the problem and the severe modelling assumptions made. However, the predicted moisture flux is too low, which has some impact on atmospheric dynamics. 

Optimal transportation and MongeAmpere type equation 15:10 Fri 13 Jun, 2014 :: B.21 Ingkarni Wardli :: Professor XuJia Wang :: Centre for Mathematics and its Applications, Australian National University
Media...The optimal transportation is to find an optimal mapping of transferring one mass density to another one such that the total cost is minimised. This problem was first introduced by Monge in 1781. Monge's cost function is propositional to the distance the mass is transferred, namely c(x,y)=xy, but more general costs are allowed. The optimal transportation has found a variety of applications and has been extensively studied since then. In 1940s Kantorovich introduced a dual functional, by which one can determine the optimal mapping through the associated potential function, for a large class of cost functions.
The potential function satisfies a MongeAmpere type equation, which is a fully nonlinear partial differential equation arising also in geometric problems related to the Gauss curvature, and has been studied by Aleksandrov, Calabi, Nirenberg, Pogorelov, ChengYau, and Caffarelli, among many others. In this talk we will first introduce the optimal transportation and review the existence of optimal mappings. We then focus on the regularity of the optimal mappings. By studying the associated MongeAmpere equation, sharp conditions on the cost function have been found by the speaker and his collaborators. For Monge's cost function xy, which does not satisfy the sharp conditions, we have also obtained the existence of optimal mappings, and established interesting regularity and singularity results for the mapping. 

Fast computation of eigenvalues and eigenfunctions on bounded plane domains 15:10 Fri 1 Aug, 2014 :: B.18 Ingkarni Wardli :: Professor Andrew Hassell :: Australian National University
Media...I will describe a new method for numerically computing eigenfunctions and eigenvalues on certain plane domains, derived from the socalled "scaling method" of Vergini and Saraceno. It is based on properties of the DirichlettoNeumann map on the domain, which relates a function f on the boundary of the domain to the normal derivative (at the boundary) of the eigenfunction with boundary data f. This is a topic of independent interest in pure mathematics. In my talk I will try to emphasize the inteplay between theory and applications, which is very rich in this situation. This is joint work with numerical analyst Alex Barnett (Dartmouth). 

Modelling the meanfield behaviour of cellular automata 12:10 Mon 4 Aug, 2014 :: B.19 Ingkarni Wardli :: Kale Davies :: University of Adelaide
Media...Cellular automata (CA) are latticebased models in which agents fill the lattice sites and behave according to some specified rule. CA are particularly useful when modelling cell behaviour and as such many people consider CA model in which agents undergo motility and proliferation type events. We are particularly interested in predicting the average behaviour of these models. In this talk I will show how a system of differential equations can be derived for the system and discuss the difficulties that arise in even the seemingly simple case of a CA with motility and proliferation. 

Boundaryvalue problems for the Ricci flow 15:10 Fri 15 Aug, 2014 :: B.18 Ingkarni Wardli :: Dr Artem Pulemotov :: The University of Queensland
Media...The Ricci flow is a differential equation describing the evolution of a Riemannian manifold (i.e., a "curved" geometric object) into an Einstein manifold (i.e., an object with a "constant" curvature). This equation is particularly famous for its key role in the proof of the Poincare Conjecture. Understanding the Ricci flow on manifolds with boundary is a difficult problem with applications to a variety of fields, such as topology and mathematical physics. The talk will survey the current progress towards the resolution of this problem. In particular, we will discuss new results concerning spaces with symmetries. 

Neural Development of the Visual System: a laminar approach 15:10 Fri 29 Aug, 2014 :: N132 Engineering North :: Dr Andrew Oster :: Eastern Washington University
Media...In this talk, we will introduce the architecture of the visual
system in higher order primates and cats. Through activitydependent
plasticity mechanisms, the left and right eye streams segregate in the
cortex in a stripelike manner, resulting in a pattern called an ocular
dominance map. We introduce a mathematical model to study how such a
neural wiring pattern emerges. We go on to consider the joint
development of the ocular dominance map with another feature of the
visual system, the cytochrome oxidase blobs, which appear in the center
of the ocular dominance stripes. Since cortex is in fact comprised of
layers, we introduce a simple laminar model and perform a stability
analysis of the wiring pattern. This intricate biological structure
(ocular dominance stripes with "blobs" periodically distributed in their
centers) can be understood as occurring due to two Turing instabilities
combined with the leadingorder dynamics of the system. 

Neural Development of the Visual System: a laminar approach 15:10 Fri 29 Aug, 2014 :: This talk will now be given as a School Colloquium :: Dr Andrew Oster :: Eastern Washington University
In this talk, we will introduce the architecture of the visual system in higher order primates and cats. Through activitydependent plasticity mechanisms, the left and right eye streams segregate in the cortex in a stripelike manner, resulting in a pattern called an ocular dominance map. We introduce a mathematical model to study how such a neural wiring pattern emerges. We go on to consider the joint development of the ocular dominance map with another feature of the visual system, the cytochrome oxidase blobs, which appear in the center of the ocular dominance stripes. Since cortex is in fact comprised of layers, we introduce a simple laminar model and perform a stability analysis of the wiring pattern. This intricate biological structure (ocular dominance stripes with 'blobs' periodically distributed in their centers) can be understood as occurring due to two Turing instabilities combined with the leadingorder dynamics of the system. 

Modelling biological gel mechanics 12:10 Mon 8 Sep, 2014 :: B.19 Ingkarni Wardli :: James Reoch :: University of Adelaide
Media...The behaviour of gels such as collagen is the result of complex interactions between mechanical and chemical forces. In this talk, I will outline the modelling approaches we are looking at in order to incorporate the influence of cell behaviour alongside chemical potentials, and the various circumstances which lead to gel swelling and contraction. 

Problems in pandemic preparedness 15:10 Fri 12 Sep, 2014 :: N132 Engineering North :: Dr Joshua Ross :: The University of Adelaide
Media...The emergence of novel strains of viruses pose an everpresent
threat to our health and wellbeing. In this talk, I will provide an
overview of work I have done, or am doing, in collaboration with
colleagues and students on two topics related to pandemic preparedness:
the first being antiviral usage for pre and postexposure prophylaxis;
and the second being estimating transmissibility and severity from First
Few Hundred (FF100) studies. 

Inferring absolute population and recruitment of southern rock lobster using only catch and effort data 12:35 Mon 22 Sep, 2014 :: B.19 Ingkarni Wardli :: John Feenstra :: University of Adelaide
Media...Abundance estimates from a datalimited version of catch survey analysis are compared to those from a novel oneparameter deterministic method. Bias of both methods is explored using simulation testing based on a more complex datarich stock assessment population dynamics fishery operating model, exploring the impact of both varying levels of observation error in data as well as model process error. Recruitment was consistently better estimated than legal size population, the latter most sensitive to increasing observation errors. A hybrid of the datalimited methods is proposed as the most robust approach. A more statistically conventional errorinvariables approach may also be touched upon if enough time. 

A Hybrid Markov Model for Disease Dynamics 12:35 Mon 29 Sep, 2014 :: B.19 Ingkarni Wardli :: Nicolas Rebuli :: University of Adelaide
Media...Modelling the spread of infectious diseases is fundamental to protecting ourselves from potentially devastating epidemics. Among other factors, two key indicators for the severity of an epidemic are the size of the epidemic and the time until the last infectious individual is removed. To estimate the distribution of the size and duration of an epidemic (within a realistic population) an epidemiologist will typically use Monte Carlo simulations of an appropriate Markov process. However, the number of states in the simplest Markov epidemic model, the SIR model, is quadratic in the population size and so Monte Carlo simulations are computationally expensive. In this talk I will discuss two methods for approximating the SIR Markov process and I will demonstrate the approximation error by comparing probability distributions and estimates of the distributions of the final size and duration of an SIR epidemic. 

Visualising the diversity of benchmark instances and generating new test instances to elicit insights into algorithm performance 15:10 Fri 10 Oct, 2014 :: Napier 102 :: Professor Kate SmithMiles :: Monash University
Media...Objective assessment of optimization algorithm performance is notoriously difficult, with conclusions often inadvertently biased towards the chosen test instances. Rather than reporting average performance of algorithms across a set of chosen instances, we discuss a new methodology to enable the strengths and weaknesses of different optimization algorithms to be compared across a broader instance space. Results will be presented on timetabling, graph colouring and the TSP to demonstrate: (i) how pockets of the instance space can be found where algorithm performance varies significantly from the average performance of an algorithm; (ii) how the properties of the instances can be used to predict algorithm performance on previously unseen instances with high accuracy; (iii) how the relative strengths and weaknesses of each algorithm can be visualized and measured objectively; and (iv) how new test instances can be generated to fill the instance space and provide desired insights into algorithmic power. 

Micro Magnetofluidics  Wireless Manipulation for Microfluidics 15:10 Fri 24 Oct, 2014 :: N.132 Engineering North :: Professor NamTrung Nguyen :: Griffith University
Media...Microfluidics is rich in multiphysics phenomena, which offer fundamentally new capabilities in the manipulation and detection of biological particles. Most current microfluidic applications are based on hydrodynamic, electrokinetic, acoustic and optic actuation. Implementing these concepts requires bulky external pumping/valving systems and energy supplies. The required wires and connectors make their fabrication and handling difficult. Most of the conventional approaches induce heat that may affect sensitive bio particles such as cells. There is a need for a technology for fluid handling in microfluidic devices that is of lowcost, simple, wireless, free of induced heat and independent of pH level or ion concentration. The use of magnetism would provide a wireless solution for this need. Micro magnetofluidics is a newly established research field that links magnetism and microfluidics to gain new capabilities. Magnetism provides a convenient and wireless way for control and manipulation of fluid flow in the microscale. Investigation of magnetisminduced phenomena in a microfluidic device has the advantage of welldefined experimental condition such as temperature and magnetic field because of the system size. This talk presents recent interesting phenomena in both continuousflow and digital micro magnetofluidics. 

Modelling segregation distortion in multiparent crosses 15:00 Mon 17 Nov, 2014 :: 5.57 Ingkarni Wardli :: Rohan Shah (joint work with B. Emma Huang and Colin R. Cavanagh) :: The University of Queensland
Construction of highdensity genetic maps has been made feasible by lowcost highthroughput genotyping technology; however, the process is still complicated by biological, statistical and computational issues. A major challenge is the presence of segregation distortion, which can be caused by selection, difference in fitness, or suppression of recombination due to introgressed segments from other species. Alien introgressions are common in major crop species, where they have often been used to introduce beneficial genes from wild relatives.
Segregation distortion causes problems at many stages of the map construction process, including assignment to linkage groups and estimation of recombination fractions. This can result in incorrect ordering and estimation of map distances. While discarding markers will improve the resulting map, it may result in the loss of genomic regions under selection or containing beneficial genes (in the case of introgression).
To correct for segregation distortion we model it explicitly in the estimation of recombination fractions. Previously proposed methods introduce additional parameters to model the distortion, with a corresponding increase in computing requirements. This poses difficulties for large, densely genotyped experimental populations. We propose a method imposing minimal additional computational burden which is suitable for highdensity map construction in large multiparent crosses. We demonstrate its use modelling the known Sr36 introgression in wheat for an eightparent complex cross.


Predicting pressure drops in pipelines due to pump trip events 12:10 Mon 2 Mar, 2015 :: Napier LG29 :: David Arnold :: University of Adelaide
Media...Sunwater is a Queensland company that designs, builds and manages largescale water infrastructure such as dams, weirs and pipelines. In this talk, I will discuss one of the aspects that is crucial in the design stage of long pipelines, the pipelines ability to withstand large pressure disturbances caused by pump trip events. A pump trip is a sudden, unplanned shutdown of a pump, which causes potentially destructive pressure waves to propagate through the pipe network. Accurate simulation of such events is time consuming and costly, so rules of thumb and intuition are used during initial planning and design of a pipeline project. I will discuss some simple mathematical models for pump trip events, show some results, and discuss how they could be used in the initial design process. 

Multiscale modelling of multicellular biological systems: mechanics, development and disease 03:10 Fri 6 Mar, 2015 :: Lower Napier LG24 :: Dr James Osborne :: University of Melbourne
When investigating the development and function of multicellular biological systems it is not enough to only consider the behaviour of individual cells in isolation. For example when studying tissue development, how individual cells interact, both mechanically and biochemically, influences the resulting tissues form and function. In this talk we present a multiscale modelling framework for simulating the development and function of multicellular biological systems (in particular tissues). Utilising the natural structural unit of the cell, the framework consists
of three main scales: the tissue level (macroscale); the cell level (mesoscale); and the subcellular level (microscale), with multiple interactions occurring between all scales. The cell level is central to the framework and cells are modelled as discrete interacting entities using one of a number of possible modelling paradigms, including lattice based models (cellular automata and cellular Potts) and offlattice based models (cell centre and vertex based representations). The subcellular level concerns numerous metabolic and biochemical processes represented by interaction networks rendered stochastically or into ODEs. The outputs from such systems influence the behaviour of the cell level affecting properties such as adhesion and also influencing cell mitosis and apoptosis. At the tissue level we consider factors or restraints that influence the cells, for example the distribution of a nutrient or messenger molecule, which is represented by field equations, on a growing domain, with individual cells functioning as
sinks and/or sources. The modular approach taken within the framework enables more realistic behaviour to be considered at each scale.
This framework is implemented within the Open Source Chaste library (Cancer Heart and Soft Tissue Environment, (http://www.cs.ox.ac.uk/chaste/)
and has been used to model biochemical and biomechanical interactions in various biological systems. In this talk we present the key ideas of the framework along with applications within the fields of development and disease. 

Symmetric groups via categorical representation theory 15:10 Fri 20 Mar, 2015 :: Engineering North N132 :: Dr Oded Yacobi :: University of Sydney
The symmetric groups play a fundamental role in representation theory and, while their characteristic zero representations are well understood, over fields of positive characteristic most foundational questions are still unanswered. In the 1990's Kleshchev made a spectacular breakthrough, and computed certain modular restriction multiplicities. It was observed by Lascoux, Leclerc, and Thibon that Kleshchev's numerology encodes a seemingly unrelated object: the crystal graph associated to an affine Lie algebra! We will explain how this mysterious connection opens the door to categorical representation theory, and, moreover, how the categorical perspective allows one to prove new theorems about representations of symmetric groups. We will also discuss other problems/applications in the landscape of categorical representation theory. 

The Mathematics behind the Ingkarni Wardli Quincunx 12:10 Mon 23 Mar, 2015 :: Napier LG29 :: Andrew Pfeiffer :: University of Adelaide
The quincunx is a fun machine on the ground floor of Ingkarni Wardli. Hopefully you've had a chance to play with it at some point. Perhaps you were waiting for your coffee, or just procrastinating. However, you may have no idea what I'm talking about. If so, read on. To operate the quincunx, you turn a handle and push balls into a sea of needles. The needles then pseudorandomly direct each ball into one of eight bins. On the quincunx, there is a page of instructions that makes some mathematical claims. For example, it claims that the balls should look roughly like a normal distribution. In this talk, I will discuss some of the mathematics behind the quincunx. I will also seek to make the claims of the quincunx more precise. 

How do we quantify the filamentous growth in yeast colony? 12:10 Mon 30 Mar, 2015 :: Ingkarni Wardli 715 Conference Room :: Dr. Benjamin Binder :: School of Mathematical Sciences
Media...In this talk we will develop a systematic method to measure the spatial patterning of colony morphology. A hybrid modelling approach of the growth process will also be discussed. 

Topological matter and its Ktheory 11:10 Thu 2 Apr, 2015 :: Ingkarni Wardli B18 :: Guo Chuan Thiang :: University of Adelaide
The notion of fundamental particles, as well as phases of condensed matter, evolves as new mathematical tools become available to the physicist. I will explain how Ktheory provides a powerful language for describing quantum mechanical symmetries, homotopies of their realisations, and topological insulators. Real Ktheory is crucial in this framework, and its rich structure is still being explored both physically and mathematically. 

IGA Workshop on Symmetries and Spinors: Interactions Between Geometry and Physics 09:30 Mon 13 Apr, 2015 :: Conference Room 7.15 on Level 7 of the Ingkarni Wardli building :: J. FigueroaO'Farrill (University of Edinburgh), M. Zabzine (Uppsala University), et al
Media...The interplay between physics and geometry has lead to stunning advances and enriched the internal structure of each field. This is vividly exemplified in the theory of supergravity, which is a supersymmetric extension of Einstein's relativity theory to the small scales governed by the laws of quantum physics. Sophisticated mathematics is being employed for finding solutions to the generalised Einstein equations and in return, they provide a rich source for new exotic geometries. This workshop brings together worldleading scientists from both, geometry and mathematical physics, as well as young researchers and students, to meet and learn about each others work. 

Group Meeting 15:10 Fri 24 Apr, 2015 :: N218 Engineering North :: Dr Ben Binder :: University of Adelaide
Talk (Dr Ben Binder): How do we quantify the filamentous growth in a yeast colony?
Abstract: In this talk we will develop a systematic method to measure the spatial patterning of yeast colony morphology. The methods are applicable to other physical systems with circular spatial domains, for example, batch mixing fluid devices. A hybrid modelling approach of the yeast growth process will also be discussed.
After the seminar, Ben will start a group discussion by sharing some information and experiences on attracting honours/PhD students to the group. 

Did the Legend of Zelda unfold in our Solar System? 12:10 Mon 27 Apr, 2015 :: Napier LG29 :: Adam Rohrlach :: University of Adelaide
Media...Well, obviously not. We can see the other planets, and they're not terribly conducive to Elven based life. Still, I aim to exhaustively explore the topic, all the while avoiding conventional logic and reasoning. Clearly, one could roll out any number of 'telescope' based proofs, and 'video game characters aren't really real, even after a million wishes' arguments, but I want to tackle this hotly debated issue using physics (the ugly cousin of actual mathematics). Armed with a remedial understanding of year 12 physics, from the acclaimed 2000 South Australian syllabus, I can think of no one better qualified, or possibly willing, to give this talk. 

Multivariate regression in quantitative finance: sparsity, structure, and robustness 15:10 Fri 1 May, 2015 :: Engineering North N132 :: A/Prof Mark Coates :: McGill University
Many quantitative hedge funds around the world strive to predict future equity and futures returns based on many sources of information, including historical returns and economic data. This leads to a multivariate regression problem. Compared to many regression problems, the signaltonoise ratio is extremely low, and profits can be realized if even a small fraction of the future returns can be accurately predicted. The returns generally have heavytailed distributions, further complicating the regression procedure.
In this talk, I will describe how we can impose structure into the regression problem in order to make detection and estimation of the very weak signals feasible. Some of this structure consists of an assumption of sparsity; some of it involves identification of common factors to reduce the dimension of the problem. I will also describe how we can formulate alternative regression problems that lead to more robust solutions that better match the performance metrics of interest in the finance setting. 

Haven't I seen you before? Accounting for partnership duration in infectious disease modeling 15:10 Fri 8 May, 2015 :: Level 7 Conference Room Ingkarni Wardli :: Dr Joel Miller :: Monash University
Media...Our ability to accurately predict and explain the spread of an infectious disease is a significant factor in our ability to implement effective interventions. Our ability to accurately model disease spread depends on how accurately we capture the various effects. This is complicated by the fact that infectious disease spread involves a number of time scales. Four that are particularly relevant are: duration of infection in an individual, duration of partnerships between individuals, the time required for an epidemic to spread through the population, and the time required for the population structure to change (demographic or otherwise).
Mathematically simple models of disease spread usually make the implicit assumption that the duration of partnerships is by far the shortest time scale in the system. Thus they miss out on the tendency for infected individuals to deplete their local pool of susceptibles. Depending on the details of the disease in question, this effect may be significant.
I will discuss work done to reduce these assumptions for "SIR" (SusceptibleInfectedRecovered) diseases, which allows us to interpolate between populations which are static and populations which change partners rapidly in closed populations (no entry/exit). I will then discuss early results in applying these methods to diseases such as HIV in which the population time scales are relevant. 

Can mathematics help save energy in computing? 15:10 Fri 22 May, 2015 :: Engineering North N132 :: Prof Markus Hegland :: ANU
Media...Recent development of computational hardware is characterised by two trends:
1. High levels of duplication of computational capabilities in multicore, parallel and GPU processing, and, 2. Substantially faster development of the speed of computational technology compared to communication
technology
A consequence of these two trends is that energy costs of modern computing devices from mobile phones to
supercomputers are increasingly dominated by communication costs. In order to save energy one would thus
need to reduce the amount of data movement within the computer. This can be achieved by recomputing results
instead of communicating them. The resulting increase in computational redundancy may also be used to make
the computations more robust against hardware faults. Paradoxically, by doing more (computations) we do
use less (energy).
This talk will first discuss for a simple example how a mathematical understanding can be applied to improve
computational results using extrapolation. Then the problem of energy consumption in computational hardware
will be considered. Finally some recent work will be discussed which shows how redundant computing is used
to mitigate computational faults and thus to save energy.


Big things are weird 12:10 Mon 25 May, 2015 :: Napier LG29 :: Luke KeatingHughes :: University of Adelaide
Media...The pyramids of Giza, the depths of the Mariana trench, the massive Einstein Cross Quasar; all of these things are big and weird. Big weird things aren't just apparent in the physical world though, they appear in mathematics too! In this talk I will try to motivate a mathematical big thing and then show that it is weird.
In particular, we will introduce the necessary topology and homotopy theory in order to show that although all finite dimensional spheres are (almost canonically) noncontractible spaces  an infinite dimensional sphere IS contractible! This result's significance will then be explained in the context of Kuiper's Theorem if time permits. 

People smugglers and statistics 12:10 Mon 25 May, 2015 :: Ingkarni Wardli 715 Conference Room :: Prof. Patty Solomon :: School of Mathematical Sciences
Media...In 2012 the Commonwealth Chief Scientist asked for my advice on the statistics being used in people smuggling prosecutions. Many defendants come from poor fishing villages in Indonesia, where births are not routinely recorded and the age of the defendant is not known. However mandatory jail sentences apply in Australia for individuals convicted of people smuggling which do not apply to children less than 18 years old  so assessing the age of each defendant is very important. Following an Australian Human Rights Commission inquiry into the treatment of individuals suspected of people smuggling, the AttorneyGeneral's department sought advice from the Chief Scientist, which is where I come in. I'll present the methods used by the prosecution and defence, which are both wrong, and introduce the prosecutor's fallacy.


Group Meeting 15:10 Fri 29 May, 2015 :: EM 213 :: Dr Judy Bunder :: University of Adelaide
Talk : Patch dynamics for efficient exascale simulations
Abstract
Massive parallelisation has lead to a dramatic increase in available computational power.
However, data transfer speeds have failed to keep pace and are the major limiting factor in the development of exascale computing. New algorithms must be developed which minimise the transfer of data. Patch dynamics is a computational macroscale modelling scheme which provides a coarse macroscale solution of a problem defined on a fine microscale by dividing the domain into many nonoverlapping, coupled patches. Patch dynamics is readily adaptable to massive parallelisation as each processor core can evaluate the dynamics on one, or a few, patches. However, patch coupling conditions interpolate across the unevaluated parts of the domain between patches and require almost continuous data transfer. We propose a modified patch dynamics scheme which minimises data transfer by only reevaluating the patch coupling conditions at `mesoscale' time scales which are significantly larger than the microscale time of the microscale problem. We analyse and quantify the error arising from patch dynamics with mesoscale temporal coupling. 

Complex Systems, Chaotic Dynamics and Infectious Diseases 15:10 Fri 5 Jun, 2015 :: Engineering North N132 :: Prof Michael Small :: UWA
Media...In complex systems, the interconnection between the components of the system determine the dynamics. The system is described by a very large and random mathematical graph and it is the topological structure of that graph which is important for understanding of the dynamical behaviour of the system. I will talk about two specific examples  (1) spread of infectious disease (where the connection between the agents in a population, rather than epidemic parameters, determine the endemic state); and, (2) a transformation to represent a dynamical system as a graph (such that the "statistical mechanics" of the graph characterise the dynamics). 

Instantons and Geometric Representation Theory 12:10 Thu 23 Jul, 2015 :: Engineering and Maths EM212 :: Professor Richard Szabo :: HeriotWatt University
We give an overview of the various approaches to studying
supersymmetric quiver gauge theories on ALE spaces, and their conjectural
connections to twodimensional conformal field theory via AGTtype
dualities. From a mathematical perspective, this is formulated as a
relationship between the equivariant cohomology of certain moduli spaces
of sheaves on stacks and the representation theory of infinitedimensional
Lie algebras. We introduce an orbifold compactification of the minimal
resolution of the Atype toric singularity in four dimensions, and then
construct a moduli space of framed sheaves which is conjecturally
isomorphic to a Nakajima quiver variety. We apply this construction to
derive relations between the equivariant cohomology of these moduli spaces
and the representation theory of the affine Lie algebra of type A.


Dynamics on Networks: The role of local dynamics and global networks on hypersynchronous neural activity 15:10 Fri 31 Jul, 2015 :: Ingkarni Wardli B21 :: Prof John Terry :: University of Exeter, UK
Media...Graph theory has evolved into a useful tool for studying complex brain networks inferred from a variety of measures of neural activity, including fMRI, DTI, MEG and EEG. In the study of neurological disorders, recent work has discovered differences in the structure of graphs inferred from patient and control cohorts. However, most of these studies pursue a purely observational approach; identifying correlations between properties of graphs and the cohort which they describe, without consideration of the underlying mechanisms. To move beyond this necessitates the development of mathematical modelling approaches to appropriately interpret network interactions and the alterations in brain dynamics they permit.
In the talk we introduce some of these concepts with application to epilepsy, introducing a dynamic network approach to study resting state EEG recordings from a cohort of 35 people with epilepsy and 40 adult controls. Using this framework we demonstrate a strongly significant difference between networks inferred from the background activity of people with epilepsy in comparison to normal controls. Our findings demonstrate that a mathematical model based analysis of routine clinical EEG provides significant additional information beyond standard clinical interpretation, which may ultimately enable a more appropriate mechanistic stratification of people with epilepsy leading to improved diagnostics and therapeutics. 

Mathematical Modeling and Analysis of Active Suspensions 14:10 Mon 3 Aug, 2015 :: Napier 209 :: Professor Michael Shelley :: Courant Institute of Mathematical Sciences, New York University
Complex fluids that have a 'bioactive' microstructure, like
suspensions of swimming bacteria or assemblies of immersed biopolymers
and motorproteins, are important examples of socalled active matter.
These internally driven fluids can have strange mechanical properties,
and show persistent activitydriven flows and selforganization. I will
show how firstprinciples PDE models are derived through reciprocal
coupling of the 'active stresses' generated by collective microscopic
activity to the fluid's macroscopic flows. These PDEs have an
interesting analytic structures and dynamics that agree qualitatively
with experimental observations: they predict the transitions to flow
instability and persistent mixing observed in bacterial suspensions, and
for microtubule assemblies show the generation, propagation, and
annihilation of disclination defects. I'll discuss how these models
might be used to study yet more complex biophysical systems.


In vitro models of colorectal cancer: why and how? 15:10 Fri 7 Aug, 2015 :: B19 Ingkarni Wardli :: Dr Tamsin Lannagan :: Gastrointestinal Cancer Biology Group, University of Adelaide / SAHMRI
1 in 20 Australians will develop colorectal cancer (CRC) and it is the second most common cause of cancer death. Similar to many other cancer types, it is the metastases rather than the primary tumour that are lethal, and prognosis is defined by Ã¢ÂÂhow farÃ¢ÂÂ the tumour has spread at time of diagnosis. Modelling in vivo behavior through rapid and relatively inexpensive in vitro assays would help better target therapies as well as help develop new treatments. One such new in vitro tool is the culture of 3D organoids. Organoids are a biologically stable means of growing, storing and testing treatments against bowel cancer. To this end, we have just set up a human colorectal organoid bank across Australia. This consortium will help us to relate in vitro growth patterns to in vivo behaviour and ultimately in the selection of patients for personalized therapies. Organoid growth, however, is complex. There appears to be variable growth rates and growth patterns. Together with members of the ECMS we recently gained funding to better quantify and model spatial structures in these colorectal organoids. This partnership will aim to directly apply the expertise within the ECMS to patient care. 

Modelling terrorism risk  can we predict future trends? 12:10 Mon 10 Aug, 2015 :: Benham Labs G10 :: Stephen Crotty :: University of Adelaide
Media...As we are all aware, the incidence of terrorism is increasing in the world today. This is confirmed when viewing terrorism events since 1970 as a time series. Can we model this increasing trend and use it to predict terrorism events in the future? Probably not, but we'll give it a go anyway. 

Noncrossing quantiles 15:10 Fri 14 Aug, 2015 :: Ingkarni Wardli B21 :: Dr Yanan Fan :: UNSW
Media...Quantile regression has received increased attention in the statistics community in recent years. However, since the quantile regression curves are estimated separately, the curves can cross, leading to invalid response distribution. Many authors have proposed remedies for this in the context of frequentist estimation. In this talk, I will explain some of the existing approaches, and then describe a new Bayesian semiparametric approach for fitting noncrossing quantile regression models simultaneously. 

The Calderon Problem: From the Past to the Present 15:10 Fri 11 Sep, 2015 :: Ingkarni Wardli B21 :: Dr Leo Tzou :: University of Sydney
The problem of determining the electrical conductivity of a body by making voltage and current measurements on the object's surface has various applications in fields such as oil exploration and early detection of malignant breast tumour. This classical problem posed by Calderon remained open until the late '80s when it was finally solved in a breakthrough paper by SylvesterUhlmann.
In the recent years, geometry has played an important role in this problem. The unexpected connection of this subject to fields such as dynamical systems, symplectic geometry, and Riemannian geometry has led to some interesting progress. This talk will be an overview of some of the recent results and an outline of the techniques used to treat this problem. 

Analytic complexity of bivariate holomorphic functions and cluster trees 12:10 Fri 2 Oct, 2015 :: Ingkarni Wardli B17 :: Timur Sadykov :: Plekhanov University, Moscow
The KolmogorovArnold theorem yields a representation of a multivariate continuous function in terms of a composition of functions which depend on at most two variables. In the analytic case, understanding the complexity of such a representation naturally leads to the notion of the analytic complexity of (a germ of) a bivariate multivalued analytic function. According to Beloshapka's local definition, the order of complexity of any univariate function is equal to zero while the nth complexity class is defined recursively to consist of functions of the form a(b(x,y)+c(x,y)), where a is a univariate analytic function and b and c belong to the (n1)th complexity class. Such a represenation is meant to be valid for suitable germs of multivalued holomorphic functions.
A randomly chosen bivariate analytic functions will most likely have infinite analytic complexity. However, for a number of important families of special functions of mathematical physics their complexity is finite and can be computed or estimated. Using this, we introduce the notion of the analytic complexity of a binary tree, in particular, a cluster tree, and investigate its properties.


Modelling Directionality in Stationary Geophysical Time Series 12:10 Mon 12 Oct, 2015 :: Benham Labs G10 :: Mohd Mahayaudin Mansor :: University of Adelaide
Media...Many time series show directionality inasmuch as plots against time and against timetogo are qualitatively different, and there is a range of statistical tests to quantify this effect. There are two strategies for allowing for directionality in time series models. Linear models are reversible if and only if the noise terms are Gaussian, so one strategy is to use linear models with nonGaussian noise. The alternative is to use nonlinear models. We investigate how nonGaussian noise affects directionality in a first order autoregressive process AR(1) and compare this with a threshold autoregressive model with two thresholds. The findings are used to suggest possible improvements to an AR(9) model, identified by an AIC criterion, for the average yearly sunspot numbers from 1700 to 1900. The improvement is defined in terms of onestepahead forecast errors from 1901 to 2014. 

IGA/AMSI Workshop  AustraliaJapan Geometry, Analysis and their Applications 09:00 Mon 19 Oct, 2015 :: Ingkarni Wardli Conference Room 7.15 (Level 7)
Media...Interdisciplinary workshop between Australia and Japan on Geometry, Analysis and their Applications. 

Typhoons and Tigers 12:10 Fri 23 Oct, 2015 :: Hughes Lecture Room 322 :: Assoc. Prof. Andrew Metcalfe :: School of Mathematical Sciences
Media...The Sundarbans, situated on the north coast of India and south west Bangladesh, are one of the world's largest mangrove regions (4100 square kilometres). In India, there are over 4 million inhabitants on the deltaic islands in the region. There is a diverse flora and fauna, and it is the only remaining habitat of the Bengal tiger. The Sundarbans is an UNESCO World Heritage Site and International Biodiversity Reserve.
However, the Sundarbans are prone to flooding from the cyclones that regularly develop in the Bay of Bengal. In this talk I shall describe a stochastic model for the flood risk and explain how this can be used to make decisions about flood mitigation strategies and to provide estimates of the increase in flood risk due to rising sea levels and climate change.


The Mathematics of Crime 15:10 Fri 23 Oct, 2015 :: Ingkarni Wardli B21 :: Prof Andrea Bertozzi :: UCLA
Media...Law enforcement agencies across the US have discovered that partnering with a team of mathematicians and social scientists from UCLA can help them determine where crime is likely to occur. Dr. Bertozzi will talk about the fascinating story behind her participation on the UCLA team that developed a âpredictive policingâ computer program that zerosin on areas that have the highest probability of crime. In addition, the use of mathematics in studying gang crimes and other criminal activities will also be discussed. Commercial use of the "predictivepolicing" program allows communities to put police officers in the right place at the right time, stopping crime before it happens. 

Ocean dynamics of Gulf St Vincent: a numerical study 12:10 Mon 2 Nov, 2015 :: Benham Labs G10 :: Henry Ellis :: University of Adelaide
Media...The aim of this research is to determine the physical dynamics of ocean circulation within Gulf St. Vincent, South Australia, and the exchange of momentum, nutrients, heat, salt and other water properties between the gulf and shelf via Investigator Strait and Backstairs Passage. The project aims to achieve this through the creation of highresolution numerical models, combined with new and historical observations from a moored instrument package, satellite data, and shipboard surveys.
The quasirealistic highresolution models are forced using boundary conditions generated by existing larger scale ROMS models, which in turn are forced at the boundary by a global model, creating a global to regional to local model network. Climatological forcing is done using European Centres for Medium range Weather Forecasting (ECMWF) data sets and is consistent over the regional and local models. A series of conceptual models are used to investigate the relative importance of separate physical processes in addition to fully forced quasirealistic models.
An outline of the research to be undertaken is given:
ÃÂ¢ÃÂÃÂ¢ Connectivity of Gulf St. Vincent with shelf waters including seasonal variation due to wind and thermoclinic patterns;
ÃÂ¢ÃÂÃÂ¢ The role of winter time cooling and formation of eddies in flushing the gulf;
ÃÂ¢ÃÂÃÂ¢ The formation of a temperature front within the gulf during summer time; and
ÃÂ¢ÃÂÃÂ¢ The connectivity and importance of nutrient rich, cool, water upwelling from the Bonney Coast with the gulf via Backstairs Passage during summer time. 

Modelling Coverage in RNA Sequencing 09:00 Mon 9 Nov, 2015 :: Ingkarni Wardli 5.57 :: Arndt von Haeseler :: Max F Perutz Laboratories, University of Vienna
Media...RNA sequencing (RNAseq) is the method of choice for measuring the expression of RNAs in a cell population. In an RNAseq experiment, sequencing the full length of larger RNA molecules requires fragmentation into smaller pieces to be compatible with limited read lengths of most deepsequencing technologies. Unfortunately, the issue of nonuniform coverage across a genomic feature has been a concern in RNAseq and is attributed to preferences for certain fragments in steps of library preparation and sequencing. However, the disparity between the observed nonuniformity of read coverage in RNAseq data and the assumption of expected uniformity elicits a query on the read coverage profile one should expect across a transcript, if there are no biases in the sequencing protocol. We propose a simple model of unbiased fragmentation where we find that the expected coverage profile is not uniform and, in fact, depends on the ratio of fragment length to transcript length. To compare the nonuniformity proposed by our model with experimental data, we extended this simple model to incorporate empirical attributes matching that of the sequenced transcript in an RNAseq experiment. In addition, we imposed an experimentally derived distribution on the frequency at which fragment lengths occur.
We used this model to compare our theoretical prediction with experimental data and with the uniform coverage model. If time permits, we will also discuss a potential application of our model. 

Weak globularity in homotopy theory and higher category theory 12:10 Thu 12 Nov, 2015 :: Ingkarni Wardli B19 :: Simona Paoli :: University of Leicester
Media...Spaces and homotopy theories are fundamental objects of study of algebraic topology. One way to study these objects is to break them into smaller components with the Postnikov decomposition. To describe such decomposition purely algebraically we need higher categorical structures. We describe one approach to modelling these structures based on a new paradigm to build weak higher categories, which is the notion of weak globularity. We describe some of their connections to both homotopy theory and higher category theory. 

Use of epidemic models in optimal decision making 15:00 Thu 19 Nov, 2015 :: Ingkarni Wardli 5.57 :: Tim Kinyanjui :: School of Mathematics, The University of Manchester
Media...Epidemic models have proved useful in a number of applications in epidemiology. In this work, I will present two areas that we have used modelling to make informed decisions. Firstly, we have used an age structured mathematical model to describe the transmission of Respiratory Syncytial Virus in a developed country setting and to explore different vaccination strategies. We found that delayed infant vaccination has significant potential in reducing the number of hospitalisations in the most vulnerable group and that most of the reduction is due to indirect protection. It also suggests that marked public health benefit could be achieved through RSV vaccine delivered to age groups not seen as most at risk of severe disease. The second application is in the optimal design of studies aimed at collection of householdstratified infection data. A design decision involves making a tradeoff between the number of households to enrol and the sampling frequency. Two commonly used study designs are considered: crosssectional and cohort. The search for an optimal design uses Bayesian methods to explore the joint parameterdesign space combined with Shannon entropy of the posteriors to estimate the amount of information for each design. We found that for the crosssectional designs, the amount of information increases with the sampling intensity while the cohort design often exhibits a tradeoff between the number of households sampled and the intensity of followup. Our results broadly support the choices made in existing data collection studies. 

Chaos in dimensions 2 and 3 15:10 Fri 18 Mar, 2016 :: Engineering South S112 :: Dr Andy Hammerlindl :: Monash University
Media...I will talk about known models of chaotic dynamical systems in dimensions two and three, and results which classify the types of chaotic dynamics that are robust under perturbation. I will also talk about my own work towards understanding chaotic dynamics for discretetime systems in dimension three.
This is joint work with C. Bonatti, A. Gogolev, and R. Potrie. 

How predictable are you? Information and happiness in social media. 12:10 Mon 21 Mar, 2016 :: Ingkarni Wardli Conference Room 715 :: Dr Lewis Mitchell :: School of Mathematical Sciences
Media...The explosion of ``Big Data'' coming from online social networks and the like has opened up the new field of ``computational social science'', which applies a quantitative lens to problems traditionally in the domain of psychologists, anthropologists and social scientists. What does it mean to be influential? How do ideas propagate amongst populations? Is happiness contagious? For the first time, mathematicians, statisticians, and computer scientists can provide insight into these and other questions. Using data from social networks such as Facebook and Twitter, I will give an overview of recent research trends in computational social science, describe some of my own work using techniques like sentiment analysis and information theory in this realm, and explain how you can get involved with this highly rewarding research field as well.


Connecting withinhost and betweenhost dynamics to understand how pathogens evolve 15:10 Fri 1 Apr, 2016 :: Engineering South S112 :: A/Prof Mark Tanaka :: University of New South Wales
Media...Modern molecular technologies enable a detailed examination of the extent of genetic variation among isolates of bacteria and viruses. Mathematical models can help make inferences about pathogen evolution from such data. Because the evolution of pathogens ultimately occurs within hosts, it is influenced by dynamics within hosts including interactions between pathogens and hosts. Most models of pathogen evolution focus on either the withinhost or the betweenhost level. Here I describe steps towards bridging the two scales. First, I present a model of influenza virus evolution that incorporates withinhost dynamics to obtain the betweenhost rate of molecular substitution as a function of the mutation rate, the withinhost reproduction number and other factors. Second, I discuss a model of viral evolution in which some hosts are immunocompromised, thereby extending opportunities for withinhost virus evolution which then affects populationlevel evolution. Finally, I describe a model of Mycobacterium tuberculosis in which multidrug resistance evolves within hosts and spreads by transmission between hosts. 

Extreme eigenvalues 15:10 Fri 29 Apr, 2016 :: Engineering South S112 :: Dr Julie Clutterbuck :: Monash University
Media...Each bounded domain has a sequence of eigenvalues attached to it. These are determined by the geometry of the domain, but do not completely encode the geometry. A natural question is to ask: which domains optimise the eigenvalues? For example, which domains have the smallest or largest first eigenvalue, or have the largest gap between eigenvalues? This is a rather old problem, with connections to the isoperimetric problem. I will describe some old and new results. 

Mathematical modelling of the immune response to influenza 15:00 Thu 12 May, 2016 :: Ingkarni Wardli B20 :: Ada Yan :: University of Melbourne
Media...The immune response plays an important role in the resolution of primary influenza infection and prevention of subsequent infection in an individual. However, the relative roles of each component of the immune response in clearing infection, and the effects of interaction between components, are not well quantified.
We have constructed a model of the immune response to influenza based on data from viral interference experiments, where ferrets were exposed to two influenza strains within a short time period. The changes in viral kinetics of the second virus due to the first virus depend on the strains used as well as the interval between exposures, enabling inference of the timing of innate and adaptive immune response components and the role of crossreactivity in resolving infection. Our model provides a mechanistic explanation for the observed variation in viruses' abilities to protect against subsequent infection at short interexposure intervals, either by delaying the second infection or inducing stochastic extinction of the second virus. It also explains the decrease in recovery time for the second infection when the two strains elicit crossreactive cellular adaptive immune responses. To account for intersubject as well as intervirus variation, the model is formulated using a hierarchical framework. We will fit the model to experimental data using Markov Chain Monte Carlo methods; quantification of the model will enable a deeper understanding of the effects of potential new treatments.


Harmonic Analysis in Rough Contexts 15:10 Fri 13 May, 2016 :: Engineering South S112 :: Dr Pierre Portal :: Australian National University
Media...In recent years, perspectives on what constitutes the ``natural" framework within which to conduct various forms of mathematical analysis have shifted substantially. The common theme of these shifts can be described as a move towards roughness, i.e. the elimination of smoothness assumptions that had previously been considered fundamental. Examples include partial differential equations on domains with a boundary that is merely Lipschitz continuous, geometric analysis on metric measure spaces that do not have a smooth structure, and stochastic analysis of dynamical systems that have nowhere differentiable trajectories.
In this talk, aimed at a general mathematical audience, I describe some of these shifts towards roughness, placing an emphasis on harmonic analysis, and on my own contributions. This includes the development of heat kernel methods in situations where such a kernel is merely a distribution, and applications to deterministic and stochastic partial differential equations. 

Behavioural Microsimulation Approach to Social Policy and Behavioural Economics 15:10 Fri 20 May, 2016 :: S112 Engineering South :: Dr Drew Mellor :: Ernst & Young
SIMULAIT is a general purpose, behavioural microsimulation system designed to predict behavioural trends in human populations. This type of predictive capability grew out of original research initially conducted in conjunction with the Defence Science and Technology Group (DSTO) in South Australia, and has been fully commercialised and is in current use by a global customer base. To our customers, the principal value of the system lies in its ability to predict likely outcomes to scenarios that challenge conventional approaches based on extrapolation or generalisation. These types of scenarios include: the impact of disruptive technologies, such as the impact of widespread adoption of autonomous vehicles for transportation or batteries for household energy storage; and the impact of effecting policy elements or interventions, such as the impact of imposing water usage restrictions.
SIMULAIT employs a multidisciplinary methodology, drawing from agentbased modelling, behavioural science and psychology, microeconomics, artificial intelligence, simulation, game theory, engineering, mathematics and statistics. In this seminar, we start with a highlevel view of the system followed by a look under the hood to see how the various elements come together to answer questions about behavioural trends. The talk will conclude with a case study of a recent application of SIMULAIT to a significant policy problem  how to address the deficiency of STEM skilled teachers in the Victorian teaching workforce. 

Time series analysis of paleoclimate proxies (a mathematical perspective) 15:10 Fri 27 May, 2016 :: Engineering South S112 :: Dr Thomas Stemler :: University of Western Australia
Media...In this talk I will present the work my colleagues from the School of
Earth and Environment (UWA), the "trans disciplinary methods" group of
the Potsdam Institute for Climate Impact Research, Germany, and I did to
explain the dynamics of the AustralianSouth East Asian monsoon system
during the last couple of thousand years.
From a time series perspective paleoclimate proxy series are more or
less the monsters moving under your bed that wake you up in the middle
of the night. The data is clearly nonstationary, nonuniform sampled in
time and the influence of stochastic forcing or the level of measurement
noise are more or less unknown. Given these undesirable properties
almost all traditional time series analysis methods fail.
I will highlight two methods that allow us to draw useful conclusions
from the data sets. The first one uses Gaussian kernel methods to
reconstruct climate networks from multiple proxies. The coupling
relationships in these networks change over time and therefore can be
used to infer which areas of the monsoon system dominate the complex
dynamics of the whole system. Secondly I will introduce the
transformation cost time series method, which allows us to detect
changes in the dynamics of a nonuniform sampled time series. Unlike the
frequently used interpolation approach, our new method does not corrupt
the data and therefore avoids biases in any subsequence analysis. While
I will again focus on paleoclimate proxies, the method can be used in
other applied areas, where regular sampling is not possible.


Student Performance Issues in First Year University Calculus 15:10 Fri 10 Jun, 2016 :: Engineering South S112 :: Dr Christine Mangelsdorf :: University of Melbourne
Media...MAST10006 Calculus 2 is the largest subject in the School of Mathematics and Statistics at the University of Melbourne, accounting for about 2200 out of 7400 first year enrolments. Despite excellent and consistent feedback from students on lectures, tutorials and teaching materials, scaled failure rates in Calculus 2 averaged an unacceptably high 29.4% (with raw failure rates reaching 40%) by the end of 2014. To understand the issues behind the poor student performance, we studied the exam papers of students with grades of 4049% over a threeyear period. In this presentation, I will present data on areas of poor performance in the final exam, show samples of student work, and identify possible causes for their errors. Many of the performance issues are found to relate to basic weaknesses in the studentsâ secondary school mathematical skills that inhibit their ability to successfully complete Calculus 2. Since 2015, we have employed a number of approaches to support studentsâ learning that significantly improved student performance in assessment. I will discuss the changes made to assessment practices and extra support materials provided online and in person, that are driving the improvement. 

Multiscale modeling in biofluids and particle aggregation 15:10 Fri 17 Jun, 2016 :: B17 Ingkarni Wardli :: Dr Sarthok Sircar :: University of Adelaide
In today's seminar I will give 2 examples in mathematical biology which describes the multiscale organization at 2 levels: the meso/micro level and the continuum/macro level. I will then detail suitable tools in statistical mechanics to link these different scales.
The first problem arises in mathematical physiology: swellingdeswelling mechanism of mucus, an ionic gel. Mucus is packaged inside cells at high concentration (volume fraction) and when released into the extracellular environment, it expands in volume by two orders of magnitude in a matter of seconds. This rapid expansion is due to the rapid exchange of calcium and sodium that changes the crosslinked structure of the mucus polymers, thereby causing it to swell. Modeling this problem involves a twophase, polymer/solvent mixture theory (in the continuum level description), together with the chemistry of the polymer, its nearest neighbor interaction and its binding with the dissolved ionic species (in the microscale description). The problem is posed as a freeboundary problem, with the boundary conditions derived from a combination of variational principle and perturbation analysis. The dynamics of neutral gels and the equilibriumstates of the ionic gels are analyzed.
In the second example, we numerically study the adhesion fragmentation dynamics of rigid, round particles clusters subject to a homogeneous shear flow. In the macro level we describe the dynamics of the number density of these cluster. The description in the microscale includes (a) binding/unbinding of the bonds attached on the particle surface, (b) bond torsion, (c) surface potential due to ionic medium, and (d) flow hydrodynamics due to shear flow. 

Probabilistic Meshless Methods for Bayesian Inverse Problems 15:10 Fri 5 Aug, 2016 :: Engineering South S112 :: Dr Chris Oates :: University of Technology Sydney
Media...This talk deals with statistical inverse problems that involve partial differential equations (PDEs) with unknown parameters. Our goal is to account, in a rigorous way, for the impact of discretisation error that is introduced at each evaluation of the likelihood due to numerical solution of the PDE. In the context of meshless methods, the proposed, modelbased approach to discretisation error encourages statistical inferences to be more conservative in the presence of significant solver error. In addition, (i) a principled learningtheoretic approach to minimise the impact of solver error is developed, and (ii) the challenge of nonlinear PDEs is considered. The method is applied to parameter inference problems in which nonnegligible solver error must be accounted for in order to draw valid statistical conclusions. 

Approaches to modelling cells and remodelling biological tissues 14:10 Wed 10 Aug, 2016 :: Ingkarni Wardli 5.57 :: Professor Helen Byrne :: University of Oxford
Biological tissues are complex structures, whose evolution is characterised by multiple biophysical processes that act across diverse space and time scales. For example, during normal wound healing, fibroblast cells located around the wound margin exert contractile forces to close the wound while those located in the surrounding tissue synthesise new tissue in response to local growth factors and mechanical stress created by wound contraction. In this talk I will illustrate how mathematical modelling can provide insight into such complex processes, taking my inspiration from recent studies of cell migration, vasculogenesis and wound healing. 

Mathematical modelling of social spreading processes 15:10 Fri 19 Aug, 2016 :: Napier G03 :: Prof Hans De Sterck :: Monash University
Media...Social spreading processes are intriguing manifestations of how humans interact and shape each others' lives. There is great interest in improving our understanding of these processes, and the increasing availability of empirical information in the era of big data and online social networks, combined with mathematical and computational modelling techniques, offer compelling new ways to study these processes.
I will first discuss mathematical models for the spread of political revolutions on social networks. The influence of online social networks and social media on the dynamics of the Arab Spring revolutions of 2011 are of particular interest in our work. I will describe a hierarchy of models, starting from agentbased models realized on empirical social networks, and ending up with populationlevel models that summarize the dynamical behaviour of the spreading process. We seek to understand quantitatively how political revolutions may be facilitated by the modern online social networks of social media.
The second part of the talk will describe a populationlevel model for the social dynamics that cause cigarette smoking to spread in a population. Our model predicts that more individualistic societies will show faster adoption and cessation of smoking. Evidence from a newly composed centurylong composite data set on smoking prevalence in 25 countries supports the model, with potential implications for public health interventions around the world.
Throughout the talk, I will argue that important aspects of social spreading processes can be revealed and understood via quantitative mathematical and computational models matched to empirical data.
This talk describes joint work with John Lang and Danny Abrams. 

Predicting turbulence 14:10 Tue 30 Aug, 2016 :: Napier 209 :: Dr Trent Mattner :: School of Mathematical Sciences
Media...Turbulence is characterised by threedimensional unsteady fluid motion over a wide range of spatial and temporal scales. It is important in many problems of technological and scientific interest, such as drag reduction, energy production and climate prediction.
Turbulent flows are governed by the NavierStokes equations, which are a nonlinear system of partial differential equations. Typically, numerical methods are needed to find solutions to these equations. In turbulent flows, however, the resulting computational problem is usually intractable. Filtering or averaging the NavierStokes equations mitigates the computational problem, but introduces new quantities into the equations. Mathematical models of turbulence are needed to estimate these quantities. One promising turbulence model consists of a random collection of fluid vortices, which are themselves approximate solutions of the NavierStokes equations. 

Singular vector bundles and topological semimetals 12:10 Fri 2 Sep, 2016 :: Ingkarni Wardli B18 :: Guo Chuan Thiang :: University of Adelaide
Media...The elusive Weyl fermion was recently realised as quasiparticle excitations of a topological semimetal. I will explain what a semimetal is, and the precise mathematical sense in which they can be "topological", in the sense of the general theory of topological insulators. This involves understanding vector bundles with singularities, with the aid of MayerVietoris principles, gerbes, and generalised degree theory. 

Modelling evolution of postmenopausal human longevity: The Grandmother Hypothesis 15:10 Fri 2 Sep, 2016 :: Napier G03 :: Dr Peter Kim :: University of Sydney
Media...Human postmenopausal longevity makes us unique among primates, but how did it evolve? One explanation, the Grandmother Hypothesis, proposes that as grasslands spread in ancient Africa displacing foods ancestral youngsters could effectively exploit, older females whose fertility was declining left more descendants by subsidizing grandchildren and allowing mothers to have new babies sooner. As more robust elders could help more descendants, selection favoured increased longevity while maintaining the ancestral end of female fertility.
We develop a probabilistic agentbased model that incorporates two sexes and mating, fertilitylongevity tradeoffs, and the possibility of grandmother help. Using this model, we show how the grandmother effect could have driven the evolution of human longevity. Simulations reveal two stable lifehistories, one humanlike and the other like our nearest cousins, the great apes. The probabilistic formulation shows how stochastic effects can slow down and prevent escape from the ancestral condition, and it allows us to investigate the effect of mutation rates on the trajectory of evolution. 

What is the best way to count votes? 13:10 Mon 12 Sep, 2016 :: Hughes 322 :: Dr Stuart Johnson :: School of Mathematical Sciences
Media...Around the world there are many different ways of counting votes in elections, and even within Australia there are different methods in use in various states. Which is the best method? Even for the simplest case of electing one person in a single electorate there is no easy answer to this, in fact there is a famous result  Arrow's Theorem  which tells us that there is no perfect way of counting votes. I will describe a number of different methods along with their problems before giving a more precise statement of the theorem and outlining a proof 

The mystery of colony collapse: Mathematics and honey bee loss 15:10 Fri 16 Sep, 2016 :: Napier G03 :: Prof Mary Myerscough :: University of Sydney
Media...Honey bees are vital to the production of many foods which need to be pollinated by insects. Yet in many parts of the world honey bee colonies are in decline. A crucial contributor to hive wellbeing is the health, productivity and longevity of its foragers. When forager numbers are depleted due to stressors in the colony (such as disease or malnutrition) or in the environment (such as pesticides) there is a significant effect, not only on the amount of food (nectar and pollen) that can be collected but also on the colony's capacity to raise brood (eggs, larvae and pupae) to produce new adult bees to replace lost or aged bees. We use a set of differential equation models to explore the effect on the hive of high forager death rates. In particular we examine what happens when bees become foragers at a comparatively young age and how this can lead to a sudden rapid decline of adult bees and the death of the colony. 

A principled experimental design approach to big data analysis 15:10 Fri 23 Sep, 2016 :: Napier G03 :: Prof Kerrie Mengersen :: Queensland University of Technology
Media...Big Datasets are endemic, but they are often notoriously difficult to analyse because of their size, complexity, history and quality. The purpose of this paper is to open a discourse on the use of modern experimental design methods to analyse Big Data in order to answer particular questions of interest. By appeal to a range of examples, it is suggested that this perspective on Big Data modelling and analysis has wide generality and advantageous inferential and computational properties. In particular, the principled experimental design approach is shown to provide a flexible framework for analysis that, for certain classes of objectives and utility functions, delivers equivalent answers compared with analyses of the full dataset. It can also provide a formalised method for iterative parameter estimation, model checking, identification of data gaps and evaluation of data quality. Finally it has the potential to add value to other Big Data sampling algorithms, in particular divideandconquer strategies, by determining efficient subsamples. 

Transmission Dynamics of Visceral Leishmaniasis: designing a test and treat control strategy 12:10 Thu 29 Sep, 2016 :: EM218 :: Graham Medley :: London School of Hygiene & Tropical Medicine
Media...Visceral Leishmaniasis (VL) is targeted for elimination from the Indian SubContinent. Progress has been much better in some areas than others. Current control is based on earlier diagnosis and treatment and on insecticide spraying to reduce the density of the vector. There is a surprising dearth of specific information on the epidemiology of VL, which makes modelling more difficult. In this seminar, I describe a simple framework that gives some insight into the transmission dynamics. We conclude that the majority of infection comes from cases prior to diagnosis. If this is the case then, early diagnosis will be advantageous, but will require a test with high specificity. This is a paradox for many clinicians and public health workers, who tend to prioritise high sensitivity.
Medley, G.F., Hollingsworth, T.D., Olliaro, P.L. & Adams, E.R. (2015) Healthseeking, diagnostics and transmission in the control of visceral leishmaniasis. Nature 528, S102S108 (3 December 2015), DOI: 10.1038/nature16042 

Symmetric functions and quantum integrability 15:10 Fri 30 Sep, 2016 :: Napier G03 :: Dr Paul ZinnJustin :: University of Melbourne/Universite Pierre et Marie Curie
Media...We'll discuss an approach to studying families of symmetric polynomials which is based on ''quantum integrability'', that is, on the use of exactly solvable twodimensional lattice models. We'll first explain the general strategy on the simplest case, namely Schur polynomials, with the introduction of a model of lattice paths (a.k.a. fivevertex model). We'll then discuss recent work (in collaboration with M. Wheeler) that extends this approach to HallLittlewood polynomials and Grothendieck polynomials, and some applications of it. 

On the Willmore energy 15:10 Fri 7 Oct, 2016 :: Napier G03 :: Dr Yann Bernard :: Monash University
Media...The Willmore energy of a surface captures its bending. Originally discovered 200 years ago by Sophie Germain in the context of elasticity theory, it has since then been rediscovered numerous times in several areas of science: general relativity, optics, string theory, conformal geometry, and cell biology. For example, our red blood cells assume a peculiar shape that minimises the Willmore energy.
In this talk, I will present the thrilling history of the Willmore energy, its applications, and its main properties. The presentation will be accessible to all mathematicians as well as to advanced undergraduate students. 

Measuring and mapping carbon dioxide from remote sensing satellite data 15:10 Fri 21 Oct, 2016 :: Napier G03 :: Prof Noel Cressie :: University of Wollongong
Media...This talk is about environmental statistics for global remote sensing of atmospheric carbon dioxide, a leading greenhouse gas. An important compartment of the carbon cycle is atmospheric carbon dioxide (CO2), where it (and other gases) contribute to climate change through a greenhouse effect. There are a number of CO2 observational programs where measurements are made around the globe at a small number of groundbased locations at somewhat regular time intervals. In contrast, satellitebased programs are spatially global but give up some of the temporal richness. The most recent satellite launched to measure CO2 was NASA's Orbiting Carbon Observatory2 (OCO2), whose principal objective is to retrieve a geographical distribution of CO2 sources and sinks. OCO2's measurement of columnaveraged mole fraction, XCO2, is designed to achieve this, through a dataassimilation procedure that is statistical at its basis. Consequently, uncertainty quantification is key, starting with the spectral radiances from an individual sounding to borrowing of strength through spatialstatistical modelling. 

Introduction to Lorentz Geometry: Riemann vs Lorentz 12:10 Fri 18 Nov, 2016 :: Engineering North N132 :: Abdelghani Zeghib :: Ecole Normale Superieure de Lyon
Media...The goal is to compare Riemannian and Lorentzian geometries and see what one loses and wins when going from the Riemann to Lorentz. Essentially, one loses compactness and ellipticity, but wins causality structure and mathematical and physical situations
when natural Lorentzian metrics emerge.


Segregation of particles in incompressible flows due to streamline topology and particleboundary interaction 15:10 Fri 2 Dec, 2016 :: Ingkarni Wardli 5.57 :: Professor Hendrik C. Kuhlmann :: Institute of Fluid Mechanics and Heat Transfer, TU Wien, Vienna, Austria
Media...The incompressible flow in a number of classical benchmark problems (e.g. liddriven cavity, liquid bridge) undergoes an instability from a twodimensional steady to a periodic threedimensional flow, which is steady or in form of a traveling wave, if the Reynolds number is increased. In the supercritical regime chaotic as well as regular (quasiperiodic) streamlines can coexist for a range of Reynolds numbers. The spatial structures of the regular regions in threedimensional NavierStokes flows has received relatively little attention, partly because of the high numerical effort required for resolving these structures. Particles whose density does not differ much from that of the liquid approximately follow the chaotic or regular streamlines in the bulk. Near the boundaries, however, their trajectories strongly deviate from the streamlines, in particular if the boundary (wall or free surface) is moving tangentially. As a result of this particleboundary interaction particles can rapidly segregate and be attracted to periodic or quasiperiodic orbits, yielding particle accumulation structures (PAS). The mechanism of PAS will be explained and results from experiments and numerical modelling will be presented to demonstrate the generic character of the phenomenon. 

Collective and aneural foraging in biological systems 15:10 Fri 3 Mar, 2017 :: Lower Napier LG14 :: Dr Jerome Buhl and Dr David Vogel :: The University of Adelaide
The field of collective behaviour uses concepts originally adapted from statistical physics to study how complex collective phenomena such as mass movement or swarm intelligence emerge from relatively simple interactions between individuals. Here we will focus on two applications of this framework. First we will have look at new insights into the evolution of sociality brought by combining models of nutrition and social interactions to explore phenomena such as collective foraging decisions, emergence of social organisation and social immunity. Second, we will look at the networks built by slime molds under exploration and foraging context. 

Fast approximate inference for arbitrarily large statistical models via message passing 15:10 Fri 17 Mar, 2017 :: Engineering South S111 :: Prof Matt Wand :: University of Technology Sydney
We explain how the notion of message passing can be used
to streamline the algebra and computer coding for fast
approximate inference in large Bayesian statistical models.
In particular, this approach is amenable to handling
arbitrarily large models of particular types
once a set of primitive operations is established.
The approach is founded upon a message passing formulation
of mean field variational Bayes that utilizes
factor graph representations of statistical
models. The notion of factor graph fragments is introduced
and is shown to facilitate compartmentalization of the
required algebra and coding. 

Onelayer liquid films loaded with selfpropelled particles and twolayer films under vibration 15:10 Fri 31 Mar, 2017 :: Engineering South S111 :: Dr Andriy Pototskyy :: Swinburne University of Technology
In the first part, we consider a colony of selfpropelled particles (swimmers) in a thin liquid film resting on a solid plate with deformable liquidgas interface. The local surface tension of the liquidgas interface is altered by the local density of swimmers due to the solutoMarangoni effect. Linear stability of the flat film and nonlinear time evolution is analyzed in case of the swarming interaction between the swimmers.
In the second part, we study the Faraday instability and nonlinear patterns in vibrated twolayer liquid films. For gravitationally stable twolayer films with a lighter fluid on top of the heavier fluid, we find squares, hexagons, quasiperiodic patterns with eightfold symmetry as well as localized states in the form of large scale depletion regions or finite depth holes, occurring at the interface and surface. For a RayleighTaylor unstable combination (heavier fluid above the light one) we show that external vibration increases the lifetime of the film by delaying or completely suppressing the film rupture. 

Hyperbolic geometry and knots 15:10 Fri 28 Apr, 2017 :: Engineering South S111 :: A/Prof Jessica Purcell :: Monash University
It has been known since the early 1980s that the complement of a knot or link decomposes into geometric pieces, and the most common geometry is hyperbolic. However, the connections between hyperbolic geometry and other knot and link invariants are not wellunderstood. Conjectured connections have applications to quantum topology and physics, 3manifold geometry and topology, and knot theory. In this talk, we will describe several results relating the hyperbolic geometry of a knot or link to other invariants, and their implications. 

What are operator algebras and what are they good for? 15:10 Fri 12 May, 2017 :: Engineering South S111 :: Prof Aidan Sims :: University of Wollongong
Back in the early 1900s when people were first grappling with the new ideas of quantum mechanics and looking for mathematical techniques to study them, they found themselves, unavoidably, dealing with what have now become known as operator algebras. As a research area, operator algebras has come a very long way since then, and has spread out to touch on many other areas of mathematics, as well as maintaining its links with mathematical physics. I'll try to convey roughly what operator algebras are, and describe some of the highlights of their career thus far, particularly the more recent ones. 

Serotonin Movement Through the Human Colonic Mucosa 15:10 Fri 19 May, 2017 :: Ingkarni Wardli 5.57 :: Helen Dockrell :: Flinders University / Flinders Medical Centre
The control of gut motility remains poorly defined and this makes it difficult to treat disorders associated with dysmotility in patient populations. Intestinal serotonin can elicit and modulate colonic motor patterns and is released in response to a variety of stimuli including nutrient ingestion and pressure change. I will describe a computational model of intestinal tissue and the predicted movement of serotonin through this tissue by advection and diffusion following pressuredependent release. I have developed this model as a PhD candidate under the supervision of Associate Professor Phil Dinning, Professor Damien Keating and Dr Lukasz Wilendt. 

Probabilistic approaches to human cognition: What can the math tell us? 15:10 Fri 26 May, 2017 :: Engineering South S111 :: Dr Amy Perfors :: School of Psychology, University of Adelaide
Why do people avoid vaccinating their children? Why, in groups, does it seem like the most extreme positions are weighted more highly? On the surface, both of these examples look like instances of nonoptimal or irrational human behaviour. This talk presents preliminary evidence suggesting, however, that in both cases this pattern of behaviour is sensible given certain assumptions about the structure of the world and the nature of beliefs. In the case of vaccination, we model people's choices using expected utility theory. This reveals that their ignorance about the nature of diseases like whooping cough makes them underweight the negative utility attached to contracting such a disease. When that ignorance is addressed, their values and utilities shift. In the case of extreme positions, we use simulations of chains of Bayesian learners to demonstrate that whenever information is propagated in groups, the views of the most extreme learners naturally gain more traction. This effect emerges as the result of basic mathematical assumptions rather than human irrationality. 

Exact coherent structures in high speed flows 15:10 Fri 28 Jul, 2017 :: Ingkarni Wardli B17 :: Prof Philip Hall :: Monash University
In recent years, there has been much interest in the relevance of nonlinear solutions of the NavierStokes equations to fully turbulent flows. The solutions must be calculated numerically at moderate Reynolds numbers but in the limit of high Reynolds numbers asymptotic methods can be used to greatly simplify the computational task and to uncover the key physical processes sustaining the nonlinear states. In particular, in confined flows exact coherent structures defining the boundary between the laminar and turbulent attractors can be constructed. In addition, structures which capture the essential physical properties of fully turbulent flows can be found. The extension of the ideas to boundary layer flows and current work attempting to explain the law of the wall will be discussed.


Mathematics is Biology's Next Microscope (Only Better!) 15:10 Fri 11 Aug, 2017 :: Ingkarni Wardli B17 :: Dr Robyn Araujo :: Queensland University of Technology
While mathematics has long been considered "an essential tool for physics", the foundations of biology and the life sciences have received significantly less influence from mathematical ideas and theory. In this talk, I will give a brief discussion of my recent research on robustness in molecular signalling networks, as an example of a complex biological question that calls for a mathematical answer. In particular, it has been a longstanding mystery how the extraordinarily complex communication networks inside living cells, comprising thousands of different interacting molecules, are able to function robustly since complexity is generally associated with fragility. Mathematics has now suggested a resolution to this paradox through the discovery that robust adaptive signalling networks must be constructed from a just small number of welldefined universal modules (or "motifs"), connected together. The existence of these newlydiscovered modules has important implications for evolutionary biology, embryology and development, cancer research, and drug development. 

Mathematics is Biology'ÂÂs Next Microscope (Only Better!) 15:10 Fri 11 Aug, 2017 :: Ingkarni Wardli B17 :: Dr Robyn Araujo :: Queensland University of Technology
While mathematics has long been considered Ã¢ÂÂan essential tool for physics", the foundations of biology and the life sciences have received significantly less influence from mathematical ideas and theory. In this talk, I will give a brief discussion of my recent research on robustness in molecular signalling networks, as an example of a complex biological question that calls for a mathematical answer. In particular, it has been a longstanding mystery how the extraordinarily complex communication networks inside living cells, comprising thousands of different interacting molecules, are able to function robustly since complexity is generally associated with fragility. Mathematics has now suggested a resolution to this paradox through the discovery that robust adaptive signalling networks must be constructed from a just small number of welldefined universal modules (or Ã¢ÂÂmotifsÃ¢ÂÂ), connected together. The existence of these newlydiscovered modules has important implications for evolutionary biology, embryology and development, cancer research, and drug development. 

Topology as a tool in algebra 15:10 Fri 8 Sep, 2017 :: Ingkarni Wardli B17 :: Dr Zsuzsanna Dancso :: University of Sydney
Topologists often use algebra in order to understand the shape of a space: invariants such as homology and cohomology are basic, and very successful, examples of this principle. Although topology is used as a tool in algebra less often, I will describe a recurring pattern on the border of knot theory and quantum algebra where this is possible. We will explore how the tangled topology of "flying circles in R^3" is deeply related to a famous problem in Lie theory: the KashiwaraVergne (KV) problem (first solved in 2006 by AlekseevMeinrenken). I will explain how this relationship illuminates the intricate algebra of the KV problem. 

On the fundamental of RayleighTaylor instability and interfacial mixing 15:10 Fri 15 Sep, 2017 :: Ingkarni Wardli B17 :: Prof Snezhana Abarzhi :: University of Western Australia
RayleighTaylor instability (RTI) develops when fluids of different densities are accelerated against their density gradient. Extensive interfacial mixing of the fluids ensues with time. RayleighTaylor (RT) mixing controls a broad variety of processes in fluids, plasmas and materials, in high and low energy density regimes, at astrophysical and atomistic scales. Examples include formation of hot spot in inertial confinement, supernova explosion, stellar and planetary convection, flows in atmosphere and ocean, reactive and supercritical fluids, material transformation under impact and lightmaterial interaction. In some of these cases (e.g. inertial confinement fusion) RT mixing should be tightly mitigated; in some others (e.g. turbulent combustion) it should be strongly enhanced. Understanding the fundamentals of RTI is crucial for achieving a better control of nonequilibrium processes in nature and technology.
Traditionally, it was presumed that RTI leads to uncontrolled growth of smallscale imperfections, singlescale nonlinear dynamics, and extensive mixing that is similar to canonical turbulence. The recent success of the theory and experiments in fluids and plasmas suggests an alternative scenario of RTI evolution. It finds that the interface is necessary for RT mixing to accelerate, the acceleration effects are strong enough to suppress the development of turbulence, and the RT dynamics is multiscale and has significant degree of order.
This talk presents a physicsbased consideration of fundamentals of RTI and RT mixing, and summarizes what is certain and what is not so certain in our knowledge of RTI. The focus question  How to influence the regularization process in RT mixing? We also discuss new opportunities for improvements of predictive modeling capabilities, physical description, and control of RT mixing in fluids, plasmas and materials. 

Measuring the World's Biggest Bubble 13:10 Tue 19 Sep, 2017 :: Napier LG23 :: Prof Matt Roughan :: School of Mathematical Sciences
Media...Recently I had a bit of fun helping Graeme Denton measure his Guinness World Record (GWR) Largest (Indoor) Soap Bubble. It was a lot harder than I initially thought it would be.
Soap films are interesting mathematically  in principle they form minimal surfaces, and have constant curvature. So it should have been fairly easy. But really big bubbles aren't ideal, so measuring the GWR bubble required a mix of maths and pragmatism. It's a good example of mathematical modeling in general, so I thought it was worth a few words. I'll tell you what we did, and how we estimated how big the bubble actually was.
Some links:
http://www.9news.com.au/goodnews/2017/08/02/13/44/adelaidemanwinsworldrecordforlargestbubble
http://www.abc.net.au/news/20170803/scienceperformercreatesworldslargestindoorsoapbubble/8770260


Understanding burn injuries and first aid treatment using simple mathematical models 15:10 Fri 13 Oct, 2017 :: Ingkarni Wardli B17 :: Prof Mat Simpson :: Queensland University of Technology
Scald burns from accidental exposure to hot liquids are the most common cause of burn injury in children. Over 2000 children are treated for accidental burn injuries in Australia each year. Despite the frequency of these injuries, basic questions about the physics of heat transfer in living tissues remain unanswered. For example, skin thickness varies with age and anatomical location, yet our understanding of how tissue damage from thermal injury is influenced by skin thickness is surprisingly limited. In this presentation we will consider a series of porcine experiments to study heat transfer in living tissues. We consider burning the living tissue, as well as applying various first aid treatment strategies to cool the living tissue after injury. By calibrating solutions of simple mathematical models to match the experimental data we provide insight into how thermal energy propagates through living tissues, as well as exploring different first aid strategies. We conclude by outlining some of our current work that aims to produce more realistic mathematical models. 

How oligomerisation impacts steady state gradient in a morphogenreceptor system 15:10 Fri 20 Oct, 2017 :: Ingkarni Wardli 5.57 :: Mr Phillip Brown :: University of Adelaide
In developmental biology an important process is cell fate determination, where cells start to differentiate their form and function. This is an element of the broader concept of morphogenesis. It has long been held that cell differentiation can occur by a chemical signal providing positional information to 'undecided' cells. This chemical produces a gradient of concentration that indicates to a cell what path it should develop along. More recently it has been shown that in a particular system of this type, the chemical (protein) does not exist purely as individual molecules, but can exist in multiprotein complexes known as oligomers.
Mathematical modelling has been performed on systems of oligomers to determine if this concept can produce useful gradients of concentration. However, there are wide range of possibilities when it comes to how oligomer systems can be modelled and most of them have not been explored.
In this talk I will introduce a new monomer system and analyse it, before extending this model to include oligomers. A number of oligomer models are proposed based on the assumption that proteins are only produced in their oligomer form and can only break apart once they have left the producing cell. It will be shown that when oligomers are present under these conditions, but only monomers are permitted to bind with receptors, then the system can produce robust, biologically useful gradients for a significantly larger range of model parameters (for instance, degradation, production and binding rates) compared to the monomer system. We will also show that when oligomers are permitted to bind with receptors there is negligible difference compared to the monomer system. 

The Markovian binary tree applied to demography and conservation biology 15:10 Fri 27 Oct, 2017 :: Ingkarni Wardli B17 :: Dr Sophie Hautphenne :: University of Melbourne
Markovian binary trees form a general and tractable class of continuoustime branching processes, which makes them wellsuited for realworld applications. Thanks to their appealing probabilistic and computational features, these processes have proven to be an excellent modelling tool for applications in population biology. Typical performance measures of these models include the extinction probability of a population, the distribution of the population size at a given time, the total progeny size until extinction, and the asymptotic population composition. Besides giving an overview of the main performance measures and the techniques involved to compute them, we discuss recently developed statistical methods to estimate the model parameters, depending on the accuracy of the available data. We illustrate our results in human demography and in conservation biology. 

Stochastic Modelling of Urban Structure 11:10 Mon 20 Nov, 2017 :: Engineering Nth N132 :: Mark Girolami :: Imperial College London, and The Alan Turing Institute
Media...Urban systems are complex in nature and comprise of a large number of individuals that act according to utility, a measure of net benefit pertaining to preferences. The actions of individuals give rise to an emergent behaviour, creating the socalled urban structure that we observe. In this talk, I develop a stochastic model of urban structure to formally account for uncertainty arising from the complex behaviour. We further use this stochastic model to infer the components of a utility function from observed urban structure. This is a more powerful modelling framework in comparison to the ubiquitous discrete choice models that are of limited use for complex systems, in which the overall preferences of individuals are difficult to ascertain. We model urban structure as a realization of a Boltzmann distribution that is the invariant distribution of a related stochastic differential equation (SDE) that describes the dynamics of the urban system. Our specification of Boltzmann distribution assigns higher probability to stable configurations, in the sense that consumer surplus (demand) is balanced with running costs (supply), as characterized by a potential function. We specify a Bayesian hierarchical model to infer the components of a utility function from observed structure. Our model is doublyintractable and poses significant computational challenges that we overcome using recent advances in Markov chain Monte Carlo (MCMC) methods. We demonstrate our methodology with case studies on the London retail system and airports in England. 

A multiscale approximation of a CahnLarche system with phase separation on the microscale 15:10 Thu 22 Feb, 2018 :: Ingkarni Wardli 5.57 :: Ms Lisa Reischmann :: University of Augsberg
We consider the process of phase separation of a binary system under the influence of mechanical deformation and we derive a mathematical multiscale model, which describes the evolving microstructure taking into account the elastic properties of the involved materials.
Motivated by phaseseparation processes observed in lipid monolayers in filmbalance experiments, the starting point of the model is the CahnHilliard equation coupled with the equations of linear elasticity, the socalled CahnLarche system.
Owing to the fact that the mechanical deformation takes place on a macrosopic scale whereas the phase separation happens on a microscopic level, a multiscale approach is imperative.
We assume the pattern of the evolving microstructure to have an intrinsic length scale associated with it, which, after nondimensionalisation, leads to a scaled model involving a small parameter epsilon>0, which is suitable for periodichomogenisation techniques.
For the full nonlinear problem the socalled homogenised problem is then obtained by letting epsilon tend to zero using the method of asymptotic expansion.
Furthermore, we present a linearised CahnLarche system and use the method of twoscale convergence to obtain the associated limit problem, which turns out to have the same structure as in the nonlinear case, in a mathematically rigorous way. Properties of the limit model will be discussed. 

Calculating optimal limits for transacting credit card customers 15:10 Fri 2 Mar, 2018 :: Horace Lamb 1022 :: Prof Peter Taylor :: University of Melbourne
Credit card users can roughly be divided into `transactors', who pay off their balance each month, and `revolvers', who maintain an outstanding balance, on which they pay substantial interest.
In this talk, we focus on modelling the behaviour of an individual transactor customer. Our motivation is to calculate an optimal credit limit from the bank's point of view. This requires an expression for the expected outstanding balance at the end of a payment period.
We establish a connection with the classical newsvendor model. Furthermore, we derive the Laplace transform of the outstanding balance, assuming that purchases are made according to a marked point process and that there is a simplified balance control policy which prevents all purchases in the rest of the payment period when the credit limit is exceeded. We then use the newsvendor model and our modified model to calculate bounds on the optimal credit limit for the more realistic balance control policy that accepts all purchases that do not exceed the limit.
We illustrate our analysis using a compound Poisson process example and show that the optimal limit scales with the distribution of the purchasing process, while the probability of exceeding the optimal limit remains constant.
Finally, we apply our model to some real credit card purchase data. 

Models, machine learning, and robotics: understanding biological networks 15:10 Fri 16 Mar, 2018 :: Horace Lamb 1022 :: Prof Steve Oliver :: University of Cambridge
The availability of complete genome sequences has enabled the construction of computer models of metabolic networks that may be used to predict the impact of genetic mutations on growth and survival. Both logical and constraintbased models of the metabolic network of the model eukaryote, the ale yeast Saccharomyces cerevisiae, have been available for some time and are continually being improved by the research community. While such models are very successful at predicting the impact of deleting single genes, the prediction of the impact of higher order genetic interactions is a greater challenge. Initial studies of limited gene sets provided encouraging results. However, the availability of comprehensive experimental data for the interactions between genes involved in metabolism demonstrated that, while the models were able to predict the general properties of the genetic interaction network, their ability to predict interactions between specific pairs of metabolic genes was poor. I will examine the reasons for this poor performance and demonstrate ways of improving the accuracy of the models by exploiting the techniques of machine learning and robotics.
The utility of these metabolic models rests on the firm foundations of genome sequencing data. However, there are two major problems with these kinds of network models  there is no dynamics, and they do not deal with the uncertain and incomplete nature of much biological data. To deal with these problems, we have developed the Flexible Nets (FNs) modelling formalism. FNs were inspired by Petri Nets and can deal with missing or uncertain data, incorporate both dynamics and regulation, and also have the potential for model predictive control of biotechnological processes.


Complexity of 3Manifolds 15:10 Fri 23 Mar, 2018 :: Horace Lamb 1022 :: A/Prof Stephan Tillmann :: University of Sydney
In this talk, I will give a general introduction to complexity of
3manifolds and explain the connections between combinatorics, algebra,
geometry, and topology that arise in its study.
The complexity of a 3manifold is the minimum number of tetrahedra in a
triangulation of the manifold. It was defined and first studied by Matveev
in 1990. The complexity is generally difficult to compute, and various
upper and lower bounds have been derived during the last decades using
fundamental group, homology or hyperbolic volume.
Effective bounds have only been found in joint work with Jaco, Rubinstein
and, more recently, Spreer. Our bounds not only allowed us to determine the
first infinite classes of minimal triangulations of closed 3manifolds, but
they also lead to a structure theory of minimal triangulations of
3manifolds. 

Knot homologies 15:10 Fri 4 May, 2018 :: Horace Lamb 1022 :: Dr Anthony Licata :: Australian National University
The last twenty years have seen a lot of interaction between lowdimensional topology and representation theory. One facet of this interaction concerns "knot homologies," which are homological invariants of knots; the most famous of these, Khovanov homology, comes from the higher representation theory of sl_2. The goal of this talk will be to give a gentle introduction to this subject to nonexperts by telling you a bit about Khovanov homology. 

Stability Through a Geometric Lens 15:10 Fri 18 May, 2018 :: Horace Lamb 1022 :: Dr Robby Marangell :: University of Sydney
Focussing on the example of the Fisher/KPP equation, I will show how geometric information can be used to establish (in)stability results in some partial differential equations (PDEs). Viewing standing and travelling waves as fixed points of a flow in an infinite dimensional system, leads to a reduction of the linearised stability problem to a boundary value problem in a linear nonautonomous ordinary differential equation (ODE). Next, by exploiting the linearity of the system, one can use geometric ideas to reveal additional structure underlying the determination of stability. I will show how the Riccati equation can be used to produce a reasonably computable detector of eigenvalues and how such a detector is related to another, wellknown eigenvalue detector, the Evans function. If there is time, I will try to expand on how to generalise these ideas to systems of PDEs. 

Modelling phagocytosis 15:10 Fri 25 May, 2018 :: Horace Lamb 1022 :: Prof Ngamta (Natalie) Thamwattana :: University of Wollongong
Phagocytosis refers to a process in which one cell type fully encloses and consumes unwanted cells,
debris or particulate matter. It plays an important role in immune systems through the destruction of
pathogens and the inhibiting of cancerous cells. In this study, we combine models on cellcell adhesion
and on predatorprey modelling to generate a new model for phagocytosis that is capable of relating
the interaction between cells in both space and time. Numerical results are presented, demonstrating
the behaviours of cells during the process of phagocytosis. 

Quantifying language change 15:10 Fri 1 Jun, 2018 :: Horace Lamb 1022 :: A/Prof Eduardo Altmann :: University of Sydney
Mathematical methods to study natural language are increasingly important because of the ubiquity of textual data in the Internet. In this talk I will discuss mathematical models and statistical methods to quantify the variability of language, with focus on two problems: (i) How the vocabulary of languages changed over the last centuries? (ii) How the language of scientific disciplines relate to each other and evolved in the last decades? One of the main challenges of these analyses stem from universal properties of word frequencies, which show high temporal variability and are fattailed distributed. The later feature dramatically affects the statistical properties of entropybased estimators, which motivates us to compare vocabularies using a generalized JensonShannon divergence (obtained from entropies of order alpha). 

Quantifying language change 15:10 Fri 1 Jun, 2018 :: Napier 208 :: A/Prof Eduardo Altmann :: University of Sydney
Mathematical methods to study natural language are increasingly important because of the ubiquity of textual data in the Internet. In this talk I will discuss mathematical models and statistical methods to quantify the variability of language, with focus on two problems: (i) How the vocabulary of languages changed over the last centuries? (ii) How the language of scientific disciplines relate to each other and evolved in the last decades? One of the main challenges of these analyses stem from universal properties of word frequencies, which show high temporal variability and are fattailed distributed. The later feature dramatically affects the statistical properties of entropybased estimators, which motivates us to compare vocabularies using a generalized JensonShannon divergence (obtained from entropies of order alpha). 

Tales of Multiple Regression: Informative Missingness, Recommender Systems, and R2D2 15:10 Fri 17 Aug, 2018 :: Napier 208 :: Prof Howard Bondell :: University of Melbourne
In this talk, we briefly discuss two projects tangentially related under the umbrella of highdimensional regression.
The first part of the talk investigates informative missingness in the framework of recommender systems. In this setting, we envision a potential rating for every objectuser pair. The goal of a recommender system is to predict the unobserved ratings in order to recommend an object that the user is likely to rate highly. A typically overlooked piece is that the combinations are not missing at random. For example, in movie ratings, a relationship between the user ratings and their viewing history is expected, as human nature dictates the user would seek out movies that they anticipate enjoying. We model this informative missingness, and place the recommender system in a sharedvariable regression framework which can aid in prediction quality.
The second part of the talk deals with a new class of prior distributions for shrinkage regularization in sparse linear regression, particularly the high dimensional case. Instead of placing a prior on the coefficients themselves, we place a prior on the regression Rsquared. This is then distributed to the coefficients by decomposing it via a Dirichlet Distribution. We call the new prior R2D2 in light of its RSquared Dirichlet Decomposition. Compared to existing shrinkage priors, we show that the R2D2 prior can simultaneously achieve both high prior concentration at zero, as well as heavier tails. These two properties combine to provide a higher degree of shrinkage on the irrelevant coefficients, along with less bias in estimation of the larger signals. 

Discrete fluxes and duality in gauge theory 11:10 Fri 24 Aug, 2018 :: Barr Smith South Polygon Lecture theatre :: Siye Wu :: National Tsinghua University
We explore the notions of discrete electric and magnetic fluxes introduced by 't Hooft in the late 1970s. After explaining
their physics origin, we consider the description in mathematical terminology. We finally study their role in duality. 

Geometry and Topology of Crystals 11:10 Fri 31 Aug, 2018 :: Barr Smith South Polygon Lecture theatre :: Vanessa Robins :: Australian National University
This talk will cover some highlights of the mathematical description of crystal structure from the platonic polyhedra of ancient Greece to the current picture of crystallographic groups as orbifolds. Modern materials synthesis raises fascinating questions about the enumeration and classification of periodic interwoven or entangled frameworks, that might be addressed by techniques from 3manifold topology and knot theory. 

Topological Data Analysis 15:10 Fri 31 Aug, 2018 :: Napier 208 :: Dr Vanessa Robins :: Australian National University
Topological Data Analysis has grown out of work focussed on deriving qualitative and yet quantifiable information about the shape of data. The underlying assumption is that knowledge of shape  the way the data are distributed  permits highlevel reasoning and modelling of the processes that created this data. The 0th order aspect of shape is the number pieces: "connected components" to a topologist; "clustering" to a statistician. Higherorder topological aspects of shape are holes, quantified as "nonbounding cycles" in homology theory. These signal the existence of some type of constraint on the datagenerating process.
Homology lends itself naturally to computer implementation, but its naive application is not robust to noise. This inspired the development of persistent homology: an algebraic topological tool that measures changes in the topology of a growing sequence of spaces (a filtration). Persistent homology provides invariants called the barcodes or persistence diagrams that are sets of intervals recording the birth and death parameter values of each homology class in the filtration. It captures information about the shape of data over a range of length scales, and enables the identification of "noisy" topological structure.
Statistical analysis of persistent homology has been challenging because the raw information (the persistence diagrams) are provided as sets of intervals rather than functions. Various approaches to converting persistence diagrams to functional forms have been developed recently, and have found application to data ranging from the distribution of galaxies, to porous materials, and cancer detection. 

Mathematical modelling of the emergence and spread of antimalarial drug resistance 15:10 Fri 14 Sep, 2018 :: Napier 208 :: Dr Jennifer Flegg :: University of Melbourne
Malaria parasites have repeatedly evolved resistance to antimalarial drugs, thwarting efforts to eliminate the disease and contributing to an increase in mortality. In this talk, I will introduce several statistical and mathematical models for monitoring the emergence and spread of antimalarial drug resistance. For example, results will be presented from Bayesian geostatistical models that have quantified the spacetime trends in drug resistance in Africa and Southeast Asia. I will discuss how the results of these models have been used to update public health policy. 

Exceptional quantum symmetries 11:10 Fri 5 Oct, 2018 :: Barr Smith South Polygon Lecture theatre :: Scott Morrison :: Australian National University
I will survey our current understanding of "quantum symmetries", the mathematical models of topological order, in particular through the formalism of fusion categories. Our very limited classification results to date point to nearly all examples being built out of data coming from finite groups, quantum groups at roots of unity, and cohomological data. However, there are a small number of "exceptional" quantum symmetries that so far appear to be disconnected from the world of classical symmetries as studied in representation theory and group theory. I'll give an update on recent progress understanding these examples. 

Interactive theorem proving for mathematicians 15:10 Fri 5 Oct, 2018 :: Napier 208 :: A/Prof Scott Morrison :: Australian National University
Mathematicians use computers to write their proofs (LaTeX), and to do their calculations (Sage, Mathematica, Maple, Matlab, etc, as well as custom code for simulations or searches). However today we rarely use computers to help us to construct and understand proofs.
There is a long tradition in computer science of interactive and automatic theorem proving; particularly today these are important tools in engineering correct software, as well as in optimisation and compilation. There have been some notable examples of formalisation of modern mathematics (e.g. the odd order theorem, the Kepler conjecture, and the fourcolour theorem). Even in these cases, huge engineering efforts were required to translate the mathematics to a form a computer could understand. Moreover, in most areas of research there is a huge gap between the interests of human mathematicians and the abilities of computer provers.
Nevertheless, I think it's time for mathematicians to start getting interested in interactive theorem provers! It's now possible to write proofs, and write tools that help write proofs, in languages which are expressive enough to encompass most of modern mathematics, and ergonomic enough to use for general purpose programming.
I'll give an informal introduction to dependent type theory (the logical foundation of many modern theorem provers), some examples of doing mathematics in such a system, and my experiences working with mathematics students in these systems. 

Twisted Ktheory of compact Lie groups and extended Verlinde algebras 11:10 Fri 12 Oct, 2018 :: Barr Smith South Polygon Lecture theatre :: ChiKwong Fok :: University of Adelaide
In a series of recent papers, Freed, Hopkins and Teleman put forth a deep result which identifies the twisted K theory of a compact Lie group G with the representation theory of its loop group LG. Under suitable conditions, both objects can be enhanced to the Verlinde algebra, which appears in mathematical physics as the Frobenius algebra of a certain topological quantum field theory, and in algebraic geometry as the algebra encoding information of moduli spaces of Gbundles over Riemann surfaces. The Verlinde algebra for G with nice connectedness properties have been wellknown. However, explicit descriptions of such for disconnected G are lacking. In this talk, I will discuss the various aspects of the FreedHopkinsTeleman Theorem and partial results on an extension of the Verlinde algebra arising from a disconnected G. The talk is based on work in progress joint with David Baraglia and Varghese Mathai. 

Random walks 15:10 Fri 12 Oct, 2018 :: Napier 208 :: A/Prof Kais Hamza :: Monash University
A random walk is arguably the most basic stochastic process one can define. It is also among the most intuitive objects in the theory of probability and stochastic processes. For these and other reasons, it is one of the most studied processes or rather family of processes, finding applications in all areas of science, technology and engineering.
In this talk, I will start by recalling some of the classical results for random walks and then discuss some of my own recent explorations in this area of research that has maintained relevance for decades. 

Bayesian Synthetic Likelihood 15:10 Fri 26 Oct, 2018 :: Napier 208 :: A/Prof Chris Drovandi :: Queensland University of Technology
Complex stochastic processes are of interest in many applied disciplines. However, the likelihood function associated with such models is often computationally intractable, prohibiting standard statistical inference frameworks for estimating model parameters based on data. Currently, the most popular simulationbased parameter estimation method is approximate Bayesian computation (ABC). Despite the widespread applicability and success of ABC, it has some limitations. This talk will describe an alternative approach, called Bayesian synthetic likelihood (BSL), which overcomes some limitations of ABC and can be much more effective in certain classes of applications. The talk will also describe various extensions to the standard BSL approach. This project has been a joint effort with several academic collaborators, postdocs and PhD students. 

The role of microenvironment in regulation of cell infiltration and bortezomibOV therapy in glioblastoma 15:10 Fri 11 Jan, 2019 :: IW 5.57 :: Professor Yangjin Kim :: Konkuk University, South Korea
Tumor microenvironment (TME) plays a critical role in regulation of tumor cell invasion in glioblastoma. Many microenvironmental factors such as extracllular matrix, microglia and astrocytes can either block or enhance this critical infiltration step in brain [4]. Oncolytic viruses such as herpes simplex virus1 (oHSV) are genetically modified to target and kill cancer cells while not harming healthy normal cells and are currently under multiple clinical trials for safety and efficacy [1]. Bortezomib is a peptidebased proteasome inhibitor and is an FDAapproved drug for myeloma and mantle cell lymphoma. Yoo et al (2) have previously demonstrated that bortezomibinduced unfolded protein response (UPR) in many tumor cell lines (glioma, ovarian, and head and neck) upregulated expression of heat shock protein 90 (HSP90), which then enhanced viral replication through promotion of nuclear localization of the viral polymerase in vitro. This led to synergistic tumor cell killing in vitro, and a combination treatment of mice with oHSV and bortezomib showed improved antitumor efficacy in vivo [2]. This combination therapy also increased the surface expression levels of NK cell activating markers and enhanced proinflammatory cytokine secretion. These findings demonstrated that the synergistic interaction between oHSV and bortezomib, a clinically relevant proteasome inhibitor, augments the cancer cell killing and promotes overall therapeutic efficacy. We investigated the role of NK cells in combination therapy with oncolytic virus (OV) and bortezomib. NK cells display rapid and potent immunity to metastasis and hematological cancers, and they overcome immunosuppressive effects of tumor microenvironment. We developed a mathematical model, a system of PDEs, in order to address the question of how the density of NK cells affects the growth of the tumor [3]. We found that the antitumor efficacy increases when the endogenous NKs are depleted, and also when exogenous NK cells are injected into the tumor. We also show that the TME plays a significant role in antitumor efficacy in OV combination therapy, and illustrate the effect of different spatial patterns of OV injection [5]. The results illustrate a possible phenotypic switch within tumor populations in a given microenvironment, and suggest new antiinvasion therapies. These predictions were validated by our in vivo and in vitro experiments.
References
1] Â Kanai R, â¦ Rabkin SD, âOncolytic herpes simplex virus vectors and chemotherapy: are combinatorial strategies more effective for cancer?â, Future Oncology, 6(4), 619â634, 2010. â¨
[2] Â Yoo J, et al., âBortezomibinduced unfolded protein response increases oncolytic hsv1 replication resulting in synergistic antitumor effectâ, Clin Cancer Res , Vol. 20(14), 2014, pp. 37873798. â¨
[3] Â Yangjin Kim,..Balveen Kaur and Avner Friedman, âComplex role of NK cells in regulation of oncolytic virusbortezomib therapyâ, PNAS, 115 (19), pp. 49274932, 2018. â¨
[4] Yangjin Kim, ..Sean Lawler, and Mark Chaplain, âRole of extracellular matrix and microenvironment in regulation of tumor growth and LARmediated invasion in glioblastomaâ, PLoS One, 13(10):e0204865, 2018. â¨
[5] Yangjin Kim, â¦, Hans G. Othmer, âSynergistic effects of bortezomibOV therapy and antiinvasiveâ¨strategies in glioblastoma: A mathematical modelâ, Special issue, submitted, 2018. 
News matching "Mathematical modelling of lobster populations in S" 
Summer Research Scholarship Applications NOW OPEN Applications for AMSI Vacation Scholarships and Adelaide Summer Research Scholarships are now OPEN.
AMSI Vacation Scholarships: Closing date Friday 16th September.
http://vrs.amsi.org.au/
University of Adelaide Summer Research Scholarships: Closing date Friday 7th October.
http://www.ecms.adelaide.edu.au/scholarships/summer/
Please submit all Adelaide applications to the School of Mathematical Sciences.
Posted Wed 30 Nov 1.More information... 

ARC success The School of Mathematical Sciences was again very successful in attracting Australian Research Council funding for 2008. Recipients of ARC Discovery Projects are (with staff from the School highlighted):
Prof NG Bean; Prof PG Howlett; Prof CE Pearce; Prof SC Beecham; Dr AV Metcalfe; Dr JW Boland:
WaterLog  A mathematical model to implement recommendations of The Wentworth Group.
20082010: $645,000
Prof RJ Elliott:
Dynamic risk measures.
(Australian Professorial Fellowship)
20082012: $897,000
Dr MD Finn:
Topological Optimisation of Fluid Mixing.
20082010: $249,000
Prof PG Bouwknegt; Prof M Varghese; A/Prof S Wu:
Dualities in String Theory and Conformal Field Theory in the context of the Geometric Langlands Program.
20082010: $240,000
The latter grant is held through the ANU Posted Wed 26 Sep 07. 

New Professor of Statistical Bioinformatics Associate Professor Patty Solomon will take up the Chair of Statistical Bioinformatics within the School of Mathematical Sciences effective from 29th of October, 2007. Posted Mon 29 Oct 07. 

Mathematics Building to be demolished The existing mathematics building will be demolished to make way for a new 8storey, 6star building. The new building, which is expected to be completed for the start of semester 1, 2010, will house the Schools of Electrical and Electronic Engineering, Computer Science and Mathematical Sciences. The demolition will begin on 10th December 2007. See the Building Life Impact website for more details. Posted Mon 12 Nov 07. 

School of Mathematical Sciences has a new home. From the 10th of December the School of Mathematical Sciences will be located on levels 3 and 4 of 10 Pulteney Street. The School office is located on level 3 and is open from 10:00 am to 3:00 pm, Monday to Friday. Posted Sun 9 Dec 07. 

School to move to new accommodation In anticipation of the demolition of the existing Mathematics building, the School of Mathematical Sciences will be moving to new temporary accommodation. As from 10th December 2007 we can be found on level 3 (School Office) and 4 of 10 Pulteney Street. Posted Mon 10 Dec 07. 

Potts Medal Winner Professor Charles Pearce, the Elder Profesor of Mathematics, was awarded the Ren Potts Medal by the Australian Society for Operations
Research at its annual meeting in December. This is a national award for outstanding
contributions to Operations Research in Australia.
Posted Tue 22 Jan 08. 

Success in Learning and Teaching Grants The School of Mathematical Sciences has been awarded two Faculty L&T awards. Congratulations to Dr David Green for his successful grant "One Simulation Modelling Instruction Module" and to Drs Adrian Koerber, Paul McCann and Jim Denier for their successful grant "Graphics Calculators and beyond". Posted Tue 11 Mar 08. 

ICTAM 2008 The 2008 IUTAM International Congress of Theoretical and Applied Mechanics was hosted by the South Australian theoretical and applied mechanics community. Visit the congress website for full details. Posted Mon 25 Aug 08. 

Teaching Fellow Position Visiting Teaching Fellow School of Mathematical Sciences (Ref: 3808)
We are seeking a Visiting Teaching Fellow (Associate Lecturer) who will be
responsible for developing better links between the University of Adelaide
and secondary schools and developing new approaches for firstyear
undergraduate teaching. You will be required to conduct tutorials in first
year mathematics and statistics subjects for up to 16 hours per week, and
assist in subject assessment and curriculum development.
This position would suit an experienced mathematics teacher with strong
mathematical training and an interest and recent involvement in teaching
advanced mathematics units in years 11 and 12. Fixedterm position available
from 19 January 2009 to 31 December 2009. Salary: (Level A) $49,053 
$66,567 per annum.Plus an employer superannuation contribution of 17%
applies. (Closing date 14/11/08.)
Please see the University web site for further details. Posted Wed 17 Sep 08. 

Mini Winter School on Geometry and Physics The Institute for Geometry and its Applications will host a Winter School on Geometry and Physics on 2022 July 2009. There will be three days of expository lectures aimed at 3rd year and honours students interested in postgraduate studies in pure mathematics or mathematical physics. Posted Wed 24 Jun 09.More information... 

Three postdoc positions advertised The School of Mathematical Sciences is seeking to appoint three postdoctoral research associates. These positions have now closed. Posted Wed 29 Jul 09. 

Adelaide becomes full member of the Australian Mathematical Sciences Institute The University of Adelaide, through the School of Mathematical Sciences, has recently become a full member of the Australian Mathematical Sciences Institute. AMSI undertakes wide ranging activities to support the Mathematical Sciences within Australia. Full details of AMSI and their activities can be found on their website Posted Wed 29 Jul 09. 

Prizegiving photographs now available Congratulations again to all of the 2008 School of Mathematical Sciences student prizewinners. A selection of photographs from the prizegiving evening at the Museum of South Australia is now available. Posted Wed 26 Aug 09.More information... 

Sam Cohen wins prize for best student talk at Aust MS 2009 Congratulations to Mr Sam Cohen, a PhD student within the School, who was awarded the B. H. Neumann Prize for the best student paper at the 2009 meeting of the Australian Mathematical Society for his talk on
Dynamic Risk Measures and Nonlinear Expectations with Markov Chain noise. Posted Tue 6 Oct 09. 

Welcome to Dr Joshua Ross We welcome Dr Joshua Ross as a new lecturer in the School of Mathematical Sciences. Joshua has moved over to Adelaide from the University of Cambridge. His research interests are mathematical modelling (especially mathematical biology) and operations research. Posted Mon 15 Mar 10.More information... 

Maths by Email has arrived Maths by Email is an initiative of CSIRO and the Australian Mathematical Sciences Institute. It is a free fortnightly email newsletter featuring maths news and events. To find out more, including how to subscribe, go to the
Maths by Email website. Posted Thu 8 Apr 10.More information... 

We're in Innova 21 The School of Mathematical Sciences has moved to Floors 6 and 7 of the new Innova 21 building. The School Reception is located on Floor 6.
Posted Sun 18 Jul 10. 

Prize Giving Dinner The School of Mathematical Sciences Prize Giving Dinner was held on 29th of July in the Pacific Cultures Gallery of the South Australian Museum. Photos from the evening can be
found here.
Posted Thu 29 Jul 10. 

IGA Lecture Series by Professor Dan Freed The School of Mathematical Sciences will host a series of lectures by Professor Dan Freed (University of Texas, Austin) as part of an upcoming IGA/AMSI workshop, October 1822, 2010. Details of the workshop can be found here. Posted Tue 5 Oct 10. 

ARC Grant successes The School of Mathematical Sciences has again had outstanding success in the ARC Discovery and Linkage Projects schemes.
Congratulations to the following staff for their success in the Discovery Project scheme:
Prof Nigel Bean, Dr Josh Ross, Prof Phil Pollett, Prof Peter Taylor, New methods for improving active adaptive management in biological systems, $255,000 over 3 years;
Dr Josh Ross, New methods for integrating population structure and stochasticity into models of disease dynamics, $248,000 over three years;
A/Prof Matt Roughan, Dr Walter Willinger, Internet trafficmatrix synthesis, $290,000 over three years;
Prof Patricia Solomon, A/Prof John Moran, Statistical methods for the analysis of critical care data, with application to the Australian and New Zealand Intensive Care Database, $310,000 over 3 years;
Prof Mathai Varghese, Prof Peter Bouwknegt, Supersymmetric quantum field theory, topology and duality, $375,000 over 3 years;
Prof Peter Taylor, Prof Nigel Bean, Dr Sophie Hautphenne, Dr Mark Fackrell, Dr Malgorzata O'Reilly, Prof Guy Latouche, Advanced matrixanalytic methods with applications, $600,000 over 3 years.
Congratulations to the following staff for their success in the Linkage Project scheme:
Prof Simon Beecham, Prof Lee White, A/Prof John Boland, Prof Phil Howlett, Dr Yvonne Stokes, Mr John Wells, Paving the way: an experimental approach to the mathematical modelling and design of permeable pavements, $370,000 over 3 years;
Dr Amie Albrecht, Prof Phil Howlett, Dr Andrew Metcalfe, Dr Peter Pudney, Prof Roderick Smith, Saving energy on trains  demonstration, evaluation, integration, $540,000 over 3 years
Posted Fri 29 Oct 10. 

Go8Germany Research Cooperation Scheme Congratulations to Thomas Leistner whose application under the Go8Germany Research Cooperation Scheme is one of 24 across Australia to be funded in 20112012. Thomas will work with Professor Helga Baum of Humbolt University in Berlin on spinor field equations in global Lorentzian geometry. Posted Thu 4 Nov 10. 

New Fellow of the Australian Academy of Science Professor Mathai Varghese, Professor of Pure Mathematics and ARC Professorial Fellow within the School of Mathematical Sciences, was elected to the Australian Academy of Science. Professor Varghese's citation read "for his distinguished for his work in geometric analysis involving the topology of manifolds, including the MathaiQuillen formalism in topological field theory.". Posted Tue 30 Nov 10. 

Bushfire CRC postgraduate scholarship success Congratulations to Mika Peace who has been awarded a PhD scholarship from the Bushfire Cooperative Research Centre. Mika is working with Trent Mattner and Graham Mills (from the Bureau of Meteorology) on coupled fireweather modelling Posted Wed 6 Apr 11. 

ARC Future Fellowship success Associate Professor Zudi Lu has been awarded an ARC Future Fellowship. Associate Professor Lu, and Associate Professor in Statistics, will use the support provided by his Future Fellowship to further improve the theory and practice of econometric modelling of nonlinear spatial time series. Congratulations Zudi. Posted Thu 12 May 11. 

Hydrological Society of SA Ian Liang Prize Congratulations to Hayden Tronnolone who has been awarded the 2011 Ian Laing Prize by the Hydrological Society of South Australia. The annual prize, awarded to a student undertaking the final year of an ordinary or honours degree course or post graduate diploma course which involves some study of hydrology, water resource management, or related sciences, was awarded to Hayden for the work he undertook in his honours project on the study of flow in spiral particle separators. Hayden ins currently undertaking a PhD under the supervision of Dr Yvonne Stokes and Dr Matt Finn. Posted Mon 30 May 11. 

ARC Grant successes The School of Mathematical Sciences has again been successful in securing funding through the ARCs Linkage Project Scheme.
Congratulations to Tong Roberts for his success in the ARCs Linkage Projects scheme:
Prof Pavel Bedrikovetski, Prof Anthony J Roberts, A/Prof Andrei G Kotooussov, Prof Mark JBiggs, Prof Sheik S Rahman, Dr Yildiray Cinar, Dr Mark R Tingay, Dr Manouchehr Haghighi, A/Prof Phillip Pendleton, Dr John D Codrington, Mr Jose T Rodrigues, Mr Imran Abbasy, Novel technology for enhanced coal seam gas production utilising mechanisms of stimulated cleat permeability through graded particle injection $360,000 over three years.
Posted Wed 1 Jun 11. 

Inaugural winner of the Alf van der Poorten Travelling Fellowship Congratulations to Dr Ray Vozzo who has been awarded the inaugural Alf van der Poorten Travelling Fellowship from the Australian Mathematical Society. Ray will use the fellowship to attend a meeting in Potsdam and visit colleagues in the United Kingdom. Posted Wed 20 Jul 11. 

First AustralianNew Zealand Rotating Flows Workshop The first AustralianNew Zealand Rotating Flow Workshop will be held from 9th to 11th of January 2012. The workshop, organised by the School of Mathematical Sciences at the University of Adelaide and the Department of Engineering Science at the University of Auckland, will bring together world leading researchers in the broad field of rotating flows. The workshop is sponsored by AMSI, the School of Mathematical Sciences, the University of Auckland and the Royal Society of New Zealand.
Please visit the workshop website for further details. Posted Sat 24 Sep 11. 

ARC Grant Success Congratulations to the following staff who were successful in securing funding from the Australian Research Council Discovery Projects Scheme. Associate Professor Finnur Larusson awarded $270,000 for his project Flexibility and symmetry in complex geometry; Dr Thomas Leistner, awarded $303,464 for his project Holonomy groups in Lorentzian geometry, Professor Michael Murray Murray and Dr Daniel Stevenson (Glasgow), awarded $270,000 for their project Bundle gerbes: generalisations and applications; Professor Mathai Varghese, awarded $105,000 for his project Advances in index theory and Prof Anthony Roberts and Professor Ioannis Kevrekidis (Princeton) awarded $330,000 for their project Accurate modelling of large multiscale dynamical systems for engineering and scientific
simulation and analysis Posted Tue 8 Nov 11. 

Best paper prize at Membrane Symposium Congratulations to Wei Xian Lim who was awarded the prize for the best student presentation at the Membrane Society of Australasia 2011 ECR Membrane Symposium for her talk on "Mathematical modelling of gas capture in porous materials". Xian is working on her PhD with Jim Hill and Barry Cox. Posted Mon 28 Nov 11. 

The mathematical implications of gaugestring dualities Between Monday 5 and Friday 9 March 2012, the Institute for Geometry and its Applications will host a lecture series by Rajesh Gopakumar from the HarishChandra Research Institute. These lectures will be supplemented by talks by other invited speakers. Posted Tue 6 Dec 11.More information... 

Topup scholarship available A PhD opportunity is available to help in mathematical modelling of the interaction of ocean waves and sea ice. For information, see this advertisement. Posted Thu 1 Nov 12. 

Summer Research Student Thomas Brown wins the AMSI/Cambridge University Press Prize for 2013 Congratulations to Thomas Brown, jointly supervised by Ed Green and Ben Binder who won the AMSI/Cambridge University Press Prize for the best talk at the 2013 CSIRO Big Day In, recently held this month.
After completion of their summer project, vacation scholars must submit a project report which summarises the project and addresses the nature of the topic, methods of investigation, results found, and benefits of the experience. The scholars then present a 15minute presentation about their project at the CSIRO Big Day In (BDI). This experience enables students to meet and socialise with their peers, gain experience presenting to their colleagues and supervisors and learn about a range of careers in science by interacting with several CSIRO scientists (including mathematicians) in a discussion panel.
This is a very pleasing result for Thomas, Ed and Ben as well as for the School of Mathematical Sciences. Well done Thomas.
Posted Fri 15 Feb 13. 

Outstanding results in the COMAP Mathematical Contest in Modeling Congratulations to Parsa Kavkani, Alex Tam, Leon Chea, Helen Geng and Susan Pang, who participated in this year's Mathematical Contest in Modeling, run by the Consortium for Mathematics and Its Applications (COMAP).
The team with Parsa Kavkani and Alex Tam was designated an "Outstanding Winner" for Problem A (on the spreading of Ebola) and was awarded an INFORMS award for their work. Only 5 outstanding winners were selected from over 5000 entries for this problem, which is an amazing achievement.
The team with Leon Chea, Helen Geng and Susan Pang was designated a "Meritorious Winner" for Problem A. There were about 640 meritorious winners out of the 5000, which is also an excellent achievement. Posted Tue 28 Apr 15.More information... 

Mr Hao Guo, 2016 B.H. Neumann Prize recipient A fantastic way to end 2016 for Mr Hao Guo (supervisors: Varghese, Wang) on being awarded the prestigious 2016 B.H. Neumann Prize in December (Certificate).
The School of Mathematical Sciences warmly congratulates Hao for this outstanding achievement!
Posted Fri 23 Dec 16.More information... 

A/Prof Joshua Ross, 2017 Moran Medal recipient Congratulations to Associate Professor Joshua Ross who has won the 2017 Moran Medal, awarded by the Australian Academy of Science.
The Moran Medal recognises outstanding research by scientists up to 10 years postPhD in applied probability, biometrics, mathematical genetics, psychometrics and statistics.
Associate Professor Ross has made influential contributions to public health and conservation biology using mathematical modelling and statistics to help in decision making.
Posted Fri 23 Dec 16.More information... 

ARC grant recipients The School of Mathematical Sciences wishes to warmly congratulate the school recipients of the latest ARC grant round which was announced on Tuesday, 1 November. These grants include 1 Future Fellowship (Y. Stokes), 1 Discovery Early Career Research Award (Guo Chuan Thiang) and 1 Discovery Project grant (Varghese, Baraglia).
Posted Fri 23 Dec 16. 

Elder Professor Mathai Varghese Awarded Australian Laureate Fellowship Professor Mathai Varghese, Elder Professor of Mathematics in the School of Mathematical Sciences, has been awarded an Australian Laureate Fellowship worth $1.64 million to advance Index Theory and its applications. The project is expected to enhance Australiaâs position at the forefront of international research in geometric analysis. Posted Thu 15 Jun 17.More information... 

Elder Professor Mathai Varghese Awarded Australian Laureate Fellowship Professor Mathai Varghese, Elder Professor of Mathematics in the School of Mathematical Sciences, has been awarded an Australian Laureate Fellowship worth $1.64 million to advance Index Theory and its applications. The project will enhance Australia's position at the forefront of international research in geometric analysis. Posted Thu 15 Jun 17.More information... 
Publications matching "Mathematical modelling of lobster populations in S"Publications 

Evaluation of the impact of breast cancer screening in South Australia Tallis, George; O'Neill, Terence, Internal Medicine Journal 39 (174–178) 2009  Inversion of analytically perturbed linear operators that are singular at the origin Howlett, P; Avrachenkov, K; Pearce, Charles; Ejov, V, Journal of Mathematical Analysis and Applications 353 (68–84) 2009  Noncommutative correspondences, duality and Dbranes in bivariant Ktheory Brodzki, J; Varghese, Mathai; Rosenberg, J; Szabo, R, Advances in Theoretical and Mathematical Physics 13 (497–552) 2009  On Markovmodulated exponentialaffine bond price formulae Elliott, Robert; Siu, T, Applied Mathematical Finance 16 (1–15) 2009  Tduality as a duality of loop group bundles Bouwknegt, Pier; Varghese, Mathai, Journal of Physics A: Mathematical and Theoretical (Print Edition) 42 (1620011–1620018) 2009  Forecasting drought in eastern Australia Wong, G; Leonard, Michael; Lambert, Martin; Metcalfe, Andrew, Water Down Under 2008, Adelaide 14/04/08  Modelling Water BlendingSensitivity of Optimal Policies Webby, Roger; Green, David; Metcalfe, Andrew, 17th Biennial Congress on Modeling and Simulation, New Zealand 01/12/08  Spatially inhomogeneous poisson model of rainfall across Australia Leonard, Michael; Osti, Alexander; Lambert, Martin; Metcalfe, Andrew, Water Down Under 2008, Adelaide 14/04/08  Stochastic cyclone modelling in the Bay of Bengal Need, Steven; Lambert, Martin; Metcalfe, Andrew; Sen, D, Water Down Under 2008, Adelaide 14/04/08  A discrete version of the Riemann Hilbert problem Larusson, Finnur; Sadykov, T, Russian Mathematical Surveys 63 (973–975) 2008  Dbranes, RRfields and duality on noncommutative manifolds Brodzki, J; Varghese, Mathai; Rosenberg, J; Szabo, R, Communications in Mathematical Physics 277 (643–706) 2008  Dessins d'enfants and differential equations Larusson, Finnur; Sadykov, T, St Petersburg Mathematical Journal 19 (1003–1014) 2008  Evolving gene frequencies in a population with three possible alleles at a locus Hajek, Bronwyn; Broadbridge, P; Williams, G, Mathematical and Computer Modelling 47 (210–217) 2008  Mathematical modeling as an accurate predictive tool in capillary and microstructured fiber manufacture: The effects of preform rotation Voyce, Christopher; Fitt, A; Monro, Tanya, Journal of Lightwave Technology 26 (791–798) 2008  Mathematical modeling of glucose supply toward successful in vitro maturation of mammalian oocytes Stokes, Yvonne; Clark, Alys; Thompson, Jeremy, Tissue Engineering. Part A. Tissue Engineering 14 (1539–1547) 2008  Modelling survival in acute severe illness: Cox versus accelerated failure time models Moran, John; Bersten, A; Solomon, Patricia; Edibam, C; Hunt, T, Journal of Evaluation in Clinical Practice 14 (83–93) 2008  On spatiotemporal drought classification in New South Wales: Development and evaluation of alternative techniques Osti, Alexander; Lambert, Martin; Metcalfe, Andrew, Australian Journal of Water Resources 12 (21–35) 2008  The (Gamma)overcapgenus and a regularization of an S1equivariant Euler class Lu, Rongmin, Journal of Physics A: Mathematical and Theoretical (Print Edition) 41 (4252041–42520413) 2008  The mathematical modelling of rotating capillary tubes for holeyfibre manufacture Voyce, Christopher; Fitt, A; Monro, Tanya, Journal of Engineering Mathematics 60 (69–87) 2008  Computer algebra derives discretisations via selfadjoint multiscale modelling (Unpublished) Roberts, Anthony John,  Improved bounds on entropy measures for mixed populations Matic, M; Pearce, Charles; Pecaric, Josip, 8th International Conference on Nonlinear Functional Analysis and Applications, Seoul, South Korea 09/08/04  A combinatorial formula for homogeneous moments Eastwood, Michael; Romao, Nuno, Mathematical Proceedings of the Cambridge Philosophical Society 142 (153–160) 2007  A note on Nk configurations and theorems in projective space Glynn, David, Bulletin of the Australian Mathematical Society 76 (15–31) 2007  Entire cyclic homology of stable continuous trace algebras Varghese, Mathai; Stevenson, Daniel, Bulletin of the London Mathematical Society 39 (71–75) 2007  Inverse groundwater modelling in the Willunga Basin, South Australia Knowles, I; Teubner, Michael; Yan, A; Rasser, Paul; Lee, Jong, Hydrogeology Journal 15 (1107–1118) 2007  Spectral curves and the mass of hyperbolic monopoles Norbury, Paul; Romao, Nuno, Communications in Mathematical Physics 270 (295–333) 2007  The Mekongapplications of value at risk (VAR) and conditional value at risk (CVAR) simulation to the benefits, costs and consequences of water resources development in a large river basin Webby, Roger; Adamson, Peter; Boland, J; Howlett, P; Metcalfe, Andrew; Piantadosi, J, Ecological Modelling 201 (89–96) 2007  Numerical simulation of circulation and thermal stratification in Torrens Lake, Adelaide, South Australia Nixon, J; Lee, Jong; Teubner, Michael; Gill, Peter, Ozwater Convention & Exhibiton (24th : 2007 : Sydney, New South Wales), Sydney, New South Wales 04/03/07  El Nino effects and upwelling off South Australia Middleton, Susan; Middleton, J; Van Ruth, Paul; Ward, Timothy; Arthur, C; McClean, J; Maltrud, M; Gill, P; Levings, A, Journal of Physical Oceanography 37 (2458–2477) 2007  Laguerre geometries and some connections to generalized quadrangles Brown, Matthew, Journal of the Australian Mathematical Society 83 (335–355) 2007  Drought forecasting using adaptive stochastic models in New South Wales Wong, Hui; Osti, Alexander; Lambert, Martin; Metcalfe, Andrew, 30th Hydrology and Water Resources Symposium, Launceston, Tasmania 04/12/06  Modelling extreme rainfall and tidal anomaly Need, Steven; Lambert, Martin; Metcalfe, Andrew, 30th Hydrology and Water Resources Symposium, Launceston, Tasmania 04/12/06  Modelling multivariate extreme flood events Wong, Hui; Need, Steven; Adamson, Peter; Lambert, Martin; Metcalfe, Andrew, 30th Hydrology and Water Resources Symposium, Launceston, Tasmania 04/12/06  Consumption of untreated tank rainwater and gastroenteritis among young children in South Australia Heyworth, J; Glonek, Garique; Maynard, E; Baghurst, Peter; FinlayJones, J, International Journal of Epidemiology 35 (1051–1058) 2006  Does dog or cat ownership lead to increased gastroenteritis in young children in South Australia? Heyworth, J; Cutt, H; Glonek, Garique, Epidemiology and Infection 134 (926–934) 2006  Flux compactifications on projective spaces and the Sduality puzzle Bouwknegt, Pier; Evslin, J; Jurco, B; Varghese, Mathai; Sati, Hicham, Advances in Theoretical and Mathematical Physics 10 (345–394) 2006  Incidence, impact on the family and cost of gastroenteritis among 4 to 6yearold children in South Australia Heyworth, J; Jardine, A; Glonek, Garique; Maynard, E, Journal of Gastroenterology and Hepatology 21 (1320–1325) 2006  Mathematical analysis of an extended mumfordshah model for image segmentation Tao, Trevor; Crisp, David; Van Der Hoek, John, Journal of Mathematical Imaging and Vision 24 (327–340) 2006  Mathematical modelling of oxygen concentration in bovine and murine cumulusoocyte complexes Clark, Alys; Stokes, Yvonne; Lane, Michelle; Thompson, Jeremy, Reproduction 131 (999–1006) 2006  Nonassociative Tori and Applications to TDuality Bouwknegt, Pier; Hannabuss, K; Varghese, Mathai, Communications in Mathematical Physics 264 (41–69) 2006  Tduality for torus bundles with Hfluxes via noncommutative topology, II: the highdimensional case and the Tduality group Varghese, Mathai; Rosenberg, J, Advances in Theoretical and Mathematical Physics 10 (123–158) 2006  The effect on survival of early detection of breast cancer in South Australia Tallis, George; Leppard, Phillip; O'Neill, Terence, Model Assisted Statistics and Applications 1 (115–123) 2006  YangMills theory for bundle gerbes Varghese, Mathai; Roberts, David, Journal of Physics A: Mathematical and Theoretical (Print Edition) 39 (6039–6044) 2006  Resolving the multitude of microscale interactions accurately models stochastic partial differential equations Roberts, Anthony John, London Mathematical Society. Journal of Computation and Mathematics 9 (193–221) 2006  Threedimensional flow due to a microcantilever oscillating near a wall: an unsteady slenderbody analysis Clarke, Richard; Jensen, O; Billingham, J; Williams, P, Proceedings of the Royal Society of London Series AMathematical Physical and Engineering Sciences 462 (913–933) 2006  Rumours, partitions mathematical genealogy Pearce, Charles, chapter in Proceedings of the fourth brazilian symposium on mathematical and computational biology / First international symposium on mathematical and computational biology (Epapers Servicos Editorials Ltda) 357–375, 2005  An analytic modelling approach for network routing algorithms that use "antlike" mobile agents Bean, Nigel; Costa, Andre, Computer NetworksThe International Journal of Computer and Telecommunications Networking 49 (243–268) 2005  An inverse modelling technique for glass forming by gravity sagging Agnon, Y; Stokes, Yvonne, European Journal of Mechanics BFluids 24 (275–287) 2005  Arithmetic properties of eigenvalues of generalized harper operators on graphs Dodziuk, Josef; Varghese, Mathai; Yates, Stuart, Communications in Mathematical Physics 262 (269–297) 2005  Best causal mathematical models for a nonlinear system Torokhti, Anatoli; Howlett, P; Pearce, Charles, IEEE Transactions on Circuits and Systems I  regular papers 52 (1013–1020) 2005  Bundle gerbes for ChernSimons and WessZuminoWitten theories Carey, Alan; Johnson, Stuart; Murray, Michael; Stevenson, Daniel; Wang, BaiLing, Communications in Mathematical Physics 259 (577–613) 2005  Characterizations of continuous distributions and associated goodness of fit tests Morris, Kerwin; Szynal, D, Journal of Mathematical Sciences 131 (5630–5645) 2005  Gauged vortices in a background Romao, Nuno, Journal of Physics A: Mathematical and Theoretical (Print Edition) 38 (9127–9144) 2005  Hamiltonian dynamics and morse topology of humanoid robots Ivancevic, V; Pearce, Charles, Global Journal of Mathematics and Mathematical Sciences (GJMMS) 1 (9–19) 2005  RiemannSiegel sums via stationary phase Tuck, Ernest, Bulletin of the Australian Mathematical Society 72 (325–328) 2005  Sufficient conditions for convexity in a class of functions arising in telecommunications Peake, M; Pearce, Charles, Mathematical Inequalities & Applications 8 (365–372) 2005  Tduality for principal torus bundles and dimensionally reduced Gysin sequences Bouwknegt, Pier; Hannabuss, K; Varghese, Mathai, Advances in Theoretical and Mathematical Physics 9 (1–25) 2005  Tduality for torus bundles with Hfluxes via noncommutative topology Varghese, Mathai; Rosenberg, J, Communications in Mathematical Physics 253 (705–721) 2005  Tests resulting from characterizations using record values Morris, Kerwin; Szynal, D, Journal of Mathematical Sciences 131 (5646–5656) 2005  Deterministic and stochastic modelling of endosome escape by Staphylococcus aureus: "quorum" sensing by a single bacterium Koerber, Adrian; King, J; Williams, P, Journal of Mathematical Biology 50 (440–488) 2005  The Cartan Product Eastwood, Michael, Bulletin of the Belgian Mathematical SocietySimon Stevin 11 (641–651) 2005  Investigation and modelling of traffic issues in immersive audio environments McMahon, Jeremy; Rumsewicz, Michael; Boustead, P; Safaei, F, 2004 IEEE International Conference on Communications, Paris, France 20/06/04  Bundle 2gerbes Stevenson, Daniel, Proceedings of the London Mathematical Society 88 (405–435) 2004  Characters of the discrete Heisenberg group and of its completion Tandra, Haryono; Moran, W, Mathematical Proceedings of the Cambridge Philosophical Society 136 (525–539) 2004  Eggs in PG(4n  1, q), q even, containing a pseudoconic Brown, Matthew; Lavrauw, M, Bulletin of the London Mathematical Society 36 (633–639) 2004  Expected lifetime in South Australia 18411996 Leppard, Phillip; Tallis, George; Pearce, Charles, Transactions of the Royal Society of South Australia 128 (37–42) 2004  Goodnessoffit tests using dual versions of characterizations via moments of order statistics Morris, Kerwin; Szynal, D, Journal of Mathematical Sciences 122 (3365–3383) 2004  Goodnessoffit tests using dual versions of characterizations via moments of record values Morris, Kerwin; Szynal, D, Journal of Mathematical Sciences 122 (3384–3403) 2004  Mtheory, type IIA superstrings, and elliptic cohomology Kriz, I; Sati, Hicham, Advances in Theoretical and Mathematical Physics 8 (345–394) 2004  Modelling thirtyday mortality in the acute respiratory distress syndrome (ARDS) in an adult ICU Moran, John; Solomon, Patricia; Fox, V; Salagaras, M; Williams, P; Quinlan, K; Bersten, A, Anaesthesia and Intensive Care 32 (317–329) 2004  On dual characterizations of continuous distributions in terms of expected values of two functions of order statistics and record values Alinowska, I; Morris, Kerwin; Szynal, D, Journal of Mathematical Sciences 121 (2664–2673) 2004  On the boundarylayer equations for powerlaw fluids Denier, James; Dabrowski, Paul, Proceedings of the Royal Society of London Series AMathematical Physical and Engineering Sciences 460 (3143–3158) 2004  Relationships between the ElNino southern oscillation and spate flows in southern Africa and Australia Whiting, Julian; Lambert, Martin; Metcalfe, Andrew; Adamson, Peter; Franks, S; Kuczera, George, Hydrology and Earth System Sciences 8 (1118–1128) 2004  Tduality: Topology change from Hflux Bouwknegt, Pier; Evslin, J; Varghese, Mathai, Communications in Mathematical Physics 249 (383–415) 2004  The effect of World War 1 and the 1918 influenza pandemic on cohort life expectancy of South Australian males born in 18811900 Leppard, Phillip; Tallis, George; Pearce, Charles, Journal of Population Research 21 (161–176) 2004  Development of NonHomogeneous and Hierarchical Hidden Markov Models for Modelling Monthly Rainfall and Streamflow Time Series Whiting, Julian; Lambert, Martin; Metcalfe, Andrew; Kuczera, George, World Water and Environmental Resources Congress (2004), Salt Lake City, Utah, USA 27/06/04  Cellsignalling repression in bacterial quorum sensing Ward, J; King, J; Koerber, Adrian; Croft, J; Sockett, R; Williams, P, Mathematical Medicine and Biology (Print Edition) 21 (169–204) 2004  ConnesDixmier traces, singular symmetric functionals, and measurable elements in the sense of Connes Lord, Steven; Sedaev, A; Sukochev, F, Mathematical Notes 76 (884–889) 2004  Stochastic modelling of tidal anomaly for estimation of flood risk in coastal areas Ahmer, Ingrid; Lambert, Martin; Leonard, Michael; Metcalfe, Andrew, 28th International Hydrology and Water Resources Symposium, Wollongong, NSW, Australia 10/11/03  A Probabilistic algorithm for determining the fundamental matrix of a block M/G/1 Markov chain Hunt, Emma, Mathematical and Computer Modelling 38 (1203–1209) 2003  A general fractional white noise theory and applications to finance Elliott, Robert; Van Der Hoek, John, Mathematical Finance 13 (301–330) 2003  A note on monopole moduli spaces Murray, Michael; Singer, Michael, Journal of Mathematical Physics 44 (3517–3531) 2003  A philosophy for the modelling of realistic nonlinear systems Howlett, P; Torokhti, Anatoli; Pearce, Charles, Proceedings of the American Mathematical Society 132 (353–363) 2003  An approximate formula for the stress intensity factor for the pressurized star crack Clements, David; Widana, Inyoman, Mathematical and Computer Modelling 37 (689–694) 2003  Chern character in twisted Ktheory: Equivariant and holomorphic cases Varghese, Mathai; Stevenson, Daniel, Communications in Mathematical Physics 236 (161–186) 2003  Complex analysis and the Funk transform Bailey, T; Eastwood, Michael; Gover, A; Mason, L, Journal of the Korean Mathematical Society 40 (577–593) 2003  Dynamics of the cell and its extracellular matrix  A simple mathematical approach Saha, Asit; Mazumdar, Jagan, IEEE Transactions on NanoBioscience 2 (89–93) 2003  Exponential stability and partial averaging Grammel, G; Maizurna, Isna, Journal of Mathematical Analysis and Applications 283 (276–286) 2003  Higgs fields, bundle gerbes and string structures Murray, Michael; Stevenson, Daniel, Communications in Mathematical Physics 243 (541–555) 2003  Method of hybrid approximations for modelling of multidimensional nonlinear systems Torokhti, Anatoli; Howlett, P; Pearce, Charles, Multidimensional Systems and Signal Processing 14 (397–410) 2003  Modelling persistence in annual Australian point rainfall Whiting, Julian; Lambert, Martin; Metcalfe, Andrew, Hydrology and Earth System Sciences 7 (197–211) 2003  Optimal mathematical models for nonlinear dynamical systems Torokhti, Anatoli; Howlett, P; Pearce, Charles, Mathematical and Computer Modelling of Dynamical Systems 9 (327–343) 2003  Rumours, epidemics, and processes of mass action: Synthesis and analysis Dickinson, Rowland; Pearce, Charles, Mathematical and Computer Modelling 38 (1157–1167) 2003  The generalised Hadamard inequality, gconvexity and functional Stolarsky means Neuman, E; Pearce, Charles; Pecaric, Josip; Simic, V, Bulletin of the Australian Mathematical Society 68 (303–316) 2003  Lowdimensional modelling of dynamical systems applied to some dissipative fluid mechanics Roberts, Anthony John, chapter in Nonlinear dynamics: from lasers to butterflies (World Scientific Publishing) 257–313, 2003  Approximating Spectral invariants of Harper operators on graphs II Varghese, Mathai; Schick, T; Yates, S, Proceedings of the American Mathematical Society 131 (1917–1923) 2003  Early development and quorum sensing in bacterial biofilms Ward, J; King, J; Koerber, Adrian; Croft, J; Sockett, R; Williams, P, Journal of Mathematical Biology 47 (23–55) 2003  Modelling host tissue degradation by extracellular bacterial pathogens King, J; Koerber, Adrian; Croft, J; Ward, J; Williams, P; Sockett, R, Mathematical Medicine and Biology (Print Edition) 20 (227–260) 2003  Modelling nonlinear dynamics of shapememoryalloys with approximate models of coupled thermoelasticity Melnik, R; Roberts, Anthony John, Zeitschrift fur Angewandte Mathematik und Mechanik 83 (93–104) 2003  Modelling the dynamics of turbulent floods Mei, Z; Roberts, Anthony John; Li, Z, Siam Journal on Applied Mathematics 63 (423–458) 2003  On a generalized form of risk measure Elliott, Robert; Siu, T; Yang, H, Actuaries Australia 9 (587–623) 2003  Coastal flood modelling: Allowing for dependence between rainfall and tidal anomaly Ahmer, Ingrid; Metcalfe, Andrew; Lambert, Martin; Deans, J, EMAC 2002, Brisbane, Australia 29/09/02  A mathematical study of peristaltic transport of a Casson fluid Mernone, Anacleto; Mazumdar, Jagan; Lucas, S, Mathematical and Computer Modelling 35 (895–912) 2002  An entire function defined by a nonlinear recurrence relation Hone, Andrew; Joshi, Nalini; Kitaev, Alexandre, Journal of the London Mathematical Society 66 (377–387) 2002  Bivariate stochastic modelling of ephemeral streamflow Cigizoglu, H; Adamson, Peter; Metcalfe, Andrew, Hydrological Processes 16 (1451–1465) 2002  Groundwater flow and solute transport at the Mourquong salinewater disposal basin, Murray Basin, southeastern Australia Simmons, Craig; Narayan, K; Woods, Juliette; Herczeg, A, Hydrogeology Journal 10 (278–295) 2002  Mathematical methods for spatially cohesive reserve design McDonnell, Mark; Possingham, Hugh; Ball, Ian; Cousins, Elizabeth, Environmental Modeling & Assessment 7 (107–114) 2002  Means, gconvex dominated functions & Hadamardtype inequalities Dragomir, S; Pearce, Charles; Pecaric, Josip, Tamsui Oxford University Journal of Mathematical Sciences 18 (161–173) 2002  On some inequalities for the moments of guessing mapping Dragomir, S; Pecaric, Josip; Van Der Hoek, John, Mathematical Journal of Ibaraki University 34 (1–16) 2002  Quasilinearity & Hadamard's inequality Dragomir, S; Pearce, Charles, Mathematical Inequalities & Applications 5 (463–471) 2002  The Orevkov invariant of an affine plane curve Neumann, W; Norbury, Paul, Transactions of the American Mathematical Society 355 (519–538) 2002  The universal gerbe, DixmierDouady class, and gauge theory Carey, Alan; Mickelsson, J, Letters in Mathematical Physics 59 (47–60) 2002  Twisted Ktheory and Ktheory of bundle gerbes Bouwknegt, Pier; Carey, Alan; Varghese, Mathai; Murray, Michael; Stevenson, Daniel, Communications in Mathematical Physics 228 (17–45) 2002  The value of mathematical models Metcalfe, Andrew, chapter in Research methods for postgraduates (Oxford University Press) 269–278, 2002  A mathematical model of partialthickness burnwound infection by Pseudomonas aeruginosa: Quorum sensing and the buildup to invasion Koerber, Adrian; King, J; Ward, J; Williams, P; Croft, J; Sockett, R, Bulletin of Mathematical Biology 64 (239–259) 2002  Reanalysis of Travelling Speed and the Risk of Crash Involvement in Adelaide South Australia Kloeden, Craig; McLean, Alexander; Glonek, Garique,  Fractional Brownian motion and financial modelling Elliott, Robert; Van Der Hoek, John, chapter in Mathematical Finance (Birkhauser) 140–151, 2001  A goodnessoffit test for the uniform distribution based on a characterization Morris, Kerwin; Szynal, D, Journal of Mathematical Sciences 106 (2719–2724) 2001  Commutative geometries are spin manifolds Rennie, Adam, Reviews in Mathematical Physics 13 (409–464) 2001  Coupled Painlev systems and quartic potentials Hone, Andrew, Journal of Physics A: Mathematical and Theoretical (Print Edition) 34 (2235–2245) 2001  Hilbert C*systems for actions of the circle group Baumgaertel, H; Carey, Alan, Reports on Mathematical Physics 47 (349–361) 2001  Integrated solutions of stochastic evolution equations with additive noise Filinkov, Alexei; Maizurna, Isna, Bulletin of the Australian Mathematical Society 64 (281–290) 2001  Linearised cavity theory with smooth detachment Haese, Peter, Australian Mathematical Society Gazette 28 (187–193) 2001  NonSchlesinger deformations of ordinary differential equations with rational coefficients Kitaev, Alexandre, Journal of Physics A: Mathematical and Theoretical (Print Edition) 34 (2259–2272) 2001  On a generalized 2 + 1 dispersive water wave hierarchy Gordoa, P; Joshi, Nalini; Pickering, A, Publications of the Research Institute for Mathematical Sciences 37 (327–347) 2001  On the continuum limit of fermionic topological charge in lattice gauge theory Adams, David, Journal of Mathematical Physics 42 (5522–5533) 2001  Poisson manifolds in generalised Hamiltonian biomechanics Ivancevic, V; Pearce, Charles, Bulletin of the Australian Mathematical Society 64 (515–526) 2001  Regularizing the KdV equation near a blowup surface Joshi, Nalini, Theoretical and Mathematical Physics 127 (744–750) 2001  Statistical modelling and prediction associated with the HIV/AIDS epidemic Solomon, Patricia; Wilson, Susan, The Mathematical Scientist 26 (87–102) 2001  The modelling and numerical simulation of causal nonlinear systems Howlett, P; Torokhti, Anatoli; Pearce, Charles, Nonlinear AnalysisTheory Methods & Applications 47 (5559–5572) 2001  Truncationtype methods and Bcklund transformations for ordinary differential equations: The third and fifth Painlev equations Gordoa, P; Joshi, Nalini; Pickering, A, Glasgow Mathematical Journal 43A (23–32) 2001  Twisted index theory on good orbifolds, II: Fractional quantum numbers Marcolli, M; Varghese, Mathai, Communications in Mathematical Physics 217 (55–87) 2001  Modelling Overflow Traffic from Terrestrial Networks into Satellite Networks Green, David, 8th International Conference on Telecommunications (June 2001), Bucharest, Romania 04/06/01  Modelling Service Time Distribution in Cellular Networks Using PhaseType Service Distributions Green, David; Asenstorfer, J; Jayasuriya, A,  Hadamard and DragomirAgarwal inequalities, higherorder convexity and the Euler formula Dedio, L; Pearce, Charles; Peoario, J, Journal of the Korean Mathematical Society (–) 2001  Mathematical modelling of quorum sensing in bacteria Ward, J; King, J; Koerber, Adrian; Williams, P; Croft, J; Sockett, R, Mathematical Medicine and Biology (Print Edition) 18 (263–292) 2001  More on the relative position of means I Pearce, Charles; Pecaric, Josip, Mathematical Gazette (112–114) 2001  Some new inequalities for the logarithmic map, with applications entropy and mutual information Dragomir, S; Pearce, Charles; Pecaric, Josip, Kyungpook Mathematical Journal 41 (115–125) 2001  A brief survey and synthesis of the roles of time in petri nets Bowden, Fred David John, Mathematical and Computer Modelling 31 (55–68) 2000  A family of 2dimensional laguerre planes of generalised shear type Polster, Burkhard; Steinke, G, Bulletin of the Australian Mathematical Society 61 (69–83) 2000  A gerbe obstruction to quantization of fermions on odddimensional manifolds with boundary Carey, Alan; Mickelsson, J, Letters in Mathematical Physics 51 (145–160) 2000  A new perspective on the normalization of invariant measures for loss networks and other product form systems Bean, Nigel; Stewart, Mark, Mathematical and Computer Modelling 31 (47–54) 2000  A remark of Schwarz's topological field theory Adams, David; Prodanov, E, Letters in Mathematical Physics 51 (249–255) 2000  Algorithms for second moments in batchmovement queueing systems Hunt, Emma, Mathematical and Computer Modelling 31 (299–305) 2000  Biomathematical modelling of physiological fluids using a Casson fluid with emphasis to peristalsis Mernone, Anacleto; Mazumdar, Jagan, Australasian Physical and Engineering Sciences in Medicine 23 (94–100) 2000  Bundle gerbes applied to quantum field theory Carey, Alan; Mickelsson, J; Murray, Michael, Reviews in Mathematical Physics 12 (65–90) 2000  Bundle gerbes: stable isomorphism and local theory Murray, Michael; Stevenson, Daniel, Journal of the London Mathematical Society 62 (925–937) 2000  CauchySchwarz functionals Cho, Y; Dragomir, S; Kim, SS; Pearce, Charles, Bulletin of the Australian Mathematical Society 62 (479–491) 2000  Disease surveillance and data collection issues in epidemic modelling Solomon, Patricia; Isham, V, Statistical Methods in Medical Research 9 (259–277) 2000  Drawing with complex numbers Eastwood, Michael; Penrose, R, Mathematical Intelligencer 22 (8–13) 2000  Flowing windowpanes: a comparison of Newtonian and Maxwell fluid models Stokes, Yvonne, Proceedings of the Royal Society of London Series AMathematical Physical and Engineering Sciences 456 (1861–1864) 2000  GaussPlya type results and the Hlder Inequality Dragomir, S; Pearce, Charles; Sunde, J, Tamsui Oxford University Journal of Mathematical Sciences 16 (17–23) 2000  Generalizations of some inequalities of Ostrowskigruss type Pearce, Charles; Pecaric, Josip; Ujevic, N; Varosanec, S, Mathematical Inequalities & Applications 3 (25–34) 2000  Maximal profit dimensioning and tariffing of loss networks with crossconnects Bean, Nigel; Brown, Deborah; Taylor, Peter, Mathematical and Computer Modelling 31 (21–30) 2000  On the complete integrability of the discrete Nahm equations Murray, Michael; Singer, Michael, Communications in Mathematical Physics 210 (497–519) 2000  Ovoids of PG(3, q), q even, with a conic section Brown, Matthew, Journal of the London Mathematical Society 62 (569–582) 2000  Positive random variables and the AGH inequality Pearce, Charles, Australian Mathematical Society Gazette 27 (91–95) 2000  Quasireversibility and networks of queues with nonstandard batch movements Taylor, Peter, Mathematical and Computer Modelling 31 (335–341) 2000  The Andre/Bruck and Bose representation in PG(2h, q): unitals and Baer subplanes Barwick, Susan; Casse, Rey; Quinn, Catherine, Bulletin of the Belgian Mathematical SocietySimon Stevin 7 (173–197) 2000  The Euler formulae and convex functions Dedic, L; Pearce, Charles; Pecaric, Josip, Mathematical Inequalities & Applications 3 (211–221) 2000  The exact solution of the general stochastic rumour Pearce, Charles, Mathematical and Computer Modelling 31 (289–298) 2000  The paradox of Parrondo's games Harmer, Gregory; Abbott, Derek; Taylor, Peter, Proceedings of the Royal Society of London Series AMathematical Physical and Engineering Sciences 456 (247–259) 2000  When is a MAP poisson? Bean, Nigel; Green, David, Mathematical and Computer Modelling 31 (31–46) 2000  msystems of polar spaces and maximal arcs in projective planes Hamilton, N; Quinn, Catherine, Bulletin of the Belgian Mathematical SocietySimon Stevin 7 (237–248) 2000  More on the pizza theorem Pearce, Charles, Australian Mathematical Society Gazette 27 (4–5) 2000 
Advanced search options
You may be able to improve your search results by using the following syntax:
Query  Matches the following 

Asymptotic Equation  Anything with "Asymptotic" or "Equation". 
+Asymptotic +Equation  Anything with "Asymptotic" and "Equation". 
+Stokes "NavierStokes"  Anything containing "Stokes" but not "NavierStokes". 
Dynam*  Anything containing "Dynamic", "Dynamical", "Dynamicist" etc. 
