You are here: MIMS > EPrints
MIMS EPrints

Year: 2008

Number of items: 102.

Article

2012.107: Peter Burgisser, Felipe Cucker and Martin Lotz (2008) The probability that a slightly perturbed numerical analysis problem is difficult. Mathematics of Computation, 77. pp. 1559-1583. ISSN 1088-6842

2012.93: E. I. Khukhro (2008) Groups with an automorphism of prime order that is almost regular in the sense of rank. J. London Math. Soc., 77. pp. 130-148.

2012.24: C. del Pino, R.E. Hewitt, R.J.C. Clarke, T. Mullin and J.P. Denier (2008) Unsteady fronts in the spin-down of a fluid-filled torus. Physics of Fluids, 20.

2012.21: R.E. Hewitt, T. Mullin, S.J. Tavener, M.A.I. Khan and P.D. Treacher (2008) Nonlinear vortex development in rotating flows. Philosophical Transactions of the Royal Society A, 366 (1868). pp. 1317-1329.

2012.4: A J Wilkie and G O Jones (2008) Locally polynomially bounded structures. Bulletin of the London Mathematical Society, 40 (2). pp. 239-248.

2010.58: Joachim Baran and Howard Barringer (2008) Forays into Sequential Composition and Concatenation in EAGLE. Lecture Notes in Computer Science, 5289. pp. 69-85. ISSN 978-3-540-89246-5

2010.56: Corina Puasuareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M Cobleigh and Howard Barringer (2008) Learning to divide and conquer: applying the $L^*$ algorithm to automate assume-guarantee reasoning. Formal Methods in System Design, 32 (3). pp. 175-205. ISSN 0925-9856

2010.8: Andrei Morozov and Margarita Korovina (2008) On $\Sigma$-definability without equality over the real numbers. Mathematical Logic Quarterly, 54 (5). pp. 535-544. ISSN 0942-5616

2010.7: Margarita Korovina and Oleg Kudinov (2008) Towards Computability over Effectively Enumerable Topological Spaces. Electronic Notes in Theoretical Computer Science, 221. pp. 115-125. ISSN 1571-0661

2010.6: Andrei Morozov and Margarita Korovina (2008) Remarks on $\Sigma$-definability without the equality test over the Reals. Electronic Notes in Theoretical Computer Science, 202. pp. 305-313. ISSN 1571-0661

2010.5: Andrei Morozov and Margarita Korovina (2008) On $\Sigma$-representability of countable structures over real numbers, complex numbers and quaternions. Algebra and Logic, 47 (3). pp. 335-363. ISSN 0002-5232

2010.4: Margarita Korovina and Vorobjov Nicolai (2008) Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Theory of Computing Systems, 43 (3-4). pp. 498-515. ISSN 1432-4350

2009.89: Dietrich Notbohm and Nigel Ray (2008) On Davis-Januszkiewicz Homotopy Types II; completion and globalisation. Algebraic and Geometric Topology, To appear. ISSN 1472-2747

2009.68: Charles W. Eaton (2008) Perfect generalized characters inducing the Alperin-McKay conjecture. Journal of Algebra, 320 (6). pp. 2301-2327. ISSN 0021-8693

2009.45: Alberto De Lozar, Anne Juel and Andrew Hazel (2008) The Steady Propagation of an Air Finger into a Rectangular Tube. Journal of Fluid Mecanics, 614. pp. 173-195. ISSN 1469-7645

2008.117: L. G. Kovács and Ralph Stöhr (2008) Lie powers of relation modules for groups. Journal of Algebra, 326 (1). pp. 192-200. ISSN 0021-8693

2008.100: J. B. Paris and A. Sirokofskich (2008) On LP-models of arithmetic. The Journal of Symbolic Logic, 73 (1). pp. 212-226. ISSN 0022-4812

2008.99: D. Henry, A. Juel, H. Ben Hadid and S. Kaddeche (2008) Directional effect of a magnetic field on oscillatory low-Prandtl-number convection. Physics of Fluids, 20 (034104). ISSN 1070-6631

