Tea and coffee are served after the seminars in Room 115, McCrea Building. All are welcome.
Other seminar series of interest
(All seminars will be held on Tuesdays from 1-2, followed by tea in the Journals room, unless otherwise stated).
Dave Cohen, RHUL: How hard is optimisation?
Alexey Chernov, RHUL: Multiobjective prediction with expert advice?
Richard Morris, John Innes Centre: Biological information processing: Unravelling the control logic of the floral transition
| Date | Friday 11th September 2009 |
| Speaker | Dr. Jüri Lember - University of Tartu |
| Location | McCrea 219 |
| Title | On recent developments in HMM-based segmentation |
| Abstract | Hidden Markov models (HMM) are commonly used in many areas, including
signal processing, speech recognition and computational molecular
biology. Roughly, an HMM consists of an unobserved hidden Markov
chain
and its "noisy" observed counterpart. Often, the main object of
interest is the true realization of the hidden Markov chain from
observed data. Estimation of the hidden realization is also known as
segmentation. For example, speech signal can be segmented into
sentences, words, phonems etc; DNA sequences can be segmented into
coding and non-coding regions, or into CpG islands and background. A
widely used estimate of the underlying hidden path is
maximum-likelihood, or maximum a posteriori (MAP), sequence of
states,
commonly known as Viterbi alignment. A well-known alternative is
pointwise, i.e. symbol-by-symbol, maximum-likelihood, or
PMAP-alignment. This latter alignment is optimal in the sense of
minimizing the expected number of incorrectly classified components
of
the hidden sequence. However, depending on the task, the best
(optimal) alignment might be yet different from those two.
When the HMM extends to infinity, then (under certain mild
conditions)
many alignments (including Viterbi and PMAP alignments) converge,
generally to distinct limiting alignments. Viewed as proper random
processes derived from the original hidden Markov process, the
infinite limiting alignments can be used to study various asymptotic
properties of their respective segmentations.
We introduce a somehow generalized view of segmentation, and we show how the asymptotic analysis can be used for measuring and improving the goodness of segmentation. This is a joint work with Alexey Koloydenko. |
| Date | 15th September 2009, 13:00 |
| Speaker | Dr. Robin Adams - Department of Computer Science, Royal Holloway |
| Location | McCrea 219 |
| Title | Type Theory and Proof Checkers |
| Abstract | A type theory is a formal language which deals with statements M:A. Remarkably, the same formal language can be read in three different ways: * M is an object of type A * M is a program that satisfies the specification A * M is a proof of the proposition A This minor miracle - the fact that the same formal rules govern all three interpretations - goes by the name of the Curry-Howard Isomorphism, and is a very useful fact that is still not fully understood. In this talk, I shall give a non-technical survey the history of type theories, and explain how they are useful for building proof checkers - systems that decide whether a proof of a mathematical theorem is correct. I shall describe my own research with logic-enriched type theories, which can be seen as hybrid systems between type theory and predicate logic. |
| Date | 29th September 2009 |
| Speaker | Prof. Dr. Vladimir V. Anisimov Director, Research Statistics Unit GlaxoSmithKline |
| Location | TBA |
| Title | Statistical modelling in clinical trials (patient recruitment and drug supply) |
| Abstract | A large clinical trial for testing pharmaceutical drug usually
involves hundreds of patients to be recruited by many clinical
centres. Patients recruited into the trial are randomized to prescribed
medical treatments and at some stages, their responses are
statistically analysed for taking a decision on the effectiveness of
the drug. This process requires using various statistical techniques at
different stages of the trial.
In the first part of the talk, the basic statistical problems that appear in drug development process in pharmaceutical industry are briefly described. The second part is dealing with the patient recruitment stage. This stage is very costly and affected by various uncertainties in input information, variation in clinical centres and stochastic fluctuations of the recruitment over time. A large proportion of trials fail to complete recruitment before deadline. A novel statistical methodology for modelling and predicting patient recruitment and drug supply in multicentre clinical trials is proposed. Patient's flows in different centres are viewed as delayed Poisson processes with random unknown rates. The problems of modelling, estimating and predicting with credibility bounds the number of patients over time and the recruitment time are considered. The developed technique also allows re-assessing the number of clinical centres required to complete recruitment in time with a given confidence (adaptive adjustment), predicting study/centre performance, and evaluating the amount of drug supply which is needed to cover patient demand with a given risk of undersupply. The technique has been validated for many real trials and is on the way of implementation. Illustrative examples are considered. References: V. Anisimov, V. Fedorov, Modeling, prediction and adaptive adjustment of recruitment in multicentre trials, Statistics in Medicine, 26, 27, 2007, pp. 4958-4975. V. Anisimov, Recruitment modeling and predicting in clinical trials, Pharmaceutical Outsourcing, March/April 2009, pp 1-10. |
| Please note that the following seminar does not happen at the usual time or place | |
| Date | Friday 4th December 2009, at 4pm |
| Speaker | Dr.G.Martynov, The Institute for information transmission problems of the Russian Academy of Sciences (Kharkevich Institute). |
| Location | McCrea 219 |
| Title | Karunen-Loeve decompositions for weighted Wiener process and for Brown bridge with applications to the goodness-of fit tests |
| Abstract | We will consider the Wiener process and Brown bridge with the weight fuction t^\alpha. The decomposition of weighted processes was fulfilled with usig of Bessel functions. It was found the eigen values and eigen fuctions for the Fredholm operator with the corresponding covariance functions as kernel. These results have the applications to the Kramer- von Mises goodness of fit test. The results were found in cooperation with P.Deheuvels (University Paris VI). |
For previously held seminars, please see our Events Archives.