Publications

You can browse our publications using the list below or Google Scholar, Research Gate and the University's e-scholar publications system.

For a quick (e-scholar) search please use the filters.

2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | Complete list


2010

Article
  1. Hall, J. G., Rapanotti, L., Zhao, L., & Naish, J. (2010). 2010 ICSE international Workshop on Advances and Applications of Problem Orientation (WAAPO-2010). Proceedings - International Conference on Software Engineering, 2, 467-468. DOI: 10.1145/1810295.1810432. Publication link: 061f86ab-a9f5-407f-927d-8bd5c5c8fb04
  2. Vincent, M. A., Hillier, I. H., Periyasamy, G., & Burton, N. A. (2010). A DFT study of the possible role of vinylidene and carbene intermediates in the mechanism of the enzyme acetylene hydratase. Dalton Transactions, 39(16), 3816-3822. DOI: 10.1039/b924800e. Publication link: 8f52197f-8c6c-466f-a092-044720f53b69
  3. Tan, W., Missier, P., Foster, I., Madduri, R., De Roure, D., & Goble, C. (2010). A comparison of using Taverna and BPEL in building scientific workflows: The case of caGrid. Concurrency and Computation: Practice & Experience, 22(9), 1098-1117. DOI: 10.1002/cpe.1547. Publication link: 723326bc-961a-4793-9a4c-8b35c0ec9256
  4. Goodhead, I., Archibald, A., Amwayi, P., Brass, A., Gibson, J., Hall, N., ... Noyes, H. A. (2010). A comprehensive genetic analysis of candidate genes regulating response to trypanosoma congolense infection in mice. PLoS Neglected Tropical Diseases, 4(11), [e880]. DOI: 10.1371/journal.pntd.0000880. Publication link: 2bb6dba2-f932-4908-b095-be1609f736a8 | PubMed:21085469
  5. Chin, J., Zhang, N., Nenadic, A., & Bamasak, O. (2010). A context-constrained authorisation (CoCoA) framework for pervasive grid computing. Wireless Networks, 16(6), 1541-1556. DOI: 10.1007/s11276-008-0135-0. Publication link: 357fbcf6-2bfe-4ca9-ae8e-f40c07f688cb
  6. Sroka, J., Hidders, J., Missier, P., & Goble, C. (2010). A formal semantics for the Taverna 2 workflow model. Journal of Computer and System Sciences, 76(6), 490-508. DOI: 10.1016/j.jcss.2009.11.009. Publication link: 0f5298f5-76cb-4b32-9c1b-a35f8cca1366
  7. Wu, J., & Furber, S. (2010). A multicast routing scheme for a universal spiking neural network architecture. Computer Journal, 53(3), 280-288. DOI: 10.1093/comjnl/bxp024. Publication link: 1fedb0c8-0a16-4686-a79a-1539943db925
  8. Lord, P., & Stevens, R. (2010). Adding a little reality to building ontologies for biology. PLoS ONE, 5(9), 1-7. [e12258]. DOI: 10.1371/journal.pone.0012258. Publication link: 0324a092-735a-4984-9fe7-b957862613bd
  9. Xing, W., Corcho, O., Goble, C., & Dikaiakos, M. D. (2010). An ActOn-based semantic information service for Grids. Future Generation Computer Systems, 26(3), 324-336. DOI: 10.1016/j.future.2009.10.003. Publication link: 8a9de27b-ecf9-43c3-a48a-e17efcf51ade
  10. Sparkes, A., King, R. D., Aubrey, W., Benway, M., Byrne, E., Clare, A., ... Rowland, J. (2010). An Integrated Laboratory Robotic System for Autonomous Discovery of Gene Function. JALA - Journal of the Association for Laboratory Automation, 15(1), 33-40. DOI: 10.1016/j.jala.2009.10.001. Publication link: 4b4980e9-fe07-4c8d-8a61-fddc8995db47
  11. Ramraj, A., Raju, R. K., Wang, Q., Hillier, I. H., Bryce, R. A., & Vincent, M. A. (2010). An evaluation of the GLYCAM06 and MM3 force fields, and the PM3-D molecular orbital method for modelling prototype carbohydrate-aromatic interactions. Journal of Molecular Graphics and Modelling, 29(3), 321-325. DOI: 10.1016/j.jmgm.2010.07.004. Publication link: b5b164da-0473-4d31-9f8c-61651d628ae7
  12. Wang, D., Zeng, X. J., & Keane, J. A. (2010). An evolving-construction scheme for fuzzy systems. IEEE Transactions on Fuzzy Systems, 18(4), 755-770. [5446334]. DOI: 10.1109/TFUZZ.2010.2047949. Publication link: 3af1a946-0e9b-4d54-96a5-bb523493563d
  13. Qi, D., King, R. D., Hopkins, A. L., Bickerton, G. R. J., & Soldatova, L. N. (2010). An ontology for description of drug discovery investigations.Journal of integrative bioinformatics, 7(3). DOI: 10.2390/biecoll-jib-2010-126. Publication link: 42d39c45-fa84-43b7-9315-1c77e96b390a
  14. Villéger, A. C., Pettifer, S. R., & Kell, D. B. (2010). Arcadia: A visualization tool for metabolic pathways. Bioinformatics, 26(11), 1470-1471. [btq154]. DOI: 10.1093/bioinformatics/btq154. Publication link: d8b2545b-0f95-43e7-b5ac-a8e350a875bb
  15. Ramraj, A., Hillier, I. H., Vincent, M. A., & Burton, N. A. (2010). Assessment of approximate quantum chemical methods for calculating the interaction energy of nucleic acid bases with graphene and carbon nanotubes. Chemical Physics Letters, 484(4-6), 295-298. DOI: 10.1016/j.cplett.2009.11.068. Publication link: 261aa606-2268-4df6-a789-a46d611f9d9a
  16. Taylor, S., Edwards, D. A., Plana, L. A., & Tarazona D., L. A. (2010). Asynchronous data-driven circuit synthesis. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 18(7), 1093-1106. [5291707]. DOI: 10.1109/TVLSI.2009.2020168. Publication link: 8fcc42b4-f996-478f-9968-13746404a659
  17. Banach, R., & Schellhorn, G. (2010). Atomic actions, and their refinements to isolated protocols. Formal Aspects of Computing, 22(1), 33-61. DOI: 10.1007/s00165-009-0103-1. Publication link: c18b546c-2727-4252-bc02-d7ffe7b61e62
  18. Mu, T., Pataky, T. C., Findlow, A. H., Aung, M. S. H., & Goulermas, J. Y. (2010). Automated nonlinear feature generation and classification of foot pressure lesions. IEEE Transactions on Information Technology in Biomedicine, 14(2), 418-424. . Publication link: 7fa09867-feb2-4f90-9945-38371e3bdeec
  19. Rodriguez-Martinez, E., Goulermas, J. Y., Mu, T., & Ralph, J. F. (2010). Automatic induction of projection pursuit indices. IEEE Transactions on Neural Networks, 21(8), 1281-1295. . Publication link: 9f129bc0-b3ac-443c-94df-9f8b672d5cd3
  20. Ramraj, A., & Hillier, I. H. (2010). Binding of pollutant aromatics on carbon nanotubes and graphite. Journal of Chemical Information and Modeling, 50(4), 585-588. DOI: 10.1021/ci1000604. Publication link: efb9461e-360b-45ed-8c47-cbb83118c2d2
  21. Bhagat, J., Tanoh, F., Nzuobontane, E., Laurent, T., Orlowski, J., Roos, M., ... Goble, C. A. (2010). BioCatalogue: A universal catalogue of web services for the life sciences. Nucleic acids research., 38(2), W689-W694. [gkq394]. DOI: 10.1093/nar/gkq394. Publication link: c699d7ad-5aed-44f1-bdf9-72251652e933 | PubMed:20484378
  22. Kalaš, M., Puntervoll, P., Joseph, A., Bartaševičiute, E., Töpfer, A., Venkataraman, P., ... Jonassen, I. (2010). BioXSD: The common data-exchange format for everyday bioinformatics web services. Bioinformatics, 26(18), 540-546. [btq391]. DOI: 10.1093/bioinformatics/btq391. Publication link: 62a459d5-958e-4ba3-b582-ba2b6a7d64bf
  23. Schneider, M. V., Watson, J., Attwood, T., Rother, K., Budd, A., McDowall, J., ... Brooksbank, C. (2010). Bioinformatics training: A review of challenges, actions and support requirements. Briefings in Bioinformatics, 11(6), 544-551. [bbq021]. DOI: 10.1093/bib/bbq021. Publication link: 963606b2-7772-435a-9711-20a42fdbeee5
  24. Sen Bhattacharya, B., & Furber, S. B. (2010). Biologically inspired means for rank-order encoding images: a quantitative analysis. IEEE Transactions on Neural Networks, 21(7), 1087-1099. [5484611]. DOI: 10.1109/TNN.2010.2048339, 10.1109/TNN.2010.2048339. Publication link: 93a039bd-467b-44b8-9717-42e894a287bd | PubMed:20550988
  25. Rebholz-Schuhmann, D., & Nenadic, G. (2010). Biomedical Semantics: The Hub for Biomedical Research 2.0. Journal of Biomedical Semantics, 1, [1]. DOI: 10.1186/2041-1480-1-1. Publication link: fd30bfef-2019-438e-a00b-02d638bdf906
  26. Davies, R. H., Twining, C. J., Cootes, T. F., & Taylor, C. J. (2010). Building 3-D Statistical Shape Models by Direct Optimization. IEEE Transactions on Medical Imaging, 29(4), 961-981. [5308401]. DOI: 10.1109/TMI.2009.2035048. Publication link: 5bd6d622-718d-4783-807f-1179391319ea
  27. Okazaki, N., Ananiadou, S., & Tsujii, J. (2010). Building a high-quality sense inventory for improved abbreviation disambiguation. Bioinformatics, 26(9), 1246-1253. [btq129]. DOI: 10.1093/bioinformatics/btq129. Publication link: 98d0669e-2673-4a98-8104-0c53806bd18d
  28. Tan, W., Madduri, R., Nenadic, A., Soiland-Reyes, S., Sulakhe, D., Foster, I., & Goble, C. A. (2010). CaGrid workflow toolkit: A taverna based workflow tool for cancer grid. BMC Bioinformatics, 11, [542]. DOI: 10.1186/1471-2105-11-542. Publication link: 7b37cc1f-f2bf-4507-923d-f6feb9a2a569 | PubMed:21044328
  29. Chen, Z., Berks, M., Astley, S., & Taylor, C. (2010). Classification of linear structures in mammograms using random forests. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6136, 153-160. DOI: 10.1007/978-3-642-13666-5_21. Publication link: eb5f51f6-9063-4180-94b5-54a7384210af
  30. Navarro-López, E. M., & Licéaga-Castro, E. (2010). Combining passivity and classical frequency-domain methods: An insight into decentralised control. Applied Mathematics and Computation, 215(12), 4426-4438. DOI: 10.1016/j.amc.2010.01.012. Publication link: 3dc34d27-b0c9-47d2-ae26-a2f43a16b953
  31. Möller, S., Krabbenhöft, H. N., Tille, A., Paleino, D., Williams, A., Wolstencroft, K., ... Plessy, C. (2010). Community-driven computational biology with Debian Linux. BMC Bioinformatics, 11(12), [S5]. DOI: 10.1186/1471-2105-11-S12-S5. Publication link: f62e933a-7900-42b7-855b-e728b607a724 | PubMed:21210984
  32. Cootes, T. F., Twining, C. J., Petrović, V. S., Babalola, K. O., & Taylor, C. J. (2010). Computing accurate correspondences across groups of images. IEEE Transactions on Pattern Analysis and Machine Intelligence, 32(11), 1994-2005. [5342433]. DOI: 10.1109/TPAMI.2009.193. Publication link: 85bba253-35ed-4456-ad42-5a89301b1806
  33. Alttoa, A., Kõiv, K., Hinsley, T. A., Brass, A., & Harro, J. (2010). Differential gene expression in a rat model of depression based on persistent differences in exploratory activity. European Neuropsychopharmacology, 20(5), 288-300. DOI: 10.1016/j.euroneuro.2009.09.005. Publication link: 908a8f14-7969-407e-8802-f6f059a3171a | PubMed:19854624
  34. Wang, X., Tsujii, J., & Ananiadou, S. (2010). Disambiguating the species of biomedical named entities using natural language parsers. Bioinformatics, 26(5), 661-667. [btq002]. DOI: 10.1093/bioinformatics/btq002. Publication link: 50d1efb5-d8f6-4b91-a71c-90a21e04a449
  35. Zeng, X-J. (2010). Discussions on exponential stability based design of constrained fuzzy predictive control. European Journal of Control, 16(1), 51-53. . Publication link: f5110ed6-fd93-4b70-8197-39d9a7823022
  36. Birkin, M., Procter, R., Allan, R., Bechhofer, S., Buchan, I., Goble, C., ... Sinnott, R. (2010). Elements of a computational infrastructure for social simulation. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 368(1925), 3797-3812. DOI: 10.1098/rsta.2010.0145. Publication link: c802276f-1054-49de-a37f-d63a8ca968b4
  37. Shaukat, A., & Chen, K. (2010). Emotional state categorization from speech: machine vs. human. CoRR, abs/cs/1009.0108, 1-14. DOI: arXiv:1009.0108v1. Publication link: 1cdcfb81-bbad-4733-a0c0-41fdd433f35c
  38. Scott, I. M., Vermeer, C. P., Liakata, M., Corol, D. I., Ward, J. L., Lin, W., ... Beale, M. H. (2010). Enhancement of plant metabolite fingerprinting by machine learning. Plant Physiology, 153(4), 1506-1520. DOI: 10.1104/pp.109.150524. Publication link: fce4d69d-531e-4ae3-9371-892bc79dae41
  39. Swainston, N., Golebiewski, M., Messiha, H. L., Malys, N., Kania, R., Kengne, S., ... Rojas, I. (2010). Enzyme kinetics informatics: From instrument to browser. FEBS Journal, 277(18), 3769-3779. DOI: 10.1111/j.1742-4658.2010.07778.x. Publication link: 9f346bc3-d932-4bb0-bd7f-8da0be8d1d77 | PubMed:20738395
  40. Mcallister, K., Hemingway, H., Philipson, P., Chen, R., Fitzpatrick, N. K., Damant, J., ... Hingorani, A. D. (2010). Evaluating the quality of research into a single prognostic biomarker: A systematic review and metaanalysis of 83 studies of C-reactive protein in stable coronary artery disease. PL o S Medicine, 7(6). DOI: 10.1371/journal.pmed.1000286. Publication link: 17dc8016-4271-49a5-a4c9-9f70a7102ec2 | PubMed:20532236
  41. Ananiadou, S., Pyysalo, S., Tsujii, J., & Kell, D. B. (2010). Event extraction for systems biology by text mining the literature. Trends in Biotechnology, 28(7), 381-390. DOI: 10.1016/j.tibtech.2010.04.005. Publication link: e13e6cc1-8f55-4bbb-bbbb-88953d8c05c4
  42. Shaukat, A., & Chen, K. (2010). Exploring language-independent emotional acoustic features via feature selection. CoRR, abs/cs/1009.0117, 1-15. DOI: arXiv:1009.0117v1. Publication link: 970c30c5-1437-4acc-89f4-022cc6ae8151
  43. Barringer, H., Groce, A., Havelund, K., & Smith, M. (2010). Formal analysis of log files. Journal of Aerospace Computing, Information and Communication, 7(11), 365-390. DOI: 10.2514/1.49356. Publication link: 3a2b5e93-3479-4041-a9d2-57f6bfefe083
  44. Dobson, P. D., Smallbone, K., Jameson, D., Simeonidis, E., Lanthaler, K., Pir, P., ... Mendes, P. (2010). Further developments towards a genome-scale metabolic model of yeast. BMC systems biology, 4, [145]. DOI: 10.1186/1752-0509-4-145. Publication link: b21a05ab-1b2c-46de-87ff-611863cc29fd | PubMed:21029416
  45. Jones, A. R., Carroll, K., Knight, D., MacLellan, K., Domann, P. J., Legido-Quigley, C., ... Paton, N. W. (2010). Guidelines for reporting the use of column chromatography in proteomics. Nature Biotechnology, 28(7), 654. DOI: 10.1038/nbt0710-654a. Publication link: aaa36f90-78b0-46df-9309-785a6fe247fe
  46. Daumas, M., Lester, D., Martin-Dorel, É., & Truffert, A. (2010). Improved bound for stochastic formal correctness of numerical algorithms. Innovations in Systems and Software Engineering, 6(3), 173-179. DOI: 10.1007/s11334-010-0128-x. Publication link: bc26748d-191f-4d5c-9b84-abc2686ec718
  47. Davies, S., Patterson, C., Galluppi, F., Rast, A., Lester, D., & Furber, S. (2010). Interfacing real-time spiking I/O with the SpiNNaker neuromimetic architecture. Australian Journal of Intelligent Information Processing Systems, 11(1), 7-11. . Publication link: 3f71899d-489f-48f3-9cf4-da12bbaaa820
  48. Gerner, M., Nenadic, G., & Bergman, C. M. (2010). LINNAEUS: A species name identification system for biomedical literature. BMC Bioinformatics, 11, [85]. DOI: 10.1186/1471-2105-11-85. Publication link: 9d9f91c4-a7a1-49b2-951a-8b3f36b4ed7f | PubMed:20149233
  49. Ray, O., Whelan, K., & King, R. (2010). Logic-based steady-state analysis and revision of metabolic networks with inhibition. CISIS 2010 - The 4th International Conference on Complex, Intelligent and Software Intensive Systems, 661-666. [5447526]. DOI: 10.1109/CISIS.2010.184. Publication link: 0d1ee21e-3985-4376-8a7e-fc9016e29eea
  50. Coletta, A., Pinney, J. W., Solís, D. Y. W., Marsh, J., Pettifer, S. R., & Attwood, T. K. (2010). Low-complexity regions within protein sequences have position-dependent roles. BMC systems biology, 4, [43]. DOI: 10.1186/1752-0509-4-43. Publication link: 0f1f0d0a-7bd3-4eea-b20c-cd2a824cc875
  51. Jin, X., Luján, M., Plana, L. A., Davies, S., Temple, S., & Furber, S. B. (2010). Modeling spiking neural networks on SpiNNaker. Computing in Science and Engineering, 12(5), 91-97. [5562477]. DOI: 10.1109/MCSE.2010.112. Publication link: 44a079a4-f15a-4ade-8152-d3a9ca5152d5
  52. Berks, M., Taylor, C., Rahim, R., Boggis, C., & Astley, S. (2010). Modelling structural deformations in mammographic tissue using the dual-tree complex wavelet. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6136, 145-152. DOI: 10.1007/978-3-642-13666-5_20. Publication link: 00ad26f0-d283-4c8e-a176-f09056859596
  53. Raju, R. K., Burton, N. A., & Hillier, I. H. (2010). Modelling the binding of HIV-reverse transcriptase and nevirapine: An assessment of quantum mechanical and force field approaches and predictions of the effect of mutations on binding. Physical Chemistry Chemical Physics, 12(26), 7117-7125. DOI: 10.1039/c001384f. Publication link: ebaf7329-d395-4248-82db-7c339ff290d2
  54. Ni, Z. H., Ponomarenko, L. A., Nair, R. R., Yang, R., Anissimova, S., Grigorieva, I. V., ... Geim, A. K. (2010). On resonant scatterers as a factor limiting carrier mobility in graphene. Nano Letters, 10(10), 3868-3872. DOI: 10.1021/nl101399r. Publication link: f9a03b8c-28fe-414e-acb0-0d3944f3642f
  55. Ashworth, I. W., Carboni, D., Hillier, I. H., Nelson, D. J., Percy, J. M., Rinaudo, G., & Vincent, M. A. (2010). On the relationship between structure and reaction rate in olefin ring-closing metathesis. Chemical Communications, 46(38), 7145-7147. DOI: 10.1039/c0cc02440f. Publication link: bbf2530b-850d-42b5-9b94-51efd177cc5f
  56. Kemper, B., Matsuzaki, T., Matsuoka, Y., Tsuruoka, Y., Kitano, H., Ananiadou, S., & Tsujii, J. (2010). PathText: A text mining integrator for biological pathway visualizations. Bioinformatics, 26(12), 374-381. [btq221]. DOI: 10.1093/bioinformatics/btq221. Publication link: 0ef7f56e-d0ad-49e3-8e03-250e5ca01813
  57. Mischak, H., Allmaier, G., Apweiler, R., Attwood, T., Baumann, M., Benigni, A., ... Vlahou, A. (2010). Recommendations for biomarker identification and qualification in clinical proteomics. Science Translational Medicine, 2(46), [46ps42]. DOI: 10.1126/scitranslmed.3001249. Publication link: 7700dc2c-53f6-44a2-a413-cea91c4743a4
  58. Navaridas, J., Miguel-Alonso, J., Ridruejo, F. J., & Denzel, W. (2010). Reducing complexity in tree-like computer interconnection networks. Parallel Computing, 36(2-3), 71-85. DOI: 10.1016/j.parco.2009.12.004. Publication link: d0d6a699-3585-454a-afa6-eaa78bd5188a
  59. Barringer, H., Rydeheard, D., & Havelund, K. (2010). Rule systems for run-time monitoring: From eagle to ruler. Journal of Logic and Computation, 20(3), 675-706. DOI: 10.1093/logcom/exn076. Publication link: 5f451ee8-636e-4c2f-aec7-b8100bd855fe
  60. Dada, J. O., Spasić, I., Paton, N. W., & Mendes, P. (2010). SBRML: A markup language for associating systems biology data with models. Bioinformatics, 26(7), 932-938. [btq069]. DOI: 10.1093/bioinformatics/btq069. Publication link: af0304da-c367-4f5c-8859-3e7f00c7a7fb
  61. Schmidt, R. A. (2010). Simulation and synthesis of deduction calculi. Electronic Notes in Theoretical Computer Science, 262, 221-229. DOI: 10.1016/j.entcs.2010.04.016. Publication link: 1deb50f7-e999-4aae-9625-e0a6e9f676b2
  62. Lister, S. J., Thomson, T., Kohlbrecher, J., Takano, K., Venkataramana, V., Ray, S. J., ... Lee, S. L. (2010). Size-dependent reversal of grains in perpendicular magnetic recording media measured by small-angle polarized neutron scattering. Applied Physics Letters, 97(11), [112503]. DOI: 10.1063/1.3486680. Publication link: 7f117144-b7fe-45e5-8b40-14822fd10592
  63. Yesilada, Y., Harper, S., Chen, T., & Trewin, S. (2010). Small-device users situationally impaired by input. Computers in Human Behavior, 26(3), 427-435. DOI: 10.1016/j.chb.2009.12.001. Publication link: dff4af74-2647-4acb-a358-d0a3a2eedaee
  64. Kontchakov, R., Pratt-Hartmann, I., Wolter, F., & Zakharyaschev, M. (2010). Spatial logics with connectedness predicates. Logical Methods in Computer Science, 6(3), 1-43. DOI: 10.2168/LMCS-6(3:5)2010. Publication link: 6a6d2ac4-b43b-400d-8bdd-1e2222096651
  65. Alexandrou, M., Nutter, P. W., Delalande, M., de Vries, J., Hill, E. W., Schedin, F., ... Thomson, T. (2010). Spatial sensitivity mapping of Hall crosses using patterned magnetic nanostructures. Journal of Applied Physics, 108(4), [043920]. DOI: 10.1063/1.3475485. Publication link: 75d2abb2-af06-4a45-8e5a-3542afcc5a5f
  66. Banach, R., & Jeske, C. (2010). Stronger compositions for retrenchments. Journal of Logic and Algebraic Programming, 79(3-5), 215-232. DOI: 10.1016/j.jlap.2009.10.002. Publication link: a1ffb9c6-449b-4f5c-aa38-06ad65615ff7
  67. Thew, S., Sutcliffe, A., De Bruijn, O., McNaught, J., Procter, R., Jarvis, P., & Buchan, I. (2010). Supporting creativity and appreciation of uncertainty in exploring geo-coded public health data. Methods of Information in Medicine, 50(2), 158-165. DOI: 10.3414/ME09-01-0070. Publication link: d04859ac-547e-414e-bb69-7c25db758d5d
  68. Ananiadou, S., Thompson, P., Thomas, J., Mu, T., Oliver, S., Rickinson, M., ... McNaught, J. (2010). Supporting the education evidence portal via text mining. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 368(1925), 3829-3844. DOI: 10.1098/rsta.2010.0152. Publication link: 833b310c-a637-4957-a28d-a5bfbbfcae1a
  69. Berks, M., Taylor, C., Rahim, R., Da Silva, D. B., Boggis, C., & Astley, S. (2010). Synthesising malignant breast masses in normal mammograms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6136, 505-512. DOI: 10.1007/978-3-642-13666-5_68. Publication link: 47b9969b-9f1e-402d-b8b2-2e251952bb42
  70. Brackenbury, L. E. M., Plana, L. A., & Pepper, J. (2010). System-on-chip design and implementation. IEEE Transactions on Education, 53(2), 272-281. [5196691]. DOI: 10.1109/TE.2009.2014858. Publication link: 62150a6c-faeb-47c6-b030-5c9575aec910
  71. Missier, P., Soiland-Reyes, S., Owen, S., Tan, W., Nenadic, A., Dunlop, I., ... Goble, C. (2010). Taverna, reloaded. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6187, 471-481. DOI: 10.1007/978-3-642-13818-8_33. Publication link: 440517ff-a203-495c-88a5-4691ff9c6540
  72. Pettifer, S., Ison, J., Kalaš, M., Thorne, D., McDermott, P., Jonassen, I., ... Vriend, G. (2010). The EMBRACE web service collection. Nucleic acids research., 38(2), W683-W688. [gkq297]. DOI: 10.1093/nar/gkq297. Publication link: c0a44378-b0ab-4687-86b2-b11e440c139a
  73. Liu, Y., Martin, K., Sparkes, A., & King, R. D. (2010). The analysis of yeast cell morphology using a robot scientist. Proceedings - 2010 International Conference on Computational Intelligence and Security, CIS 2010, 10-14. [5696221]. DOI: 10.1109/CIS.2010.10. Publication link: ccbeb854-a327-40ae-98d7-d6b0a4152724
  74. Mcallister, K., Hemingway, H., Henriksson, M., Chen, R., Damant, J., Fitzpatrick, N., ... Sculpher, M. (2010). The effectiveness and costeffectiveness of biomarkers for the prioritisation of patients awaiting coronary revascularisation: A systematic review and decision model. Health Technology Assessment, 14(9), 1-178. DOI: 10.3310/hta14090. Publication link: 421083b5-5b59-41fa-b2c5-ed60ca2c9ba2 | PubMed:20184812
  75. Raju, R. K., Hillier, I. H., Burton, N. A., Vincent, M. A., Doudou, S., & Bryce, R. A. (2010). The effects of perfluorination on carbohydrate-pi interactions: computational studies of the interaction of benzene and hexafluorobenzene with fucose and cyclodextrin. Physical Chemistry Chemical Physics, 12(28), 7959-7967. DOI: Doi 10.1039/C002058c. Publication link: d7856347-db40-4bcb-8cf8-2c97def978dc
  76. Raju, R. K., Hillier, I. H., Burton, N. A., Vincent, M. A., Doudou, S., & Bryce, R. A. (2010). The effects of perfluorination on carbohydrate-π interactions: Computational studies of the interaction of benzene and hexafluorobenzene with fucose and cyclodextrin. Physical Chemistry Chemical Physics, 12(28), 7959-7967. DOI: 10.1039/c002058c. Publication link: 08a3a956-d21b-4336-bdb1-457331d6d08a
  77. Gibson, F., Hoogland, C., Martinez-Bartolomé, S., Medina-Aunon, J. A., Albar, J. P., Babnigg, G., ... Jones, A. R. (2010). The gel electrophoresis markup language (GelML) from the proteomics standards initiative. Proteomics, 10(17), 3073-3081. DOI: 10.1002/pmic.201000120. Publication link: 8b8753c4-0f25-4779-ba36-3646dde0e1ef
  78. Clayden, J., Hennecke, U., Vincent, M. A., Hillier, I. H., & Helliwell, M. (2010). The origin of the conformational preference of N,N′-diaryl-N, N′-dimethyl ureas. Physical Chemistry Chemical Physics, 12(45), 15056-15064. DOI: 10.1039/c0cp00571a. Publication link: 7fc49e25-ce4f-43a5-8f7e-190e0269bafd
  79. Sasaki, Y., McNaught, J., & Ananiadou, S. (2010). The value of an in-domain lexicon in genomics QA. Journal of Bioinformatics and Computational Biology, 8(1), 147-161. DOI: 10.1142/S0219720010004513. Publication link: 1f2e81a0-b85c-454f-af67-5cc5d62e0a3f
  80. Smallbone, K., Simeonidis, E., Swainston, N., & Mendes, P. (2010). Towards a genome-scale kinetic model of cellular metabolism. BMC systems biology, 4, [6]. DOI: 10.1186/1752-0509-4-6. Publication link: 43c340dd-efbe-43fe-ad00-20d4b1afa044 | PubMed:20109182
  81. Kola, J. . S., Harris, J., Lawrie, S., Rector, A., Goble, C., & Martone, M. (2010). Towards an ontology for psychosis. Cognitive Systems Research, 11(1), 42-52. DOI: 10.1016/j.cogsys.2008.08.005. Publication link: 3560e41e-e59b-4511-9e1e-f99f273ccdac
  82. De Roure, D., Goble, C., Aleksejevs, S., Bechhofer, S., Bhagat, J., Cruickshank, D., ... Poschen, M. (2010). Towards open science: The myExperiment approach. Concurrency and Computation: Practice & Experience, 22(17), 2335-2353. DOI: 10.1002/cpe.1601. Publication link: cb6a5424-4df3-4d8d-8ba3-ff6d83ff9018
  83. Ahmed, A., & Zhang, N. (2010). Towards the realisation of context-risk-aware access control in pervasive computing. Telecommunication Systems, 45(2-3), 127-137. DOI: 10.1007/s11235-009-9240-3. Publication link: 1d68a32c-f09d-45bc-8b50-e0e5639d355f
  84. Camara, J. M., Moretó, M., Vallejo, E., Beivide, R., Miguel-Alonso, J., Martínez, C., & Navaridas, J. (2010). Twisted Torus topologies for enhanced interconnection networks. IEEE Transactions on Parallel and Distributed Systems, 21(12), 1765-1778. [5406510]. DOI: 10.1109/TPDS.2010.30. Publication link: 773ad832-f375-4137-91c5-95ceac8d56a6
  85. Modolo, J., Bhattacharya, B., Edwards, R., Campagnaud, J., Legros, A., & Beuter, A. (2010). Using a virtual cortical module implementing a neural field model to modulate brain rhythms in Parkinson's disease. Frontiers in neuroscience, 4. DOI: 10.3389/fnins.2010.00045. Publication link: e8cbed16-6adc-4e6f-a1e6-7fbbee401a0c | PubMed:20730081
  86. Brown, A., Jay, C., & Harper, S. (2010). Using qualitative eye-tracking data to inform audio presentation of dynamic Web content. New Review of Hypermedia and Multimedia, 16(3), 281-301. DOI: 10.1080/13614568.2010.542253. Publication link: cc238e70-874d-4aed-a48b-41f26f706deb
  87. Attwood, T. K., Kell, D. B., McDermott, P., Marsh, J., Pettifer, S. R., & Thorne, D. (2010). Utopia documents: Linking scholarly literature with research data. Bioinformatics, 26(18), 568-574. [btq383]. DOI: 10.1093/bioinformatics/btq383. Publication link: d77a1fd3-f69e-4eca-ac0b-c4cd53bf02d7
  88. Hekkelman, M. L., te Beek, T. A. H., Pettifer, S. R., Thorne, D., Attwood, T. K., & Vriend, G. (2010). WIWS: A protein structure bioinformatics web service collection. Nucleic acids research., 38(2), W719-W723. [gkq453]. DOI: 10.1093/nar/gkq453. Publication link: 70ab8fe0-b212-400d-b46c-434569f0388a
  89. Chen, T., Yesilada, Y., & Harper, S. (2010). What input errors do you experience? Typing and pointing errors of mobile Web users. International Journal of Human Computer Studies, 68(3), 138-157. DOI: 10.1016/j.ijhcs.2009.10.003. Publication link: 69b58984-b0a8-436f-9e8b-348f0a5d8334
  90. Bechhofer, S., Ainsworth, J., Bhagat, J., Buchan, I., Couch, P., Cruickshank, D., ... Sufi, S. (2010). Why linked data is not enough for scientists. Proceedings - 2010 6th IEEE International Conference on e-Science, eScience 2010, 300-307. [5693931]. DOI: 10.1109/eScience.2010.21. Publication link: 35409f3d-71bf-42d8-aef7-864c21493346
  91. Swertz, M. A., Velde, K. J. V. D., Tesson, B. M., Scheltema, R. A., Arends, D., Vera, G., ... Jansen, R. C. (2010). XGAP: A uniform and extensible data model and software platform for genotype and phenotype experiments. Genome Biology, 11(3), [r27]. DOI: 10.1186/gb-2010-11-3-r27. Publication link: 121c3242-d712-41aa-b57f-59ff4a551e20 | PubMed:20214801
  92. Goble, C. A., Bhagat, J., Aleksejevs, S., Cruickshank, D., Michaelides, D., Newman, D., ... de Roure, D. (2010). myExperiment: A repository and social network for the sharing of bioinformatics workflows. Nucleic acids research., 38(2), W677-W682. [gkq429]. DOI: 10.1093/nar/gkq429. Publication link: e1176ada-6cab-4e65-9467-57d9b9ff3705
