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, Vol.21 (No.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

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, Vol.39 (No.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

Czumaj, Artur and Sohler, Christian. (2010) Small space representations for metric min-sum k-clustering and their applications. Theory of Computing Systems, Vol.46 (No.3). pp. 416-442. ISSN 1432-4350

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, 47 (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, Vol.39 (No.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

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, Vol.2010 (No.1). article no.167942. ISSN 1687-6172

Li, Chang-Tsun and Li, Yue. (2010) Progressive exponential clustering-sased steganography. Eurasip Journal on Advances in Signal Processing, Vol.2010 (No.1). article no.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, Vol.82 (No.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, Vol.114 (No.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, Jason R. C. and Sinclair, Jane. (2010) An evaluation of BOF4WSS and the security negotiations model and tool used to support it. International Journal on Advances in Security, Vol.3 (No.3-4). pp. 184-201. ISSN 1942-2636

Park, Heechan, Martin, Graham R. and Bhalerao, Abhir. (2010) Local affine image matching and synthesis based on structural patterns. IEEE Transactions on Image Processing, Vol.19 (No.8). pp. 1968-1977. ISSN 1057-7149

Park, Heechan, Martin, Graham R. and Bhalerao, Abhir. (2010) An affine symmetric image model and its applications. IEEE Transactions on Image Processing, Vol.19 (No.7). pp. 1695-1705. ISSN 1057-7149

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, J. W. Y. and Joy, Mike. (2010) An adaptive context-aware mobile learning framework based on the usability perspective. International Journal of Mobile Learning and Organisation, Vol.4 (No.4). pp. 378-390. ISSN 1746-725X

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 and Joy, Mike. (2010) Proposal of a mobile learning preferences model. International Journal of Interactive Mobile Technologies (iJIM), Vol.4 (No.4). pp. 49-51. ISSN 1865-7923

Yau, Jane Yin-Kim and Joy, Mike. (2010) An adaptive context-aware mobile learning framework based on the usability perspective. International Journal of Mobile Learning and Organisation, Vol.4 (No.4). pp. 378-390. ISSN 1746-725X

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: 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

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, Anna and Adamaszek, Michał (2010) Large-Girth Roots of Graphs. In: 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Nancy, France, 1-8 Feb 2010 pp. 35-46.

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

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

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

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

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

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. 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, 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. Published in: Lecture Notes in Computer Science, Vol.6302 pp. 152-165.

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: ACM Conference on Hypertext and Hypermedia (Hypertext 2010), Toronto, Canada, 13-16 Jun 2010

Foss, Jonathan G. K. and Cristea, Alexandra I. (2010) Transforming a linear module into an adaptive one : tackling the challenge. In: 10th IEEE International Conference on Intelligent Tutoring Systems (ITS 2010), Pittsburgh, USA, 14-18 Jun 2010. Published in: Proceedings of the 10th international conference on Intelligent Tutoring Systems pp. 82-91.

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.

Foss, Jonathan G. K., Cristea, Alexandra 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), Sousse, Tunisia, 5-7 Jul 2010. Published in: Proceedings of the 2010 10th IEEE International Conference on Advanced Learning Technologies pp. 194-196.

Franks, H. P. W., Griffiths, Nathan and Jhumka, Arshad (2010) Image scoring in ad-hoc networks : an investigation on realistic settings. In: 8th European Workshop on Multi-Agent Systems, Paris, France, 16-17 Dec 2010

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: 8th European Workshop on Multi-Agent Systems, Paris, France, 16-17 Dec 2010

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., 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

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

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.

Ismail, A., Joy, Mike, Sinclair, Jane 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), Orlando, Florida, 29 June - 2 July 2010

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.

Korpelainen, Nicholas, Lozin, Vadim V. and Tiskin, Alexander (2010) Hamiltonian cycles in subcubic graphs : what makes the problem difficult. In: 7th International Conference on Theory and Application of Models of Computation, Prague, Czech Republic, June 07-11, 2010. Published in: Lecture Notes in Computer Science, Vol.6108 pp. 320-327.

Krusche, Peter and Tiskin, Alexander (2010) New algorithms for efficient parallel string comparison. In: 22nd ACM Symposium on Parallelism in Algorithms and Architectures, Thira, 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) New algorithms for efficient parallel string comparison. In: 22nd ACM symposium on Parallelism in algorithms and architectures pp. 1-8.

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, April 28th-30th 2010. Published in: Proceedings of the 2010 European Dependable Computing Conference 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 Axelrod's Model. In: 8th European Workshop on Multi-Agent Systems, Paris, France

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

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 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.

Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R. and Jarvis, Stephen A., 1970- (2010) Experiences with porting and modelling wavefront algorithms on many-core architectures. In: Daresbury GPU Workshop 2010, Daresbury, UK

Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R. and Jarvis, Stephen A., 1970- (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), New Orleans, LA, USA, 13-19, Nov 2010

Pennycook, Simon J., Mudalige, Gihan R., Hammond, Simon D. and Jarvis, Stephen A., 1970- (2010) Parallelising wavefront applications on general-purpose GPU devices. In: 26th UK Performance Engineering Workshop (UKPEW10), University of Warwick, Coventry, UK, 8-9, July 2010. Published in: Proceedings of the 26th UK Performance Engineering Workshop (UKPEW 2010) pp. 111-118.

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

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), New Orleans, LA, USA

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., Bhalerao, Abhir and Wilson, Roland, 1949- (2010) Multi-frame scene-flow estimation using a patch model and smooth motion prior. In: British Machine Vision Conference Workshop, Aberystwyth, UK, 31 Aug - 3 Sept 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.

Qureshi, H. and Rajpoot, Nasir M. (Nasir Mahmood) (2010) Comparative analysis of spatial and transform domain methods for meningioma subtype classification. In: Medical Image Understanding and Analysis (MIUA 2010), Coventry, UK, 6-7 July, 2010 pp. 209-213.

Scotton, Joshua D. and Cristea, Alexandra I. (2010) Reusing adaptation strategies in adaptive educational hypermedia systems. 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. 528-532.

Shrestha, S., Leeke, Matthew and Jhumka, Arshad (2010) On the tradeoff between privacy and energy in wireless sensor networks. In: UK Performance Engineering Workshop (UKPEW'10), Coventry, UK, 9-10th July 2010 pp. 103-110.

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.

Thonnes, E., Bhalerao, Abhir 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), Coventry, UK, 6-7 July, 2010

Tiskin, Alexander (2010) Fast distance multiplication of unit-Monge matrices. In: 21st Annual ACM/SIAM Symposium on Discrete Algorithms, Austin, TX, January 17-19, 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. Published in: Euro-Par 2010 - Parallel Processing, Vol.6272 (No.2). pp. 393-399.

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 September 2010 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. 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