You are here: MIMS > EPrints
MIMS EPrints

MIMS number: 2010

Number of items: 105.

2010.107: Mark Muldoon (2009) External Examiners. Mathematics Today. pp. 42-43.

2010.106: Kuok Fai Chao and Roger Plymen (2010) Geometric structure in the tempered dual of the p-adic group SL(4).

2010.105: M.C. Guenther, N.J. Dingle, J.T. Bradley and W.J. Knottenbelt (2010) Passage-time Computation and Aggregation Strategies for Large Semi-Markov Processes. Performance Evaluation.

2010.104: A.M. Mason, N.J. Dingle, W.J. Knottenbelt, D. Bell, W. Buchanan and C. Theummler (2010) Modelling infection spread using location tracking. International Journal of Healthcare Technology and Management, 11 (6). pp. 442-461.

2010.103: Saloni Shah (2010) An Exploration of the Relationship between Mathematics and Music. Other thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2010.102: Stefanie Zegowitz (2010) On the positive region of \pi(x) - li(x). Other thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2010.101: Martina Fedel, Hykel Hosni and Franco Montagna (2010) A logical characterization of coherence for imprecise probabilities.

2010.100: Paul Glendinning and Chi Hong Wong (2010) Two dimensional attractors in the border collision normal form.

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

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

2010.97: Munibah Tahir (2010) A new bound for the smallest x with \pi(x) > li(x). Masters thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

2010.96: Qusay Al-Zamil (2010) $X_M$-Harmonic Cohomology and Equivariant Cohomology on Riemannian Manifolds With Boundary.

2010.95: James Montaldi and Miguel Rodriguez-Olmos (2011) On the stability of Hamiltonian relative equilibria with non-trivial isotropy. Nonlinearity, 24 (2011). pp. 2777-2783. ISSN 1749-9097

