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


2009

Doctoral Thesis
  1. Navaridas Palma, J. (2009). Performance evaluation of interconnection networks using simulation: tools and case studies Universidad del Pa{\'\i}s Vasco. Publication link: 008b395c-6eb5-43a4-9cd9-181f7259ef0e
Article
  1. Yang, H., Spasic, I., Keane, J. A., & Nenadic, G. (2009). A Text Mining Approach to the Prediction of Disease Status from Clinical Discharge Summaries. Journal of the American Medical Informatics Association, 16(4), 596-600. DOI: 10.1197/jamia.M3096. Publication link: df75d334-0f3f-45bb-a7af-ccb95f1e9873
  2. Buttari, A., Langou, J., Kurzak, J., & Dongarra, J. (2009). A class of parallel tiled linear algebra algorithms for multicore architectures. Parallel Computing, 35(1), 38-53. DOI: 10.1016/j.parco.2008.10.002. Publication link: c90675ac-a235-4158-b956-1108a5c651e7
  3. Liatsis, P., Goulermas, J. Y., Zeng, X. J., & Milonidis, E. (2009). A flexible visual inspection system based on neural networks. International Journal of Systems Science, 40(2), 173-186. DOI: 10.1080/00207720802630719. Publication link: f8b63b4e-7293-4a7c-9118-5f3b15a84516
  4. Hower, V., Mendes, P., Torti, F. M., Laubenbacher, R., Akman, S., Shulaev, V., & Torti, S. V. (2009). A general map of iron metabolism and tissue-specific subnetworks. Molecular BioSystems, 5(5), 422-443. DOI: 10.1039/b816714c. Publication link: 3e43a7f4-26e6-4722-b1b1-a9425b64d933 | PubMed:19381358
  5. Schmidt, R. A. (2009). A new methodology for developing deduction methods. Annals of Mathematics and Artificial Intelligence, 55(1-2), 155-187. DOI: 10.1007/s10472-009-9155-4. Publication link: 52c3c2a6-e073-448f-b6dc-947ac8bd85c5
  6. Fisher, P., Noyes, H., Kemp, S., Stevens, R., & Brass, A. (2009). A systematic strategy for the discovery of candidate genes responsible for phenotypic variation.Methods in Molecular Biology, 573, 329-345. DOI: 10.1007/978-1-60761-247-6_18. Publication link: 858ac390-9020-4a21-b9f0-51e562bf4703 | PubMed:19763936
  7. Laubenbacher, R., Hower, V., Jarrah, A., Torti, S. V., Shulaev, V., Mendes, P., ... Akman, S. (2009). A systems biology view of cancer. Biochimica et Biophysica Acta - Reviews on Cancer, 1796(2), 129-139. DOI: 10.1016/j.bbcan.2009.06.001. Publication link: e82f1ac8-afeb-4a0e-b687-1a2a5aa55d7c
  8. Oliver, H., Diallo, G., de Quincey, E., Alexopoulou, D., Habermann, B., Kostkova, P., ... Madle, G. (2009). A user-centred evaluation framework for the Sealife semantic web browsers. BMC Bioinformatics, 10(10), S14. [1471]. DOI: 10.1186/1471-2105-10-S10-S1. Publication link: a07e52ff-60ca-4e0e-be4d-260debbfc896
  9. Baboulin, M., Buttari, A., Dongarra, J., Kurzak, J., Langou, J., Langou, J., ... Tomov, S. (2009). Accelerating scientific computations with mixed precision algorithms. Computer Physics Communications, 180(12), 2526-2533. DOI: 10.1016/j.cpc.2008.11.005. Publication link: 5b73720d-719c-40dd-8dad-d6262e5921cd
  10. Gounaris, A., Smith, J., Paton, N. W., Sakellariou, R., Fernandes, A. A. A., & Watson, P. (2009). Adaptive workload allocation in query processing in autonomous heterogeneous environments. Distributed and Parallel Databases, 25(3), 125-164. DOI: 10.1007/s10619-008-7032-5. Publication link: d15be336-2048-4669-ba71-eb835ca0f030
  11. Bosilca, G., Delmas, R., Dongarra, J., & Langou, J. (2009). Algorithm-based fault tolerance applied to high performance computing. Journal of Parallel and Distributed Computing, 69(4), 410-416. DOI: 10.1016/j.jpdc.2008.12.002. Publication link: b1d8ebb1-7b3c-4568-83d1-6579160530cd
  12. Pettifer, S., Thorne, D., Mcdermott, P., Attwood, T., Baran, J., Bryne, J. C., ... Vriend, G. (2009). An active registry for bioinformatics web services. Bioinformatics, 25(16), 2090-2091. DOI: 10.1093/bioinformatics/btp329. Publication link: 14294bd6-6664-49e9-b0de-59759828ce29
  13. Ayubi, S., Muyeba, M. K., Baraani, A., & Keane, J. (2009). An algorithm to mine general association rules from tabular data. Information Sciences, 179(20), 3520-3539. DOI: 10.1016/j.ins.2009.06.021. Publication link: 9a3cc3e3-077b-4cdd-8011-8b777a4f2b75
  14. Navarro-López, E. M. (2009). An alternative characterization of bit-sticking phenomena in a multi-degree-of-freedom controlled drillstring. Nonlinear Analysis: Real World Applications, 10(5), 3162-3174. DOI: 10.1016/j.nonrwa.2008.10.025. Publication link: 413ae202-5f08-40ae-b9a6-2da913f7401e
  15. Lu, C., & King, R. D. (2009). An investigation into the population abundance distribution of mRNAs, proteins, and metabolites in biological systems. Bioinformatics, 25(16), 2020-2027. DOI: 10.1093/bioinformatics/btp360. Publication link: a1aea352-8f04-4e62-a319-475e87650fe6
  16. Mabey Gilsenan, J. E., Atherton, G., Bartholomew, J., Giles, P. F., Attwood, T. K., Denning, D. W., & Bowyer, P. (2009). Aspergillus genomes and the aspergillus cloud. Nucleic acids research., 37(1), D509-D514. DOI: 10.1093/nar/gkn876. Publication link: 00abeceb-00fe-486c-b27d-02c7f45d63f0 | PubMed:19039001
  17. Fong, P., McNamara, J. P., Hillier, I. H., & Bryce, R. A. (2009). Assessment of QM/MM scoring functions for molecular docking to HIV-1 protease. Journal of Chemical Information and Modeling, 49(4), 913-924. DOI: 10.1021/ci800432s. Publication link: f82bd784-088d-435c-858a-016b529dec46
  18. Schmidt, R. A., & Tishkovsky, D. (2009). Automated synthesis of tableau calculi. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5607, 310-324. DOI: 10.1007/978-3-642-02716-1_23. Publication link: 3bbff7c0-36a0-4e62-8ea1-e377fc731426
  19. Mu, T., & Nandi, A. K. (2009). Automatic tuning of L2-SVM parameters employing the extended Kalman filter. Expert Systems, 26(2), 160-175. . Publication link: c9d7f570-494f-45eb-b22b-60b2ced34355
  20. Paton, N. W., Buenabad-Chavez, J., Chen, M., Raman, V., Swart, G., Narang, I., ... Fernandes, A. A. A. (2009). Autonomic query parallelization using non-dedicated computers: An evaluation of adaptivity options. VLDB Journal, 18(1), 119-140. DOI: 10.1007/s00778-007-0090-x. Publication link: d46c3b5a-5c34-4372-aae1-7de23a3cd352
  21. Goderis, A., Fisher, P., Gibson, A., Tanoh, F., Wolstencroft, K., De Roure, D., & Goble, C. (2009). Benchmarking workflow discovery: A case study from bioinformatics. Concurrency and Computation: Practice & Experience, 21(16), 2052-2069. DOI: 10.1002/cpe.1447. Publication link: ed710075-368b-4779-ac41-ed448b63174d
  22. Antezana, E., Blondé, W., Egaña, M., Rutherford, A., Stevens, R., De Baets, B., ... Kuiper, M. (2009). BioGateway: A semantic systems biology tool for the life sciences. BMC Bioinformatics, 10(10), S11. [1471]. DOI: 10.1186/1471-2105-10-S10-S11. Publication link: 091d9fd4-81a8-4071-8552-ce97890da245
  23. Nenadic, A., Soiland-Reyes, S., & Goble, C. (2009). Bringing caBIG services together using Taverna. Unknown Journal. . Publication link: db95e519-11ab-4d92-bf35-eeb447afe166
  24. Raju, R. K., Ramraj, A., Hillier, I. H., Vincent, M. A., & Burton, N. A. (2009). Carbohydrate-aromatic pi interactions: a test of density functionals and the DFT-D method. Physical Chemistry Chemical Physics, 11(18), 3411-3416. DOI: Doi 10.1039/B822877a. Publication link: 69aea7cb-29af-4f69-b26c-6d1e358cc79b
  25. Raju, R. K., Ramraj, A., Hillier, I. H., Vincent, M. A., & Burton, N. A. (2009). Carbohydrate-aromatic π interactions: A test of density functionals and the DFT-D method. Physical Chemistry Chemical Physics, 11(18), 3411-3416. DOI: 10.1039/b822877a. Publication link: f603d020-2a5e-4b6b-8ae9-dda515472163
  26. Rathkolb, B., Noyes, H. A., Brass, A., Dark, P., Fuchs, H., Gailus-Durner, V., ... Agaba, M. (2009). Clinical chemistry of congenic mice with quantitative trait loci for predicted responses to Trypanosoma congolense infection. Infection and Immunity, 77(9), 3948-3957. DOI: 10.1128/IAI.00658-09. Publication link: 666b136d-6a58-416c-9922-536b2ce80287 | PubMed:19596769
  27. Sasaki, Y., Rea, B., & Ananiadou, S. (2009). Clinical text classification under the open and closed topic assumptions. International Journal of Data Mining and Bioinformatics, 3(3), 299-313. DOI: 10.1504/IJDMB.2009.026703. Publication link: 414cb7b0-9ef6-4378-ae83-1957f0fb2dfc
  28. Hellwig, O., Hauet, T., Thomson, T., Dobisz, E., Risner-Jamtgaard, J. D., Yaney, D., ... Fullerton, E. E. (2009). Coercivity tuning in Co/Pd multilayer based bit patterned media. Applied Physics Letters, 95(23), [232505]. DOI: 10.1063/1.3271679. Publication link: ba28fccd-e1e1-4b23-a0e1-ce82f6138398
  29. Zhang, S., Tjortjis, C., Zeng, X., Qiao, H., Buchan, I., & Keane, J. (2009). Comparing data mining methods with logistic regression in childhood obesity prediction. Information Systems Frontiers, 11(4), 449-460. DOI: 10.1007/s10796-009-9157-0. Publication link: 47b72e23-f9d6-4b04-90c4-94d930725f3c
  30. McGrath, D. M., Bradley, D. P., Tessier, J. L., Lacey, T., Taylor, C. J., & Parker, G. J. M. (2009). Comparison of model-based arterial input functions for dynamic contrast-enhanced MRI in tumor bearing rats. Magnetic Resonance in Medicine, 61(5), 1173-1184. DOI: 10.1002/mrm.21959. Publication link: 6ba0fcc2-7fc3-4376-b63f-ec479f5951f4
  31. Düntsch, I., & Pratt-Hartmann, I. (2009). Complex algebras of arithmetic. Fundamenta Informaticae, 97(4), 347-367. DOI: 10.3233/FI-2009-206. Publication link: 3d32a475-9531-4714-b330-efa61218440c
  32. Mendes, P., Hoops, S., Sahle, S., Gauges, R., Dada, J., & Kummer, U. (2009). Computational modeling of biochemical networks using COPASI. Methods in Molecular Biology, 500(1), 17-59. DOI: 10.1007/978-1-59745-525-1_2. Publication link: 42c4c832-f9a0-4046-a1c0-78f66f2ae7f0 | PubMed:19399433
  33. Thompson, P., Iqbal, S. A., McNaught, J., & Ananiadou, S. (2009). Construction of an annotated corpus to support biomedical information extraction. BMC Bioinformatics, 10, [349]. DOI: 10.1186/1471-2105-10-349. Publication link: 7fbe472f-ae7d-48ea-b90d-84e21b4b41d9
  34. Armstrong, C. W., Ford, R. W., & Riley, G. D. (2009). Coupling integrated Earth System Model components with BFG2. Concurrency and Computation: Practice & Experience, 21(6), 767-791. DOI: 10.1002/cpe.1348. Publication link: 8b5d4bba-12fb-4cfd-87e5-e0e3e65b629a
  35. Barr, S., Hill, E., & Bayat, A. (2009). Current implant surface technology: an examination of their nanostructure and their influence on fibroblast alignment and biocompatibility. Eplasty, 9. . Publication link: 22d8d480-9e99-4996-93c1-35352ee4d053 | PubMed:19606207
  36. Pratt-Hartmann, I. (2009). Data-complexity of the two-variable fragment with counting quantifiers. Information and Computation, 207(8), 867-888. DOI: 10.1016/j.ic.2009.02.004. Publication link: 55778b94-233f-4686-9410-63eb0494d447
  37. Dada, J. O., & Mendes, P. (2009). Design and architecture of web services for simulation of biochemical systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5647, 182-195. DOI: 10.1007/978-3-642-02879-3_15. Publication link: 652716d8-2973-4c7d-9a5a-7c2092c49f73
  38. Navarro-López, E. M., Cortés, D., & Castro, C. (2009). Design of practical sliding-mode controllers with constant switching frequency for power converters. Electric Power Systems Research, 79(5), 796-802. DOI: 10.1016/j.epsr.2008.10.018. Publication link: b26e9708-40d4-4b34-9b37-aae6189cbb80
  39. Ponomarenko, L. A., Yang, R., Mohiuddin, T. M., Katsnelson, M. I., Novoselov, K. S., Morozov, S. V., ... Geim, A. K. (2009). Effect of a high-κ environment on charge carrier mobility in graphene. Physical Review Letters, 102(20), [206603]. DOI: 10.1103/PhysRevLett.102.206603. Publication link: ce9732cb-a161-4206-b0d4-65c2be941e8c
  40. Pascual, J. A., Navaridas, J., & Miguel-Alonso, J. (2009). Effects of topology-aware allocation policies on scheduling performance. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5798, 138-156. DOI: 10.1007/978-3-642-04633-9_8. Publication link: 745f5f2e-0adf-4b9e-88e7-ecce45edd68c
  41. Cousins, B. G., Das, A. K., Sharma, R., Li, Y., McNamara, J. P., Hillier, I. H., ... Ulijn, R. V. (2009). Enzyme-activated surfactants for dispersion of carbon nanotubes. Small, 5(5), 587-590. DOI: 10.1002/smll.200801184. Publication link: 7c6802c3-4789-4534-b263-bdb9a8e9aae5
  42. Li, W., Gracey, A. Y., Mello, L. V., Brass, A., & Cossins, A. R. (2009). ExprAlign - the identification of ESTs in non-model species by alignment of cDNA microarray expression profiles. BMC Genomics, 10, [560]. DOI: 10.1186/1471-2164-10-560. Publication link: 2809c5a9-8ac5-45f8-a35f-655b6240a3d5 | PubMed:19939286
  43. Auzelyte, V., Dais, C., Farquet, P., Grützmacher, D., Heyderman, L. J., Luo, F., ... Solak, H. H. (2009). Extreme ultraviolet interference lithography at the Paul Scherrer Institut. Journal of Micro/Nanolithography, MEMS, and MOEMS, 8(2), [021204]. DOI: 10.1117/1.3116559. Publication link: c0bb2aab-f68d-4905-8adf-56ac659ddedd
  44. Haglin, D. J., Mayes, K., Manning, A., Feo, J., Gurd, J. R., Elliot, M., & Keane, J. A. (2009). Factors affecting the performance of parallel mining of minimal unique itemsets on diverse architectures. Concurrency and Computation: Practice & Experience, 21(9), 1131-1158. DOI: 10.1002/cpe.1379. Publication link: ab2fc09b-f657-483d-9391-b428257f8872
  45. Ridruejo, F. J., Miguel-Alonso, J., & Navaridas, J. (2009). Full-system simulation of distributed memory multicomputers. Cluster Computing, 12(3), 309-322. DOI: 10.1007/s10586-009-0086-y. Publication link: d2975319-b45c-4ea9-8489-e844f6b760ae
  46. Lee, S. J., Zeng, X. J., & Wang, H. S. (2009). Generating automatic fuzzy system from relational database system for estimating null values. Cybernetics and Systems, 40(6), 528-548. DOI: 10.1080/01969720903068518. Publication link: 906a7c02-6a69-44be-b79f-5e79a7067cbe
  47. Goderis, A., Brooks, C., Altintas, I., Lee, E. A., & Goble, C. (2009). Heterogeneous composition of models of computation. Future Generation Computer Systems, 25(5), 552-560. DOI: 10.1016/j.future.2008.06.014. Publication link: 41ff1a4c-37c9-4108-9976-d18744641b44
  48. Loucopoulos, P., Jarke, M., Loucolpoulos, P., Lyytinen, K., Mylopoulos, J., & Robinson, W. R. (2009). High impact requirements for software intensive systems. Informatik-Spektrum, 32(4), 352-353. . Publication link: 0a4157a2-b39d-4d5b-b9c5-7683a1ad97ba
  49. Abutheraa, M., & Lester, D. (2009). High-Accuracy Machine-Efficient Chebyshev Approximation: an Application to Spectral Methods for Sobolev Spaces. Communications to SIMAI Congress,3, 225-236. DOI: 10.1685/CSC09225. Publication link: 3cde6b2d-a310-475c-82cd-1637c96dbd19
  50. Chen, Z., & Dongarra, J. (2009). Highly scalable self-healing algorithms for high performance scientific computing. IEEE Transactions on Computers, 58(11), 1514-1524. [4799775]. DOI: 10.1109/TC.2009.42. Publication link: 6f83fd28-681e-4d26-8bcb-79f041dd8487
  51. Tellier, M. E., Riley, G. D., & Freeman, T. L. (2009). Improved performance control on the Grid. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 367(1897), 2533-2543. DOI: 10.1098/rsta.2009.0029. Publication link: 6b73547d-73fa-4f1d-a58b-59fe3eaa8036
  52. Jones, A. R., Siepen, J. A., Hubbard, S. J., & Paton, N. W. (2009). Improving sensitivity in proteome studies by analysis of false discovery rates for multiple search engines. Proteomics, 9(5), 1220-1229. DOI: 10.1002/pmic.200800473. Publication link: fb2b8f17-28ce-487b-acb9-10a0984de9ae | PubMed:19253293
  53. Embury, S. M., Missier, P., Sampaio, S., Greenwood, R. M., & Preece, A. D. (2009). Incorporating domain-Specific information quality constraints into database queries. Journal of Data and Information Quality, 1(2), [11]. DOI: 10.1145/1577840.1577846. Publication link: 51a43e99-f646-4237-9862-bd5d272bf244
  54. Jameson, D., Turner, D. A., Ankers, J., Kennedy, S., Ryan, S., Swainston, N., ... Paton, N. W. (2009). Information management for high content live cell imaging. BMC Bioinformatics, 10, [226]. DOI: 10.1186/1471-2105-10-226. Publication link: 89a3aff8-caf8-4212-ab6f-44975a68013e
  55. Hunter, S., Apweiler, R., Attwood, T. K., Bairoch, A., Bateman, A., Binns, D., ... Yeats, C. (2009). InterPro: The integrative protein signature database. Nucleic acids research., 37(1), D211-D215. DOI: 10.1093/nar/gkn785. Publication link: dbffdeb9-0122-43fb-aa3e-a52add00315a
  56. Pavlidis, V. F., & Friedman, E. G. (2009). Interconnect-based design methodologies for three-dimensional integrated circuits. Proceedings of the IEEE, 97(1), 123-140. [4796277]. DOI: 10.1109/JPROC.2008.2007473. Publication link: b503c176-e9c4-44f8-af09-9c823f8d3fb8
  57. Miguel-Alonso, J., Navaridas, J., & Ridruejo, F. J. (2009). Interconnection Network Simulation Using Traces of MPI Applications. International Journal of Parallel Programming, 37(2), 153-174. DOI: 10.1007/s10766-008-0089-y. Publication link: 5ba3d519-418d-432d-a874-5049e305fb02
  58. Wang, D., Zeng, X. J., & Keane, J. A. (2009). Intermediate variable normalization for gradient descent learning for hierarchical fuzzy system. IEEE Transactions on Fuzzy Systems, 17(2), 468-476. DOI: 10.1109/TFUZZ.2009.2014940. Publication link: ce297ba6-e0d0-4b02-b117-14ccd1031530
  59. Spasić, I., Simeonidis, E., Messiha, H. L., Paton, N. W., & Kell, D. B. (2009). KiPar, a tool for systematic information retrieval regarding parameters for kinetic modelling of yeast metabolic pathways. Bioinformatics, 25(11), 1404-1411. DOI: 10.1093/bioinformatics/btp175. Publication link: 5c1fd8df-aed0-4ecf-8e3c-07e3051935df
  60. Pratt-Hartmann, I., & Moss, L. S. (2009). Logics for the Relational Syllogistic. Review of Symbolic Logic, 2(4), 647-683. DOI: 10.1017/S1755020309990086. Publication link: df66ce05-f31e-4a49-8a31-fe753feb18d7
  61. King, R. D., Rowland, J., Oliver, S. G., Young, M., Aubrey, W., Byrne, E., ... Clare, A. (2009). Make way for robot scientists. Science, 325(5943), 945. DOI: 10.1126/science.325_945a. Publication link: daeba55e-32a4-46fe-80a2-ed83589c9708
  62. Brown, M., Dunn, W. B., Dobson, P., Patel, Y., Winder, C. L., Francis-McIntyre, S., ... Kell, D. B. (2009). Mass spectrometry tools and metabolite-specific databases for molecular identification in metabolomics. Analyst, 134(7), 1322-32. DOI: 10.1039/b901179j, 10.1039/b901179j. Publication link: 4233335c-3184-4b32-891d-01f94e9a816d | PubMed:19562197
  63. Noyes, H. A., Alimohammadian, M. H., Agaba, M., Brass, A., Fuchs, H., Gailus-Durner, V., ... Naessens, J. (2009). Mechanisms controlling anaemia in Trypanosoma congolense infected mice. PLoS ONE, 4(4), [e5170]. DOI: 10.1371/journal.pone.0005170. Publication link: 67f720d9-b3f9-494e-b015-7ef2afe99556 | PubMed:19365556
  64. Barringer, H., Gabbay, D., & Rydeheard, D. (2009). Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL, 17(6), 631-696. [jzp026]. DOI: 10.1093/jigpal/jzp026. Publication link: 8ef249dc-f25c-4403-af48-3d5412835143
  65. Mu, T., & Nandi, A. K. (2009). Multiclass classification based on extended support vector data description. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 39(5), 1206-1216. . Publication link: 1bf622b8-2c3e-4b37-8070-d0360e325349
  66. Clayden, J., Farnaby, W., Grainger, D. M., Hennecke, U., Mancinelli, M., Tetlow, D. J., ... Vincent, M. A. (2009). N to C Aryl Migration in Lithiated Carbamates: alpha-Arylation of Benzylic Alcohols. Journal of the American Chemical Society, 131(10), 3410-+. DOI: Doi 10.1021/Ja808959e. Publication link: 4867edee-793a-4090-acb0-15083fa1be2c
  67. Clayden, J., Farnaby, W., Grainger, D. M., Hennecke, U., Mancinelli, M., Tetlow, D. J., ... Vincent, M. A. (2009). N to C aryl migration in lithiated carbamates: α-arylation of benzylic alcohols. Journal of the American Chemical Society, 131(10), 3410-3411. DOI: 10.1021/ja808959e. Publication link: e6aa0506-7bdd-4716-b5dd-fd090ec2d2fa
  68. Navarro-López, E. M., & Licéaga-Castro, E. (2009). Non-desired transitions and sliding-mode control of a multi-DOF mechanical system with stick-slip oscillations. Chaos, Solitons and Fractals, 41(4), 2035-2044. DOI: 10.1016/j.chaos.2008.08.008. Publication link: 0bb86dee-b1cc-4a4c-bfcc-f4458b591395
  69. Murray, A. K., Moore, T. L., Manning, J. B., Taylor, C., Griffiths, C. E. M., & Herrick, A. L. (2009). Noninvasive imaging techniques in the assessment of scleroderma spectrum disorders. Arthritis Care & Research, 61(8), 1103-1111. DOI: 10.1002/art.24645. Publication link: 6ce0a480-c0f0-4e45-87d5-5f54fe282277 | PubMed:19644893
  70. Paton, N. W., Aragão, M. A. T., Lee, K., Fernandes, A. A. A., & Sakellariou, R. (2009). Optimizing Utility in Cloud Computing through Autonomic Workload Execution. IEEE Data Eng. Bull, 32(1), 51-58. . Publication link: c0363cf8-9a47-4093-a41b-63e3b55fd846
  71. Kurzak, J., Alvaro, W., & Dongarra, J. (2009). Optimizing matrix multiplication for a short-vector SIMD architecture - CELL processor. Parallel Computing, 35(3), 138-150. DOI: 10.1016/j.parco.2008.12.010. Publication link: 27af4273-038b-4117-8f09-9f31036e057a
  72. Zhang, T., Feng, G., & Zeng, X. J. (2009). Output tracking of constrained nonlinear processes with offset-free input-to-state stable fuzzy predictive control. Automatica, 45(4), 900-909. DOI: 10.1016/j.automatica.2008.11.016. Publication link: 25b0477f-da76-499a-8031-c2af21795b8b
  73. Morris, D. G., Waters, S. M., McCarthy, S. D., Patton, J., Earley, B., Fitzpatrick, R., ... Wathes, D. C. (2009). Pleiotropic effects of negative energy balance in the postpartum dairy cow on splenic gene expression: Repercussions for innate and adaptive immunity. Physiological Genomics, 39(1), 28-37. DOI: 10.1152/physiolgenomics.90394.2008. Publication link: e5afa298-5654-4a68-9347-7060f082ce53 | PubMed:19567785
  74. Pandian, S., Hillier, I. H., Vincent, M. A., Burton, N. A., Ashworth, I. W., Nelson, D. J., ... Rinaudo, G. (2009). Prediction of ring formation efficiency via diene ring closing metathesis (RCM) reactions using the M06 density functional. Chemical Physics Letters, 476(1-3), 37-40. DOI: 10.1016/j.cplett.2009.06.021. Publication link: a832b503-c54f-4372-abe8-051428e80743
  75. Kurzak, J., & Dongarra, J. (2009). QR factorization for the Cell Broadband Engine. Scientific Programming, 17(1-2), 31-42. DOI: 10.3233/SPR-2009-0268. Publication link: d811b2bc-54d0-4bbb-b5c4-dabebcb9b2ea
  76. Gustavson, F. G., Wasniewski, J., Dongarra, J., & Langou, J. (2009). Rectangular Full Packed Format for Cholesky's Algorithm: Factorization, Solution and Inversion. CoRR, abs/0901.1696. . Publication link: 49f57d51-67f2-47c0-8afe-70ab9466963c
  77. Garfield, J., & Loucopoulos, P. (2009). Requirements Elaboration for System Co-development. Ingenierie des Systemes d’information, 14(4), 77-98. . Publication link: b4812e5c-1ec6-4efd-a5f9-89d9d8b97a95
  78. Thew, S., Sutcliffe, A., Procter, R., de Bruijn, O., McNaught, J., Venters, C., & Buchan, I. (2009). Requirements engineering for E-science: Experiences in epidemiology. IEEE Software, 26(1), 80-87. DOI: 10.1109/MS.2009.19. Publication link: ea545bcf-b25f-4af4-953d-9e0385a0ea2f
  79. Piao, S., Tsuruoka, Y., & Ananiadou, S. (2009). Sentiment analysis with knowledge resource and NLP tools. International Journal of Interdisciplinary Social Sciences, 4(5), 17-28. . Publication link: 8e72cdf5-f64b-457c-bb7e-5eccf2c8b6ae
  80. Mao, H., Zeng, X. J., Leng, G., Zhai, Y. J., & Keane, J. A. (2009). Short-term and midterm load forecasting using a bilevel optimization model. IEEE Transactions on Power Systems, 24(2), 1080-1090. DOI: 10.1109/TPWRS.2009.2016609. Publication link: 8a39c21c-1c96-49dc-9396-aea69e4ad614
  81. Haider, S. S., & Zeng, X. J. (2009). Simplified neural networks algorithm for function approximation on discrete input spaces in high dimension-limited sample applications. Neurocomputing, 72(4-6), 1078-1083. DOI: 10.1016/j.neucom.2008.03.011. Publication link: e7b5ef7f-4e10-4840-a14e-56d033f6ad83
  82. De Roure, D., & Goble, C. (2009). Software design for empowering scientists. IEEE Software, 26(1), 88-95. DOI: 10.1109/MS.2009.22. Publication link: 44981fbc-d667-4818-b71f-65354914b6ba
  83. Ananiadou, S., Rea, B., Okazaki, N., Procter, R., & Thomas, J. (2009). Supporting systematic reviews using text mining. Social Science Computer Review, 27(4), 509-523. DOI: 10.1177/0894439309332293. Publication link: c84fa55b-0e31-4933-9bab-fb303e59c5fc
  84. Ibrahim, A., & Zhao, L. (2009). Supporting the OSGi service platform with mobility and service distribution in ubiquitous home environments. Computer Journal, 52(2), 210-239. DOI: 10.1093/comjnl/bxn032. Publication link: 3107fa6e-ced5-4e0f-9010-76df275b4dc8
  85. Antezana, E., Egaña, M., Blondé, W., Illarramendi, A., Bilbao, I., De Baets, B., ... Kuiper, M. (2009). The Cell Cycle Ontology: An application ontology for the representation and integrated analysis of the cell cycle process. Genome Biology, 10(5), [R58]. DOI: 10.1186/gb-2009-10-5-r58. Publication link: d9202196-28da-4673-bde5-7e037571a6f7
  86. King, R. D., Rowland, J., Oliver, S. G., Young, M., Aubrey, W., Byrne, E., ... Clare, A. (2009). The automation of science. Science, 324(5923), 85-89. DOI: 10.1126/science.1165620. Publication link: 953b64bb-8e2a-4434-8820-4c0c23fe602d
  87. Gibson, A., Gamble, M., Wolstencroft, K., Oinn, T., Goble, C., Belhajjame, K., & Missier, P. (2009). The data playground: An intuitive workflow specification environment. Future Generation Computer Systems, 25(4), 453-459. DOI: 10.1016/j.future.2008.09.009. Publication link: 6404b416-bbd1-45ff-ba67-4a787783ec2b
  88. De Roure, D., Goble, C., & Stevens, R. (2009). The design and realisation of the m yExperiment Virtual Research Environment for social sharing of workflows. Future Generation Computer Systems, 25(5), 561-567. DOI: 10.1016/j.future.2008.06.010. Publication link: 84174aaa-6b99-44de-ae60-d520ffe27fb6
  89. Austin, J. P., Sundararajan, M., Vincent, M. A., & Hillier, I. H. (2009). The geometric structures, vibrational frequencies and redox properties of the actinyl coordination complexes ([AnO(2)(L)(n)](m); An = U, Pu, Np; L = H2O, Cl-, CO32-, CH3CO2-, OH-) in aqueous solution, studied by density functional theory methods. Dalton Transactions, (30), 5902-5909. DOI: Doi 10.1039/B901724k. Publication link: d6d33fc8-07aa-4f58-adb6-8790e947b742
  90. King, R. D., Rowland, J., Aubrey, W., Liakata, M., Markham, M., Soldatova, L. N., ... Pir, P. (2009). The robot scientist adam. Computer, 42(8), 46-54. DOI: 10.1109/MC.2009.270. Publication link: 42c41b69-283d-4da3-8fe2-6831ac706e2e
  91. Kano, Y., Baumgartner, W. A., McCrohon, L., Ananiadou, S., Cohen, K. B., Hunter, L., & Tsujii, J. (2009). U-Compare: Share and compare text mining tools with UIMA. Bioinformatics, 25(15), 1997-1998. DOI: 10.1093/bioinformatics/btp289. Publication link: ced41bac-7839-45a6-a860-34f8af02eeac
  92. Lyte, V., Jones, S., Ananiadou, S., & Kerr, L. (2009). UK Institutional Repository Search: Innovation and Discovery. Ariadne, (61). . Publication link: f944e196-e058-46ba-ac5c-cbde0da61590
  93. Attwood, T. K., Kell, D. B., McDermott, P., Marsh, J., Pettifer, S. R., & Thorne, D. (2009). Utopia Documents and The Semantic Biochemical Journal experiment. EMBnet.journal, 15(4), 3-6. . Publication link: 3eef0d18-ed60-4631-8fd4-327df7bcc9b6
  94. Daumas, M., Lester, D., & Muñoz, C. (2009). Verified real number calculations: A library for interval arithmetic. IEEE Transactions on Computers, 58(2), 226-237. [4685896]. DOI: 10.1109/TC.2008.213. Publication link: 92aa6f5b-d5ff-4dc7-bf3b-461b98ba1e01
  95. Pettifer, S., Thorne, D., McDermott, P., Marsh, J., Villéger, A., Kell, D. B., & Attwood, T. K. (2009). Visualising biological data: A semantic approach to tool and database integration. BMC Bioinformatics, 10(6), [S19]. DOI: 10.1186/1471-2105-10-S6-S19. Publication link: 8907b50f-ba22-4180-8327-b25239da196b
  96. Austin, J. P., Burton, N. A., Hillier, I. H., Sundararajan, M., & Vincent, M. A. (2009). Which density functional should be used to study actinyl complexes?Physical Chemistry Chemical Physics, 11(8), 1143-1145. DOI: 10.1039/b821577d. Publication link: dd4621c3-eb27-42e7-ba90-73606721c9e2
  97. Pandian, S., Vincent, M. A., Hillier, I. H., & Burton, N. A. (2009). Why does the enzyme SyrB2 chlorinate, but does not hydroxylate, saturated hydrocarbons? A density functional theory (DFT) study. Dalton Transactions, (31), 6201-6207. DOI: 10.1039/b906866j. Publication link: 3e111a24-c916-497c-b59e-326257deb6de
  98. Swainston, N., & Mendes, P. (2009). libAnnotationSBML: A library for exploiting SBML annotations. Bioinformatics, 25(17), 2292-2293. DOI: 10.1093/bioinformatics/btp392. Publication link: 575455f4-aff7-45eb-add4-635f31cca5f2
Conference contribution
  1. Ali, H., Macaulay, L., & Zhao, L. (2009). A Collaboration Pattern Language for eParticipation: a Strategy for Reuse. In host publication. Reading, England: ACI. . Publication link: a2741ac7-70b2-4f97-9b30-d053eb09a7e0
  2. {Fernandez-Breis}, J. T., Aranguren, M. E., & Stevens, R. (2009). A Quality Evaluation Framework for Bio-Ontologies. In Proceedings of the International Conference on Biomedical Ontologies (ICBO 2009). DOI: 10.1038/npre.2009.3479.1. Publication link: c669aa24-1c41-4b17-bade-eacbb229fc74
  3. Babenyshev, S., Rybakov, V., Schmidt, R. A., Tishkovsky, D., Bolander, T. (Ed.), & Braüner, T. (Ed.) (2009). A Tableau Method for Checking Rule Admissibility in S4. In T. Bolander, & T. Braüner (Eds.), Methods for Modalities-6 Workshop Proceedings (M4M'09). (pp. 12-26). Publication link: 20854d3a-272a-4e32-9f9c-282ecb2604e6
  4. Babenyshev, S., Rybakov, V., Schmidt, R. A., Tishkovsky, D., Lynch, C. (Ed.), Narendran, P. (Ed.), ... Tiwari, A. (Ed.) (2009). A Tableau Method for Checking Rule Admissibility in S4. In C. Lynch, P. Narendran, F. Baader, S. Ghilardi, M. Hermann, V. Sofronie-Stokkermans, & A. Tiwari (Eds.), Proceedings of the 23d International Workshop on Unification (UNIF'09) and the International Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT'09). (pp. 47-61). Publication link: 2f172180-15af-4f9f-9632-3f5d55f14f2f
  5. Babenyshev, S., Rybakov, V., Schmidt, R. A., & Tishkovsky, D. (2009). A Tableau Method for Checking Rule Admissibility in S4. In Proc. ADDCT & UNIF 2009.. Publication link: 55dd3512-bf87-4ebb-8b51-ebb956cf106d
  6. Bujorianu, M. C., Bujorianu, M. L., & Barringer, H. (2009). A Unifying Specification Logic for Cyber-Physical Systems. In Proceedings of 17th Mediterranean Conference on Control and Automation. (pp. 1166-1171). IEEE Computer Society. . Publication link: 3d42da25-ae56-4623-9d97-cba18845250f
  7. Jupp, S., Bechhofer, S., & Stevens, R. (2009). A flexible API and editor for SKOS. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5554, pp. 506-520). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-02121-3_38. Publication link: 80b7975a-7ef9-4347-8f50-58ec01506408
  8. Osathanunkul, K., & Zhang, N. (2009). A flexible routing decision framework to support diversified application-level data types in MANETs. In 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009|Int. Conf. New Technol., Mobil. Secur., NTMS. ACM. DOI: 10.1109/NTMS.2009.5384688. Publication link: 23bad48f-cfe6-48e3-a3c3-f425ee209428
  9. Bujorianu, M. C., Bujorianu, M. L., & Barringer, H. (2009). A formal framework for user centric control of probabilistic multi-agent cyber-physical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5405, pp. 97-116). Springer Verlag. . Publication link: 0b68121f-33c9-41f8-b996-5920c2ada1a5
  10. Yao, L., & Zhang, N. (2009). A generic authentication LoA derivation model. In IFIP Advances in Information and Communication Technology|IFIP Advances in Information and Communication Technology. (Vol. 297, pp. 98-108). Springer Verlag. . Publication link: 2c86783b-1e5b-41bd-b1e5-821ea3f2778e
  11. Jagode, H., Dongarra, J., Alam, S., Vetter, J., Spear, W., & Malony, A. D. (2009). A holistic approach for performance measurement and analysis for petascale applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5545, pp. 686-695). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-01973-9_77. Publication link: f21a20b7-d58b-46a1-ada5-296affc2c709
  12. Ray, O., Whelan, K., & King, R. (2009). A nonmonotonic logical approach for modelling and revising metabolic networks. In Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2009|Proc. Int. Conf. Complex, Intell. Softw. Intensive Syst., CISIS. (pp. 825-829). DOI: 10.1109/CISIS.2009.175. Publication link: 35fea42e-9c96-494a-b817-e111a3273a4b
  13. Li, Y., Dongarra, J., & Tomov, S. (2009). A note on auto-tuning GEMM for GPUs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5544, pp. 884-892). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-01970-8_89. Publication link: c4353f2a-57e8-421f-a400-26c8460d21f7
  14. Wu, J., Furber, S., & Garside, J. (2009). A programmable adaptive router for a GALS parallel system. In Proceedings - International Symposium on Asynchronous Circuits and Systems|Proc. Int. Symp. Asynchr. Circuits Syst.. (pp. 23-31). USA: IEEE. DOI: 10.1109/ASYNC.2009.17. Publication link: 180f19dd-6d81-4341-96e1-0818ceb8199b
  15. Song, F., Dongarra, J., & Moore, S. (2009). A scalable non-blocking multicast scheme for distributed dag scheduling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5544, pp. 195-204). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-01970-8_20. Publication link: b88dbaf9-7ef4-4d43-b010-c854f77f3347
  16. Siozios, K., Pavlidis, V. F., & Soudris, D. (2009). A software-supported methodology for exploring interconnection architectures targeting 3-D FPGAs. In Proceedings -Design, Automation and Test in Europe, DATE|Proc. Des. Autom. Test Eur. DATE. (pp. 172-177). IEEE. . Publication link: 517c288d-e273-4936-8025-d68555df18f5
  17. Tsarkov, D., Sattler, U., Stevens, M., & Stevens, R. (2009). A solution for the man-man problem in the family history knowledge base. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 529). Publication link: eefe024e-c743-4aa5-b161-0e23c586fead
  18. Tarazona, L. A., Edwards, D. A., & Plana, L. A. (2009). A synthesisable quasi-delay insensitive result forwarding unit for an asynchronous processor. In 12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2009|Euromicro Conf. Digit. Syst. Des.: Archit., Methods Tools, DSD. (pp. 627-634). USA: IEEE. DOI: 10.1109/DSD.2009.163. Publication link: 20c735e8-1e8e-41ee-89b0-b5be439ddd78
  19. Yang, S., Furber, S. B., Shi, Y., & Plana, L. A. (2009). A token-managed admission control system for QoS provision on a best-effort GALS interconnect. In Fundamenta Informaticae. (1 ed., Vol. 95, pp. 53-72). IOS Press. DOI: 10.3233/FI-2009-142. Publication link: d8336f86-149b-43f2-ae52-fe0b5daba794
  20. Rast, A. D., Khan, M. M., Jin, X., Plana, L. A., & Furber, S. B. (2009). A universal abstract-time platform for real-time neural networks. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. (pp. 2611-2618). USA: IEEE. DOI: 10.1109/IJCNN.2009.5179067. Publication link: 014b066c-46e7-4d91-b0e8-daf6746f166a
  21. Rea, B., Weissenbacher, D., Sasaki, Y., Thomas, J., & Ananiadou, S. (2009). ASSIST: Education Evidence Portal. In Proceedings of the UK e-Science All Hands Meeting 2009.. Publication link: 5c68597b-8668-4f20-98fc-6bf7629ec0b8
  22. Field, D. G., & Ramsay, A. M. (2009). Actions speak louder than words: an intentional look at defining communicative acts for embodied conversational agents. In AAMAS 2009 Workshop. (pp. 25-30). Publication link: 93cfa02e-8d45-45fd-a8ca-3a116873c4da
  23. Yang, S., Furber, S. B., & Plana, L. A. (2009). Adaptive admission control on the SpiNNaker MPSoC. In Proceedings - IEEE International SOC Conference, SOCC 2009|Proc. - IEEE Int. SOC Conf., SOCC. (pp. 243-246). USA: IEEE Computer Society. DOI: 10.1109/SOCCON.2009.5398050. Publication link: 56186171-2b1f-416e-ade3-3683f543a8a0
  24. Barringer, H., Groce, A., Havelund, K., & Smith, M. H. (2009). An Entry Point for Formal Methods: Specification and Analysis of Event Logs. In host publication. (Vol. 20, pp. 16-21). (Electronic Proceedings in Theoretical Computer Science). DOI: 10.4204/EPTCS.20.2. Publication link: 2d5fa1b5-df66-419a-b790-1323b997f689
  25. Bujorianu, M. C., & Barringer, H. (2009). An integrated specification logic for cyber-physical systems. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS|Proc IEEE Int Conf Eng Complex Comput Syst ICECCS. (pp. 291-300). IEEE Computer Society. DOI: 10.1109/ICECCS.2009.36. Publication link: 1fc6dc50-791e-4700-97c4-fb5b0d2e53d0
  26. Algahtani, S., Black, W., & McNaught, J. (2009). Arabic part of speech tagging using Tranformation-Based Learning. In Proceedings of the 2nd International Conference on Arabic Language Resources and Tools. (pp. -5pp). Publication link: c568fcf7-ad48-4930-9ef5-a3ba2d09be57
  27. Brown, A., Jay, C., & Harper, S. (2009). Audio Presentation of Auto Suggest Lists. In W4A'09: Proceedings of the 2009 Cross-Disciplinary Conference on Web Accessibility.. Publication link: 31752ef2-258b-4e7d-bad9-94887b29a0e9
  28. Schmidt, R. A. (2009). Automated Deduction: CADE-22. In Lecture Notes in Artificial Intelligence. (Vol. 5663). (Lecture Notes in Artificial Intelligence). Springer Verlag. . Publication link: 0d5d7c92-9564-42c5-a03d-5f3332cedb53
  29. Schmidt, R. A., & Tishkovsky, D. (2009). Automated synthesis of tableau calculi. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5607, pp. 310-324). DOI: 10.1007/978-3-642-02716-1_23. Publication link: d427df31-7f04-416e-a232-b39c6bc86b49
  30. Albin-Clark, A., & Howard, T. (2009). Automatically generating virtual humans using evolutionary algorithms. In Theory and Practice of Computer Graphics 2009, TPCG 2009 - Eurographics UK Chapter Proceedings|Theory Pract. Comput. Graph., TPCG - Eurographics UK Chapter Proc.. (pp. 61-64). Switzerland: Eurographics Association. DOI: 10.2312/LocalChapterEvents/TPCG/TPCG09/061-064. Publication link: e303e796-45d1-49e9-9a31-c6bcbd42930a
  31. Sasaki, Y., Thompson, P., McNaught, J., & Ananiadou, S. (2009). Biological event recognition with textual induction. In Proceedings of the 3rd International Symposium on Languages in Biology and Medicine (LBM-2009). (pp. 91-96). Publication link: 33aab968-bdc2-4736-989a-e674790fab34
  32. Furber, S., & Brown, A. (2009). Biologically-inspired massively-parallel architectures- Computing beyond a million processors. In Proceedings - International Conference on Application of Concurrency to System Design, ACSD|Proc. Int. Conf. Appl. Concurrency Syst. Des. ACSD. (pp. 3-12). USA: IEEE. DOI: 10.1109/ACSD.2009.17. Publication link: 867ac887-30e0-4223-9a80-1c07c30d812b
  33. Sarafraz, F., Eales, J., Mohammadi, R., Dickerson, J., Robertson, D., & Nenadic, G. (2009). Biomedical event detection using rules, conditional random fields and parse tree distances. In Proceedings of the Workshop on Current Trends in Biomedical Natural Language Processing: Shared Task. (pp. 115-118). Stroudsburg, PA, USA: Association for Computational Linguistics. DOI: 10.3115/1572340.1572359. Publication link: 04018138-4d01-48af-bec7-58ca9909f1c0
  34. Holland, S., & Neville, R. (2009). Classification of handwritten characters by their symmetry features. In ACT 2009 - International Conference on Advances in Computing, Control and Telecommunication Technologies|ACT - Int. Conf. Adv. Comput., Control Telecommun. Technol.. (pp. 316-318). IEEE. DOI: 10.1109/ACT.2009.85. Publication link: 17d83650-6b13-41bf-a30d-86964e78f62a
  35. Wang, X., Tsujii, J., & Ananiadou, S. (2009). Classifying relations for biomedical named entity disambiguation. In EMNLP 2009 - Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: A Meeting of SIGDAT, a Special Interest Group of ACL, Held in Conjunction with ACL-IJCNLP 2009|EMNLP - Proc. Conf. Empir. Methods Nat. Lang. Process.: Meet. SIGDAT, Spec. Interest Group ACL, Held Conjunction ACL-IJCNLP. (pp. 1513-1522). Publication link: 134d55cf-e519-4377-b749-07496bd1604a
  36. Banach, R. (2009). Coarse grained retrenchment and the Mondex denial of service attacks. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009|Proc. - IEEE Int. Symp. Theor. Asp. Softw. Eng., TASE. (pp. 103-110). Tianjin, China: IEEE. DOI: 10.1109/TASE.2009.19. Publication link: ec121f41-0570-4be0-bb21-3020b94ad859
  37. Lunn, D., Harper, S., Bechhofer, S., Sloan, D. (Ed.), Asakawa, C. (Ed.), & Takagi, H. (Ed.) (2009). Combining SADIe and AxsJAX to improve the accessibility of web content. In D. Sloan, C. Asakawa, & H. Takagi (Eds.), W4A. (pp. 75-78). (ACM International Conference Proceeding Series). ACM. . Publication link: 2045169b-441b-486d-8744-29eb71dca1f0
  38. Tresadern, P. A., Bhaskar, H., Adeshina, S. A., Taylor, C. J., & Cootes, T. F. (2009). Combining local and global shape models for deformable object matching. In British Machine Vision Conference, BMVC 2009 - Proceedings|Br. Mach. Vis. Conf., BMVC - Proc.. British Machine Vision Association, BMVA. DOI: 10.5244/C.23.95. Publication link: f04129bb-2a29-44ed-9b32-31a408443dd4
  39. Matsuoka, Y., Ghosh, S., Kikuchi, N., Sætre, R., Kemper, B., Okazaki, N., ... Kitano, H. (2009). Community Platform for Pathway Model Building. In 10th International Conference on Systems Biology. (pp. 139-140). Publication link: 77003d05-43df-4c10-ad94-c225b33957cd
  40. Hoder, K., & Voronkov, A. (2009). Comparing unification algorithms in first-order theorem proving. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5803, pp. 435-443). DOI: 10.1007/978-3-642-04617-9_55. Publication link: 14293e25-d173-4be3-baf7-d7a9dccdea08
  41. Galpin, I., Brenninkmeijer, C. Y. A., Jabeen, F., Fernandes, A. A. A., & Paton, N. W. (2009). Comprehensive optimization of declarative sensor network queries. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5566, pp. 339-360). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-02279-1_26. Publication link: 30932e6a-fca6-4495-9a1b-c6d99ab8338d
  42. Allen, G., Nabrzyski, J., Seidel, E., Albada, G. D. V., Dongarra, J., & Sloot, P. M. A. (Eds.) (2009). Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I. In Lecture Notes in Computer Science. (Vol. 5544). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-01970-8. Publication link: 8d6b4a63-1791-48b9-9cc7-cd9103912d2f
  43. Allen, G., Nabrzyski, J., Seidel, E., Albada, G. D. V., Dongarra, J., & Sloot, P. M. A. (Eds.) (2009). Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part II. In Lecture Notes in Computer Science. (Vol. 5545). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-01973-9. Publication link: aebd1752-79da-4cc6-a5ae-847d7328f524
  44. Korovin, K., Tsiskaridze, N., & Voronkov, A. (2009). Conflict resolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5732, pp. 509-523). Springer Verlag. DOI: 10.1007/978-3-642-04244-7_41. Publication link: 6d934f02-ddf9-47c9-80e4-f78ab514dfa8
  45. Latif, S., Wood, M. M., & Nenadic, G. (2009). Correlation between human assessment of essays and ROUGE evaluation of essays' summaries. In 2009 8th International Symposium on Natural Language Processing, SNLP '09|Int. Symp. Nat. Lang. Process., SNLP. (pp. 122-127). DOI: 10.1109/SNLP.2009.5340933. Publication link: a02d57d9-e5ab-4dd3-b152-b5d07d4c71e7
  46. Paton, N. W., Missier, P., & Hedeler, C. (Eds.) (2009). Data Integration in the Life Sciences, 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings. In Lecture Notes in Computer Science. (Vol. 5647). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-02879-3. Publication link: a2576271-57a8-4ad1-a02b-7b3575a47fed
  47. Missier, P., Lengu, R., Fernandes, A. A. A., Guerrini, G., & Mesiti, M. (2009). Data quality support to on-the-fly data integration using adaptive query processing. In 17th Italian Symposium on Advanced Database Systems, SEBD 2009|Ital. Symp. Adv. Databases Syst., SEBD. (pp. 213-220). Publication link: 10f81c3c-69d3-423d-a600-9920f6004e39
  48. Dada, J. O., & Mendes, P. (2009). Design and architecture of web services for simulation of biochemical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5647, pp. 182-195). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-02879-3_15. Publication link: 657b74af-4e62-4689-bc11-cc2996810c20
  49. Anwar, F., & Morris, T. (2009). Discovery of anomalous event against frequent sequence of video events. In Proceedings - 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009|Proc. - Int. Conf. Comput. Intell. Softw. Eng., CiSE. DOI: 10.1109/CISE.2009.5362574. Publication link: 4e588107-6753-4865-aa9a-8df71a9fee8a
  50. Power, R., Stevens, R., Scott, D., & Rector, A. (2009). Editing OWL through generated CNL. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 448). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 5181f9e0-ad25-4e28-b006-536550c477e2
  51. Navaridas, J., Pascual, J. A., & Miguel-Alonso, J. (2009). Effects of job and task placement on parallel scientific applications performance. In Proceedings of the 17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009|Proc. Euromicro Int. Conf. Parallel, Distrib. Netw.-Based Process., PDP. (pp. 55-61). DOI: 10.1109/PDP.2009.53. Publication link: 9b2850cc-1bf6-46b9-8e94-b7064a60e002
  52. Navaridas Palma, J., Pascual, J. A., Navaridas, J., & Miguel-Alonso, J. (2009). Effects of topology-aware allocation policies on scheduling performance. In host publication. (Vol. 5798 LNCS, pp. 138-156). DOI: 10.1007/978-3-642-04633-9_8. Publication link: 4ad4e48a-a0ea-4729-bdec-88a71fc8fdc9
  53. Truong, H. L., Morten, E., Laclavik, M., Burkhart, T., Carpenter, M., Dorn, C., ... Werth, D. (2009). Email-based interoperability service utilities for cooperative small and medium enterprises. In ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings|ICEIS - Int. Conf. Enterp. Inf. Syst., Proc.. (Vol. SAIC, pp. 95-101). Publication link: 10528932-eaca-4c2a-b325-76623ba0f1d6
  54. Iannone, L., Rector, A., & Stevens, R. (2009). Embedding knowledge patterns into OWL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5554, pp. 218-232). (Lecture Notes in Computer Science LNCS). Springer Verlag. DOI: 10.1007/978-3-642-02121-3_19. Publication link: 40a6b2f1-4236-44ca-9865-81dd0240b7e8
  55. Sen, B., & Furber, S. (2009). Evaluating rank-order code performance using a biologically-derived retinal model. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. (pp. 2867-2874). USA: IEEE. DOI: 10.1109/IJCNN.2009.5178842. Publication link: 26cf0f64-47d0-4dbb-9fcd-ed1bf1fd9186
  56. Khan, M. M., Navaridas, J., Rast, A. D., Jin, X., Plana, L. A., Luján, M., ... Furber, S. B. (2009). Event-driven configuration of a neural network CMP system over a homogeneous interconnect fabric. In 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009|Int. Symp. Parallel Distrib. Comput., ISPDC. (pp. 54-61). USA: IEEE. DOI: 10.1109/ISPDC.2009.25. Publication link: bacd2246-a5cd-4781-9f0f-6ea0ae5a0fc7
  57. Horridge, M., Parsia, B., & Sattler, U. (2009). Explaining inconsistencies 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. 5785, pp. 124-137). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-04388-8_11. Publication link: 71e43103-3521-4e33-ac0a-ce46d18e4281
  58. Pettifer, S., P McDermott, . U., & S Pettifer, . U. (2009). Extending collaborative tagging for use with scientific data. In Proceedings of e-Society 2009.. Publication link: 0651624e-268f-4b36-b29e-b9ab5853b672
  59. Tsuruoka, Y., Tsujii, J., & Ananiadou, S. (2009). Fast full parsing by linear-chain conditional random fields. In EACL 2009 - 12th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings|EACL - Conf. Eur. Chapter Assoc. Comput. Linguist., Proc.. (pp. 790-798). Publication link: 8796c4a1-ebce-4e14-988c-02286248ea5a
  60. Shi, Y., Furber, S. B., Garside, J., & Plana, L. A. (2009). Fault tolerant delay insensitive inter-chip communication. In Proceedings - International Symposium on Asynchronous Circuits and Systems|Proc. Int. Symp. Asynchr. Circuits Syst.. (pp. 77-84). USA: IEEE. DOI: 10.1109/ASYNC.2009.21. Publication link: 334c5a69-92f5-4b12-84a1-11b173e7d3fb
  61. Kovács, L., & Voronkov, A. (2009). Finding loop invariants for programs over arrays using a theorem prover. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5503, pp. 470-485). Springer Verlag. DOI: 10.1007/978-3-642-00593-0_33. Publication link: d2d6a579-f62a-4f5e-abef-2778735bab89
  62. Ukor, R., & Carpenter, A. (2009). Flexible service selection optimization using meta-metrics. In SERVICES 2009 - 5th 2009 World Congress on Services|SERVICES - World Congr. Serv.. (pp. 593-598). IEEE Computer Society. DOI: 10.1109/SERVICES-I.2009.71. Publication link: 91d03f75-2cbe-4482-96b1-fad57e0e9e9b
  63. Pratt-Hartmann, I., & Düntsch, I. (2009). Functions definable by arithmetic circuits. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5635, pp. 409-418). (Lecture notes in computer science). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-03073-4_42. Publication link: 1bf27368-635c-4f2c-a080-9b7e68ced363
  64. Ukor, R., & Carpenter, A. (2009). Goal-oriented service selection in business processes. In 4th International Conference on Software Engineering Advances, ICSEA 2009, Includes SEDES 2009: Simposio para Estudantes de Doutoramento em Engenharia de Software|Int. Conf. Softw. Eng. Adv., ICSEA, Incl. SEDES: Simp. Estud. Doutoramento Eng. Softw.. (pp. 484-489). IEEE. DOI: 10.1109/ICSEA.2009.76. Publication link: 20cf3f75-36a9-4bc3-86fa-70acd158f63f
  65. Tekiner, F., Tsuruoka, Y., Tsujii, J., & Ananiadou, S. (2009). Highly scalable text mining - Parallel tagging application. In ICSCCW 2009 - 5th International Conference on Soft Computing, Computing with Words and Perceptions in System Analysis, Decision and Control|ICSCCW - Int. Conf. Soft Comput., Comput. Words Percept. Syst. Anal., Decis. Control. DOI: 10.1109/ICSCCW.2009.5379432. Publication link: ca929ed7-1e01-47e3-8135-3e7d605ce22b
  66. Navarro-López, E. M. (2009). Hybrid modelling of a discontinuous dynamical system including switching control. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 2, pp. 87-92). IFAC. . Publication link: 0207329a-23ff-40c5-b9f4-551bbe813194
  67. Navarro-López, E. M. (2009). Hybrid-automaton models for simulating systems with sliding motion: Still a challenge. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 3, pp. 322-327). IFAC. . Publication link: 05f26fde-446c-4899-a252-8d3ed3f834e1
  68. Jin, X., Rast, A., Galluppi, F., Khan, M. M., & Furber, S. (2009). Implementing learning on the SpiNNaker universal neural chip multiprocessor. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (PART 1 ed., Vol. 5863 LNCS, pp. 425-432). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5863 LNCS, No. PART 1). DOI: 10.1007/978-3-642-10677-4_48. Publication link: d9532ae3-1d04-4f56-bb18-8edb452d2617
  69. Piao, S., Rea, B., McNaught, J., & Ananiadou, S. (2009). Improving full text search with text mining tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5723, pp. 301-302). DOI: 10.1007/978-3-642-12550-8_29. Publication link: cf06ab8d-b1a0-4de1-8fe6-5b45c0987278
  70. Kano, Y., McCrochon, L., Ananiadou, S., & Tsujii, J. (2009). Integrated NLP Evaluation System for Pluggable Evaluation Metrics with Extensive Interoperable Toolkit. In Proceedings of the NAACL HLT Workshop on Software Engineering, Testing, and Quality Assurance for Natural Language Processing. (pp. 22-30). Publication link: 3c2c7b56-40bb-4656-8686-b49638de6bed
  71. Voronkov, A., & Narasamdya, I. (2009). Inter-program properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5673, pp. 343-359). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-03237-0_23. Publication link: ad5d2c6a-720c-4734-8410-2aa266dfc875
  72. Kovács, L., & Voronkov, A. (2009). Interpolation and symbol elimination. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5663, pp. 199-213). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-02959-2_17. Publication link: 855c5367-08aa-46f2-b06c-df23601d5e5f
  73. Zhang, N., & Shi, Q. (2009). Journal of Information Assurance and Security. In host publication. (Vol. 4). USA: Dynamic Publishers, Inc. . Publication link: 588cbfab-9acf-43c2-a0f3-fb24462f4fc6
  74. Horridge, M., Parsia, B., & Sattler, U. (2009). Lemmas for Justifications in OWL. In Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. (Vol. 477). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 11cbeb11-c265-4344-a2de-feebc06aa2d4
  75. Horridge, M., Parsia, B., Grau, B. C. (Ed.), Horrocks, I. (Ed.), Motik, B. (Ed.), & Sattler, U. (Ed.) (2009). Lemmas for Justifications in OWL. In B. C. Grau, I. Horrocks, B. Motik, & U. Sattler (Eds.), Description Logics. (Vol. 477). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: e98ea719-e0fb-4f09-9acf-f8b7db813db9
  76. Caunce, A., Cristinacce, D., Taylor, C., & Cootes, T. (2009). Locating facial features and pose estimation using a 3D shape model. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5875, pp. 750-761). Springer Verlag. DOI: 10.1007/978-3-642-10331-5_70. Publication link: 4ed0b7be-ab03-4d1b-9e73-73aff129ec2f
  77. Maheshwari, K., Goble, C., Missier, P., & Montagnat, J. (2009). Medical image processing workflow support on the EGEE grid with taverna. In Proceedings - IEEE Symposium on Computer-Based Medical Systems|Proc. IEEE Symp. Comput.-Based Med. Syst.. IEEE Press. DOI: 10.1109/CBMS.2009.5255332. Publication link: ebe96663-4792-4e08-a21d-a940ce8a62ca
  78. Buchan, I., Goble, C., Dale, A., Sufi, S., Thew, S., Dunlop, I., ... Ainsworth, J. (2009). MethodBox: Survey Alchemy. In host publication.. Publication link: 7a1217d4-d20b-4a70-a43f-ed9ccf25c0e1
  79. Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., & Zakharyaschev, M. (2009). Minimal module extraction from DL-lite ontologies using QBF solvers. In IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.. (pp. 836-841). Publication link: a29d5288-9f97-4e81-8841-5f5f3bc2e3a6
  80. Ukor, R., & Carpenter, A. (2009). Minimising lifecycle transitions in service-oriented business processes. In Lecture Notes in Business Information Processing|Lect. Notes Bus. Inf. Process.. (Vol. 29, pp. 126-135). (Lecture Notes in Business Information Processing). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-01862-6_11. Publication link: 5b84b9df-81f6-4138-b924-3178b2908c00
  81. Afzal, H., Stevens, R., & Nenadic, G. (2009). Mining semantic descriptions of bioinformatics web resources from the literature. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5554, pp. 535-549). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-02121-3_40. Publication link: 22efac89-f703-4f3d-b19f-6c37002e48c3
  82. Afzal, H., Eales, J., Stevens, R., & Nenadic, G. (2009). Mining semantic networks of bioinformatics e-resources from the literature. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 559). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: c4bd00ad-1830-4819-885d-ea0857852606
  83. Schläpfer, M., & Shapiro, J. L. (2009). Modeling failure propagation in large-scale engineering networks. In Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering|Lect. Notes Inst. Comput. Sci. Soc. Informatics Telecommun. Eng.. (Vol. 5, pp. 2127-2138). (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering). Springer Verlag. DOI: 10.1007/978-3-642-02469-6_89. Publication link: bd4f0b6d-8ced-4634-acea-c1aa67cd3717
  84. Newman, D. R., Bechhofer, S., & De Roure, D. (2009). MyExperiment: An ontology for e-Research. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 523). Publication link: 1c58553b-1c32-4f28-a442-625fc05e081e
  85. Pratt-Hartmann, I. (2009). No syllogisms for the numerical syllogistic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5533, pp. 192-203). (Lecture notes in computer science). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-01748-3_13. Publication link: 3d827195-2620-49a3-9930-f18f8e244253
  86. Pratt-Hartmann, I., & Kazakov, Y. (2009). Note on the complexity of the satisfiability problem for graded modal logics. In Proceedings - Symposium on Logic in Computer Science|Proc Symp Logic Comput Sci. (pp. 407-416). IEEE Press. DOI: 10.1109/LICS.2009.17. Publication link: bcd529b8-6118-484f-ac28-d912986b0621
  87. Buchan, I., Sufi, S., Thew, S., Dunlop, I., Hiroeh, U., Canoy, D., ... Goble, C. (2009). Obesity e-Lab: connecting social science via research objects. In host publication.. Publication link: 4030a506-ba67-495c-981d-5f8f877404b8
  88. Klinov, P., & Parsia, B. (2009). On improving the scalability of checking satisfiability in probabilistic description logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5785, pp. 138-149). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-04388-8_12. Publication link: b9b2fbc5-f235-47ef-b5a6-39a4aa4b67c1
  89. Haflidason, S., & Neville, R. (2009). On the significance of the permutation problem in neuroevolution. In Proceedings of the 11th Annual Genetic and Evolutionary Computation Conference, GECCO-2009|Proc. Annu. Genetic Evol. Comput. Conf., GECCO. (pp. 787-794). ACM. DOI: 10.1145/1569901.1570010. Publication link: 527e4f80-4e0e-4219-bacd-86cd5a6c616a
  90. Canevet, C., Splendiani, A., Kuo, S., Stevens, R., Lord, P., & Rawlings, C. (2009). Ondex: Data integration and visualisation for the Semantic Web. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 559). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: f49b1813-77c9-46a1-b7b6-30220c2537a1
  91. Rast, A., Welbourne, S. R., Jin, X., & Furber, S. (2009). Optimal Connectivity In Hardware-Targeted MLP Networks. In Proceedings 2009 International Joint Conference on Neural Networks, IJCNN2009. (pp. 2619-2626). Publication link: bbe7dd77-eb23-49de-a19d-79efcd6e37b3
  92. Rast, A. D., Welbourne, S., Jin, X., & Furber, S. B. (2009). Optimal connectivity in hardware-targetted MLP networks. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. (pp. 2619-2626). USA: IEEE. DOI: 10.1109/IJCNN.2009.5178831. Publication link: e7cc66c9-1e09-41f1-b677-f129ac3f0329
  93. Bjørner, N., Tillmann, N., & Voronkov, A. (2009). Path feasibility analysis for string-manipulating programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5505, pp. 307-321). (Lecture Notes in Computer Science). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-00768-2_27. Publication link: 71da120c-fcc0-4dd7-9fe5-ad7fb308db79
  94. Holland, S., & Neville, R. (2009). Position invariant optical character recognition through symmetry features. In ACT 2009 - International Conference on Advances in Computing, Control and Telecommunication Technologies|ACT - Int. Conf. Adv. Comput., Control Telecommun. Technol.. (pp. 313-315). India: ACT. DOI: 10.1109/ACT.2009.84. Publication link: c5092ead-013f-4688-8c3a-19785f27b2b9
  95. Pavlidis, V. F., & De Micheli, G. (2009). Power distribution paths in 3-D ICs. In Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI|Proc. ACM Great Lakes Symp. VLSI GLSVLSI. (pp. 263-268). New York, USA: ACM. DOI: 10.1145/1531542.1531605. Publication link: da0343d5-03dc-4c6a-84ae-61abff9284e2
  96. Schober, D., Malone, J., Stevens, R., & Smith, B. (Ed.) (2009). Practical Experiences in Concurrent, Collaborative Ontology Building Using Collaborative Protégé. In B. Smith (Ed.), Proceedings of the International Conference on Biomedical Ontology (ICBO 2009). (pp. 147-150). Publication link: ee28822b-35d5-4ea8-a4c0-8cd88ed574fc
  97. Kalhori, S. R. N., & Zeng, X. J. (2009). Predicting the outcome of tuberculosis treatment course in frame of dots : From demographic data to logistic regression model. In HEALTHINF 2009 - Proceedings of the 2nd International Conference on Health Informatics|HEALTHINF - Proc. Int. Conf. Hlth. Informatics. (pp. 129-134). INSTICC Press. . Publication link: b1ff2257-6877-48cf-bbe1-66f6fae91f5b
  98. Haflidason, S., & Neville, R. (2009). Quantifying the Severity of the Permutation Problem in Neuroevolution. In host publication.. Publication link: 4b8816b5-c046-4839-bfa3-31df08add9dd
  99. Navaridas, J., & Miguel-Alonso, J. (2009). Realistic evaluation of interconnection networks using synthetic traffic. In 8th International Symposium on Parallel and Distributed Computing, ISPDC 2009|Int. Symp. Parallel Distrib. Comput., ISPDC. (pp. 249-252). DOI: 10.1109/ISPDC.2009.20. Publication link: 2959cfce-fec8-46d2-9a1e-2af8c080a903
  100. Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M-C., & Schmidt, R. A. (2009). Reasoning Web: Semantic Technologies for Information Systems. 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009, Tutorial Lectures. In Lecture Notes in Computer Science. (Vol. 5689). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 2b565fbe-a089-4ae8-9a86-05279455055a
  101. Ropo, M., Westerholm, J., & Dongarra, J. (Eds.) (2009). Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings. In Lecture Notes in Computer Science. (Vol. 5759). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-03770-2. Publication link: 4ed1eda6-8b23-4e13-89fd-e49d2520618a
  102. May, M., Proctor, S., Markham, K., Morris, T., Crowther, W. J., & Turner, M. J. (2009). Recognition and navigation for UAVs using computer vision. In host publication.. Publication link: e07b16e0-4429-4a56-9963-3bb898f1e551
  103. Xu, H., Pavlidis, V. F., & Micheli, G. D. (2009). Repeater insertion for two-terminal nets in three-dimensional integrated circuits. In Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering|Lect. Notes Inst. Comput. Sci. Soc. Informatics Telecommun. Eng.. (Vol. 20, pp. 141-150). Springer Verlag. DOI: 10.1007/978-3-642-04850-0_21. Publication link: b36aa872-b5aa-4ff2-87a4-5505b970b60c
  104. Barringer, H., Havelund, K., Rydeheard, D., & Groce, A. (2009). Rule systems for runtime verification: A short tutorial. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5779, pp. 1-24). Springer Verlag. DOI: 10.1007/978-3-642-04694-0_1. Publication link: 1344a509-2bb1-43f1-935a-6c80554fc95f
  105. Garfield, J., & Loucopoulos, P. (2009). Scenario Simulation Enrichment within System Co-Development. In host publication.. Publication link: 913c6f5c-5339-42fc-814d-e82e38a5fa23
  106. Nobata, C., Sasaki, Y., Okazaki, N., Rupp, C. J., Tsujii, J., & Ananiadou, S. (2009). Semantic Search on Digital Document Repositories based on Text Mining Results. In International Conferences on Digital Libraries and the Semantic Web 2009 (ICSD2009). (pp. 34-48). Publication link: 74687ed7-ec1f-4aa5-b17b-ff62aa997c99
  107. Brown, A., Lester, D., Plana, L. A., Furber, S., & Wilson, P. (2009). Spinnaker: The design automation problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5507, pp. 1049-1056). (Lecture Notes in Computer Science). Berlin / Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-03040-6_127. Publication link: 640982c7-f3ec-425d-95fd-7c38511af779
  108. Ansari, M., Luján, M., Kotselidis, C., Jarvis, K., Kirkham, C., & Watson, I. (2009). Steal-on-abort: Improving transactional memory performance through dynamic transaction reordering. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5409, pp. 4-18). Berlin / Heidelberg: Springer Verlag. DOI: 10.1007/978-3-540-92990-1_3. Publication link: 227c22dd-3dbf-4e6c-bd31-b5289d268cf9
  109. Lester, D., Daumas, M., Martin-Dorel, E., & Truffert, A. (2009). Stochastic formal correctness of numerical algorithms. In host publication. (pp. 136-145). First NASA Formal Methods Symposium (NFM09), p136{145, April 2009.. . Publication link: 6c7abff7-d7dc-4a17-8113-f5e5afa7f33f
  110. Ananiadou, S., Weissenbacher, D., Rea, B., Pieri, E., Lin, Y., Vis, F., ... Halfpenny, P. (2009). Supporting Frame Analysis using Text Mining. In Proceedings of the 5th International Conference on e-Social Science.. Publication link: 26dd5fc9-5ab0-4392-9a36-704f739f0835
  111. Thew, S., Sutcliffe, A., McNaught, J., Jarvis, P., Procter, R., De Bruijn, O., ... Buchan, I. (2009). Supportive creative thinking in Public Health Research – the ADVISES and Obesity e-Lab projects. In host publication.. Publication link: 5611759a-807b-44ec-b12f-fb7eb7764e69
  112. Goodacre, J. (2009). Targeted execution enabling increased power efficiency. In host publication. MPSoc. . Publication link: 043e6f36-0b11-4d4e-ba70-8eb7fda66165
  113. Birkin, M., Allan, R., Bechhofer, S., Buchan, I., Finch, J., Goble, C., ... Sinnott, R. (2009). The Elements of a Computational Infrastructure for Social Simulation. In host publication.. Publication link: 1c4a6bc1-451c-4cf6-802a-ec458819d8cb
  114. Horridge, M., & Bechhofer, S. (2009). The OWL API: A java API for working with OWL 2 ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 529). Publication link: ccb8ee61-b165-4e1d-b31e-ab955d5c45c4
  115. Goble, C., Goderis, A., Lin, Y., Poschen, M., Procter, R., Roure, D. D., ... LeJeune, L. (2009). The Open Scientist: fact or fiction? In host publication.. Publication link: 80163431-9254-4251-9081-d2468a4d5089
  116. Ananiadou, S., Sasaki, Y., & McNaught, J. (2009). The Value of an In-Domain Lexicon in Genomics QA. In host publication. (pp. 47-55). Publication link: 69061eaa-6ff3-44b0-9131-2080e91dc7df
  117. Garside, J. D., Furber, S. B., Temple, S., & Woods, J. V. (2009). The amulet chips: Architectural development for asynchronous microprocessors. In 2009 16th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2009|IEEE Int. Conf. Electron., Circuits Syst., ICECS. (pp. 343-346). USA: IEEE. DOI: 10.1109/ICECS.2009.5411006. Publication link: eb761814-7d1d-4d60-aebb-4a273c215e67
  118. Rast, A., Jin, X., Khan, M., & Furber, S. (2009). The deferred event model for hardware-oriented spiking neural networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5507, pp. 1057-1064). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-03040-6_128. Publication link: 5806dd29-4d87-4d32-a98f-f656f4280e93
  119. De Roure, D., Goble, C., Aleksejevs, S., Bechhofer, S., Bhagat, J., Cruickshank, D., ... Newman, D. (2009). The myExperiment Open Repository for Scientific Workflows. In host publication.. Publication link: 8ec37d5a-50af-4577-b6d9-c5f36e8f0124
  120. Sasaki, Y., Thompson, P., McNaught, J., & Ananiadou, S. (2009). Three BioNLP Tools Powered by the BioLexicon. In Proceeedings of EACL 2009 : Demonstration Session. (pp. 61-64). Publication link: f1842e1c-3d51-4925-97c0-c19574b18500
  121. Lengu, R., Missier, P., Fernandes, A. A. A., Guerrini, G., & Mesiti, M. (2009). Time-completeness trade-offs in record linkage using adaptive query processing. In Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, EDBT'09|Proc. Int. Conf. Extending Database Technol.: Adv. Database Technol., EDBT. (pp. 851-861). ACM. DOI: 10.1145/1516360.1516458. Publication link: f565634c-7f64-46bd-9748-db518da57402
  122. Hoefler, T., Lumsdaine, A., & Dongarra, J. (2009). Towards efficient mapreduce using MPI. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5759, pp. 240-249). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-03770-2-30. Publication link: 15e59fe8-e786-4862-b937-9bb4d4143f27
  123. May, M., Morris, T., Markham, K., Crowther, W. J., & Turner, M. J. (2009). Towards object recognition using HDR video, stereoscopic depth information and SIFT. In Theory and Practice of Computer Graphics 2009, TPCG 2009 - Eurographics UK Chapter Proceedings|Theory Pract. Comput. Graph., TPCG - Eurographics UK Chapter Proc.. (pp. 165-168). DOI: 10.2312/LocalChapterEvents/TPCG/TPCG09/165-168. Publication link: 5250ee1d-f6e8-42b5-9709-3b452c5747dc
  124. Navaridas, J., Luján, M., Miguel-Alonso, J., Plana, L. A., & Furber, S. (2009). Understanding the interconnection network of SpiNNaker. In Proceedings of the International Conference on Supercomputing|Proc Int Conf Supercomputing. (pp. 286-295). Association for Computing Machinery, Inc. (ACM). DOI: 10.1145/1542275.1542317. Publication link: bcab95d2-2d6e-4e9b-8636-d18abfd1b5a3
  125. Davies, N., Friday, A., Newman, P., Rutlidge, S., & Storz, O. (2009). Using Bluetooth Device Names to Support Interaction in Smart Environments. In Proceedings of the 7th International Workshop on Mobile Computing Systems and Applications. (pp. 151-164). (HotMobile '09). ACM. DOI: 10.1145/1555816.1555832. Publication link: 54288736-489b-4dab-98c5-5b3204e60d95
  126. Davies, N., Friday, A., Newman, P., Rutlidge, S., & Storz, O. (2009). Using Bluetooth Device Names to Support Interaction in Smart Environments. In Proceedings of the 7th International Conference on Mobile Systems, Applications, and Services. (pp. 151-164). (MobiSys '09). New York, NY, USA: ACM. . Publication link: de80c6ca-6309-475f-b9b2-3c875244f853
  127. Ramsay, A. M., Field, D., & Bunt, H. (Ed.) (2009). Using English for commonsense knowledge. In H. Bunt (Ed.), 8th International Workshop on Computational Semantics (IWCS-8).. Publication link: a8ec852f-74e4-440c-b0bc-a1859ce1eefd
  128. Brenninkmijer, C. Y. A., Galpin, I., Fernandes, A. A. A., & Paton, N. W. (2009). Validated cost models for sensor network queries. In ACM International Conference Proceeding Series|ACM Int. Conf. Proc. Ser.. (pp. 17-22). (ACM International Conference Proceeding Series). ACM. DOI: 10.1145/1594187.1594198. Publication link: 2f951b14-b727-447a-913f-b6f3e5eb956c
  129. Khasidashvili, Z., Kinanah, M., & Voronkov, A. (2009). Verifying equivalence of memories using a first order logic theorem prover. In 9th International Conference Formal Methods in Computer Aided Design, FMCAD 2009|Int. Conf. Form. Methods Comput. Aided Des., FMCAD. (pp. 128-135). DOI: 10.1109/FMCAD.2009.5351132. Publication link: 8bc4c0f7-8ee2-420c-9611-d37de44dda1a
  130. Ramsay, A. (2009). ’Sorry’ is the hardest word. In A. M. Ramsay, & D. G. Field (Eds.), Computational Approaches to Creativity (NAACL HLT Workshop). (pp. 94-101). Publication link: dfac733f-13ea-4bb9-a628-e8d3346b011f
Letter
  1. Vlahou, A., Allmaier, G., Bongcam-Rudloff, E., Charonis, A., Mischak, H., Spasovski, G., ... Zielenkiewicz, P. (2009). 2nd combined working group and management committee meeting of urine and kidney proteomics COST action 29-30 March 2009, Nafplio, Greece. Proteomics - Clinical Applications, 3(9), 1017-1022. DOI: 10.1002/prca.200900087. Publication link: 18154b3e-2ce7-43c8-b0ae-3b5cfe43f125
Book
  1. Hanson, V. L., Richards, J. T., Harper, S., & Trewin, S. (2009). Accessing the Web. (The Universal Access Handbook). No publisher name.. Publication link: 6b8af412-a9ae-457e-9b12-3e6746ee1abe
  2. Schierz, A. C., & King, R. D. (2009). Drugs and drug-like compounds: Discriminating approved pharmaceuticals from screening-library compounds. (Pattern Recognition in Bioinformatics). No publisher name. DOI: 10.1007/978-3-642-04031-3_29. Publication link: 3bd0a7d4-ceb1-4394-999a-9253042e3a29
  3. Yang, G. Z., Hawkes, D., Rueckert, D., Noble, J. A., & Taylor, C. J. (2009). Medical Image Computing and Computer-Assisted Intervention. (Lecture Notes in Computer Science). Springer Verlag.. Publication link: 1883d673-9c33-4513-8c6e-73da9d720e97
  4. Taylor, C. (2009). Medical Image Computing and Computer-Assisted Intervention - MICCAI 2009 - 12th International Conference, Proceedings. (Lecture Notes in Computer Science). Springer Verlag.. Publication link: f7a11d4d-b653-4af0-9201-ef8742a7db7d
Entry for encyclopedia/dictionary
  1. Ramsay, A., & Malmkjaer, K. (Ed.) (2009). From computational linguistics to natural language engineering. In The Routledge Encyclopedia of Linguistics. (pp. 68-98). Routledge. . Publication link: 1db37e10-0f04-4de7-bd48-700fc18641c9
Chapter
  1. Fisher, P., Noyes, H., Kemp, S., Stevens, R., & Brass, A. (2009). A systematic strategy for the discovery of candidate genes responsible for phenotypic variation. In Methods in molecular biology (Clifton, N.J.)|Methods Mol. Biol.. (Vol. 573, pp. 329-345). ({Methods in Molecular Biology{\texttrademark}}). Humana Press. DOI: 10.1007/978-1-60761-247-6_18.. Publication link: 808ab777-4d8f-48bd-9024-16d6110d396f
  2. Barrón-Cedeño, A., Sierra, G., Drouin, P., & Ananiadou, S. (2009). An improved automatic term recognition method for spanish. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5449, pp. 125-136). Proceedings of the 10th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing 2009): Springer Verlag. DOI: 10.1007/978-3-642-00382-0_10. Publication link: ea2ef5da-be16-4dc7-9c57-8ffb476dfe41
  3. Wolstencroft, K., Brenchley, R., Tabernero, L., Stevens, R., Popescu, M. (Ed.), & Xu, D. (Ed.) (2009). Analysing and Classifying Protein Family Data using OWL Reasoning. In {Data Mining Applications Using Ontologies in Biomedicine}. (pp. 63-82). (Bioinformatics and Biomedical Imaging). Artech House. . Publication link: dfb2a7c0-113b-4bce-bd30-91e257adc6c9
  4. Venturi, G., Montemagni, S., Marchi, S., Sasaki, Y., Thompson, P., McNaught, J., & Ananiadou, S. (2009). Bootstrapping a verb lexicon for biomedical information extraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5449, pp. 137-148). Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-00382-0_11. Publication link: 2f5107ee-df3e-4c23-b7e8-21ae939f9c9d
  5. Stevens, R., Fisher, P., Zhao, J., Goble, C., & Brass, A. (2009). Building Workflows that Traverse the Bioinformatics Data Landscape. In Data Mining Techniques in Grid Computing Environments|Data Min. Tech. in Grid Computing Environments. (pp. 141-163). John Wiley & Sons . DOI: 10.1002/9780470699904.ch9. Publication link: 3048fa58-d5e2-40a1-aba2-093a7acb0b46
  6. Attwood, T. K., Selimas, I., Buis, R., Altenburg, R., Herzog, R., Ledent, V., ... Maw, S. (Ed.) (2009). EMBER - A European Multimedia Bioinformatics Educational Resource. In Bioscience Education: Collected Papers. (pp. 167-178). Publication link: 550dca4d-5613-4de5-b70f-458126b490d2
  7. Stevens, R., Hadzic, M., Wongthongtham, P., Dillon, T., & Chang, E. (2009). Introduction to ontology. In Studies in Computational Intelligence|Stud. Comput. Intell.. (Vol. 219, pp. 37-60). (Bioinformatics and Biomedical Imaging). Artech House. DOI: 10.1007/978-3-642-01904-3_3. Publication link: 9fd84f51-5a59-4845-b808-1a379a810367
  8. Bechhofer, S., Özsu, M. T. (Ed.), & Liu, L. (Ed.) (2009). OWL: Web Ontology Language. In {Encyclopedia of Database Systems}. (Reference). Springer Verlag. . Publication link: bf1681ca-a76c-4bdc-a642-008bb33b3bba
  9. Stevens, R., Lord, P. W., {Liu, L. (Ed.), & Özsu}, M. T. (Ed.) (2009). Ontologies and Life Science Data Management. In {Encyclopedia of Database Systems}. (pp. 1960-1963). Springer Verlag. DOI: 10.1007/978-0-387-39940-9_631. Publication link: a0a15a58-7d5a-49e6-afc7-4efab194eea0
  10. Bechhofer, S., Paton, N., Özsu, M. T. (Ed.), & Liu, L. (Ed.) (2009). Ontology Visual Querying. In {Encyclopedia of Database Systems}. (Reference). Springer Verlag. . Publication link: 27f513b4-018e-4baa-a1d3-5d298a74ed24
  11. Cuenca Grau, B., Parsia, B., & Sirin, E. (2009). Ontology integration using ε-connections. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5445, pp. 293-320). (Lecture Notes in Computer Science; Vol. 5445). Springer Verlag. DOI: 10.1007/978-3-642-01907-4_14. Publication link: 77c85723-1be5-42ca-9516-de25e3b69218
  12. Lyytinen, K. J., Loucopoulos, P., Mylopoulos, J., & Robinson, W. (Eds.) (2009). Requirements Intertwining. In Design Requirements Engineering: A Ten-Year Perspective. (pp. 302-304). Heidelberg: Springer Verlag. . Publication link: 54456183-0497-41d8-8858-8b439475ebe3
  13. Goble, C., De Roure, D., Hey, T. (Ed.), Tansley, S. (Ed.), & Tolle, K. (Ed.) (2009). The impact of workflow tools on data-centric research in Data Intensive Computing. In Data Intensive Computing: The Fourth Paradigm of Scientific Discovery.. Publication link: a3d60a8f-a9a2-45cf-9479-52d44e4522ce
  14. Loucopoulos, P., & Garfield, J. (2009). The intertwining of enterprise strategy and requirements. In Lecture Notes in Business Information Processing|Lect. Notes Bus. Inf. Process.. (Vol. 14, pp. 352-373). Springer Verlag. DOI: 10.1007/978-3-540-92966-6_20. Publication link: 1e6d0966-4fd2-460f-957c-938f6d3e2298
  15. Hillier, I., McNamara, J. P., York, D. M. (Ed.), & Lee, T-S. (Ed.) (2009). Towards an Accurate Semi-Empirical Molecular Orbital Treatment of Covalent and Non-Covalent Biological Interactions. In Challenges and Advances in Computational Chemistry and Physics, Vol. 7: Multi-scale Quantum Models for Biocatalysis. Modern Techniques and Applications. (pp. 105-136). New York: Springer Verlag. . Publication link: f066089e-e55b-46c6-8299-326709ccae86
  16. Navarro Lopez, E., & Navarro-Lopez, E. M. (2009). What makes the control of discontinuous dynamical systems so complex? In Mathematical Problems in Engineering, Aerospace and Sciences: An International Series of Scientific Monographs and Text Books. UK: Cambridge Scientific Publishers. . Publication link: 4571eb58-9b30-4ff3-90e2-588fda613fee