Conference contribution
  1. Lester, D., & Richards, D. (2010). A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. In Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215... Publication link: 942d18cd-6c66-450b-9756-318a9cae7716
  2. Rupp, C., Thompson, P., Black, W., McNaught, J., & Ananiadou, S. (2010). A Specialised Verb Lexicon as the Basis of Fact Extraction in the Biomedical Domain. In Proceedings of interdisciplinary workshop on verbs: the identification and representation of verb features (Verb 2010). (pp. 6pp). Pisa. . Publication link: 755c5d11-8793-4408-9886-3b204a358a85
  3. Zeng, X-J., Wang, D., & Keane, J. (2010). A Structure Evolving Learning Method for Mamdani Fuzzy Systems. In Proceedings of AISB'10. AISB Publications. . Publication link: 3cdf1971-63dd-4c6f-a2d1-f150264804a3
  4. Brown, A. D., Furber, S. B., Reeve, J. S., Wilson, P. R., Zwolinski, M., Chad, J. E., ... Lester, D. R. (2010). A communication infrastructure for a million processor machine. In CF 2010 - Proceedings of the 2010 Computing Frontiers Conference|CF - Proc. Comput. Front. Conf.. (pp. 75-76). New York, USA: ACM. DOI: 10.1145/1787275.1787290. Publication link: ae74dcc2-9f3d-4ba2-9609-805abf273e72
  5. Banach, R. (2010). A deidealisation semantics for KAOS. In Proceedings of the ACM Symposium on Applied Computing|Proc ACM Symp Appl Computing. (pp. 267-274). ACM. DOI: 10.1145/1774088.1774146. Publication link: 13b32da7-9301-4266-bca1-5db8f5823b77
  6. Galluppi, F., Rast, A., Davies, S., & Furber, S. (2010). A general-purpose model translation system for a universal neural chip. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6443, pp. 58-65). Berlin / Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-17537-4_8. Publication link: 7f46c491-98b0-4bd0-be70-deb78b3a2829
  7. Roos, M., Bechhofer, S., Zhao, J., Missier, P., Newman, D. R., De Roure, D., & Marshall, M. S. (2010). A linked data approach to sharing workflows and workflow results. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6415, pp. 340-354). (Lecture Notes in Computer Sciencec). Springer Verlag. DOI: 10.1007/978-3-642-16558-0_29. Publication link: c27819df-f965-4235-a5d3-5e0b03fe859f
  8. Elshakankiry, O., Carpenter, A., & Zhang, N. (2010). A novel scheme for supporting location authentication of mobile nodes. In Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering|Lect. Notes Inst. Comput. Sci. Soc. Informatics Telecommun. Eng.. (Vol. 47, pp. 91-102). DOI: 10.1007/978-3-642-17502-2_8. Publication link: a79ea7ef-9eb3-47ff-b474-9ecd023ab7ff
  9. Yesilada, Y., Chen, T., & Harper, S. (2010). A simple solution: Solution migration from disabled to small device context. In W4A 2010 - International Cross Disciplinary Conference on Web Accessibility Raleigh 2010|W4A - Int. Cross Discip. Conf. Web Accessibility Raleigh. ACM. DOI: 10.1145/1805986.1806023. Publication link: 473a6e18-d9c3-4c83-8dc6-48b6d372da96
  10. Liu, M. C., & Zhang, N. (2010). A solution to privacy-preserving two-party sign test on vertically partitioned data (P22NSTv) using data disguising techniques. In ICNIT 2010 - 2010 International Conference on Networking and Information Technology|ICNIT - Int. Conf. Networking Inf. Technol.. (pp. 526-534). IEEE CS Press. DOI: 10.1109/ICNIT.2010.5508458. Publication link: af9b45f7-748b-408e-9a65-57f5c6ae481d
  11. Manaf, N. A. A., Bechhofer, S., & Stevens, R. (2010). A survey of identifiers and labels in OWL ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 614). (CEUR Workshop Proceedings - OWLED 2010). CEUR-WS.org. . Publication link: 6765b0f6-b323-448e-b4d9-a4ee3b249427
  12. Ananiadou, S., & Wang, X. (2010). A task oriented extension of the Chinese MeSH Concepts Hierarchy. In host publication. (pp. 23-30). Publication link: 09c88411-10df-44cb-b33e-b7708b8856e0
  13. Lee, S. J., & Zeng, X. J. (2010). A three-part input-output clustering-based approach to fuzzy system identification. In Proceedings of the 2010 10th International Conference on Intelligent Systems Design and Applications, ISDA'10|Proc. Int. Conf. Intelligent Syst. Des. Appl., ISDA. (pp. 55-60). IEEE. DOI: 10.1109/ISDA.2010.5687290. Publication link: 2b12e87d-e669-4bad-b000-e82093aeb8ed
  14. Eurviriyanukul, K., Paton, N. W., Fernandes, A. A. A., & Lynden, S. J. (2010). Adaptive join processing in pipelined plans. In Advances in Database Technology - EDBT 2010 - 13th International Conference on Extending Database Technology, Proceedings|Adv. Database Technol. - EDBT - Int. Conf. Extending Database Technol., Proc.. (pp. 183-194). Proceedings of the 13th International Conference on Extending Database Technology (EDBT): ACM. DOI: 10.1145/1739041.1739066. Publication link: 1f7686f2-63a2-4088-9760-8a9abed61c67
  15. Jin, X., Galluppi, F., Patterson, C., Rast, A., Davies, S., Temple, S., & Furber, S. (2010). Algorithm and software for simulation of spiking neural networks on the multi-chip SpiNNaker system. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. USA: IEEE. DOI: 10.1109/IJCNN.2010.5596759. Publication link: 06cc8722-cff7-468f-8261-bdd295144c21
  16. Jin, X., Luján, M., Khan, M. M., Plana, L. A., Rast, A. D., Welbourne, S. R., & Furber, S. B. (2010). Algorithm for mapping multilayer BP networks onto the SpiNNaker neuromorphic hardware. In 9th International Symposium on Parallel and Distributed Computing, ISPDC 2010|Int. Symp. Parallel Distrib. Comput., ISPDC. (pp. 9-16). USA: IEEE. DOI: 10.1109/ISPDC.2010.10. Publication link: 67cd0940-73d1-4a40-9234-4310a4a49bb4
  17. Nenadic, G., Gerner, M., & Bergman, C. M. (2010). An Exploration of Mining Gene Expression Mentions and their Anatomical Locations from Biomedical Text. In Proceedings of the BioNLP 2010 Workshop.. Publication link: f7584a04-f9eb-4e83-bfb0-c110930e79c4
  18. Malone, J., Badarinarayan, N., Ison, J., Stevens, R., & Parkinson, H. (2010). An Ontology of Bioinformatics Software. In Proceedings of Bio-Ontologies SIG; Co-located with ISMB.. Publication link: 1f84ec09-76bb-4425-9f02-4ccaed629494
  19. Ahmed, A., & Zhang, N. (2010). An access control architecture for context-risk-aware access control: Architectural design and performance evaluation. In Proceedings - 4th International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2010|Proc. - Int. Conf. Emerg. Secur. Inf., Syst. Technol., SECURWARE. (pp. 251-260). IEEE CS Press. DOI: 10.1109/SECURWARE.2010.48. Publication link: c83eab9f-4d5c-4b5f-93e9-882c02dd8237
  20. Goble, C., Roure, D. D., & Buchan, I. (2010). Anchors in Shifting Sand: the Primacy of Method in the Web of Data. In host publication. http://journal.webscience.org/view/events/WebSci10=3A_Extending_the_Frontiers_of_Society_On-Line/paper.html: Web Science Trust. . Publication link: 7c2584b8-48ef-4a52-b4eb-bb0779c834be
  21. Brown, A., Jay, C., & Harper, S. (2010). Audio access to calendars. In W4A 2010 - International Cross Disciplinary Conference on Web Accessibility Raleigh 2010|W4A - Int. Cross Discip. Conf. Web Accessibility Raleigh. ACM. DOI: 10.1145/1805986.1806028. Publication link: d9f9712c-126a-4f34-9dd9-0052947675f7
  22. Afifi, D., Rydeheard, D., & Barringer, H. (2010). Automated Reasoning in the Simulation of Evolvable Systems. In host publication. (pp. 12-22). Publication link: 33eb6cf1-ca0f-4918-8e80-c2ca9678d860
  23. Rydeheard, D., Konev, B. (Ed.), Schmidt, R. (Ed.), & Schulz, S. (Ed.) (2010). Automated Reasoning in the Simulation of Evolvable Systems. In B. Konev, R. Schmidt, & S. Schulz (Eds.), Practical Aspects of Automated Reasoning, 2010. (pp. 12-22). http://www.easychair.org/publications/?page=120554545: EPic: Easychair Publishing. . Publication link: f324c6f3-5a22-49e1-9bae-0dde3eab1c84
  24. Williams, T. G., Vincent, G., Bowes, M., Cootes, T., Balamoody, S., Hutchinson, C., ... Taylor, C. J. (2010). Automatic segmentation of bones and inter-image anatomical correspondence by volumetric statistical modelling of knee MRI. In 2010 7th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, ISBI 2010 - Proceedings|IEEE Int. Symp. Biomed. Imaging: Nano Macro, ISBI - Proc.. (pp. 432-435). IEEE. DOI: 10.1109/ISBI.2010.5490316. Publication link: c6db5476-c7e7-4045-96f1-5be83008b378
  25. Singh, R., Bechhofer, S., Belhajjame, K., & Embury, S. M. (2010). Automatically identifying bounds on semantic annotations for bioinformatics web service input parameters. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6385, pp. 232-243). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-16985-4_21. Publication link: 12715dda-dc18-4aef-b596-c01a021cd4c7
  26. Stevens, R., Malone, J., Williams, S., Power, R., & Third, A. (2010). Automating Generation of Textual Class Definitions from OWL to English. In Proceedings of Bio-ontologies SIG; Co-located with ISMB, Boston, MA, USA.. Publication link: 5df3c0de-73d5-4d8e-92cd-0fe98b4c6e5b
  27. Kalaš, M., Puntervoll, P., Joseph, A., Bartaševičiute, E., Töpfer, A., Venkataraman, P., ... Jonassen, I. (2010). BioXSD: The common data-exchange format for everyday bioinformatics web services. In Bioinformatics|Bioinformatics. (Vol. 26, pp. 540-546). DOI: 10.1093/bioinformatics/btq391. Publication link: 84e925c6-4df4-416f-887f-d844cddb1be0
  28. Lord, P., Malone, J., Stevens, R., & Shotton, D. (2010). Blogging the Word about Ontologies. In Proceedings of Bio-Ontologies SIG; Co-located with ISMB.. Publication link: 80cd7b9a-ba10-48ae-abab-0be7585524cc
  29. Li, G., & Zeng, X. J. (2010). Bottom-up tree evaluation in tree-based genetic programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6145, pp. 513-522). Springer Verlag. DOI: 10.1007/978-3-642-13495-1_63. Publication link: 8816c1de-a820-4875-9fb6-de6da2355481
  30. Navarro-López, E. M., & Barajas-Ramírez, J. G. (2010). Bringing order to chaos: Hybrid modelling of a discontinuous chaotic system. In Proceedings of the 2010 11th International Workshop on Variable Structure Systems, VSS 2010|Proc. Int. Workshop Var. Struct. Syst., VSS. (pp. 325-330). IEEE. DOI: 10.1109/VSS.2010.5544705. Publication link: 43eff0fc-76d4-44ee-b958-3d5ad0ae0f54
  31. Taylor, C. T., Scicluna, P., Wilkinson, P., & Salmon, N. (2010). Calibration source and temperature standard for passive millimetre wave imagers. In Proceedings of SPIE - The International Society for Optical Engineering|Proc SPIE Int Soc Opt Eng. (Vol. 7837). Proc. SPIE 7837, 78370N (2010): SPIE. DOI: 10.1117/12.864847. Publication link: 12635aaf-07d6-4534-8d72-95399c2bb874
  32. Davies, N., Friday, A., Clinch, S., & Schmidt, A. (2010). Challenges in Developing an App Store for Public Displays - A Position Paper. In Research in the large: Using App Stores, Markets, and other wide distribution channels in UbiComp research. (Workshop at Ubicomp '10).. Publication link: 8cfc161c-3acd-4dd2-8cc9-7e8da5605f58
  33. Masseroli, M., Paton, N. W., & Spasić, I. (2010). Chapter 15: Search computing and the life sciences. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5950, pp. 291-306). Springer Verlag. DOI: 10.1007/978-3-642-12310-8_15. Publication link: d4978228-9bd3-4218-aa1c-a20808888015
  34. Hedeler, C., Belhajjame, K., Paton, N. W., Campi, A., Fernandes, A. A. A., & Embury, S. M. (2010). Chapter 7: Dataspaces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5950, pp. 114-134). DOI: 10.1007/978-3-642-12310-8_7. Publication link: 7c36f868-52fe-4534-a70e-ea75f7d657e8
  35. Chen, Z., Berks, M., Astley, S., & Taylor, C. (2010). Classification of linear structures in mammograms using random forests. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6136, pp. 153-160). Springer Verlag. DOI: 10.1007/978-3-642-13666-5_21. Publication link: 56c2ed25-2b72-4238-a44f-9b76e876b375
  36. Kotselidis, C., Luján, M., Ansari, M., Malakasis, K., Kahn, B., Kirkham, C., & Watson, I. (2010). Clustering JVMs with sof tware transactional memory support. In Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010|Proc. IEEE Int. Symp. Parallel Distrib. Process., IPDPS. USA: IEEE. DOI: 10.1109/IPDPS.2010.5470460. Publication link: bf7a58b8-8f24-4150-a00d-8ba6d8d74ac7
  37. Moeller, S., Krabbenhoeft, H., Tille, A., Paleino, D., Williams, A., Wolstencroft, K., ... Plessy, C. (2010). Community-driven computational biology with Debian and Taverna. In BOSC 2010.. Publication link: 5711fc40-374f-401d-a779-632b39cd4d68
  38. Taylor, C. J., Cootes, T. F., Smith, J. (Ed.), & Jones, D. (Ed.) (2010). Conference paper title as conference paper. In J. Smith, & D. Jones (Eds.), host publication. (Vol. 4567, pp. 100-120). Springer Verlag. . Publication link: 217f035a-54f6-4871-a2ed-c6298586e59d
  39. Taylor, C. J., Cootes, T. F., Smith, J. (Ed.), & Jones, D. (Ed.) (2010). Conference paper title as conference proceedings. In Lecture Notes in Computer Science. (Vol. 4567). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 0fcc5b0a-b611-4420-94c4-052fcb3838e9
  40. Li, G., & Zeng, X. J. (2010). Controlling bloating using depth constraint crossover. In 2010 UK Workshop on Computational Intelligence, UKCI 2010|UK Workshop Comput. Intell., UKCI. IEEE. DOI: 10.1109/UKCI.2010.5625572. Publication link: fb8a703f-7ab9-4a52-8960-53c4f7f41294
  41. Bittencourt, L. F., Sakellariou, R., & Madeira, E. R. M. (2010). DAG scheduling using a lookahead variant of the heterogeneous earliest finish time algorithm. In Proceedings of the 18th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2010|Proc. Euromicro Conf. Parallel, Distrib. Netw.-Based Process., PDP. (pp. 27-34). IEEE Computer Society. DOI: 10.1109/PDP.2010.56. Publication link: 84728f3c-78ce-41a6-972e-b9a9cba9034d
  42. Hedeler, C., Belhajjame, K., Paton, N. W., Campi, A., Fernandes, A. A. A., & Embury, S. M. (2010). Dataspaces. In host publication. Springer Verlag. . Publication link: c837ef76-088a-4df0-82c3-f83590efc30c
  43. Montanari, A., Pratt-Hartmann, I., & Sala, P. (2010). Decidability of the logics of the reflexive sub-interval and super-interval relations over finite linear orders. In Proceedings - 17th International Symposium on Temporal Representation and Reasoning, TIME 2010|Proc. - Int. Symp. Temporal Represent. Reasoning, TIME. (pp. 27-34). IEEE Press. DOI: 10.1109/TIME.2010.18. Publication link: 16de569a-49b0-4201-a90f-5ddb03707712
  44. Tarazona, L. A., Edwards, D. A., Bardsley, A., & Plana, L. A. (2010). Description-level optimisation of synthesisable asynchronous circuits. In Proceedings - 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2010|Proc. - Euromicro Conf. Digit. Syst. Des.: Archit., Methods Tools, DSD. (pp. 441-448). USA: IEEE. DOI: 10.1109/DSD.2010.71. Publication link: b0ce7e91-f68d-4180-b4bd-a111f9f4a7da
  45. Sadeghzadeh, R., Berks, M., Astley, S. M., & Taylor, C. J. (2010). Detection of Retinal Blood Vessels Using Complex Wavelet Transforms and Random Forest Classification. In A. H. Bhalerao, & N. M. Rajpoot (Eds.), host publication. (pp. 127-132). BMVA Press. . Publication link: 0723dee9-e4ff-4859-9164-9cde4ddff3b4
  46. Jupp, S., Klein, J., Schanstra, J., & Stevens, R. (2010). Developing a Kidney and Urinary Pathway Knowledge Base. In Proceedings of Bio-ontologies SIG; Co-located with ISMB.. Publication link: 7abe8668-fa25-4471-baf3-4e2a3e37d6ff
  47. Nenadic, G., Stivaros, S., Zeng, X., Laitt, R., Hughes, D., Williams, T., ... Jackson, A. (2010). Development of a Computerized Decision Support System for Treatment Planning and Outcome Prediction in Aneurysmal Subarachnoid Haemorrhage. In Proceedings of American Society of NeuroRadiologists 48th Annual Meeting.. Publication link: 421fb3d6-cbdf-440e-9572-f747fea57a22
  48. Anwar, F., Petrounias, I., Morris, T., & Kodogiannis, V. (2010). Discovery of Events with Negative Behaviour Against Given Sequential Patterns. In host publication. IEEE Computer Society. . Publication link: 2cd01b93-03d0-4318-9fe6-9dfcaea0d4cd
  49. Anwar, F., Petrounias, I., Morris, T., & Kodogiannis, V. (2010). Discovery of events with negative behavior against given sequential patterns. In 2010 IEEE International Conference on Intelligent Systems, IS 2010 - Proceedings|IEEE Int. Conf. Intelligent Syst., IS - Proc.. (pp. 373-378). DOI: 10.1109/IS.2010.5548370. Publication link: 8a8b33db-ae42-42a7-ae72-030cad9a65f7
  50. Jabeen, F., & Fernandes, A. A. A. (2010). Distributed spatial analysis in wireless sensor networks. In Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS|Proc Int Conf Parallel Distrib Syst ICPADS. (pp. 558-567). DOI: 10.1109/ICPADS.2010.58. Publication link: 53e7ff33-7814-4123-b6e9-1022f074effe
  51. Pirŕo, G., Trunfio, P., Talia, D., Missier, P., & Goble, C. (2010). ERGOT: A semantic-based system for service discovery in distributed infrastructures. In CCGrid 2010 - 10th IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing|CCGrid - IEEE/ACM Int. Conf. Cluster, Cloud, Grid Comput.. (pp. 263-272). IEEE Computer Society. DOI: 10.1109/CCGRID.2010.24. Publication link: d87e5d8a-5272-4372-b19a-399ba1708d96
  52. Afifi, D., Rydeheard, D. E., & Barringer, H. (2010). ESAT: A tool for animating logic-based specifications of evolvable component systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6418, pp. 469-474). Springer Verlag. DOI: 10.1007/978-3-642-16612-9_36. Publication link: 4f0fd124-6868-45b5-821c-32a010856e63
  53. Nenadic, G., Stivaros, S., Zeng, X., Gledson, A., Hutchinson, C., Keane, J., & Jackson, A. (2010). Early Phase Validation of a Decision Support System within the Exemplar of Aneurysmal Subarachnoid Haemorrhage. In Proceedings of British Society of NeuroRadiologists Annual Conference (BSNR 2010).. Publication link: e1173257-6623-4ead-8d97-d3a19338c649
  54. Jin, X., Luján, M., Plana, L. A., Rast, A. D., Welbourne, S. R., & Furber, S. B. (2010). Efficient parallel implementation of multilayer backpropagation networks on SpiNNaker. In CF 2010 - Proceedings of the 2010 Computing Frontiers Conference|CF - Proc. Comput. Front. Conf.. (pp. 89-90). New York, USA: ACM. DOI: 10.1145/1787275.1787297. Publication link: a19c70b7-b340-4670-9764-17335061b4dc
  55. Emmer, M., Khasidashvili, Z., Korovin, K., & Voronkov, A. (2010). Encoding industrial hardware verification problems into effectively propositional logic. In Formal Methods in Computer Aided Design, FMCAD 2010|Form. Methods Comput. Aided Des., FMCAD. (pp. 137-144). IEEE. . Publication link: 623a46cf-371f-4cae-8e06-56a059016516
  56. Fernandez-Breis, J. T., Iannone, L., Palmisano, I., Rector, A. L., & Stevens, R. (2010). Enriching the gene ontology via the dissection of labels using the ontology pre-processor language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6317, pp. 59-73). (Lecture Notes in Computer Science LNCS). Springer Verlag. DOI: 10.1007/978-3-642-16438-5_5. Publication link: 908324c9-99d8-47d9-aa22-e974515dfd00
  57. Anwar, F., Petrounias, I., Morris, T., & Kodogiannis, V. (2010). Entity appearance model generation for multimedia events in surveillance videos. In 2010 IEEE International Conference on Intelligent Systems, IS 2010 - Proceedings|IEEE Int. Conf. Intelligent Syst., IS - Proc.. (pp. 379-383). DOI: 10.1109/IS.2010.5548368. Publication link: b7946ec2-fb98-45b7-a516-ab688598ce2c
  58. Miranda, C., Pop, A., Dumont, P., Cohen, A., & Duranton, M. (2010). Erbium: A deterministic, concurrent intermediate representation to map data-flow tasks to scalable, persistent streaming processes. In Embedded Systems Week 2010 - Proceedings of the 2010 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES'10|Embedded Syst. Week - Proc. Int. Conf. Compilers, Archit. Synth. Embedded Syst., CASES. (pp. 11-20). New York, USA: Association for Computing Machinery. DOI: 10.1145/1878921.1878924. Publication link: 21a856db-64b9-4489-8500-475c69380743
  59. Ananiadou, S., Nawaz, R., & Thompson, P. (2010). Evaluating a meta-knowledge annotation scheme for bio-events. In host publication. (pp. 69-77). Publication link: bd03317a-6fbb-4124-bde0-0b9ed06c71e3
  60. Ananiadou, S., McNaught, J., Thomas, J., & Oliver, S. (2010). Evaluating a text mining based educational search portal. In Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC2010). (pp. 3344-3350). Paris: European Language Resources Association. . Publication link: c0a62f05-5dad-4fa9-a351-28fa4649a63a
  61. Opitz, J., Parsia, B., & Sattler, U. (2010). Evaluating modelling approaches for medical image annotations. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 698). Publication link: 3aad5d65-878f-4168-8d9a-98846c81241e
  62. Urban, J., Hoder, K., & Voronkov, A. (2010). Evaluation of automated theorem proving on the Mizar mathematical library. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6327, pp. 155-166). DOI: 10.1007/978-3-642-15582-6_30. Publication link: f361c9e1-cc70-4a3b-b485-f7ef52c1664d
  63. Ananiadou, S., Nawaz, R., & Thompson, P. (2010). Event Interpretation: A Step towards Event-Centred Text Minin. In host publication. (pp. 103-107). Publication link: 4d7a9f0f-90fa-4a2a-ad68-9e3414d57354
  64. Saeedi, K., Zhao, L., & Falcone Sampaio, P. R. (2010). Extending BPMN for supporting customer-facing service quality requirements. In ICWS 2010 - 2010 IEEE 8th International Conference on Web Services|ICWS - IEEE Int. Conf. Web Serv.. (pp. 616-623). U.S.A: IEEE Computer Society. DOI: 10.1109/ICWS.2010.116. Publication link: 61441598-180d-48eb-b138-81f64fe37cfc
  65. Eleyan, A., & Zhao, L. (2010). Extending WSDL and UUDI with Quality Service Selection Criteria. In Proceedings of the 3rd International Symposium on Web Services.. Publication link: d8c3fcac-c765-4c7d-86bd-bf4bdadb019d
  66. Goodacre, J. (2010). Extending the ARM Architecture. In host publication. MPSoc. . Publication link: 9a7ae0c8-1c9d-455e-b3e5-6e341e6d310b
  67. Belhajjame, K., Paton, N. W., Embury, S. M., Fernandes, A. A. A., & Hedeler, C. (2010). Feedback-based annotation, selection and refinement of schema mappings for dataspaces. In Advances in Database Technology - EDBT 2010 - 13th International Conference on Extending Database Technology, Proceedings|Adv. Database Technol. - EDBT - Int. Conf. Extending Database Technol., Proc.. (pp. 573-584). Association for Computing Machinery, Inc. DOI: 10.1145/1739041.1739110. Publication link: d13c4bd8-e36d-43d0-a79f-d4d9e9207b43
  68. Missier, P., Paton, N. W., & Belhajjame, K. (2010). Fine-grained and efficient lineage querying of collection-based workflow provenance. In Advances in Database Technology - EDBT 2010 - 13th International Conference on Extending Database Technology, Proceedings|Adv. Database Technol. - EDBT - Int. Conf. Extending Database Technol., Proc.. (pp. 299-310). (ACM International Conference Proceeding Series). Assocation for Computing Machinery. DOI: 10.1145/1739041.1739079. Publication link: 10b80c24-6aa7-41f6-bc36-9ba3a50d07da
  69. Salmon, N. A., Mason, I., Wilkinson, P., Taylor, C., & Scicluna, P. (2010). First imagery generated by near-field real-time aperture synthesis passive millimetre wave imagers at 94 GHz and 183 GHz. In Proceedings of SPIE - The International Society for Optical Engineering|Proc SPIE Int Soc Opt Eng. (Vol. 7837). Proc. SPIE 7837, 78370I (2010): SPIE. DOI: 10.1117/12.860396. Publication link: a136d202-20f7-4496-bed5-88940e95b19c
  70. Hedeler, C., Belhajjame, K., Mao, L., Paton, N. W., Fernandes, A. A. A., Guo, C., & Embury, S. M. (2010). Flexible dataspace management through model management. In ACM International Conference Proceeding Series|ACM Int. Conf. Proc. Ser.. ACM. DOI: 10.1145/1754239.1754241, http://doi.acm.org/10.1145/1754239.1754241. Publication link: a6eb8d3d-34d5-4357-a23a-ed61e90cabb8
  71. Missier, P., Wolstencroft, K., Tanoh, F., Li, P., Bechhofer, S., Belhajjame, K., ... Goble, C. (2010). Functional units: Abstractions for Web service annotations. In Proceedings - 2010 6th World Congress on Services, Services-1 2010|Proc. - World Congr. Serv., Serv.. (pp. 306-313). IEEE Computer Society. DOI: 10.1109/SERVICES.2010.21. Publication link: 278fb195-f2f0-4757-9959-67e147dac889
  72. Nenadic, G., Solt, I., Gerner, M., Thomas, P., Bergman, C. M., Leser, U., & Hakenberg, J. (2010). Gene mention normalization in full texts using GNAT and LINNAEUS. In Proceedings of the BioCreative III Workshop.. Publication link: 98e228b8-27fc-4278-94c6-71a3286dfd41
  73. Black, W., Rupp, C., Nobata, C., McNaught, J., Tsujii, J., & Ananiadou, S. (2010). High-Precision Semantic Search by Generating and Testing Questions. In Proceedings of the UK e-Science All Hands Meeting. (pp. 3pp). Publication link: 4c8ee5f9-503e-47d3-b46b-5581d885e2f3
  74. Field, L., & Sakellariou, R. (2010). How dynamic is the Grid? Towards a quality metric for Grid information systems. In Proceedings - IEEE/ACM International Workshop on Grid Computing|Proc. IEEE ACM Int. Workshop Grid Comput.. (pp. 113-120). IEEE Computer Society. DOI: 10.1109/GRID.2010.5697957. Publication link: 6408665c-d66f-4e33-ad56-fb3780cff58c
  75. Mu, T., Wang, X., Tsujii, J., & Ananiadou, S. (2010). Imbalanced classification using dictionary-based prototypes and hierarchical decision rules for entity sense disambiguation. In Coling 2010 - 23rd International Conference on Computational Linguistics, Proceedings of the Conference|Coling - Int. Conf. Comput. Linguist., Proc. Conf.. (Vol. 2, pp. 851-859). ACL. . Publication link: 4161c716-aedf-4ba3-b4b0-f7a3dcf68f9f
  76. Jin, X., Rast, A., Galluppi, F., Davies, S., & Furber, S. (2010). Implementing spike-timing-dependent plasticity on SpiNNaker neuromorphic hardware. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. USA: IEEE. DOI: 10.1109/IJCNN.2010.5596372. Publication link: 52d1d8e6-a2c6-40e5-bb7b-e40ae3a48720
  77. Caunce, A., Taylor, C., & Cootes, T. (2010). Improved 3D model search for facial feature location and pose estimation in 2D images. In British Machine Vision Conference, BMVC 2010 - Proceedings|Br. Mach. Vis. Conf., BMVC - Proc.. British Machine Vision Association, BMVA. DOI: 10.5244/C.24.81. Publication link: dc804d65-0455-497a-9794-92e10081c5fa
  78. Ansari, M., Khan, B., Luján, M., Kotselidis, C., Kirkham, C., & Watson, I. (2010). Improving performance by reducing aborts in hardware transactional memory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5952, pp. 35-49). Berlin / Heidelberg: Springer Berlin. DOI: 10.1007/978-3-642-11515-8_5. Publication link: 8a74a057-9ba0-4fd9-b7ad-8607d98dc84d
  79. Swainston, N., Jameson, D., Li, P., Spasic, I., Mendes, P., & Paton, N. W. (2010). Integrative information management for systems biology. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6254, pp. 164-178). DOI: 10.1007/978-3-642-15120-0_13. Publication link: f80d5ed2-bf1b-4e92-a239-9e09b2df40af
  80. Davies, S., Patterson, C., Galluppi, F., Rast, A., Lester, D., & Furber, S. (2010). Interfacing Real-Time Spiking I/O with the SpiNNaker neuromimetic architecture. In Proceedings 17th International Conference, ICONIP 2010.. (pp. 7-11). Australia: Australian Journal of Intelligent Information Processing Systems, Vol.11, No. 1,. . Publication link: 19bf4e41-329a-4e73-baf6-75c47683492c
  81. Hoder, K., Kovács, L., & Voronkov, A. (2010). Interpolation and symbol elimination in vampire. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6173, pp. 188-195). DOI: 10.1007/978-3-642-14203-1_16. Publication link: 080271cd-88d4-43c7-874c-864af3fccd30
  82. Kontchakov, R., Pratt-Hartmann, I., & Zakharyaschev, M. (2010). Interpreting topological logics over Euclidean spaces. In Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010|Princ. Knowl. Represent. Reasoning: Proc. Int. Conf., KR. (pp. 534-544). Menlo Park, California: AAAI Press. . Publication link: 92f4e34e-27ef-4627-b36c-a373d0211630
  83. Henzinger, T. A., Hottelier, T., Kovács, L., & Voronkov, A. (2010). Invariant and type inference for matrices. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5944, pp. 163-179). DOI: 10.1007/978-3-642-11319-2_14. Publication link: 6b3e962f-296a-495a-830d-140fc29c3fae
  84. Missier, P., Sahoo, S. S., Zhao, J., Goble, C., & Sheth, A. (2010). Janus: From workflows to semantic provenance and linked open data. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6378, pp. 129-141). Lecture Notes in Computer Science 6378: Springer Verlag. DOI: 10.1007/978-3-642-17819-1_16. Publication link: 2c21b7e3-75e3-4892-af0d-cf3c114fd1d3
  85. Horridge, M., Parsia, B., & Sattler, U. (2010). Justification oriented proofs in OWL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6496, pp. 354-369). (LNCS). DOI: 10.1007/978-3-642-17746-0_23. Publication link: 3da2bde7-a50e-4bc0-90ef-fcfa89a2ae02
  86. Korovin, K., & Sticksel, C. (2010). Labelled unit superposition calculi for instantiation-based reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6397, pp. 459-473). Springer Verlag. DOI: 10.1007/978-3-642-16242-8-33. Publication link: 6155c813-fca8-46e0-8025-91362669d611
  87. Missier, P., Ludäscher, B., Bowers, S., Dey, S., Sarkar, A., Shrestha, B., ... Goble, C. (2010). Linking multiple workflow provenance traces for interoperable collaborative science. In 2010 5th Workshop on Workflows in Support of Large-Scale Science, WORKS 2010|Workshop Workflows Support Large-Scale Sci., WORKS. DOI: 10.1109/WORKS.2010.5671861. Publication link: d9cb0e12-146b-4f58-8663-475d513192c6
  88. Moreto, M., Cazorla, F. J., Sakellariou, R., & Valero, M. (2010). Load balancing using dynamic cache allocation. In CF 2010 - Proceedings of the 2010 Computing Frontiers Conference|CF - Proc. Comput. Front. Conf.. (pp. 153-163). ACM Press. DOI: 10.1145/1787275.1787320. Publication link: 281b7f45-d265-4d48-91b8-cc4118dd7d56
  89. Clarke, E. M., & Voronkov, A. (Eds.) (2010). Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers. In Lecture Notes in Computer Science. (Vol. 6355). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: a93814a3-2a79-44b4-9551-bebec4e4e1dd
  90. Fermüller, C. G., & Voronkov, A. (Eds.) (2010). Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings. In Lecture Notes in Computer Science. (Vol. 6397). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 8a793987-2dc4-426b-adb5-382f3b324ca3
  91. Abdullah, S. N., & Zeng, X. (2010). Machine learning approach for crude oil price prediction with Artificial Neural Networks-Quantitative (ANN-Q) model. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. IEEE. DOI: 10.1109/IJCNN.2010.5596602. Publication link: 486f535c-5245-4999-871d-228e64e905c8
  92. Nawaz, R., Thompson, P., McNaught, J., & Ananiadou, S. (2010). Meta-knowledge annotation of bio-events. In Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC2010). (pp. 2498-2505). Paris: European Language Resources Association. . Publication link: 111f9cdb-d727-4a00-a733-2b08198f8594
  93. Barringer, H., & Gabbay, D. M. (2010). Modal and temporal argumentation networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6200, pp. 1-25). Springer Verlag. DOI: 10.1007/978-3-642-13754-9_1. Publication link: ca806af5-bdc4-4393-a1dd-9b484ed97bb1
  94. Berks, M., Taylor, C., Rahim, R., Boggis, C., & Astley, S. (2010). Modelling structural deformations in mammographic tissue using the dual-tree complex wavelet. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6136, pp. 145-152). Springer Verlag. DOI: 10.1007/978-3-642-13666-5_20. Publication link: 78a1bee1-23f5-4550-aa14-1ccd5bcc90ef
  95. Wang, X., Rak, R., Restificar, A., Nobata, C., Rupp, C. J., Batista-Navarro, R. T., ... Ananiadou, S. (2010). NaCTeM Systems for BioCreative III PPI Tasks. In Proceedings of the BioCreative III Workshop. (pp. 142-147). Publication link: ee085f53-f48a-49e0-a6e8-73e48197d597
  96. Michael, M., Turner, M., Markham, K., & Morris, T. (2010). Object Recognition from Infra Red image data for Mobile Platforms: Scale Invariant Feature Transform - A Graphical Parameter Analysis. In host publication. (pp. 1-29--1-40). http://www.mcmitp.com/: MCM-ITP. . Publication link: 45fc122d-c9e3-46d3-a53e-6acfd34cd23d
  97. Nenov, Y., & Pratt-Hartmann, I. (2010). On the computability of region-based euclidean logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6247, pp. 439-453). Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-15205-4_34. Publication link: 18dab13c-6278-4512-a3ac-d162660b3151
  98. Bobba, S., Chakraborty, A., Thomas, O., Batude, P., Pavlidis, V. F., & De Micheli, G. (2010). Performance analysis of 3-D monolithic integrated circuits. In IEEE 3D System Integration Conference 2010, 3DIC 2010|IEEE 3D Syst. Integr. Conf., 3DIC. IEEE. DOI: 10.1109/3DIC.2010.5751465. Publication link: 7828844d-b527-4130-9939-e9a9237f40aa
  99. Pnueli, A., Virbitskaite, I., & Voronkov, A. (Eds.) (2010). Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. In Lecture Notes in Computer Science. (Vol. 5947). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: af914fa0-baf5-48b4-93cc-3cdd5ec84369
  100. Tsioutsios, I., Pavlidis, V. F., & De Micheli, G. (2010). Physical design tradeoffs in power distribution networks for 3-D ICs. In 2010 IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2010 - Proceedings|IEEE Int. Conf. Electron., Circuits, Syst., ICECS - Proc.. (pp. 430-433). IEEE. DOI: 10.1109/ICECS.2010.5724541. Publication link: 948b636c-1005-40d5-9b46-ecef8a531946
  101. Jupp, S., Horridge, M., Iannone, L., Klein, J., Owen, S., Schanstra, J., ... Wolstencroft, K. (2010). Populous: A tool for populating ontology templates. In Semantic Web Applications and tools for the Life Sciences (SWAT4LS).. Publication link: 64ab0342-8a3e-4356-8fd0-98657642af09
  102. Xu, H., Pavlidis, V. F., & De Micheli, G. (2010). Process-induced skew variation for scaled 2-D and 3-D ICs. In International Workshop on System Level Interconnect Prediction, SLIP|Int. Workshop Syst. Level Interconnect Predict. SLIP. (pp. 17-24). Proceedings of the System Level Interconnect Prediction Workshop. DOI: 10.1145/1811100.1811107. Publication link: e2e1ad04-7ea6-46c2-8a6e-4e313737b225
  103. Mu, T., & Ananiadou, S. (2010). Proximity-based graph embeddings for multi-label classification. In KDIR 2010 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval|KDIR - Proc. Int. Conf. Knowl. Discov. Inf. Retr.. (pp. 74-84). Publication link: df0f420b-f95f-47f8-bf0a-92d41a2e3b33
  104. Yao, L., & Zhang, N. (2010). Quantifying authentication levels of assurance in grid environments. In 2010 6th International Conference on Information Assurance and Security, IAS 2010|Int. Conf. Inf. Assur. Secur., IAS. (pp. 298-303). IEEE CS. DOI: 10.1109/ISIAS.2010.5604042. Publication link: 7ef4c295-79a3-45b5-b39b-14ec36e5f858
  105. Bechhofer, S., De Roure, D., Gamble, M., Goble, C., & Buchan, I. (2010). Research Objects: Towards Exchange and Reuse of Digital Knowledge. In host publication. http://precedings.nature.com/documents/4626/version/1: Nature Precedings. DOI: 10.1038/npre.2010.4626.1. Publication link: f2167044-aa9a-4a15-86c1-9c6a9f32e62c
  106. Wolstencroft, K., Horridge, M., Owen, S., Mueller, W., Bacall, F., Snoep, J., ... Goble, C. (2010). RightField: Embedding ontology term selection into spreadsheets for the annotation of biological data. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 658, pp. 141-144). Publication link: 08dca04a-8f6b-4c0c-9340-9d9935f8a730
  107. Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G. J., ... Tillmann, N. (Eds.) (2010). Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. In Lecture Notes in Computer Science. (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 212b095a-61d6-49c5-b5fa-c291db4aad8f
  108. Humble, J., Furber, S., Denham, S., & Wennekers, T. (2010). STDP pattern onset learning depends on background activity. In Proceedings of BICS 2010 - Brain Inspired Cognitive Systems 14-16 July 2010, Madrid, Spain.. Publication link: 1a9cb07c-ff43-40e8-ab78-4247d2c891ba
  109. Rast, A. D., Jin, X., Galluppi, F., Plana, L. A., Patterson, C., & Furber, S. (2010). Scalable event-driven native parallel processing: The SpiNNaker neuromimetic system. In CF 2010 - Proceedings of the 2010 Computing Frontiers Conference|CF - Proc. Comput. Front. Conf.. (pp. 21-30). New York, USA: ACM. DOI: 10.1145/1787275.1787279. Publication link: fcfb9126-3141-4dd3-9460-218d9f5bc6a7
  110. May, M., Turner, M. J., & Morris, T. (2010). Scale invariant feature transform: A graphical parameter analysis. In British Machine Vision Conference, BMVC 2010 - Proceedings|Br. Mach. Vis. Conf., BMVC - Proc.. British Machine Vision Association, BMVA. . Publication link: 9387551a-1a4a-4084-87bd-0940d04df832
  111. Masseroli, M., Paton, N. W., & Ghisalberti, G. (2010). Search computing: Integrating ranked data in the life sciences. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6254, pp. 207-214). Springer Verlag. DOI: 10.1007/978-3-642-15120-0_16. Publication link: 9b4be6ba-ccc2-486b-9911-0b9433b7e0c5
  112. Ramsay, A. (2010). Semi-partitioned horn clauses: A tractable logic of types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6304, pp. 279-280). Berlin: Springer Verlag. . Publication link: b5f679b3-028d-4c4f-a23a-d645ed7d2279
  113. Maurer, M., Brandic, I., & Sakellariou, R. (2010). Simulating autonomic SLA enactment in clouds using case based reasoning. In Towards a Service-Based Internet - Third European Conference, ServiceWave 2010, Proceedings. (Vol. 6481 LNCS, pp. 25-36). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6481 LNCS). DOI: 10.1007/978-3-642-17694-4_3. Publication link: 9f5d1b46-4606-4b41-94be-3afbdfdd2aa8
  114. Ali, M. R., & Morris, T. (2010). Skin locus based skin detection for gesture recognition. In British Machine Vision Conference, BMVC 2010 - Proceedings|Br. Mach. Vis. Conf., BMVC - Proc.. British Machine Vision Association, BMVA. . Publication link: 89a14725-6d55-4c3c-80c2-b6c545116d54
  115. Navaridas, J., Plana, L. A., Miguel-Alonso, J., Luján, M., & Furber, S. B. (2010). SpiNNaker: Impact of traffic locality, causality and burstiness on the performance of the interconnection network. In CF 2010 - Proceedings of the 2010 Computing Frontiers Conference|CF - Proc. Comput. Front. Conf.. (pp. 11-19). New York, USA: ACM. DOI: 10.1145/1787275.1787278. Publication link: e4775d57-e96c-4ed6-bd9b-ddbf06e724c7
  116. Goble, C., & Gamble, M. (2010). Standing on the shoulders of the trusted web: Trust, Scholarship and Linked Data. In host publication. http://journal.webscience.org/view/events/WebSci10=3A_Extending_the_Frontiers_of_Society_On-Line/paper.html: Web Science Trust. . Publication link: a8047491-1ef8-48cf-a165-2b6cffc9f6ec
  117. Pavlidis, V. F., Xu, H., Tsioutsios, I., & De Micheli, G. (2010). Synchronization and power integrity issues in 3-D ICs. In IEEE Asia-Pacific Conference on Circuits and Systems, Proceedings, APCCAS|IEEE Aisa Pac. Conf. Circuits Syst. Proc. APCCAS. (pp. 536-539). IEEE. DOI: 10.1109/APCCAS.2010.5775082. Publication link: 1447ea74-2718-420c-b75f-88a5d86f02b5
  118. Berks, M., Taylor, C., Rahim, R., Da Silva, D. B., Boggis, C., & Astley, S. (2010). Synthesising malignant breast masses in normal mammograms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6136, pp. 505-512). Springer Verlag. DOI: 10.1007/978-3-642-13666-5_68. Publication link: c6702ba9-db7d-4280-8d17-298a5eccb1b8
  119. Alenda, R., Olivetti, N., Schwind, C., Tishkovsky, D., Dawar, A. (Ed.), & Veith, H. (Ed.) (2010). Tableau calculi for CSL over min-spaces. In A. Dawar, & H. Veith (Eds.), Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic (CSL'10). (Vol. 6247, pp. 52-66). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 161b18be-9707-4f9c-bb47-f0bbc176738a
  120. Brown, A., Jay, C., & Harper, S. (2010). Tailored presentation of dynamic content. In W4A 2010 - International Cross Disciplinary Conference on Web Accessibility Raleigh 2010|W4A - Int. Cross Discip. Conf. Web Accessibility Raleigh. {ACM}. DOI: 10.1145/1805986.1806018. Publication link: b88d9ed7-018f-4eac-8d6b-26f20cfbef5d
  121. Goble, C., Soiland-Reyes, S., Missier, P., Owen, S., Nenadic, A., Dunlop, I., ... Oinn, T. (2010). Taverna, reloaded. In M. Gertz, T. Hey, & B. Ludaescher (Eds.), SSDBM 2010. (pp. 471-481). Publication link: d89f5045-4f69-450c-9c69-dfbbfc999cf5
  122. Brajnik, G., Yesilada, Y., & Harper, S. (2010). Testability and validity of WCAG 2.0: The expertise effect. In ASSETS'10 - Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility|ASSETS - Proc. Int. ACM SIGACCESS Conf. Comput. Accessibility. (pp. 43-50). (ASSETS '10). ACM. DOI: 10.1145/1878803.1878813. Publication link: 4ff4c257-a75c-4a69-b304-6236e3c9a056
  123. Rast, A. D., Galluppi, F., Jin, X., & Furber, S. B. (2010). The Leaky Integrate-and-Fire neuron: A platform for synaptic model exploration on the SpiNNaker chip. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. USA: IEEE. DOI: 10.1109/IJCNN.2010.5596364. Publication link: e5b28095-fae0-4ce6-8a4f-a713c88940bb
  124. Jarke, M., Loucopoulos, P., Lyytinen, K., Mylopoulos, J., & Robinson, W. (2010). The brave new world of design requirements: Four key principles. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6051, pp. 470-482). Springer Verlag. DOI: 10.1007/978-3-642-13094-6_36. Publication link: 52d9eba1-c79e-49d9-822a-d3a147c084f3
  125. De Roure, D., Goble, C., Aleksejevs, S., Bechhofer, S., Bhagat, J., Cruickshank, D., ... Zhao, J. (2010). The evolution of myExperiment. In Proceedings - 2010 6th IEEE International Conference on e-Science, eScience 2010|Proc. - IEEE Int. Conf. e-Sci., eScience. (pp. 153-160). IEEE Computer Society. DOI: 10.1109/eScience.2010.59. Publication link: 8e2fe2db-874a-4852-a317-4e348226328a
  126. Bail, S., Parsia, B., & Sattler, U. (2010). The justificatory structure of OWL ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 614). Publication link: 3b1fb0e9-a365-408c-8e78-f97a2030c37f
  127. Pratt-Hartmann, I. (2010). The two-variable fragment with counting revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6188, pp. 42-54). (Lecture Notes in Artificial Intelligence). Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-13824-9_4. Publication link: 24641007-b121-4dcf-9c69-92c75a19b2f2
  128. Ananiadou, S., Pyysalo, S., Ohta, T., Cho, H-C., Sullivan, D., Mao, C., ... Tsujii, J. (2010). Towards Event Extraction from Full Texts on Infectious Diseases. In host publication. (pp. 132-140). Publication link: 2a16dc6e-d120-4f2d-a6bb-32950ce10d44
  129. {Duque-Ramos}, A., Uriel López, U., {Fernández-Breis}, J. T., & Stevens, R. (2010). Towards SQUaRE based Quality Evaluation Framework for Ontologies. In Workshop on Ontology Quality (EKAW'10). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 4ac32725-439a-4424-a992-c07b74fb39f8
  130. Roedig, U., Clinch, S., Brown, J., & Scott, A. (2010). Towards multiprocessor sensor nodes. In Proceedings of the 6th Workshop on Hot Topics in Embedded Networked Sensors. (HotEmNets '10). New York, NY, USA: ACM. . Publication link: 9010c221-7e67-478e-bc49-632d34b23126
  131. Ananiadou, S., Kano, Y., Dorado, R., McCrochon, L., & Tsujii, J. (2010). U-Compare: An integrated language resource evaluation platform including a comprehensive UIMA resource library. In host publication. (pp. 428-434). Publication link: ba19f411-ab27-4852-95c8-e95119d719f9
  132. Altintas, I., Anand, M. K., Crawl, D., Bowers, S., Belloum, A., Missier, P., ... Sloot, P. M. A. (2010). Understanding collaborative studies through interoperable workflow provenance. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6378, pp. 42-58). Lecture Notes in Computer Science 6378 Springer 2010. DOI: 10.1007/978-3-642-17819-1_6. Publication link: 9fc93550-2899-4e69-9e80-27e80e2b8f55
  133. Yang, Y., & Chen, K. (2010). Unsupervised learning via iteratively constructed clustering ensemble. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. U.S.A.: IEEE Press. DOI: 10.1109/IJCNN.2010.5596577. Publication link: f970d1e4-7619-444c-beba-1639ccbac104
  134. Nenadic, G., & Sarafraz, F. (2010). Using SVMs with the Command Relation Features to Identify Negated Events in Biomedical Literature. In Proceedings of the Workshop on Negation and Speculation in Natural Language Processing, 2010.. Publication link: 2a0b30fa-afe8-4574-9615-6d332bbdfdeb
  135. Lunn, D., & Harper, S. (2010). Using galvanic skin response measures to identify areas of frustration for older web 2.0 users. In W4A 2010 - International Cross Disciplinary Conference on Web Accessibility Raleigh 2010|W4A - Int. Cross Discip. Conf. Web Accessibility Raleigh. ACM. DOI: 10.1145/1805986.1806032. Publication link: 5719be57-41ea-4e92-9fe5-7a1bcd79e086
  136. Attwood, T. K., Kell, D. B., McDermott, P., Marsh, J., Pettifer, S. R., & Thorne, D. (2010). Utopia documents: Linking scholarly literature with research data. In Bioinformatics|Bioinformatics. (Vol. 26, pp. 568-574). DOI: 10.1093/bioinformatics/btq383. Publication link: 0498635c-24e2-4650-9ed9-1363caa2936b
  137. Deena, S., Hou, S., & Galata, A. (2010). Visual speech synthesis by modelling coarticulation dynamics using a non-parametric switching state-space model. In International Conference on Multimodal Interfaces and the Workshop on Machine Learning for Multimodal Interaction, ICMI-MLMI 2010|Int. Conf. Multimodal Interfaces Workshop Mach. Learn. Multimodal Interact., ICMI-MLMI. Association for Computing Machinery. DOI: 10.1145/1891903.1891942. Publication link: 44eb8d43-7240-406c-886c-1cb544bf3ff3
  138. Bechhofer, S., Ainsworth, J., Bhagat, J., Buchan, I., Couch, P., Cruickshank, D., ... Sufi, S. (2010). Why linked data is not enough for scientists. In Proceedings - 2010 6th IEEE International Conference on e-Science, eScience 2010|Proc. - IEEE Int. Conf. e-Sci., eScience. (pp. 300-307). IEEE Computer Society. DOI: 10.1109/eScience.2010.21. Publication link: 394d2487-5598-4e1e-a0c1-d67ad65d7947
  139. Jupp, S., Eales, J., Fischer, S., {Uwe-Kietz}, J., Ramgolam, R., Williams, A., ... Goble, C. (2010). e-LICO: Delivering Data Mining to the Life Science Community. In Proceedings of the 7th Microsoft eScience Workshop. (pp. 83-84.). Publication link: ce50bd95-f216-4524-94ff-b1cbfa703000
  140. Korovin, K., & Sticksel, C. (2010). iProver-Eq: An instantiation-based theorem prover with equality. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6173, pp. 196-202). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-14203-1_17. Publication link: 1c78b6a6-9ff9-459a-8b11-2449335ea358
