A

Adamaszek, A. and Adamaszek, M. (2010) Combinatorics of the Change-Making Problem. European Journal of Combinatorics, 31 (1). pp. 47-63. ISSN 0195-6698

Adamaszek, A. and Adamaszek, M. (2010) Large-Girth Roots of Graphs. In: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, 1-8 Feb 2010, Nancy, France.

Al-Ghamdi, M., Chester, A.P. and Jarvis, S.A. (2010) Predictive and Dynamic Resource Application for Enterprise Applications. In: 10th IEEE International Conference on Scalable Computing and Communications (SCALCOM10).

Al-Ghamdi, M., Chester, A.P., Xue, J.W.J. and Jarvis, S.A. (2010) The Effect of Server Reallocation Time in Dynamic Resource Allaocation. In: UK Performance Engineering Workshop (UKPEW 2009), 6th July, 2009, Leeds, UK.

Awan, M.S.K. and Jarvis, S.A. (2010) Understanding Resource Provisioning for ClimatePredication.net. In: 10th IEEE International Conference on Scalable Computing and Communications (SCALCOM10), Bradford, UK.

B

Bacigalupo, D.A., van Hemert, J., Usmani, A., Dillenberger, D.N., Wills, G. B. and Jarvis, S.A. (2010) Resource Management of Enterprise Cloud Systems Using Layered Queuing and Historical Performance Models. In: 9th International Workshop on Performance Modelling, Evaluation and Optimisation of Ubiquitous Computing and Network Systems, April 19-23, 2010, Atlanta, USA.

Beynon, W.M. and Harfield, A. (2010) Constructionism through Construal by Computer. In: Constructionism 2010, Paris, France.

Boyatt, R.C. and Joy, M.S. (2010) Developing an Ontology of Mathematical Logic. Scientific Journal of the Technical University of Civil Engineering Bucharest, 6. pp. 6-11. ISSN 2066-6926

Byrd, J.M.R., Jarvis, S.A. and Bhalerao, A.H. (2010) On the Parallelisation of MCMC by Speculative Chain Execution. In: Workshop on Multitheaded Architectures and Applications (MTAAP), Atlanta, Georgia, USA.

Byrd, J.M.R., Jarvis, S.A. and Bhalerao, A.H. (2010) On the Parallelisation of MCMC-based Image Processing. In: 9th IEEE International Workshop on High Performance Computational Biology (HiCOMB), Atlanta, Georgia, USA.

C

Coja-Oghlan, A (2010) A Better Algorithm for Random k-SAT. Siam Journal on Computing, 39 (7). pp. 2823-2864. ISSN 0097-5397

Coja-Oghlan, A, Alon, N, Hàn, H, Kang, M, Rödl, V and Schacht, M (2010) Quasi-Randomness and Algorithmic Regularity for Graphs with General Degree Distributions. Siam Journal on Computing, 39 (6). pp. 2336-2362. ISSN 0097-5397

Coja-Oghlan, A, Cooper, C and Frieze, A (2010) An Efficient Sparse Regularity Concept. Siam Journal on Discrete Mathematics, 23 (4). pp. 2000-2034. ISSN 0895-4801

Coja-Oghlan, A., Behrisch, M. and Kang, M. (2010) The Order of the Giant Component of Random Hypergraphs. Random Structures and Algorithms, 36 (2). pp. 149-184. ISSN 1042-9832

Coja-Oghlan, A., Onsjö, M. and Watanabe, O. (2010) Propagation Connectivity of Random Hypergraphs. In: Approximation, Randomization, and Combinatorial Optimization. Lecture Notes in Computer Science, 6302 (6302). Springer Verlag, London, pp. 490-503. ISBN 978-3-642-15368-6

