Items where Subject is "68 Computer science"

Article

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)

Arsene, Corneliu TC and Church, Stephen and Dickinson, Mark (2018) High Performance Software in Multidimensional Reduction Methods for Image Processing with Application to Ancient Manuscript. Manuscript Cultures, 11 (11). pp. 73-96. ISSN 1867-9617

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.

MIMS Preprint

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]

Cahuantzi, Roberto and Chen, Xinye and Güttel, Stefan (2021) A comparison of LSTM and GRU networks for learning symbolic sequences. [MIMS Preprint]

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

Croci, Matteo and Fasi, Massimiliano and Higham, Nicholas J. and Mary, Theo and Mikaitis, Mantas (2021) Stochastic Rounding: Implementation, Error Analysis, and Applications. [MIMS Preprint] (Submitted)

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]

Elsworth, Steven and Güttel, Stefan (2019) ABBA: Adaptive Brownian bridge-based symbolic aggregation of time series. [MIMS Preprint]

Fasi, Massimiliano and Higham, Nicholas J. and Mikaitis, Mantas and Pranesh, Srikara (2020) Numerical Behavior of NVIDIA Tensor Cores. [MIMS Preprint] (In Press)

Fasi, Massimiliano and Mikaitis, Mantas (2020) Algorithms for stochastically rounded elementary arithmetic operations in IEEE 754 floating-point arithmetic. [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]

Lopez, Florent and Mary, Theo (2020) Mixed Precision LU Factorization on GPU Tensor Cores: Reducing Data Movement and Memory Footprint. [MIMS Preprint] (In Press)

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]

Zounon, Mawussi and Higham, Nicholas J. and Lucas, Craig and Tisseur, Françoise (2020) Performance Impact of Precision Reduction In Sparse Linear Systems Solvers. [MIMS Preprint]

Book Section

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.

Conference or Workshop Item

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.

Book

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)

Thesis

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.

Other

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)