Exhibition
  1. Navarro Lopez, E. (Other). (2010). Reinventing online dating: AmicaGeo.. Publication link: 0d9f2a8d-988d-4539-8c1b-75596867b827
Poster
  1. Sarafraz, F., & Nenadic, G. (2010). Identification of negated regulation events in the literature: Exploring the feature space. 134-138. Poster session presented at 4th International Symposium on Semantic Mining in Biomedicine, SMBM 2010, Cambridge, .. Publication link: e70f7cab-be24-4764-a594-79e2ed14fc5d
  2. Nenadic, G., Latif, S., & Wood, M. M. (2010). Improving Clustering of Noisy Documents through Automatic Summarisation. Poster session presented at International Conference on Intelligent Text Processing and Computational Linguistics (CICLing), Iasi, Romania, .. Publication link: 1857a8f3-7e51-4f84-8f5c-e3934887aa65
  3. Navarro Lopez, E., Navarro-Lopez, E. M., & Carter, R. (2010). Languages spoken by dynamical behaviours: A new approach to hybrid control systems?. Poster session presented at 13th ACM International Conference on Hybrid Systems: Computation and Control, Cyber-Physical Systems Week 2010, Stockholm, Sweden, .. Publication link: a2a374f7-1e11-4460-914c-8c6e8cda900d
  4. Nenadic, G., Baran, J., Gerner, M., Haeussler, M., & Bergman, C. (2010). pubmed2ensembl: Linking Publications and Genes. Poster session presented at Genome Informatics (UK) 2010, Hinxton, UK, .. Publication link: 8d851035-1a5d-4755-82a6-2f0e95e3e0c0