2008.98: Alexandra Heap and Anne Juel (2008) Anomalous bubble propagation in elastic tubes. Physics of Fluids, 20 (081702). ISSN 1070-6631

2008.97: D. Moss, D. Sokoloff, I. Usoskin and V. Tutubalin (2008) Solar Grand Minima and Random Fluctuations in Dynamo Parameters. Solar Physics, 205. pp. 221-234. ISSN 0038-0938

2008.96: David Moss (2008) Simple laminar dynamos: from two rolls to one. Geophysical and Astrophysical Fluid Dynamics, 102 (2). pp. 195-203. ISSN 0309-1929

2008.93: Alexander N. Donev, Randy Tobias and Farinaz Monadjemi (2008) Cost-cautious designs for confirmatory bioassay. Journal of Statistical Planning and Inference, 138. 3805 -3812. ISSN 0378-3758

2008.89: M.J. Herrgård, N. Swainston, P. Dobson, W.B. Dunn, K.Y. Arga, M. Arvas, N. Blüthgen, S. Borger, R. Costenoble, M. Heinemann, M. Hucka, N. Le Novère, P Li, W. Liebermeister, M.L. Mo, A.P. Oliveira, D. Petranovic, S. Pettifer, E. Simeonidis, K. Smallbone, I. Spasić, D. Weichart, R. Brent, D.S. Broomhead, H.V. Westerhoff, B.I. Kırdar, M. Penttilä, E. Klipp, B.Ø. Palsson, U. Sauer, S.G. Oliver, P. Mendes, J. Nielsen and D.B. Kell (2008) A consensus yeast metabolic network reconstruction obtained from a community approach to systems biology. Nature Biotechnology, 16. pp. 1155-1160. ISSN 1087-0156

2008.88: K. Smallbone, R.A. Gatenby and P.K. Maini (2008) Mathematical modelling of tumour acidity. Journal of Theoretical Biology, 255 (1). pp. 106-112. ISSN 0022-5193

2008.81: C.J. Kelly, K. Smallbone and J.M. Brady (2008) Tumour glycolysis: the many faces of HIF. Journal of Theoretical Biology, 254 (2). pp. 508-513. ISSN 0022-5193

2008.79: Sampa Santra, Bette T. Korber, Mark Muldoon, Dan H. Barouch, Gary J. Nabel, Feng Gao, Beatrice H. Hahn, Barton F. Haynes and Norman L. Letvin (2008) A centralized gene-based HIV-1 vaccine elicits broad cross-clade cellular immune responses in rhesus monkeys. Proceedings of the National Academy of Sciences of the USA, 105 (30). pp. 10489-10494. ISSN 0027-8424

2008.78: Shovonlal Roy (2008) Spatial interaction among nontoxic phytoplankton, toxic phytoplankton, and zooplankton:Emergence in space and time. Journal of Biological Physics. ISSN 1573-0689

2008.53: Jia Liu, W. T. Hewitt, W.R.B. Lionheart, J Montaldi and M. Turner (2008) A Lemon is not a Monstar: visualization of singularities of symmetric second rank tensor fields in the plane. Eurographics UK Theory and Practice of Computer Graphics (2008). pp. 99-106.

2008.50: Rudiger Borsdorf and Nicholas J. Higham (2008) A Preconditioned Newton Algorithm for the Nearest Correlation Matrix. IMA Journal of Numerical Analysis, 30 (1). pp. 94-107. ISSN 1464-3642

2008.31: Victor M Buchstaber and Nigel Ray (2008) An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron. Proceedings of the International Conference in Toric Topology: Osaka 2006.

2008.27: William R Lionheart (2008) Inverse problems in industry. Mathematics Today, 44 (1). pp. 24-26. ISSN 1361-2042

2008.3: A R Thornton and J M N T Gray (2008) Breaking size-segregation waves and particle recirculation in granular avalanches. Journal of Fluid Mechanics, 596 (596). pp. 261-284. ISSN 1469-7645

