Items where Department is "Computer Science"

Journal Article

Adamaszek, Michał (2012) Clique complexes and graph powers. Israel Journal of Mathematics . doi:10.1007/s11856-012-0166-1 ISSN 0021-2172.

Ambrosio, Francesco, Martsinovich, Natalia and Troisi, Alessandro (2012) What is the best anchoring group for a dye in a dye-sensitized solar cell? The Journal of Physical Chemistry Letters, Vol.3 (No.11). pp. 1531-1535. doi:10.1021/jz300520p ISSN 1948-7185.

Baptiste, Ph., Carlier, J., Kononov, A., Queyranne, M., Sevastyanov, S. and Sviridenko, Maxim (2012) Integer preemptive scheduling on parallel machines. Operations Research Letters, Vol.40 (No.6). pp. 440-444. doi:10.1016/j.orl.2012.06.011 ISSN 0167-6377.

Baxter, Laura, Jironkin, Aleksey, Hickman, R. D. G., Moore, Jonathan D., Barrington, Christopher, Krusche, Peter, Dyer, Nigel, Buchanan-Wollaston, Vicky, Tiskin, Alexander, Beynon, Jim, Denby, Katherine J. and Ott, Sascha (2012) Conserved noncoding sequences highlight shared components of regulatory networks in dicotyledonous plants. The Plant Cell, Vol.24 (No.10). pp. 3949-3965. doi:10.1105/tpc.112.103010 ISSN 1040-4651.

Bille, Philip, Gørtz, Inge Li, Sach, Benjamin and Vildhøj, Hjalte Wedel (2012) Time-space trade-offs for longest common extensions. Combinatorial Pattern Matching, Volume 7354 . pp. 293-305. doi:10.1007/978-3-642-31265-6_24 ISSN 0302-9743.

Brewster, Richard C. and Noel, Jonathan A. (2012) Extending precolourings of circular cliques. Discrete Mathematics, 312 (1). pp. 35-41. doi:10.1016/j.disc.2011.02.008 ISSN 0012-365X.

Campbell-Kelly, Martin (2012) The RDBMS industry : a Northern California perspective. IEEE Annals of the History of Computing, Volume 34 (Number 4). pp. 18-29. doi:10.1109/MAHC.2012.49 ISSN 1058-6180.

Campbell-Kelly, Martin, Garcia-Swartz, Daniel D. and Patki, Dhiren (2012) Information technology and establishment size in America : Rybczynski Redivivus☆. International Journal of the Economics of Business, Vol.19 (No.2). pp. 337-357. doi:10.1080/13571516.2012.684930 ISSN 1357-1516.

Caudron, Quentin, Donnelly, Simon R., Brand, Samuel and Timofeeva, Yulia (2012) Computational convergence of the path integral for real dendritic morphologies. The Journal of Mathematical Neuroscience, Volume 2 (Number 1). doi:10.1186/2190-8567-2-11 ISSN 2190-8567.

Cheng, Wei, Ji, Xiaoxi, Zhang, Jie and Feng, Jianfeng (2012) Individual classification of ADHD patients by integrating multiscale neuroimaging markers and advanced pattern recognition techniques. Frontiers in Systems Neuroscience, Vol.6 (No.58). doi:10.3389/fnsys.2012.00058 ISSN 1662-5137.

Clifford, Raphaël, Jalsenius, Markus, Montanaro, Ashley and Sach, Ben (2012) The complexity of flood filling games. Theory of Computing Systems, Vol.50 (No.1). pp. 72-92. doi:10.1007/s00224-011-9339-2 ISSN 1432-4350.

Clifford, Raphaël, Jalsenius, Markus, Porat, Ely and Sach, Ben (2012) Pattern matching in multiple streams. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 7354 . pp. 97-109. doi:10.1007/978-3-642-31265-6_8 ISSN 0302-9743.

Coja-Oghlan, Amin, Onsjoe, Mikael and Watanabe, Osamu (2012) Propagation connectivity of random hypergraphs. Electronic Journal of Combinatorics, Vol.19 . P17. ISSN 1077-8926.

Cormode, Graham, Muthukrishnan, S., Yi, Ke and Zhang, Qin (2012) Continuous sampling from distributed streams. Journal of the ACM, 59 (2). Article number 10. doi:10.1145/2160158.2160163 ISSN 0004-5411.

Cosma, Georgina and Joy, Mike (2012) An approach to source-code plagiarism detection and investigation using latent semantic analysis. IEEE Transactions on Computers, Vol.61 (No.3). pp. 379-394. doi:10.1109/TC.2011.223 ISSN 0018-9340.

Damerow, Valentina, Manthey, Bodo, Heide, Friedhelm Meyer Auf Der, Räcke, Harald, Scheideler, Christian, Sohler, Christian and Tantau, Till (2012) Smoothed analysis of left-to-right maxima with applications. ACM Transactions on Algorithms , Volume 8 (Number 3). Article number 30. doi:10.1145/2229163.2229174 ISSN 1549-6325.

Davidson, T., Gay, S. J., Mlnařík, H., Nagarajan, Rajagopal and Papanikolaou, Nikolaos K. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, Vol.8 (No.1). pp. 73-98. ISSN 1548-7199.

Englert, Matthias and Westermann, Matthias (2012) Considering suppressed packets improves buffer management in quality of service switches. SIAM Journal on Computing, Volume 41 (Number 5). pp. 1166-1192. doi:10.1137/110856745 ISSN 0097-5397.