Czumaj, A., Adamaszek, M. and Sohler, C. (2010) Testing Monotone Continuous Distributions on High-dimensional Real Cubes. In: 21st ACM-SIAM Symposium on Discrete Algorithms (SODA'10), Austin, Texas,.

Czumaj, A., Krysta, P. and Vocking, B. (2010) Selfish Traffic Allocation for Server Farms. Siam Journal on Computing, 39 (5). pp. 1957-1987. ISSN 0097-5397

E

Englert, M., Gupta, A., Krauthgamer, R., Räcke, H., Talgam-Cohen, I. and Talwar, K. (2010) Vertex Sparsifiers: New Results from Old Techniques. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Lecture Notes in Computer Science, 6302 . Springer Verlag, pp. 152-165. ISBN 978-3-642-15368-6

F

Foss, J.G.K. and Cristea, A.I. (2010) The Next Generation Authoring Adaptive Hypermedia: Using and Evaluating the MOT3.0 and PEAL Tools. In: ACM Conference on Hypertext and Hypermedia (Hypertext 2010), 13-16 Jun 2010, Toronto, Canada.

Foss, J.G.K. and Cristea, A.I. (2010) Transforming a Linear Module into an Adaptive One: Tackling the Challenge. In: 10th IEEE International Conference on Intelligent Tutoring Systems (ITS 2010), 14-18 Jun 2010, Pittsburgh, USA.

Foss, J.G.K., Cristea, A.I. and Hendrix, M. (2010) Continuous Use of Authoring for Adaptive Educational Hypermedia: A Long-term Case Study. In: IEEE International Conference on Advanced Learning Technologies (ICALT 2010), 5-7 Jul 2010, Sousse, Tunisia.

Franks, H.P.W., Griffiths, N. and Jhumka, A. (2010) Image Scoring in Ad-Hoc Networks: An Investigation on Realistic Settings. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

Freiling, F.C. and Jhumka, A. (2010) Global Predicate Detection in Distributed Systems with Small Faults. In: 9th International Symposium on Stabilisation, Safety and Security of Distributed Systems, Paris, France.

G

Gay, S. and Nagarajan, R. (2010) Types and Typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science, 16 (3). 375 -406. ISSN 0960-1295

Gay, S., Nagarajan, R. and Papanikolaou, N.K. (2010) Specification and Verification of Quantum Protocols. In: Semantic Techniques in Quantum Computation. Cambridge University Press, USA, pp. 414-472. ISBN 9780521513746

Griffiths, N. and Luck, M. (2010) Norm Emergence in Tag-Based Cooperation. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

Griffiths, N. and Luck, M. (2010) Changing Neighbours: Improving Tag-Based Cooperation. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada.

Griffiths, N. and Luck, M. (2010) Norm Emergence in Tag-Based Cooperation. In: 9th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN10), Toronto, Canada.

Gurcan, M.N., Madabhushi, A. and Rajpoot, N.M. (2010) Pattern Recognition in Histopathological Images: An ICPR 2010 Contest. In: International Conference on Pattern Recognition (ICPR 2010), 23-26 August, 2010, Istanbul, Turkey.

H

Hammond, S.D., Mudalige, G.R., Smith, J.A., Davis, J.A., Jarvis, S.A., Holt, J., Miller, I., Herdman, J.A. and Vadgama, A. (2010) To Upgrade or not to Upgrade? Catamount vs. Cray Linux Environment. In: Large Scale Parallel Processing Workshop 2010 (LSPP10), Atlanta, Georgia, USA.

Hendrix, M. (2010) Supporting Authoring of Adaptive Hypermedia. Technical Report. Department of Computer Science, Coventry, UK.

Herdman, J.A., Gaudin, W.P., Turland, D. and Hammond, S.D. (2010) Benchmarking and Modelling of POWER-7, Westmere, BG/P, and GPUs: An Industry Case Study. In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Hu, Y., Jian, C. and Li, C.-T. (2010) Using Improved Imaging Sensor or Pattern Noise for Source Camera Identification. In: IEEE International Conference on Multimedia and Expo, 19-23 July 2010, Singapore.

