Up a level |

Number of items: **120**.

Barringer, Howard and Havelund, Klaus and Rydeheard, David and Groce, Alex
(2009)
*Rule Systems for Runtime Verification: A Short Tutorial.*
Lecture Notes in Computer Science, 5779.
pp. 1-24.
ISSN 978-3-642-04693-3

Al-Mohy, Awad H. and Higham, Nicholas J.
(2009)
*The Complex Step Approximation to the Fréchet Derivative of a Matrix Function.*
[MIMS Preprint]

Al-Mohy, Awad H. and Higham, Nicholas J.
(2009)
*The Complex Step Approximation to the Fréchet Derivative of a Matrix Function.*
[MIMS Preprint]

Al-Mohy, Awad H. and Higham, Nicholas J.
(2009)
*Computing the Fréchet Derivative of the Matrix Exponential,
with an application to Condition Number Estimation.*
SIAM Journal On Matrix Analysis and Applications., 30 (4).
pp. 1639-1657.
ISSN 1095-7162

Al-Mohy, Awad H. and Higham, Nicholas J.
(2009)
*A New Scaling and Squaring Algorithm for the Matrix Exponential.*
[MIMS Preprint]

Al-Mohy, Awad H. and Higham, Nicholas J.
(2009)
*A New Scaling and Squaring Algorithm for the Matrix Exponential.*
[MIMS Preprint]

Al-Mohy, Awad H. and Higham, Nicholas J.
(2009)
*A New Scaling and Squaring Algorithm for the Matrix Exponential.*
SIAM Journal On Matrix Analysis and Applications., 31 (3).
pp. 970-989.
ISSN 1095-7162

Al-Mohy, Awad H. and Higham, Nicholas J.
(2009)
*A New Scaling and Squaring Algorithm for the Matrix Exponential.*
SIAM Journal On Matrix Analysis and Applications., 31 (3).
pp. 970-989.
ISSN 1095-7162

An, Jianbei and Eaton, Charles W.
(2009)
*Nilpotent blocks of quasisimple groups for odd primes.*
Journal für die reine und angewandte Mathematik (2009.6).
ISSN 1749-9097
(In Press)

An, Jianbei and Eaton, Charles W.
(2009)
*Nilpotent blocks of quasisimple groups for the prime two.*
[MIMS Preprint]

Arhosalo, I. and Järvenpää, E. and Järvenpää, M. and Rams, M. and Shmerkin, P.
(2009)
*Visible parts of fractal percolation.*
[MIMS Preprint]

Aubert, Anne-Marie and Baum, Paul and Plymen, Roger
(2009)
*Geometric structure in the principal series of the p-adic group G_2.*
[MIMS Preprint]

Baboulin, Marc and Dongarra, Jack and Tomov, Stanimire
(2009)
*Some Issues in Dense Linear Algebra for
Multicore and Special Purpose Architectures.*
[MIMS Preprint]

Bao, Yanchun and Pan, Jianxin and Dai, Hongsheng and Fang, Hong-Bin
(2009)
*Joint Longitudinal and Survival-cure Models
with Constrained Parameters in Tumour
Xenograft Experiments.*
[MIMS Preprint]

Baraas, Rigmor C. and Kulikowski, Janus J. and Muldoon, Mark R.
(2009)
*Elongated S-cone stimuli reveal the importance of the
intermediate temporal filter.*
[MIMS Preprint]

Barringer, Howard and Gabbay, Dov and Rydeheard, David
(2009)
*Modelling evolvable component systems.*
Logic Journal of IGPL, 17.
pp. 631-698.
ISSN 1367-0751

Bays, Martin and Kirby, Jonathan and Wilkie, A.J.
(2009)
*A Schanuel Property for Exponetially Transcendental Powers.*
[MIMS Preprint]

Betcke, Timo and Kressner, Daniel
(2009)
*Perturbation, Computation and Refinement of Invariant Subspaces for Matrix Polynomials.*
[MIMS Preprint]