Evans, Robert G., Naidu, Babu, Rajpoot, Nasir M. (Nasir Mahmood), Epstein, D. B. A. and Khan, Michael (2012) Toponome imaging system : multiplex biomarkers in oncology. Trends in Molecular Medicine, Vol.18 (No.12). pp. 723-731. doi:10.1016/j.molmed.2012.10.003 ISSN 1471-4914.

Forrest, Michael D., Wall, Mark J., Press, Daniel A. and Feng, Jianfeng (2012) The sodium-potassium pump controls the intrinsic firing of the cerebellar Purkinje neuron. PLoS ONE, Vol.7 (No.12). e51169. doi:10.1371/journal.pone.0051169 ISSN 1932-6203.

Franks, Henry P. W., Griffiths, Nathan and Jhumka, Arshad (2012) Manipulating convention emergence using influencer agents. Autonomous Agents and Multi-Agent Systems, Volume 26 (Number 3). pp. 315-353. doi:10.1007/s10458-012-9193-x ISSN 1387-2532.

García-Plaza, Alberto P., Zubiaga, Arkaitz, Fresno, Víctor and Martínez, Raquel (2012) Reorganizing clouds : a study on tag clustering and evaluation. Expert Systems with Applications, Volume 39 (Number 10). pp. 9483-9493. doi:10.1016/j.eswa.2012.02.108 ISSN 0957-4174.

Ge, Tian, Cui, Yindong, Lin, W., Kurths, J. and Liu, C. (2012) Characterizing time series : when Granger causality triggers complex networks. New Journal of Physics, Volume 14 (Number 8). Article number 083028. doi:10.1088/1367-2630/14/8/083028 ISSN 1367-2630.

Ge, Tian, Feng, Jianfeng, Hibar, Derrek P., Thompson, Paul M. and Nichols, Thomas E. (2012) Increasing power for voxel-wise genome-wide association studies : the random field theory, least square kernel machines and fast permutation procedures. NeuroImage, Vol.63 (No.2). pp. 858-873. doi:10.1016/j.neuroimage.2012.07.012 ISSN 1053-8119.

Ge, Tian, Lin, Wei and Feng, Jianfeng (2012) Invariance principles allowing of non-lyapunov functions for estimating attractor of discrete dynamical systems. IEEE Transactions on Automatic Control, Vol.57 (No.2). pp. 500-505. doi:10.1109/TAC.2011.2164013 ISSN 0018-9286.

Goldberg, Paul W., Savani, Rahul, Sørensen, Troels Bjerre and Ventre, Carmine (2012) On the approximation performance of fictitious play in finite games. International Journal of Game Theory . doi:10.1007/s00182-012-0362-6 ISSN 0020-7276.

Greenhalgh, Trisha, Procter, Rob, Wherton, Joe, Sugarhood, Paul and Shaw, Sara (2012) The organising vision for telehealth and telecare : discourse analysis. BMJ Open, Vol.2 (No.4). Article no. :e001574. doi:10.1136/bmjopen-2012-001574 ISSN 2044-6055.

He, Ligang, Huang, Chenlim, Duan, Kewei, Li, Kenli, Chen, Hao, Sun, Jianhua and Jarvis, Stephen A. (2012) Modeling and analyzing the impact of authorization on workflow executions. Future Generation Computer Systems, Volume 28 (Number 8). pp. 1177-1193. doi:10.1016/j.future.2012.03.003 ISSN 0167-739X.

Heal, Jack W., Jiménez Roldán, J. E. (José Emilio), Wells, Stephen A., Freedman, R. B. and Römer, Rudolf A. (2012) Inhibition of HIV-1 protease: the rigidity perspective. Bioinformatics, Vol.28 (No.3). pp. 350-357. doi:10.1093/bioinformatics/btr683 ISSN 1367-4803.

Jansen, Thomas and Zarges, Christine (2012) Computing longest common subsequences with the B-cell algorithm. Lecture Notes in Computer Science, Vol.7597 . pp. 111-124. doi:10.1007/978-3-642-33757-4_9 ISSN 0302-9743.

Jarvis, Stephen A. (2012) Editorial performance modelling, benchmarking and simulation of high-performance computing systems. Computer Journal, Vol.55 (No.2). pp. 136-137. doi:10.1093/comjnl/bxr113 ISSN 0010-4620.

Khan, Shahid, Reese, Thomas S., Rajpoot, Nasir M. (Nasir Mahmood) and Shabbir, Ayisha (2012) Spatiotemporal maps of CaMKII in dendritic spines. Journal of Computational Neuroscience, Volume 33 (Number 1). pp. 123-139. doi:10.1007/s10827-011-0377-1 ISSN 0929-5313.

Kuse, Manohar, Wang, Yi-Fang, Kalasannavar, V, Khan, Michael and Rajpoot, Nasir M. (Nasir Mahmood) (2012) Local isotropic phase symmetry measure for detection of beta cells and lymphocytes. Journal of Pathology Informatics, Vol.2 (No.2). doi:10.4103/2153-3539.92028 ISSN 2229-5089.

Li, Chang-Tsun and Li, Yue (2012) Color-decoupled photo response non-uniformity for digital image forensics. IEEE Transactions on Circuits and Systems for Video Technology, Vol.22 (No.2). pp. 260-271. doi:10.1109/TCSVT.2011.2160750

Li, Chang-Tsun and Satta, R. (2012) Empirical investigation into the correlation between vignetting effect and the quality of sensor pattern noise. IET Computer Vision, Volume 6 (Number 6). pp. 560-566. doi:10.1049/iet-cvi.2012.0044 ISSN 1751-9632.

