Items where Year is 2009

Group by: Creators | Item Type | No Grouping
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

This list was generated on Thu Mar 28 01:00:04 2024 GMT.