Bilalić, Merim and Smallbone, Kieran and McLeod, Peter and Gobet, Fernand
(2009)
*Why are (the best) women so good at chess? Participation rates and gender differences in intellectual domains.*
Proceedings of the Royal Society B - Biological Sciences, 276.
pp. 1161-1165.

Borsdorf, Rüdiger and Higham, Nicholas J. and Raydan, Marcos
(2009)
*Computing a Nearest Correlation Matrix with Factor Structure.*
[MIMS Preprint]

Borsdorf, Rüdiger and Higham, Nicholas J. and Raydan, Marcos
(2009)
*Computing a Nearest Correlation Matrix with Factor Structure.*
[MIMS Preprint]

Bosilca, George and Delmas, Remi and Dongarra, Jack and Langou, Julien
(2009)
*Algorithmic Based Fault Tolerance Applied to High Performance Computing.*
[MIMS Preprint]

Bryant, R. M. and Johnson, Marianne
(2009)
*Adams operations on the Green ring of a cyclic group of prime-power order.*
[MIMS Preprint]

Buchstaber, Victor M and Panov, Taras E and Ray, Nigel
(2009)
*Toric genera.*
[MIMS Preprint]

Bujorianu, M.C. and Bujorianu, M.L.
(2009)
*Towards Co-Engineering Communicating Autonomous Cyber-physical Systems.*
In:
Proceedings of the First NASA Formal Methods Symposium.
NASA Ames Research Center, Moffett Field, California, pp. 176-180.

Bujorianu, M.L.
(2009)
*Dealing with stochastic reachability.*
In:
Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009.
IEEE Control Systems Society, Shanghai, China, pp. 2935-2940.

Bujorianu, M.L. and Bujorianu, M.C.
(2009)
*State constrained reachability for stochastic hybrid systems.*
In:
Proceedings of Analysis and Design of Hybrid Systems.
IFAC, Elsevier, Zaragoza, Spain.

Bujorianu, M.L. and Fisher, M.
(2009)
*Workshop on Formal Methods for Aerospace (FMA).*
[MIMS Preprint]

Bujorianu, M.L. and Wang, Hong
(2009)
*Large deviation methods for stochastic reachability.*
In:
Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009.
IEEE Control Systems Society, Shanghai, China, pp. 3932-3937.

Bujorianu, Marius and Bujorianu, Manuela and Barringer, Howard
(2009)
*A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems.*
In:
Proceeding of the 9th CLIMA workshop.
Lecture Notes in Computer Science
.
Springer Verlag, Berlin, Germany.
(In Press)

Butterworth, John M. and Shapiro, Jonathan L.
(2009)
*Stability of learning dynamics in two-agent, imperfect-information games.*
In: FOGA 09, January 9 - 11, 2009, Orlando, Florida USA.

Chahlaoui, Younes
(2009)
*Model reduction of switched dynamical systems.*
In: 4th Conference on Trends in Applied mathematics in Tunisia, Algeria and Morocco., 6-8 May 2009, Kenitra, Morocco.
(Submitted)

Chahlaoui, Younes
(2009)
*A new approach for MOR of second order Dynamical Systems.*
In: Systems Theory: Modelling, Analysis and Control, 25-28 May 2009, Fes, Morocco.
(Submitted)

Chahlaoui, Younes
(2009)
*A posteriori error bounds for discrete balanced truncation.*
SIAM Journal on Scientific Computing (SISC).
(Submitted)

Chahlaoui, Younes and Tisseur, Françoise and Van Dooren, Paul
(2009)
*A new approach for MOR of second order Dynamical Systems.*
In:
Systems Theory: Modelling, Analysis and Control.
Presses Universitaires de Perpignan, pp. 153-158.
ISBN 2-35412-043-6

Chao, Kuok Fai and Plymen, Roger
(2009)
*A new bound for the smallest x with \pi(x) > \li(x).*
International Journal of Number Theory.
pp. 1-12.
(In Press)

Cotter, Simon and Dashti, Massoumeh and Robinson, James and Stuart, Andrew
(2009)
*Bayesian inverse problems for functions and applications to fluid mechanics.*
Inverse Problems, 25 (11).