Liakata, Maria, Kim, Jee-Hyub, Saha, Shyamasree, Hastings, Janna and Rebholz-Schuhmann, Dietrich (2012) Three hybrid classifiers for the detection of emotions in suicide notes. Biomedical Informatics Insighta, 5 (Supplement 1). pp. 173-184. doi:10.4137/BII.S8967 ISSN 1178-2226.

Liakata, Maria, Saha, S., Dobnik, S., Batchelor, C. and Rebholz-Schuhmann, D. (2012) Automatic recognition of conceptualization zones in scientific articles and two life science applications. Bioinformatics, 28 (7). pp. 991-1000. doi:10.1093/bioinformatics/bts071 ISSN 1367-4803.

Liu, Limin, He, Ligang and Jarvis, Stephen A. (2012) Performance analysis for workflow management systems under role-based authorization control. Lecture Notes in Computer Science, Vol.7296 . pp. 323-337. doi:10.1007/978-3-642-30767-6_28 ISSN 0302-9743.

Lu, X. and Martin, Graham R. (2012) Fast H.264/SVC inter-frame and inter-layer mode decisions based on motion activity. Electronics Letters, Vol.48 (No.2). pp. 84-85. doi:10.1049/el.2011.3106 ISSN 0013-5194.

Maggio, E., Martsinovich, Natalia and Troisi, Alessandro (2012) Evaluating charge recombination rate in dye-sensitized solar cells from electronic structure calculations. The Journal of Physical Chemistry Part C: Nanomaterials, Interfaces and Hard Matter, Vol.116 (No.14). pp. 7638-7649. doi:10.1021/jp210558x ISSN 1932-7447.

McKenna, Stephen J., Magee, Derek and Rajpoot, Nasir M. (Nasir Mahmood) (2012) Special issue on microscopy image analysis for biomedical applications. Machine Vision and Applications, Volume 23 (Number 4). pp. 603-605. doi:10.1007/s00138-012-0436-2 ISSN 0932-8092.

(2012) Cognitive dysfunction in psychiatric disorders : characteristics, causes and the quest for improved therapy. Nature Reviews Drug Discovery, Vol.11 (No.2). pp. 141-168. doi:10.1038/nrd3628 ISSN 1474-1776.

Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R., Wright, Steven A. and Jarvis, Stephen A. (2012) On the acceleration of wavefront applications using distributed many-core architectures. Computer Journal, Volume 55 (Number 2). pp. 138-153. doi:10.1093/comjnl/bxr073 ISSN 0010-4620.

Poschen, Meik, Finch, J. (June), Procter, Rob, Goff, Mhorag, McDerby, Mary, Collins, S. (Simon), Besson, Jon, Beard, L. (Lorraine) and Grahame, T. (Tom) (2012) Development of a pilot data management infrastructure for biomedical researchers at University of Manchester – approach, findings, challenges and outlook of the MaDAM Project. International Journal of Digital Curation, Vol.7 (No.2). pp. 110-122. doi:10.2218/ijdc.v7i2.234 ISSN 1746-8256.

Rajpoot, Nasir M. (Nasir Mahmood) and Butt, Irfan T. (2012) A multiresolution framework for local similarity based image denoising. Pattern Recognition, Vol.45 (No.8). pp. 2938-2951. doi:10.1016/j.patcog.2012.01.023 ISSN 0031-3203.

Raza, Shan-e-Ahmed, Humayun, Ahmad, Abouna, Sylvie, Nattkemper, Tim W., Epstein, D. B. A., Khan, Michael and Rajpoot, Nasir M. (Nasir Mahmood) (2012) RAMTaB : robust alignment of multi-tag bioimages. PLoS One, Vol.7 (No.2). e30894. doi:10.1371/journal.pone.0030894 ISSN 1932-6203.

Rolls, Edmund T. (2012) Invariant visual object and face recognition : neural and computational bases, and a model, VisNet. Frontiers in Computational Neuroscience, Volume 6 . Article number 35. doi:10.3389/fncom.2012.00035 ISSN 1662-5188.

Rolls, Edmund T., Webb, Tristan J. and Deco, Gustavo (2012) Communication before coherence. European Journal of Neuroscience, Volume 36 (Number 5). pp. 2689-2709. doi:10.1111/j.1460-9568.2012.08188.x ISSN 0953-816X.

Turner, Martin, Jones, Michael, Poschen, Meik, Procter, Rob, Rowley, Andrew and Schiebeck, Tobias (2012) Secure data sharing across portals : experiences from OneVRE. Philosophical Transactions of the Royal Society A : Mathematical, Physical and Engineering Sciences, Volume 371 (Number 1983).

Vavoulis, Dimitrios V., Straub, Volko A., Aston, John A. D. and Feng, Jianfeng (2012) A self-organizing state-space-model approach for parameter estimation in Hodgkin-Huxley-type models of single neurons. PLoS Computational Biology, Vol.8 (No.3). e1002401. doi:10.1371/journal.pcbi.1002401 ISSN 1553-7358.

Wherton, Joseph, Sugarhood, Paul, Procter, Rob, Rouncefield, Mark, Dewsbury, Guy, Hinder, Sue and Greenhalgh, Trisha (2012) Designing assisted living technologies 'in the wild' : preliminary experiences with cultural probe methodology. BMC Medical Research Methodology, Vol.12 (No.1). Article no. 188. doi:10.1186/1471-2288-12-188 ISSN 1471-2288.

