Computational Mathematics and Applications
|
Tue, 19/01/2010 14:00 |
Dr Orly Alter (University of Texas at Austin) |
Computational Mathematics and Applications |
3WS SR |
| Future discovery and control in biology and medicine will come from the mathematical modeling of large-scale molecular biological data, such as DNA microarray data, just as Kepler discovered the laws of planetary motion by using mathematics to describe trends in astronomical data. In this talk, I will demonstrate that mathematical modeling of DNA microarray data can be used to correctly predict previously unknown mechanisms that govern the activities of DNA and RNA. First, I will describe the computational prediction of a mechanism of regulation, by using the pseudoinverse projection and a higher-order singular value decomposition to uncover a genome-wide pattern of correlation between DNA replication initiation and RNA expression during the cell cycle. Then, I will describe the recent experimental verification of this computational prediction, by analyzing global expression in synchronized cultures of yeast under conditions that prevent DNA replication initiation without delaying cell cycle progression. Finally, I will describe the use of the singular value decomposition to uncover "asymmetric Hermite functions," a generalization of the eigenfunctions of the quantum harmonic oscillator, in genome-wide mRNA lengths distribution data. These patterns might be explained by a previously undiscovered asymmetry in RNA gel electrophoresis band broadening and hint at two competing evolutionary forces that determine the lengths of gene transcripts. | |||
|
Thu, 21/01/2010 14:00 |
Prof. Ernesto Estrada (University of Strathclyde) |
Computational Mathematics and Applications |
Rutherford Appleton Laboratory, nr Didcot |
| A brief introduction to the field of complex networks is carried out by means of some examples. Then, we focus on the topics of defining and applying centrality measures to characterise the nodes of complex networks. We combine this approach with methods for detecting communities as well as to identify good expansion properties on graphs. All these concepts are formally defined in the presentation. We introduce the subgraph centrality from a combinatorial point of view and then connect it with the theory of graph spectra. Continuing with this line we introduce some modifications to this measure by considering some known matrix functions, e.g., psi matrix functions, as well as new ones introduced here. Finally, we illustrate some examples of applications in particular the identification of essential proteins in proteomic maps. | |||
|
Tue, 26/01/2010 14:00 |
Dr Konstantinos Zyglakis (OCCAM (Oxford)) |
Computational Mathematics and Applications |
3WS SR |
| In this talk we describe a general framework for deriving modified equations for stochastic differential equations with respect to weak convergence. We will start by quickly recapping of how to derive modified equations in the case of ODEs and describe how these ideas can be generalized in the case of SDEs. Results will be presented for first order methods such as the Euler-Maruyama and the Milstein method. In the case of linear SDEs, using the Gaussianity of the underlying solutions, we will derive a SDE that the numerical method solves exactly in the weak sense. Applications of modified equations in the numerical study of Langevin equations and in the calculation of effective diffusivities will also be discussed. | |||
|
Thu, 28/01/2010 14:00 |
Dr. Catherine Powell (University of Manchester) |
Computational Mathematics and Applications |
3WS SR |
| In the last few years, there has been renewed interest in stochastic finite element methods (SFEMs), which facilitate the approximation of statistics of solutions to PDEs with random data. SFEMs based on sampling, such as stochastic collocation schemes, lead to decoupled problems requiring only deterministic solvers. SFEMs based on Galerkin approximation satisfy an optimality condition but require the solution of a single linear system of equations that couples deterministic and stochastic degrees of freedom. This is regarded as a serious bottleneck in computations and the difficulty is even more pronounced when we attempt to solve systems of PDEs with random data via stochastic mixed FEMs. In this talk, we give an overview of solution strategies for the saddle-point systems that arise when the mixed form of the Darcy flow problem, with correlated random coefficients, is discretised via stochastic Galerkin and stochastic collocation techniques. For the stochastic Galerkin approach, the systems are orders of magnitude larger than those arising for deterministic problems. We report on fast solvers and preconditioners based on multigrid, which have proved successful for deterministic problems. In particular, we examine their robustness with respect to the random diffusion coefficients, which can be either a linear or non-linear function of a finite set of random parameters with a prescribed probability distribution. | |||
|
Thu, 04/02/2010 14:00 |
Dr Peter Giesl (University of Sussex) |
Computational Mathematics and Applications |
3WS SR |
| In dynamical systems given by an ODE, one is interested in the basin of attraction of invariant sets, such as equilibria or periodic orbits. The basin of attraction consists of solutions which converge towards the invariant set. To determine the basin of attraction, one can use a solution of a certain linear PDE which can be approximated by meshless collocation. The basin of attraction of an equilibrium can be determined through sublevel sets of a Lyapunov function, i.e. a scalar-valued function which is decreasing along solutions of the dynamical system. One method to construct such a Lyapunov function is to solve a certain linear PDE approximately using Meshless Collocation. Error estimates ensure that the approximation is a Lyapunov function. The basin of attraction of a periodic orbit can be analysed by Borg’s criterion measuring the time evolution of the distance between adjacent trajectories with respect to a certain Riemannian metric. The sufficiency and necessity of this criterion will be discussed, and methods how to compute a suitable Riemannian metric using Meshless Collocation will be presented in this talk. | |||
|
Thu, 11/02/2010 14:00 |
Dr. Melina Freitag (University of Bath) |
Computational Mathematics and Applications |
Rutherford Appleton Laboratory, nr Didcot |
We show that data assimilation using four-dimensional variation
(4DVar) can be interpreted as a form of Tikhonov regularisation, a
familiar method for solving ill-posed inverse problems. It is known from
image restoration problems that -norm penalty regularisation recovers
sharp edges in the image better than the -norm penalty
regularisation. We apply this idea to 4DVar for problems where shocks are
present and give some examples where the -norm penalty approach
performs much better than the standard -norm regularisation in 4DVar. |
|||
|
Thu, 18/02/2010 14:00 |
Dr. Alison Ramage (University of Strathclyde) |
Computational Mathematics and Applications |
3WS SR |
| Saddle-point problems occur frequently in liquid crystal modelling. For example, they arise whenever Lagrange multipliers are used for the pointwise-unit-vector constraints in director modelling, or in both general director and order tensor models when an electric field is present that stems from a constant voltage. Furthermore, in a director model with associated constraints and Lagrange multipliers, together with a coupled electric-field interaction, a particular ”double” saddle-point structure arises. This talk will focus on a simple example of this type and discuss appropriate numerical solution schemes. This is joint work with Eugene C. Gartland, Jr., Department of Mathematical Sciences, Kent State University. | |||
|
Thu, 25/02/2010 14:00 |
Prof. Ekkehard Sachs (University of Trier) |
Computational Mathematics and Applications |
3WS SR |
| There is a widespread use of mathematical tools in finance and its importance has grown over the last two decades. In this talk we concentrate on optimization problems in finance, in particular on numerical aspects. In this talk, we put emphasis on the mathematical problems and aspects, whereas all the applications are connected to the pricing of derivatives and are the outcome of a cooperation with an international finance institution. As one example, we take an in-depth look at the problem of hedging barrier options. We review approaches from the literature and illustrate advantages and shortcomings. Then we rephrase the problem as an optimization problem and point out that it leads to a semi-infinite programming problem. We give numerical results and put them in relation to known results from other approaches. As an extension, we consider the robustness of this approach, since it is known that the optimality is lost, if the market data change too much. To avoid this effect, one can formulate a robust version of the hedging problem, again by the use of semi-infinite programming. The numerical results presented illustrate the robustness of this approach and its advantages. As a further aspect, we address the calibration of models being used in finance through optimization. This may lead to PDE-constrained optimization problems and their solution through SQP-type or interior-point methods. An important issue in this context are preconditioning techniques, like preconditioning of KKT systems, a very active research area. Another aspect is the preconditioning aspect through the use of implicit volatilities. We also take a look at the numerical effects of non-smooth data for certain models in derivative pricing. Finally, we discuss how to speed up the optimization for calibration problems by using reduced order models. | |||
|
Thu, 04/03/2010 14:00 |
Mr. Thomas Goldstein (University of California, Los Angeles) |
Computational Mathematics and Applications |
3WS SR |
| This talk will introduce L1-regularized optimization problems that arise in image processing, and numerical methods for their solution. In particular, we will focus on methods of the split-Bregman type, which very efficiently solve large scale problems without regularization or time stepping. Applications include image denoising, segmentation, non-local filters, and compressed sensing. | |||
|
Thu, 11/03/2010 14:00 |
Prof. Yangfeng Su (Fudan University Shanghai) |
Computational Mathematics and Applications |
3WS SR |
| Nonlinear eigenvalue problem (NEP) is a class of eigenvalue problems where the matrix depends on the eigenvalue. We will first introduce some NEPs in real applications and some algorithms for general NEPs. Then we introduce our recent advances in NEPs, including second order Arnoldi algorithms for large scale quadratic eigenvalue problem (QEP), analysis and algorithms for symmetric eigenvalue problem with nonlinear rank-one updating, a new linearization for rational eigenvalue problem (REP). | |||

-norm penalty regularisation recovers
sharp edges in the image better than the
-norm penalty
regularisation. We apply this idea to 4DVar for problems where shocks are
present and give some examples where the