Up a level |

- MIMS Preprint Server Subjects (1979)
- MSC 2010, the AMS's Mathematics Subject Classification (1905)
**68 Computer science**(97)

- MSC 2010, the AMS's Mathematics Subject Classification (1905)

Group by: Creators | Item Type

Jump to: Article | MIMS Preprint | Book Section | Conference or Workshop Item | Book | Thesis | Other

Number of items at this level: **97**.

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

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

Adamcik, Martin and Wilmers, George
(2013)
*The Irrelevant Information Principle for Collective Probabilistic Reasoning.*
Kybernetika.
(In Press)

Andrew, Robert and Dingle, Nicholas J.
(2014)
*Implementing QR Factorization Updating Algorithms on GPUs.*
Parallel Computing.
ISSN 0167-8191
(In Press)

Andrew, Robert and Dingle, Nicholas J.
(2014)
*Implementing QR Factorization Updating Algorithms on GPUs.*
Parallel Computing, 4 (7).
pp. 161-172.
ISSN 0167-8191

Arrigo, Francesca and Higham, Desmond J. and Noferini, Vanni
*Non-backtracking alternating walks.*
SIAM Journal on Applied Mathematics.
(Submitted)

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

Baran, Joachim and Barringer, Howard
(2007)
*A Grammatical Representation of Visibly Pushdown Languages.*
Lecture Notes in Computer Science, 4576.
pp. 1-11.
ISSN 978-3-540-73443-7

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

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

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

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

Bethune, Iain and Bull, J. Mark and Dingle, Nicholas J. and Higham, Nicholas J.
(2011)
*Investigating the Performance of Asynchronous Jacobi's Method for Solving Systems of Linear Equations.*
To appear in International Journal of High Performance Computing Applications.
(In Press)

Broomhead, D. S. and Sidorov, Nikita
(2004)
*Mutual information and capacity of a linear digital channel.*
Nonlinearity, 17 (6).
pp. 2203-2223.
ISSN 1361-6544

Bull, Simon C. and Muldoon, Mark R. and Doig, Andrew J.
(2013)
*Maximising the Size of Non-Redundant Protein Datasets Using Graph Theory.*
PLoS ONE, 8 (2012.6).
e55484.
ISSN 1932-6203

Coban, Sophia Bethany
(2015)
*SophiaBeads Datasets Project Documentation and Tutorials.*
MIMS Eprints.

Dongarra, Jack and Hammarling, Sven and Higham, Nicholas J. and Relton, Samuel D. and Valero-Lara, Pedro and Zounon, Mawussi
(2017)
*The Design and Performance of Batched BLAS on Modern High-Performance Computing Systems.*
Procedia Computer Science, 108.
pp. 495-504.

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

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

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

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

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.

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

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

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

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

Tang, D.F. and Dobbie, S.
(2011)
*iGen 0.1: a program for the automated generation of models and parameterisations.*
Geoscientific Model Development, 4 (3).
pp. 785-795.

Tang, D.F. and Dobbie, S.
(2011)
*iGen 0.1: the automated generation of a parameterisation of entrainment in marine stratocumulus.*
Geoscientific Model Development, 4 (3).
pp. 797-807.

Amelunxen, Dennis and Lotz, Martin
(2016)
*Average-case complexity without the black swans.*
[MIMS Preprint]

Andrew, Robert and Dingle, Nicholas J.
(2012)
*Implementing QR Factorization Updating Algorithms on GPUs.*
[MIMS Preprint]

Baboulin, Marc and Dongarra, Jack and Gratton, Serge and Langou, Julien
(2007)
*Computing the Conditioning of the Components of a Linear Least Squares Solution.*
[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]

Berljafa, Mario and Güttel, Stefan
(2016)
*Parallelization of the rational Arnoldi algorithm.*
[MIMS Preprint]

Berljafa, Mario and Güttel, Stefan
(2016)
*Parallelization of the rational Arnoldi algorithm.*
[MIMS Preprint]

Bethune, Iain and Bull, J. Mark and Dingle, Nicholas J. and Higham, Nicholas J.
(2011)
*Investigating the Performance of Asynchronous Jacobi's Method for Solving Systems of Linear Equations.*
[MIMS Preprint]

Bethune, Iain and Bull, J. Mark and Dingle, Nicholas J. and Higham, Nicholas J.
(2011)
*Investigating the Performance of Asynchronous Jacobi's Method for Solving Systems of Linear Equations.*
[MIMS Preprint]

Bethune, Iain and Bull, J. Mark and Dingle, Nicholas J. and Higham, Nicholas J.
(2012)
*Performance analysis of asynchronous Jacobi's method
implemented in MPI, SHMEM and OpenMP.*
[MIMS Preprint]