Wu, Yu, Lu, Wenlian, Lin, Wei, Leng, Gareth and Feng, Jianfeng (2012) Bifurcations of emergent bursting in a neuronal network. PLoS ONE, Vol.7 (No.6). e38402. doi:10.1371/journal.pone.0038402 ISSN 1932-6203.

Yau, Jane Yin-Kim, Joy, Mike, Sinclair, Jane and Hagan, S. J. (2012) Potential deployment of Java web-based learning objects from the public domain into mobile learning environments. International Journal of Science, Innovation and New Technology, Vol.1 (No.3). ISSN 2223-2257.

Zhang, Jie, Cheng, Wei, Wang, ZhengGe, Zhang, ZhiQiang, Lu, Wenlian, Lu, GuangMing and Feng, Jianfeng (2012) Pattern classification of large-scale functional brain networks : identification of informative neuroimaging markers for epilepsy. PLoS One, Vol.7 (No.5). e36733. doi:10.1371/journal.pone.0036733 ISSN 1932-6203.

Zhang, Xuejuan, Kendrick, Keith M., Zhou, Haifu, Zhan, Yang and Feng, Jianfeng (2012) A computational study on altered theta-gamma coupling during learning and phase coding. PLoS ONE, Vol.7 (No.6). e36472. doi:10.1371/journal.pone.0036472 ISSN 1932-6203.

Book Item

Berenbrink, Petra, Czumaj, Artur, Englert, Matthias, Friedetzky, Thomas and Nagel, Lars (2012) Multiple-choice balanced allocation in (almost) parallel. In: Gupta , Anupam and Jansen , Klaus and Rolim , José and Servedio , Rocco , (eds.) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings. Lecture Notes in Computer Science, Volume 7408 . Berlin Heidelberg: Springer-Verlag, pp. 411-422. ISBN 9783642325113

Beynon, Meurig and Beynon, Will (2012) Mediating intelligence through observation, dependency and agency in making construals of malaria. In: Cerr, Stefano A. and Clancey, William J. and Papdourakis, Giorgos and Panourgia, Kitty, (eds.) Intelligent Tutoring Systems : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings. Lecture Notes in Computer Science, Volume 7315 . Berlin Heidelberg: Springer-Verlag, pp. 664-665. ISBN 9783642309496

Boyatt, Russell and Sinclair, Jane (2012) Navigating the educational cloud. In: Workshop on Learning Technology for Education in Cloud (LTEC'12). Advances in Intelligent Systems and Computing, Volume 173 . Springer Berlin Heidelberg, pp. 179-191. ISBN 9783642308581

Brazier, Frances, Ogston, Elth and Warnier, Martijn (2012) The future of energy markets and the challenge of decentralized self-management. In: Agents and Peer-to-Peer Computing : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers. Lecture Notes in Computer Science, Volume 6573 . Berlin Heidelberg: Springer, pp. 95-103. ISBN 9783642318085

Fearnley, J., Goldberg, Paul W., Savani, Rahul and Sørensen, Troels Bjerre (2012) Approximate well-supported Nash equilibria below two-thirds. In: Serna, Maria, (ed.) Algorithmic Game Theory. Berlin: Springer Verlag, pp. 108-119. ISBN 9783642339950

Kratsch, Stefan, Pilipczuk, Marcin, Pilipczuk, Michał and Wahlström, Magnus (2012) Fixed-parameter tractability of multicut in directed acyclic graphs. In: Czumaj , Artur and Mehlhorn , Kurt and Pitts , Andrew and Wattenhofe, Roger , (eds.) Automata, Languages, and Programming : Proceedings, Part I of 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012. Lecture Notes in Computer Science, Volume 7391 . Berlin Heidelberg: Springer Verlag, pp. 581-593. ISBN 9783642315930

Procter, Rob, Halfpenny, Peter and Voss, Alex (2012) Research data management : opportunities and challenges for HEIs. In: Pryor, Graham, (ed.) Managing research data. London: Facet Publishing, pp. 135-150. ISBN 9781856047562

Saket, Rishi and Sviridenko, Maxim (2012) New and improved bounds for the minimum set cover problem. In: Gupta , Anupam and Jansen , Klaus and Rolim , José and Servedio , Rocco , (eds.) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings. Lecture Notes in Computer Science, Volume 7408 . Berlin Heidelberg: Springer Netherlands, pp. 288-300. ISBN 9783642325113

Voss, Alex and Procter, Rob (2012) Virtual research environments in scholarly work and communications. In: Dicks, Bella, (ed.) Digital qualitative research methods. London : Sage Publications. ISBN 9781847879523

Conference Item

Adamaszek, Anna, Czumaj, Artur, Englert, Matthias and Räcke, Harald (2012) An O(log k)-competitive algorithm for generalized caching. In: 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, 17-19 Jan 2012. Published in: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms pp. 1681-1689. ISSN 9781611972108.

Awan, Malik Shahzad K. and Jarvis, Stephen A. (2012) MalikCredit - A new credit unit for P2P computing. In: IEEE 9th International Conference on High Performance Computing and Communication & 2012 , Liverpool, 25-27 Jun 2012. Published in: IEEE 9th International Conference on High Performance Computing and Communication & 2012 pp. 1060-1065. doi:10.1109/HPCC.2012.155 ISSN 1060 - 1065.

Awan, Malik Shahzad K. and Jarvis, Stephen A. (2012) MalikStone : a context-aware light-weight benchmark for P2P computing. In: 2012 International Conference on High Performance Computing and Simulation (HPCS), Madrid, Spain, 2-6 July 2013. Published in: Proceedings of the 2012 International Conference on High Performance Computing and Simulation pp. 350-356. ISBN 9781467323598. doi:10.1109/HPCSim.2012.6266936

Banos, Vangelis, Stepanyan, Karen, Joy, Mike, Cristea, Alexandra I. and Manolopoulos, Yannis (2012) Technological foundations of the current blogosphere. In: 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS 2012, Craiova, Romania, 13-15 June 2012. Published in: Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics Article number 45. ISBN 9781450309158. doi:10.1145/2254129.2254185

Beckingsale, David A., Perks, O. F. J., Gaudin, W. P., Herdman, J. A. and Jarvis, Stephen A. (2012) Optimisation of patch distribution strategies for AMR applications. In: UK Performance Engineering Workshop (UKPEW 2012), Edinburgh, 2 July 2012

Beynon, Meurig (2012) Realising software development as a lived experience. In: ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Tucson, Arizona, USA, 21-25 Oct 2012. Published in: Onward! '12 Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software pp. 229-244. ISBN 9781450315623. doi:10.1145/2384592.2384613

Beynon, Meurig and Beynon, Will (2012) Construals to support exploratory and collaborative learning in medicine. In: Intelligent Support for Exploratory Environments, 12-20 June 2012

Bhalerao, Abhir, Pase, Luke, Lieschke, Graham J., Renshaw, Stephen A. and Reyes-Aldasoro, Constantino Carlos (2012) Local affine texture tracking for serial registration of zebrafish images. In: 9th IEEE International Symposium on Biomedical Imaging (ISBI), Barcelona, Spain, 2-5 May 2012. Published in: 2012 9th IEEE International Symposium on Biomedical Imaging : from Nano to Macro pp. 434-437. ISBN 9781457718571. doi:10.1109/ISBI.2012.6235577 ISSN 1945-7928.

Bird, Robert F., Wright, Steven A., Beckingsale, David A. and Jarvis, Stephen A. (2012) Performance modelling of magnetohydrodynamics codes. In: Proceedings of the 28th UK Performance Engineering Workshop (UKPEW 2012), Edinburgh, 2 July 2012

Black, William, Procter, Rob, Grey, Steven and Ananiadou, Sophia (2012) A data and analysis resource for an experiment in text mining a collection of micro-blogs on a political topic. In: 8th International Conference on Language Resources and Evaluation, Istanbul, Turkey, 21-27 May 2012. Published in: LREC 2012 : proceedings

Boyatt, Russell and Joy, Mike (2012) Developing learning materials using an ontology of mathematical logic. In: IADIS Cognition and Exploratory Learning in Digital Age (CELDA 2012), Madrid, Spain, 19-21 Oct 2012. Published in: IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2012) pp. 283-286. ISBN 9781627483377.

