Journal Article

Adamaszek, Anna and Adamaszek, Michał. (2010) Combinatorics of the change-making problem. European Journal of Combinatorics, Vol.31 (No.1). pp. 47-63. ISSN 0195-6698

Adamaszek, Anna and Adamaszek, Michał. (2010) Large-girth roots of graphs. SIAM Journal on Discrete Mathematics, Vol.24 (No.4). pp. 1501-1514. ISSN 0895-4801

Adamaszek, Anna, Czumaj, Artur and Lingas, Andrzej. (2010) PTAS for k-tour cover problem on the plane for moderately large values of k. International Journal of Foundations of Computer Science, Volume 21 (Number 6). pp. 893-904. ISSN 0129-0541

Avis, David, Rosenberg, Gabriel D., Savani, Rahul and von Stengel, Bernhard. (2010) Enumeration of Nash equilibria for two-player games. Economic Theory, Vol.42 (No.1). pp. 9-37. ISSN 0938-2259

Bakewell, Adam, Dimovski, Aleksandar, Ghica, Dan R. and Lazic, Ranko. (2010) Data-abstraction refinement : a game semantic approach. International Journal on Software Tools for Technology Transfer, Vol.12 (No.5). pp. 373-389. ISSN 1433-2779

Bansal, Nikhil, Caprara, Alberto and Sviridenko, Maxim. (2010) A New Approximation Method for Set Covering Problems, with Applications to Multidimensional Bin Packing. SIAM Journal on Computing, 39 (4). pp. 1256-1278. ISSN 0097-5397

Bansal, Nikhil, Chen, Ning, Cherniavsky, Neva, Rurda, Atri, Schieber, Baruch and Sviridenko, Maxim. (2010) Dynamic pricing for impatient bidders. ACM Transactions on Algorithms , Vol.6 (No.2). pp. 1-21. ISSN 1549-6325

Barjak , Franz, Lane, Julia, Poschen, Meik, Procter , Robert N., Robinson, Simon and Wiegand, Gordon. (2010) e-Infrastructure adoption in the social sciences and humanities : cross-national evidence. Information, Communication & Society, Vol.13 (No.5). pp. 635-651. ISSN 1468-4462

Berinde, Radu, Indyk, Piotr, Cormode, Graham and Strauss, Martin J.. (2010) Space-optimal heavy hitters with strong error bounds. ACM Transactions on Database Systems, 35 (4). pp. 1-28. ISSN 0362-5915

Birkin , Mark, Procter , Robert N., Allan , R., Bechhofer, Sean, Buchan, Iain, Goble, Carole, Hudson-Smith, Andy, Lambert, Paul, De Roure, David and Sinnott, Richard. (2010) The elements of a computational infrastructure for social simulation. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol.368 (No.1925). pp. 3797-3812. ISSN 1364-503X

Boyatt, Russell and Joy, Mike. (2010) Developing an ontology of mathematical logic. Scientific Journal of the Technical University of Civil Engineering Bucharest, Volume 6 . pp. 6-11. ISSN 2066-6926

Campbell-Kelly, Martin, Danilevsky, Marina, Garcia-Swartz, Daniel D. and Pederson, Shane. (2010) Clustering in the creative industries: insights from the origins of computer software. Industry and Innovation, Vol.17 (No.3). pp. 309-329. ISSN 1366-2716

Campbell-Kelly, Martin and Garcia‐Swartz, Daniel D.. (2010) The move to the middle : convergence of the open‐source and proprietary software industries. International Journal of the Economics of Business, Vol.17 (No.2). pp. 223-252. ISSN 1357-1516

Coja-Oghlan, Amin. (2010) A better algorithm for random k-SAT. SIAM Journal on Computing, Volume 39 (Number 7). pp. 2823-2864. ISSN 0097-5397

Coombes, Stephen and Timofeeva, Yulia. (2010) Special issue: mathematical neuroscience. Physica D: Nonlinear Phenomena, Vol.239 (No.9). pp. 475-476. ISSN 0167-2789

Cormode, Graham and Hadjieleftheriou, Marios. (2010) Methods for finding frequent items in data streams. VLDB Journal - The International Journal on Very Large Data Bases, 19 (1). pp. 3-20. ISSN 1066-8888

Czumaj, Artur, Krysta, Piotr and Vöcking, Berthold. (2010) Selfish traffic allocation for server farms. SIAM Journal on Computing, Vol.39 (No.5). pp. 1957-1987. ISSN 0097-5397

De Roure, David, Goble, Carole, Aleksejevs, Sergejs, Bechhofer, Sean, Bhagat, Jiten, Cruickshank, Don, Fisher, Paul, Hull, Duncan, Michaelides, Danius , Procter , Robert N., Lin, Yuwei and Poschen, Meik. (2010) Towards open science : the myExperiment approach. Concurrency and Computation: Practice and Experience, Vol.22 (No.17). pp. 2335-2353. ISSN 1532-0626

Deco, G., Rolls, Edmund T. and Romo, R.. (2010) Synaptic dynamics and decision making. Proceedings of the National Academy of Sciences of the United States of America, Vol.107 (No.16). pp. 7545-7549. ISSN 0027-8424

Demri, Stéphane P., 1967-, Lazic, Ranko and Sangnier, Arnaud. (2010) Model checking memoryful linear-time logics over one-counter automata. Theoretical Computer Science, Vol.411 (No.22-24). pp. 2298-2316. ISSN 0304-3975