Craven, David A. and Eaton, Charles W. and Kessar, Radha and Linckelmann, Markus
(2009)
*The structure of blocks with a Klein four defect group.*
[MIMS Preprint]

Crivei, Septimiu and Prest, Mike and Torrecillas, Blas
(2009)
*Covers in finitely accessible categories.*
[MIMS Preprint]

Dallali, Houman and Brown, Martin and Vanderborght, Bram
(2009)
*Using the Torso to Compensate for Non-Minimum Phase Behaviour in ZMP Bipedal Walking.*
In:
Advances in Robotics Research: Theory, Implementation, Application.
Springer-Verlag, Heidelberg, pp. 191-202.
ISBN 978-3-642-01212-9

De Teran, Fernando and Dopico, Froilan M. and Mackey, D. Steven
(2009)
*Fiedler Companion Linearizations and the Recovery of Minimal Indices.*
[MIMS Preprint]

De Teran, Fernando and Dopico, Froilan M. and Mackey, D. Steven
(2009)
*Fiedler Companion Linearizations and the Recovery of Minimal Indices.*
[MIMS Preprint]

De Teran, Fernando and Dopico, Frolian M. and Mackey, D. Steven
(2009)
*Linearizations of Singular Matrix Polynomials and the Recovery of Minimal Indices.*
[MIMS Preprint]

De Teran, Fernando and Dopico, Frolian M. and Mackey, D. Steven
(2009)
*Linearizations of Singular Matrix Polynomials and the Recovery of Minimal Indices.*
[MIMS Preprint]

Deadman, E
(2009)
*Outer Boundary Conditions in Numerical Relativity.*
Doctoral thesis, Cambridge University.

Deadman, E and Stewart, J.M.
(2009)
*Numerical Relativity and Asymptotic Flatness.*
Classical and Quantum Gravity, 26 (6).

Dodson, CTJ
(2009)
*Information geometry and entropy in a stochastic epidemic rate process.*
[MIMS Preprint]

Dodson, CTJ and Sampson, WW
(2009)
*Intrinsic correlation in planar Poisson line processes.*
Applied Mathematics Letters, 22 (7).
pp. 981-983.
ISSN 0893-9659

Dongarra, Jack and Langou, Julien
(2009)
*The Problem with the Linpack Benchmark 1.0 Matrix Generator.*
[MIMS Preprint]

Doumerc, You and Moriarty, John
(2009)
*Exit problems associated with affine reflection
groups.*
Probability Theory and Related Fields, 145 (3-4).
pp. 351-383.
ISSN 0178-8051

Eaton, Charles W.
(2009)
*Heights of characters in blocks.*
In: International Conference on Modules and Representation Theory, 7-12 July, 2008, Cluj, Romania.

Ernst, O.G. and Powell, C.E and Silvester, D.J. and Ullmann, E.
(2009)
*Efficient Solvers for a Linear Stochastic Galerkin Mixed Formulation of Diffusion Problems with Random Data.*
SIAM Journal of Scientific Computing, 31 (2).
pp. 1424-1447.

Estrada, Sergio and Guil Asensio, Pedro A. and Prest, Mike and Trlifaj, Jan
(2009)
*Model category structures arising from Drinfeld vector bundles.*
[MIMS Preprint]

Fassbender, H. and Mackey, D. S. and Mackey, N. and Schroder, C.
(2009)
*Structured Polynomial Eigenproblems Related to Time-Delay Systems.*
[MIMS Preprint]

Ferguson, Andrew and Jordan, Thomas and Shmerkin, Pablo
(2009)
*The Hausdorff dimension of the projections of self-affine carpets.*
[MIMS Preprint]

Ginzburg, V and Gordon, I G and Stafford, J T
(2009)
*Dierential operators and Cherednik algebras.*
Selecta Math., 14.
pp. 629-666.
ISSN 1022-1824

Glendinning, Paul
(2009)
*Bifurcations of Snap-back Repellers with application to Border-Collision Bifurcations.*
[MIMS Preprint]