Bravo-Solorio, S., Li, Chang-Tsun and Nandi, A. K. (2012) Watermarking method with exact self-propagating restoration capabilities. In: 2012 IEEE International Workshop on Information Forensics and Security (WIFS) , Tenerife, Spain, 2-5 Dec 2012. Published in: Proceedings of the 2012 IEEE International Workshop on Information Forensics and Security (WIFS) pp. 217-222. ISBN 9781467322850. doi:10.1109/WIFS.2012.6412652

Bravo-Solorio, S., Li, Chang-Tsun and Nandi, A. K. (2012) Watermarking with lowembedding distortion and self-propagating restoration capabilities. In: 19th IEEE International Conference on Image Processing (ICIP), 2012, Orlando, Florida, USA, 30 Sep - 3 Oct 2012. Published in: Image Processing (ICIP) pp. 2197-2200. doi:10.1109/ICIP.2012.6467330

Coja-Oghlan, Amin and Frieze, Alan (2012) Analyzing walksat on random formulas. In: ANALCO '12 : Meeting on Analytic Algorithmics and Combinatorics, Kyoto, Japan, 16 Jan 2012. Published in: Proceedings of the Meeting on Analytic Algorithmics & Combinatorics, Kyoto, Japan, January 16, 2012 pp. 48-55. ISSN 2164-0343.

Coja-Oghlan, Amin and Zdeborová, Lenka (2012) The condensation transition in random hypergraph 2-coloring. In: ACM-SIAM Symposium on Discrete Algorithms 2012, Kyoto, Japan, 17-19 Jan 2012. Published in: Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms pp. 241-250. ISSN 1557-9468.

Efthymiou, Charilaos (2012) A simple algorithm for random colouring G(n, d/n) using (2 + ε)d colours. In: 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, 17-19 Jan 2012. Published in: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms pp. 272-280. ISSN 9781611972108.

Franks, H., Griffiths, Nathan and Jhumka, Arshad (2012) Robust reputation in decentralised markets. In: 1st ACM Workshop on Incentives and Trust in E-Commerce (WIT-EC 2012), Valencia, Spain, 4-6 Jun 2012. Published in: Proceedings of the First Workshop on Incentives and Trust in E-Commerce (WIT-EC'12), in associateion with the 13th ACM Conference on Electronic Commerce (EC'12). doi:10.1111/coin.12036

Gao, Bo, He, Ligang, Liu, Limin, Li, Kenli and Jarvis, Stephen A. (2012) From mobiles to clouds : developing energy-aware offloading strategies for workflows. In: 13th International Conference on Grid Computing (GRID), 2012 ACM/IEEE , Beijing, 20-23 Sep 2012 pp. 139-146. ISBN 9781467329019. doi:10.1109/Grid.2012.20