Efthymiou, Charilaos and Spirakis, Paul G.. (2010) Sharp thresholds for Hamiltonicity in random intersection graphs. Theoretical Computer Science, Vol.411 (No.40-42). pp. 3714-3730. ISSN 0304-3975

Englert, Matthias, Franke, T. and Olbrich, L.. (2010) Sensitivity of wardrop equilibria. Theory of Computing Systems, Volume 47 (Number 1). pp. 3-14. ISSN 1432-4350

Englert, Matthias, Raecke, Harald and Westermann, Matthias. (2010) Reordering buffers for general metric spaces. Theory of Computing, Vol.6 (No.1). pp. 27-46. ISSN 1557-2862

Fischer, Simon, Raecke, Harald and Voecking, Berthold. (2010) Fast convergence to wardrop equilibria by adaptive sampling methods. SIAM Journal on Computing, Volume 39 (Number 8). pp. 3700-3735. ISSN 0097-5397

Freeman, C. L., Harding, J. H., Quigley, D. and Rodger, P. Mark. (2010) Structural control of crystal nuclei by an eggshell protein. Angewandte Chemie (International Edition), Vol.49 (No.30). pp. 5135-5137. ISSN 1433-7851

Gay, Simon J. and Nagarajan, Rajagopal. (2010) Types and typechecking for communicating quantum processes. Mathematical Structures in Computer Science, Vol.16 (No.3). pp. 375-406. ISSN 0960-1295

Halfpenny , Peter and Procter , Robert N.. (2010) The e-Social Science research agenda. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol.368 (No.1925). pp. 3761-3778. ISSN 1364-503X

Harris, Jamie and Timofeeva, Yulia. (2010) Intercellular calcium waves in the fire-diffuse-fire framework : Green's function for gap-junctional coupling. Physical Review E, Vol.82 (No.5). Article: 051910. ISSN 1539-3755

Holmes, Antony, Kalvala, Sara and Whitworth, David E.. (2010) Spatial simulations of myxobacterial development. PLoS Computational Biology, Vol.6 (No.2). e1000686. ISSN 1553-734X

Jarvis, Stephen A., 1970- and Randewich, A.. (2010) High performance computing for national security. The Science and Technology Journal of AWE (Number 21). pp. 24-33.

Kang, Jing, Ph.D., Robinson, Hugh P. C. and Feng, Jianfeng. (2010) Diversity of intrinsic frequency encoding patterns in rat cortical neurons : mechanisms and possible functions. PLoS One, Vol.5 (No.3). e9608. ISSN 1932-6203

Kang, Jing, Ph.D., Wu, Jianhua, Smerieri, Anteo and Feng, Jianfeng. (2010) Weber's law implies neural discharge more regular than a Poisson process. European Journal of Neuroscience, Vol.31 (No.6). pp. 1006-1018. ISSN 0953-816X

Krishna, Ritesh V., Li, Chang-Tsun and Buchanan-Wollaston, Vicky. (2010) A temporal precedence based clustering method for gene expression microarray data. BMC Bioinformatics, Vol.11 . Article 68. ISSN 1471-2105

Laine, Teemu Henrikki, Islas Sedano, Carolina, Joy, Mike and Sutinen, Erkki. (2010) Critical factors for technology integration in game-based pervasive learning spaces. IEEE Transactions on Learning Technologies, Vol.3 (No.4). pp. 294-306. ISSN 1939-1382

Laine, Teemu Henrikki, Vinni, Mikko, Islas Sedano, Carolina and Joy, Mike. (2010) On designing a pervasive mobile learning platform. ALT-J, Vol.18 (No.1). pp. 3-17. ISSN 0968-7769

Lazic, Ranko. (2010) The reachability problem for branching vector addition systems requires doubly-exponential space. Information Processing Letters, Vol.110 (No.17). pp. 740-745. ISSN 0020-0190

Lee, Jon, Mirrokni, Vahab S., Nagarajan, Viswanath and Sviridenko, Maxim. (2010) Maximizing nonmonotone submodular functions under matroid or knapsack constraints. SIAM Journal on Discrete Mathematics, Vol.23 (No.4). pp. 2053-2078. ISSN 0895-4801

Li, Chang-Tsun. (2010) Source camera identification using enhanced sensor pattern noise. IEEE Transactions on Information Forensics and Security, Vol.5 (No.2). pp. 280-287. ISSN 1556-6013

Li, Chang-Tsun. (2010) A conditional random field approach to unsupervised texture image segmentation. Eurasip Journal on Advances in Signal Processing, Volume 2010 (Number 1). Article number 167942. ISSN 1687-6172

Li, Chang-Tsun and Li, Yue. (2010) Progressive exponential clustering-based steganography. Eurasip Journal on Advances in Signal Processing, Volume 2010 (Number 1). Article number 212517. ISSN 1687-6172

Lin, Wei, Ma, Huanfei, Feng, Jianfeng and Chen, Guanrong. (2010) Locating unstable periodic orbits: when adaptation integrates into delayed feedback control. Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol.82 (No.4 Part 2). Article no. 046214. ISSN 1539-3755

Lu, Wenlian, Rossoni, Enrico and Feng, Jianfeng. (2010) On a Gaussian neuronal field model. NeuroImage, Vol.52 (No.3). pp. 913-933. ISSN 1053-8119