Grammont, Laurence and Higham, Nicholas J. and Tisseur, Françoise
(2009)
*A Framework for Analyzing Nonlinear Eigenproblems
and Parametrized Linear Systems.*
[MIMS Preprint]

Gray, J.M.N.T. and Ancey, C.
(2009)
*Segregation, recirculation and deposition of coarse particles near two-dimensional avalanche fronts.*
Journal of Fluid Mechanics, 629.
pp. 387-423.

Guo, Chun-Hua and Higham, Nicholas J. and Tisseur, Françoise
(2009)
*Detecting and Solving Hyperbolic Quadratic Eigenvalue Problems.*
SIAM Journal On Matrix Analysis and Applications., 30 (4).
pp. 1593-1613.
ISSN 1095-7162

Guo, Chun-Hua and Higham, Nicholas J. and Tisseur, Françoise
(2009)
*An Improved Arc Algorithm for Detecting Definite Hermitian Pairs.*
SIAM Journal On Matrix Analysis and Applications., 31 (3).
1131- 1151.
ISSN 1095-7162

Hewitt, R.E. and Al-Azhari, M.
(2009)
*Non-axisymmetric self-similar flow between two rotating disks.*
Journal of Engineering Mathematics, 63.
pp. 259-277.

Hewitt, R.E. and Duck, P.W.
(2009)
*Long's vortex revisited.*
Journal of Fluid Mechanics, 634.
pp. 91-111.

Higham, Nicholas J.
(2009)
*The Scaling and Squaring Method for the Matrix Exponential Revisited.*
SIAM Review, 51 (4).
pp. 747-764.
ISSN 0036-1445

Higham, Nicholas J. and Lin, Lijing
(2009)
*On $p$th Roots of Stochastic Matrices.*
[MIMS Preprint]

Higham, Nicholas J. and Mackey, D. Steven and Tisseur, Françoise
(2009)
*Definite Matrix Polynomials and their Linearization by Definite Pencils.*
SIAM Journal on Matrix Analysis and Applications, 31 (2).
478 - 502.
ISSN 0895-4798

Higham, Nicholas J. and Mehl, Christian and Tisseur, Françoise
(2009)
*The Canonical Generalized Polar Decomposition.*
[MIMS Preprint]

Higham, Nicholas J. and Mehl, Christian and Tisseur, Françoise
(2009)
*The Canonical Generalized Polar Decomposition.*
[MIMS Preprint]

Hochman, Michael and Shmerkin, Pablo
(2009)
*Local entropy averages and projections of fractal measures.*
[MIMS Preprint]

Jalikop, Shreyas V. and Juel, Anne
(2009)
*Steep capillary-gravity waves in oscillatory
shear-driven flows.*
Journal of Fluid Mechanics, 640.
pp. 131-150.
ISSN 1469-7645

Jawdat, Jamila and Plymen, Roger
(2009)
*R-groups and geometric structure in the representation theory of SL(N).*
[MIMS Preprint]

Johnson, Marianne and Kambites, Mark
(2009)
*Multiplicative structure of 2x2 tropical matrices.*
[MIMS Preprint]

Johnson, Marianne and Stöhr, Ralph
(2009)
*Free centre-by-nilpotent-by-abelian groups.*
Bulletin of the London Mathematical Society, 41 (5).
pp. 795-803.
ISSN 0024-6093

Kamran, Tayyab and Plymen, Roger
(2009)
*K-theory and the connection index.*
[MIMS Preprint]

Kamran, Tayyab and Plymen, Roger
(2009)
*K-theory and the connection index.*
[MIMS Preprint]

Khukhro, E. I.
(2009)
*On solubility of groups with bounded centralizer chains.*
Glasgow Math. J., 51.
pp. 49-54.

Kou, Chaofeng and Pan, Jianxin
(2009)
*Variable Selection for Joint Mean and
Covariance Models via Penalized Likelihood.*
[MIMS Preprint]

LLoyd, Gemma
(2009)
*Morse Theory for Invariant
Functions and its Application to
the n-Body Problem.*
Doctoral thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

