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


2007

Conference contribution
  1. Pettifer, S., Wolstencroft, K., Alper, P., Attwood, T., Coletta, A., Goble, C., ... Appl Sci, P. G. I. M. R. (Ed.) (2007). (my)Grid and UTOPIA: An integrated approach to enacting and visualising in silico experiments in the life sciences. In S. CohenBoulakia, V. Yannen, & P. G. I. M. R. Appl Sci (Eds.), 4th International Workshop on Data Integration in the Life Sciences. (Vol. 4544, pp. 59-70). Springer-Verlag Berlin. . Publication link: a889c93d-d06b-48c7-b3f3-6ba72bdffa54
  2. Pavlidis, V. F., & Friedman, E. G. (2007). 3-D topologies for Networks-on-Chip. In 2006 IEEE International Systems-on-Chip Conference, SOC. (pp. 285-288). [4063068] DOI: 10.1109/SOCC.2006.283899. Publication link: 942a0a97-c8b2-41ec-acdf-d431fa6352f6
  3. Grau, B. C., Horrocks, I., Kazakov, Y., & Sattler, U. (2007). A Logic-Based Framework for Ontology Modularity. In Proc. of 20th International Joint Conference on Artificial Intelligence (IJCAI 2007).. Publication link: 109e18f7-c32a-4f60-8605-01d54921df2e
  4. Rennie, C., Hulme, H., Fisher, P., Hall, L., Agaba, M., Noyes, H. A., ... Int Assoc Biol, W. O. A. H. (Ed.) (2007). A Systematic, Data-driven Approach to the Combined Analysis of Microarray and QTL Data. In M. H. Pinard, C. Gay, P. P. Pastoret, B. Dodet, E. A. D. Biol Sci Res Council, H. Genom Network Excellence Anim, I. N. R. A. Food Safety, ... W. O. A. H. Int Assoc Biol (Eds.), International Symposium on Animal Genomics for Animal Health. (Vol. 132, pp. 293-299). Karger Publishers. . Publication link: 45773eb4-75b5-453a-8d03-e712846528c0
  5. Cortés, D., Álvarez, J., Navarro-López, E. M., & Castro, C. (2007). A class of easy-to-implement sliding-mode controllers with constant switching frequency for power converters. In IEEE International Symposium on Industrial Electronics|IEEE Int Symp Ind Electron. (pp. 731-735). DOI: 10.1109/ISIE.2007.4374687. Publication link: cd759ff8-b696-4da6-b9b8-38f7492f2648
  6. Kaewkasi, C., & Gurd, J. R. (2007). A distributed dynamic aspect machine for scientific software development. In ACM International Conference Proceeding Series|ACM Int. Conf. Proc. Ser.. (Vol. 212). (ACM International Conference Proceeding Series). ACM. DOI: 10.1145/1230136.1230139. Publication link: 1f85ca2d-ae5b-4509-a9f3-ba5f0e31ab25
  7. Baran, J., & Barringer, H. (2007). A grammatical representation of visibly pushdown languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4576, pp. 1-11). Springer-Verlag Berlin. . Publication link: 565954ec-19e1-42ac-abde-bd43689ec68e
  8. Barringer, H., Rydeheard, D., & Gabbay, D. (2007). A logical framework for monitoring and evolving software components. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07|First Joint IEEE/IFIP Symp. Theor. Aspects Softw. Eng.. (pp. 273-282). IEEE Computer Society. DOI: 10.1109/TASE.2007.4. Publication link: 8a30ff70-3cb7-4ef8-9b9f-af4e1ec9cfc7
  9. Naikuo, Y., Barringer, H., & Ning, Z. (2007). A purpose-based access control model. In Proceedings - IAS 2007 3rd Internationl Symposium on Information Assurance and Security|Proc. IAS Int. Symp. Inf. Assur. Secur.. (pp. 143-148). IEEE Computer Society. DOI: 10.1109/IAS.2007.29. Publication link: 782212e5-37ba-425e-bd93-290b2411ef51
  10. Barringer, H., Rydeheard, D., Warboys, B., & Gabbay, D. (2007). A revision-based logical framework for evolvable software. In Proceedings of the IASTED International Conference on Software Engineering, SE 2007|Proc. IASTED Int. Conf. Software Eng. SE. (pp. 78-83). Acta Press Anaheim. . Publication link: 66f18089-dcc6-4ffc-9632-17160a9aa07e
  11. Siozios, K., Sotiriadis, K., Pavlidis, V., & Soudris, D. (2007). A software-supported methodology for designing high-performance 3D FPGA architectures. In 2007 IFIP International Conference on Very Large Scale Integration, VLSI-SoC. (pp. 54-59). [4402472] DOI: 10.1109/VLSISOC.2007.4402472. Publication link: dee08bc2-11ca-4c25-b7c7-77cbf93efc8c
  12. Lau, K. K., & Ukis, V. (2007). A study of execution environments for software components. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4608, pp. 107-123). Springer-Verlag Berlin. . Publication link: a51dc6cd-b934-4ba2-9d5d-ea935b36b9ed
  13. Fisher, P., Hedeler, C., Wolstencroft, K., Hulme, H., Noyes, H., Kemp, S., ... Brass, A. (2007). A systematic strategy for the discovery of candidate genes responsible for phenotypic variation. In BMC Bioinformatics|BMC Bioinform.. (Vol. 8). BioMed Central. DOI: 10.1186/1471-2105-8-S8-P7. Publication link: a2291aa7-c866-40b4-9851-83d29d04301b
  14. Sutcliffe, A., Thew, S., Venters, C., De Bruijn, O., McNaught, J., Proctor, R., & Buchan, I. (2007). ADVISES Project: Scenario-based Requirements Analysis for e-Science Applications. In UK E-Science All Hands Meeting. UK e-Science. . Publication link: 3ee7379b-68f5-476e-aefe-e9970b71b90c
  15. Hirata, K., & Goodacre, J. (2007). ARM MPCore; The streamlined and scalable ARM11 processor core. In host publication. (pp. 747-748). IEEE. DOI: 10.1109/ASPDAC.2007.358077. Publication link: b501128e-eceb-4366-8322-fd16f73190f9
  16. Missier, P., Embury, S., Hedeler, C., Greenwood, M., Pennock, J., & Brass, A. (2007). Accelerating disease gene identification through integrated SNP data analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4544, pp. 215-230). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-73255-6_18. Publication link: d4ad7848-d5d0-4dc3-a3f5-8b2f1e9c0ce3
  17. Yu, Z., & Zhang, N. (2007). Achieving privacy-preserving computation on data grids. In Proceedings - IEEE Symposium on Computers and Communications|Proc. IEEE Symp. Comput. Commun.. (pp. 763-768). Washington, DC, USA: IEEE CS Press. DOI: 10.1109/ISCC.2007.4381471. Publication link: 470c0640-a756-4769-a120-6c5a7ba9efb4
  18. Lau, K. K. (2007). Active Learning Sheets for A Beginner's Course on Reasoning about Imperative Programs. In 38th SIGCSE Technical Symposium on Computer Science Education. (pp. 198-202). Assoc Computing Machinery. . Publication link: 01079c59-5e4b-4d4e-b644-747f4406ee56
  19. Goble, C., Corcho, O., & Xing, W. (2007). Active Ontology: An Information Integration Approach for Dynamic Information Sources. In International Workshop on Semantic and Grid Computing.. Publication link: 2c6e9e3d-7155-439f-adfa-d44afb641b35
  20. Mehandjiev, . U., Stalker, I., & Carpenter, M. (2007). Activity Coordination for Flexible Processes Linking Instant Virtual Enterprises. In 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises.. Publication link: 6ddcd7c7-884b-45ba-b176-2074c27444de
  21. Hussein, M., Mayes, K., Luján, M., & Gurd, J. (2007). Adaptive performance control for distributed scientific coupled models. In Proceedings of the International Conference on Supercomputing|Proc Int Conf Supercomputing. (pp. 274-283). ACM. DOI: 10.1145/1274971.1275009. Publication link: ca110ec5-260e-4f04-8ddc-09dfef6e38b7
  22. Branke, J., Lode, C., & Shapiro, J. L. (2007). Addressing sampling errors and diversity loss in UMDA. In Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference|Proc. Gen. Evol. Comput. Conf.. (pp. 508-515). ACM. DOI: 10.1145/1276958.1277068. Publication link: baa81ba0-c448-4d6e-a232-4b14bd0d7eb0
  23. Yoshida, K., Tsuruoka, Y., Miyao, Y., & Tsujii, J. (2007). Ambiguous part-of-speech tagging for improving accuracy and domain portability of syntactic parsers. In IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.. (pp. 1783-1788). Publication link: eb9c93c0-2aac-4e75-b933-3b9229b6113e
  24. Xing, W., Corcho, O., Goble, C., & Dikaiakos, M. D. (2007). An ActOn-based semantic information service for EGEE. In Proceedings - IEEE/ACM International Workshop on Grid Computing|Proc. IEEE ACM Int. Workshop Grid Comput.. (pp. 81-83). IEEE. DOI: 10.1109/GRID.2007.4354119. Publication link: 3450da4b-534b-4123-a3a9-fbfe8e45ecc4
  25. Hahn, U., Buyko, E., Tomanek, K., Piao, S., McNaught, J., Tsuruoka, Y., & Ananiadou, S. (2007). An annotation type system for a data-driven NLP pipeline. In ACL 2007: The LAW - Proceedings of The Linguistic Annotation Workshop|ACL - LAW, Proc. Linguist. Annot. Workshop. (pp. 33-40). Publication link: ae9cb43a-2109-4fe4-8bb7-c19643a6303b
  26. Kolovski, V., Hendler, J., & Parsia, B. (2007). Analyzing web access control policies. In 16th International World Wide Web Conference, WWW2007|Int. World Wide Web Conf.. (pp. 677-686). ACM. DOI: 10.1145/1242572.1242664. Publication link: 9b1f7138-9743-4516-911c-b9ad3d2beeac
  27. Kågström, B., Elmroth, E., Dongarra, J., & Wasniewski, J. (Eds.) (2007). Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers. In Lecture Notes in Computer Science. (Vol. 4699). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 5d9eb908-e81c-4c0f-b80e-5e748a0f599e
  28. Petrovic, V., Cootes, T., Twining, C., Mills, A., & Taylor, C. (2007). Automated analysis of deformable structure in groups of images. In BMVC 2007 - Proceedings of the British Machine Vision Conference 2007|BMVC - Proc. Br. Mach. Vis. Conf.. British Machine Vision Association, BMVA. DOI: 10.5244/C.21.106. Publication link: a8a4b2d4-6ab1-489d-87aa-db8f23a68120
  29. Paton, N. W. (2007). Automation everywhere: Autonomics and data management. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4587, pp. 3-12). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-73390-4_2. Publication link: a25ea30f-93ba-4977-805c-5bea0e6cccd1
  30. Chen, K., Mayes, K. R., Gurd, J. R., & Davide, F. (Ed.) (2007). Autonomous performance control of distributed applications in a heterogeneous environment. In F. Davide (Ed.), Autonomics. (Vol. 302, pp. 14-14). (ACM International Conference Proceeding Series). ACM. . Publication link: f4203466-4aba-4838-a475-dccc14baf0b8
  31. Piao, S., Buyko, E., Tsuruoka, Y., Tomanek, K., Kim, J-D., McNaught, J., ... Ananiadou, S. (2007). BOOTStrep Annotation Scheme: Encoding Information for Text Mining. In Proceedings of the 4th Corpus Linguistics Conference (CL2007).. Publication link: e80eeb44-86dc-44e8-ab4f-dc7fd9213d79
  32. Dongarra, J. J., Jeannot, E., Saule, E., & Shi, Z. (2007). Bi-objective scheduling algorithms for optimizing makespan and reliability on heterogeneous systems. In Annual ACM Symposium on Parallelism in Algorithms and Architectures|Annu. ACM Symp. Parall. Algorithms Archit.. (pp. 280-288). ACM. DOI: 10.1145/1248377.1248423. Publication link: ffa679cf-d14b-44b4-8faa-d0a061c13dbf
  33. Angskun, T., Bosilca, G., & Dongarra, J. (2007). Binomial graph: A scalable and fault-tolerant logical network topology. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4742, pp. 471-482). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-74742-0_43. Publication link: e9e5f3b8-60b2-496b-b7f9-acc753449137
  34. Motik, B., Horrocks, I., & Sattler, U. (2007). Bridging the gap between OWL and relational databases. In 16th International World Wide Web Conference, WWW2007|Int. World Wide Web Conf.. (pp. 807-816). DOI: 10.1145/1242572.1242681. Publication link: 3446dc43-de1e-4c94-b91a-7c4bb43588d3
  35. Neville, R. S., & Zhao, L. (2007). Building a family of neural networks using symmetry as a foundation. In IEEE International Conference on Neural Networks - Conference Proceedings|IEEE Int. Conf. Neural. Netw. Conf. Proc.. (pp. 7-12). IEEE Computer Society. DOI: 10.1109/IJCNN.2007.4370922. Publication link: 41ea28a8-a8ba-42ed-b561-5465978c7636
  36. Frantzi, K., & Ananiadou, S. (2007). C-value for Authorship Identification. In Proceedings of the 8th Conference on Forensic Linguistics, Language and Law.. Publication link: 92972eb8-f43e-4ebd-a01f-23b614eae7d4
  37. Baader, F., Ganter, B., Sertkaya, B., & Sattler, U. (2007). Completing Description Logic Knowledge Bases using Formal Concept Analysis. In Proc.\ of 20th International Joint Conference on Artificial Intelligence (IJCAI 2007).. Publication link: d736f472-8a2c-41cd-9984-8bb8b9cb105d
  38. Goderis, A., Brooks, C., Altintas, I., Lee, E. A., & Goble, C. (2007). Composing different models of computation in Kepler and Ptolemy II. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4489, pp. 182-190). Springer-Verlag Berlin. . Publication link: 4004a4c4-ce96-4ad0-899a-26b8be6474d0
  39. Lau, K. K., Tran, C., Gschwind, T. (Ed.), & Pautasso, C. (Ed.) (2007). Composite Web Services. In T. Gschwind, & C. Pautasso (Eds.), 2nd Workshop on Emerging Web Services Technology. (Vol. 2, pp. 77-95). Birkhauser Verlag Ag. . Publication link: 4968d891-02cf-4882-94e9-1cd90a8b6843
  40. Lau, K. K., Ling, L., Ukis, V., & Elizondo, P. V. (2007). Composite connectors for composing software components. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4829, pp. 266-280). Springer-Verlag Berlin. . Publication link: 7c5e2fb8-dbec-4e86-950a-4e56a6cdc5b9
  41. Abutheraa, M. A., Lester, D., & Ardil, C. (Ed.) (2007). Computable Function Representations Using Effective Chebyshev Polynomial. In C. Ardil (Ed.), Conference of the World-Academy-of-Science-Engineering-and-Technology. (Vol. 25, pp. 103-109). World Acad Sci, Eng & Tech-Waset. . Publication link: f94e8e86-9d10-4aa5-8a73-b5741d8c298c
  42. Shi, Y., Albada, G. D. V., Dongarra, J., & Sloot, P. M. A. (Eds.) (2007). Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I. In Lecture Notes in Computer Science. (Vol. 4487). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 80b702e5-d9a8-4a1e-98c8-ed5a46a78afa
  43. Shi, Y., Albada, G. D. V., Dongarra, J., & Sloot, P. M. A. (Eds.) (2007). Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II. In Lecture Notes in Computer Science. (Vol. 4488). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 1bc0c566-c2fa-4f39-869e-db614eb76fcf
  44. Shi, Y., Albada, G. D. V., Dongarra, J., & Sloot, P. M. A. (Eds.) (2007). Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III. In Lecture Notes in Computer Science. (Vol. 4489). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 0f3bfab5-394f-45e3-8600-39e9536fe150
  45. Shi, Y., Albada, G. D. V., Dongarra, J., & Sloot, P. M. A. (Eds.) (2007). Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV. In Lecture Notes in Computer Science. (Vol. 4490). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: c1cd8b85-d38c-4162-a6e4-80d9a6f1b383
  46. Diekert, V., Volkov, M. V., & Voronkov, A. (Eds.) (2007). Computer Science - Theory and Applications, Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. In Lecture Notes in Computer Science. (Vol. 4649). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 03bfc0ec-cf8d-49e4-a324-e044d70fb775
  47. Ridruejo, F. J., Miguel-Alonso, J., & Navaridas, J. (2007). Concepts and components of full-system simulation of distributed memory parallel computers. In Proceedings of the 16th International Symposium on High Performance Distributed Computing 2007, HPDC'07|Proc. Int. Symp. High Perform. Distrib. Comput.. (pp. 225-226). DOI: 10.1145/1272366.1272402. Publication link: 8cef48a2-eb30-490d-a435-3e120066f9ff
  48. Fraser, S., & Banach, R. (2007). Configurable proof obligations in the frog toolkit. In Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007|Proc. - IEEE Int. Conf. Softw. Eng. Form. Methods, SEFM. (pp. 361-370). Ieee Computer Soc. DOI: 10.1109/SEFM.2007.12. Publication link: d930a26d-b096-4e8c-9115-065d1084d9f2
  49. Glimm, B., Horrocks, I., Lutz, C., & Sattler, U. (2007). Conjunctive query answering for the description logic SHIQ. In IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.. (pp. 399-404). Publication link: 0fa6c49e-80eb-4f78-8445-dc192ea6e629
  50. Jupp, S., Stevens, R., Bechhofer, S., Kostkova, P., & Yesilada, Y. (2007). Converting Ontologies to Knowledge Organisation Systems for Document Navigation. In Bio-ontologies SIG workshop.. Publication link: 207d2b4f-a35c-42ef-a08e-c3e570b2ba01
  51. Jupp, S., Bechhofer, S., Kostkova, P., Steven, R., & Yesilada, Y. (2007). Converting Ontologies to Knowledge Organisation Systems for Document Navigation. In host publication.. Publication link: f804ea99-bf54-4d32-8397-cb05715a7e07
  52. Lau, K. K., & Taweel, F. M. (2007). Data encapsulation in software components. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4608, pp. 1-16). Springer-Verlag Berlin. . Publication link: eaf603fd-d894-4fa0-a6c4-1d8b86f02f98
  53. Ure, J., Procter, R., Martone, M., Porteous, D., Lloyd, S., Lawrie, S., ... Wardlaw, J. (2007). Data integration in eHealth: A domain/disease specific roadmap. In Studies in Health Technology and Informatics|Stud. Health Technol. Informatics. (Vol. 126, pp. 144-153). Publication link: 568b4750-140e-4c81-a232-ca64197bfdc5
  54. Schmidt, R. A., & Tishkovsky, D. (2007). Deciding ALBO with tableau. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 250, pp. 135-146). Publication link: 48d4d6d8-7080-4934-bd73-12b5414685d9
  55. Pješivac-Grbović, J., Bosilca, G., Fagg, G. E., Angskun, T., & Dongarra, J. J. (2007). Decision trees and MPI collective algorithm selection problem. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4641, pp. 107-117). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-74466-5_13. Publication link: ca50b84e-4e54-45c0-91ce-3800fcd4de72
  56. Field, D. G., & Ramsay, A. M. (2007). Deep-reasoning-centred dialogue. In Proc. 11th European Workshop on Natural Language Generation (ENLG’07). (pp. 131-138). Publication link: 8d48918e-a0f3-4d19-9836-ce972285dd17
  57. Roure, D. D., Goble, C. A., & Stevens, R. (2007). Designing the myExperiment Virtual Research Environment for the Social Sharing of Workflows. In eScience. (pp. 603-610). IEEE Computer Society. . Publication link: 2c29807d-ad4d-4738-af53-c2f68f4c075a
  58. De Roure, D., Goble, C., & Stevens, R. (2007). Designing themyexperiment virtual research environment for the social sharing of workflows. In Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.. (pp. 603-610). IEEE. DOI: 10.1109/E-SCIENCE.2007.29. Publication link: 38175ff6-9524-483a-8b16-4c21648465fd
  59. Lu, W., & King, R. (2007). Disjunctive bottom set and its computation. In Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007|Artif. Intell. Res. Soc.Conf., FLAIRS. (pp. 610-615). Publication link: 8ebebd69-8779-4f35-b8b4-08a22909a6fe
  60. Jupp, S., Stevens, R., Bechhofer, S., Kostkova, P., & Yesilada, Y. (2007). Document navigation: Ontology or Knowledge Organisation System? In Proceedings on the 7th International Workshop on Network Tools and Applications in Biology (NETTAB'2007) - A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications.. Publication link: cbdb7cb0-e44b-46f0-a990-426dd4413490
  61. Jupp, S., Stevens, R., Bechhofer, S., Kostkova, P., & Yesilada, Y. (2007). Document navigation: Ontology or Knowledge Organisation System? In host publication.. Publication link: dde3204e-5575-4c85-ae57-8a9d1bba442f
  62. Moulton, G., Selimas, I., & Attwood, T. K. (2007). EMBER - A European Bioinformatics E-learning Resource. In Joint Meeting of Red Iberoamericana de Bioinformatica and EMBnet.. Publication link: 6301b61a-6a06-4367-9643-da4e52742770
  63. Glencross, M., Jay, C., Feasel, J., Kohli, L., Whitton, M., & Hubbold, R. (2007). Effective cooperative haptic interaction over the Internet. In Proceedings - IEEE Virtual Reality|Proc. IEEE Virtual Real.. (pp. 115-122). DOI: 10.1109/VR.2007.352471. Publication link: 5ad95377-6502-4bf0-838b-70a83322e556
  64. Ford, R. W., Riley, G. D., & Armstrong, C. W. (2007). Efficient Coupling of Iterative Models. In host publication. (pp. 178-190). World Scientific Publishing. . Publication link: 0b40fe83-ee65-434e-8cf5-0ff9b544d783
  65. Novoselov, K. S., Morozov, S. V., Mohinddin, T. M. G., Ponomarenko, L. A., Elias, D. C., Yang, R., ... Geim, A. K. (2007). Electronic properties of graphene. In Physica Status Solidi (B) Basic Research|Phys. Status Solidi B Basic Res.. (Vol. 244, pp. 4106-4111). Wiley-V C H Verlag Gmbh. DOI: 10.1002/pssb.200776208. Publication link: 67fb7225-e310-4aa2-b539-8ba93a32ed75
  66. Al Balushi, T. H., Sampaio, P. R. F., Dabhi, D., & Loucopoulos, P. (2007). ElicitO: A quality ontology-guided NFR elicitation tool. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4542, pp. 306-319). Trondheim, Norway. . Publication link: eed3fb10-8419-4d97-8775-824105385f58
  67. Navarro-Pérez, J. A., & Voronkov, A. (2007). Encodings of bounded LTL model checking in effectively propositional logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4603, pp. 346-361). Springer-Verlag Berlin. . Publication link: c9a172f2-cf47-4f47-ba8a-1e0cb5e34f74
  68. Wang, S., & Chen, K. (2007). Ensemble learning with active data selection for semi-supervised pattern classification. In IEEE International Conference on Neural Networks - Conference Proceedings|IEEE Int. Conf. Neural. Netw. Conf. Proc.. (pp. 355-360). IEEE Press. DOI: 10.1109/IJCNN.2007.4370982. Publication link: 517ffd61-e9b7-4cdc-ba79-b216cd141e44
  69. Navaridas, J., Ridruejo, F. J., & Miguel-Alonso, J. (2007). Evaluation of interconnection networks using full-system simulators: Lessons learned. In Proceedings - Simulation Symposium|Proc. Simul. Symp.. (pp. 155-162). DOI: 10.1109/ANSS.2007.19. Publication link: 96f2ec6a-0a1d-4218-a564-1771fab21c17
  70. Burbidge, R., Rowland, J. J., King, R. D., Form, N. T., & Whitaker, B. J. (2007). Evolutionary optimization of three-photon absorption in molecular iodine. In Proceedings of the 2007 IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2007|Proc. IEEE Symp. Comput. Intell. Data Mining. (pp. 96-100). DOI: 10.1109/CIDM.2007.368858. Publication link: ca6ba62e-b80e-4f08-a267-1e4d7d0dc857
  71. Krenický, R., Willmor, D., & Embury, S. M. (2007). Exploratory design of derivation business rules using query rewriting. In 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007|Int. Conf. Softw. Eng. Knowl. Eng., SEKE. (pp. 467-472). Knowledge Systems Institute Graduate School. . Publication link: 6a586562-e9f4-47eb-968d-57e49e3668f1
  72. Siozios, K., Sotiriadis, K., Pavlidis, V. F., & Soudris, D. (2007). Exploring alternative 3D FPGA architectures: Design methodology and CAD tool support. In Proceedings - 2007 International Conference on Field Programmable Logic and Applications, FPL. (pp. 652-655). [4380738] DOI: 10.1109/FPL.2007.4380738. Publication link: 5ae954a2-a73d-43d9-a046-64b04c3d9a53
  73. Goodacre, J. (2007). Extending the Cortex ARM version-7 architecture for next generation multicore. In host publication. MPSoc. . Publication link: fc176a6c-4cb0-4563-b9c9-626052f5f39d
  74. Song, F., Moore, S., & Dongarra, J. (2007). Feedback-directed thread scheduling with memory considerations. In Proceedings of the 16th International Symposium on High Performance Distributed Computing 2007, HPDC'07|Proc. Int. Symp. High Perform. Distrib. Comput.. (pp. 97-106). ACM. DOI: 10.1145/1272366.1272380. Publication link: d8f98415-1dc3-4349-b224-2d12d2f7a2c8
  75. Kalyanpur, A., Parsia, B., Horridge, M., & Sirin, E. (2007). Finding all justifications of OWL DL entailments. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4825, pp. 267-280). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-76298-0_20. Publication link: 670b3c55-a144-4b87-90c9-7f2237afa411
  76. Balasubramaniam, D., Morrison, R., Greenwood, R. M., & Warboys, B. (2007). Flexible software development: From software architecture to process. In 2007 Working IEEE/IFIP Conference on Software Architecture (WICSA'07)|Working IEEE/IFIP Conf. Softw. Archit... Publication link: eda9e0f2-4bbf-4e45-a009-7cf6a33b2f7b
  77. Pratt-Hartmann, I., Geertzen, J. (Ed.), Thijsse, E. (Ed.), Bunt, H. (Ed.), & Schiffrin, A. (Ed.) (2007). From TimeML to Interval Temporal Logic. In J. Geertzen, E. Thijsse, H. Bunt, & A. Schiffrin (Eds.), host publication. (pp. 166-180). Tilburg: Tilburg University Department of Communication and Information Sciences. . Publication link: 566c9d2d-ca23-49bd-a974-64383971f650
  78. Barringer, H., Gabbay, D., & Rydeheard, D. (2007). From runtime verification to evolvable systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4839, pp. 97-110). (Lecture Notes in Computer Science). Springer-Verlag Berlin. DOI: 10.1007/978-3-540-77395-5_9. Publication link: 561dfeaa-de0e-44b2-98f1-410e953016df
  79. Goble, C., & De Roure, D. (2007). Grid 3.0: Services, semantics and society. In Proceedings - IEEE/ACM International Workshop on Grid Computing|Proc. IEEE ACM Int. Workshop Grid Comput.. (pp. 1). IEEE. DOI: 10.1109/GRID.2007.4354108. Publication link: 919622fe-e6c6-4566-9c5e-2855aacbedd9
  80. Corcho, O., Alper, P., Missier, P., Bechhofer, S., & Goble, C. (2007). Grid metadata management: requirements and architecture. In Proceedings - IEEE/ACM International Workshop on Grid Computing|Proc. IEEE ACM Int. Workshop Grid Comput.. (pp. 97-104). IEEE. DOI: 10.1109/GRID.2007.4354121. Publication link: 65fa1f4b-6b99-468e-892d-646477b8ad9c
  81. Davies, R. H., Twining, C. J., Williams, T. G., & Taylor, C. J. (2007). Group-wise Correspondence of Surfaces using Non-paramentric Regularisation and Shape Images. In host publication. (pp. 1208-1211). IEEE. . Publication link: 6184ee5b-b5e1-43b8-b00b-d473e1dd39c5
  82. Kazakov, Y., Sattler, U., & Zolin, E. (2007). How many legs do I have? Non-simple roles in number restrictions revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4790, pp. 303-317). (LNCS). Springer Verlag. . Publication link: e9c9f60e-90a2-47a1-8960-c68c967bec66
  83. Zhang, N., Abraham, A., Shi, Q., & Thomas, J. (2007). IAS2007: Proceedings of the Third International Symposium on Information Assurance and Security. In host publication. Washington, DC, USA: IEEE Computer Society. . Publication link: 81ba9435-5695-495d-a343-fcddebd7f5dc
  84. Horridge, M., Bechhofer, S., & Noppens, O. (2007). Igniting the OWL 1.1 touch paper: The OWL API. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 258). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: c4e122bd-805b-41c3-813a-e1f1ef172184
  85. Liu, C., & Shapiro, J. (2007). Implementing classical conditioning with spiking neurons. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4668, pp. 400-410). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-74690-4_41. Publication link: 3bb417cb-710f-46fc-b41f-2f3aa1e91ea7
  86. Xing, W., Corcho, O., Goble, C., & Dikaiakos, M. (2007). Information quality evaluation for grid information services. In Towards Next Generation Grids - Proceedings of the CoreGRID Symposium 2007|Towards Next Gener. Grids - Proc. CoreGRID Symp.. (pp. 165-174). Springer Science and Business Media, LLC. . Publication link: ad2e3480-18b5-4f23-b0bd-87bbb71d266b
  87. Piao, S., Ananiadou, S., & McNaught, J. (2007). Integrating Annotation Tools into UIMA for Interoperability. In Proceedings of the UK e-Science AHM Conference 2007. (pp. 575-582). Publication link: 8425034d-38dc-4f6f-9c74-bdc85bca9c4f
  88. Korovin, K., & Voronkov, A. (2007). Integrating linear arithmetic into superposition calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4646, pp. 223-237). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-74915-8_19. Publication link: 5f9a31fa-673b-4839-99ff-7ec1f55844a6
  89. Grau, B. C., Horrocks, I., Kazakov, Y., & Sattler, U. (2007). Just the right amount: Extracting modules from ontologies. In 16th International World Wide Web Conference, WWW2007|Int. World Wide Web Conf.. (pp. 717-726). DOI: 10.1145/1242572.1242669. Publication link: 35c11d00-6188-41ff-b120-f055ad4a9412
  90. Song, F., Moore, S., & Dongarra, J. (2007). L2 cache modeling for scientific applications on chip multi-processors. In Proceedings of the International Conference on Parallel Processing|Proc. Int. Conf. Parallel Process.. IEEE Computer Society. DOI: 10.1109/ICPP.2007.52. Publication link: 7e21da3a-c95a-46c6-9ac8-f3d7d934bded
  91. Kim, J. H., Mitchell, A., Attwood, T. K., & Hilario, M. (2007). Learning to extract relations for protein annotation. In Bioinformatics|Bioinformatics. (Vol. 23, pp. 256-263). Oxford Univ Press. DOI: 10.1093/bioinformatics/btm168. Publication link: 0d4c271b-b202-484b-a2fd-1fafa3454057
  92. Nenadic, A., Ning, Z., Li, Y., & Morrow, T. (2007). Levels of authentication assurance: An investigation. In Proceedings - IAS 2007 3rd Internationl Symposium on Information Assurance and Security|Proc. IAS Int. Symp. Inf. Assur. Secur.. (pp. 155-158). Washington, DC, USA: IEEE Computer Society. DOI: 10.1109/IAS.2007.88. Publication link: 77da00b1-5406-413f-bed0-f867d0932f3e
  93. Dershowitz, N., & Voronkov, A. (Eds.) (2007). Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. In Lecture Notes in Computer Science. (Vol. 4790). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 52ed926b-389f-4504-bedb-c7c8c30b718e
  94. Missier, P., Embury, S. M., Greenwood, M., Preece, A., & Jin, B. (2007). Managing information quality in e-science: The qurator workbench. In Proceedings of the ACM SIGMOD International Conference on Management of Data|Proc. ACM SIGMOD Int. Conf. Manage. Data. (pp. 1150-1152). ACM. DOI: 10.1145/1247480.1247638. Publication link: 95db4adb-549c-42cb-bf09-1263abc7cb31
  95. Tan, Z., & Gurd, J. R. (2007). Market-based Grid resource allocation using a stable continuous double auction. In Proceedings - IEEE/ACM International Workshop on Grid Computing|Proc. IEEE ACM Int. Workshop Grid Comput.. (pp. 283-290). IEEE. DOI: 10.1109/GRID.2007.4354144. Publication link: ea7213cb-7a62-4184-821b-d12ae1de02a9
  96. Sen, B., & Furber, S. B. (2007). Maximising information recovery from rank-order codes. In Proceedings of SPIE - The International Society for Optical Engineering. (Vol. 6570). [65700C] DOI: 10.1117/12.717799. Publication link: ab918f50-b112-4456-8246-723295f5df8c
  97. Sen, B., Furber, S., & Dasarathy, B. V. (Ed.) (2007). Maximising information recovery from rank-order codes - art. no. 65700C. In B. V. Dasarathy (Ed.), Conference on Data Mining, Intrusion Detection, Information Assurance and Data Networks Security 2007. (Vol. 6570, pp. C5700-C5700). SPIE. . Publication link: 8490cd7d-5872-4d2e-ba83-76b8a9ccf1df
  98. Corcho, O., Alper, P., Missier, P., Bechhofer, S., Goble, C., & Xing, W. (2007). Metadata management in S-OGSA. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4488, pp. 712-719). Springer-Verlag Berlin. . Publication link: 23a92e5b-e276-4983-b12b-945ead67f28a
  99. Field, D. G., & Ramsay, A. M. (2007). Minimal sets of minimal speech acts. In Recent Advances in Natural Language Processing (RANLP’07). (pp. 193-199). Publication link: 65aceb77-20d5-4a9d-906d-cbcaa6ac2930
  100. Piao, S., Ananiadou, S., Tsuruoka, Y., Sasaki, Y., & McNaught, J. (2007). Mining Opinion Polarity Relations of Citations. In Proceedings of the 7th International Workshop on Computational Semantics. (pp. 366-371). Publication link: d37d91f7-1069-464b-a439-2bb7aff21f45
  101. Cámara, J. M., Moretó, M., Vallejo, E., Beivide, R., Miguel-Alonso, J., Martínez, C., & Navaridas, J. (2007). Mixed-radix twisted torus interconnection networks. In Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM|Proc. Int. Parall. Distrib. Proces. Symp.. DOI: 10.1109/IPDPS.2007.370270. Publication link: 0ee30e8b-f61f-457f-a774-5d1c898bf7da
  102. Klimowicz, A. N. F., & Mihajlović, M. D. (2007). Modelling 3D semi-deformable tubes in real time. In Applied Mathematics and Computation|Appl. Math. Comput.. (Vol. 184, pp. 52-62). Elsevier Science Inc. DOI: 10.1016/j.amc.2005.12.072. Publication link: 6ce4fe7b-e119-4f2d-b3ae-69a886f80b12
  103. Sasaki, Y., Rea, B., & Ananiadou, S. (2007). Multi-topic aspects in clinical text classification. In Proceedings - 2007 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007|Proc. IEEE Int. Conf. Bioinformatics Biomed., BIBM. (pp. 62-67). DOI: 10.1109/BIBM.2007.23. Publication link: ef1c9f58-8a3e-4c34-b408-d58221d130a9
  104. Pettifer, S., Wolstencroft, K., Alper, P., Attwood, T., Coletta, A., Goble, C., ... Thorne, D. (2007). MyGrid and UTOPIA: An integrated approach to enacting and visualising in silico experiments 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. 4544, pp. 59-70). (Lectue Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-73255-6_8. Publication link: 2cda8179-0339-45f3-a439-e6da72798cd9
  105. Twining, C. J., Davies, R. H., & Taylor, C. J. (2007). Non-parametric Surface-Based Regularisation for Building Statistical Shape Models. In host publication. (pp. 738-750). Springer Verlag. . Publication link: 10d28e8e-7cb8-4cd8-bb83-41ca65776c24
  106. Ebergen, J., Furber, S., Saifhashemi, A., Nissar, N., & Chow, A. (2007). Notes on pulse signaling. In Proceedings - International Symposium on Asynchronous Circuits and Systems|Proc. Int. Symp. Asynchr. Circuits Syst.. (pp. 15-24). IEEE Computer Society. . Publication link: e8b611b0-4a4d-409c-879b-8212d368e857
  107. Guo, W., & Filer, N. P. (2007). On the accuracy of an indoor location-sensing technique suitable for impulse radio networks. In IEEE International Conference on Communications|IEEE Int Conf Commun. (pp. 3987-3992). IEEE. DOI: 10.1109/ICC.2007.656. Publication link: f75acd0d-bdb1-4779-9a8a-3f2f09e107e1
  108. Cazorla, F. J., Fernandez, E., Knijnenburg, P. M. W., Ramirez, A., Sakellariou, R., & Valero, M. (2007). On the problem of minimizing workload execution time in SMT processors. In Proceedings - 2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2007|Proc. Int. Conf. Embedded Comput. Syst.: Archit., Model. Simul., IC-SAMOS. (pp. 66-73). DOI: 10.1109/ICSAMOS.2007.4285735. Publication link: 05196767-5019-4f23-a8a5-930740379c33
  109. Fuerlinger, K., Gerndt, M., & Dongarra, J. (2007). On using incremental profiling for the performance analysis of shared memory parallel applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4641, pp. 62-71). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-74466-5_8. Publication link: ce098bf1-f439-46d3-b295-4f581eb0ac25
  110. Wang, T. D., & Parsia, B. (2007). Ontology performance profiling and model examination: First steps. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4825, pp. 595-608). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-76298-0_43. Publication link: 1c873152-033e-4b84-849f-46dc5f73ff85
  111. Angskun, T., Bosilca, G., Zanden, B. V., & Dongarra, J. (2007). Optimal routing in binomial graph networks. In Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings|Parallel Distrib. Comput. Appl. Technol. PDCAT Proc.. (pp. 363-370). IEEE Computer Society. DOI: 10.1109/PDCAT.2007.4420191. Publication link: 7d184355-5d29-433d-b4d0-da9f6e80c891
  112. Zhao, J., Horsnell, M., Rogers, I., Dinn, A., Kirkham, C., & Watson, I. (2007). Optimizing chip multiprocessor work distribution using dynamic compilation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4641, pp. 258-267). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-74466-5_29. Publication link: eaa00ca1-72f2-46d4-9f3a-f0504d4a2661
  113. Wu, H., & Shapiro, J. L. (2007). Parameter cross-validation and early-stopping in univariate marginal distribution algorithm. In Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference|Proc. Gen. Evol. Comput. Conf.. (pp. 632-633). ACM. DOI: 10.1145/1276958.1277092. Publication link: 471717b0-c89a-45dc-a825-33cd6a678070
  114. Plana, L. A., Edwards, D., Taylor, S., Tarazona, L. A., & Bardsley, A. (2007). Performance-driven syntax-directed synthesis of asynchronous processors. In CASES'07: Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems|. (pp. 43-47). DOI: 10.1145/1289881.1289891. Publication link: 663be0fc-9674-4ec0-97d7-3e4c427bc24f
  115. Virbitskaite, I., & Voronkov, A. (Eds.) (2007). Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. In Lecture Notes in Computer Science. (Vol. 4378). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: b686fe69-8014-4bf7-bdc4-89d229b562d9
  116. Kesselman, C., Dongarra, J., & Walker, D. W. (Eds.) (2007). Proceedings of the 16th International Symposium on High-Performance Distributed Computing (HPDC-16 2007), 25-29 June 2007, Monterey, California, USA. In host publication. ACM. . Publication link: c7abb74c-ad52-4702-b69c-f9e45c06ddcf
  117. Golbreich, C., Kalyanpur, A., & Parsia, B. (Eds.) (2007). Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007. In CEUR Workshop Proceedings. (Vol. 258). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 4fba22e8-bc42-47b8-a323-8604fe553b72
  118. Pettifer, S., & Attwood, T. (2007). Progress with UTOPIA. In Joint Meeting of Red Iberoamericana de Bioinformatica and EMBnet.. Publication link: 57dc383c-1ea7-47b6-ae46-955510cd5da3
  119. Gibson, A., Wolstencroft, K., & Stevens, R. (2007). Promotion of ontological comprehension: Exposing terms and metadata with web 2.0. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 273). Publication link: 805d7f8f-b8da-4643-940a-efac78c56d31
  120. Hou, S., Galata, A., Caillette, F., Thacker, N., & Bromiley, P. (2007). Real-time body tracking using a gaussian process latent variable model. In Proceedings of the IEEE International Conference on Computer Vision|Proc IEEE Int Conf Comput Vision. IEEE. DOI: 10.1109/ICCV.2007.4408946. Publication link: 681bc175-9684-49f5-9504-b85293d00411
  121. Ridruejo, F. J., Navaridas, J., Miguel-Alonso, J., & Izu, C. (2007). Realistic evaluation of interconnection network performance at high loads. In Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings|Parallel Distrib. Comput. Appl. Technol. PDCAT Proc.. (pp. 97-104). DOI: 10.1109/PDCAT.2007.4420147. Publication link: 9ac4ce6f-1822-47f7-8f3d-fd4f8a2f6b38
  122. Cappello, F., Hérault, T., & Dongarra, J. (Eds.) (2007). Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings. In Lecture Notes in Computer Science. (Vol. 4757). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: d666aadb-7cf8-4480-8380-d3b5e9a60186
  123. Chen, K., & Wang, S. (2007). Regularized boost for semi-supervised learning. In Advances in Neural Information Processing Systems (Proceedings of NIPS'07). (pp. 281-288). MA: Cambridge, U.S.A.: MIT Press. . Publication link: 947124e7-6405-481f-bc0a-1805293dcdf1
  124. Angskun, T., Bosilca, G., Fagg, G., Pješivac-Grbović, J., & Dongarra, J. J. (2007). Reliability analysis of self-healing network using discrete-event simulation. In Proceedings - Seventh IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2007|Proc. Seventh IEEE International Symposium on Cluster Computing Grid. (pp. 437-444). IEEE Computer Society. DOI: 10.1109/CCGRID.2007.95. Publication link: 7e34b006-3d72-4c0f-9351-6270b990b4f0
  125. Banach, R., Poppleton, M., Jeske, C., & Stepney, S. (2007). Retrenching the Purse: Hashing injective clear codes, and security properties. In Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation|Proc. - ISoLA: Int. Symp. Leveraging Appl. Form. Methods, Verif. Validation. (pp. 82-90). IEEE. DOI: 10.1109/ISoLA.2006.17. Publication link: 83d85645-b0a5-401d-845a-f659c6f86d7c
  126. Banach, R., Jeske, C., Hall, A., & Stepney, S. (2007). Retrenchment and the atomicity pattern. In Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007|Proc. - IEEE Int. Conf. Softw. Eng. Form. Methods, SEFM. (pp. 37-46). Ieee Computer Soc. DOI: 10.1109/SEFM.2007.34. Publication link: 7646e4cc-1479-411c-8e41-3c9fb9b97549
  127. Bouteiller, A., Bosilca, G., & Dongarra, J. (2007). Retrospect: Deterministic replay of MPI applications for interactive distributed debugging. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4757, pp. 297-306). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-75416-9_41. Publication link: 0d154de2-6208-48e1-9424-7c31e141aaa9
  128. Dongarra, J., Pineau, J. F., Robert, Y., Shi, Z., & Vivien, F. (2007). Revisiting matrix product on master-worker platforms. In Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM|Proc. Int. Parall. Distrib. Proces. Symp.. IEEE. DOI: 10.1109/IPDPS.2007.370466. Publication link: 0663f079-1a59-4cf2-bb10-18a0877ddd5f
  129. Barringer, H., Rydeheard, D. E., Havelund, K., Sokolsky, O. (Ed.), & Tasiran, S. (Ed.) (2007). Rule Systems for Run-Time Monitoring: From Eagleto RuleR. In O. Sokolsky, & S. Tasiran (Eds.), RV. (Vol. 4839, pp. 111-125). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-77395-5_10. Publication link: d905b419-00e4-4ab5-b923-6e11b6c3339d
  130. Barringer, H., Rydeheard, D., & Havelund, K. (2007). Rule systems for run-time monitoring: From EAGLE to RULER. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4839, pp. 111-125). Springer-Verlag Berlin. . Publication link: 3bbe4714-f9d3-4596-a458-e83a905b1c58
  131. Sirin, E., & Parsia, B. (2007). SPARQL-DL: SPARQL query for OWL-DL. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 258). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 984b305a-5cbb-4279-8a5a-52ac9633fff6
  132. Fokoue, A., Guo, Y., Liebig, T., & Parsia, B. (2007). SSWS 2007 PC co-chairs' message. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4806, pp. 1103). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-76890-6_37. Publication link: 3ec64460-ec4f-436b-b5ee-aa8236812a95
  133. Fürlinger, K., Gerndt, M., & Dongarra, J. (2007). Scalability analysis of the SPEC OpenMP benchmarks on large-scale shared memory multiprocessors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4488, pp. 815-822). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-72586-2_115. Publication link: 0b5a4c96-c1d8-4779-961e-d83309f1e68a
  134. He, L., Zhang, N., He, L., & Rogers, I. (2007). Secure M-commerce transactions: A third party based signature protocol. In Proceedings - IAS 2007 3rd Internationl Symposium on Information Assurance and Security|Proc. IAS Int. Symp. Inf. Assur. Secur.. (pp. 3-8). Washington, DC, USA: IEEE Computer Society. DOI: 10.1109/IAS.2007.66. Publication link: 9220f7ba-168a-4e5d-8ddb-4492605e5383
  135. Chen, Z., Yang, M., Francia, G., & Dongarra, J. (2007). Self adaptive application level fault tolerance For parallel and distributed computing. In Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM|Proc. Int. Parall. Distrib. Proces. Symp.. IEEE. DOI: 10.1109/IPDPS.2007.370604. Publication link: d75271dc-2307-4cfa-bff0-66c64643cd47
  136. Angskun, T., Bosilca, G., & Dongarra, J. (2007). Self-healing in binomial graph networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4806, pp. 1032-1041). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-76890-6_30. Publication link: e5fa536d-85c8-49a2-bc30-89393ec7f2b4
  137. Ananiadou, S., Cotter, P., Nobata, C., Okazaki, N., Rea, B., Sasaki, Y., ... Tsujii, J. (2007). SemText: A semantically enriched information retrieval system for biology. In Proceedings of the 8th International Conference on Systems Biology (ICSB 2007).. Publication link: 946deaec-a56b-475e-9f65-041e221ff366
  138. Qamar, R., Rector, A., Kuhn, K. A. (Ed.), Warren, J. R. (Ed.), & Leong, T-Y. (Ed.) (2007). Semantic Issues in Integrating Data from Different Models to Achieve Data Interoperability. In K. A. Kuhn, J. R. Warren, & T-Y. Leong (Eds.), MedInfo. (Vol. 129, pp. 674-678). (Studies in Health Technology and Informatics). IOS Press. DOI: 10.3233/978-1-58603-774-1-674. Publication link: 75b55b52-a2e8-49a4-adf8-a8a6b72db65d
  139. Robinson, A., & Garside, J. D. (2007). Sensitive registers: A technique for reducing the fetch bandwidth in low-power microprocessors. In Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI|Proc. ACM Great Lakes Symp. VLSI GLSVLSI. (pp. 138-143). ACM Press. DOI: 10.1145/1228784.1228820. Publication link: 82421676-9f63-4007-b378-1bfd9e4f6b40
  140. Petrović, V., Cootes, T., Twining, C., Taylor, C., & Petrovic, V. (2007). Simultaneous registration, segmentation and modelling of structure in groups of medical images. In 2007 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings|IEEE Int. Symp. Biomed. Imag. Nano Macro Proc.. (pp. 1-4). IEEE. DOI: 10.1109/ISBI.2007.356773. Publication link: b982c3a3-748f-4545-a341-314e305476ab
  141. Navarro-López, E. M., & Cortés, D. (2007). Sliding-mode control of a multi-DOF oilwell drillstring with stick-slip oscillations. In Proceedings of the American Control Conference|Proc Am Control Conf. (pp. 3837-3842). DOI: 10.1109/ACC.2007.4282198. Publication link: b3552783-07d3-4b8d-b433-4c9bf99c8ca7
  142. Daumas, M., & Lester, D. (2007). Stochastic formal methods: An application to accuracy of numeric software. In Proceedings of the Annual Hawaii International Conference on System Sciences|Proc. Annu. Hawaii Int. Conf. Syst. Sci.. IEEE Computer Society. DOI: 10.1109/HICSS.2007.499. Publication link: a63cf40a-30ba-4d9d-9cfc-1540605dcdbb
  143. Ananiadou, S., Procter, R., Rea, B., Sasaki, Y., & Thomas, J. (2007). Supporting Systematic Reviews using Text Mining. In Proceedings of the 3rd International Conference on e-Social Science.. Publication link: 7e6e5ca8-2a3e-41cb-911e-364ceb497880
  144. Weidenbach, C., Schmidt, R. A., Hillenbrand, T., Rusev, R., & Topic, D. (2007). System description: SPASS version 3.0. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4603, pp. 514-520). Publication link: 72092710-9a2a-4d3d-9717-82befed2ceea
  145. Turi, D., Missier, P., Goble, C., De Roure, D., & Oinn, T. (2007). Taverna workflows: Syntax and semantics. In Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.. (pp. 441-448). Ieee Computer Soc. DOI: 10.1109/E-SCIENCE.2007.71. Publication link: 0f251d2b-8a94-46ae-8e61-fc28cd9ee076
  146. Rea, B., & Ananiadou, S. (2007). Text Mining Services to Support E-Research. In UK e-Science All Hands Meeting.. Publication link: b2fe9ab4-a0c2-48e6-8546-9004cb8a8222
  147. Gibson, A., Gamble, M., Wolstencroft, K., Oinn, T., & Goble, C. (2007). The data playground: An intuitive workflow specification environment. In Proceedings - e-Science 2007, 3rd IEEE International Conference on e-Science and Grid Computing|Proc. - e-Sci. - IEEE Int. Conf. on e-Sci. Grid Comput.. (pp. 59-66). IEEE Computer Society. DOI: 10.1109/E-SCIENCE.2007.72. Publication link: 21a16a4d-0f10-4ce8-92dc-203ce8547b2a
  148. Goble, C. A., Harper, S. (Ed.), Ashman, H. (Ed.), Bernstein, M. (Ed.), Cristea, A. I. (Ed.), Davis, H. C. (Ed.), ... Millard, D. E. (Ed.) (2007). The return of the prodigal web: 1. In S. Harper, H. Ashman, M. Bernstein, A. I. Cristea, H. C. Davis, P. D. Bra, V. L. Hanson, ... D. E. Millard (Eds.), Hypertext. (pp. 2-2). ACM. . Publication link: 3306fbbe-e70e-45af-8996-dc856a5b91a2
  149. Murray, C. D., Pettifer, S., Howard, T., Patchick, E. L., Caillette, F., Kulkarni, J., & Bamford, C. (2007). The treatment of phantom limb pain using immersive virtual reality: Three case studies. In Disability and Rehabilitation|Disabil. Rehabil.. (Vol. 29, pp. 1465-1469). Taylor & Francis . DOI: 10.1080/09638280601107385. Publication link: 2241bcbc-543a-4d9c-aa4a-8f41860aa1dd
  150. Lin, L., Embury, S. M., & Warboys, B. C. (2007). Tool support to implementing business rules in database applications. In Proceedings - International Computer Software and Applications Conference|Proc Int Comput Software Appl Conf. (Vol. 1, pp. 157-160). Ieee Computer Soc. DOI: 10.1109/COMPSAC.2007.213. Publication link: 2e0b7b83-8784-4951-a4e8-ca07653afb6f
  151. Lester, D. R. (2007). Topology in PVS: Continuous mathematics with applications. In AFM'07: 2nd Workshop on Automated Formal Methods|AFM: Workshop Autom. Form. Methods. (pp. 11-20). New York: ACM. DOI: 10.1145/1345169.1345171. Publication link: 490fd749-ff0e-41e5-8a5b-3e8c10237e5b
  152. Lau, K. K., Ling, L., & Elizondo, P. V. (2007). Towards composing software components in both design and deployment phases. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4608, pp. 274-282). Springer-Verlag Berlin. . Publication link: d4d545a5-a059-48c1-8d50-b16596751ebc
  153. Chin, J. S., Zhang, N., Nenadic, A., Yao, L., & Brooke, J. M. (2007). Towards context constrained authorisation for pervasive grid computing. In Proceedings of the 2007 2nd International Conference on Communication System Software and Middleware and Workshops, COMSWARE 2007|Proc. Int. Conf. Commun. Syst. Softw. Middleware Workshops. Washington, DC, USA: IEEE CS Press. DOI: 10.1109/COMSWA.2007.382448. Publication link: 0c775897-6ac1-45f7-a194-f53c1f97cb2c
  154. Marley, T., & Rector, A. (2007). Use of OWL-based tools to aid message development and maintenance. In 23rd Conference on Current Perspectives in Health Informatics. (Vol. 32, pp. 43-49). Taylor & Francis . DOI: 10.1080/1463930601097846. Publication link: 0c28d2f0-7bd5-4a26-b6ae-c9229436857c
  155. Lau, K. K. (2007). Using SPARK for a Beginner's Course on Reasoning about Imperative Programs. In ACM SIGAda Annual International Conference (SIGAda 07). (pp. 75-78). Assoc Computing Machinery. . Publication link: 6d350c4a-4ae3-4f2a-bc5e-1a48c35ad13e
  156. Schmidt, R. A., & Tishkovsky, D. (2007). Using tableau to decide expressive description logics with role negation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4825, pp. 438-451). DOI: 10.1007/978-3-540-76298-0_32. Publication link: cdedd84d-e865-4234-ad02-e64b3ba92f95
  157. Lau, K. K., & Wang, Z. (2007). Verified component-based software in SPARK: Experimental results for a missile guidance system. In Proceedings of the ACM SIGAda Annual International Conference; SIGAda|Proc. ACM SIGAda Annu. Int. Conf.. (pp. 51-57). Assoc Computing Machinery. DOI: 10.1145/1315580.1315594. Publication link: 0b83f79e-f614-4c1e-8486-002e8dda38a1
  158. Goble, C. A., & De Roure, D. C. (2007). myExperiment: Social networking for workflow-using e-scientists. In Proceedings of the 2nd Workshop on Workflows in Support of Large-scale Science, WORKS'07|Proc. Workshop Workflows Support Large-scale Sci.. (pp. 1-2). {ACM} Press. DOI: 10.1145/1273360.1273361. Publication link: e504f353-b8ff-4e69-ba42-de40ff976305
  159. Roure, D. D., & Goble, C. (2007). {myExperiment} - A Web 2.0??{V}irtual Research Environment. In International Workshop on Virtual Research Environments and Collaborative Work Environments.. Publication link: 5f0928a9-c8cd-4b48-9b35-722389dfd40e