Ma, Huanfei, Xu, Bing, Lin, Wei and Feng, Jianfeng. (2010) Adaptive identification of time delays in nonlinear dynamical models. Physical Review E, Volume 82 (Number 6). article no. 066210 . ISSN 1539-3755

Martsinovich, Natalia, Jones, Daniel R. and Troisi, Alessandro. (2010) Electronic structure of TiO2 surfaces and effect of molecular adsorbates using different DFT implementations. The Journal of Physical Chemistry Part C: Nanomaterials, Interfaces and Hard Matter, Volume 114 (Number 51). pp. 22659-22670. ISSN 1932-7447

Moreno, A., Joy, Mike, Myller, Niko and Sutinen, Erkki. (2010) Layered architecture for automatic generation of conflictive animations in programming education. IEEE Transactions on Learning Technologies, Vol.3 (No.2). pp. 139-151. ISSN 1939-1382

Mozgovoy, M., Kakkonen, T. and Cosma, Georgina. (2010) Automatic student plagiarism detection : future perspectives. Journal of Educational Computing Research, Vol.43 (No.4). pp. 511-531. ISSN 0735-6331

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, Volume 37 (Number 4). pp. 376-387. ISSN 1819-656X

Ogston, Elth and Jarvis, Stephen A., 1970-. (2010) Peer-to-peer aggregation techniques dissected. International Journal of Parallel, Emergent and Distributed Systems, Volume 25 (Number 1). pp. 51-71. ISSN 1744-5760

Peng, Fei, Guo, Re-Si, Li, Chang-Tsun and Long, Min. (2010) A semi-fragile watermarking algorithm for authenticating 2D CAD engineering graphics based on log-polar transformation. Computer-Aided Design, Vol.42 (No.12). pp. 1207-1216. ISSN 0010-4485

Picot, Emma, Krusche, Peter, Tiskin, Alexander, Carré, Isabelle A. and Ott, Sascha. (2010) Evolutionary analysis of regulatory sequences (EARS) in plants. Plant Journal, Vol.64 (No.1). pp. 165-176. ISSN 0960-7412

Procter , Robert N., Williams, Robin, Stewart, J., Poschen, Meik, Snee, H., Voss , Alex and Asgari-Targhi, Marzieh. (2010) Adoption and use of Web 2.0 in scholarly communications. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol.368 (No.1926). pp. 4039-4056. ISSN 1364-503X

Raiteri, P., Gale, Julian D., Quigley, D. and Rodger, P. Mark. (2010) Derivation of an accurate force-field for simulating the growth of calcium carbonate from aqueous solution : a new model for the calcite-water interface. Journal of Physical Chemistry C, Vol.114 (No.13). pp. 5997-6010. ISSN 1932-7447

Rolls, Edmund T.. (2010) A computational theory of episodic memory formation in the hippocampus. Behavioural Brain Research, 215 (2). pp. 180-196. ISSN 0166-4328

Rossoni, Enrico, Kang, Jing, Ph.D. and Feng, Jianfeng. (2010) Controlling precise movement with stochastic signals. Biological Cybernetics, Vol.102 (No.5). pp. 441-450. ISSN 0340-1200

Sanchez Silva, Victor, Abugharbieh, Rafeef and Nasiopoulos, Panos. (2010) 3-D scalable medical image compression with optimized volume of interest coding. IEEE Transactions on Medical Imaging, 29 (10). pp. 1808-1820. ISSN 0278-0062

Scott, Ian M., Vermeer, Cornelia P., Liakata, Maria, Corol, Delia I., Ward, Jane L., Lin, Wanchang, Johnson, Helen E., Whitehead, Lynne, Kular, Baldeep, Baker, John M., Walsh, Sean, Dave, Anuja, Larson, Tony R., Graham, Ian A., Wang, Trevor L., King, Ross D., Draper, John and Beale, Michael H.. (2010) Enhancement of plant metabolite fingerprinting by machine learning. Plant Physiology, 153 (4). pp. 1506-1520. ISSN 0032-0889

Scotton, Joshua D., Moebs, S., McManis, J. and Cristea, Alexandra I.. (2010) Merging strategies for authoring QoE-based adaptive hypermedia. Journal of Universal Computer Science, Volume 16 (Number 19). pp. 2756-2779. ISSN 0948-695X

Smerieri, Anteo, Rolls, Edmund T. and Feng, Jianfeng. (2010) Decision time, slow inhibition, and theta rhythm. Journal of Neuroscience, The, Vol.30 (No.42). pp. 14173-14181. ISSN 0270-6474

Suri, Neeraj, Jhumka, Arshad, Hiller, Martin, Pataricza, Andras, Islam, Shariful and Sarbu, Constantin. (2010) A software integration approach for designing and assessing dependable embedded systems. Journal of Systems and Software, Vol.83 (No.10). pp. 1780-1800. ISSN 0164-1212

Sutcliffe, Alistair, Thew, Sarah, de Bruijn, Oscar, Buchan, Ian, Jarvis, Paul, McNaught, Jock and Procter , Robert N.. (2010) User engagement by user-centred design in e-Health. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol.368 (No.1926). pp. 4209-4224. ISSN 1364-503X

Taylor, Paul, Hartswood, Mark, Blot, Lilian, Procter , Robert N. and Anderson, Stuart. (2010) Scoring systems in computer-based training for digital mammography. Digital Mammography, Vol.6136 . pp. 490-496. ISSN 0302-9743