Bosilca, G and Chen, Z and Dongarra, J and Langou, J
(2007)
*Recovery Patterns for Iterative Methods in a Parallel Unstable Environment.*
[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]

Bujorianu, M.L. and Fisher, M.
(2009)
*Workshop on Formal Methods for Aerospace (FMA).*
[MIMS Preprint]

Bull, Simon C. and Muldoon, Mark R. and Doig, Andrew J.
(2012)
*Maximising the Size of Non-Redundant Protein Datasets Using Graph Theory.*
[MIMS Preprint]

Buttari, Alfredo and Dongarra, Jack and Kurzak, Jakub
(2007)
*Limitations of the PlayStation 3 for High Performance Cluster Computing.*
[MIMS Preprint]

Buttari, Alfredo and Dongarra, Jack and Kurzak, Jakub and Luszczek, Piotr and Tomov, Stanimire
(2007)
*Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy.*
[MIMS Preprint]

Buttari, Alfredo and Dongarra, Jack and Langou, Julie and Langou, Julien and Luszczek, Piotr and Kurzak, Jakub
(2007)
*Mixed Precision Iterative Refinement Techniques for the Solution of Dense Linear Systems.*
[MIMS Preprint]

Buttari, Alfredo and Langou, Julien and Kurzak, Jakub and Dongarra, Jack
(2007)
*A Class of Parallel Tiled Linear Algebra Algorithms for Multicore Architectures.*
[MIMS Preprint]

Chahlaoui, Younes and Korovina, Margarita
(2014)
*CICADA Collection.*
[MIMS Preprint]

Dingle, Nicholas
(2011)
*GPU-based solution of Continuous Time Markov Chains using CUSP.*
[MIMS Preprint]

Dingle, Nicholas
(2011)
*GPU-based solution of Continuous Time Markov Chains using CUSP.*
[MIMS Preprint]

Dongarra, Jack and Duff, Iain and Gates, Mark and Haidar, Azzam and Hammarling, Sven and Higham, Nicholas J. and Hogg, Jonathon and Valero-Lara, Pedro and Relton, Samuel D. and Tomov, Stanimire and Zounon, Mawussi
(2016)
*A Proposed API for Batched Basic Linear Algebra Subprograms.*
[MIMS Preprint]

Dongarra, Jack and Golub, G and Moler, C and Moore, K
(2007)
*Netlib and NA-Net: building a scientific computing community.*
[MIMS Preprint]

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

Hook, J
(2011)
*Products of random Max-plus matrices.*
[MIMS Preprint]

Hook, James and Dingle, Nick
(2013)
*Performance Analysis of Asynchronous Parallel Jacobi.*
[MIMS Preprint]

Kurzak, Jakub and Buttari, Alfredo and Dongarra, Jack
(2007)
*Solving Systems of Linear Equations on the CELL Processor Using Cholesky Factorization.*
[MIMS Preprint]

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