Article
  1. Pavlidis, V. F., & Friedman, E. G. (2007). 3-D topologies for networks-on-chip. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 15(10), 1081-1090. DOI: 10.1109/TVLSI.2007.893649. Publication link: 818572b3-10d0-4f6d-bcb1-11cfeb050a55
  2. Stevens, R. (2007). A Day in the Life of A Disabled Scientist - Sightless in Science. The Biochemist, 29(3). . Publication link: 99f6fa81-ea13-4c5c-9779-d45e7390211a
  3. Plana, L. A., Furber, S. B., Temple, S., Khan, M., Shi, Y., Wu, J., & Yang, S. (2007). A GALS infrastructure for a massively parallel multiprocessor. IEEE Design and Test of Computers, 24(5), 454-463. DOI: 10.1109/MDT.2007.149. Publication link: 2bd7aff2-f0be-4295-997c-dffc6e831a33
  4. Alam, I., Cornell, M., Soanes, D. M., Hedeler, C., Wong, H. M., Rattray, M., ... Paton, N. W. (2007). A Methodology for Comparative Functional Genomics. J. Integrative Bioinformatics, 4(3). DOI: 10.2390/biecoll-jib-2007-69. Publication link: 51af54c8-46c4-4ab4-bdca-5d3312ddddbb
  5. Romá-Mateo, C., Ríos, P., Tabernero, L., Attwood, T. K., & Pulido, R. (2007). A Novel Phosphatase Family, Structurally Related to Dual-specificity Phosphatases, that Displays Unique Amino Acid Sequence and Substrate Specificity. Journal of Molecular Biology, 374(4), 899-909. DOI: 10.1016/j.jmb.2007.10.008. Publication link: f1b9ef3e-1875-43be-850b-a89c60f30950
  6. Chen, L., Shadbolt, N. R., & Goble, C. A. (2007). A Semantic Web-based approach to knowledge management for grid applications. IEEE Transactions on Knowledge and Data Engineering, 19(2), 283-295. DOI: 10.1109/TKDE.2007.20. Publication link: 645878ff-5c2b-42a8-b2d3-3036ed1fbb11
  7. Yang, H., Nenadic, G., & Keane, J. (2007). A cascaded approach to normalizing gene mentions in biomedical literature. Bioinformation, 2(5), 197-206. DOI: 10.6026/97320630002197. Publication link: 6d062e3f-e92b-41eb-a544-3fe3968a688b
  8. Rigby, M., Budgen, D., Turner, M., Kotsiopoulos, I., Brereton, P., Keane, J., ... Zhu, F. (2007). A data-gathering broker as a future-orientated approach to supporting EPR users. International Journal of Medical Informatics, 76(2-3), 137-144. DOI: 10.1016/j.ijmedinf.2006.07.012. Publication link: 319dd461-a5d9-4c01-a1af-2e5796ffc218
  9. Morrison, R., Balasubramaniam, D., Kirby, G., Mickan, K., Warboys, B., Greenwood, R. M., ... Snowdon, B. (2007). A framework for supporting dynamic systems co-evolution. Automated Software Engineering, 14(3), 261-292. DOI: 10.1007/s10515-007-0011-7. Publication link: e273ab3d-075e-4fae-a0a2-ce7dafb60d06
  10. Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2007). A logic for concepts and similarity. Journal of Logic and Computation, 17(3), 415-452. DOI: 10.1093/logcom/exm007. Publication link: 125f9d0a-7860-490f-9cc9-aad442bca559
  11. Stefanov, N., Galata, A., & Hubbold, R. (2007). A real-time hand tracker using variable-length Markov models of behaviour. Computer Vision and Image Understanding, 108(1-2), 98-115. DOI: 10.1016/j.cviu.2006.10.017. Publication link: 5a248a4c-bd9c-4594-99ca-2b8b0efd11c8
  12. Fisher, P., Hedeler, C., Wolstencroft, K., Hulme, H., Noyes, H., Kemp, S., ... Brass, A. (2007). A systematic strategy for large-scale analysis of genotype-phenotype correlations: Identification of candidate genes involved in African trypanosomiasis. Nucleic acids research., 35(16), 5625-5633. DOI: 10.1093/nar/gkm623. Publication link: 1a36fd2d-eb2c-41a9-a0dd-d82027a6999e | PubMed:17709344
  13. Fisher, P., Hedeler, C., Wolstencroft, K., Hulme, H., Noyes, H., Kemp, S., ... Brass, A. (2007). A systematic strategy for the discovery of candidate genes responsible for phenotypic variation. BMC Bioinformatics, 8(8), [P7]. DOI: 10.1186/1471-2105-8-S8-P7. Publication link: 1d07761a-c3d6-4d1d-a828-65a853fde198
  14. Murray, C. D., Fox, J., & Pettifer, S. (2007). Absorption, dissociation, locus of control and presence in virtual reality. Computers in Human Behavior, 23(3), 1347-1354. DOI: 10.1016/j.chb.2004.12.010. Publication link: 574bbb7e-fd58-4d0c-83e7-3d38cbcc34b4
  15. Missier, P., Embury, S., Hedeler, C., Greenwood, M., Pennock, J., & Brass, A. (2007). Accelerating disease gene identification through integrated SNP data analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4544, 215-230. . Publication link: 59165986-02d8-4648-8788-fea1986ab69c
  16. Zhang, N., Yao, L., Nenadic, A., Chin, J., Goble, C., Rector, A., ... Shi, Q. (2007). Achieving fine-grained access control in virtual organizations. Concurrency and Computation: Practice & Experience, 19(9), 1333-1352. DOI: 10.1002/cpe.1099. Publication link: 4b6df2f5-07de-4e93-968e-f391e0af4bfd
  17. Mu, T., Nandi, A. K., & Rangayyan, R. M. (2007). Analysis of breast tumors in mammograms using the pairwise Rayleigh quotient classifier. Journal of Electronic Imaging, 16(4), 043004-043004. . Publication link: e8b247f6-ebda-4825-a1b3-e5645693b99c
  18. Sutcliffe, A., Chang, W. C., & Neville, R. S. (2007). Applying evolutionary computing to complex systems design. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans, 37(5), 770-779. DOI: 10.1109/TSMCA.2007.902653. Publication link: f80890b2-ae61-43c2-b4bd-3bfe9ed08f1d
  19. Wolf, F., Mohr, B., Dongarra, J., & Moore, S. (2007). Automatic analysis of inefficiency patterns in parallel applications. Concurrency and Computation: Practice & Experience, 19(11), 1481-1496. DOI: 10.1002/cpe.1128. Publication link: 1b0d526d-da19-4eaa-878a-14cd3bac5697
  20. Navarro-López, E. M., & Cortés, D. (2007). Avoiding harmful oscillations in a drillstring through dynamical analysis. Journal of Sound and Vibration, 307(1-2), 152-171. DOI: 10.1016/j.jsv.2007.06.037. Publication link: ac87188a-92b5-4115-b835-41cb596758e4
  21. Mu, T., & Nandi, A. K. (2007). Breast cancer detection from FNA using SVM with different parameter tuning systems and SOM--RBF classifier. Journal of the Franklin Institute, 344(3), 285-311. . Publication link: c43fdf2a-d273-4958-abc9-6e4e0337b1b9
  22. Morgado, C., Vincent, M. A., Hillier, I. H., & Shan, X. (2007). Can the DFT-D method describe the full range of noncovalent interactions found in large biomolecules?Physical Chemistry Chemical Physics, 9(4), 448-451. DOI: 10.1039/b615263e. Publication link: 0820bff1-548f-41f5-8fe0-9955efe1742d
  23. O'Brien, P., Hill, E. W., Malik, M. A., & Toohey, M. J. (2007). Chemical bath deposition of cadmium sulphide on silicon nitride: Influence of surface treatment on film growth. Materials Letters, 61(1), 284-287. DOI: 10.1016/j.matlet.2006.04.119. Publication link: 4921d894-5d77-4383-87e6-e481307c04bf
  24. Mu, T., Nandi, A. K., & Rangayyan, R. M. (2007). Classification of breast masses via nonlinear transformation of features based on a kernel matrix. Medical and Biological Engineering and Computing, 45(8), 769-780. . Publication link: bb6f7a95-5cef-44f1-8ecf-ba64becf71ea
  25. Cornell, M. J., Alam, I., Soanes, D. M., Han, M. W., Hedeler, C., Paton, N. W., ... Oliver, S. G. (2007). Comparative genome analysis across a kingdom of eukaryotic organisms: Specialization and diversification in the Fungi. Genome Research, 17(12), 1809-1822. DOI: 10.1101/gr.6531807. Publication link: 35434a73-449c-4f70-8b33-03af4db7abd4 | PubMed:17984228
  26. Camacho, D., Licona, P. V., Mendes, P., & Laubenbacher, R. (2007). Comparison of reverse-engineering methods using an in Silico network. Annals of the New York Academy of Sciences, 1115, 73-89. DOI: 10.1196/annals.1407.006. Publication link: 94a8f2bb-542c-417e-9db8-47041c3aae82 | PubMed:17925358
  27. Martins, A. M., Sha, W., Evans, C., Martino-Catt, S., Mendes, P., & Shulaev, V. (2007). Comparison of sampling techniques for parallel analysis of transcript and metabolite levels in Saccharomyces cerevisiae. Yeast, 24(3), 181-188. DOI: 10.1002/yea.1442. Publication link: 10e6a3b4-d140-4c36-b828-140eb0735391 | PubMed:17230580
  28. Pratt-Hartmann, I. (2007). Complexity of the guarded two-variable fragment with counting quantifiers. Journal of Logic and Computation, 17(1), 133-155. DOI: 10.1093/logcom/exl034. Publication link: c6060390-271b-4294-813a-00fd4bb804b6
  29. Ure, J., Procter, R., Martone, M., Porteous, D., Lloyd, S., Lawrie, S., ... Wardlaw, J. (2007). Data integration in eHealth: A domain/disease specific roadmap. Studies in health technology and informatics, 126, 144-153. . Publication link: 5985b537-08f3-4857-a679-94f51f3f4710 | PubMed:17476057
  30. Morgado, C. A., McNamara, J. P., Hillier, I. H., Burton, N. A., & Vincent, M. A. (2007). Density functional and semiempirical molecular orbital methods including dispersion corrections for the accurate description of noncovalent interactions involving sulfur-containing molecules. Journal of Chemical Theory and Computation, 3(5), 1656-1664. DOI: 10.1021/ct700072a. Publication link: 0529fdb2-5e44-4754-89a7-da43ba74e4b8
  31. Goulermas, J. Y., Liatsis, P., Zeng, X. J., & Cook, P. (2007). Density-driven generalized regression neural networks (DD-GRNN) for function approximation. IEEE Transactions on Neural Networks, 18(6), 1683-1696. DOI: 10.1109/TNN.2007.902730. Publication link: 43839a42-7759-4437-b846-6c3fa70867c9
  32. Schedin, F., Geim, A. K., Morozov, S. V., Hill, E. W., Blake, P., Katsnelson, M. I., & Novoselov, K. S. (2007). Detection of individual gas molecules adsorbed on graphene. Nature Materials, 6(9), 652-655. DOI: 10.1038/nmat1967. Publication link: 38cfc82d-ecd1-47d8-ad3e-985f636f61e4
  33. Zhao, L., & Verschueren, P. (2007). Domain Analysis with Reusable Problem Patterns. OBJEKTspektrum, (2), 70-77. . Publication link: f6bb580d-14dd-460a-a027-f1271ea5fbae
  34. Luciano, J. S., & Stevens, R. D. (2007). E-Science and biological pathway semantics. BMC Bioinformatics, 8(3), [S3]. DOI: 10.1186/1471-2105-8-S3-S3. Publication link: 94ca87bb-77b8-4bfd-8499-f7bfe05e1551
  35. Dark, P. M., Buchan, I. E., Warhurst, G., New, J. P., Gibson, J. M., Baker, P. P. G., ... Kemp, S. (2007). Early and sustained acute falls in total serum cholesterol are associated with critical illness mortality in the setting of tight glycaemic control.Inflammation Research, 53. . Publication link: d074382a-70bb-4ce7-9f76-2da789f9a3e9
  36. Waśniewski, J., Dongarra, J., Madsen, K., Toledo, S., & Zlatev, Z. (2007). Editorial introduction to the special issue on computational linear algebra and sparse matrix computations. Applicable Algebra in Engineering, Communications and Computing, 18(3), 205-207. DOI: 10.1007/s00200-007-0033-1. Publication link: 4ca1fd63-7fa2-44e0-af2d-536a8dfee79f
  37. Miles, J. J. (2007). Effect of grain size distribution on the performance of perpendicular recording media. IEEE Transactions on Magnetics, 43(3), 955-967. DOI: 10.1109/TMAG.2006.888354. Publication link: 4b6ae940-be59-4d14-ba1e-bea14e228c5b
  38. Novoselov, K. S., Morozov, S. V., Mohinddin, T. M. G., Ponomarenko, L. A., Elias, D. C., Yang, R., ... Geim, A. K. (2007). Electronic properties of graphene. Physica Status Solidi (B) Basic Research, 244(11), 4106-4111. DOI: 10.1002/pssb.200776208. Publication link: 8e7e3993-6e3a-4573-a088-3c9ed4e3f6d6
  39. Shaw, D. R., Holland, C. P., Kawalek, P., Snowdon, B., & Warboys, B. (2007). Elements of a business process management system: Theory and practice. Business Process Management Journal, 13(1), 91-107. DOI: 10.1108/14637150710721140. Publication link: 4e3a0adf-cb0f-4595-8ba7-fc31edd7641a
  40. Banach, R., Poppleton, M., Jeske, C., & Stepney, S. (2007). Engineering and theoretical underpinnings of retrenchment. Science of Computer Programming, 67(2-3), 301-329. DOI: 10.1016/j.scico.2007.04.002. Publication link: b26ef083-aa3f-448c-9188-51dcec51de09
  41. Gil, Y., Deelman, E., Ellisman, M., Fahringer, T., Fox, G., Gannon, D., ... Myers, J. (2007). Examining the challenges of scientific workflows. Computer, 40(12), 24-32. DOI: 10.1109/MC.2007.421. Publication link: a89db45b-694b-46af-893d-d5a40cdf0948
  42. Hubbold, R., Jorge, J. A., & Lin, M. (2007). Foreword to: "Special Issue on virtual environments". Computers and Graphics (Pergamon), 31(1), 2-4. DOI: 10.1016/j.cag.2006.09.002. Publication link: 91a03695-23db-40ba-90ff-cad85056e784
  43. Banach, R. (2007). Formal methods - Guest editorial. Journal of Universal Computer Science, 13(5), 593-601. . Publication link: 385dbd1e-8e80-48e1-8e72-7d674d61d0fe
  44. Nordle, A. K. L., Rios, P., Gaulton, A., Pulido, R., Attwood, T. K., & Tabernero, L. (2007). Functional assignment of MAPK phosphatase domains. Proteins: Structure, Function and Bioinformatics, 69(1), 19-31. DOI: 10.1002/prot.21477. Publication link: b9a1fe0d-c28d-471e-8706-711aabbee18a
  45. Siyuan, F., Griffiths, T., & Paton, N. W. (2007). GML for representing data from spatio-historical databases: A case study. Transactions in GIS, 11(2), 233-253. DOI: 10.1111/j.1467-9671.2007.01043.x. Publication link: e3b9d6ca-395d-460e-ae86-4387c8c8920d
  46. Hillier, I., Bader, . U., De Proft, . U., Savin, . U., Bultinck, . U., Mayer, . U., ... Sutcliffe, . U. (2007). General discussion. Faraday Discussions, 135, 237-259. DOI: 10.1039/b615643f. Publication link: 69d21c64-adae-4a4b-90b5-12dc20e5e422
  47. Goulermas, J. Y., Zeng, X. J., Liatsis, P., & Ralph, J. F. (2007). Generalized regression neural networks with multiple-bandwidth sharing and hybrid optimization. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 37(6), 1434-1445. DOI: 10.1109/TSMCB.2007.904541. Publication link: ffbfb35f-ae1b-4430-9521-7b807ad06eb3
  48. Gaskell, S., Castrillo, J. I., Zeef, L. A., Hoyle, D. C., Zhang, N., Hayes, A., ... Oliver, S. G. (2007). Growth control of the eukaryote cell: A systems biology study in yeast. Journal of Biology, 6(2), [4]. DOI: 10.1186/jbiol54. Publication link: 9a49c431-0095-4fed-9132-cc68a3f89f0f | PubMed:17439666
  49. Wang, D., Zeng, X. J., & Keane, J. A. (2007). Hierarchical hybrid fuzzy-neural networks for approximation with mixed input variables. Neurocomputing, 70(16-18), 3019-3033. DOI: 10.1016/j.neucom.2006.07.015. Publication link: 4fb2ab85-faee-49ee-8d28-5f453f4c082a
  50. Belle, B. D., Schedin, F., Pilet, N., Ashworth, T. V., Hill, E. W., Nutter, P. W., ... Miles, J. J. (2007). High resolution magnetic force microscopy study of e-beam lithography patterned CoPt nanodots. Journal of Applied Physics, 101(9), [09F517]. DOI: 10.1063/1.2713429. Publication link: 10f54c63-b995-4674-a87e-84f01dbda351
  51. Jay, C., Stevens, R., Glencross, M., Chalmers, A., & Yang, C. (2007). How people use presentation to search for a link: Expanding the understanding of accessibility on the Web. Universal Access in the Information Society, 6(3), 307-320. DOI: 10.1007/s10209-007-0089-5. Publication link: 6fc04ccc-bca7-4751-8924-956b73accce6
  52. Kurzak, J., & Dongarra, J. (2007). Implementation of mixed precision in solving systems of linear equations on the Cell processor. Concurrency and Computation: Practice & Experience, 19(10), 1371-1385. DOI: 10.1002/cpe.1164. Publication link: 775e79dd-e669-4f37-b953-6660732a7dd3
  53. Ntokas, I. T., Nutter, P. W., Tjhai, C. J., & Ahmed, M. Z. (2007). Improved data recovery from patterned media with inherent jitter noise using low-density parity-check codes. IEEE Transactions on Magnetics, 43(10), 3925-3929. DOI: 10.1109/TMAG.2007.903349. Publication link: 76e6d078-c9b1-4fd7-bfe9-c1518c12ba8e
  54. Jeannot, E., Seymour, K., Yarkhan, A., & Dongarra, J. J. (2007). Improved runtime and transfer time prediction mechanisms in a network enabled servers middleware. Parallel processing letters, 17(1), 47-59. DOI: 10.1142/S0129626407002867. Publication link: cfa13428-dc41-49d4-89c5-71b213aaf1d2
  55. Xanthopoulos, E., Hutchinson, C. E., Adams, J. E., Bruce, I. N., Nash, A. F. P., Holmes, A. P., ... Waterton, J. C. (2007). Improved wrist pannus volume measurement from contrast-enhanced MRI in rheumatoid arthritis using shuffle transform. Magnetic Resonance Imaging, 25(1), 110-116. DOI: 10.1016/j.mri.2006.10.018. Publication link: eccc023b-7771-456a-a9be-9cbdb89e7554 | PubMed:17222722
  56. Park, H., Huxley-Jones, J., Attwood, T. K., & Bella, J. (2007). LRRCE: a cysteine capping motif unique to small leucine-rich repeat proteins and proteoglycans of the extracellular matrix.BMC Systems Biology, 1(1). DOI: 10.1186/1752-0509-1-S1-P55. Publication link: a5effaba-8bfa-4e99-9fc3-39a0e7b59dfa
  57. Tsuruoka, Y., McNaught, J., Tsujii, J., & Ananiadou, S. (2007). Learning string similarity measures for gene/protein name dictionary look-up using logistic regression. Bioinformatics, 23(20), 2768-2774. DOI: 10.1093/bioinformatics/btm393. Publication link: d29b3446-cc78-4549-aae7-4437e04b8ae1
  58. Kim, J. H., Mitchell, A., Attwood, T. K., & Hilario, M. (2007). Learning to extract relations for protein annotation. Bioinformatics, 23(13), 256-263. DOI: 10.1093/bioinformatics/btm168. Publication link: fbd5cb7c-8993-4c62-b926-e6ddfc23befe
  59. Navarro Lopez, E. (2007). Local feedback dissipativity through energy invariance and feedback losslessness properties in nonlinear discrete-time systems. Journal of Mathematical Control Science and Applications, 1(2), 325-337. . Publication link: 3256e859-89cc-4cab-9dc1-67b5368a69a5
  60. Navarro-López, E. M. (2007). Local feedback passivation of nonlinear discrete-time systems through the speed-gradient algorithm. Automatica, 43(7), 1302-1306. DOI: 10.1016/j.automatica.2006.12.017. Publication link: f1d1737f-a70d-40a5-bea3-e8589ebe4edd
  61. Riley, M. C., Clare, A., & King, R. D. (2007). Locational distribution of gene functional classes in arabidopsis thaliana. BMC Bioinformatics, 8, [112]. DOI: 10.1186/1471-2105-8-112. Publication link: 74007f6f-1a55-4d64-99a7-6893b7d6e7cd
  62. Pješivac-Grbović, J., Bosilca, G., Fagg, G. E., Angskun, T., & Dongarra, J. J. (2007). MPI collective algorithm selection and quadtree encoding. Parallel Computing, 33(9), 613-623. DOI: 10.1016/j.parco.2007.06.005. Publication link: d3ce7641-f4c2-4407-a692-7b17476fcd10
  63. Blake, P., Hill, E. W., Castro Neto, A. H., Novoselov, K. S., Jiang, D., Yang, R., ... Geim, A. K. (2007). Making graphene visible. Applied Physics Letters, 91(6), [063124]. DOI: 10.1063/1.2768624. Publication link: e70151aa-5e16-498f-9a65-701ad34e5850
  64. Robertson, S. H., Pilling, M. J., Jitariu, L. C., & Hillier, I. H. (2007). Master equation methods for multiple well systems: Application to the 1-,2-pentyl system. Physical Chemistry Chemical Physics, 9(31), 4085-4097. DOI: 10.1039/b704736c. Publication link: 4c6df717-99c1-493f-adc5-e01e9544d948
  65. Sundararajan, M., Hillier, I. H., & Burton, N. A. (2007). Mechanism of nitrite reduction at T2Cu centers: Electronic structure calculations of catalysis by copper nitrite reductase and by synthetic model compounds. Journal of Physical Chemistry B, 111(19), 5511-5517. DOI: 10.1021/jp066852o. Publication link: ead87e7d-998c-4780-97dd-906046f58b8b
  66. Henriques, I. D. S., Aga, D. S., Mendes, P., O'Connor, S. K., & Love, N. G. (2007). Metabolic footprinting: A new approach to identify physiological changes in complex microbial communities upon exposure to toxic chemicals. Environmental Science and Technology, 41(11), 3945-3951. DOI: 10.1021/es062796t. Publication link: dcffafb8-54e5-4ff9-9e5a-e22a202233f0 | PubMed:17612173
  67. Goodacre, J., & Pitcher, G. (2007). Mighty Multicore. News Electronics, 29-30. . Publication link: 02b4cd25-4dc2-457e-a03b-fc36140a29ba
  68. Jay, C., Glencross, M., & Hubbold, R. (2007). Modeling the effects of delayed haptic and visual feedback in a collaborative virtual environment. ACM Transactions on Computer-Human Interaction, 14(2), [1275514]. DOI: 10.1145/1275511.1275514. Publication link: c1403c72-c9e4-4a21-b262-03f21af0d2fa
  69. Klimowicz, A. N. F., & Mihajlović, M. D. (2007). Modelling 3D semi-deformable tubes in real time. Applied Mathematics and Computation, 184(1), 52-62. DOI: 10.1016/j.amc.2005.12.072. Publication link: cf18fb8e-28ba-410f-bfb8-076f10c7e53d
  70. Jay, C., Glencross, M., & Hubbold, R. (2007). Modelling the Effects of Delayed Haptic and Visual Feedback in a Collaborative Virtual Environment. Unknown Journal, 14(2). . Publication link: 246249bc-ae24-4596-b202-7afdba3aaa9e
  71. Goodacre, J. (2007). Multicore processing for automotive applications. ATZ Elektronik Worldwide , 2(4), 16-18. DOI: 10.1007/BF03242141. Publication link: bfa31773-78ac-42d2-bca6-f2e7a0a0a730
  72. Furber, S., & Temple, S. (2007). Neural systems engineering. Journal of the Royal Society Interface, 4(13), 193-206. DOI: 10.1098/rsif.2006.0177. Publication link: 8fb3affe-089e-4ff6-9220-c327093b98c1
  73. Mulder, N. J., Apweiler, R., Attwood, T. K., Bairoch, A., Bateman, A., Binns, D., ... Yeats, C. (2007). New developments in the InterPro database. Nucleic acids research., 35(1), D224-D228. DOI: 10.1093/nar/gkl841. Publication link: 2b8519c9-3ac7-4b52-b1e1-72e417d10262
  74. Singh, G., Vahi, K., Ramakrishnan, A., Mehta, G., Deelman, E., Zhao, H., ... Katz, D. S. (2007). Optimizing workflow data footprint. Scientific Programming, 15(4), 249-268. . Publication link: 6b24ab18-d0cb-4d5f-93b3-7d32db1fd480
  75. Schierz, A. C., Soldatova, L. N., & King, R. D. (2007). Overhauling the PDB. Nature Biotechnology, 25(4), 437-442. DOI: 10.1038/nbt0407-437. Publication link: ec2cf1a8-90f0-4510-9c96-51cbcd0fcc85
  76. Corpas, C., Sinnott, J., Thorne, D., Pettifer, S., Attwood, T. K., & The PFF Consortium (2007). PFF - an integrated database of residues and fragments critical for protein folding.BMC Systems Biology, 1(1), [P48]. DOI: 10.1186/1752-0509-1-S1-P48. Publication link: b194b392-d41a-429d-b486-70ab409b9ca4
  77. Terris, B. D., Thomson, T., & Hu, G. (2007). Patterned media for future magnetic data storage. Microsystem Technologies, 13(2), 189-196. DOI: 10.1007/s00542-006-0144-9. Publication link: 0b01158e-08ff-492a-86bf-ac462907543b
  78. Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., & Katz, Y. (2007). Pellet: A practical OWL-DL reasoner. Web Semantics, 5(2), 51-53. DOI: 10.1016/j.websem.2007.03.004. Publication link: 2931bfc9-3f97-4fbf-842a-82be430d73ee
  79. Pješivac-Grbović, J., Angskun, T., Bosilca, G., Fagg, G. E., Gabriel, E., & Dongarra, J. J. (2007). Performance analysis of MPI collective operations. Cluster Computing, 10(2), 127-143. DOI: 10.1007/s10586-007-0012-0. Publication link: b2bcdb46-de3f-410c-8a74-a50adeaa808a
  80. Abdel-Ghafar, R. A., & Morris, T. (2007). Progress Towards Automated Detection and Characterisation of the Optic Disk in Glaucoma and Diabetic Retinopathy. Medical Informatics and the Internet in Medicine, 32/1. . Publication link: 7daf25cf-7211-459e-b5ff-f921aaa6f177
  81. Navarro-López, E. M. (2007). QSS-dissipativity and feedback QS-passivity of nonlinear discrete-time systems. Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms, 14(1), 47-63. . Publication link: 675494ff-f825-4925-bd9f-49012327b526
  82. Langou, J., Chen, Z., Bosilca, G., & Dongarra, J. (2007). Recovery patterns for iterative methods in a parallel unstable environment. SIAM Journal on Scientific Computing, 30(1), 102-116. DOI: 10.1137/040620394. Publication link: b1b9b78a-f8b8-4aef-b981-7aa2af0db152
  83. Wroe, C., Goble, C., Goderis, A., Lord, P., Miles, S., Papay, J., ... Moreau, L. (2007). Recycling workflows and services through discovery and reuse. Concurrency and Computation: Practice & Experience, 19(2), 181-194. DOI: 10.1002/cpe.1050. Publication link: f33e0c58-b10f-4c78-b928-c7a0c7e772ab
  84. Missier, P., Alper, P., Corcho, O., Dunlop, I., & Goble, G. (2007). Requirements and services for metadata management. IEEE Internet Computing, 11(5), 17-25. DOI: 10.1109/MIC.2007.113. Publication link: e3d4b5ae-dc9f-4aae-b1bc-066d15a50157
  85. Banach, R., Jeske, C., Poppleton, M., & Stepney, S. (2007). Retrenching the purse: The balance enquiry quandary, and generalised and (1,1) forward refinements. Fundamenta Informaticae, 77(1-2), 29-69. . Publication link: 2fb87cb4-3e44-4372-b6cf-0f8d686f7aac
  86. McNamara, J. P., & Hillier, I. H. (2007). Semi-empirical molecular orbital methods including dispersion corrections for the accurate prediction of the full range of intermolecular interactions in biomolecules. Physical Chemistry Chemical Physics, 9(19), 2362-2370. DOI: 10.1039/b701890h. Publication link: c3bf177e-eab4-42a0-bdfb-ef35831304b5
  87. McNamara, J. P., Berrigan, S. D., & Hillier, I. H. (2007). Semiempirical molecular orbital scheme to study lanthanide(III) complexes: PM3 parameters for europium, gadolinium, and ytterbium. Journal of Chemical Theory and Computation, 3(3), 1014-1027. DOI: 10.1021/ct600304g. Publication link: f3d614b7-17c0-4d42-9dd9-2968a09207c3
  88. Hellwig, O., Berger, A., Thomson, T., Dobisz, E., Bandic, Z. Z., Yang, H., ... Fullerton, E. E. (2007). Separating dipolar broadening from the intrinsic switching field distribution in perpendicular patterned media. Applied Physics Letters, 90(16), [162516]. DOI: 10.1063/1.2730744. Publication link: 5cb30aea-d6f5-48e6-bbe6-fe111b1fe6be
  89. Lau, K. K., & Wang, Z. (2007). Software component models. IEEE Transactions on Software Engineering, 33(10), 709-724. DOI: 10.1109/TSE.2007.70726. Publication link: 07cbf4ee-3bc9-477b-a288-94158e298737
  90. Furber, S. B., Brown, G., Bose, J., Cumpstey, J. M., Marshall, P., & Shapiro, J. L. (2007). Sparse distributed memory using rank-order neural codes. IEEE Transactions on Neural Networks, 18(3), 648-659. DOI: 10.1109/TNN.2006.890804. Publication link: 68f430ba-ecd2-43cd-b982-032b6e22dc35
  91. Gerndt, M., & Gurd, J. (2007). Special issue: European-American Working Group on Automatic Performance Analysis (APART). Concurrency and Computation: Practice & Experience, 19(11), 1447-1449. DOI: 10.1002/cpe.1122. Publication link: 3d4c364d-707d-4e35-86c5-e116d0f756c9
  92. Daumas, M., & Lester, D. (2007). Stochastic formal methods: An application to accuracy of numeric software. Annual Hawaii International Conference on System Sciences. Proceedings , [4076913]. DOI: 10.1109/HICSS.2007.499. Publication link: a1137548-748a-4e01-8184-4327f5589fd0
  93. Murray, C. D., Howard, T., Wilde, D. J., Fox, J., & Simmonds-Moore, C. (2007). Testing for telepathy using an immersive virtual environment. Journal of Parapsychology, 71, 105-123. . Publication link: 64461832-6087-4a25-b05f-54cbda4f5b4d
  94. Jones, A. R., Miller, M., Aebersold, R., Apweiler, R., Ball, C. A., Brazma, A., ... Pizarro, A. (2007). The Functional Genomics Experiment model (FuGE): An extensible framework for standards in functional genomics. Nature Biotechnology, 25(10), 1127-1133. DOI: 10.1038/nbt1347. Publication link: ee7d6031-2756-4f4b-ad1f-6e1e0b478df7 | PubMed:17921998
  95. Sansone, S. A., Fan, T., Goodacre, R., Griffin, J. L., Hardy, N. W., Kaddurah-Daouk, R., ... Fiehn, O. (2007). The Metabolomics Standards Initiative [3]. Nature Biotechnology, 25(8), 846-848. DOI: 10.1038/nbt0807-846b. Publication link: 3709799e-d24e-4329-84c0-ad446a236a6d | PubMed:17687353
  96. Ananiadou, S. (2007). The National Centre for Text Mining: a Vision for the Future. Ariadne, 53. . Publication link: d2c3b1ac-e862-4745-879a-24aa007ec070
  97. Vizcaíno, J. A., Martens, L., Hermjakob, H., Julian, R. K., & Paton, N. W. (2007). The PSI formal document process and its implementation on the PSI website. Proteomics, 7(14), 2355-2357. DOI: 10.1002/pmic.200700064. Publication link: 6ee3948a-81dd-41b6-87fe-4472bc2a8e27
  98. Brenchley, R., Tariq, H., McElhinney, H., Szöor, B., Huxley-Jones, J., Stevens, R., ... Tabernero, L. (2007). The TriTryp phosphatome: Analysis of the protein phosphatase catalytic domains. BMC Genomics, 8, [434]. DOI: 10.1186/1471-2164-8-434. Publication link: 04aab3db-1983-408d-913d-3a894b718f10
  99. Schmidt, R. A., & Hustadt, U. (2007). The axiomatic translation principle for modal logic. ACM Transactions on Computational Logic, 8(4), [1276921]. DOI: 10.1145/1276920.1276921. Publication link: 0542b740-cec4-4190-ac3d-9a3ed8daa6ca
  100. Periyasamy, G., Sundararajan, M., Hillier, I. H., Burton, N. A., & McDouall, J. J. W. (2007). The binding of nitric oxide at the Cu(I) site of copper nitrite reductase and of inorganic models: DFT calculations of the energetics and EPR parameters of side-on and end-on structures. Physical Chemistry Chemical Physics, 9(20), 2498-2506. DOI: 10.1039/b701083d. Publication link: d4617b26-01e1-4d3f-93c2-7e32cb72040a
  101. Periyasamy, G., Burton, N. A., Hillier, I. H., Vincent, M. A., Disley, H., McMaster, J., & Garner, C. D. (2007). The dithiolene ligand - 'Innocent' or 'non-innocent'? A theoretical and experimental study of some cobalt-dithiolene complexes. Faraday Discussions, 135, 469-488. DOI: 10.1039/b607144a. Publication link: 5637f358-a62b-47e1-b62a-1592a8fb906e
  102. Dimelow, R. J., Burton, N. A., & Hillier, I. H. (2007). The dynamics of water exchange in gadolinium DOTA complexes studied by transition path sampling and potential of mean force methods. Physical Chemistry Chemical Physics, 9(11), 1318-1323. DOI: 10.1039/b617068d. Publication link: 94ea21f5-3d25-4129-8307-769c5048af8a
  103. Brooke, J. M., Marsh, J., Pettifer, S., & Sastry, L. S. (2007). The importance of locality in the visualization of large datasets. Concurrency and Computation: Practice & Experience, 19(2), 195-205. DOI: 10.1002/cpe.1042. Publication link: b95ffd61-a8a0-4fb2-b71c-4661a74a357e
  104. Fiehn, O., Robertson, D., Griffin, J., vab der Werf, M., Nikolau, B., Morrison, N., ... Sansone, S. A. (2007). The metabolomics standards initiative (MSI). Metabolomics, 3(3), 175-178. DOI: 10.1007/s11306-007-0070-6. Publication link: eb8f02ee-e659-4552-829f-a51a28387567
  105. Taylor, C. F., Paton, N. W., Lilley, K. S., Binz, P. A., Julian, R. K., Jones, A. R., ... Hermjakob, H. (2007). The minimum information about a proteomics experiment (MIAPE). Nature Biotechnology, 25(8), 887-893. DOI: 10.1038/nbt1329. Publication link: 1867387f-47b5-47e8-bee2-c81b626117bc
  106. Wolstencroft, K., Alper, P., Hull, D., Wroe, C., Lord, P. W., Stevens, R. D., & Goble, C. A. (2007). The myGrid ontology: Bioinformatics service discovery. International Journal of Bioinformatics Research and Applications, 3(3), 303-325. DOI: 10.1504/IJBRA.2007.015005. Publication link: 702df929-f95b-4fb9-ae27-28e4d163e31f
  107. Murray, C. D., Pettifer, S., Howard, T., Patchick, E. L., Caillette, F., Kulkarni, J., & Bamford, C. (2007). The treatment of phantom limb pain using immersive virtual reality: Three case studies. Disability and Rehabilitation, 29(18), 1465-1469. DOI: 10.1080/09638280601107385. Publication link: ea1718ea-e886-4928-98b7-310100c4906a
  108. Woodcock, J., & Banach, R. (2007). The verification grand challenge. Journal of Universal Computer Science, 13(5), 661-668. . Publication link: 9fc0a086-77c7-4c19-a0cd-d71dc482096d
  109. Aranguren, M. E., Bechhofer, S., Lord, P., Sattler, U., & Stevens, R. (2007). Understanding and using the meaning of statements in a bio-ontology: Recasting the Gene Ontology in OWL. BMC Bioinformatics, 8, [57]. DOI: 10.1186/1471-2105-8-57. Publication link: 9de5d804-c7ca-4207-b2f0-891fab4a9272
  110. Stevens, R., Zhao, J., & Goble, C. (2007). Using provenance to manage knowledge of In Silico experiments. Briefings in Bioinformatics, 8(3), 183-194. DOI: 10.1093/bib/bbm015. Publication link: 75956d19-97ec-4ce7-8dc5-f418c27ed291
  111. Howard, T. L. J., & Gaborit, N. (2007). Using virtual environment technology to improve public participation in urban planning process. Journal of Urban Planning and Development, 133(4), 233-241. DOI: 10.1061/(ASCE)0733-9488(2007)133:4(233). Publication link: e926c704-e04b-42eb-a4d2-43dcc2de9227
  112. Hedeler, C., Wong, H. M., Cornell, M. J., Alam, I., Soanes, D. M., Rattray, M., ... Paton, N. W. (2007). e-Fungi: A data resource for comparative analysis of fungal genomes. BMC Genomics, 8, [426]. DOI: 10.1186/1471-2164-8-426. Publication link: a84af808-1d37-4ec7-83c0-c2aa759ef0c9 | PubMed:18028535