Patent
  1. Goodacre, A. J., & Piry, F. C. M. (2009). Patent No. 7549024.. Publication link: 6c20ba15-3bf9-4bd7-93c7-c0ef1773fc6f
  2. Goodacre, A. J., Merrick, B., & Hitchman, D. (2009). Patent No. 7640491.. Publication link: 3e756575-8846-438d-a514-6501ee150578
Other
  1. Korovin, K. (2009). Instantiation-Based Reasoning for First-Order Logic. Automated Reasoning Workshop, University of Liverpool, .. Publication link: 599dcd81-f5f7-4aab-b440-7e3efb3807b1
  2. Korovin, K. (2009). Instantiation-based automated reasoning: From theory to practice. 163-166. 22nd International Conference on Automated Deduction, CADE-22, Montreal, QC, .DOI: 10.1007/978-3-642-02959-2_14. Publication link: e0eac249-714f-4481-ba89-342a0e4aa63e
  3. Ramsay, A. M. (2009). The Complexity of Everyday Language. Recent Advances in Natural Language Processing V, Borovets, .. Publication link: 4c280ea8-a1ff-47ee-b0ec-40f9362af2fc
Foreword/postscript
  1. Ananiadou, S. (2009). Text mining for biomedicine. In Information Retrieval in Biomedicine: Natural Language Processing for Knowledge Integration|Info. Retr. in Biomed.: Nat. Lang. Proc. for Knowledge Intgn.. (pp. 1-9). IGI Global. DOI: 10.4018/978-1-60566-274-9.ch001. Publication link: 5475d3f5-926b-4e9c-8861-08b2c26737f9