Li, Yinan and Dongarra, Jack and Tomov, Stanimire
(2009)
*A Note on Auto-tuning GEMM for GPUs.*
[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.*
[MIMS Preprint]

Lotz, Martin
(2017)
*Persistent homology for low-complexity models.*
[MIMS Preprint]

Lotz, Martin
(2017)
*Persistent homology for low-complexity models.*
[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]

Mills, Anna and Marsland, Stephen and Shardlow, Tony
(2006)
*Computing the Geodesic Interpolating Spline.*
[MIMS Preprint]

Petrides, George and Mykkeltveit, Johannes
(2006)
*How to Check for Short Cycles in Large Nonlinear Feedback Shift Registers.*
[MIMS Preprint]

Powell, Catherine E
(2006)
*Robust Preconditioning for Second-Order Elliptic PDEs with Random Field Coefficients.*
[MIMS Preprint]

Relton, Samuel D. and Valero-Lara, Pedro and Zounon, Mawussi
(2016)
*A Comparison of Potential Interfaces for Batched BLAS Computations.*
[MIMS Preprint]

Tang, D.F.
(2012)
*A fast algorithm for spectral interpolation of sampled data.*
[MIMS Preprint]

Tang, D.F. and Dobbie, S.
(2011)
*iGen: A program for the automated generation of models and parameterisations.*
[MIMS Preprint]

Tang, D.F. and Dobbie, S.
(2011)
*iGen: A program for the automated generation of models and parameterisations.*
[MIMS Preprint]

Tang, D.F. and Dobbie, S.
(2011)
*iGen: The automated generation of a parameterisation of entrainment in marine stratocumulus.*
[MIMS Preprint]

Tomov, Stanimire and Dongarra, Jack and Baboulin, Marc
(2009)
*Towards Dense Linear Algebra for
Hybrid GPU Accelerated Manycore Systems.*
[MIMS Preprint]

Wadeson, Nicola
(2015)
*Aluminium foam data reconstruction using CGLS and TV Regularisation - 100 and 200 projection data.*
[MIMS Preprint]

Zhang, Weijian
(2015)
*Dynamic Network Analysis in Julia.*
[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.

Chahlaoui, Younes and Gallivan, Kyle A and Van Dooren, Paul
(2001)
*An incremental method for computing dominant singular subspaces.*
In:
Computational information retrieval.
SIAM, usa, pp. 53-62.
ISBN 0-89871-500-8

Huber, Nikolaus and Brosig, Fabian and Dingle, Nicholas and Joshi, Kaustubh and Kounev, Samuel
(2012)
*Providing Dependability and Performance in the Cloud: Case Studies.*
In:
Resilience Assessment and Evaluation of Computing Systems.
Dagstuhl Seminar 10292
.
Springer-Verlag, Berlin, Heidelberg.
ISBN 978-3-642-29031-2

Korovina, Margarita and Kudinov, Oleg
(2011)
*Algorithmic Properties of Sigma--definability over Positive Predicate Structures.*
In:
Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011.
Springer Lecture Notes in Computer Science
(6735).
Speinger-Verlag, Heidelberg.
(In Press)

Korovina, Margarita and Kudinov, Oleg
(2011)
*The finite Language for Computable Metric Spaces.*
In:
Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011.
Springer Lecture Notes in Computer Science
(6735).
Springer-Verlag, Heidleberg.

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.

Coban, S.B. and Lionheart, W.R.B.
(2014)
*Regularised GMRES-type Methods for X-Ray Computed Tomography.*
In: The Third International Conference on Image Formation in X-Ray Computed Tomography, 22-25 June 2014, Salt Lake City, Utah, USA.

Dingle, Nicholas
(2011)
*HydraMP: Exploiting shared memory parallelism in HYDRA with OpenMP.*
In: 27th UK Performance Engineering Workshop (UKPEW 2011), 7-8 July 2011, Bradford, UK.

Dingle, Nicholas
(2011)
*HydraMP: Exploiting shared memory parallelism in HYDRA with OpenMP.*
In: 27th UK Performance Engineering Workshop (UKPEW 2011), 7-8 July 2011, Bradford, UK.

Dingle, Nicholas
(2011)
*HydraMP: Exploiting shared memory parallelism in HYDRA with OpenMP.*
In: 27th UK Performance Engineering Workshop (UKPEW 2011), 7-8 July 2011, Bradford, UK.

Dingle, Nicholas J. and Knottenbelt, William J. and Spanias, Demetris
(2012)
*On the (Page)Ranking of Professional Tennis Players.*
In: 28th UK Performance Engineering Workshop (UKPEW 2012), 2 July 2012, Edinburgh.

Nielsen, Frank and Critchley, Frank and Dodson, Christopher TJ, eds.
(2017)
*Computational Information Geometry For Image and Signal Processing.*
Signals and Communication Technology
.
Springer, Germany.
ISBN 978-3-319-47058-0

Bujorianu, L.M. and Fisher, M. and Pasareanu, C., eds.
(2011)
*Special Issue: Formal Methods in Aerospace.*
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 63
(1).
Springer.

Korovina, Margarita and Vorobjov, Nicolai
(2011)
*Reachability in one-dimensional controlled polynomial dynamical systems.*
In Proc. The Ershov Informatics Conference, Institute Informaic Systems Press, Russian.
(In Press)

Andrew, Robert
(2012)
*Implementation of QR Updating Algorithms on the GPU.*
Masters thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

Chahlaoui, Younes
(2003)
*Low-rank approximation and model reduction.*
Doctoral thesis, University Catholic of Louvain, Louvain-La-Neuve, Belgium.

Liu, Xuejun
(2006)
*Microarray Data Analysis Using Probabilistic Methods.*
Doctoral thesis, The University of Manchester.

Petrides, George
(2006)
*Cryptographic Applications of Non-Commutative
Algebraic Structures and Investigations of
Nonlinear Recursions.*
Doctoral thesis, Manchester Institute for Mathematical Sciences, The University of Manchester.

Powell, Catherine E.
(2003)
*Optimal Preconditioning for Mixed Finite Element Formulation of Second-Order Elliptic Problems.*
Doctoral thesis, UMIST.

Weijian, Zhang
(2018)
*Evolving Graphs and Similarity-based Graphs with Applications.*
Doctoral thesis, University of Manchester.

Hammarling, Sven
(2016)
*Workshop on Batched, Reproducible, and Reduced Precision BLAS.*
The University of Manchester, Manchester, UK.
(Unpublished)

Hammarling, Sven
(2016)
*Workshop on Batched, Reproducible, and Reduced Precision BLAS.*
The University of Manchester, Manchester, UK.
(Unpublished)