Master's Thesis
  1. Navarro Lopez, E. (2010). Formal verification of an electromechanical system with discontinuous properties School of Mathematics: University of Manchester. Publication link: 1fdff814-3e77-4ffb-9425-11e8359306b9
Book
  1. Ray, O., Whelan, K., & King, R. (2010). Automatic revision of metabolic networks through logical analysis of experimental data. (International Workshop on Inductive Logic Programming). No publisher name. DOI: 10.1007/978-3-642-13840-9_18. Publication link: 4a2926a3-1737-4e88-bc54-222af4d8d188
  2. Latham, J. (2010). Java Just in Time. (Texts in Computing). UK: College Publications.. Publication link: 285c75e5-f446-4940-b2a0-9a85e88ca76b
Other
  1. Ananiadou, S., Thompson, P., & Nawaz, R. (2010). Improving search through Event-based Biomedical Text Mining. 1st Automated Motif Discovery in Cultural Heritage and Scientific Communication Texts (AMICUS) workshop, Vienna, .. Publication link: 2c64dea1-335d-47b3-a91b-9e16a3a6c6b3
  2. Bechhofer, S. (2010). SKOS: Past, Present and Future. Extended Semantic Web Conference, Heraklion, Greece, .. Publication link: 3fa7f233-b4d6-4799-acc1-08ac3cc0368f