Anthology
  1. Loucopoulos, P. (2009). Design Requirements Engineering: A Ten-Year Perspective - Design Requirements Workshop, Revised and Invited Papers. (Lecture Notes in Business Information Processing). Heidelberg: Springer Verlag.. Publication link: 66dccf55-f2a9-4ea4-b05e-7d3a1b24ba54
Commissioned report
  1. Miles, A., & Bechhofer, S. (2009). SKOS Simple Knowledge Organization System Reference. (W3C Recommendation). http://www.w3.org/TR/skos-reference/: World Wide Web Consortium.. Publication link: 8e3f54f0-9cd0-481b-9d82-6939a5d596a9
  2. Goodacre, J., & Mijat, R. (2009). System Level Benchmarking Analysis of the Cortex-A9 MPCore. ARM connected Commuinty Techinical Symposium.. Publication link: 6c91c3d7-5aa4-4dc9-a6bc-f9519df148db
Master's Thesis
  1. Navarro Lopez, E. (2009). Computational model of a rotary system with discontinuous elements School of Mathematics: University of Manchester. Publication link: 8ced1b25-0cce-415b-aa71-3e209e9e12f8
Comment/debate
  1. Attwood, T. K. (2009). UMBER - University of Manchester Bioinformatics Education & Research. EMBnet.journal, 15(4), 41-42. . Publication link: b7c0b0f8-33a7-48a0-9fb5-322d25299365
Editorial
  1. Schmidt, R. A., Sutcliffe, G., & Schulz, S. (2009). Editorial: Empirically successful computerized reasoning. Journal of Applied Logic, 7(1), 1-1. . Publication link: c35b0b88-5f77-4105-b940-2d6b21b582bb
Poster
  1. Buchan, I., Ainsworth, J., Goble, C., Rector, A., & O'Brien, S. (2009). Public Health e-Labs: An ethical model and architecture for distributed epidemiology using healthcare records. Poster session presented at Public Health Information Network, Altanta, .. Publication link: ebf32abb-39db-48f6-bc2c-354620ea1d59
  2. Afzal, H., Stevens, R., & Nenadic, G. (2009). Towards Semantic Network of Bioinformatics Resources. Poster session presented at ISMB/ECCB 2009, Stockholm, Sweden, .. Publication link: f27def94-1f25-4616-835d-9e406aa7b8fe
▲ Up to the top