Chapter
  1. Horrocks, I., Hustadt, U., Sattler, U., & Schmidt, R. (2007). 4 Computational modal logic. In Studies in Logic and Practical Reasoning|Stud. Logic Pract. Reasoning. (Vol. 3, pp. 181-245). (Handbook of Modal Logic). DOI: 10.1016/S1570-2464(07)80007-3. Publication link: 5a946370-c6b0-420a-b53f-26599e29de35
  2. Hayes, A., Castrillo, J. I., Oliver, S. G., Brass, A., & Zeef, L. A. H. (2007). 9 Transcript Analysis: A Microarray Approach. In Methods in Microbiology|Methods Microbiol.. (Vol. 36, pp. 189-703). Elsevier. DOI: 10.1016/S0580-9517(06)36009-6. Publication link: d9171f8d-e457-454e-afcc-695e1b5728ef
  3. Wolstencroft, K., Stevens, R., Haarslev, V., Baker, C. J. O. (Ed.), & Cheung, K. (Ed.) (2007). Applying OWL Reasoning to Genomic Data. In Semantic Web : Revolutionizing Knowledge Discovery in the Life Sciences. (pp. 225-248). Springer Verlag. DOI: 10.1007/978-0-387-48438-9_12. Publication link: 7bc17e73-e7c7-4e58-b667-767cb8525479
  4. Garside, J., & Furber, S. (2007). Asynchronous and self-timed processor design. In Processor Design: System-on-Chip Computing for ASICs and FPGAs|Proc. Des.: System-on-Chip Comp. for ASICs and FPGAs. (pp. 367-389). Springer Netherlands. DOI: 10.1007/978-1-4020-5530-0_16. Publication link: 1a508d14-abbc-4fb6-96f3-42a46a9c1142
  5. Yang, Y., & Chen, K. (2007). Combining competitive learning networks of various representations for sequential data clustering. In Trends in Neural Computation. (1 ed., pp. 315-336). Berlin: Springer Verlag. . Publication link: 0e24d21a-fce0-49bb-bff2-dfd55341b01a
  6. Mehandjiev, N., Stalker, I. D., & Carpenter, M. (2007). Devolved ontology for smart applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.: Knowledge Architectures for Smart Applications. (Vol. 4604, pp. 360-373). Springer Verlag. . Publication link: 35f4c80b-4490-484a-8618-f303a81edcc5
  7. Pratt-Hartmann, I., Aiello, M., & Benthem, J. V. (2007). First-Order Mereotopology. In Handbook of Spatial Logics. (pp. 13-97). Berlin: Springer Verlag. . Publication link: 3c1c8b08-4178-4e48-8e35-66f8e39f1326
  8. Attwood, T. K., & Cooper, D. (Ed.) (2007). Genetic databases. In Encyclopaedia of Life Sciences. John Wiley & Sons . . Publication link: 1c079b2c-8399-4b92-826a-bd21bf8129b0
  9. Goble, C., Wolstencroft, K., Goderis, A., Hull, D., Zhao, J., Alper, P., ... Roure, D. D. (2007). Knowledge discovery for biology with Taverna. In Semantic Web: Revolutionising Knowledge Discovery in Life Sciences. Springer-Verlag New York Inc. . Publication link: 041b6390-870f-43a7-b7d3-d6b427630369
  10. King, R. D., Karwath, A., Clare, A., & Dehaspe, L. (2007). Logic and the automatic acquisition of scientific knowledge: An application to functional genomics. In S. Džeroski, & . L. Todorovski (Eds.), Computational Discovery of Scientific Knowledge: Introduction, Techniques, and Applications in Environmental and Life Sciences. (Vol. 4660, pp. 273-289). ( Lecture notes in computer science). Springer Verlag. DOI: 10.1007/978-3-540-73920-3_13. Publication link: a1f071d8-0c8d-43a8-ad24-c7e255bd72f1
  11. Fahad, A., & Morris, T. (2007). Multiple combined constraints for optical flow estimation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4842, pp. 11-20). Springer Verlag. . Publication link: 5bb883e3-c230-42b9-8c59-81a2425d5cb2
  12. Navarro Lopez, E., Navarro-Lopez, E. M., Cortes, D., Bemporad, A. (Ed.), Bicchi, A. (Ed.), & Buttazzo, G. (Ed.) (2007). Parameters Controller Selection Through Bifurcation Analysis in a Piecewise-smooth System. In Lecture Notes on Computer Science, LNCS 4416: Hybrid Systems Computation and Control, HSCC. (1st ed., pp. 736-740). Berlin Heidelberg: Springer Verlag. . Publication link: 55e9aad5-ee27-4404-a6f7-3b3fc8dc0d5b
  13. Sakellariou, R., Zhao, H., Tsiakkouri, E., & Dikaiakos, M. D. (2007). Scheduling workflows with budget constraints. In Integrated Research in GRID Computing - CoreGRID Integration Workshop 2005, Selected Papers|Integr. Res. GRID Comput. - CoreGRID Integr. Workshop, Sel. Pap.. (pp. 189-202). (Integrated Research in GRID Computing). Springer Science and Business Media, LLC. DOI: http://dx.doi.org/10.1007/978-0-387-47658-2_14. Publication link: 18e432b7-27e0-4522-bee5-dbb27a4a99c6
  14. Oinn, T., Li, P., Kell, D. B., Goble, C., Goderis, A., Greenwood, M., ... Zhao, J. (2007). Taverna/myGrid: Aligning a workflow system with the life sciences community. In Workflows for e-Science: Scientific Workflows for Grids|Workflows for e-Science: Sci. Workflows for Grids. (pp. 300-319). Springer London. DOI: 10.1007/978-1-84628-757-2_19. Publication link: 26902e40-c134-4c81-8223-b26d1c89802c
  15. Attwood, T. K., Mitchell, A. L., Gaulton, A., Moulton, G., & Tabernero, L. (2007). The PRINTS protein fingerprint database: functional and evolutionary applications. In Encyclopaedia of genetics, genomics, proteomics & bioinformatics. John Wiley & Sons . . Publication link: bb324423-43b9-4d4f-8613-8510de31fe1c