Leng, Chenlei and Zhang, Weiping and Pan, Jianxin
(2009)
*Semiparametric Mean-Covariance
Regression Analysis for Longitudinal Data.*
[MIMS Preprint]

Li, Yinan and Dongarra, Jack and Tomov, Stanimire
(2009)
*A Note on Auto-tuning GEMM for GPUs.*
[MIMS Preprint]

Liao, Qifeng and Silvester, David
(2009)
*A simple yet effective a posteriori estimator for classical mixed approximation of Stokes equations.*
[MIMS Preprint]

Ltaief, Hatem and Kurzak, Jakub and Dongarra, Jack
(2009)
*Parallel Band Two-Sided Matrix
Bidiagonalization for Multicore Architectures.*
[MIMS Preprint]

Ltaief, Hatem and Kurzak, Jakub and Dongarra, Jack
(2009)
*Parallel Block Hessenberg Reduction using
Algorithms-By-Tiles for Multicore Architectures
Revisited.*
[MIMS Preprint]

MacQuarrie, J.W.
(2009)
*Green Correspondence for virtually pro-p groups.*
[MIMS Preprint]

MacQuarrie, J.W.
(2009)
*Modular representations of profinite groups.*
[MIMS Preprint]

Mackey, D. Steven and Mackey, Niloufer and Mehl, Christian and Mehrmann, Volker
(2009)
*Jordan Structures of Alternating Matrix Polynomials.*
[MIMS Preprint]

Margarita, Korovina and Oleg, Kudinov
(2009)
*Uniformity principle for $\Sigma$-definability.*
Journal of Logic and Computation, 19 (1).
pp. 159-174.
ISSN 0955-792X

Mendes, Sergio and Plymen, Roger
(2009)
*Base change and K-theory for GL(n,R).*
[MIMS Preprint]

Montaldi, James and Ortega, Juan-Pablo
(2009)
*Symplectic group actions and covering spaces.*
Differential Geometry and its Applications, 27 (2009).
pp. 589-604.

Muldoon, Mark
(2009)
*External Examiners.*
Mathematics Today.
pp. 42-43.

Murabito, Ettore and Simeonidis, Evangelos and Smallbone, Kieran and Swinton, Jonathan
(2009)
*Capturing the essence of a metabolic network: A flux balance analysis approach.*
Journal of Theoretical Biology.
(In Press)

Murabito, Ettore and Simeonidis, Evangelos and Smallbone, Kieran and Swinton, Jonathan
(2009)
*Capturing the essence of a metabolic network: A flux balance analysis approach.*
Journal of Theoretical Biology.
ISSN 0022-5193
(In Press)

Murabito, Ettore and Simeonidis, Evangelos and Smallbone, Kieran and Swinton, Jonathan
(2009)
*Capturing the essence of a metabolic network: A flux balance analysis approach.*
Journal of Theoretical Biology, 260 (3).
pp. 445-452.
ISSN 0022-5193

Nazarov, Fedor and Peres, Yuval and Shmerkin, Pablo
(2009)
*Convolutions of Cantor measures without resonance.*
[MIMS Preprint]

Pan, Jianxin and Ye, Huajin and Li, Runze
(2009)
*Nonparametric Regression of Covariance Structures
in Longitudinal Studies.*
[MIMS Preprint]

Paris, J. B. and Rad, S. R.
(2009)
*A note on the least informative model of a theory.*
[MIMS Preprint]

Powell, Catherine E. and Ullmann, Elisabeth
(2009)
*Preconditioning stochastic Galerkin saddle point systems.*
[MIMS Preprint]

Riedle, Markus and Applebaum, David
(2009)
*Cylindrical Levy processes in Banach spaces.*
[MIMS Preprint]

Riedle, Markus and van Gaans, Onno
(2009)
*Stochastic Integration for Levy Processes with Values in
Banach Spaces.*
Stochastic Processes and Applications, 119 (6).
pp. 1952-1974.
ISSN 0304-4149

Rogalski, D. and Stafford, J T
(2009)
*A class of noncommutative projective surfaces.*
Proc London Math Soc, 99.
pp. 100-144.
ISSN 1749-9097