Chapter
  1. Iannone, L., Palmisano, I., Rector, A. L., & Stevens, R. (2010). Assessing the safety of knowledge patterns in OWL ontologies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6088, pp. 137-151). (Lecture Notes in Computer Science LNCS). Springer Verlag. DOI: 10.1007/978-3-642-13486-9_10. Publication link: 78ec04a1-1d91-48f2-b3d5-46f4c76ab555
  2. Pratt-Hartmann, I. (2010). Computational Complexity in Natural Language. In The Handbook of Computational Linguistics and Natural Language Processing|The Handb. of Comput. Linguist. and Nat. Lang. Proces.. (pp. 43-73). Oxford: Wiley-Blackwell. DOI: 10.1002/9781444324044.ch2. Publication link: d3d88f64-8e7d-4492-9424-d901b7dd7e4b
  3. Taylor, C. J., Cootes, T. F., Smith, J. (Ed.), & Jones, D. (Ed.) (2010). Conference paper title as book section. In Conference title. (Vol. 4567, pp. 100-120). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: f84fd200-0f3a-4374-98c3-5b0784cb548f
  4. Garcia, A., {O'Neill}, K., Garcia, L. J., Lord, P., Stevens, R., Corcho, O., ... Cheung, K. (Ed.) (2010). Developing Ontologies within Decentralised Settings. In Semantic e-Science. (Vol. 11, pp. 99-139). (Annals of Information Systems). Springer Verlag. DOI: 10.1007/978-1-4419-5908-9_4. Publication link: 36083c91-5569-4cc1-ba9e-caee96c40c0f
  5. Goodacre, J., Aitken, R., Flautner, K., Hubner, M. (Ed.), & Becker, J. (Ed.) (2010). High-Performance Multiprocessor System on Chip: Trends in Chip Architecture for the Mass Market. In Multiprocessor System-on-Chip: Hardware Design and Tool Integration. (pp. 223-239). Springer Verlag. DOI: 10.1007/978-1-4419-6460-1_10. Publication link: b2b1b77b-a02a-4bad-9592-de41d147baf0
  6. King, R. D., Schierz, A., Clare, A., Rowland, J., Sparkes, A., Nijssen, S., & Ramon, J. (2010). Inductive queries for a drug designing robot scientist: Inductive queries for a drug dsigning robot scientist. In Inductive Databases and Constraint-Based Data Mining|Inductive Databases and Constraint-Based Data Min.. (pp. 425-451). Springer New York. DOI: 10.1007/978-1-4419-7738-0_18. Publication link: af130d82-1553-4004-8f7a-1c8a6ac3330e
  7. Sakellariou, R., Zhao, H., Deelman, E., Desprez, F. (Ed.), Getov, V. (Ed.), Priol, T. (Ed.), & Yahyapour, R. (Ed.) (2010). Mapping Workflows on Grid Resources: Experiments with the Montage Workflow. In Grids, P2P and Services Computing. (pp. 119-132). Springer Verlag. DOI: http://dx.doi.org/10.1007/978-1-4419-6794-7_10. Publication link: d61311e0-6a0c-42a4-b33a-529dbaf804b3
  8. Pavlidis, V. F., & Friedman, E. G. (2010). Physical design issues in 3-D integrated technologies. In IFIP Advances in Information and Communication Technology|IFIP Advances in Information and Communication Technology: Series: IFIP Advances in Information and Communication Technology, Vol. 313. (Vol. 313, pp. 1-21). Springer Verlag. DOI: 10.1007/978-3-642-12267-5_1. Publication link: 55dc75b1-b40e-4911-884c-0e9f34220246
  9. Aranguren, M. E., Stevens, R., Antezana, E., Fernández-Breis, J. T., Kuiper, M., & Mironov, V. (2010). Technologies and Best Practices for Building Bio-Ontologies. In Knowledge-Based Bioinformatics: From Analysis to Interpretation|Knowledge-Based Bioinformatics: From Anal. to Interpret.. (pp. 67-86). John Wiley & Sons . DOI: 10.1002/9780470669716.ch3. Publication link: d7fbb33c-5a86-4c13-a65d-e1a1ab1e155b
  10. Brown, A., Yesilada, Y., Jay, C., Harper, S., & Ahson, S. A. (Ed.) (2010). The Blind leading the blind: Web accessibility research leading mobile Web usability. In Mobile Web 2.0: Developing and Delivering Services to Mobile Phones. CRC Press. . Publication link: cbae8dee-adac-4bce-98e6-9c5bd52806f1
  11. Murray, C. D., Pettifer, S., Howard, T., Patchick, E., Caillette, F., & Murray, J. (2010). Virtual solutions to phantom problems: Using immersive virtual reality to treat phantom limb pain. In Amputation, Prosthesis Use, and Phantom Limb Pain: An Interdisciplinary Perspective|Amputation, Prosthes. Use, and Phantom Limb Pain: An Interdisciplinary Perspect.: An Interdisciplinary Perspective. (pp. 175-196). Springer New York. DOI: 10.1007/978-0-387-87462-3_12. Publication link: 2fcf36f9-df2b-448d-973d-30752d72cd2f
Commissioned report
  1. Thomson, T. (2010). Eleventh Joint MMM-Intermag Conference 2010 IEEE Publication Chair's Preface. (Ieee Transactions on Magnetics). No publisher name.. Publication link: 43e0aa6d-3425-40d4-84e2-0f506ddaa98d
  2. Harper, S., & Craven, J. (2010). Evaluation of the SASWAT Web browser, for Simon Harper. No publisher name.. Publication link: d04ce1f4-6baf-4e62-8d37-b80d05cb7ae5
  3. Jay, C., Brown, A., & Harper, S. (2010). Internal evaluation of the SASWAT audio browser: method, results and experimental materials. No publisher name.. Publication link: 7a707d9e-0317-4ea2-adfc-76ffec2d0f69
Editorial
  1. Navarro Lopez, E., & Navarro-Lopez, E. M. (2010). Nature, Mathematics, Engineering and Chaos. Ingeniare. Revista Chilena de Ingenieria, 18(1), 5-7. DOI: 10.4067/S0718-33052010000100001. Publication link: 83b11b22-0f07-4ccb-adc9-fb518788a91d
  2. Konev, B., Schmidt, R. A., & Schulz, S. (2010). Preface: Special issue on practical aspects of automated reasoning. AI Communications, 23(2-3), 67-68. DOI: 10.3233/AIC-2010-0455. Publication link: 718dcdd5-6a42-4568-9b08-e38e8d987ed5
Doctoral Thesis
  1. Brenninkmeijer, C. Y. A. (2010). QUERYING SENSOR NETWORKS: REQUIREMENTS, SEMANTICS, ALGORITHMS AND COST MODELS University of Manchester. Publication link: 79cb9697-ea61-4319-824a-f349601f03cf
Anthology
  1. Loucopoulos, P., & Cavarero, J. L. (2010). RCIS 2010. No publisher name.. Publication link: e920dee1-71c6-47c6-9c22-95837a3842a6
Comment/debate
  1. Navarro Lopez, E., & Navarro-Lopez, E. M. (2010). Discussion of Fundamental Analysis of the Electromechanical Oscillation Damping Control Loop of the Static VAr Compensator Using Individual Channel Analysis and Design. IEEE Transactions on Power Delivery, 1-1. . Publication link: eafd9ce7-366b-4aae-bc32-27866af5d129
▲ Up to the top