Scholarly edition
  1. Chen, K., & Wang, L. (2007). Trends in Neural Computation. (1 ed.) (Studies in Computational Intelligence). Berlin: Springer Verlag.. Publication link: 2f50db15-5eb7-4f50-b549-25921f8e5935
Patent
  1. Rawsthorne, A. (2007). Patent No. US 7,203,933 B2.. Publication link: 34cf39eb-bf0c-4c71-a9cd-14abc82d0985
  2. Rawsthorne, A., & Souloglou, J. (2007). Patent No. 7203934.. Publication link: 5911e47a-559d-4b36-a431-aaa6a771ec79
Book
  1. Attwood, T., Barber, R. D., & Maiers, J. (2007). A "game" introduction to bioinformatic sequence comparisons. (Cell & Molecular Biology in Action). Pearson Education, South Asia.. Publication link: f54dd6ff-e591-4fab-9f2d-0a7f2f59f044
  2. Burbidge, R., Rowland, J. J., & King, R. D. (2007). Active learning for regression based on query by committee. (Intelligent Data Engineering and Automated Learning). No publisher name. DOI: 10.1007/978-3-540-77226-2_22. Publication link: 34ec54a8-8c36-4c3f-997f-cf3d99e365e8
  3. Garrett, S. M., Coghill, G. M., Srinivasan, A., & King, R. D. (2007). Learning qualitative models of physical and biological systems. (Lecture notes in computer science, ). Berlin: Springer Verlag. DOI: 10.1007/978-3-540-73920-3_12. Publication link: c6ca5b6c-9a8c-4cbd-b305-41ac4f2fce7f
