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


2012

Conference contribution
  1. McNerney, P. J. J., & Zhang, N. (2012). A 2-dimensional approach to qos provisioning in adversarial mobile ad hoc network environments. In MSWiM'12 - Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems|MSWiM - Proc. ACM Int. Conf. Model., Anal. Simul. Wirel. Mob. Syst.. (pp. 143-150). Paphos, Cyprus: Association for Computing Machinery (ACM). DOI: 10.1145/2387238.2387264. Publication link: 07b418d3-4aec-4dc3-959a-24c0efa593fc
  2. Konev, B., Schmidt, R. A., & Schulz, S. (Eds.) (2012). A Comparison of Solvers for Propositional Dynamic Logic. In B. Konev, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. (Vol. 9, pp. 60-69). (EPiC Series). EasyChair. . Publication link: e91cb580-5362-447d-b319-bf3717596db5
  3. Schmidt, R., Dixon, D., Konev, B., Tishkovsky, D., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). A Labelled Tableau Approach for Temporal Logic with Constraints. In R. A. Schmidt, & F. Papacchini (Eds.), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). School of Computer Science. . Publication link: 5d6e1fd4-b42b-4320-bee0-f52c05227ab4
  4. Zheng, W., & Sakellariou, R. (2012). A Monte-Carlo approach for full-ahead stochastic DAG scheduling. In Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012|Proc. IEEE Int. Parallel Distrib. Process. Symp. Workshops, IPDPSW. (pp. 99-112). DOI: 10.1109/IPDPSW.2012.8. Publication link: 063c2138-0233-440e-9b67-8ae055cc4f60
  5. Saleem, S., & Zhang, N. (2012). A Risk-Aware Workload scheduler to support secure and efficient collaborative data transfer in mobile communities. In 2012 9th Annual Conference on Wireless On-Demand Network Systems and Services, WONS 2012|Annu. Conf. Wirel. On-Demand Netw. Syst. Serv., WONS. (pp. 31-34). IEEE Computer Society. DOI: 10.1109/WONS.2012.6152231. Publication link: 6f64b563-a620-4190-9a2e-ba34beca6450
  6. Meng, F-L., & Zeng, X-J. (2012). A Stackelberg Game Approach to maximise electricity retailer's profit and minimse customers' bills for future smart grid. In Computational Intelligence (UKCI), 2012 12th UK Workshop on. (pp. 1-7). Publication link: 68ddeca4-e601-483f-b30a-3c6de9de73f7
  7. Liakata, M., Thompson, P., de Waard, A., Nawaz, R., Pander Maat, H., & Ananiadou, S. (2012). A Three-Way Perspective on Scientific Discourse Annotation for Knowledge Extraction. In Proceedings of the ACL Workshop on Detecting Structure in Scholarly Discourse (DSSD). (pp. 37-46). Publication link: 5692535a-15ff-4cf2-bf86-ee267385e5e8
  8. Black, W. J., Procter, R., Gray, S., & Ananiadou, S. (2012). A data and analysis resource for an experiment in text mining a collection of micro-blogs on a political topic. In Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC 2012). (pp. 2083-2088). European Language Resources Association (LREC). . Publication link: bc41a305-b5e9-4b01-9128-97026ac68310
  9. Galluppi, F., Davies, S., Rast, A., Sharp, T., Plana, L. A., & Furber, S. (2012). A hierachical configuration system for a massively parallel neural hardware platform. In CF '12 - Proceedings of the ACM Computing Frontiers Conference|CF - Proc. ACM Comput. Front. Conf.. (pp. 183-192). New York, USA: ACM. DOI: 10.1145/2212908.2212934. Publication link: 40ed1c3b-3217-4db2-8681-8c1d68667e72
  10. O'Toole, M. D., & Navarro-López, E. M. (2012). A hybrid automaton for a class of multi-contact rigid-body systems with friction and impacts. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (pp. 299-306). IFAC. DOI: 10.3182/20120606-3-NL-3011.00074. Publication link: 614df5cc-8e87-43eb-82ae-cf3353fa2c89
  11. Galluppi, F., Brohan, K., Davidson, S., Serrano-Gotarredona, T., Carrasco, J. A. P., Linares-Barranco, B., & Furber, S. (2012). A real-time, event-driven neuromorphic system for goal-directed attentional selection. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (PART 2 ed., Vol. 7664 LNCS, pp. 226-233). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7664 LNCS, No. PART 2). DOI: 10.1007/978-3-642-34481-7_28. Publication link: ea1c5b36-e337-4a90-a928-558685b899dd
  12. Lee, S. J., & Zeng, X. J. (2012). A similarity-based learning algorithm for fuzzy system identification with a two-layer optimization scheme. In IEEE International Conference on Fuzzy Systems|IEEE Int Conf Fuzzy Syst. IEEE. DOI: 10.1109/FUZZ-IEEE.2012.6251330. Publication link: 7ff03995-ed3c-4ba2-870f-b3028dba44bd
  13. Wang, D., Zeng, X. J., & Keane, J. A. (2012). A structure learning method for concise fuzzy systems. In IEEE International Conference on Fuzzy Systems|IEEE Int Conf Fuzzy Syst. IEEE. DOI: 10.1109/FUZZ-IEEE.2012.6251171. Publication link: e859c9a6-5d9e-4d2f-a9b7-f942569b1cec
  14. McNerney, P. J. J., & Zhang, N. (2012). A study on reservation-based adaptation for QoS in adversarial MANET environments. In IWCMC 2012 - 8th International Wireless Communications and Mobile Computing Conference|IWCMC - Int. Wirel. Commun. Mob. Comput. Conf.. (pp. 677-682). Limassol, Cyprus: Institution of Electrical and Electronic Engineers (IEEE). DOI: 10.1109/IWCMC.2012.6314286. Publication link: adf11094-5936-4941-a5bf-4a9400408a93
  15. Goodacre, J. (2012). ARM and Heterogeneous Compute. In host publication. MPSoc. . Publication link: f51f9bc9-8178-4cb4-a9e1-070e08e2e4e0
  16. McDermott, P., Pettifer, S., & Abeles, P. (2012). ASARM: A system for CFS/ME monitoring and treatment. In BIODEVICES 2012 - Proceedings of the International Conference on Biomedical Electronics and Devices|BIODEVICES - Proc. Int. Conf. Biomed. Electron. Devices. (pp. 160-166). Publication link: 72d94e0e-2f1a-4961-887a-fa6fc78717a4
  17. Korkontzelos, I., & Ananiadou, S. (2012). ASCOT: Assisting search and creation of clinical trials. In IHI'12 - Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium|IHI - Proc. ACM SIGHIT Int. Health Informatics Symp.. (pp. 855-858). (IHI '12). ACM. DOI: 10.1145/2110363.2110472. Publication link: 9e145614-6223-4159-b2bb-43f268e7001a
  18. Banach, R., Zhu, H., Su, W., & Wu, X. (2012). ASM and controller synthesis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7316, pp. 51-64). LNCS 7316. DOI: 10.1007/978-3-642-30885-7_4. Publication link: c4efb023-1ffa-4b95-ae6f-b88a4a56897c
  19. Goble, C., De Roure, D., & Bechhofer, S. (2012). Accelerating scientists' knowledge turns. In 3rd International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. (LNCS). Springer Verlag. . Publication link: bd19d8de-8cc0-4d52-a2d4-d5836cea997d
  20. Gonzalez, C., Rodriguez, J., & Jay, C. (2012). Accessibility in Multi-Device Web Applications. In W3C Online Symposium for Mobile Accessibility.. Publication link: 442e69de-7705-4a1d-bd41-c6883b088e79
  21. Duck, G., Robertson, D., Stevens, R., & Nenadic, G. (2012). Ambiguity and variability of database and software names in bioinformatics. In SMBM 2012 - Proceedings of the 5th International Symposium on Semantic Mining in Biomedicine|SMBM - Proc. Int. Symp. Semantic Min. Biomed.. (pp. 2-9). http://www.zora.uzh.ch/64476/. DOI: 10.5167/uzh-64476. Publication link: ea2ea0a0-da0a-4e8c-b801-2219c3bb5cde
  22. Khodadadi, M., Schmidt, R. A., & Tishkovsky, D. (2012). An abstract tableau calculus for the description logic SHOI using unrestricted blocking and rewriting. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 846, pp. 224-234). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 05ee0660-2bc3-4f38-b11a-37de3a17eac9
  23. Garside, J. D., Furber, S. B., Temple, S., Clark, D. M., & Plana, L. A. (2012). An asynchronous fully digital delay locked loop for DDR SDRAM data recovery. In Proceedings - International Symposium on Asynchronous Circuits and Systems|Proc. Int. Symp. Asynchr. Circuits Syst.. (pp. 49-56). IEEE Computer Society. DOI: 10.1109/ASYNC.2012.18. Publication link: 8df4000b-3922-48c8-b5be-8c2c00519863
  24. Pourmirza, Z., & Brooke, J. (2012). An experimental communication architecture for monitoring and control of sub-grids. In SMARTGREENS 2012 - Proceedings of the 1st International Conference on Smart Grids and Green IT Systems|SMARTGREENS - Proc. Int. Conf. Smart Grids Green IT Syst.. (pp. 67-72). SciTePress. DOI: 10.5220/0003948600670072. Publication link: 283ec7b2-f33c-4942-b23c-be8308ce6eaf
  25. Pettifer, S., Howard, T., Blundell, B., Edwards, D., & Lieberman, I. (2012). An immersive virtual environment for Phantom Limb Pain rehabilitation. In GRAPP 2012 IVAPP 2012 - Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications|GRAPP IVAPP - Proc. Int. Conf. Comput. Graph. Theory Appl. Int. Conf. Inf. Vis. Theory Appl.. (pp. 426-433). Publication link: b1021255-b331-4113-bf19-11e2d2fccce1
  26. Letsholo, K., Chioasca, E. V., & Zhao, L. (2012). An integration framework for multi-perspective business process modeling. In Proceedings - 2012 IEEE 9th International Conference on Services Computing, SCC 2012|Proc. - IEEE Int. Conf. Serv. Comput., SCC. (pp. 33-40). USA: IEEE. DOI: 10.1109/SCC.2012.29. Publication link: 6b80e11e-25f5-4f96-9642-c5fd40da083c
  27. Mihaila, C., Batista-Navarro, R. T., & Ananiadou, S. (2012). Analysing Entity Type Variation across Biomedical Subdomains. In Proceedings of the Third Workshop on Building and Evaluating Resources for Biomedical Text Mining (BioTxtM 2012). (pp. 1-7). Publication link: 878ac435-6710-4274-9e4a-98ba1ccdbc67
  28. Mikroyannidi, E., Manaf, N. A. A., Iannone, L., & Stevens, R. (2012). Analysing syntactic regularities in ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 849). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 40b92732-5683-4cae-b9fa-8ca139c9af9e
  29. Navaridas, J., Luján, M., Plana, L. A., Miguel-Alonso, J., & Furber, S. B. (2012). Analytical assessment of the suitability of multicast communications for the SpiNNaker neuromimetic system. In Proceedings of the 14th IEEE International Conference on High Performance Computing and Communications, HPCC-2012 - 9th IEEE International Conference on Embedded Software and Systems, ICESS-2012|Proc. IEEE Int. Conf. High Perform. Comput. Commun., HPCC - IEEE Int. Conf. Embedded Softw. Syst., ICESS. (pp. 1-8). IEEE Computer Society. DOI: 10.1109/HPCC.2012.11. Publication link: 66d0dac7-6315-41e8-addc-b8d4541864bf
  30. Ramsay, A., Hajic, J. (Ed.), De Smedt, K. (Ed.), Tadic, M. (Ed.), & Branco, A. (Ed.) (2012). Arabic Treebank: from Phrase-Structure Trees to Dependency Trees. In J. Hajic, K. De Smedt, M. Tadic, & A. Branco (Eds.), host publication. (pp. 61-68). META-RESEARCH Workshop on Advanced Treebanking Advanced Treebanking 2012. . Publication link: 7c8cd809-3d26-4900-9c75-274c899cbf65
  31. Rosas-Ham, D., Herath, I., Yiapanis, P., Luján, M., & Watson, I. (2012). Architectural support for exploiting fine grain parallelism. In Proceedings of the 14th IEEE International Conference on High Performance Computing and Communications, HPCC-2012 - 9th IEEE International Conference on Embedded Software and Systems, ICESS-2012|Proc. IEEE Int. Conf. High Perform. Comput. Commun., HPCC - IEEE Int. Conf. Embedded Softw. Syst., ICESS. (pp. 61-70). IEEE. DOI: 10.1109/HPCC.2012.19. Publication link: f2e00133-a638-4eba-8336-81c0cc421c31
  32. Song, W., Edwards, D., Garside, J., & Bainbridge, W. J. (2012). Area efficient asynchronous SDM routers using 2-stage Clos switches. In Proceedings -Design, Automation and Test in Europe, DATE|Proc. Des. Autom. Test Eur. DATE. (pp. 1495-1500). Publication link: bc221dd4-95b4-4f0c-87f8-52ca89998d92
  33. Mohammad, S., Morris, T., & Thacker, N. A. (2012). Automatic segmentation of optic disc on retinal images. In host publication. BMVA. . Publication link: 1156e34b-32fe-4b15-9131-914af347a282
  34. Hettne, K. M., Wolstencroft, K., Belhajjame, K., Goble, C., Mina, E., Dharuri, H., ... Roos, M. (2012). Best Practices for Workflow Design: How to Prevent Workflow Decay. In SWAT4LS.. Publication link: f7ded259-61de-46a6-86a0-611027afa683
  35. Wang, X., Thompson, P., & Ananiadou, S. (2012). Biomedical Chinese-English CLIR Using an Extended CMeSH Resource to Expand Queries. In Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC 2012). (pp. 1148-1155). Publication link: ea4a37c6-c164-499c-921e-76543e917c77
  36. Ndu, G., & Garside, J. (2012). Boosting single thread performance in mobile processors via reconfigurable acceleration. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7199, pp. 114-125). Netherlands: Springer Verlag. DOI: 10.1007/978-3-642-28365-9_10. Publication link: 89443ce5-fee1-4247-873c-e64553f7e6ef
  37. Stenetorp, P., Pyysalo, S., Ohta, T., Ananiadou, S., & Tsujii, J. (2012). Bridging the Gap Between Scope-based and Event-based Negation/Speculation Annotations: A Bridge Not Too Far. In Proceedings of ExProM 2012. (pp. 47-56). Publication link: 21517439-af5c-4ea7-97e7-46c0895f91db
  38. Zheng, W., & Sakellariou, R. (2012). Budget-deadline constrained workflow planning for admission control in market-oriented environments. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7150, pp. 105-119). DOI: 10.1007/978-3-642-28675-9_8. Publication link: 34100386-afa2-44c3-b839-7768ff4a7a33
  39. Rak, R., Kolluru, B., & Ananiadou, S. (2012). Building trainable taggers in a web-based, UIMA-supported NLP workbench. In Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics (ACL 2012). (pp. 121-126). Publication link: 3479af6b-423c-4fc1-b289-6aaacff96e17
  40. Zhao, L., Letsholo, K., Chioasca, E. V., Sampaio, S., & Sampaio, P. (2012). Can business process modeling bridge the gap between business and information systems? In Proceedings of the ACM Symposium on Applied Computing|Proc ACM Symp Appl Computing. (pp. 1723-1724). ACM New York, NY, USA: Association for Computing Machinery (ACM). DOI: 10.1145/2245276.2232054. Publication link: 49ffeb43-822f-4161-9121-a6e8f56c43a4
  41. Rak, R., Rowley, A., & Ananiadou, S. (2012). Collaborative Development and Evaluation of Text-processing Workflows in a UIMA-supported Web-based Workbench. In Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC 2012). (pp. 2971-2976). Publication link: 88561180-1ddc-4959-9b2a-bdd92c92c437
  42. Alabbas, M., & Ramsay, A. (2012). Combining black-box taggers and parsers for modern standard Arabic. In 2012 Federated Conference on Computer Science and Information Systems, FedCSIS 2012|Fed. Conf. Comput. Sci. Inf. Syst., FedCSIS. (pp. 19-26). Polish Information Processing Society. . Publication link: 657ff672-92dd-413b-887d-be057813c3ce
  43. Manaf, N. A. A., Bechhofer, S., & Stevens, R. (2012). Common Modelling Slips in SKOS Vocabularies. In P. Klinov, & M. Horridge (Eds.), Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012. (Vol. 849). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 5db76de4-7930-4ec6-824c-23b1ebad81d0
  44. Garijo, D., Alper, P., Belhajjame, K., Corcho, O., Gil, Y., & Goble, C. (2012). Common motifs in scientific workflows: An empirical analysis. In 2012 IEEE 8th International Conference on E-Science, e-Science 2012|IEEE Int. Conf. E-Sci., e-Science. IEEE Computer Society. DOI: 10.1109/eScience.2012.6404427. Publication link: 6a3efd92-e387-4467-a940-e62a90d09a6b
  45. He, N., Kroening, D., Wahl, T., Lau, K-K., Taweel, F., Rümmer, P., & Sharma, S. (2012). Component-based Design and Verification in X-MAN. In Proceedings of Embedded Real Time Software and Systems. SEE. . Publication link: 918030e2-816e-4dd8-b11a-e75174797e7d
  46. Gon??alves, R. S., Parsia, B., & Sattler, U. (2012). Concept-Based Semantic Difference in Expressive Description Logics. In Proceedings of the 2012 International Workshop on Description Logics (DL2012). (Vol. 846). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 3c67c805-4096-4f90-b8a1-9381634d33b9
  47. Schalk, A., & Steele, H. (2012). Constructing fully complete models for multiplicative linear logic. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012|Proc. Annu. ACM/IEEE Symp. Logic Comput. Sci., LICS. (pp. 571-580). http://www.computer.org/portal/site/store/index.jsp: IEEE. DOI: 10.1109/LICS.2012.67. Publication link: 192459bc-9e88-47fb-920b-d9d1713fcfdb
  48. Banach, R., Zhu, H., Su, W., & Wu, X. (2012). Continuous ASM, and a pacemaker sensing fragment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7316, pp. 65-78). LNCS 7316. DOI: 10.1007/978-3-642-30885-7_5. Publication link: 00e44e28-280e-4a15-84cd-e7b95c18d323
  49. Banach, R., Zhu, H., Su, W., & Wu, X. (2012). Continuous behaviour in event-B: A sketch. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7316, pp. 349-352). LNCS 7316. DOI: 10.1007/978-3-642-30885-7_29. Publication link: 3648aa1c-a7e0-4675-8695-cdd7e834721c
  50. Štěpán, P., & Lau, K. K. (2012). Controller patterns for component-based reactive control software systems. In CBSE'12 - Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering|CBSE - Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng.. (pp. 71-76). ACM. DOI: 10.1145/2304736.2304749. Publication link: 009535ab-1286-4321-a425-6029926407a8
  51. Bashir, H. A., & Neville, R. S. (2012). Convergence measurement in evolutionary computation using Price's theorem. In 2012 IEEE Congress on Evolutionary Computation, CEC 2012|IEEE Congr. Evol. Comput., CEC. IEEE. DOI: 10.1109/CEC.2012.6256593. Publication link: 96642e75-c2b1-44b9-9d08-6d26adde9149
  52. Taylor, M., & Morris, T. (2012). Counting Faces for the Blind, through Skin Segmentation and Head Size Distribution Modelling. In host publication.. Publication link: a4e35436-deeb-4972-b1dd-d3a44b44d06d
  53. Lai, Q., & Carpenter, A. (2012). Defining and verifying behaviour of domain specific language with fUML. In ACM International Conference Proceeding Series|ACM Int. Conf. Proc. Ser.. DOI: 10.1145/2325276.2325277. Publication link: d7aeb74c-f6b9-4206-a2c3-fe7aceed359a
  54. Clinch, S., Kubitza, T., Davies, N., & Langheinrich, M. (2012). Demo: Using Mobile Devices to Personalize Pervasive Displays. In Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services. New York, NY, USA: ACM. DOI: 10.1145/2307636.2307698 . Publication link: 1a3b407e-d4dd-4240-957b-70b2c2f009a0
  55. Alabbas, M., & Ramsay, A. (2012). Dependency tree matching with extended Tree edit distance with subtrees for textual entailment. In 2012 Federated Conference on Computer Science and Information Systems, FedCSIS 2012|Fed. Conf. Comput. Sci. Inf. Syst., FedCSIS. (pp. 11-18). Polish Information Processing Society. . Publication link: 5400d6f6-1caa-4203-aec1-25950a5c04d8
  56. Clinch, S., Davies, N., Kubitza, T., & Schmidt, A. (2012). Designing Application Stores for Public Display Networks. In Proceedings of the 2012 International Symposium on Pervasive Displays. (PerDis '12). New York, NY, USA: ACM. DOI: https://doi.org/10.1145/2307798.2307808. Publication link: 347806ab-bb10-45f2-bca8-5cf385f6dc4e
  57. Javid, M. A., Embury, S. M., Srivastava, D. (Ed.), & Ari, I. (Ed.) (2012). Diagnosing faults in embedded queries in database applications. In D. Srivastava, & I. Ari (Eds.), Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, March 30, 2012. (pp. 239-244). {ACM}. DOI: 10.1145/2320765.2320831. Publication link: c3acdc52-9d00-4379-80a6-0fe7f143b86a
  58. Orlinski, M., & Filer, N. (2012). Distributed expectation-based spatio-temporal cluster detection for pocket switched networks. In IFIP Wireless Days|IFIP Wirel. Days. IEEE Xplore: IEEE. DOI: 10.1109/WD.2012.6402810. Publication link: 421212ff-85c0-4eb1-8d57-5e52506aee92
  59. Bail, S., Parsia, B., & Sattler, U. (2012). Diversity of reason: Equivalence relations over description logic explanations. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 846, pp. 48-58). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: e88ac07f-6400-4b02-b60c-2b0533fb2623
  60. Fergie, M., & Galata, A. (2012). Dynamical pose filtering for mixtures of gaussian processes. In BMVC 2012 - Electronic Proceedings of the British Machine Vision Conference 2012|BMVC 2012 - Electron. Proc. Br. Mach. Vis. Conf.. British Machine Vision Association, BMVA. DOI: 10.5244/C.26.7. Publication link: 6301e2a8-2bf6-4a13-b52c-534988630a43
  61. Carter, R., & Navarro-López, E. M. (2012). Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7595, pp. 59-74). Berlin, Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-33365-1_6. Publication link: 65476a27-8890-47ec-8a50-e5b0ae6dc71c
  62. Emmer, M., Khasidashvili, Z., Korovin, K., Sticksel, C., & Voronkov, A. (2012). EPR-based bounded model checking at word level. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7364, pp. 210-224). DOI: 10.1007/978-3-642-31365-3_18. Publication link: 35af0da4-3845-45ad-80a5-a9de57a241a7
  63. Gonçalves, R. S., Parsia, B., & Sattler, U. (2012). Ecco: A hybrid diff tool for OWL 2 ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 849). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 43afaba7-d729-4c48-a790-584ab7dade4f
  64. Pavlidis, V. F., Xu, H., & De Micheli, G. (2012). Enhanced wafer matching heuristics for 3-D ICs. In Proceedings - 2012 17th IEEE European Test Symposium, ETS 2012|Proc. - IEEE Eur. Test Symp., ETS. IEEE. DOI: 10.1109/ETS.2012.6233032. Publication link: d3b2ac29-3fef-490c-ab32-79a722eec812
  65. {Quesada-Mart{\'\i}nez}, M., {Fernández-Breis}, J. T., Stevens, R., Moss, L. (Ed.), & Sleeman, D. (Ed.) (2012). Enrichment of {OWL} Ontologies: A Method for Defining Axioms from Labels. In L. Moss, & D. Sleeman (Eds.), Proceedings of the First International Workshop on Capturing and Refining Knowledge in the Medical Domain (K-MED'12) - Co-located with The 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012). (pp. 1-10). Publication link: 68a02d70-94c4-4d6c-8a0a-f63d55c4c9c9
  66. Rast, A. D., Plana, L. A., Welbourne, S. R., & Furber, S. B. (2012). Event-driven MLP implementation on neuromimetic hardware. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. IEEE Computer Society. DOI: 10.1109/IJCNN.2012.6252821. Publication link: d1be36f7-7dbd-43fd-9faf-28e332b9c0e2
  67. Quesada-Martínez, M., Fernández-Breis, J. T., & Stevens, R. (2012). Extraction and analysis of the structure of labels in biomedical ontologies. In International Conference on Information and Knowledge Management, Proceedings|Int Conf Inf Knowledge Manage. (pp. 7-16). (MIXHS '12). ACM. DOI: 10.1145/2389672.2389675. Publication link: 00371e72-295a-4cad-b713-a80d4bc07774
  68. Bail, S., Alkiviadous, S., Parsia, B., Workman, D., Van Harmelen, M., Goncalves, R. S., & Garilao, C. (2012). FishMark: A linked data application benchmark. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 943, pp. 1-15). CEUR-WS. . Publication link: 4fed7b84-d31d-4aa9-90f9-933bcc19cc5b
  69. Korovin, K., & Voronkov, A. (2012). GoRRiLA and hard reality. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7162, pp. 243-250). DOI: 10.1007/978-3-642-29709-0_21. Publication link: dbf69972-e999-47f6-9f13-d41438454ba4
  70. Clinch, S., Harkes, J., Friday, A., Davies, N., & Satyanarayanan, M. (2012). How close is close enough? Understanding the role of cloudlets in supporting display appropriation by mobile users. In Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communication (PerCom). (pp. 122-127). IEEE. . Publication link: d5c0811f-60b9-4bc2-a882-54f80ecd2d09
  71. Nawaz, R., Thompson, P., & Ananiadou, S. (2012). Identification of Manner in Bio-Events. In Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC 2012). (pp. 3505-3510). Publication link: 511da710-b6c9-4da2-9032-a63a76338098
  72. Korovin, K., Tsiskaridze, N., & Voronkov, A. (2012). Implementing conflict resolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7162, pp. 362-376). Springer Verlag. DOI: 10.1007/978-3-642-29709-0_31. Publication link: 39b84d8d-e371-41ce-b009-4800b7c2f08e
  73. Alabbas, M., & Ramsay, A. (2012). Improved POS-tagging for Arabic by combining diverse taggers. In IFIP Advances in Information and Communication Technology|IFIP Advances in Information and Communication Technology. (Vol. 381, pp. 107-116). (IFIP Advances in Information and Communication Technology,). Berkin: Springer Verlag. DOI: 10.1007/978-3-642-33409-2_12. Publication link: 39f0d2e1-866e-4ce6-a0f2-8ca941bd0e64
  74. Lau, K. K., Ng, K. Y., Rana, T., & Tran, C. M. (2012). Incremental construction of component-based systems. In CBSE'12 - Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering|CBSE - Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng.. (pp. 41-50). (CBSE '12). New York, NY, USA: ACM. DOI: 10.1145/2304736.2304746. Publication link: 2d3a20cc-62b9-48cb-9caf-573793708539
  75. Pourmirza, Z., & Brooke, J. (2012). Integration of Wireless Sensor Networks and Local Computational Unit in the Communication Network of the Smart Grid. In host publication.. Publication link: edc1b5c9-799d-4230-9298-9da4d34620b5
  76. Horridge, M., Parsia, B., & Sattler, U. (2012). Justification masking in ontologies. In 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012|Int. Conf. Princ. Knowl. Represent. Reasoning, KR. (pp. 623-627). Publication link: 83679244-45cd-4c90-9650-43d0195d052c
  77. Dixon, C., Konev, B., Schmidt, R. A., & Tishkovsky, D. (2012). Labelled tableaux for temporal logic with cardinality constraints. In Proceedings - 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012|Proc. - Int. Symp. Symb. Numer. Algorithms Sci. Comput., SYNASC. (pp. 111-118). IEEE Computer Society. DOI: 10.1109/SYNASC.2012.47. Publication link: d1dde92c-d868-450c-af34-fadea03891aa
  78. Mundy, A., Mak, T., Yakovlev, A., Davidson, S., & Furber, S. (2012). Large-scale on-chip dynamic programming network inferences using moderated inter-core communication. In Proceedings - International Conference on Application of Concurrency to System Design, ACSD|Proc. Int. Conf. Appl. Concurrency Syst. Des. ACSD. (pp. 62-71). IEEE. DOI: 10.1109/ACSD.2012.12. Publication link: 914c4f8a-82b6-4eb8-8a33-7f8fc7814c3c
  79. Galluppi, F., Conradt, J., Stewart, T., Eliasmith, C., Horiuchi, T., Tapson, J., ... Etienne-Cummings, R. (2012). Live Demo: Spiking ratSLAM: Rat hippocampus cells in spiking neural hardware. In 2012 IEEE Biomedical Circuits and Systems Conference: Intelligent Biomedical Electronics and Systems for Better Life and Better Environment, BioCAS 2012 - Conference Publications. (pp. 91). [6418493] DOI: 10.1109/BioCAS.2012.6418493. Publication link: cfa33b68-3b31-4227-ad7a-e2196b31cee5
  80. Bjørner, N., & Voronkov, A. (Eds.) (2012). Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. In Lecture Notes in Computer Science. (Vol. 7180). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: ed4a710c-bdc7-4cb5-9dff-0a155c2b7bdf
  81. Vescovo, C. D., Parsia, B., & Sattler, U. (2012). Logical Relevance in Ontologies. In Proceedings of the 2012 International Workshop on Description Logics (DL2012). (Vol. 846). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: a91399f7-2385-49e2-9527-744b5b64e730
  82. Del Vescovo, C., Parsia, B., & Sattler, U. (2012). Logical relevance in ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 846, pp. 574-584). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 252cec20-77d3-44f4-ae84-3a2129aef2c6
  83. Splendiani, A., Rawlings, C. J., Kuo, S. C., Stevens, R., & Lord, P. (2012). Lost in translation: Data integration tools meet the semantic web (Experiences from the Ondex project). In Lecture Notes in Electrical Engineering|Lect. Notes Electr. Eng.. (Vol. 157, pp. 87-97). (Lecture Notes in Electrical Engineering). Springer Verlag. DOI: 10.1007/978-3-642-28798-5_13. Publication link: bbb41c6a-6f10-497e-b442-c65f692d42c2
  84. Rahimian, S., De Micheli, G., & Pavlidis, V. F. (2012). Low-power clock distribution networks for 3-D ICs. In 2012 IEEE 27th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2012. [6377030] DOI: 10.1109/EEEI.2012.6377030. Publication link: 74c373a1-aec7-4af9-9630-45c42f8158a5
  85. Patterson, C., Preston, T., Galluppi, F., & Furber, S. (2012). Managing a massively-parallel resource-constrained computing architecture. In Proceedings - 15th Euromicro Conference on Digital System Design, DSD 2012|Proc. - Euromicro Conf. Digit. Syst. Des., DSD. (pp. 723-726). DOI: 10.1109/DSD.2012.84. Publication link: 8d2d633a-807d-44eb-b15f-3f88aa5e2519
  86. Schmidt, R., Tishkovsky, D., Khodadadi, M., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). MeTTeL2: Towards a Prover Generation Platform. In R. A. Schmidt, & F. Papacchini (Eds.), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). School of Computer Science. . Publication link: a14e24e4-690c-4a37-b79e-7ba8e91d8318
  87. Schmidt, R., Tishkovsky, D., Khodadadi, M., Fontaine, P. (Ed.), Schmidt, R. A. (Ed.), & Schulz, S. (Ed.) (2012). MetTeL2: Towards a Tableau Prover Generation Platform. In P. Fontaine, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning.. Publication link: cad27ad4-4b81-464b-87eb-9bbc66a85069
  88. Nawaz, R., Thompson, P., & Ananiadou, S. (2012). Meta-Knowledge Annotation at the Event Level: Comparison between Abstracts and Full Papers. In Proceedings of the Third Workshop on Building and Evaluating Resources for Biomedical Text Mining (BioTxtM 2012). (pp. 24-31). Publication link: 007640dd-e86a-4de5-a5f4-cb4d302372b0
  89. Schmidt, R., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). Minimal Models for Modal Logics. In R. A. Schmidt, & F. Papacchini (Eds.), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). School of Computer Science. . Publication link: 72e0991c-c81d-4f47-93e0-7238cdab530e
  90. Alsubait, T., Parsia, B., & Sattler, U. (2012). Mining Ontologies for Analogy Questions: A Similarity-based Approach. In Proc. of OWL: Experiences and Directions Workshop. (Vol. 849). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 9cb51bf3-74b0-4707-9773-be07301168cb
  91. Alsubait, T., Parsia, B., & Sattler, U. (2012). Mining Ontologies for Analogy Questions: A Similarity-based Approach. In OWLED.. Publication link: 947d0f99-ba33-4b23-8e89-54af4a5672a8
  92. Ałubait, T., Parsia, B., & Sattler, U. (2012). Mining ontologies for analogy questions: A similarity-based approach. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 849). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 60f3b7b5-ac43-4294-a58f-b11b773c2799
  93. Navarro Lopez, E., & Schmidt, R. (Ed.) (2012). Model checking by abstraction for proving liveness properties of hybrid dynamical systems. In R. Schmidt (Ed.), Automated Reasoning Workshop, ARW 2012. (pp. 29-30). UK. . Publication link: 38b4aec0-8d44-4cf9-bcc1-1cc8d42db7e9
  94. Pyysalo, S., Stenetorp, P., Ohta, T., Kim, J-D., & Ananiadou, S. (2012). New Resources and Perspectives for Biomedical Event Extraction. In Proceedings of BioNLP 2012. (pp. 100-108). Publication link: 602aacc3-cf8b-44b2-96ef-a4fe086593ea
  95. Liang, S. F., Scott, D., Rector, A., Cornet, R. (Ed.), & Stevens, R. (Ed.) (2012). OntoVerbal: A Protege Plugin for Verbalising Ontology Classes. In R. Cornet, & R. Stevens (Eds.), {Proceedings of the 3rd International Conference on Biomedical Ontology {(ICBO'12)}}. (Vol. 897). (CEUR Workshop Proceedings - KR-MED). CEUR-WS.org. . Publication link: 4f8ffd0c-7298-49fc-9ff4-634e786f8bb0
  96. Ohta, T., Pyysalo, S., Tsujii, J., & Ananiadou, S. (2012). Open-domain Anatomical Entity Mention Detection. In Proceedings of the ACL Workshop on Detecting Stucture in Scholarly Discourse (DSSD). (pp. 27-36). Publication link: ecb610a9-4d86-44d5-867d-c715945fb81e
  97. Temple, S., & Brown, A. D. (2012). Overview of the SpiNNaker system architecture. In IEEE. (pp. 49 - 56). IEEE. . Publication link: c51dc6cf-74ba-4640-bf14-3ec7f54228b3
  98. Konev, B., Schmidt, R., & Schulz, S. (2012). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. In host publication. (Vol. 9). EasyChair. . Publication link: dc95d81a-be09-4c97-9cc2-fe5428c1145c
  99. Fontaine, P., Schmidt, R. A., & Schulz, S. (Eds.) (2012). PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning. In EPiC Series. (Vol. 21). (EPiC Series). EasyChair. . Publication link: 7b27b383-897e-4e59-9417-0cbaa29fdfd2
  100. Paton, N. W., Christodoulou, K., Fernandes, A. A. A., Parsia, B., & Hedeler, C. (2012). Pay-as-you-go data integration for linked data: Opportunities, challenges and architectures. In Proceedings of the 4th International Workshop on Semantic Web Information Management, SWIM'12|Proc. Int. Workshop Semantic Web Inf. Manage., SWIM. Scottsdale, Arizona. DOI: 10.1145/2237867.2237870. Publication link: ff73d617-8688-48c3-8a3d-d2cd4785cb5b
  101. Maskat, R., Paton, N. W., Embury, S. M., Bodenreider, O. (Ed.), & Rance, B. (Ed.) (2012). Pay-as-you-go ranking of schema mappings using query logs. In O. Bodenreider, & B. Rance (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7348, pp. 37-52). Springer Verlag. DOI: 10.1007/978-3-642-31040-9_4. Publication link: 112be214-8cda-43ff-bd64-391cffe4766d
  102. Clarke, E. M., Virbitskaite, I., & Voronkov, A. (Eds.) (2012). Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. In Lecture Notes in Computer Science. (Vol. 7162). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 43dd1cbe-72a4-4305-a6de-303cd61ea899
  103. Hoder, K., Kovács, L., & Voronkov, A. (2012). Playing in the grey area of proofs. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages|Conf Rec Annu ACM Symp Princ Program Lang. (pp. 259-271). DOI: 10.1145/2103656.2103689. Publication link: cfc6a05f-3351-4273-b37d-6a438633f970
  104. Davies, S., Navaridas, J., Galluppi, F., & Furber, S. (2012). Population-based routing in the SpiNNaker neuromorphic architecture. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. DOI: 10.1109/IJCNN.2012.6252635. Publication link: bfd3223f-bc32-41be-a91d-900a0568131e
  105. Hoder, K., Khasidashvili, Z., Korovin, K., & Voronkov, A. (2012). Preprocessing techniques for first-order clausification. In Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012. (pp. 44-51). Publication link: 3d5cc9f8-e256-4853-9d8e-f46815e0b81d
  106. Chung, L., Paech, B., Zhao, L., Liu, L., & Supakkul, S. (2012). Proceedings of 2012 IEEE 2nd International Workshop on Requirements Patterns (RePa). In International Workshop on Requirements Patterns. (Vol. 1). (International Workshop on Requirements Patterns). U.S.A.: IEEE. . Publication link: 7df93483-e94e-495d-a745-771aafbaf207
  107. Schmidt, R. A., & Papacchini, F. (2012). Proceedings of the 19th Automated Reasoning Workshop. In host publication. Manchester: School of Computer Science, University of Manchester. . Publication link: 0da05cf0-eaa6-4e21-944a-60485e2f1493
  108. Cornet, R., & Stevens, R. (Eds.) (2012). Proceedings of the 3rd International Conference on Biomedical Ontology {(ICBO'12)}. In CEUR Workshop Proceedings - KR-MED : ICBO'12. (Vol. 897). (CEUR Workshop Proceedings - KR-MED : ICBO'12). CEUR-WS.org. . Publication link: 0657ddb4-151f-420d-ab4e-8d21aae8b2e5
  109. González, A. R., Pathak, J., Wilkinson, M., Shah, N., Stevens, R., Boyce, R. D., & {Garciá-Crespo}, A. (Eds.) (2012). Proceedings of the Joint Workshop on Semantic Technologies Applied to Biomedical Informatics and Individualized Medicine in Conjunction with the 11th International Semantic Web Conference 2012 (ISWC 2012). In CEUR Workshop Proceedings - SATBI+SWIM 2012. (Vol. 930). (CEUR Workshop Proceedings - SATBI+SWIM 2012). CEUR-WS.org. . Publication link: f8098743-3901-45fd-bee7-e3dd1312ef12
  110. Björne, J., Van Landeghem, S., Pyysalo, S., Ohta, T., Ginter, F., Van de Peer, Y., ... Salakoski, T. (2012). PubMed-Scale Event Extraction for Post-Translational Modifications, Epigenetics and Protein Structural Relations. In Proceedings of BioNLP 2012. (pp. 82-90). Publication link: e6157ac9-c553-466a-9782-1e789cc4251b
  111. Orlinski, M., & Filer, N. (2012). Quality distributed community formation for data delivery in pocket switched networks. In ACM International Conference Proceeding Series|ACM Int. Conf. Proc. Ser.. (pp. 31-36). ACM International Conference Proceeding Series (ICPS): ACM. DOI: 10.1145/2184356.2184365. Publication link: c751d389-434c-4eb1-bf56-f64974450293
  112. Barringer, H., Falcone, Y., Havelund, K., Reger, G., & Rydeheard, D. (2012). Quantified event automata: Towards expressive and efficient runtime monitors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7436, pp. 68-84). DOI: 10.1007/978-3-642-32759-9_9. Publication link: 2c9ba7d3-a8e4-4c36-885b-5cbdd9e84030
  113. Mikroyannidi, E., Iannone, L., Rector, A., Cornet, R. (Ed.), & Stevens, R. (Ed.) (2012). RIO: The Regularities Inspector for Ontologies Plugin for Protege. In R. Cornet, & R. Stevens (Eds.), {Proceedings of the 3rd International Conference on Biomedical Ontology {(ICBO'12)}}. (Vol. 897). (CEUR Workshop Proceedings - KR-MED Series). CEUR-WS.org. . Publication link: 1e964fc1-aab6-42fd-a2ad-46ee1c12c89a
  114. Galluppi, F., Davies, S., Furber, S., Stewart, T., & Eliasmith, C. (2012). Real time on-chip implementation of dynamical systems with spiking neurons. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. IEEE. DOI: 10.1109/IJCNN.2012.6252706. Publication link: 581f8015-15d4-4eca-92a9-868c8fbef0e5
  115. Ali, M. R., & Morris, T. (2012). Real time, single and Multi User Gesture Recognition, Based on Skin colour and Optical Flow. In host publication. BMVA. . Publication link: 1f9e7567-adb8-4605-97c2-7b65937a6abb
  116. Seyed, P., Rector, A. L., Sattler, U., Parsia, B., & Stevens, R. (2012). Representation of Part-Whole Relationships in SNOMED CT. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 897). (CEUR Workshop Proceedings - KR-MED). CEUR-WS.org. . Publication link: aa69b21e-b114-42bc-acce-e8567f443958
  117. Navaridas, J., Khan, B., Khan, S., Faraboschi, P., & Luján, M. (2012). Reservation-based network-on-chip timing models for large-scale architectural simulation. In Proceedings of the 2012 6th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2012|Proc. IEEE/ACM Int. Symp. Networks-on-Chip, NoCS. (pp. 91-98). http://dx.doi.org/10.1109/NOCS.2012.18. DOI: 10.1109/NOCS.2012.18. Publication link: 9ec4278e-6636-48f1-a561-3bbc7124cc61
  118. Stokes, A. B., Fernandes, A. A. A., & Paton, N. W. (2012). Resilient sensor network query processing using logical overlays. In MobiDE 2012 - Proceedings of the 11th ACM International Workshop on Data Engineering for Wireless and Mobile Access - In Conjunction with ACM SIGMOD / PODS 2012|MobiDE - Proc. ACM Int. Workshop Data Eng. Wirel. Mob. Access - Conjunction ACM SIGMOD / PODS. (pp. 45-52). DOI: 10.1145/2258056.2258066. Publication link: 6a3f610f-0865-451a-812d-f3856e8f430a
  119. Wolstencroft, K., Owen, S., Horridge, M., Mueller, W., Bacall, F., Snoep, J., ... Goble, C. (2012). RightField: Scientific knowledge acquisition by stealth through ontology-enabled spreadsheets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7603, pp. 438-441). DOI: 10.1007/978-3-642-33876-2_42. Publication link: ea6c562b-1501-41b2-9d11-83bebda3ede5
  120. Wolstencroft, K., Owen, S., Goble, C., Nguyen, Q., Krebs, O., & Müller, W. (2012). RightField: Semantic enrichment of systems biology data using spreadsheets. In 2012 IEEE 8th International Conference on E-Science, e-Science 2012|IEEE Int. Conf. E-Sci., e-Science. DOI: 10.1109/eScience.2012.6404412. Publication link: f87c2108-d16a-4728-b2ba-8a7bb95e84ff
  121. Brenninkmeijer, C., Evelo, C., Goble, C., Gray, A. J. G., Groth, P., Pettifer, S., ... Willighagen, E. L. (2012). Scientific Lenses over Linked Data: An approach to support task specific views of the data. A vision. In {Proceedings of the 2nd International Workshop on Linked Science 2012 Tackling Big Data {(LISC'12)} co-located with 11th International Semantic Web Conference {(ISWC'12)}}.. Publication link: e59b4625-d78c-48cf-88bd-5dee56676cf4
  122. Kim, J-D., Pyysalo, S., Nédellec, C., Ananiadou, S., & Tsujii, J. (Eds.) (2012). Selected articles from the BioNLP Shared Task 2011. In host publication. (Vol. 13). Publication link: 9af2a029-d0f6-4cc2-bc53-206a62f4ab5c
  123. Maurer, M., Brandic, I., & Sakellariou, R. (2012). Self-adaptive and resource-efficient SLA enactment for cloud computing infrastructures. In Proceedings - 2012 IEEE 5th International Conference on Cloud Computing, CLOUD 2012|Proc. - IEEE Int. Conf. Cloud Comput., CLOUD. (pp. 368-375). DOI: 10.1109/CLOUD.2012.55. Publication link: a5c987f0-54f0-4b6d-bf9c-d5d60eb69f3f
  124. Stevens, R., & Lord, P. (2012). Semantic publishing of knowledge about amino acids. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 903, pp. 45-47). (CEUR Workshop Proceedings - Semantic Publishing). CEUR-WS.org. . Publication link: aa1cbfe6-cff2-4f1a-a07c-d9651e348ffd
  125. Albin-Clark, A., Howard, T. L. J., & Anderson, B. (2012). Simulating characters for observation. In GRAPP 2012 IVAPP 2012 - Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications|GRAPP IVAPP - Proc. Int. Conf. Comput. Graph. Theory Appl. Int. Conf. Inf. Vis. Theory Appl.. (pp. 501-502). Publication link: dd57a925-3da7-4597-b525-f4583fcd9046
  126. Painkras, E., Plana, L. A., Garside, J., Temple, S., Davidson, S., Pepper, J., ... Furber, S. (2012). SpiNNaker: A multi-core system-on-chip for massively-parallel neural net simulation. In Proceedings of the Custom Integrated Circuits Conference|Proc Custom Integr Circuits Conf. IEEE. DOI: 10.1109/CICC.2012.6330636. Publication link: efd4615b-7bb6-4d9d-899c-6aacae209fc5
  127. Clinch, S. (2012). Supporting User Appropriation of Public Displays [Extended Abstract]. In Ph.D. Forum at Mobisys '12.. Publication link: 7435f542-69e5-4cb9-891b-faf4b424249a
  128. Vescovo, C. D., Klinov, P., Parsia, B., Sattler, U., Schneider, T., & Tsarkov, D. (2012). Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? In Proc. of the 6th International Workshop on Modular Ontologies. (Vol. 875). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: d5e3bddc-94a6-48f4-a299-1e541598e223
  129. Del Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., & Tsarkov, D. (2012). Syntactic vs. Semantic locality: How good is a cheap approximation? In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 875, pp. 40-50). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 36f71195-1a49-4775-bd5b-11747567d948
  130. Schmidt, R., Minica, S., Khodadadi, M., Tishkovsky, D., Fontaine, P. (Ed.), Schmidt, R. A. (Ed.), & Schulz, S. (Ed.) (2012). Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. In P. Fontaine, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning.. Publication link: 53159f37-0cc9-4fa2-aed1-82a6df114380
  131. Jupp, S., Gibson, A., Malone, J., Parkinson, H., & Stevens, R. (2012). Taking a view on bio-ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 897). (CEUR Workshop Proceedings - KR-MED). CEUR-WS.org. . Publication link: 17fb9009-8ca3-4223-9aa6-82c94721ee8b
  132. Ramsay, A., & Ramnsay, A. (2012). The 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications. In host publication. (Vol. 15). Springer Verlag. . Publication link: 483b4bf4-6dac-4500-8812-3c46debddda0
  133. Puleston, C., & Parsia, B. (2012). The HOBO Hybrid Modelling Framework. In OWLED.. Publication link: 6230d13c-4f97-45ac-8cfb-1432387c4630
  134. Painkras, E., & Furber, S. (2012). The Impact of Technology Scaling in the SpiNNaker Chip Multiprocessor. In Proc. 7th Int. Workshop on Unique Chips and Systems.. Publication link: 241a2342-9fde-47cb-a679-390d5f4ff7e1
  135. Pourmirza, Z., & Brooke, J. M. (2012). The Monitoring Network Architecture in the Neighbourhood Area of the Smart Grid. In Salford Postgraduate Annual Research Conference (SPARC). (pp. 1-11). Salford, UK: Univesity of Salford. . Publication link: d0924c86-2139-411e-a718-6ca5c8a081de
  136. Copeland, M., Brown, A., Parkinson, H., Stevens, R., & Malone, J. (2012). The SWO Project: A case study of applying Agile Ontology Engineering methods in community driven ontologies. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 897). (CEUR Workshop Proceedings - KR-MED: ICBO'12). CEUR-WS.org. . Publication link: 75f57de3-43c6-463a-a778-a13ac60cd45f
  137. Xu, H., Pavlidis, V. F., Burleson, W., & De Micheli, G. (2012). The combined effect of process variations and power supply noise on clock skew and jitter. In Proceedings - International Symposium on Quality Electronic Design, ISQED|Proc. - Int. Symp. Qual. Electron. Des., ISQED. (pp. 320-327). IEEE. DOI: 10.1109/ISQED.2012.6187512. Publication link: ba3216de-2ba6-48c4-9fd0-842ab41e281c
  138. Abdul Manaf, N. A., Bechhofer, S., & Stevens, R. (2012). The current state of SKOS vocabularies on the web. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7295, pp. 270-284). (Lecture Notes in Computer Science (LNCS)). Springer Verlag. DOI: 10.1007/978-3-642-30284-8_25. Publication link: 992a0781-8adb-44e5-ac04-154b9530af87
  139. Goodacre, J. (2012). The homogeneity of architecture in a heterogeneous world. In host publication. IEEE. DOI: 10.1109/SAMOS.2012.6404148. Publication link: dfe04836-5594-4213-94ac-cee1169ce276
  140. Goodacre, J. (2012). The role of the ARM architecture in Heterogenous Computing. In host publication.. Publication link: d9b5f024-eb41-4b6b-a1a9-ed93390a4cf4
  141. Lester, D. R. (2012). The world's shortest correct exact real arithmetic program? In Information and Computation|Inf Comput. (Vol. 216, pp. 39-46). Elsevier. DOI: 10.1016/j.ic.2011.09.004. Publication link: 56baa439-fb00-4da0-82c5-9a1cf4d1d694
  142. Lord, P., Cockell, S., & Stevens, R. (2012). Three steps to heaven: Semantic publishing in a real world workflow. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 903, pp. 23-34). (CEUR Workshop Proceedings - Semantic Publishing). CEUR-WS.org. . Publication link: 55541d1b-b7bb-4635-85a0-92871471d460
  143. Voronkov, A. (Ed.) (2012). Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. In EPiC Series. (Vol. 10). (EPiC Series). EasyChair. . Publication link: b986827f-9b73-402f-a12e-643e21e6177c
  144. Kieroňski, E., Michaliszyn, J., Pratt-Hartmann, I., & Tendera, L. (2012). Two-variable first-order logic with equivalence closure. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012|Proc. Annu. ACM/IEEE Symp. Logic Comput. Sci., LICS. (pp. 431-440). Los Alamitos, California: IEEE Press. DOI: 10.1109/LICS.2012.53. Publication link: 3ecc8cea-6cb3-4917-856d-94e46e86816c
  145. Gao, Q., Feng, G., Zeng, X. J., & Wang, Y. (2012). Universal fuzzy models and universal fuzzy controllers based on generalized T-S fuzzy models. In IEEE International Conference on Fuzzy Systems|IEEE Int Conf Fuzzy Syst. IEEE. DOI: 10.1109/FUZZ-IEEE.2012.6251268. Publication link: 6678b94c-09b2-4e7f-ae22-66b65a149a39
  146. Clinch, S., Kubitza, T., Davies, N., & Langheinrich, M. (2012). Using Mobile Devices to Personalize Pervasive Displays. In Digital Futures '12.. Publication link: 3db97d83-aed3-42db-804c-2ba1d2f137ae
  147. Kubitza, T., Clinch, S., Davies, N., & Langheinrich, M. (2012). Using Mobile Devices to Personalize Pervasive Displays. In Proceedings of the 13th International Workshop on Mobile Computing Systems and Applications. (HotMobile '12). ACM. . Publication link: e3f03363-3d3e-404d-866e-2273db9d5492
  148. Chioaşcǎ, E. V. (2012). Using machine learning to enhance automated requirements model transformation. In Proceedings - International Conference on Software Engineering|Proc Int Conf Software Eng. (pp. 1487-1490). IEEE Press. . Publication link: b5b7a628-a940-41c7-affc-46dfa7925eb7
  149. Hoder, K., Holzer, A., Kovács, L., & Voronkov, A. (2012). Vinter: A Vampire-Based Tool for Interpolation. In Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. (pp. 148-156). DOI: 10.1007/978-3-642-35182-2_11. Publication link: fd0703b3-37da-4ae8-a4a8-ef136bfba3a3
  150. Patterson, C., Galluppi, F., Rast, A., & Furber, S. (2012). Visualising large-scale neural network models in real-time. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. DOI: 10.1109/IJCNN.2012.6252490. Publication link: 5ee8a8a5-048a-4efb-b02d-3efa48256572
  151. Zhang, C., Pavlidis, V. F., & De Micheli, G. (2012). Voltage propagation method for 3-D power grid analysis. In Proceedings -Design, Automation and Test in Europe, DATE|Proc. Des. Autom. Test Eur. DATE. (pp. 844-847). IEEE. . Publication link: aab57e59-62df-40cc-bf13-d168651c376c
  152. Demaidi, M., & Filer, N. (2012). WIRELESS RAY TRACING EDUCATIONAL LAND. In Proceedings of INTED2012 Conference. (pp. 402-411). International Association for Technology, Education and Development (IATED). . Publication link: 10eedce7-5eb2-4258-802a-aae654e6fa66
  153. Demaidi, M., & Filer, N. (2012). WIRELESS RAY TRACING EDUCATIONAL LAND. In Proceedings of INTED2012 Conference. (pp. 0402-0411). International Association for Technology, Education and Development (IATED). . Publication link: a2eee163-da57-40aa-a6ac-428ee9e1ac1b
  154. Batista-Navarro, R. T., & Ananiadou, S. (2012). What's in a Name? Entity Type Variation across Two Biomedical Subdomains. In Proceedings of the Student Research Workshop at the 13th Conference of the European Chapter of the Association for Computational Linguistics. (pp. 38-45). Publication link: d49f1568-68e2-4858-9def-2c6190c402cd
  155. Hettne, K., Soiland-Reyes, S., Klyne, G., Belhajjame, K., Gamble, M., Bechhofer, S., ... Corcho, O. (2012). Workflow forever: Semantic Web Semantic models and tools for preserving and digitally publishing computational experiments. In ACM International Conference Proceeding Series|ACM Int. Conf. Proc. Ser.. (pp. 36-37). (SWAT4LS '11). ACM. DOI: 10.1145/2166896.2166909. Publication link: 4a0cccc2-2263-448a-ae32-ca82c5621d25
  156. Belhajjame, K., Corcho, O., Garijo, D., Zhao, J., Missier, P., Newman, D. R., ... Goble, C. (2012). Workflow-Centric Research Objects: A First Class Citizen in the Scholarly Discourse. In host publication.. Publication link: 70e18a02-90aa-48af-bc39-7cb414573ee0
  157. Belhajjame, K., Corcho, O., Garijo, D., Zhao, J., Missier, P., Newman, D., ... Goble, C. A. (2012). Workflow-centric research objects: First class citizens in scholarly discourse. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 903, pp. 1-12). Publication link: 495a31b2-e409-4ad2-83f6-c9997d652005
  158. Lau, K. K., & Tran, C. M. (2012). X-MAN: An MDE tool for component-based system development. In Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012. (pp. 158-165). [6328144] DOI: 10.1109/SEAA.2012.32. Publication link: c6fa5f83-d863-48e3-82f1-e0df6e15a39e
  159. Stenetorp, P., Pyysalo, S., Topi{\'{c}}, G., Ohta, T., Ananiadou, S., & Tsujii, J. (2012). brat: a Web-based Tool for NLP-Assisted Text Annotation. In Proceedings of the Demonstrations at the 13th Conference of the European Chapter of the Association for Computational Linguistics. (pp. 102-107). Association for Computational Linguistics. . Publication link: e0d2124f-935d-42ad-bb78-994df83ae540
Article
  1. Chang, Y. N., Furber, S., & Welbourne, S. (2012). " Serial" effects in parallel models of reading. Cognitive Psychology, 64(4), 267-291. DOI: 10.1016/j.cogpsych.2012.01.002. Publication link: 3b1ced3d-1016-4552-9876-323e61ddb4f2
  2. Wang, D., Zeng, X. J., & Keane, J. A. (2012). A clustering algorithm for radial basis function neural network initialization. Neurocomputing, 77(1), 144-155. DOI: 10.1016/j.neucom.2011.08.023. Publication link: 54502e48-c1c4-405c-bd0d-ce9c7069f9fd
  3. Davies, S., Galluppi, F., Rast, A. D., & Furber, S. B. (2012). A forecast-based STDP rule suitable for neuromorphic implementation. Neural Networks, 32, 3-14. DOI: 10.1016/j.neunet.2012.02.018. Publication link: 07ce3442-88ec-4e8f-b447-4b7dd9cede7f
  4. Siraj, S., Mikhailov, L., & Keane, J. (2012). A heuristic method to rectify intransitive judgments in pairwise comparison matrices. European Journal of Operational Research, 216(2), 420-428. DOI: 10.1016/j.ejor.2011.07.034. Publication link: 5b21bb51-e374-45b2-ad32-a0a299fbf914
  5. Siozios, K., Pavlidis, V. F., & Soudris, D. (2012). A novel framework for exploring 3-D FPGAs with heterogeneous interconnect fabric. ACM Transactions on Reconfigurable Technology and Systems, 5(1). DOI: 10.1145/2133352.2133356. Publication link: 1263384b-6cdc-48bc-b2e6-c1dd96742b58
  6. Kalezhi, J., Greaves, S. J., Kanai, Y., Schabes, M. E., Grobis, M., & Miles, J. J. (2012). A statistical model of write-errors in bit patterned media. Journal of Applied Physics, 111(5), [053926]. DOI: 10.1063/1.3691947. Publication link: cfed5cbd-3151-40a9-aaec-17fbeb94f00e
  7. Korkontzelos, I., Mu, T., & Ananiadou, S. (2012). ASCOT: A text mining-based web-service for efficient search and assisted creation of clinical trials. BMC Medical Informatics and Decision Making, 12(1), [S3]. DOI: 10.1186/1472-6947-12-S1-S3. Publication link: c24c4fbd-b38f-4791-a8df-a7ac807110ab
  8. Mu, T., Jiang, J., Wang, Y., & Goulermas, J. Y. (2012). Adaptive data embedding framework for multiclass classification. IEEE Transactions on Neural Networks and Learning Systems, 23(8), 1291-1303. . Publication link: 70d206a7-2cc4-424d-b172-5e8a3c281214
  9. Jabeen, F., & Fernandes, A. A. A. (2012). An algorithmic strategy for in-network distributed spatial analysis in wireless sensor networks. Journal of Parallel and Distributed Computing, 72(12), 1628-1653. DOI: 10.1016/j.jpdc.2012.09.005. Publication link: 614b0290-76d1-47f6-83e6-34697b764af1
  10. Muddle, R. L., Mihajlović, M., & Heil, M. (2012). An efficient preconditioner for monolithically-coupled large-displacement fluid-structure interaction problems with pseudo-solid mesh updates. Journal of Computational Physics, 231(21), 7315-7334. DOI: 10.1016/j.jcp.2012.07.001. Publication link: 70018c5d-60bc-4246-b2e4-01e0aa62e869
  11. Mikroyannidi, E., Stevens, R., Iannone, L., & Rector, A. (2012). Analysing Syntactic Regularities and Irregularities in {SNOMED-CT}. Biomedical Semantics, 3(1). DOI: 10.1186/2041-1480-3-8. Publication link: 241d23ae-d6ba-4ccb-b5fd-83d3da33b57b
  12. Rak, R., Rowley, A., Black, W., & Ananiadou, S. (2012). Argo: An integrative, interactive, text mining-based workbench supporting curation. Database, 2012, [bas010]. DOI: 10.1093/database/bas010. Publication link: 6b9c364d-29f4-4913-aa6d-dc9c88bbb472
  13. Li, F., Pop, A., & Cohen, A. (2012). Automatic extraction of coarse-grained data-flow threads from imperative programs. IEEE Micro, 32(4), 19-31. [6216345]. DOI: 10.1109/MM.2012.49. Publication link: ce8d13e1-ab2b-4b99-9093-e490a1d93296
  14. Alsubait, T., Parsia, B., & Sattler, U. (2012). Automatic generation of analogy questions for student assessment: an Ontology-based approach. Research in Learning Technology, 20. . Publication link: 2610af6f-3785-4d98-bf1c-6f453285a08f
  15. Gerner, M., Sarafraz, F., Bergman, C. M., & Nenadic, G. (2012). BioContext: An integrated text mining system for large-scale extraction and contextualization of biomolecular events. Bioinformatics, 28(16), 2154-2161. [bts332]. DOI: 10.1093/bioinformatics/bts332. Publication link: b06cad03-baf4-43d8-8de1-d4491a004881 | PubMed:22711795
  16. Pahle, J., Challenger, J. D., Mendes, P., & McKane, A. J. (2012). Biochemical fluctuations, optimisation and the linear noise approximation.BMC systems biology, 6, 86. DOI: 10.1186/1752-0509-6-86. Publication link: 4b120730-67c9-4705-bb0a-ba2c63d56981 | PubMed:22805626
  17. Burge, S., Attwood, T. K., Bateman, A., Berardini, T. Z., Cherry, M., O'Donovan, C., ... Gaudet, P. (2012). Biocurators and biocuration: Surveying the 21st century challenges. Database, 2012, [bar059]. DOI: 10.1093/database/bar059. Publication link: ecd156d4-ce0a-4e16-9a38-1d531315b484
  18. Schneider, M. V., Walter, P., Blatter, M. C., Watson, J., Brazas, M. D., Rother, K., ... Brooksbank, C. (2012). Bioinformatics training network (BTN): A community resource for bioinformatics trainers: A community resource for bioinformatics trainers. Briefings in Bioinformatics, 13(3), 383-389. [bbr064]. DOI: 10.1093/bib/bbr064, 10.1093/bib/bbr064. Publication link: f11ffb94-6053-4698-9892-408365c630b8
  19. Miwa, M., Thompson, P., & Ananiadou, S. (2012). Boosting automatic event extraction from the literature using domain adaptation and coreference resolution. Bioinformatics, 28(13), 1759-1765. [bts237]. DOI: 10.1093/bioinformatics/bts237. Publication link: 52f0d697-b455-4566-82e7-b0b415cfb7f2
  20. Davies, O., Mendes, P., Smallbone, K., & Malys, N. (2012). Characterisation of multiple substrate-specific (d)ITP/(d)XTPase and modelling of deaminated purine nucleotide metabolism. BMB Reports, 45(4), 259-264. DOI: 10.5483/BMBRep.2012.45.4.259. Publication link: 554a7b77-c159-454f-9095-2dc31060dd4e | PubMed:22531138
  21. Romero, E., Mu, T., & Lisboa, P. J. G. (2012). Cohort-based kernel visualisation with scatter matrices. Pattern Recognition, 45(4), 1436-1454. . Publication link: 7a2dc75e-f449-4f04-834d-f87ab393d622
  22. Brown, G., Pocock, A., Ming-Jie, Z., & Luján, M. (2012). Conditional likelihood maximisation: A unifying framework for information theoretic feature selection. Journal of Machine Learning Research, 13, 27-66. . Publication link: d6989f55-275c-472d-b82c-1c9c933b5ae3
  23. Kent, E., Hoops, S., & Mendes, P. (2012). Condor-COPASI: High-throughput computing for biochemical networks. BMC systems biology, 6, [91]. DOI: 10.1186/1752-0509-6-91. Publication link: 8f69c644-dc40-4ba2-9248-6a2dd90718c1 | PubMed:22834945
  24. Valcke, S., Balaji, V., Craig, A., DeLuca, C., Dunlap, R., Ford, R. W., ... Vertenstein, M. (2012). Coupling technologies for Earth System Modelling. Geoscientific Model Development, 5, 1589-1596. DOI: 10.5194/gmd-5-1589-2012, 10.5194/gmdd-5-1987-2012. Publication link: 78141345-99aa-4660-80ec-4c76764ed2b5
  25. Crook, S. M., Bednar, J. A., Berger, S., Cannon, R., Davison, A. P., Djurfeldt, M., ... Van Albada, S. (2012). Creating, documenting and sharing network models. Network: Computation in Neural Systems, 23(4), 131-149. DOI: 10.3109/0954898X.2012.722743. Publication link: 1a46f3f1-f261-4e3c-98a0-6c235a2eedbd
  26. Bosilca, G., Bouteiller, A., Danalis, A., Herault, T., Lemarinier, P., & Dongarra, J. (2012). DAGuE: A generic distributed DAG engine for High Performance Computing. Parallel Computing, 38(1-2), 37-51. DOI: 10.1016/j.parco.2011.10.003. Publication link: 696a505e-af4b-43dc-8091-75d0813c2096
  27. Hedeler, C., Belhajjame, K., Mao, L., Guo, C., Arundale, I., Lóscio, B. F., ... Embury, S. M. (2012). DSToolkit: An architecture for flexible dataspace management. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7100, 126-157. DOI: 10.1007/978-3-642-28148-8_6. Publication link: 97b88343-d7b9-4de6-b4d3-d66e5ed54c78
  28. Bail, S., Parsia, B., & Sattler, U. (2012). Declutter your justifications: Determining similarity between OWL explanations. 1st International Workshop on Debugging Ontologies and Ontology Mappings, 13-24. . Publication link: de5bfe8d-4317-46ab-a124-2827f04a9612
  29. Harper, S. (2012). Deep Accessibility: Adapting Interfaces to Suit Our Senses - http://goo.gl/VT5BE. Invited Talk - Technical Superior Insitute, LaSIGE, Lisbon, Portugal. . Publication link: 01a738e7-4996-4bf7-a4f4-db2799ceda09
  30. Kerins, J., & Ramsay, A. (2012). Developing a visual temporal modeller: Applying an extensible nlp system to support learners' understanding of tense and aspect in English. ReCALL, 24(1), 40-65. DOI: 10.1017/S0958344011000280. Publication link: 206f47db-8197-4735-a5a9-c263a2f4d0bf
  31. Chen, J., Froidevaux, C., Goble, C., Williams, A., & Cohen-Boulakia, S. (2012). Distilling structure in scientific workflows. EMBnet.journal, 18(B). . Publication link: fda4690f-cb95-461f-a010-c1b36a979fde
  32. Bail, S., Parsia, B., & Sattler, U. (2012). Diversity of reason: Equivalence relations over description logic explanations. 25th International Workshop on Description Logics. . Publication link: 3b31d636-a153-4b1c-9ade-eeda907085dc
  33. Vömel, C., Tomov, S., & Dongarra, J. (2012). Divide and conquer on hybrid GPU-accelerated multicore systems. SIAM Journal on Scientific Computing, 34(2), C70-C82. DOI: 10.1137/100806783. Publication link: 664d73f2-0d8e-4496-9708-5d84442c78b5
  34. Xu, H., Pavlidis, V. F., & Micheli, G. D. (2012). Effect of process variations in 3D global clock distribution networks. ACM Journal on Emerging Technologies in Computing Systems, 8(3), [20]. DOI: 10.1145/2287696.2287703. Publication link: 2a1ccc6e-3175-4ecd-a023-590adbb01987
  35. Sanders, J. B. T., Galla, T., & Shapiro, J. L. (2012). Effects of noise on convergent game-learning dynamics. Journal of Physics A: Mathematical and Theoretical, 45(10), [105001]. DOI: 10.1088/1751-8113/45/10/105001. Publication link: 6e6f811c-7f0c-48ca-9247-f289cafa689d
  36. Shi, Q., Zhang, N., & Llewellyn-Jones, D. (2012). Efficient autonomous signature exchange on ubiquitous networks. Journal of Network and Computer Applications, 35(6), 1793-1805. DOI: 10.1016/j.jnca.2012.07.004. Publication link: a64d7520-b273-47e5-9e1d-91ee54be7feb
  37. Gounaris, A., Yfoulis, C. A., & Paton, N. W. (2012). Efficient load balancing in partitioned queries under random perturbations. ACM Transactions on Autonomous and Adaptive Systems, 7(1), [5]. DOI: 10.1145/2168260.2168265. Publication link: 583b47a5-6492-4751-b9ba-dbc779a54824
  38. Harper, S., & Yesilada, Y. (2012). Emerging technologies and web accessibility: Research challenges and opportunities focussing on vision issues. Disability and Rehabilitation: Assistive Technology, 7(1), 1-19. DOI: 10.3109/17483107.2010.544369. Publication link: cb59bdb2-087c-4535-8975-6894374429a4
  39. Rector, A., Brandt, S., Drummond, N., Horridge, M., Pulestin, C., & Stevens, R. (2012). Engineering use cases for modular development of ontologies in OWL. Applied Ontology, 7(2), 113-132. DOI: 10.3233/AO-2012-0107. Publication link: 468a3e07-e15e-49cd-9569-9f5381d0f9fa
  40. Siraj, S., Mikhailov, L., & Keane, J. A. (2012). Enumerating all spanning trees for pairwise comparisons. Computers and Operations Research, 39(2), 191-199. DOI: 10.1016/j.cor.2011.03.010. Publication link: ba29da34-b5b5-4779-9cce-8ceb76cd1c72
  41. Siwy, J., Zoja, C., Klein, J., Benigni, A., Mullen, W., Mayer, B., ... Bahlmann, F. H. (2012). Evaluation of the Zucker Diabetic Fatty (ZDF) Rat as a Model for Human Disease Based on Urinary Peptidomic Profiles. PLoS ONE, 7(12), [e51334]. DOI: 10.1371/journal.pone.0051334. Publication link: baa30b0c-bd95-4fb0-b394-a07122d5a535
  42. Pyysalo, S., Ohta, T., Miwa, M., Cho, H. C., Tsujii, J., & Ananiadou, S. (2012). Event extraction across multiple levels of biological organization. Bioinformatics, 28(18), 575-581. [bts407]. DOI: 10.1093/bioinformatics/bts407. Publication link: d6cd8757-d66d-4019-adc2-3f0360c3436d
  43. Miwa, M., Thompson, P., McNaught, J., Kell, D., & Ananiadou, S. (2012). Extracting semantically enriched events from biomedical literature.BMC Bioinformatics, 13(1), [108]. DOI: 10.1186/1471-2105-13-108. Publication link: c670d5bd-a7d1-40d2-8623-ce1e5b03bce1 | PubMed:22621266
  44. Bail, S., Alkiviadous, S., Parsia, B., Workman, D., Van Harmelen, M., Concalves, R. S., & Garilao, C. (2012). FishMark: A linked data application benchmark. Unknown Journal. . Publication link: 9454ac5d-af17-4c6b-8b8c-8536cc62dea1
  45. Page, K., Palma, R., Hołubowicz, P., Klyne, G., Soiland-Reyes, S., Cruickshank, D., ... Zhao, J. (2012). From workflows to Research Objects: an architecture for preserving the semantics of science. Proceedings of the 2nd International Workshop on Linked Science. . Publication link: d0299f54-d6ef-4f66-b5a7-b4445c6644f7
  46. Pataky, T. C., Mu, T., Bosch, K., Rosenbaum, D., & Goulermas, J. Y. (2012). Gait recognition: highly unique dynamic plantar pressure patterns among 104 individuals. Journal of The Royal Society Interface, 9(69), 790-800. . Publication link: 24ed1d9c-1ad3-4bd0-9e1e-1fb5c464016c
  47. Mischak, H., Ioannidis, J. P. A., Argiles, A., Attwood, T. K., Bongcam-Rudloff, E., Broenstrup, M., ... Vlahou, A. (2012). Implementation of proteomic biomarkers: Making it work. European Journal of Clinical Investigation, 42(9), 1027-1036. DOI: 10.1111/j.1365-2362.2012.02674.x. Publication link: a3df4159-9767-41fa-a498-0854186fd2e0
  48. Lee, D., Smallbone, K., Dunn, W. B., Murabito, E., Winder, C. L., Kell, D. B., ... Swainston, N. (2012). Improving metabolic flux predictions using absolute gene expression data.BMC systems biology, 6, [73]. DOI: 10.1186/1752-0509-6-73. Publication link: ebcd8338-ec21-4a38-ba6c-9e75608e4989 | PubMed:22713172
  49. Rahimian, S., Pavlidis, V. F., & De Micheli, G. (2012). Inter-plane communication methods for 3-D ICs. Journal of Low Power Electronics, 8(2), 170-181. DOI: 10.1166/jolpe.2012.1182. Publication link: 7516c547-8b1c-439c-9e8d-7d7beb279fa0
  50. Hunter, S., Jones, P., Mitchell, A., Apweiler, R., Attwood, T. K., Bateman, A., ... Yong, S. Y. (2012). InterPro in 2011: New developments in the family and domain prediction database. Nucleic acids research., 40(1), D306-D312. DOI: 10.1093/nar/gkr948. Publication link: 84b6c705-6e02-440c-b83e-f09966f1ad81
  51. Vincent, M. A., Campbell Smith, A., Donnard, M., Harford, P. J., Haywood, J., Hillier, I. H., ... Wheatley, A. E. H. (2012). Lithiated tertiary carbanions display variable coordination modes: Evidence from DFT and NMR studies. Chemistry - A European Journal, 18(35), 11036-11045. DOI: 10.1002/chem.201200734. Publication link: a25c2340-8f98-4358-aa32-2fdbdc712566 | PubMed:22807104
  52. Fournier, A. M., Nichols, C. J., Vincent, M. A., Hillier, I. H., & Clayden, J. (2012). Lithium choreography: Intramolecular arylations of carbamate-stabilised carbanions and their mechanisms probed by in situ IR spectroscopy and DFT calculations. Chemistry - A European Journal, 18(51), 16478-16490. DOI: 10.1002/chem.201201761. Publication link: df30260e-46dd-4552-822c-b40bda17b11c
  53. Del Vescovo, C., Parsia, B., & Sattler, U. (2012). Logical relevance in ontologies. 25th International Workshop on Description Logics. . Publication link: b9619752-f7e7-44e5-9e8f-a2e253300e4f
  54. Rast, A., Navaridas Palma, J., Jin, X., Galluppi, F., Plana, L. A., Miguel-Alonso, J., ... Furber, S. (2012). Managing burstiness and scalability in event-driven models on the spinnaker neuromimetic system. International Journal of Parallel Programming, 40(6), 553-582. DOI: 10.1007/s10766-011-0180-7. Publication link: 080292ae-1ce7-41e5-b57d-f8cd87d4980d
  55. Latham, J., Bower, K., Choularton, T., Coe, H., & Connolly, P. (2012). Marine cloud brightening. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370(1974), 4217-4262. DOI: 10.1098/rsta.2012.0086, DOI 10.1098/rsta.2012.0086. Publication link: 6255d382-c112-407d-8ca2-62bd5992cb9a
  56. Anwar, F., Petrounias, I., Morris, T., & Kodogiannis, V. (2012). Mining anomalous events against frequent sequences in surveillance videos from commercial environments. Expert Systems with Applications, 39(4), 4511-4531. DOI: 10.1016/j.eswa.2011.09.134. Publication link: 7999ac26-b6a3-46c1-9253-76f658877d06
  57. Kovačević, A., Konjović, Z., Milosavljević, B., & Nenadic, G. (2012). Mining methodologies from NLP publications: A case study in automatic terminology recognition. Computer Speech and Language, 26(2), 105-126. DOI: 10.1016/j.csl.2011.09.001. Publication link: 8d2fea3d-2e9a-4804-8092-18f36f93cc44
  58. Barringer, H., Gabbay, D. M., & Woods, J. (2012). Modal and temporal argumentation networks. Argument and Computation, 3(2-3), 203-227. DOI: 10.1080/19462166.2012.704399. Publication link: c88c5c7c-be66-4104-8353-355dffb144f8
  59. Kowalczyk, P., Glendinning, P., Brown, M., Medrano-Cerda, G., Dallali, H., & Shapiro, J. (2012). Modelling human balance using switched systems with linear feedback control. Journal of the Royal Society Interface, 9(67), 234-245. DOI: 10.1098/rsif.2011.0212. Publication link: 00829783-35bb-44bc-b206-c85819af33c2
  60. Chang, Y. N., Furber, S., & Welbourne, S. (2012). Modelling normal and impaired letter recognition: Implications for understanding pure alexic reading. Neuropsychologia, 50(12), 2773-2788. DOI: 10.1016/j.neuropsychologia.2012.07.031. Publication link: 0adf4f75-a92a-4e53-a598-053d4c5b2ca2
  61. Alsubait, T., Parsia, B., & Sattler, U. (2012). Next generation of e-assessment: automatic generation of questions. International Journal of Technology Enhanced Learning, 4(3), 156-171. . Publication link: 6eef063f-7554-4c17-964d-61dcdb1134ee
  62. le Roex, N., Noyes, H., Brass, A., Bradley, D. G., Kemp, S. J., Kay, S., ... Hoal, E. G. (2012). Novel SNP Discovery in African Buffalo, Syncerus caffer, Using High-Throughput Sequencing. PLoS ONE, 7(11), [e48792]. DOI: 10.1371/journal.pone.0048792. Publication link: 4d26de9e-7434-4304-8c0d-88784aaf234a | PubMed:23144973
  63. Vroling, B., Thorne, D., McDermott, P., Joosten, H. J., Attwood, T. K., Pettifer, S., & Vriend, G. (2012). NucleaRDB: Information system for nuclear receptors. Nucleic acids research., 40(1), D377-D380. DOI: 10.1093/nar/gkr960. Publication link: da3e2bf5-7c6e-4608-9b5b-b85f61031fe3
  64. Wheatley, A. E. H., Clayden, J., Hillier, I. H., Smith, A. C., Vincent, M. A., Taylor, L. J., & Haywood, J. (2012). On the control of secondary carbanion structure utilising ligand effects during directed metallation. Beilstein Journal of Organic Chemistry, 8, 50-60. DOI: 10.3762/bjoc.8.5. Publication link: f6adc679-3aa8-4a5e-8c18-bb8882ba1c14 | PubMed:22423271
  65. Williams, A. J., Harland, L., Groth, P., Pettifer, S., Chichester, C., Willighagen, E. L., ... Mons, B. (2012). Open PHACTS: Semantic interoperability for drug discovery. Drug Discovery Today, 17(21-22), 1188-1198. DOI: 10.1016/j.drudis.2012.05.016. Publication link: 5215f361-1476-43e9-9f68-5a0c4006d211
  66. Karasavvas, K., Wolstencroft, K., Mina, E., Cruickshank, D., Williams, A., De Roure, D., ... Roos, M. (2012). Opening new gateways to workflows for life scientists. Studies in health technology and informatics, 175, 131-141. DOI: 10.3233/978-1-61499-054-3-131. Publication link: 70e6fec7-0e30-43d2-8436-f33e01e2198a | PubMed:22942004
  67. Pyysalo, S., Ohta, T., Rak, R., Sullivan, D., Mao, C., Wang, C., ... Ananiadou, S. (2012). Overview of the ID, EPI and REL tasks of BioNLP Shared Task 2011.BMC Bioinformatics, 13, S2. DOI: 10.1186/1471-2105-13-S11-S2. Publication link: 4c4bb3b9-d8df-4514-b89c-27107f99b14b
  68. Jupp, S., Horridge, M., Iannone, L., Klein, J., Owen, S., Schanstra, J., ... Stevens, R. (2012). Populous: a tool for building OWL ontologies from templates. BMC Bioinformatics, 13(supp 1). DOI: 10.1186/1471-2105-13-S1-S5. Publication link: c9fcbfc1-d6ab-483d-bb23-f664a0ccb225 | PubMed:22373396
  69. Sharp, T., Galluppi, F., Rast, A., & Furber, S. (2012). Power-efficient simulation of detailed cortical microcircuits on SpiNNaker. Journal of Neuroscience Methods, 210(1), 110-118. DOI: 10.1016/j.jneumeth.2012.03.001. Publication link: a46c9a5b-ae11-458a-8c6d-1272b47cdb68
  70. Siraj, S., Mikhailov, L., & Keane, J. A. (2012). Preference elicitation from inconsistent judgments using multi-objective optimization. European Journal of Operational Research, 220(2), 461-471. DOI: 10.1016/j.ejor.2012.01.049. Publication link: ce13a2d6-3094-463d-9c8d-2c2cdcad1fab
  71. Han, N., Dol, Z., Vasieva, O., Hyde, R., Liloglou, T., Raji, O., ... Field, J. K. (2012). Progressive lung cancer determined by expression profilling and transcriptional regulation. International Journal of Oncology, 41(1), 242-252. DOI: 10.3892/ijo.2012.1421. Publication link: 69f032c5-91bc-43f1-94a6-9c53368c85cd
  72. Mu, T., Goulermas, J. Y., Tsujii, J. I., & Ananiadou, S. (2012). Proximity-based frameworks for generating embeddings from multi-output data. IEEE Transactions on Pattern Analysis and Machine Intelligence, 34(11), 2216-2232. [6127879]. DOI: 10.1109/TPAMI.2012.20. Publication link: d58279cf-7ce4-4e1e-a75b-e97cc168fece
  73. Goble, C., Zhao, J., Klyne, G., Hołubowicz, P., Palma, R., Soiland-Reyes, S., ... Gómez-Pérez, J. M. (2012). RO-Manager: A Tool for Creating and Manipulating Research Objects to Support Reproducibility and Reuse in Sciences. Proc. 2nd Intl. Workshop on Linked Science. . Publication link: 70506dca-dfe4-41ce-9c84-33705b6c1aa3
  74. Pettifer, S., Velterop, J., Attwood, T. K., Harland, L., Marsh, J., Thorne, D., & Tunbridge, A. (2012). Reuniting data and narrative in scientific articles. Insights, 25(3), 288-293. DOI: 10.1629/2048-7754.25.3.288. Publication link: 2372d110-5a16-4619-89a3-8ad1d710aed5
  75. Kleerekoper, A., & Filer, N. (2012). Revisiting blacklisting and justifying the unit disk graph model for energy-efficient position-based routing in wireless sensor networks. IFIP Wireless Days, [6402859]. DOI: 10.1109/WD.2012.6402859. Publication link: 3bf68acc-c957-4a0e-ad36-a68cef09b0e2
  76. Yang, X., Zhao, L., Wang, X., Wang, Y., Sun, J., & Cristoforo, A. J. (2012). Satisfying quality requirements in the design of a partition-based, distributed stock trading system. Software - Practice and Experience, 42(2), 131-157. DOI: 10.1002/spe.1054. Publication link: fc229eac-282b-44d3-8f12-6de9f065df58
  77. Patterson, C., Garside, J., Painkras, E., Temple, S., Plana, L. A., Navaridas, J., ... Furber, S. (2012). Scalable communications for a million-core neural processing architecture. Journal of Parallel and Distributed Computing, 72(11), 1507-1520. DOI: 10.1016/j.jpdc.2012.01.016. Publication link: eee67340-b8d9-480a-a299-cbed690bcf2c
  78. Ashworth, I. W., Hillier, I. H., Nelson, D. J., Percy, J. M., & Vincent, M. A. (2012). Searching for the hidden hydrides: The competition between alkene isomerization and metathesis with grubbs catalysts. European Journal of Organic Chemistry, (29), 5673-5677. DOI: 10.1002/ejoc.201201036. Publication link: bab5d129-1984-4be8-ab56-d510c9295004
  79. Ukor, R., & Carpenter, A. (2012). Service selection and horizontal multi-sourcing in process-oriented capability outsourcing. Journal of software: Evolution and Process, 24(3), 259-283. DOI: 10.1002/smr.557. Publication link: ffdf255b-951a-46bb-ba31-c4c2496f6dba
  80. Licéaga-Castro, E., Navarro-López, E. M., García-Aguilar, R., & Andújar-Morgado, J. M. (2012). Slow-motion control of an unloaded hydraulic robot arm. Precision Engineering, 36(3), 388-398. DOI: 10.1016/j.precisioneng.2012.01.001. Publication link: 72307487-31fb-4607-8546-6bf1f731b671
  81. Nair, R. R., Sepioni, M., Tsai, I. L., Lehtinen, O., Keinonen, J., Krasheninnikov, A. V., ... Grigorieva, I. V. (2012). Spin-half paramagnetism in graphene induced by point defects. Nature Physics, 8(3), 199-202. DOI: 10.1038/nphys2183. Publication link: eb024421-f461-4cbc-a0c4-252aa7962383
  82. Hastings, J., Magka, D., Batchelor, C., Duan, L., Stevens, R., Ennis, M., & Steinbeck, C. (2012). Structure-based classification and ontology in chemistry. Journal of Cheminformatics, 4(4), [8]. DOI: 10.1186/1758-2946-4-8. Publication link: da315011-bd5a-4751-817f-535eeceeb89c
  83. Del Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., & Tsarkov, D. (2012). Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?arXiv preprint arXiv:1207.1641. . Publication link: fc27f624-8195-4fe6-84fe-88cb5d2de4d5
  84. Gao, Q., Zeng, X. J., Feng, G., Wang, Y., & Qiu, J. (2012). T-S-fuzzy-model-based approximation and controller design for general nonlinear systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 42(4), 1143-1154. [6170001]. DOI: 10.1109/TSMCB.2012.2187442. Publication link: 1eec0d43-6a4f-468a-b800-5e8b645bbab6
  85. Brown, A., Jay, C., & Harper, S. (2012). Tailored presentation of dynamic web content for audio browsers. International Journal of Human Computer Studies, 70(3), 179-196. DOI: 10.1016/j.ijhcs.2011.11.001. Publication link: 17e20305-30fd-4b35-8cc7-2ec354378586
  86. Filannino, M. (2012). Temporal expression normalisation in natural language texts. CoRR, abs/1206.2010. . Publication link: aec109d1-5a7f-4987-a3a0-6303ae971d6b
  87. Barringer, H., Gabbay, D. M., & Woods, J. (2012). Temporal, numerical and metalevel dynamics in argumentation networks. Argument & Computation, 3(2-3), 143-202. . Publication link: 87cb6afd-1f2b-469f-9055-af9cc4539d99
  88. Schmidt, R. A. (2012). The Ackermann approach for modal logic, correspondence theory and second-order reduction. Journal of Applied Logic, 10(1), 52-74. DOI: 10.1016/j.jal.2012.01.001. Publication link: 9b5f6c1e-3c29-43cf-8244-e12c1f27eca0
  89. Senior, J., Mcdonnell, S., Lennox, C., Yao, L., & Zhang, N. (2012). The Evaluation of a Pilot Electronic Multi-Agency Information Sharing System for Offenders with Mental Illness: Lessons Learnt and Implications for Service Delivery. Unknown Journal. . Publication link: 6e28957e-7925-4a02-8f64-ad513f0c89af
  90. Klein, J., Jupp, S., Moulos, P., Fernandez, M., Buffin-Meyer, B., Casemayou, A., ... Schanstra, J. P. (2012). The KUPKB: A novel Web application to access multiomics data on kidney disease. FASEB Journal, 26(5), 2145-2153. DOI: 10.1096/fj.11-194381. Publication link: 453f7744-2db2-44d0-9c58-cada6a64b216
  91. Attwood, T. K., Coletta, A., Muirhead, G., Pavlopoulou, A., Philippou, P. B., Popov, I., ... Mitchell, A. L. (2012). The PRINTS database: A fine-grained protein sequence annotation and analysis resource-its status in 2012. Database, 2012, [bas019]. DOI: 10.1093/database/bas019. Publication link: 7e74c2d4-6c1f-4529-a971-2371e621b880
  92. Murray, A. K., Vail, A., Moore, T. L., Manning, J. B., Taylor, C. J., & Herrick, A. L. (2012). The influence of measurement location on reliability of quantitative nailfold videocapillaroscopy in patients with SSc. Rheumatology, 51(7), 1323-1330. [kes007]. DOI: 10.1093/rheumatology/kes007. Publication link: 9eb707ad-850c-4de2-bb44-37ef7478b12c | PubMed:22438458
  93. Kalankesh, L. R., Stevens, R., & Brass, A. (2012). The language of gene ontology: a Zipf's law analysis. BMC Bioinformatics, 13(1), [127]. DOI: 10.1186/1471-2105-13-127. Publication link: 5fba6ca6-09c5-4750-b40f-2f425768c195 | PubMed:22676436
  94. Brown, A., Jay, C., Chen, A. Q., & Harper, S. (2012). The uptake of Web 2.0 technologies, and its impact on visually disabled users. Universal Access in the Information Society, 11(2), 185-199. DOI: 10.1007/s10209-011-0251-y. Publication link: 619ffce6-e83a-438c-8f29-e8ac69f146c8
  95. van Harmelen, F., Kampis, G., Börner, K., van den Besselaar, P., Schultes, E., Goble, C., ... Helbing, D. (2012). Theoretical and technological building blocks for an innovation accelerator. The European Physical Journal. Special Topics, 214(1), 183-214. DOI: 10.1140/epjst/e2012-01692-1. Publication link: bd044e59-b6c9-4a59-a333-0311ffc1fe15
  96. Lord, P., Cockell, S., & Stevens, R. (2012). Three steps to heaven: Semantic publishing in a real world workflow. CEUR Workshop Proceedings, 903, 23-34. DOI: 10.3390/fi4041004. Publication link: aa5134d1-80c8-478e-af0f-f6bcb5ce82dc
  97. Furber, S. (2012). To build a brain. IEEE Spectrum, 49(8), 45-49. [6247562]. DOI: 10.1109/MSPEC.2012.6247562. Publication link: f10c4035-a2c1-4b2b-a6ac-a6c849d541ed
  98. Kovacevic, A., Dehghan, A., Keane, J., & Nenadic, G. (2012). Topic Categorisation of Statements in Suicide Notes with Integrated Rules and Machine Learning. Biomedical Informatics Insight. . Publication link: 3d55e64f-b852-4a6b-befc-0bbe67f8fbde
  99. Sansone, S. A., Rocca-Serra, P., Field, D., Maguire, E., Taylor, C., Hofmann, O., ... Hide, W. (2012). Toward interoperable bioscience data. Nature Genetics, 44(2), 121-126. DOI: 10.1038/ng.1054. Publication link: fbacadfe-afbc-44a7-9a7f-cb7fed47b25e | PubMed:22281772
  100. Rodriguez, E., Nikolaidis, K., Mu, T., Ralph, J. F., & Goulermas, J. Y. (2012). Towards collaborative feature extraction for face recognition. Natural Computing, 11(3), 395-404. . Publication link: 4f049fa5-3412-464c-8994-c638ce8e452b
  101. Jamieson, D. G., Gerner, M., Sarafraz, F., Nenadic, G., & Robertson, D. L. (2012). Towards semi-automated curation: Using text mining to recreate the HIV-1, human protein interaction database. Database, 2012, [bas023]. DOI: 10.1093/database/bas023. Publication link: dac4a86a-e696-414e-9c04-5234bbca22bc | PubMed:22529179
  102. Sakuma, Y., Minamide, Y., & Voronkov, A. (2012). Translating regular expression matching into transducers. Journal of Applied Logic, 10(1), 32-51. DOI: 10.1016/j.jal.2011.11.003. Publication link: ffd837e1-5c3c-4992-a199-c79dfbbf6639
  103. Kubitza, T., Clinch, S., Davies, N., & Langheinrich, M. (2012). Using Mobile Devices to Personalize Pervasive Displays. ACM SIGMOBILE Mobile Computing and Communications Review, 16(4), 26-27. . Publication link: d4d0b99a-f603-46dd-8aab-2ac204943e03
  104. Paton, N. W., De Arago, M. A. T., & Fernandes, A. A. A. A. (2012). Utility-driven adaptive query workload execution. Future Generation Computer Systems, 28(7), 1070-1079. DOI: 10.1016/j.future.2011.08.014. Publication link: 376e1239-d322-498c-b8c4-1c16f6c56f6b
  105. Harper, S., & Chen, A. Q. (2012). Web accessibility guidelines: A lesson from the evolving Web. World Wide Web, 15(1), 61-88. DOI: 10.1007/s11280-011-0130-8. Publication link: 57aa8c73-38e6-4344-a53a-9b375daeb71f
  106. Belhajjame, K., Corcho, O., Garijo, D., Zhao, J., Missier, P., Newman, D., ... Goble, C. A. (2012). Workflow-centric research objects: First class citizens in scholarly discourse. CEUR Workshop Proceedings, 903, 1-12. . Publication link: caa26ab5-715a-43e6-92e0-4f94b7106b86
  107. Heavner, B. D., Smallbone, K., Barker, B., Mendes, P., & Walker, L. P. (2012). Yeast 5 - an expanded reconstruction of the Saccharomyces cerevisiae metabolic network. BMC systems biology, 6, [55]. DOI: 10.1186/1752-0509-6-55. Publication link: b440b834-b82e-4e3d-8eca-3332deb3a685 | PubMed:22663945
Comment/debate
  1. Navarro Lopez, E., & Cortes, D. (2012). Reply to Comments on "Design of practical sliding-mode controllers with constant switching frequency for power converters". Electric Power Systems Research. In press, 1-8. . Publication link: 01807dac-d4f3-43d6-9c9a-97ad7f1085ac
Chapter
  1. Rast, A. D., Khan, M. M., Jin, X., Plana, L. A., Furber, S., Rao, A. R. (Ed.), & Cecchi, G. A. (Ed.) (2012). A Universal Abstract-Time Platform for Real-Time Neural Networks. In The Relevance of the Time Domain to Neural Network Models: Springer Series in Cognitive and Neural Systems. (1 ed., Vol. 3, pp. 135-157). Springer Verlag. DOI: 10.1007/978-1-4614-0724-9_8. Publication link: a9aea2ce-b64e-49bb-87b3-0da6db568cac
  2. May, M., Turner, M., Morris, T., & Ho, Y-S. (Ed.) (2012). Analysing False Positives and 3D Structure to Create Intelligent Thresholding and Weighting Functions for SIFT Features. In Advances in Image and Video Technology. (Vol. 7087, pp. 190-201). (Lecture Notes in Computer Science). Springer Berlin / Heidelberg. . Publication link: 8548783a-69e1-4b2f-909e-cb019d1c2baa
  3. Gonçalves, R. S., Parsia, B., & Sattler, U. (2012). Concept-based semantic difference in expressive description logics. In The Semantic Web-ISWC 2012. (pp. 99-115). Springer Berlin Heidelberg. . Publication link: 0f3a38d2-58e8-4cd7-9302-d316ab029a67
  4. Mehandjiev, N., Lécué, F., Carpenter, M., & Rabhi, F. A. (2012). Cooperative service composition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7328, pp. 111-126). Springer Verlag. DOI: 10.1007/978-3-642-31095-9_8. Publication link: 9d00c209-32ff-4cad-a7fe-46d920f98568
  5. Kontonasios, G., Korkontzelos, I., Ananiadou, S., & Kontonatsios, G. (2012). Developing multilingual text mining workflows in UIMA and U-compare. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7337, pp. 82-93). (Lecture Notes in Computer Science). Berlin, Heidelberg: Springer Berlin / Heidelberg. DOI: 10.1007/978-3-642-31178-9_8. Publication link: 19e752cf-42dc-4f2f-8ab4-975899f54e1b
  6. Loucopoulos, P., Heidari, F., & Seyff, N. (Ed.) (2012). Evaluating Quality of Business Processes. In Modelling and Quality in Requirements Engineering: Essays Dedicated to Martin Glinz on the Occassion of his 60th Birthday. (pp. 61-73). Munster: Monsenstein and Vannerdat. . Publication link: 525269dc-8762-4b08-9055-429fbaaae325
  7. Horridge, M., Parsia, B., & Sattler, U. (2012). Extracting justifications from bioportal ontologies. In The Semantic Web-ISWC 2012. (pp. 287-299). Springer Berlin Heidelberg. . Publication link: 69e5bd52-fa9d-4d1a-92b2-81ddd9a816c2
  8. May, M., Turner, M., Morris, T., & Ho, Y-S. (Ed.) (2012). FAW for Multi-exposure Fusion Features. In Advances in Image and Video Technology. (Vol. 7087, pp. 289-300). (Lecture Notes in Computer Science). Springer Berlin / Heidelberg. . Publication link: 9d3e887f-75c3-4e44-b4ae-b4df222639a0
  9. Zhao, L., Macaulay, L. (Ed.), Miles, I. (Ed.), Wilby, J. (Ed.), Tan, Y. L. (Ed.), & Theodoulidis, B. (Ed.) (2012). Introduction to Cases Illustrating the Complexity of Service Innovation. In Case Studies in Service Innovation. Springer, http://www.springer.com/series/8080. . Publication link: 6e463ccb-ebd8-4423-8d2e-0fd32f30c7ee
  10. Sen Bhattacharya, B., Coyle, D., Maguire, L. P., & Stewart, J. (2012). Kinetic modelling of synaptic functions in the alpha rhythm neural mass model. In Artificial Neural Networks and Machine Learning - ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I. (Vol. 7552, pp. 645). (Lecture Notes in Computer Science). Lausanne, Switzerland: Springer Verlag. DOI: 10.1007/978-3-642-33269-2 . Publication link: 03968dd9-87f4-491f-86fc-012b154684a0
  11. Thomson, T., & Terris, B. D. (2012). Patterned magnetic recording media: Progress and prospects. In Developments in data storage: Materials perspective. (pp. 256-276). Hoboken, New Jersey, USA: John Wiley & Sons . . Publication link: a309186c-31bd-4a1c-82f1-7042afb1bdbd
  12. Brown, A., Reeve, J., Furber, S., & Lester, D. (2012). Processing with a million cores: Applications, Tools and Techniques on the Road to Exascale Computing. 14th Biennial ParCo Conference, ParCo2011. In Advances in Parallel Computing|Adv. Parallel Comput.: Applications, Tools and Techniques on the Road to Exascale Computing. (Vol. 22, pp. 327-334). Amsterdam, NL,: Elsevier. DOI: 10.3233/978-1-61499-041-3-327. Publication link: 907a9491-315a-41f3-9cc8-bbe5cda976fd
  13. Riley, G. D., Ford, R. W., Valcke, S. (Ed.), Redler, R. (Ed.), & Budich, R. (Ed.) (2012). The Bespoke Framework Generator. In Earth System Modelling - Volume 3: Coupling Software and Strategies. (Vol. 3, pp. 55-67). Springer Briefs in Earth System Sciences: Springer Verlag. DOI: 10.1007/978-3-642-23360-9. Publication link: d6bd136a-ca38-4d9b-8467-1822bded7758
  14. Ananiadou, S., McNaught, J., Thompson, P., Rehm, G. (Ed.), & Uszkoreit, H. (Ed.) (2012). The English Language in the Digital Age. In White Paper Series. Springer Verlag. . Publication link: 12e7d880-0439-450d-8532-13ee534ba03d
  15. Tishkovsky, D., Schmidt, R. A., & Khodadadi, M. (2012). The tableau prover generator MetTeL2. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7519, pp. 492-495). (Lecture Notes in Computer Science). Springer Berlin / Heidelberg. DOI: 10.1007/978-3-642-33353-8_41. Publication link: 8023a724-ec03-4d53-8353-fc37d03b3fb4
  16. Pratt-Hartmann, I., Raubal, M. (Ed.), Mark, D. M. (Ed.), & Frank, A. U. (Ed.) (2012). Twenty Years of Topological Logic. In Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research. (pp. 217-235). (Lecture Notes in Geoinformation and Cartography). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-34359-9_12. Publication link: 76bd71a9-bfa0-41d9-b954-ea8614a55e15
  17. Pettifer, S., Attwood, T., Marsh, J., & Thorne, D. (2012). Utopia Documents: Transforming how industrial scientists interact with the scientific literature. In Open Source Software in Life Science Research: Practical Solutions to Common Challenges in the Pharmaceutical Industry and Beyond|Open Source Softw. in Life Sci. Res.: Pract. Solut. to Common Chall. in the Pharma. Ind. and Beyond: Practical solutions to common challenges in the pharmaceutical industry and beyond. (pp. 351-365). Woodhead Publishing Series in Biomedicine, No.16: Elsevier. DOI: 10.1016/B978-1-907568-97-8.50015-1. Publication link: c46240e8-5764-4915-85eb-ebd79fe76795