Thew , S. L., de Bruijn , O., McNaught , R., Sutcliffe, A., Procter , Robert N., Jarvis, P. and Buchan, I. E.. (2010) Supporting creativity and appreciation of uncertainty in exploring geo-coded public health data. Methods of Information in Medicine, Vol.49 (No.5). pp. 158-165. ISSN 0026-1270

Timofeeva, Yulia. (2010) Travelling waves in a model of quasi-active dendrites with active spines. Physica D: Nonlinear Phenomena, Vol.239 (No.9). pp. 494-503. ISSN 0167-2789

Voss , Alex, Asgari-Targhi, Marzieh, Procter , Robert N. and Fergusson, David. (2010) Adoption of e-Infrastructure services : configurations of practice. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol.368 (No.1926). pp. 4161-4176. ISSN 1364-503X

Wang, Faye Fangfei and Griffiths, Nathan. (2010) Protecting privacy in automated transaction systems : a legal and technological perspective in the European Union. International Review of Law, Computers & Technology, Vol.24 (No.2). pp. 153-162. ISSN 1360-0869

Yau, Jane Yin-Kim and Joy, Mike. (2010) Context-based recommendations of Java learning objects : a case study. IEEE Multidisciplinary Engineering Education Magazine, Vol.5 (No.4). pp. 1-7. ISSN 1867-5565

Yau, Jane Yin-Kim, Joy, Mike and Dickert, Stephan. (2010) A mobile context-aware framework for managing learning schedules - data analysis from a diary study. Educational Technology and Society, Vol.13 (No.3). pp. 22-32. ISSN 1436-4522

Zhang, Jie, Zhang, Kai, Feng, Jianfeng and Small, Michael. (2010) Rhythmic dynamics and synchronization via dimensionality reduction : application to human gait. PL o S Computational Biology, Vol.6 (No.12). ISSN 1553-734X

Zou, Cunlu, Ladroue, Christophe, Guo, Shuixia and Feng, Jianfeng. (2010) Identifying interactions in the time and frequency domains in local and global networks : a Granger causality approach. BMC Bioinformatics, Vol.11 . Article 337. ISSN 1471-2105

Book Item

Adamaszek, Michał, Czumaj, Artur and Sohler, Christian (2010) Testing monotone continuous distributions on high-dimensional real cubes. In: Proceedings of the twenty-first annual ACM-SIAM symposium on discrete algorithms. Philadelphia: SIAM, pp. 56-65. ISBN 9780898717013

Coja-Oghlan, Amin, Onsjö, M. and Watanabe, O. (2010) Propagation connectivity of random hypergraphs. In: Approximation, Randomization, and Combinatorial Optimization. Lecture Notes in Computer Science (6302). London: Springer Verlag, pp. 490-503. ISBN 9783642153686

Englert, Matthias, Gupta, A., Krauthgamer, Robert, Räcke, Harald, Talgam-Cohen, Inbal and Talwar, Kunal (2010) Vertex sparsifiers : new results from old techniques. In: Serna, Maria and Shaltiel, Ronen and Jansen, Klaus and Rolim, José, (eds.) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Lecture Notes in Computer Science (6302). Springer Verlag, pp. 152-165. ISBN 9783642153686

Gay, Simon J., Nagarajan, Rajagopal and Papanikolaou, N. K. (2010) Specification and verification of quantum protocols. In: Gay, Simon J. and Mackie, I., (eds.) Semantic techniques in quantum computation. USA: Cambridge University Press, pp. 414-472. ISBN 9780521513746

Korpelainen, Nicholas, Lozin, Vadim V. and Tiskin, Alexander (2010) Hamiltonian cycles in subcubic graphs : what makes the problem difficult. In: Kratochvil, J and Li, A and Fiala, J and Kolman, P, (eds.) Theory and Applications of Models of Computation. Lecture Notes in Computer Science, Vol.6108 . Springer, pp. 320-327. ISBN 9783642135613

Krusche, Peter and Tiskin, Alexander (2010) Computing alignment plots efficiently. In: Chapman, Barbara and Desprez, Frédéric and Joubert, Gerhard R. and Lichnewsky, Alain and Peters, Frans and Priol, Thierry, (eds.) Parallel Computing: From Multicores and GPU's to Petascale. Advances in Parallel Computing, Volume 19 . IOS Press, pp. 158-165. ISBN 9781607505297

Li, Chang-Tsun, Chang, Chih-Yuan and Li, Yue (2010) On the repudiability of device identification and image integrity verification using sensor pattern noise. In: Weerasinghe, Dasun, (ed.) Information Security and Digital Forensics. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 41 . Springer Berlin Heidelberg, pp. 19-25. ISBN 9783642115295

Lim Choi Keung, S. N. and Griffiths, Nathan (2010) Trust and reputation. In: Griffiths, Nathan and Chao, K. -M., (eds.) Agent-based service-oriented computing. Springer, pp. 189-224. ISBN 9781849960403

Procter , Robert N. (2010) An e-infrastructure for the social sciences. In: Dutton, W. and Jeffries, P., (eds.) World wide research : reshaping the sciences and humanities. World wide research : reshaping the sciences and humanities: MIT Press. ISBN 9780262513739

Rawlinson, T., Bhalerao, Abhir and Wang, L. (2010) Principles and methods for face recognition and face modelling. In: Li, Chang-Tsun, (ed.) Handbook of research on computational forensics, digital crime and investigation : methods and solutions. IGI Global, pp. 53-78. ISBN 9781605668369