2010.94: Bruno R. C. Magalhaes, Nicholas J. Dingle and William J. Knottenbelt (2010) GPU-enabled steady-state solution of large Markov models. In: 6th International Workshop on the Numerical Solution of Markov Chains (NSMC'10), 16-17 Sep 2010, Williamsburg, Virginia.

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

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

2010.91: Nicholas J. Higham and Lijing Lin (2011) A Schur--Pad\'e Algorithm for Fractional Powers of a Matrix. SIAM J. on Matrix Analysis and Applications, 32 (3). pp. 1056-1078. ISSN 0895-4798

2010.90: Markus Riedle (2010) Infinitely divisible cylindrical measures on Banach spaces.

2010.89: Romina Gaburro and William Lionheart (2010) Determining the absorption in anisotropic media.

2010.88: Alexei Bespalov and Norbert Heuer (2010) Natural hp-BEM for the electric field integral equation with singular solutions.

2010.87: P.W. Duck, M.R. Foster and R.E. Hewitt (1997) On the boundary layer arising in the spin-up of a stratified fluid in a container with sloping walls. Journal of Fluid Mechanics, 335. pp. 233-259.

2010.86: Qusay Al-Zamil and James Montaldi (2012) Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology. Topology and Applications, 159. pp. 823-832. ISSN 0166-8641

2010.85: Evangelos Simeonidis, Ettore Murabito, Kieran Smallbone and Hans V. Westerhoff (2010) Why does yeast ferment? A flux balance analysis study. Biochemical Society Transactions, 38. pp. 1225-1229.

2010.84: Kuok Fai Chao (2010) Geometric structure in the tempered dual of SL(N). PhD thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

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

2010.82: Neil Swainston, Martin Golebiewski, Hanan L. Messiha, Naglys Malys, Renate Kania, Sylvestre Kengne, Olga Krebs, Saqib Mir, Heidrun Sauer-Danzwith, Kieran Smallbone, Andreas Weidemann, Ulrike Wittig, Douglas B. Kell, Pedro Mendes, Wolfgang Müller, Norman W. Paton and Isabel Rojas (2010) Enzyme kinetics informatics: from instrument to browser. FEBS Journal, 277. pp. 3769-3779.

2010.81: Piotr Kowalczyk, Paul Glendinning, Martin Brown, Gustavo Medrano-Cerda, Houman Dallali and Jonathan Shapiro (2011) Modelling human balance using switched systems with linear feedback control. Journal of the Royal Society Interface. ISSN 1742-5689

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

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

2010.78: P.E. Kloeden, G.J. Lord, A. Neuenkirch and T. Shardlow (2010) The exponential integrator scheme for stochastic partial differential equations: Pathwise error bounds.


2010.75: Howard Elman, Milan Mihajlovic and David Silvester (2011) Fast iterative solvers for buoyancy driven flow problems. Journal of Computational Physics, 230 (10). pp. 3900-3914. ISSN 0021-9991

2010.74: L Astey, A Bahri, M Bendersky, F.R. Cohen, D.M. Davis, S Gitler, M Mahowald, N Ray and R Wood (2010) THE KO*-RINGS OF BTm, THE DAVIS-JANUSZKIEWICZ SPACES AND CERTAIN TORIC MANIFOLDS.

2010.73: Alexandre Borovik and Hovhannes Khudaverdyan (2010) Mercator's projection, logarithm and seafaring. In: Mathematical Enlightenment. MCCME: Moscow Center for Continuous Mathematical Education, pp. 1-26. ISBN 978-5-94057-597-9

2010.72: Alexandre Borovik and Sukru Yalcinkaya (2010) Construction of Curtis-Phan-Tits system in black box classical groups.

2010.71: Alexandre Borovik (2010) IT in university level mathematics teaching and learning: a mathematician's point of view.

2010.70: Anne-Marie Aubert, Paul Baum and Roger Plymen (2010) Geometric structure in the principal series of the p-adic group G_2. Representation Theory.

2010.69: H. Dallali, G.A. Medrano-Cerda and M. Brown (2010) A Comparison of Multivariable & Decentralized Control Strategies for Robust Humanoid Walking. In: UKACC International Conference on CONTROL 2010, 7-10 Sept 2010, Coventry, UK.

2010.68: Anne-Marie Aubert, Paul Baum and Roger Plymen (2010) Geometric structure in the representation theory of p-adic groups II. Proc. Symp. Pure Math..

2010.67: Alistaire Everett and Peter Rowley (2010) Commuting Involution Graphs for 4-Dimensional Projective Symplectic Groups.

2010.66: Nicola Wadeson, Edward Morton and William Lionheart (2010) Scatter in an uncollimated x-ray CT machine based on a Geant4 Monte Carlo simulation. In: SPIE Medical Imaging 2010: Physics of Medical Imaging, 15-18 February 2010, San Diego, USA.

2010.65: James Montaldi and Tadashi Tokieda (2011) Dynamics of poles with position-dependent strengths and its optical analogues. Physica D, 240. pp. 1636-1643. ISSN 0167-2789

2010.64: John J Ballantyne, Nicholas M Greer and Peter J Rowley (2012) On Coprimality Graphs for Symmetric Groups. Graphs and Combinatorics.

2010.63: Awad H. Al-Mohy (2010) Algorithms for the Matrix Exponential and its Fr\'echet Derivative. PhD thesis, University of Manchester.

2010.62: S.D. Garvey and A.A. Popov (2010) Parameterising Structure Preserving Transformations Connecting Quadratic Matrix Polynomials. Western Canada Linear Algebra Meeting 2010, Banff, May 2010, 1 (1).

2010.61: Peter Rowley and Paul Taylor (2010) Point-Line Collinearity Graphs of two Sporadic Minimal Parabolic Geometries.

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

2010.59: Howard Barringer, Dov Gabbay and David Rydeheard (2007) From Runtime Verification to Evolvable Systems. Lecture Notes in Computer Science, 4839. pp. 97-110. ISSN 0302-9743

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.57: Joachim Baran and Howard Barringer (2007) A Grammatical Representation of Visibly Pushdown Languages. Lecture Notes in Computer Science, 4576. pp. 1-11. ISSN 978-3-540-73443-7

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.55: Howard Barringer, David Rydeheard and Klaus Havelund (2010) Rule Systems for Run-time Monitoring: from EAGLE to RULER. Journal of Logic and Computation, 20 (3). pp. 675-706. ISSN 0955-792X

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

2010.53: M.C. Bujorianu and M.L. Bujorianu (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.

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

2010.51: M.L. Bujorianu and M. Fisher (2009) Workshop on Formal Methods for Aerospace (FMA).

2010.50: M.L. Bujorianu and Hong Wang (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.

2010.49: M.L. Bujorianu (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.

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

2010.47: Norbert Müller and Margarita Korovina (2010) Making big steps in trajectories. Electronic Proceedings in Theoretical Computer Science, 24. pp. 106-119. ISSN 2075-2180

2010.46: J. M. N. T. Gray (2010) Particle size segregation in granular avalanches: A brief review of recent progress. AIP Conference Proceedings, 1227 (1). pp. 343-362.

2010.45: Philip K Maini, Robert A Gatenby and Kieran Smallbone (2010) Modelling Aspects of Tumour Metabolism. In: Proceedings. International Congress of Mathematicians, Hyderabad, India, pp. 3091-3104.

2010.44: P Glendinning and P Kowalczyk (2010) Dynamics of planar piecewise-smooth slow-fast systems. Physica D.

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

2010.42: J. M.N.T. Gray and B.P. Kokelaar (2010) Large particle segregation, transport and accumulation in granular free-surface flows. Journal of Fluid Mechanics, 652. pp. 105-137.

2010.41: Margarita Korovina and Nicolai Vorobjov (2010) Computing combinatorial types of trajectories in Pfaffian Dynamics. Journal of Logic and Algebraic Programming, 79 (1). pp. 32-37. ISSN 1567-8326

2010.40: Margarita Korovina and Oleg Kudinov (2010) Σ_K–constraints for Hybrid Systems. Lecture Notes in Computer Science, 5947. pp. 230-241. ISSN 0302-9743

2010.39: J. A. D. Appleby, M. Riedle and C. Swords (2010) Bubbles and crashes in a Black-Scholes model with delay.

2010.38: Alexander Premet (2010) Modular representations and finite W-algebras.

2010.37: David J. Silvester and Valeria Simoncini (2011) An Optimal Iterative Solver for Symmetric Indefinite Systems stemming from Mixed Approximation. ACM Transactions on Mathematical Software, 37 (4). ISSN 1749-9097

2010.36: D. Steven Mackey, Niloufer Mackey, Christian Mehl and Volker Mehrmann (2010) Smith Forms of Palindromic Matrix Polynomials.

2010.35: William R. B. Lionheart and Kyriakos Paridis (2010) Finite Elements and Anisotropic EIT reconstruction. In: 14th International Conference on Electrical Bioimpedance and the 11th Conference on Biomedical Applications of EIT, 4-8 Apr 2010, Gainesville, FL, USA.

2010.34: Kyriakos Paridis and William R. B. Lionheart (2010) Shape corrections for 3D EIT. In: 14th International Conference on Electrical Bioimpedance and the 11th Conference on Biomedical Applications of EIT, 4-8 Apr 2010, Gainesville, FL, USA.

2010.33: Fernando De Teran, Froilan M. Dopico and D. Steven Mackey (2010) Palindromic Companion Forms for Matrix Polynomials of Odd Degree.

2010.31: Qusay Al-Zamil and James Montaldi (2012) Witten-Hodge theory for manifolds with boundary and equivariant cohomology. Differential Geometry and its Applications, 30 (2). pp. 179-194. ISSN 0926-2245

2010.30: Awad H. Al-Mohy and Nicholas J. Higham (2011) Computing the Action of the Matrix Exponential, with an Application to Exponential Integrators. SIAM Journal on Scientific Computing, 33 (2). pp. 488-511. ISSN 1064-8275

2010.29: Bridge Philip (2010) Local presentability of categories of sheaves of modules.

2010.28: Peter S. Stewart, Matthias Heil, Sarah L. Waters and Oliver E. Jensen (2010) Sloshing and slamming oscillations in collapsible channel flow.

2010.27: Sampa Santra, Hua-Xin Liao, Ruijin Zhang, Mark Muldoon, Sydeaka Watson, Will Fischer, James Theiler, James Szinger, Harikrishnan Balachandran, Adam Buzby, David Quinn, Robert J. Parks, Chun-Yen Tsao, Angela Carville, Keith G. Mansfield, George N. Pavlakis, Barbara K. Felber, Barton F. Haynes, Bette T. Korber and Norman L. Letvin (2010) Mosaic vaccines elicit CD8+ T lymphocyte responses that confer enhanced immune coverage of diverse HIV strains in monkeys. Nature Medicine, 16 (3). pp. 324-328. ISSN 1546-170X

2010.26: Dan H. Barouch, Kara L. O'Brien, Nathaniel L. Simmons, Sharon L. King, Peter Abbink, Lori F. Maxfield, Ying-Hua Sun, Annalena La Porte, Ambryice M. Riggs, Diana M. Lynch, Sarah L. Clark, Katherine Backus, James R. Perry, Michael S. Seaman, Angela Carville, Keith G. Mansfield, James J. Szinger, Will Fischer, Mark Muldoon and Bette Korber (2010) Mosaic HIV-1 vaccines expand the breadth and depth of cellular immune responses in rhesus monkeys. Nature Medicine, 16 (3). pp. 319-323. ISSN 1546-170X

2010.25: Roger Plymen (2010) Noncommutative Fourier Analysis. In: Analysis on noncommutative spaces. London Math Society, pp. 1-27.

2010.24: James Montaldi (1993) Multiplicities of Critical Points of Invariant Functions. Matematica Contempor ˆanea, 5. pp. 93-135.

2010.23: Sergio Mendes and Roger Plymen (2010) Artin-Schreier Theory and L-packets in the principal series of SL_2(F_2((x))). Journal de Theorie des Nombres de Bordeaux.

2010.22: Mike Prest and Alexandra Ralph (2010) On sheafification of modules.

2010.21: Mike Prest and Alexandra Ralph (2010) Locally Finitely Presented Categories of Sheaves of Modules.

2010.20: VIctor Buchstaber (2010) Ring of polytopes and the Rota-Hopf algebra. In: Topology Seminar, University of Manchester, 8 Jan 2010, Manchester.

2010.19: Andrew D. Gordon and Catherine E. Powell (2010) Solving Stochastic Collocation Systems with Algebraic Multigrid.

2010.18: Nicholas J. Higham and Awad H. Al-Mohy (2010) Computing Matrix Functions. Acta Numerica, 19. 159 -208. ISSN 0962-4929

2010.17: James Montaldi (2010) Momentum maps and ... In: UK-Japan Winter School on Integrable Systems and Symmetry, 07-10 Jan 2010, Manchester, UK.

2010.16: CTJ Dodson (2010) An inhomogeneous stochastic rate process for evolution from states in an information geometric neighbourhood of uniform fitness.

2010.15: Andrew D. Isaac, Mark Muldoon, Keri A. Brown and Terence A. Brown (2010) Genetic analysis of wheat landraces enables the location of the first agricultural sites in Italy to be identified. Journal of Archaeological Science, 37 (5). pp. 950-956. ISSN 0305-4403

2010.14: Jasmina Cehajic-Kapetanovic, Paul N. Bishop, Sidath Liyanage, Trevor King, Mark Muldoon and Ian M. Wearne (2010) A novel Ocular Anaesthetic Scoring System, OASS, tool to measure both motor and sensory function following local anaesthesia. British Journal of Ophthalmology, 94 (1). pp. 28-32. ISSN 0007-1161

2010.13: George Wilmers (2010) The Social Entropy Process: Axiomatising the Aggregation of Probabilistic Beliefs.

2010.12: George Wilmers (2010) Collective Choice as Information Theory: Towards a Theory of Gravitas.

2010.11: Younès Chahlaoui (2011) Two efficient SVD/Krylov algorithms for model order reduction of large scale systems. Electronic Transactions On Numerical Analysis (ETNA), 38. pp. 113-145. ISSN 1068-9613

2010.10: Peter Lancaster and Françoise Tisseur (2010) Hermitian Quadratic Matrix Polynomials: Solvents and Inverse Problems.

2010.9: Maha Al-Ammari and Francoise Tisseur (2010) Hermitian Matrix Polynomials with Real Eigenvalues of Definite Type. Part I: Classification.

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

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

2010.2: J Sieber and P Kowalczyk (2010) Small-scale instabilities in dynamical systems with sliding. Physica D, 239 (1-2). 44-57. ISSN 0167- 2789

2010.1: P Glendinning and P Kowalczyk (2010) Micro-chaotic dynamics due to digital sampling in hybrid systems of Filippov type. Physica D, 239 (1-2). pp. 58-71. ISSN 0167- 2789

This list was generated on Fri Sep 22 10:41:40 BST 2017.