Griffiths , Nathan and Anand, Sarabjot Singh (2012) The impact of social placement of non-learning agents on convention emergence. In: AAMAS 12 International Conference on Autonomous Agents and Multiagent Systems, Valencia, Spain, 4-8 Jun 2012. Published in: AAMAS 12 International Conference on Autonomous Agents and Multiagent Systems pp. 1367-1368.

Guan, Yu, Li, Chang-Tsun and Hu, Yongjian (2012) Gait recognition under carrying condition : a static dynamic fusion method. In: Optics, Photonics, and Digital Technologies for Multimedia Applications II, Brussels, Belgium, 17 April, 2012. Published in: Proceedings of SPIE, Vol.8436 84360W. doi:10.1117/12.922492 ISSN 0277786X.

Guan, Yu, Li, Chang-Tsun and Hu, Yongjian (2012) Random subspace method for gait recognition. In: IEEE International Conference on Multimedia and Expo Workshops (ICMEW), Melbourne, Australia, 9-13 Jul 2012 . Published in: Proceedings of the 2012 international conference on multimedia and expo workshops pp. 284-289. ISBN 9780769547299. doi:10.1109/ICMEW.2012.55

Guan, Yu, Li, Chang-Tsun and Hu, Yongjian (2012) Robust clothing-invariant gait recognition. In: IIH-MSP 2012: 2012 Eighth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, Piraeus, Greece, 18-20 Jul 2012. Published in: Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP), 2012 Eighth International Conference on pp. 321-324. ISBN 9781467317412. doi:10.1109/IIH-MSP.2012.85

Guan, Yu, Li, Chang-Tsun and Hu, Yongjian (2012) An adaptive system for gait recognition in multi-view environments. In: 14th ACM Workshop on Multimedia and Security, Coventry, UK, 6-7 Sept 2012. Published in: MM&Sec '12 Proceedings of the on Multimedia and security pp. 139-144. ISBN 9781450314176. doi:10.1145/2361407.2361431

Harfield, Antony and Beynon, Meurig (2012) Empirical modelling for constructionist learning in a Thai secondary school mathematics class. In: Ninth International Conference on eLearning for Knowledge-Based Society, Bangkok, Thailand, 13-14 Dec 2012

Hartswood, Mark, Procter, Rob, Taylor, Paul, Blot, Lilian, Anderson, Stuart, Rouncefield, Mark and Slack, Roger (2012) Problems of data mobility and reuse in the provision of computer-based training for screening mammography. In: CHI 2012, Austin, Texas, 5-10 May 2012. Published in: roceedings of the SIGCHI Conference on Human Factors in Computing System pp. 909-918. ISBN 9781450310154 . doi:10.1145/2207676.2208533

He, Ligang, Chaudhary, Nadeem, Jarvis, Stephen A. and Li, Kenli (2012) Allocating resources for workflows running under authorization control. In: 13th International Conference on Grid Computing (GRID), 2012 ACM/IEEE , Beijing, 20-23 Sep 2012. Published in: IEEE Digital Library pp. 58-65. ISBN 9781467329019. doi:10.1109/Grid.2012.22

Herdman, J. A., Gaudin, W. P., McIntosh-Smith, S., Boulton, M., Beckingsale, David A., Mallinson, Andrew C. and Jarvis, Stephen A. (2012) Accelerating hydrocodes with OpenACC, OpenCL and CUDA. In: SC Companion 2012 High Performance Computing, Networking Storage and Analysis, Salt Lake City, UT, 10-16 Nov 2012. Published in: SC Companion pp. 465-471. ISBN 9781467362184. doi:10.1109/SC.Companion.2012.66

Hu, Yongjian, Li, Chang-Tsun, Lai, Zhimao and Zhang, Shangfan (2012) Fast camera fingerprint search algorithm for source camera identification. In: 5th International Symposium on Communications Control and Signal Processing, ISCCSP 2012, Rome, Italy, 2-4 May 2012. Published in: 5th International Symposium on Communications Control and Signal Processing, ISCCSP 2012 (Article number 6217842). pp. 1-5. ISBN 9781467302760. doi:10.1109/ISCCSP.2012.6217842

Hu, Yongjian, Li, Chang-Tsun, Lin, Xufeng and Liu, Bei-bei (2012) An improved algorithm for camera model identification using inter-channel demosaicking traces. In: IIH-MSP 2012: 2012 Eighth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, Piraeus, Greece, 18-20 July. Published in: Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP), 2012 Eighth International Conference on pp. 325-330. ISBN 9781467317412. doi:10.1109/IIH-MSP.2012.85

Jansen, Thomas and Zarges, Christine (2012) Fixed budget computations : a different perspective on run time analysis. In: Fourteenth international conference on Genetic and evolutionary computation conference, Philadelphia, USA., 7-11 July 2012. Published in: Proceedings of the fourteenth international conference on genetic and evolutionary computation conference pp. 1325-1332. ISBN 9781450311779. doi:10.1145/2330163.2330347

Jantjies, Mmaki and Joy, Mike (2012) Multilingual mobile learning : a case study of four South African high schools. In: 11th World Conference on Mobile and Contextual Learning (mLearn 2012), Helsinki, Finland, 16-18 October 2012. Published in: Proceedings of the 11th International Conference on Mobile and Contextual Learning 2012 pp. 208-211. ISSN 1613-0073.