Other
  1. Banach, R. (2007). Retrenchment Tutorial. Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, UK, London, .. Publication link: a63362e4-9b72-44b6-a181-a668aed8dcfa
  2. Zhao, L. (2007). Service Agenda: from services in the small to the services in the large. NECTISE-SOA Workshop, University of Loughborough, .. Publication link: 662ead97-e8ae-43c5-9bf5-b980a0d306ab
Poster
  1. Hou, S., Galata, A., Caillette, F., Thacker, N., & Bromiley, P. (2007). Real-time body tracking using a gaussian process latent variable model. Poster session presented at 2007 IEEE 11th International Conference on Computer Vision, ICCV, Rio de Janeiro, .DOI: 10.1109/ICCV.2007.4408946. Publication link: 852a4a73-1545-4066-82be-66f825a0a969
  2. Buchan, I., Bhagat, J., Ainsworth, J., Goble, C., & Hoyle, D. (2007). Research Objects: Knowledge Management for Federated Public Health Research. Poster session presented at Public Health Informatics 2007, Seattle, .. Publication link: a5eb9cf9-6d79-4127-b2c6-62616a2cf1ab
Foreword/postscript
  1. Pratt-Hartmann, I., Aiello, M., & Benthem, J. V. (2007). What is Spatial Logic? In Handbook of Spatial Logics. (pp. 1-11). Berlin: Springer Verlag. . Publication link: ad794932-9c43-4eb0-b84f-759afd399648
Commissioned report
  1. Schmidt, R. A., & Tishkovsky, D. (2007). Using tableau to decide expressive description logics with role negation. No publisher name. DOI: 10.1007/978-3-540-76298-0_32. Publication link: c5df2ba1-2d90-42d7-8efd-c91430cdaf25
Anthology
  1. Pratt-Hartmann, I., & Benthem, M. A. I. P-H. J. V. (2007). Handbook of Spatial Logics. Springer Verlag.. Publication link: f8a15604-a36d-400f-8c08-5e430c0c4c97
▲ Up to the top