Up a level |

Number of items: **118**.

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

Adler, Andy and Borsic, Andrea and Polydorides, Nick and Lionheart, William R.B.
(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.

Adler, Andy and Youmaran, Richard and Lionheart, William R.B.
(2008)
*A measure of the information content of EIT data.*
[MIMS Preprint]

Aghasi, M and Bahari, AR and Dodson, CTJ and Galanis, GN and Suri, A
(2008)
*Second order structures for sprays and connections on Fréchet manifolds.*
[MIMS Preprint]

Aghasi, M. and Dodson, C.T.J. and Galanis, G.N. and Suri, A.
(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.
(In Press)

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

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

Barnett, A. H. and Betcke, T.
(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

Barnett, O. W. and Paris, J. B.
(2008)
*Maximum Entropy Inference with
Quantified Knowledge.*
[MIMS Preprint]

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

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

Bohl, Erich and Hamilton, Ryan and Lancaster, Peter
(2008)
*Phylogenetic Trees Predicted by an Irreversible Markov Process.*
[MIMS Preprint]

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

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

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

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

Borovik, Alexandre and Cohen, Arjeh
(2008)
*On varieties of representations of finite groups.*
[MIMS Preprint]

Borovik, Alexandre V.
(2008)
*Metric matroids and metric buildings.*
[MIMS Preprint]

Borsdorf, Rudiger and Higham, Nicholas J.
(2008)
*A Preconditioned Newton Algorithm for the Nearest Correlation Matrix.*
[MIMS Preprint]

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

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

Bryant, R. M. and Johnson, Marianne
(2008)
*Lie powers and Witt vectors.*
Journal of Algebraic Combinatorics.
ISSN 0925-9899
(In Press)

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

Buchstaber, Victor M.
(2008)
*Combinatorics of simple polytopes and differential equations.*
[MIMS Preprint]

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

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

Byers, Ralph and Mackey, D. Steven and Mehrmann, Volker and Xu, Hongguo
(2008)
*Symplectic, BVD, and Palindromic Approaches to Discrete-Time Control Problems.*
[MIMS Preprint]

Chahlaoui, Younes and Van Dooren, Paul
(2008)
*First/second order transformation system.
Tentative proof.*
[MIMS Preprint]

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

Conyon, M. J. and Muldoon, M. R.
(2008)
*Ranking the Importance of Boards of Directors.*
[MIMS Preprint]

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

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

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

Dodson, CTJ
(2008)
*A note on quantum chaology and gamma approximations to eigenvalue spacings
for infinite random matrices.*
[MIMS Preprint]

Dodson, CTJ
(2008)
*A note on quantum chaology and gamma approximations to eigenvalue spacings
for infinite random matrices.*
[MIMS Preprint]

Dodson, CTJ
(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.

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

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

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

Furnival, Darran and Elman, Howard and Powell, Catherine
(2008)
*H(div) Preconditioning for a Mixed Finite Element Formulation of the Stochastic Diffusion Problem.*
[MIMS Preprint]

Gaburro, Romina and Lionheart, William R.B.
(2008)
*Recovering Riemannian metrics in
monotone families from boundary
data.*
[MIMS Preprint]

Glendinning, P. A. and Jäger, T. and Stark, J
(2008)
*Strangely Dispersed Minimal Sets in the
Quasiperiodically Forced Arnold Circle Map.*
[MIMS Preprint]

Glendinning, Paul
(2008)
*Renormalization for the boundary of chaos in piecewise monotonic maps with a single discontinuity.*
[MIMS Preprint]

Glendinning, Paul
(2008)
*Renormalization for the boundary of chaos in piecewise monotonic maps with a single discontinuity.*
[MIMS Preprint]

Glendinning, Paul and Jager, Tobias and Stark, Jaroslav
(2008)
*Strangely Dispersed Minimal Sets in the Quasiperiodically Forced Arnold Circle Map.*
[MIMS Preprint]

Glendinning, Paul and Kowalczyk, Piotr
(2008)
*Dynamics of a hybrid thermostat model with discrete sampling
time control.*
[MIMS Preprint]

Glendinning, Paul and Wong, Chi Hong
(2008)
*Border collision bifurcations, snap-back repellers and chaos.*
[MIMS Preprint]

Gresho, Philip and Griffiths, David and Silvester, David
(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

Guo, Chun-Hua and Higham, Nicholas J. and Tisseur, Françoise
(2008)
*An Improved Arc Algorithm for Detecting Definite Hermitian Pairs.*
[MIMS Preprint]

Guo, Chun-Hua and Higham, Nicholas J. and Tisseur, Françoise
(2008)
*An Improved Arc Algorithm for Detecting Definite Hermitian Pairs.*
[MIMS Preprint]

Hale, Nicholas and Higham, Nicholas J. and Trefethen, Lloyd N.
(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

Hammarling, Sven and Lucas, Craig
(2008)
*Updating the QR factorization and the least squares problem.*
[MIMS Preprint]

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

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

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

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

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

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

Higham, Nicholas J.
(2008)
*Cholesky Factorization.*
[MIMS Preprint]

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

Higham, Nicholas J.
(2008)
*An Interview with Gene Golub.*
[MIMS Preprint]

Higham, Nicholas J. and Mackey, D. Steven and Tisseur, Françoise and Garvey, Seamus D.
(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.

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

Kay, David A. and Gresho, Philip M. and Griffiths, David F. and Silvester, David J.
(2008)
*Adaptive time-stepping for incompressible flow
Part II: Navier-Stokes Equations.*
[MIMS Preprint]

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

Khukhro, E. I.
(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.

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

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

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

Kurzak, Jakub and Buttari, Alfredo and Luszczek, Piotr and Dongarra, Jack
(2008)
*The PlayStation 3 for High Performance Scientific Computing.*
[MIMS Preprint]

Landes, Juergen and Paris, Jeff and Vencovská, Alena
(2008)
*Language Invariance and Spectrum Exchangeability
in Inductive Logic.*
[MIMS Preprint]

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

Lionheart, William and Sharafutdinov, Vladimir
(2008)
*Reconstruction algorithm for the linearized polarization tomography problem with incomplete data.*
[MIMS Preprint]

Lionheart, William and Sharafutdinov, Vladimir
(2008)
*Reconstruction algorithm for the polarization tomography problem with incomplete data.*
[MIMS Preprint]

Lionheart, William and Sharafutdinov, Vladimir
(2008)
*Reconstruction algorithm for the polarization tomography problem with incomplete data.*
[MIMS Preprint]

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

Liu, Jia and Hewitt, W. T. and Lionheart, W.R.B. and Montaldi, J and Turner, M.
(2008)
*A Lemon is not a Monstar: visualization of singularities of symmetric second rank tensor fields in the plane.*
[MIMS Preprint]

Liu, Jia and Hewitt, W. T. and Lionheart, W.R.B. and Montaldi, J and Turner, M.
(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.

Montaldi, James and Ortega, Juan-Pablo
(2008)
*Notes on lifting group actions.*
[MIMS Preprint]

Montaldi, James and Tokieda, Tadashi
(2008)
*Dynamics of poles with variable strengths and optical analogies (early version).*
[MIMS Preprint]

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

Morozov, Andrei and Korovina, Margarita
(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

Morozov, Andrei and Korovina, Margarita
(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

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

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

Notbohm, Dietrich and Ray, Nigel
(2008)
*On Davis-Januszkiewicz Homotopy Types II; completion and globalisation.*
Algebraic and Geometric Topology, To app.
ISSN 1472-2747
(In Press)

Nix, C. J. and Paris, J. B.
(2008)
*A Continuum of Inductive Methods arising from
a Generalized Principle of Instantial Relevance.*
[MIMS Preprint]

Nix, C. J. and Paris, J. B.
(2008)
*A Note on Binary Inductive Logic.*
[MIMS Preprint]

Paris, J. B.
(2008)
*On filling-in missing conditional probabilities in
causal networks.*
[MIMS Preprint]

Paris, J. B. and Pathmanathan, N.
(2008)
*A Note on Priest’s Finite Inconsistent Arithmetics.*
[MIMS Preprint]

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

Polydorides, N and Storteig, E and Lionheart, W.R.B.
(2008)
*OCEAN CURRENT PREDICTION IN TOWED CABLE HYDRODYNAMICS UNDER DYNAMIC STEERING.*
[MIMS Preprint]

Polydorides, Nick and Storteig, Eskild and Lionheart, William
(2008)
*Forward and Inverse Problems in Towed Cable Hydrodynamics.*
[MIMS Preprint]

Prest, Mike
(2008)
*Definable Additive Categories (conference talk).*
[MIMS Preprint]

Prest, Mike
(2008)
*Definable additive categories: purity and model theory.*
[MIMS Preprint]

Prest, Mike
(2008)
*Definable additive categories: purity and model theory.*
[MIMS Preprint]

Prest, Mike
(2008)
*Definable additive categories: purity and model theory.*
[MIMS Preprint]

Prest, Mike
(2008)
*Pure-injective modules.*
[MIMS Preprint]

Prest, Mike
(2008)
*The Zariski spectrum of the category of finitely presented modules.*
[MIMS Preprint]

Prest, Mike and Rajani, Ravi
(2008)
*Structure sheaves of definable additive categories.*
[MIMS Preprint]

Prest, Mike and Rajani, Ravi
(2008)
*Structure sheaves of definable additive categories.*
[MIMS Preprint]

Puasuareanu, Corina and Giannakopoulou, Dimitra and Bobaru, Mihaela Gheorghiu and Cobleigh, Jamieson M and Barringer, Howard
(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

Rajani, Ravi and Prest, Mike
(2008)
*Model-theoretic imaginaries and coherent sheaves.*
[MIMS Preprint]

Rajani, Ravi and Prest, Mike
(2008)
*Model-theoretic imaginaries and coherent sheaves.*
[MIMS Preprint]

Rajani, Ravi and Prest, Mike
(2008)
*Pure-injectivity and model theory for G-sets.*
[MIMS Preprint]

Riedle, Markus
(2008)
*Cylindrical Wiener processes.*
[MIMS Preprint]

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

Santra, Sampa and Korber, Bette T. and Muldoon, Mark and Barouch, Dan H. and Nabel, Gary J. and Gao, Feng and Hahn, Beatrice H. and Haynes, Barton F. and Letvin, Norman L.
(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

Schwartz, Niels and Tressl, Marcus
(2008)
*Elementary properties of minimal and maximal points in Zariski spectra.*
[MIMS Preprint]

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

Smallbone, Kieran and Simeonidis, Evangelos
(2008)
*Flux balance analysis: A geometric perspective.*
Journal of Theoretical Biology.
ISSN 0022-5193
(In Press)

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

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

Tressl, Marcus
(2008)
*Bounded super real closed rings.*
[MIMS Preprint]

Tressl, Marcus
(2008)
*Heirs of box types in polynomially bounded structures.*
[MIMS Preprint]

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

Wilkie, A J
(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

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