Tiskin, Alexander (2010) Parallel selection by regular sampling. In: Guarracino, M. R. and Vivien, F. and Traff, J. L. and Cannataro, M. and Danelutto, M. and Hast, A. and Perla, F. and Knüpfer, A. and Di Martino, B. and Alexander, M., (eds.) Euro-Par 2010 - Parallel Processing. Lecture Notes in Computer Science (6272). Germany: Springer Verlag, pp. 393-399. ISBN 9783642152900

Tiskin, Alexander and Krusche, Peter (2010) Parallel longest increasing subsequences in scalable time and memory. In: Wyrzykowski, Roman and Dongarra, Jack and Karczewski, Konrad and Wasniewski, Jerzy, (eds.) Parallel processing and applied mathematics. Lecture Notes in Computer Science (6067). Germany: Springer Verlag, pp. 176-185. ISBN 9783642143892

Ullrich, Carsten, Borau, Kerstin and Stepanyan, Karen (2010) Who students interact with? A social network analysis perspective on the use of Twitter in language learning. In: Sustaining TEL: From Innovation to Learning and Practice. Lecture Notes in Computer Science, Volume 6383 . Springer, pp. 432-437. ISBN 978-3-642-16019-6

Yang, Shanshan and Joy, Mike (2010) Service advertisement and discovery. In: Griffiths, Nathan and Chao, K. -M., (eds.) Agent-based service-oriented computing. London: Springer, pp. 21-46. ISBN 9781849960403

Conference Item

Adamaszek, Michał, Czumaj, Artur and Sohler, Christian (2010) Testing monotone continuous distributions on high-dimensional real cubes. In: Workshop on Property Testing, Tsinghua University, Peoples Republic of China. Published in: Property Testing : Current Research and Surveys, Vol.6390 pp. 228-233.

Al-Ghamdi, M., Chester, Adam P. and Jarvis, Stephen A., 1970- (2010) Predictive and dynamic resource application for enterprise applications. In: 10th IEEE International Conference on Scalable Computing and Communications (SCALCOM10), Bradford, UK, 29 June - 1 July 2010. Published in: 2010 IEEE 10th International Conference on Computer and Information Technology (CIT) pp. 2776-2783.

Awan, M. S. K. and Jarvis, Stephen A., 1970- (2010) Understanding resource provisioning for ClimatePredication.net. In: 10th IEEE International Conference on Scalable Computing and Communications (SCALCOM10), Bradford, UK, 29 June - 1 July 2010. Published in: 2010 IEEE 10th International Conference on Computer and Information Technology (CIT) 2532-2539 .

Bacigalupo, D. A., van Hemert, J., Usmani, A., Dillenberger, D. N., Wills, G. B. and Jarvis, Stephen A., 1970- (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, Atlanta, USA, April 19-23 2010. Published in: 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW) pp. 1-8.

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

Byrd, J. M. R., Jarvis, Stephen A., 1970- and Bhalerao, Abhir (2010) On the parallelisation of MCMC by speculative chain execution. In: Workshop on Multitheaded Architectures and Applications (MTAAP), Atlanta, Georgia, USA, 19-23 April 2010. Published in: 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW) pp. 1-8.

Byrd, J. M. R., Jarvis, Stephen A., 1970- and Bhalerao, Abhir (2010) On the parallelisation of MCMC-based image processing. In: 9th IEEE International Workshop on High Performance Computational Biology (HiCOMB), Atlanta, Georgia, USA, 19-23 April 2010. Published in: 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW) pp. 1-8.

Coja-Oghlan, Amin, Onsjoe, Mikael and Watanabe, Osamu (2010) Propagation connectivity of random hypergraphs. In: 13th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2010)/14th International Workshop on Randomization and Computation (RANDOM 2010), Univ Politecnica Catalunya (UPC), Barcelona, Spain, 01-03 Sep 2010. Published in: Lecture Notes in Computer Science, Vol.6302 pp. 490-503.

Collins , Simon, Beard, Lorraine, Besson, Jon, Finch, June, Goff, Mhorag, Halfpenny , Peter, Grahame, Tom, McDerby, Mary, Poschen, Meik and Procter , Rob (2010) Towards a generic research data management infrastructure. In: The 9th UK e-Science All Hands Meeting (AHM 2010), Cardiff, 13-16 Sep 2010. Published in: Proceedings UK e-Science All Hands Meeting pp. 1-3.

Czumaj, Artur (2010) Local graph exploration and fast property testing. In: 16th Annual European Symposium on Algorithms (ESA 2010), Liverpool, England, 6-8 Sep 2010. Published in: Lecture Notes in Computer Science, Vol.6346 pp. 410-414.

Czumaj, Artur, Adamaszek, Michał and Sohler, Christian (2010) Testing monotone continuous distributions on high-dimensional real cubes. In: 21st ACM-SIAM Symposium on Discrete Algorithms (SODA'10), Austin, Texas, 17-19 Jan 2010. Published in: SIAM pp. 56-65.

Czumaj, Artur and Sohler, Christian (2010) Sublinear-time algorithms. In: Workshop on Property Testing, Tsinghua University, Peoples Republic of China. Published in: Property Testing : Current Research and Surveys, Vol.6390 pp. 41-64.

Czumaj, Artur and Sohler, Christian (2010) Testing expansion in bounded-degree graphs. In: Meeting on Combinatorics and Probability, Mathemat Res Inst, Oberwolfach, Germany, April 26-May 02, 2009. Published in: Combinatorics, Probability and Computing, Vol.19 (No.Special Issue 5-6). pp. 693-709.

Englert, Matthias, Gupta, Anupam (Researcher in Computer Science), Krauthgamer, Robert, Raecke, Harald, Talgam-Cohen, Inbal and Talwar, Kunal (2010) Vertex sparsifiers : new results from old techniques. In: 13th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2010)/14th International Workshop on Randomization and Computation (RANDOM 2010), Univ Politecnica Catalunya (UPC), Barcelona, Spain, 01-03 Sep 2010