2007.234: R. M. Bryant and Marianne Johnson (2008) Lie powers and Witt vectors. Journal of Algebraic Combinatorics. ISSN 0925-9899

2007.119: Nicholas J. Higham (2008) Cayley, Sylvester, and Early Matrix Theory. Linear Algebra Appl., 428. pp. 39-43. ISSN 0024-3795

2007.116: Alexandre Borovik (2008) Linear groups of finite Morley rank. Journal of the Institute of Mathematics of Jussieu, 7. ISSN 1474-7480

2007.107: A. H. Barnett and T. Betcke (2008) Stability and Convergence of the Method of Fundamental Solutions for Helmholtz problems on analytic domains. Journal of Computational Physics, 227 (14). pp. 7003-7026. ISSN 0021-9991

2007.103: Nicholas Hale, Nicholas J. Higham and Lloyd N. Trefethen (2008) Computing $A^\alpha$, $\log(A)$ and Related Matrix Functions by Contour Integrals. SIAM Journal on Numerical Analysis, 46 ( 5). pp. 2505-2523. ISSN 0036-1429

2007.16: Ralph Stöhr (2008) BASES, FILTRATIONS AND MODULE DECOMPOSITIONS OF FREE LIE ALGEBRAS. J. Pure Appl. Algebra, 212 (5). pp. 1187-1206. ISSN 0022-4049

2006.409: Philip Gresho, David Griffiths and David Silvester (2008) Adaptive time-stepping for incompressible flow. Part I: scalar advection-diffusion. SIAM Journal on Scientific Computing, 30 (4). pp. 2018-2054. ISSN 1064-8275

2006.406: Nicholas J. Higham, D. Steven Mackey, Françoise Tisseur and Seamus D. Garvey (2008) Scaling, Sensitivity and Stability in the Numerical Solution of Quadratic Eigenvalue Problems. International Journal for Numerical Methods in Engineering, 73 (3). pp. 344-360.

2006.396: Timo Betcke (2008) The Generalized Singular Value Decomposition and the Method of Particular Solutions. SIAM J. Sci. Comp., 30 (3). pp. 1278-1295. ISSN 1095-7197

Book

2008.59: Khadiga Arwini and CTJ Dodson (2008) Information Geometry: Near Randomness and Near Independence. Lecture Notes in Mathematics, 1953. Springer-Verlag, Berlin, Heidelberg, Germany. ISBN 978-3-540-69391-8

2008.39: Nicholas J. Higham (2008) Functions of Matrices: Theory and Computation. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA. ISBN 978-0-898716-46-7

Book Section

2012.5: A J Wilkie (2008) Some local definability theory for holomorphic functions. In: Model Theory with Applications to Algebra and Analysis. London Mathematical Society Lecture Note Series, 1 (349). Cambridge University Press, Cambridge, pp. 197-213. ISBN 978-0-521-70908-8

2006.134: M. J. Conyon and M. R. Muldoon (2008) Ownership and Control: A Small-World Analysis. In: Joel A. C. Baum and Timothy J. Rowley, (eds). Network Strategy. Advances in Management Science (25). JAI Press, Emerald Publishing Group, UK, pp. 31-65. ISBN 978-0-7623-1442-3

Conference or Workshop Item

2009.38: CTJ Dodson (2008) On the entropy flows to disorder. In: The 2nd Chaotic Modeling and Simulation International Conference, 1-5 June 2009, Charnia, Crete.

2009.24: M. L. Bujorianu and J. P. Katoen (2008) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control 2008, 9-11 Dec 2008, Cancun, Mexico.

2008.65: Alistair Boyle, William R.B. Lionheart, Camille Gomez-Laberge and Andy Adler (2008) Evaluating Deformation Corrections in Electrical Impedance Tomography. In: 9th EIT conference 2008, 16-18th June 2008, Dartmouth College, New Hampshire.

2008.64: Andy Adler, Andrea Borsic, Nick Polydorides and William R.B. Lionheart (2008) Simple FEMs aren’t as good as we thought: experiences developing EIDORS v3.3. In: 9th EIT conference 2008, 16-18th June 2008, Dartmouth College, New Hampshire.