Rowley, Peter and Taylor, Paul
(2009)
*Involutions in Janko's Simple Group J4.*
[MIMS Preprint]

Rowley, Peter and Walker, Louise
(2009)
*A 195,747,435 vertex graph related to the Fischer group
Fi23 ,part II.*
[MIMS Preprint]

Rowley, Peter and Walker, Louise
(2009)
*A 195,747,435 vertex graph related to the Fischer group
Fi23, part III.*
[MIMS Preprint]

Rowley, Peter and Walker, Louise
(2009)
*A 195,747,435 vertex graph related to the Fischer group Fi23, part I.*
[MIMS Preprint]

Schmeling, Jörg and Shmerkin, Pablo
(2009)
*On the dimension of iterated sumsets.*
[MIMS Preprint]

Shaw, Alexander G. and Platt, Robert J. and Withers, Jennifer K. and Blüthgen, Nils and Smallbone, Kieran and Jackson, Dean A.
(2009)
*A stochastic-hybrid Model of DNA replication in mammalian cells.*
[MIMS Preprint]

Smallbone, Kieran
(2009)
*One lump or two?*
[MIMS Preprint]

Smallbone, Kieran and Simeonidis, Evangelos
(2009)
*Flux balance analysis: A geometric perspective.*
Journal of Theoretical Biology, 258 (2).
pp. 311-315.
ISSN 0022-5193

Smallbone, Kieran and Simeonidis, Evangelos and Swainston, Neil and Mendes, Pedro
(2009)
*Towards a genome-scale kinetic model of cellular metabolism.*
BMC Systems Biology.
(Submitted)

Smallbone, Kieran D and Maini, Philip K and Gatenby, Robert A
(2009)
*Episodic, transient systemic acidosis delays evolution of the malignant phenotype: Possible mechanism for cancer prevention by increased physical activity.*
Biology Direct.
(Submitted)

Stöhr, Ralph and Vaughan-Lee, Michael
(2009)
*Products of homogeneous subspaces in free Lie algebras.*
International Journal of Algebra and Computation, 19 (5).
pp. 699-703.
ISSN 0218-1967

Tindall, Marcus J. and Dyson, Louise and Smallbone, Kieran and Maini, Philip K.
(2009)
*Modelling acidosis and the cell cycle in multicellular tumour spheroids.*
[MIMS Preprint]

Tisseur, Francoise and Garvey, Seamus D. and Munro, Christopher
(2009)
*Deflating Quadratic Matrix Polynomials with Structure Preserving Transformations.*
[MIMS Preprint]

Tomov, Stanimire and Dongarra, Jack and Baboulin, Marc
(2009)
*Towards Dense Linear Algebra for
Hybrid GPU Accelerated Manycore Systems.*
[MIMS Preprint]

Trefethen, Anne and Higham, Nicholas J. and Duff, Iain and Coveney, Peter
(2009)
*Applications/Algorithms Roadmapping Activity. First Stage Final Report.*
[MIMS Preprint]

Trefethen, Anne and Higham, Nicholas J. and Duff, Iain and Coveney, Peter
(2009)
*Developing a High-Performance Computing/Numerical Analysis
Roadmap.*
International Journal of High Performance Computing Applications, 23 (4).
423- 426.
ISSN 1094-3420

Wang, Yunjiao and Broomhead, David S. and Horton, Caroline A. and Kell, Douglas B. and White, Michael R. H.
(2009)
*Oscillations in the NF-κB Signaling Pathway.*
[MIMS Preprint]

Wilkie, A J
(2009)
*O-minimal structures.*
In: Seminaire Bourbaki No 985, 14 Nov 2007, Paris, France.

Zare, Hadi
(2009)
*On Spherical Classes in H*QSn.*
Doctoral thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

de Lozar, A. and Heap, A. and Box, F. and Hazel, A.L. and Juel, A.
(2009)
*Tube geometry can force switchlike transitions in the behavior
of propagating bubbles.*
Physics of Fluids, 21 (101702).
pp. 1-4.
ISSN 1089-7666