Working paper
  1. Milosevic, N. (2012). Stemmer for Serbian language.. Publication link: 2a4c211d-120d-4d4c-af79-be98aaa747af
Scholarly edition
  1. Riley, G., Harris, J. P., Anderson, E., Adriasola Munoz, A., Crossley, R., Glover, C., ... Valdes, P. (2012). Predictive petroleum play fairway mapping using plate tectonic, palaeogeographic and palaeo-Earth systems modelling - Exa: Tools for Configuring, Building and Running Models. (1 ed.) (SpringerBriefs in Earth System Sciences). European Association of Geoscientists and Engineers, EAGE. DOI: 10.1007/978-3-642-23932-8. Publication link: 3b812e39-4a0a-404d-9554-4e4cac424044
Poster
  1. Zhao, L., Letsholo, K., Chioasca, E. V., Sampaio, S., & Sampaio, P. (2012). Can business process modeling bridge the gap between business and information systems?. 1723-1724. Poster session presented at 27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, .DOI: 10.1145/2245276.2232054. Publication link: 40a12251-ae0d-412b-a94c-28a236693e6f
  2. Albin-Clark, A., Howard, T. L. J., & Anderson, B. (2012). Simulating characters for observation. 501-502. Poster session presented at International Conference on Computer Graphics Theory and Applications, GRAPP 2012 and International Conference on Information Visualization Theory and Applications, IVAPP 2012, Rome, .. Publication link: b20326e3-2ae6-4486-b827-4e7bd13126b6
  3. Plumbley, D. (2012). Using Artificial Intelligence to Navigate Protein Landscapes. Poster session presented at Oxford University Systems Biology DTC conference, Oxford University, .. Publication link: 9a646d52-480c-4b9a-8cc0-8d96ec8a80c4
Other
  1. Schalk, A. (2012). Introduction to Game Semantics. Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, University of Bath, .. Publication link: 7dcb49fe-39de-46d2-bf5f-53db4a1ed047
Book
  1. Ananiadou, S., McNaught, J., & Thompson, P. (2012). The English Language in the Digital Age. (META-NET White Paper Series). Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-30684-6. Publication link: a224bb13-6e2e-47e3-818b-ed2ef3f466af
Commissioned report
  1. Senior, J., Mcdonnell, S., Lennox, C., Yao, L., & Zhang, N. (2012). The Development of a Pilot Electronic Multi-Agency Information Sharing System for Offenders with Mental Illness: Final Report to the NIHR SDO Programme. NIHR SDO.. Publication link: b5abed01-824e-4349-a079-bc8ce2816777
▲ Up to the top