Items where Year is 2009

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | No Grouping
Number of items: 120.

Article

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) 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. 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)

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

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.

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

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).

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

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

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

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.

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

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 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

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

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

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

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

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

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

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

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

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

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) The Complex Step Approximation to the Fréchet Derivative of a Matrix Function. [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. [MIMS Preprint]

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]

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]

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.L. and Fisher, M. (2009) Workshop on Formal Methods for Aerospace (FMA). [MIMS Preprint]

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]

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]

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

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

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]

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]

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

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]

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]

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]

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

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]

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

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]

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]

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]

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]

Book Section

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 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)

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

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

Conference or Workshop Item

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)

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

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

Thesis

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

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.

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

This list was generated on Fri Aug 17 01:00:03 2018 BST.