Jhumka, Arshad, Bradbury, Matthew S. and Leeke, Matthew (2012) Towards understanding source location privacy in wireless sensor networks through fake sources. In: 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'12), Liverpool, UK, 25-27 Jun 2012 pp. 760-768. ISBN 9781467321723. doi:10.1109/TrustCom.2012.281

Joy, Mike, Sinclair, Jane, Boyatt, Russell, Yau, Jane Yin-Kim and Cosma, Georgina (2012) Student perspectives on plagiarism in computing. In: 5th International Plagiarism Conference, Newcastle, UK, 16-18 July 2012

Khan, Adnan M., El-Daly, H. and Rajpoot, Nasir M. (Nasir Mahmood) (2012) A Gamma-Gaussian mixture model for detection of mitotic cells in breast cancer histopathology images. In: 21st International Conference on Pattern Recognition (ICPR), Tsukuba, Japan, 11-15 November, 2012. Published in: Proceedings - International Conference on Pattern Recognition pp. 149-152. ISBN 9784990644109. ISSN 1051-4651.

Lu, X. and Martin, Graham R. (2012) A hierarchical mode decision scheme for fast implementation of spatially scalable video coding. In: 2012 IEEE Visual Communications and Image Processing, VCIP 2012, San Diego, CA, 27-30 Nov 2012. Published in: 2012 IEEE Visual Communications and Image Processing pp. 1-6. ISBN 978-146734405-0. doi:10.1109/VCIP.2012.6410746

Mahmoud, Samhar, Griffiths, Nathan, Keppens, Jeroen and Luck, Michael (Michael M.) (2012) Establishing norms for network topologies. In: 7th International Workshop on Coordination, Organizations, Institutions, and Norms, Lyon, France, 22 Aug 2011. Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 7254 pp. 203-220. ISBN 9783642355448. doi:10.1007/978-3-642-35545-5_12 ISSN 0302-9743.

Mahmoud, Samhar, Griffiths, Nathan, Keppens, Jeroen and Luck, Michael (Michael M.) (2012) Norm emergence : overcoming hub effects in scale free networks. In: 14th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2012), Valencia, Spain, 5 Jun 2012. Published in: Proceedings of the 14th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems

Mahmoud, Samhar, Griffiths, Nathan, Keppens, Jeroen and Luck, Michael (Michael M.) (2012) Overcoming omniscience for norm emergence in Axelrod’s metanorm model. In: 7th International Workshop on Coordination, Organizations, Institutions, and Norms, Lyon, France, 22 Aug 2011. Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 7254 pp. 186-202. doi:10.1007/978-3-642-35545-5_11 ISSN 0302-9743.

Mahmoud, Samhar, Luck, Michael (Michael M.), Keppens, Jeroen and Griffiths, Nathan (2012) Efficient norm emergence through experiential dynamic punishment. In: 20th European Conference on Artificial Intelligence , Montpellier, France, 27-31 Aug 2012. Published in: Proceedings of the 20th European Conference on Artificial Intelligence pp. 576-581. doi:10.3233/978-1-61499-098-7-576 (Submitted)

Matthews, Stephen G. and Bukatin, Michael (2012) An intelligent theory of cost for partial metric spaces. In: 5th International Conference on Artificial General Intelligence (AGI), Oxford, UK, 8-11 Dec 2012. Published in: Lecture Notes in Computer Science, 7716 pp. 168-176. ISBN 9783642355059. doi:10.1007/978-3-642-35506-6_18 ISSN 0302-9743.

Nurse, Jason R. C. and Sinclair, Jane (2012) Towards a model to support the reconciliation of security actions across enterprises. In: 2nd Workshop on Socio-Technical Aspects in Security and Trust (STAST), Cambridge, MA, USA, 29 June 2012. Published in: 2012 Workshop on Socio-Technical Aspects in Security and Trust (STAST) pp. 11-18. ISBN 9781467327480 . doi:10.1109/STAST.2012.11

Pennycook, Simon J. and Jarvis, Stephen A. (2012) Developing performance-portable molecular dynamics kernels in Open CL. In: 3rd International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems, International Conference for High Performance Computing, Networking, Storage and Analysis, Salt Lake City, UT, 10-16 Nov 2012. Published in: 2012 SC Companion : High Performance Computing, Networking, Storage and Analysis (SCC) pp. 386-395. ISBN 9781467362184 .

Perks, O. F. J., Bird, Robert F., Beckingsale, David A. and Jarvis, Stephen A. (2012) Exploiting spatiotemporal locality for fast call stack traversal. In: Second Workshop on High-performance Infrastructure for Scalable Tools (WHIST 2012), Venice, Italy, 29 June 2012. Published in: 26th International Conference on Supercomputing

Rinneheimo, Kirsi-Maria, Kinnari-Korpela, Hanna, Boyatt, Russell and Joy, Mike (2012) MALog : a new way to teach and learn mathematical logic. In: 16th SEFI Mathematics Working Group Seminar, Salamanda, Spain, 28-30 June 2012

Saginbekov, Sain and Jhumka, Arshad (2012) Fast and efficient information dissemination in event-based wireless sensor networks. In: IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Liverpool, England, 25-27 Jun 2012 pp. 1555-1561. ISBN 9781467321723. doi:10.1109/TrustCom.2012.159