2008.63: Jerome E. Cooper, Philip H. Steele, Brian K. Mitchell, Craig Boden and William R.B. Lionheart (2008) Detecting Juvenile Wood in Southern Pine Logs with Brush Electrodes. In: 9th EIT conference 2008, 16-18th June 2008, Dartmouth College, New Hampshire.

2008.62: Andy Adler, John Arnold, Richard Bayford, Andrea Borsic, Brian Brown, Paul Dixon, Theo Faes, Inez Frerichs, Herve Gagnon, Yvo Garber, Bartlomiej Grychtol, Gunter Hahn, William Lionheart, Anjum Malik, Janet Stocks, Andrew Tizzard, Norbert Weiler and Gerhard Wolf (2008) GREIT: towards a consensus EIT algorithm for lung images,. In: 9th EIT conference 2008, 16-18th June 2008, Dartmouth New Hampshire.

2008.36: Alexandre Borovik (2008) Metamathematics of Elementary Mathematics. In: PhiMSAMP3: Philosophy of Mathematics. Sociological Aspects and Mathematical Practice, 16-18 May 2008, Viena, Austrtia.

2008.34: Alexandre Borovik (2008) Ubiquity and uniqueness: everyday mathematics from a model-theoretic perspective. In: Seminaire ``Des Mathematiques", 16 January 2008, Ecole Normale Superieure, Paris.

2008.33: Alexandre Borovik (2008) Didactic Transformation. In: Mathematicians and Mathematics Educationalists: How can we collaborate?, 19 March 2008, Warwick.

2008.2: CTJ Dodson (2008) A note on quantum chaology and gamma approximations to eigenvalue spacings for infinite random matrices. In: CHAOS 2008, 3-6 June 2008, Charnia, Crete.

2006.8: M. Aghasi, C.T.J. Dodson, G.N. Galanis and A. Suri (2008) Conjugate connections and differential equations on infinite dimensional manifolds. In: VIII International Colloquium on Differential Geometry, 7-11 July 2008, Santiago de Compostela, Spain.

MIMS Preprint

2008.116: Nicholas J. Higham (2008) Cholesky Factorization.

2008.114: Paul Glendinning and Chi Hong Wong (2008) Border collision bifurcations, snap-back repellers and chaos.

2008.112: Mike Prest and Ravi Rajani (2008) Structure sheaves of definable additive categories.

2008.111: Sven Hammarling and Craig Lucas (2008) Updating the QR factorization and the least squares problem.

2008.110: J. B. Paris (2008) On filling-in missing conditional probabilities in causal networks.

2008.109: C. J. Nix and J. B. Paris (2008) A Continuum of Inductive Methods arising from a Generalized Principle of Instantial Relevance.

2008.108: J. B. Paris and N. Pathmanathan (2008) A Note on Priest’s Finite Inconsistent Arithmetics.

2008.107: Juergen Landes, Jeff Paris and Alena Vencovská (2008) Language Invariance and Spectrum Exchangeability in Inductive Logic.

2008.106: C. J. Nix and J. B. Paris (2008) A Note on Binary Inductive Logic.

2008.104: O. W. Barnett and J. B. Paris (2008) Maximum Entropy Inference with Quantified Knowledge.

2008.103: P. A. Glendinning, T. Jäger and J Stark (2008) Strangely Dispersed Minimal Sets in the Quasiperiodically Forced Arnold Circle Map.

2008.102: Paul Glendinning and Piotr Kowalczyk (2008) Dynamics of a hybrid thermostat model with discrete sampling time control.

2008.101: Paul Glendinning, Tobias Jager and Jaroslav Stark (2008) Strangely Dispersed Minimal Sets in the Quasiperiodically Forced Arnold Circle Map.

2008.92: M Aghasi, AR Bahari, CTJ Dodson, GN Galanis and A Suri (2008) Second order structures for sprays and connections on Fréchet manifolds.

2008.91: Paul Glendinning (2008) Renormalization for the boundary of chaos in piecewise monotonic maps with a single discontinuity.