Fearnley, J. (2010) Exponential lower bounds for policy iteration. In: 37th International Colloquium on Automata, Languages and Programming, Bordeaux, France, 06-10 Jul 2010 . Published in: Automata, Languages and Programming Pt II Proceedings, Vol.6199 pp. 551-562.

Fearnley, John, Jurdzinski, Marcin and Savani, Rahul (2010) Linear complementarity algorithms for infinite games. In: 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 23-29, 2010. Published in: Lecture Notes in Computer Science, Vol.5901 pp. 382-393.

Foss, Jonathan G. K. and Cristea, Alexandra I. (2010) The next generation authoring adaptive hypermedia : using and evaluating the MOT3.0 and PEAL tools. In: HT '10 21st ACM Conference on Hypertext and Hypermedia, Toronto, ON, Canada, 13-16 Jun 2010 . Published in: HT '10 Proceedings of the 21st ACM conference on Hypertext and hypermedia pp. 83-92.

Ghoff , Mhorag, Procter , Robert N., Poschen, Meik, Halfpenny , Peter, Beard, Lorraine and Besson, Jon (2010) The implications of disciplinary practices for emerging modes of data sharing : a case study of Biomedical researchers. In: UK e-Science All Hands Meeting 2010, Cardiff, 13-16 Sep 2010. Published in: Proceedings of the UK e-Science All Hands Meeting 2010 pp. 1-3.

Griffiths, Nathan and Luck, M. (2010) Changing neighbours : improving tag-based cooperation. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, 10–14 May 2010. Published in: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems pp. 249-256.

Griffiths, Nathan 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, 10-14 May 2010

Griffiths, Nathan and Luck, Michael (Michael M.) (2010) Changing neighbours : improving tag-based cooperation. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, ON, Canada, 9-14 May 2010. Published in: AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, Vol.1 pp. 249-256.

Gurcan, M. N., Madabhushi, A. and Rajpoot, Nasir M. (Nasir Mahmood) (2010) Pattern recognition in histopathological images : an ICPR 2010 contest. In: International Conference on Pattern Recognition (ICPR 2010), Istanbul, Turkey, 23-26 August, 2010

Halfpenny , Peter, Procter , Robert N. and Voss , Alex (2010) Sustainability of research data management services. In: 9th UK e-Science All Hands Meeting 2010, Cardiff, 13-16 Sep 2010. Published in: Proceedings UK e-Science All Hands Meeting pp. 1-3.

Hammond, Simon D., Mudalige, Gihan R., Smith, J. A., Davis, Jim, Jarvis, Stephen A., 1970-, Holt, J., Miller, I. (Ian), 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, 19-23 Apr 2010. Published in: 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW) pp. 1-8.

Hartswood , Mark, Procter , Robert N., Taylor , P., Blot, Lillian, Wilkinson , Louise and Gilchrist, Alison (2010) Computer-supported cooperative learning for mammography. In: Workshop on Computer-Supported Cooperative Learning at Work, Florida, USA, 7-10 Nov 2010 pp. 1-4.

Herdman, J. A., Gaudin, W. P., Turland, D. and Hammond, Simon 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), New Orleans, LA, USA, 13-19 Nov 2010

Hu, Y. and Li, Chang-Tsun (2010) Selecting forensic features for robust source camera identification. In: International Computer Symposium 2010, Tainan, Taiwan, 16-18 Dec, 2010

Hu, Yongjian, Jian, C. and Li, Chang-Tsun (2010) Using improved imaging sensor or pattern noise for source camera identification. In: IEEE International Conference on Multimedia and Expo, Singapore, 19-23 July 2010. Published in: 2010 IEEE International Conference on Multimedia and Expo (ICME) pp. 1481-1486.

Hu, Yongjian, Li, Chang-Tsun and Jian, Chao (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, Firenze, Italy, 25-29 Oct 2010. Published in: MiFor '10 Proceedings of the 2nd ACM workshop on Multimedia in forensics, security and intelligence pp. 111-116.

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), Cambridge, UK, 20-22 Feb 2010. Published in: Proceeding AIKED'10 Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases pp. 286-291.

Hudnott, Elizabeth, Sinclair, Jane and Darwen, Hugh (2010) Efficient multiple assignment to database tables. In: 9th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases, Univ Cambridge, Cambridge, England, February 20-22, 2010. Published in: Proceedings of the 9th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases pp. 286-291.

Jhumka, Arshad (2010) Crash-tolerant collision-free data aggregation scheduling for wireless sensor networks. In: 29th IEEE International Symposium on Reliable Distributed Systems, New Delhi, India, 31 Oct - 03 Nov 2010 . Published in: Symposium on Reliable Distributed Systems. Proceedings pp. 44-53.