Hu, Y. and Li, C.-T. (2010) Selecting Forensic Features for Robust Source Camera Identification. In: Proc. International Computer Symposium, 16-18 Dec, 2010, Tainan, Taiwan.

Hu, Y., Li, C.-T. and Jian, C (2010) Building fingerprints with information from three color Bands for Source camera identification. In: MiFor '10 - 2nd ACM workshop on Multimedia in forensics, security and intelligence, 25-29 October, 2010, Firenze, Italy.

Hudnott, E., Sinclair, J.E. and Darwen, H. (2010) Efficient Multiple Simultaneous Assignment of Database Tables. In: 9th International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2010), 20-22 February, 2010, Cambridge, UK.

I

Ismail, A., Joy, M.S., Sinclair, J.E. and Hamzah, M.I. (2010) A Structured Model Metametadata Technique to Enhance Semantic Searching in Metadata Repository. In: 4th International Conference on Knowledge Generation, Communication and Management (KGCM 2010), 29 June - 2 July 2010, Orlando, Florida.

J

Jarvis, S.A. and Randewich, A. (2010) High Performance Computing for National Security. Discovery, The Science and Technology Journal of AWE, 21. pp. 24-33.

Jhumka, A. (2010) Crash-Tolerant Collision-Free Data Agreegation Scheduling for Wireless Sensor Networks. In: 29th IEEE International Symposium on Reliable Distriduted Systems(SRDS10), October 31st, 2010, New Delhi, India.

K

Keer, D., Russ, S.B. and Beynon, W.M. (2010) Computing for Construal: an Exploratory Study in Ant Navigation. Procedia Computer Science, 1 (1). pp. 2201-2210. ISSN 1877-0509

Krishna, R, Li, C.-T. and Buchanan-Wollaston, V. (2010) A Temporal Precedence Based Clustering Method for GENE Expression Microarray Data. BMC Bioinformatics, 11 (68).

Krusche, P. and Tiskin, A. (2010) New Algorithms for Efficient Parallel String Comparison. In: 22nd ACM symposium on Parallelism in algorithms and architectures.

L

Laine, T.H., Islas Sedano, C., Joy, M.S. and Sutinen, E. (2010) Critical Factors for Technology Integration in Game-Based Pervasive Learning Spaces. IEEE Transactions on Learning Technologies. ISSN 1939-1382 (In Press)

Laine, T.H., Islas Sedano, C., Joy, M.S. and Sutinen, E. (2010) Critical Factors for Technology Integration in Game-Based Pervasive Learning Spaces. IEEE Transactions on Learning Technologies, 3 (4). pp. 294-306.