2008.90: James Montaldi and Juan-Pablo Ortega (2008) Notes on lifting group actions.

2008.87: Marcus Tressl (2008) Heirs of box types in polynomially bounded structures.

2008.86: Marcus Tressl (2008) Bounded super real closed rings.

2008.85: Niels Schwartz and Marcus Tressl (2008) Elementary properties of minimal and maximal points in Zariski spectra.

2008.84: Mike Prest (2008) Definable Additive Categories (conference talk).

2008.83: Mike Prest (2008) Pure-injective modules.

2008.82: Ravi Rajani and Mike Prest (2008) Pure-injectivity and model theory for G-sets.

2008.77: Younes Chahlaoui and Paul Van Dooren (2008) First/second order transformation system. Tentative proof.

2008.75: William Lionheart and Vladimir Sharafutdinov (2008) Reconstruction algorithm for the linearized polarization tomography problem with incomplete data.

2008.74: N Polydorides, E Storteig and W.R.B. Lionheart (2008) OCEAN CURRENT PREDICTION IN TOWED CABLE HYDRODYNAMICS UNDER DYNAMIC STEERING.

2008.73: Nick Polydorides, Eskild Storteig and William Lionheart (2008) Forward and Inverse Problems in Towed Cable Hydrodynamics.

2008.71: Romina Gaburro and William R.B. Lionheart (2008) Recovering Riemannian metrics in monotone families from boundary data.

2008.66: Darran Furnival, Howard Elman and Catherine Powell (2008) H(div) Preconditioning for a Mixed Finite Element Formulation of the Stochastic Diffusion Problem.

2008.58: Erich Bohl, Ryan Hamilton and Peter Lancaster (2008) Phylogenetic Trees Predicted by an Irreversible Markov Process.

2008.54: Victor M. Buchstaber (2008) Combinatorics of simple polytopes and differential equations.

2008.52: Andy Adler, Richard Youmaran and William R.B. Lionheart (2008) A measure of the information content of EIT data.

2008.45: Alexandre Borovik and Arjeh Cohen (2008) On varieties of representations of finite groups.

2008.41: James Montaldi and Tadashi Tokieda (2008) Dynamics of poles with variable strengths and optical analogies (early version).

2008.40: Timo Betcke, Nicholas J. Higham, Volker Mehrmann, Christian Schröder and Françoise Tisseur (2008) NLEVP: A Collection of Nonlinear Eigenvalue Problems.

2008.35: Ralph Byers, D. Steven Mackey, Volker Mehrmann and Hongguo Xu (2008) Symplectic, BVD, and Palindromic Approaches to Discrete-Time Control Problems.

2008.24: Markus Riedle (2008) Cylindrical Wiener processes.

2008.13: Alexandre V. Borovik (2008) Metric matroids and metric buildings.

2008.8: Nicholas J. Higham (2008) An Interview with Gene Golub.

2008.7: Jakub Kurzak, Alfredo Buttari, Piotr Luszczek and Jack Dongarra (2008) The PlayStation 3 for High Performance Scientific Computing.

2006.410: Ravi Rajani and Mike Prest (2008) Model-theoretic imaginaries and coherent sheaves.

2006.218: Mike Prest (2008) Definable additive categories: purity and model theory.

2006.107: Mike Prest (2008) The Zariski spectrum of the category of finitely presented modules.

2006.65: M. J. Conyon and M. R. Muldoon (2008) Ranking the Importance of Boards of Directors.

Thesis

2010.83: Christine Lee (2008) On the difference \pi(x) - li(x). Masters thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2009.92: Paul Johnson (2008) IMPROVED NUMERICAL TECHNIQUES FOR OCCUPATION-TIME DERIVATIVES AND OTHER COMPLEX FINANCIAL INSTRUMENTS. PhD thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2008.76: Cornelis van Berkel (2008) Reconstruction of Grounded Objects from Cauchy Data on a Plane. PhD thesis, The University of Manchester.

This list was generated on Thu Oct 23 16:48:50 BST 2014.