Shi, Lei, Al Qudah, Dana and Cristea, Alexandra I. (2012) Apply the We! Design methodology in E-learning 2.0 system design : a pilot study. In: ICCSW’12, London, 27-28 Sep 2012. Published in: 2012 Imperial College Computing Student Workshop, Volume 28 pp. 123-128. ISBN 9783939897484. doi:10.4230/OASIcs.ICCSW.2012.123

Shi, Lei, Al Qudah, Dana and Cristea, Alexandra I. (2012) Exploring participatory design for SNS-based AEH systems. In: IADIS International Conference on WWW/internet 2012, Madrid, Spain, 18-21 Oct 2012 pp. 242-249.

Stepanyan, Karen, Gkotsis, George, Kalb, H., Kim, Y., Cristea, Alexandra I., Joy, Mike, Trier, M. and Ross, S. (2012) Blogs as objects of preservation : advancing the discussion on significant properties. In: iPRES 2012, Toronto, Canada, 1-5 October 2012. Published in: Proceedings of the 9th International Conference on Preservation of Digital Objects pp. 219-225. ISBN 9780991799701.

Tan, Wilson M. and Jarvis, Stephen A. (2012) Blurring the computation-communication divide : extraneous memory accesses and their effects on MPI intranode communications. In: 2012 Imperial College Computing Student Workshop, London, United Kingdom, 27-28 Sept 2012. Published in: 2012 Imperial College Computing Student Workshop, ICCSW 2012 ISBN 978-393989748-4. doi:10.4230/OASIcs.ICCSW.2012.135

Taylor, Phillip M., Adamu-Fika, Fatimah, Anand, Sarabjot Singh, Dunoyer, Alaine, Griffiths, Nathan and Popham, T. J. (2012) Road type classification through data mining. In: 4th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Published in: Proceedings of the 4th International Conference on Automotive User Interfaces and Interactive Vehicular Applications pp. 233-240. ISBN 9781450317511. doi:10.1145/2390256.2390295

Thapper, Johan and Živný, Stanislav (2012) The Power of Linear Programming for Valued CSPs. In: 53rd Annual Symposium on Foundations of Computer Science (FOCS'12), New Brunswick, NJ, 20-23 Oct. 2012. Published in: Proceedings of the 53rd Annual Symposium on Foundations of Computer Science (FOCS'12) pp. 669-678. ISBN 9780769548746. doi:10.1109/FOCS.2012.25 ISSN 0272-5428.

Wei, Xingjie, Li, Chang-Tsun and Hu, Yongjian (2012) Robust face recognition under varying illumination and occlusion considering structured sparsity. In: 2012 International Conference on Digital Image Computing Techniques and Applications (DICTA), Fremantle, Western Austraila, 3-5 Dec 2012. Published in: 2012 International Conference on Digital Image Computing Techniques and Applications (DICTA) pp. 1-7. ISBN 9781467321808. doi:10.1109/DICTA.2012.6411704

Wright, Steven A., Hammond, Simon D., Pennycook, Simon J., Miller, I., Herdman, J. A. and Jarvis, Stephen A. (2012) LDPLFS : improving I/O performance without application modification. In: 13th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing, Shanghai, China, 21-25 May 2012. Published in: 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW) pp. 1352-1359. ISBN 9781467309745. doi:10.1109/IPDPSW.2012.172

Wright, Steven A., Pennycook, Simon J. and Jarvis, Stephen A. (2012) Towards the automated generation of hard disk models through physical geometry discovery. In: 2012 SC Companion : High Performance Computing, Networking, Storage and Analysis (SCC), Salt Lake City, UT, 10-16 Nov 2012. Published in: 2012 SC Companion : High Performance Computing, Networking, Storage and Analysis (SCC) pp. 437-445. ISBN 9781467362184. doi:10.1109/SC.Companion.2012.63

Yao, Yi and Li, Chang-Tsun (2012) Hand posture recognition using SURF with adaptive boosting. In: British Machine Vision Conference (BMVC), Guildford, United Kingdom, 3-7 Sep 2012. Published in: Electronic Proceedings of the British Machine Vision Conference pp. 1-10.

Journal Item

Campbell-Kelly, Martin (2012) Alan Turing's other universal machine. Communications of the ACM, Volume 55 (Number 7). pp. 31-33. ISSN 0001-0782 doi:10.1145/2209249.2209277

Rolls, Edmund T. (2012) Neural models of episodic memory. Clinical Neurophysiology, Vol.42 (No.1-2). p. 74. ISSN 1388-2457 doi:10.1016/j.neucli.2011.11.011

Report

Beynon, Meurig and Beynon, Will (2012) Construals as a complement to intelligent tutoring systems in medical education. University of Warwick. Department of Computer Science. (Unpublished)

Bhardwaj, Julian (2012) The cyber security learning and research environment. University of Warwick. Department of Computer Science. (Unpublished)

Li, Chang-Tsun and Li, Yue (2012) Histogram preserving QIM-based watermarking. University of Warwick. Department of Computer Science. (Unpublished)

Li, Chang-Tsun and Yuan, Xiang (2012) Indexing images of buildings based on geometrical invariant Hough descriptors. University of Warwick. Department of Computer Science. (Department of Computer Science Technical report). (Unpublished)

Poschen, Meik, Procter, Rob, Voss, Alex, Birkin, Mark and Malleson, Nicolas (2012) Scoping and business models report. Coventry: University of Warwick. (Unpublished)

Voss, Alex, Ings-Lamb, Alex and Procter, Rob (2012) Developing sustainability pathways for social simulation tools and services. University of Warwick. (Unpublished)