Keer, Daniel, Russ, Steve and Beynon, Meurig (2010) Computing for construal: an exploratory study of desert ant navigation. In: International Conference on Computational Science(ICCS), Univ Amsterdam, Amsterdam, Netherlands, May 31-June 02, 2010. Published in: Procedia Computer Science, Vol.1 (No.1). pp. 2201-2210.

Krusche, Peter and Tiskin, Alexander (2010) New algorithms for efficient parallel string comparison. In: 22nd ACM Symposium on Parallelism in Algorithms and Architectures, Santorini, Greece, 13-15 Jun 2010. Published in: SPAA '10: Proceedings of the Twenty-Second Annual Symposium on Parallelism in Algorithms and Architectures pp. 209-216.

Krusche, Peter and Tiskin, Alexander (2010) Parallel longest increasing subsequences in scalable time and memory. In: 8th International Conference on Parallel Processing and Applied Mathematics, Wroclaw, Poland, September 13-16, 2009. Published in: Lecture Notes in Computer Science, Vol.6067 pp. 176-185.

Laine, Teemu Henrikki, Islas Sedano, Carolina, Sutinen, Erkki and Joy, Mike (2010) Viable and portable architecture for pervasive learning spaces. In: 9th International Conference on Mobile and Ubiquitous Multimedia (MUM'10), Limassol, Cyprus, 1-3 Dec 2010. Published in: Proceedings of the 9th International Conference on Mobile and Ubiquitous Multimedia Article 1.

Leeke, Matthew and Jhumka, Arshad (2010) Towards understanding the importance of variables in dependable software. In: 8th European Dependable Computing Conference (EDCC'10), Valencia, Spain, 28-30 April 2010. Published in: 2010 European Dependable Computing Conference (EDCC) pp. 85-94.

Levett, C., Jhumka, Arshad and Anand, Sarabjot Singh (2010) Towards event ordering in digital forensics. In: 12th ACM Multimedia Security Workshop, Univ Studi Roma TRE, Roma, Italy, 09-10 Sep 2010 . Published in: MM&Sec '10 : proceedings of the 2010 ACM SIGMM Multimedia and Security Workshop ; September 9-10, 2010, Roma, Italy / sponsored by ACM SIGMM pp. 35-42.

Li, Chang-Tsun (2010) Unsupervised classification of digital images using enhanced sensor pattern noise. In: International Symposium on Circuits and Systems Nano-Bio Circuit Fabrics and Systems (ISCAS 2010), Paris, France, 30 May - 02 Jun 2010 . Published in: IEEE International Symposium on Circuits and Systems. Proceedings pp. 3429-3432.

Li, Chang-Tsun and Li, Yue (2010) Digital camera identification using colour-decoupled photo response non-uniformity noise pattern. In: International Symposium on Circuits and Systems Nano-Bio Circuit Fabrics and Systems (ISCAS 2010), Paris, France, 30 May - 02 Jun 2010 . Published in: IEEE International Symposium on Circuits and Systems. Proceedings pp. 3052-3055.

Liu, Shuangyan, Joy, Mike and Griffiths, Nathan (2010) Students’ perceptions of the factors leading to unsuccessful group collaboration. In: 10th IEEE International Conference on Advanced Learning Technologies (ICALT 2010), Sousse, Tunisia, 5-7 Jul 2010. Published in: Proceedings of the 2010 10th IEEE International Conference on Advanced Learning Technologies pp. 565-569.

Maad, S., Mccarthy, J. B., Garbaya, S., Beynon, Meurig and Nagarajan, Rajagopal (2010) Service software engineering for innovative infrastructure for global financial services. In: 7th European, Mediterranean and Middle Eastern Conference on Information Systems, EMCIS 2010, Abu-Dhabi, 12-13 Apr 2010. Published in: Proceedings of the European, Mediterranean and Middle Eastern Conference on Information Systems: Global Information Systems Challenges in Management, EMCIS 2010

Mahmoud, S., Griffiths, Nathan, 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, 29-30 March 2010

Nurse, J. R. C. and Sinclair, Jane (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), London, UK, 30 June - 2 July, 2010. Published in: Proceedings of the World Congress on Engineering 2010, Volume 1 pp. 438-443.

Nurse, J. R. C. and Sinclair, Jane (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), Barcelona, Spain, 9-15 May, 2010. Published in: Fifth International Conference on Internet and Web Applications and Services (ICIW) pp. 13-18.

Perks, O. F. J., Hammond, Simon D., Pennycook, Simon J. and Jarvis, Stephen A., 1970- (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, 13-19 Nov 2010

Pope, N. W. and Beynon, W. M. (2010) Empirical modelling as an unconventional approach to software development. In: SPLASH 2010 Workshop on Flexible Modeling Tools, Reno Nevada, USA, October 18, 2010

Popham, T. J., Wilson, Roland, 1949- and Bhalerao, Abhir (2010) A smooth 6DOF motion prior for efficient 3D surface tracking. In: IEEE 3DTV Conference, Tampere, Finland, 7-9 June 2010. Published in: 3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON), 2010 pp. 1-4.

Poschen , Meik, Goff, Mhorag, Procter , Robert N., Halfpenny , Peter, Beard, Lorraine, Besson, Jon, Collins, Simon, Finch, June, Grahame, Tom and McDerby, Mary (2010) User-driven development of a pilot data management infrastructure for biomedical researchers. In: 9th UK e-Science All Hands Meeting 2010, Cardiff, 13-16 Sep 2010. Published in: Proceedings UK e-Science All Hands Meeting 2010 pp. 1-3.

Stepanyan, Karen, Borau, Kerstin and Ullrich, Carsten (2010) A social network analysis perspective on student interaction within the twitter microblogging environment. In: The 10th IEEE International Conference on Advanced Learning Technologies (ICALT) 2010, Sousse, Tunisia, 5-7 July, 2010 pp. 70-72.

Tiskin, Alexander (2010) Fast distance multiplication of unit-Monge matrices. In: 21st Annual ACM/SIAM Symposium on Discrete Algorithms, Austin, TX, 17-19 Jan 2010. Published in: Proceedings of the twenty-first annual ACM-SIAM symposium on discrete algorithms, Vol.135 pp. 1287-1296.

Tiskin, Alexander (2010) Parallel selection by regular sampling. In: 16th International Euro-Par Conference on Parallel Processing, Ischia, Italy, August 31 - September 03 2010

Voss , Alex, Procter , Robert N., Asgari-Targhi , M. and Beckles, Bruce (2010) Enhancing community intelligence for e-science. In: 9th UK e-Science All Hands Meeting 2010, Cardiff, 13-16 Sep 2010. Published in: Proceedings UK e-Science All Hands Meeting

Yau, Jane Yin-Kim and Joy, Mike (2010) Designing and evaluating the mobile context-aware learning schedule framework : challenges and lessons learnt. In: IADIS International Conference Mobile Learning 2010, Porto, Portugal, 19 - 21 March 2010. Published in: Proceedings of the IADIS International Conference on Mobile Learning pp. 85-92.

Yau, Jane Yin-Kim and Joy, Mike (2010) Proposal of a mobile learning preferences model. In: 5th Interactive Mobile and Computer Aided Learning Conference (IMCL2010), Hasselt, Belgium, 16-17 Sept 2010. Published in: Proceedings of the ICL2010 pp. 753-754.

Yau, Jane Yin-Kim and Joy, Mike (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), Kaohsiung, Taiwan, 12-16 Apr 2010. Published in: IEEE International Conference on Wireless, Mobile and Ubiquitous Technologies in Education (WMUTE) pp. 11-18.

Zhang, Xuejuan, Leng, Gareth and Feng, Jianfeng (2010) Coherent peptide-mediated activity in a neuronal network controlled by subcellular signaling pathway: Experiments and modeling. In: 11th International Conference on Molecular Systems Biology (ICMSB09), Shanghai, People's Republic of China, June, 2009. Published in: Journal of Biotechnology, Vol.149 (No.3 Sp. Iss. SI). pp. 215-225.

Book

Griffiths, Nathan and Chao, Kuo-Ming, eds. (2010) Agent-based service-oriented computing. London : Springer-Verlag London. ISBN 9781849960410

Griffiths, Nathan and Chao, K. -M., eds. (2010) Agent-based service-oriented computing. Advanced Information and Knowledge Processing . London: Springer. ISBN 9781849960403

Griffiths, Nathan and Chao, Kuo-Ming, eds. (2010) Agent-based service-oriented computing. Advanced information and knowledge processing . London: Springer. ISBN 9781849960403

Bhalerao, Abhir and Rajpoot, Nasir M. (Nasir Mahmood), eds. (2010) Proceedings of Medical Image Understanding and Analysis 2010. Coventry: Warwick Print. ISBN 9780956615008

Bhalerao, Abhir and Rajpoot, N., eds. (2010) Proceedings of medical image understanding and analysis 2010. Coventry: University of Warwick, Department of Computer Science. ISBN 9780956615008

Hammond, Simon D. and Jarvis, Stephen A., 1970- and Leeke, Matthew, eds. (2010) Proceedings of the 26th UK Performance Engineering Workshop (UKPEW 2010). UK Performance Engineering Workshop . Coventry, UK: Performance Computing and Visualisation, Department of Computer Science, University of Warwick. ISBN 9780955970320

Li, Chang-Tsun (2010) Handbook of research on computational forensics, digital crime, and investigation : methods and solutions. Hershey: Information Science Reference. ISBN 9781605668369

Journal Item

Campbell-Kelly, Martin (2010) Be careful what you wish for. Communications of the ACM, Vol.53 (No.4). pp. 25-26. ISSN 0001-0782

Campbell-Kelly, Martin (2010) Victorian data processing. Communications of the ACM, Vol.53 (No.10). pp. 19-21. ISSN 0001-0782

Cristea, Alexandra I., Carro, Rosa and Stewart, Craig (2010) Advances in authoring of adaptive web-based systems. Journal of Universal Computer Science, Volume 16 (Number 19). pp. 2754-2755. ISSN 0948-695X

Wang, Liang, 1975-, Zhao, Gouying, Rajpoot, Nasir M. (Nasir Mahmood) and Nixon, Mark S. (2010) Special issue on new advances in video-based gait analysis and applications : challenges and solutions. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Vol.40 (No.4, Sp.Iss.). pp. 982-985. ISSN 1083-4419

Report

Procter , Rob, Williams , Robin, 1952 November 13- and Stewart, James, 1968- (2010) If you build it, will they come? How researchers perceive and use web 2.0. London, UK: Research Network Information..

Book Review

Campbell-Kelly, Martin (2010) Review of Chips and change: how crisis reshapes the semiconductor industry, by Brown, C. and Linden, G. Business History, Vol.52 (No.6). pp. 1017-1019. ISSN 0007-6791