Laine, T.H., Islas Sedano, C., Sutinen, E. and Joy, M.S. (2010) Viable and Portable Architecture for Pervasive Learning Spaces. In: 9th International Conference on Mobile and Ubiquitous Multimedia (MUM'10), 1-3 Dec 2010, Limassol, Cyprus.

Laine, T.H., Vinni, M., Islas Sedano, C. and Joy, M.S. (2010) On Designing a Pervasive Mobile Learning Platform. ALT-J: Research in Learning Technology, 18 (1). pp. 3-17. ISSN 0968-7769

Lazic, R. (2010) The Reachability Problem for Branching Vector Addition Systems requires Doubly-Exponential Space. Information Processing Letters, 110 (17). pp. 740-745. ISSN 0020-0190

Lazic, R., Demri, S. and Sangnier, A. (2010) Model Checking Memoryful Linear-time Logics over One-counter Automata. Theoretical Computer Science, 411 (22-24). pp. 2298-2316. ISSN 0304-3975

Leeke, M. and Jhumka, A. (2010) Towards Understanding the Importance of Variables in Dependable Software. In: 8th European Dependable Computing Conference (EDCC'10), April 28th-30th 2010, Valencia, Spain.

Levett, C, Jhumka, A. and Anand, S.S. (2010) Towards Event Ordering in Digital Forensics. In: 12th ACM Workshop on Multimedia and Security, 9th September 2010, Rome, Italy.

Li, C.-T. (2010) A Conditional Random Field Approach to Unsupervised Texture Image Segmentation. EURASIP Journal of Advanced Signal Processing. ISSN 1110-8657

Li, C.-T. (2010) Source Camera Identification Using Enhanced Sensor Pattern Noise. IEEE Transactions on Information Forensics and Security, 5 (2). pp. 280-287. ISSN 1556-6013

Li, C.-T. (2010) Unsupervised Classification of Digital Images Using Enhanced Sensor Pattern Noise. In: IEEE International Symposium on Circuits and Systems (ISCAS), 30 May - 2 June 2010.

Li, C.-T. and Li, Y. (2010) Digital Camera Identification Using Colour-Decoupled Photo Respose Non-Uniformity. In: IEEE International Symposium on Circuits and Systems, 30 May - 2 June 2010, Paris, France.

Lim Choi Keung, S.N. and Griffiths, N. (2010) Trust and Reputation. In: Agent-Based Service-Oriented Computing. Springer. ISBN 978-1-84996-040-3

Liu, S., Joy, M.S. and Griffiths, N. (2010) Students’ Perceptions of the Factors Leading to Unsuccessful Group Collaboration. In: 10th IEEE International Conference on Advanced Learning Technologies (ICALT 2010), 5-7 Jul 2010, Sousse, Tunisia.

Liu, Y, Sun, X., Liu, Y and Li, C.-T. (2010) MIMIC-PPT: Mimicking-Based Steganography for Microsoft Powerpoint Document. Information Technology General, 7. pp. 654-660. ISSN 10.3923/itj.2008.654.660

M

Mahmoud, S., Griffiths, N., Keppens, J. and Luck, M. (2010) An Analysis of Norm Emergence in Axelrod's Model. In: 8th European Workshop on Multi-Agent Systems, Paris, France.

Mahmoud, S., Griffiths, N., Keppens, J. and Luck, M. (2010) An Analysis of Norm Emergence in Axelrods Model. In: 5th International Workshop on Normative Multi-Agent Systems (NorMAS10), Leicester, UK.

Moreno, A., Joy, M.S., Myller, N. and Sutinen, E. (2010) Layered Architecture for Automatic Generation of Conflictive Animations in Programming Education. IEEE Transactions on Learning Technologies, 3 (2). pp. 139-151. ISSN 1939-1382

Mozgovoy, M., Kakkonen, T. and Cosma, G. (2010) Automatic Student Plagiarism Detection: Future Perspectives. Journal of Educational Computing Research. (In Press)

N

Nurse, J.R.C. and Sinclair, J.E. (2010) Evaluating the Compatibility of a Tool to Support E-Businesses' Security Negotiations. In: International Conference of Information Security and Internet Engineering, under World Congress on Engineering (WCE 2010), 30 June - 2 July, 2010, London, UK.

Nurse, J.R.C. and Sinclair, J.E. (2010) An Evaluation of BOF4WSS and the Security Negotiations Model and Tool used to Support it. International Journal On Advances in Security, 3 (3 & 4). pp. 184-201. ISSN 1942-2636

Nurse, J.R.C. and Sinclair, J.E. (2010) A Solution Model and Tool for Supporting the Negotiation of Security Decisions in E-Business Collaborations. In: 5th International Conference on Internet and Web Applications and Services (ICIW 2010), 9-15 May, 2010, Barcelona, Spain.

Nurse, J.R.C. and Sinclair, J.E. (2010) A Thorough Evaluation of the Compatibility of an E-Business Security Negotiations Support Tool. International Journal of Computer Science, 37 (4). pp. 376-387. ISSN 1819-9224

O

Ogston, E. (2010) Peer-to-Peer Aggregation Techniques Dissected. International Journal of Parallel, Emergent and Distributed Systems, 25 (1). pp. 51-71. ISSN 1744-5760

P

Park, H., Martin, G.R. and Bhalerao, A.H. (2010) An Affine Symmetric Image Model and Its Applications. IEEE Transactions on Image Processing, 19 (7). pp. 1695-1705. ISSN 1057-7149

Park, H., Martin, G.R. and Bhalerao, A.H. (2010) Local Affine Image Matching and Synthesis Based on Structural Patterns. IEEE Transactions on Image Processing, 19 (8). pp. 1968-1977. ISSN 1057-7149

Peng, F., Guo, Re-Si, Li, C.-T. and Long, Min (2010) A Semi-Fragile Watermarking Algorithm for Authenticating 2D Engineering Graphics Based on Log-Polar Transformation. Computer-Aided Design, 42 (12). pp. 1207-1216.

Pennycook, S.J., Hammond, S.D., Mudalige, G.R. and Jarvis, S.A. (2010) Experiences with Porting and Modelling Wavefront Algorithms on Many-Core Architectures. In: Daresbury GPU Workshop 2010, Daresbury, UK.

Pennycook, S.J., Hammond, S.D., Mudalige, G.R. and Jarvis, S.A. (2010) Performance Analysis of a Hybrid MPI/CUDA Implementation of the NAS-LU Benchmark. In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Pennycook, S.J., Mudalige, G.R., Hammond, S.D. and Jarvis, S.A. (2010) Parallelising Wavefront Applications on General-Purpose GPU Devices. In: 26th UK Performance Engineering Workshop (UKPEW10), University of Warwick, Coventry, UK.

Perks, O.F.J., Hammond, S.D., Pennycook, S.J. and Jarvis, S.A. (2010) Should We Worry About Memory Loss? In: 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), held in conjunction with IEEE/ACM Supercomputing 2010 (SC'10), New Orleans, LA, USA.

Picot, E., Krusche, P., Tiskin, A., Carre´, I. and Ott, S. (2010) Evolutionary Analysis of Regulatory Sequences (EARS) in Plants. The Plant Journal, 64 (1). pp. 165-176.

Pope, N. and Beynon, W.M. (2010) Empirical Modelling as an Unconventional Approach to Software Development. In: SPLASH 2010 Workshop on Flexible Modeling Tools, October 18, 2010, Reno Nevada, USA.

Popham, T.J. (2010) Tracking 3D Surfaces Using Multiple Cameras: A Probabilistic Approach. PhD thesis, University of Warwick.

Popham, T.J., Bhalerao, A.H. and Wilson, R.G. (2010) Multi-Frame Scene-Flow Estimation Using a Patch Model and Smooth Motion Prior. In: British Machine Vision Conference Workshop, London, UK.

Popham, T.J., Wilson, R.G. and Bhalerao, A.H. (2010) A Smooth 6DOF Motion Prior for Efficient 3D Surface Tracking. In: IEEE 3DTV Conference, Tampere, Finland.

Q

Qureshi, H. and Rajpoot, N.M. (2010) Comparative Analysis of Spatial and Transform Domain Methods for Meningioma Subtype Classification. In: Medical Image Understanding and Analysis (MIUA 2010), 6-7 July, 2010, Coventry, UK.

R

Rawlinson, T., Bhalerao, A.H. and Wang, L. (2010) Principles and Methods for Face Recognition and Face Modelling. In: Handbook of Research on Computational Forensics, Digital Crime and Investigation: Methods and Solutions. IGI Global. ISBN 1605668362

S

Scotton, J.D. and Cristea, A.I. (2010) Reusing Adaptation Strategies in Adaptive Educational Hypermedia Systems. In: The 10th IEEE International Conference on Advanced Learning Technologies.

Shrestha, S., Leeke, M. and Jhumka, A. (2010) On the Tradeoff Between Privacy and Energy in Wireless Sensor Networks. In: UK Performance Engineering Workshop (UKPEW'10), 9-10th July 2010, Coventry, UK.

T

Thonnes, E., Bhalerao, A.H. and Parr, D. (2010) Classification of Lung Disease in HRCT Scans using Integral Geometry Measures and Functional Data Analysis. In: Proceedings of the Medical Image Understanding and Analysis (MIUA'10), 6-7 July, 2010, Coventry, UK.

Tiskin, A. (2010) Fast Distance Multiplication of Unit-Monge Matrices. In: ACM-SIAM Symposium on Discrete Algorithms, Austin,Texas.

Tiskin, A. (2010) Parallel Selection by Regular Sampling. In: Euro-Par 2010 - Parallel Processing. Lecture Notes in Computer Science, 6272 . Springer Verlag, Germany, pp. 393-399. ISBN 978-3-642-15290-0

Tiskin, A. and Krusche, P. (2010) Parallel Longest Increasing Subsequences in Scalable Time and Memory. In: Parallel Processing and Applied Mathematics. Lecture Notes in Computer Science, 6067 . Springer Verlag, Germany, pp. 176-185. ISBN 978-3-642-14389-2

Tiskin, A., Lozin, V.V. and Korpelainen, N. (2010) Hamiltonian Cycles in Subcubic Graphs: What Makes the Problem Difficult. In: Theory and Applications of Models of Computation. Lecture Notes in Computer Science, 6108 . Springer Verlag, pp. 320-327. ISBN 978-3-642-13561-3

W

Wang, F.F. and Griffiths, N. (2010) Protecting Privacy in Automated Transaction Systems: A Legal and Technological Perspective in the European Union. International Review of Law, Computers and Technology, 24 (2). pp. 153-162. ISSN 1360-0869

Y

Yang, S. and Joy, M.S. (2010) Service Advertisement and Discovery. In: Agent-Based Service-Oriented Computing. Springer, London, pp. 21-46. ISBN 978-1-84996-040-3

Yau, J.Y-K. and Joy, M.S. (2010) An Adaptive Context-aware Mobile Learning Framework Based on the Usability Perspective. International Journal of Mobile Learning and Organisation, 4 (4). pp. 378-390. ISSN 1746-725X

Yau, J.Y-K. and Joy, M.S. (2010) A Context-aware Personalized M-learning Application Based on M-learning Preferences. In: 6th IEEE International Conference on Wireless, Mobile, and Ubiquitous Technologies in Education (WMUTE 2010), 12-16 Apr 2010, Kaohsiung, Taiwan.

Yau, J.Y-K. and Joy, M.S. (2010) Context-based Recommendations of Java Learning Objects: a Case Study. IEEE Multidisciplinary Engineering Education Magazine, 5 (4). pp. 1-7. ISSN 1558-7908

Yau, J.Y-K. and Joy, M.S. (2010) Designing and Evaluating the Mobile Context-Aware Learning Schedule Framework: Challenges and Lessons Learnt. In: IADIS International Conference Mobile Learning 2010, Porto, Portugal.

Yau, J.Y-K. and Joy, M.S. (2010) Proposal of a Mobile Learning Preferences Model. In: 5th Interactive Mobile and Computer Aided Learning Conference (IMCL2010), 16-17 September 2010, Hasselt, Belgium.

Yau, J.Y-K. and Joy, M.S. (2010) Proposal of a Mobile Learning Preferences Model. International Journal of Interactive Mobile Technologies, 4 (4). ISSN 1865-7923

Yau, J.Y-K., Joy, M.S. and Dickert, S. (2010) A Mobile Context-aware Framework for Managing Learning Schedules – Data Analysis from a Diary Study. Educational Technology and Society, 13 (3). pp. 22-32. ISSN 1436-4522