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


2015

Conference contribution
  1. Lau, K-K., & Cola, S. D. (2015). (Reference) Architecture = Components + Composition (+ Variation Points)? In host publication. (pp. 1-4). ACM. . Publication link: 4ebf4c5c-bd29-45e1-8c03-318af5601a38
  2. Sakellariou, R. (2015). 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015. In host publication. {IEEE}. . Publication link: 660c589b-6bb3-4129-aa50-221bbb7bd538
  3. Sakellariou, R., Pu, C. (Ed.), & Mohindra, A. (Ed.) (2015). 8th IEEE International Conference on Cloud Computing, CLOUD 2015, New York City, NY, USA, June 27 - July 2, 2015. In host publication. {IEEE}. . Publication link: 14d1ad5e-f683-4cbe-9590-fae2c21199ed
  4. Lucanin, D., Pietri, I., Brandic, I., & Sakellariou, R. (2015). A Cloud Controller for Performance-Based Pricing. In 8th IEEE International Conference on Cloud Computing. (pp. 155-162). IEEE xplore. DOI: 10.1109/CLOUD.2015.30. Publication link: b53428ed-fbfb-458a-9bdf-8584c842f14b
  5. Kotelnikov, E., Kovács, L., & Voronkov, A. (2015). A First Class Boolean Sort in First-Order Theorem Proving and TPTP. In Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. (pp. 71-86). DOI: 10.1007/978-3-319-20615-8_5. Publication link: 782bd587-a5bd-4730-baba-c4584c718181
  6. Cola, S. D., Lau, K-K., & Tran, C. (2015). A Graphical Tool for Model-Driven Development Using Components and Services. In Proceedings of the Forty-first EUROMICRO Conference on Software Engineering and Advanced Applications. (pp. 181-182). IEEE. . Publication link: f8a26583-9c5b-45e7-9ed1-a7fbe268086b
  7. Cola, S. D., Tran, C., Lau, K-K., Celesti, A., & Fazio, M. (2015). A Heterogeneous Approach for Developing Applications with FIWARE GEs. In Proceedings of the Fourth European Conference on Service Oriented and Cloud Computing. (pp. 65-79). Springer Verlag. . Publication link: 32aaf46e-fd4b-477f-8db9-a4d626e2f5fe
  8. Lee, M., Matentzoglu, N., Parsia, B., & Sattler, U. (2015). A Multi-reasoner, Justification-Based Approach to Reasoner Correctness. In The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. (Vol. 9367, pp. 393-408). DOI: 10.1007/978-3-319-25010-6_26. Publication link: e90588bf-f6a9-4892-8c68-bdeb96fd11e0
  9. Keane, J. (2015). A Parallel Distributed Weka Framework for Big Data Mining Using Spark; In host publication. (pp. 9-16). IEEE. . Publication link: 106d52e7-4914-4676-ac03-e494a8c9b11b
  10. Cai, Z., Zhao, L., Wang, X., Yang, X., Qin, J., & Yin, K. (2015). A Pattern-Based Code Transformation Approach for Cloud Application Migration. In Proc. 8th International Conference on Cloud Computing (CLOUD 2015). IEEE. . Publication link: dff7eed3-a239-4378-850b-a471fd062132
  11. Zheng, W., Tang, L., & Sakellariou, R. (2015). A Priority-Based Scheduling Heuristic to Maximize Parallelism of Ready Tasks for DAG Applications. In 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015. (pp. 596-605). DOI: 10.1109/CCGrid.2015.97. Publication link: b118df50-a6a9-476e-ac3b-9b25ee4e702e
  12. Matentzoglu, N., Leo, J., Hudhra, V., Sattler, U., & Parsia, B. (2015). A Survey of Current, Stand-alone OWL Reasoners. In Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015.. (pp. 68-79). Publication link: c74d1d2b-620a-45e1-bf55-9f510f6f7b93
  13. Ghasempour, M., Heathcote, J., Navaridas, J., Plana, L. A., Garside, J., & Luján, M. (2015). Accelerating Interconnect Analysis Using High-Level HDLs and FPGA, SpiNNaker as a Case Study. In Field-Programmable Custom Computing Machines (FCCM), 2015 IEEE 23rd Annual International Symposium on. (pp. 96-96). USA: IEEE. DOI: 10.1109/FCCM.2015.47. Publication link: 94de2600-3a22-48e3-8a65-2be1c711f7be
  14. Batista-Navarro, R. T., & Ananiadou, S. (2015). Adapting ChER for the recognition of chemical mentions in patents. In Proceedings of the Fifth BioCreative Challenge Evaluation Workshop. (pp. 149-153). Seville, Spain. . Publication link: b1983e8a-58cf-40b6-b536-d9a9cc4e4851
  15. Zhang, G., Song, W., Garside, J., Navaridas, J., & Wang, Z. (2015). An Asynchronous SDM Network-on-Chip Tolerating Permanent Faults, In Asynchronous Circuits and Systems (ASYNC), 2014 20th IEEE International Symposium on. (pp. 9-16). USA: IEE. DOI: 10.1109/ASYNC.2014.10. Publication link: 3dd4f4ab-58f9-4ec2-8842-a2b3d9f4635c
  16. Cola, S. D., Lau, K-K., Tran, C., & Qian, C. (2015). An MDE Tool for Defining Software Product Families with Explicit Variation Points. In Proceedings of the 19th International Conference on Software Product Line. (pp. 355-360). ACM. . Publication link: 3073ed6b-e4db-4003-ad15-45ce228361ec
  17. Mundy, A., Knight, J., Stewart, T., & Furber, S. (2015). An efficient SpiNNaker implementation of the Neural Engineering Framework. In Neural Networks (IJCNN), 2015 International Joint Conference on. (pp. 1-8). USA: IEEE. DOI: 10.1109/IJCNN.2015.7280390. Publication link: 43b51f3f-f215-4c40-b466-5f42c75b4dce
  18. Ghasempour, M., Heathcote, J., Navaridas, J., Plana, L. A., Garside, J., & Lujan, M. (2015). Analysis of FPGA and software approaches to simulate unconventional computer architectures. In Proceedigns of the 2015 International Conference on ReConFigurable Computing and FPGAs. (pp. 1-8). IEEE. DOI: 10.1109/ReConFig.2015.7393292. Publication link: f4e8577a-f79e-478d-9041-869d76ff9926
  19. Mikusz, M., Clinch, S., & Davies, N. (2015). Are You Feeling Lucky?: Lottery-based Scheduling for Public Displays. In Proceedings of the 4th International Symposium on Pervasive Displays. (pp. 31-37). (PerDis '15). New York, NY, USA: ACM. DOI: 10.1145/2757710.2757721 . Publication link: d50167d7-a800-4608-a152-16951a1dc293
  20. Batista-Navarro, R. T., & Ananiadou, S. (2015). Augmenting the Medical Subject Headings vocabulary with semantically rich variants to improve disease mention normalisation. In Proceedings of the Fifth BioCreative Challenge Evaluation Workshop. (pp. 311-316). Seville, Spain. . Publication link: cb6633d1-0c2c-446c-bf4c-880326e9dc1d
  21. Reger, G., Barringer, H., & Rydeheard, D. (2015). Automata-based Pattern Mining from Imperfect Traces. In ACM SIGSOFT Software Engineering Notes. (pp. 1-8). USA: ACM. . Publication link: 89262614-7bfc-4fcb-9e34-ee2484d812b0
  22. Wilmering, T., Page, K., Fazekas, G., Dixon, S., & Bechhofer, S. (2015). Automating Annotation of Media with Linked Data Workflows. In Proceedings of the 24th International Conference on World Wide Web Companion. (pp. 737-738). 24th International World Wide Web Conference. DOI: 10.1145/2740908.2742913. Publication link: 8e89897e-0263-440a-96da-bc6f36eba996
  23. Papistas, I., & Pavlidis, V. (2015). Bandwidth-to-Area Comparison of Through Silicon Vias and Inductive Links for 3-D ICs. In Proceedings of the IEEE European Conference on Circuit Theory and Design. (pp. 1-4). DOI: 10.1109/ECCTD.2015.7300059. Publication link: 7d1080f0-6b78-41ab-9bdc-5f8e43b6da5c
  24. Batista-Navarro, R. T., Nawaz, R., Zerva, C., & Ananiadou, S. (2015). Bridging text-mined biomolecular events to pathway models using approximate subgraph matching techniques. In Proceedings of the 16th International Conference on Systems Biology, Singapore.. Publication link: 11067846-5932-4dbd-9792-7a91358036bb
  25. Ndu, G., Navaridas Palma, J., & Lujan, M. (2015). CHO: Towards a Benchmark Suite for OpenCL FPGA Accelerators. In 3rd International Workshop on OpenCL.. Publication link: c1fe9edf-c959-401c-9f04-c5cb3de10d38
  26. Nikolaou, N., & Brown, G. (2015). Calibrating AdaBoost for Asymmetric Learning. In Proceedings of the 12th International Workshop, MCS 2015. (Vol. 9132, pp. 112-124). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-319-20248-8_10. Publication link: 119449ef-ded7-45fe-9c73-3526d14ad577
  27. Morris, T., Lambrou, T. (Ed.), & Ye, X. (Ed.) (2015). Characterising glaucoma using texture. In T. Lambrou, & X. Ye (Eds.), Proceedings of the 19th Conference on Medical Image Understanding and Analysis. (pp. 54-59). Lincoln: University of Lincoln. . Publication link: 03babd20-575e-448f-b80c-45f576a80fc5
  28. Christodoulou, K., Fernandes, A. A. A., & Paton, N. W. (2015). Combining Syntactic and Semantic Evidence for Improving Matching over Linked Data Sources. In Web Information Systems Engineering - WISE 2015 - 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I. (pp. 200-215). DOI: 10.1007/978-3-319-26190-4_14. Publication link: 50dcb52c-1303-4860-9aa2-1783bb515672
  29. Zhao, Y., Schmidt, R. A., Calvanese, D. (Ed.), & Konev, B. (Ed.) (2015). Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach. In D. Calvanese, & B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics (DL-2015). (Vol. 1350). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 0369bf13-23eb-4f13-8b59-53528fabdd0d
  30. Zhao, Y., Schmidt, R. A., Arenas, M. (Ed.), Corcho, O. (Ed.), Simperl, E. (Ed.), Strohmaier, M. (Ed.), ... Staab, S. (Ed.) (2015). Concept Forgetting in ALCOI-Ontologies Using an Ackermann Approach. In M. Arenas, O. Corcho, E. Simperl, M. Strohmaier, M. d'Aquin, K. Srinivas, P. T. Groth, M. Dumontier, J. Heflin, K. Thirunarayan, ... S. Staab (Eds.), The Semantic Web, 14th International Semantic Web Conference, ISWC 2015. (Vol. 9366, pp. 587-602). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-319-25007-6_34. Publication link: 98630923-1ef2-4885-a8aa-6966eb99f31d
  31. Vigo, M., Jay, C., & Stevens, R. (2015). Constructing Conceptual Knowledge Artefacts: Activity Patterns in the Ontology Authoring Process. In Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems. ACM Press. DOI: 10.1145/2702123.2702495. Publication link: 0f210cd8-b968-4ca6-bea1-1744f80ff94d
  32. Serrano-Gotarredona, T., Linares-Barranco, B., Galluppi, F., Plana, L. A., & Furber, S. (2015). ConvNets Experiments on SpiNNaker. In Circuits and Systems (ISCAS), 2015 IEEE International Symposium on. (pp. 2405-2408). DOI: 10.1109/ISCAS.2015.7169169. Publication link: 460985cd-77f8-42cc-93b4-62ac0a3beb79
  33. Mealing, R., Shapiro, J. L., He, J. (Ed.), Jansen, T. (Ed.), Ochoa, G. (Ed.), & Zarges, C. (Ed.) (2015). Convergence of Strategies in Simple Co-Adapting Games. In J. He, T. Jansen, G. Ochoa, & C. Zarges (Eds.), Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII, Aberystwyth, United Kingdom, January 17 - 20, 2015. (pp. 176-190). ACM Digital Library: Association of Computing Machinery (ACM). DOI: 10.1145/2725494.2725503. Publication link: 38619c98-16eb-4e6b-81ad-368e4be49aea
  34. Reger, G., Tishkovsky, D., & Voronkov, A. (2015). Cooperating Proof Attempts. In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. (pp. 339-355). DOI: 10.1007/978-3-319-21401-6_23. Publication link: 6e2f2441-abc9-4bb3-8447-b1c7a4e3fa98
  35. Harper, S., Moon, A. A., Vigo, M., Brajnik, G., & Yesilada, Y. (2015). DOM block clustering for enhanced sampling and evaluation. In Proceedings of the 12th Web for All Conference. DOI: 10.1145/2745555.2746649. Publication link: f2d5a8d0-d9be-41cf-b977-bad214e1528c
  36. Jelodari Mamaghani, M., Garside, J., & Edwards, D. (2015). De-elastisation: From asynchronous dataflows to synchronous circuits. In Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015. (pp. 273-276). USA: IEEE. DOI: 10.7873/DATE.2015.0759. Publication link: 8dd54d04-e144-4830-b538-5a0c8f5231ab
  37. Zhang, G., Garside, J., Song, W., Navaridas, J., & Wang, Z. (2015). Deadlock Recovery in Asynchronous Networks on Chip in the Presence of Transient Faults. In Asynchronous Circuits and Systems (ASYNC), 2015 21st IEEE International Symposium. (pp. 100-107). USA: IEEE. DOI: 10.1109/ASYNC.2015.23. Publication link: 6e015141-8f20-4c8b-a7a4-e792e1854dbf
  38. Mikusz, M., Clinch, S., & Davies, N. (2015). Demo: Making Lottery-based Scheduling Decisions Visible. In Proceedings of the 4th International Symposium on Pervasive Displays. (pp. 253-254). New York, NY, USA: ACM. DOI: 10.1145/2757710.2776808. Publication link: 3c2cbe24-1664-47e2-bfe2-ea0744564c44
  39. Daghrah, M., Wang, Z., Liu, Q., Walker, D., Smith, P. W. R., & Mavrommatis, P. (2015). Design of experimenal setup to study factors affecting hot spot temperature in disc type winding transformers. In IET Conference Publications. (CP668 ed., Vol. 2015). Institution of Engineering and Technology. . Publication link: 4448a3bb-9e39-46ff-abbd-f100461e027e
  40. Butters, T. D., Guttel, S., & Shapiro, J. L. (2015). Detecting and reducing redundancy in alarm networks. In {IEEE} International Conference on Automation Science and Engineering, {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015. (pp. 1224-1229). DOI: 10.1109/CoASE.2015.7294265. Publication link: 2b04b1e6-b608-4649-b1ef-96a377fb5337
  41. Jaf, S., & Ramsay, A. (2015). Deterministic Choices in a Data-driven Parser. In The 12th International Workshop on Natural Language Processing and Cognitive Science. Poland. . Publication link: ef10a9d0-bc46-4d92-a179-a2b31da2be0d
  42. Batista-Navarro, R. T., Carter, J., & Ananiadou, S. (2015). Development of bespoke machine learning and biocuration workflows in a BioC-supporting text mining workbench. In Proceedings of the Fifth BioCreative Challenge Evaluation Workshop. (pp. 51-56). Seville, Spain. . Publication link: bf59c608-d8be-4cf9-bfc8-cbe0c881926a
  43. Hossein Danesh, M., Loucopoulos, P., & Yu, E. (2015). Dynamic Capabilities for Sustainable Enterprise IT – A Modeling Framework. In host publication.. Publication link: f93528b8-efad-446a-9bcd-5537926d51c4
  44. Brown, A., Jones, R., Crabb, M., Sandford, J., Brooks, M., Armstrong, M., & Jay, C. (2015). Dynamic Subtitles: the User Experience. In ACM International Conference on Interactive Experiences for Television and Radio (TVX).. Publication link: 9e2953c6-749f-4d2d-9c5e-a25895602d18
  45. Jones, R., Clinch, S., Alexander, J., Davies, N., & Mikusz, M. (2015). ENGAGE: Early Insights in Measuring Multi-Device Engagements. In Proceedings of the 4th International Symposium on Pervasive Displays. (pp. 31-37). (PerDis '15). New York, NY, USA: ACM. DOI: 10.1145/2757710.2757720 . Publication link: caf53d8d-ae5f-46a4-bf0c-f5d731c9a4a2
  46. Korovin, K., Gottlob, G. (Ed.), Sutcliffe, G. (Ed.), & Voronkov, A. (Ed.) (2015). EPR-based k-induction with counterexample guided abstraction refinement. In G. Gottlob, G. Sutcliffe, & A. Voronkov (Eds.), Proceedings of Global Conference on Artificial Intelligence. (pp. 1-14). Easychair: EasyChair. . Publication link: 87050063-b913-4aa3-b996-1f98f0ba8cbe
  47. Rodchenko, A., Nisbet, A., Pop, A., & Lujan, M. (2015). Effective Barrier Synchronization on Intel Xeon Phi Coprocessor. In Euro-Par 2015: Parallel Processing - 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings. (Vol. 9233, pp. 588-600). (Lecture Notes in Computer Science). Berlin Heidelberg: Springer Verlag. DOI: 10.1007/978-3-662-48096-0_45, 10.1007/978-3-662-48096-0. Publication link: 4c517530-f46a-4cbc-acbd-457da8e23cb6
  48. Matentzoglu, N., Sattler, U., & Parsia, B. (2015). Empirical Investigation of Subsumption Test Hardness in Description Logic Classification. In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015... Publication link: 2aa9e3ef-1207-44bd-8821-48eac3865d30
  49. Loucopoulos, P., Stratigaki, C., Danesh, M. H., Bravos, G., Anagnostopoulos, D., & Dimitrakopoulos, G. (2015). Enterprise Capability Modeling: Concepts, Method and Application. In host publication.. Publication link: 1b193fb6-2413-4310-bf9c-04ab94428160
  50. Ananiadou, S., Kevin, C. (Ed.), Dina, D-F. (Ed.), Ananiadou, S. (Ed.), & Jun-ichi, T. (Ed.) (2015). Event Extraction in pieces: tackling the partial event identification problem on unseen corpora. In C. Kevin, D-F. Dina, A. Sophia, & T. Jun-ichi (Eds.), Biomedical Natural Language Processing. (pp. 31-41). ACL. . Publication link: e8d9ba07-9a62-454e-a111-5341b6e5beb8
  51. Frigau, M. S. (2015). Fair Decentralized Congestion and Awareness Control for Vehicular Networks. In Parallel and Distributed Systems (ICPADS), 2015 IEEE 21st International Conference. (pp. 172 - 180). IEEE Computer Society. . Publication link: dd6f02ff-e8d6-4e9c-a7f0-2239343f68d0
  52. Garza Gutierrez, K., Goble, C., Brooke, J., & Jay, C. (2015). Framing the Community Data System Interface. In Proceedings of the 2015 British HCI Conference. (pp. 269-270). (British HCI '15). ACM. DOI: 10.1145/2783446.2783605. Publication link: 342e1ce6-acca-4659-837a-2de62f7692af
  53. Reger, G., & Rydeheard, D. (2015). From first-order temporal logic to parametric trace slicing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Vol. 9333, pp. 216-232). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Verlag. DOI: 10.1007/978-3-319-23820-3_14. Publication link: 1975010f-0039-4bff-9018-be4e0f18fa12
  54. Sazonau, V., Sattler, U., & Brown, G. (2015). General Terminology Induction in OWL. In M. Arenas, O. Corcho, E. Simperl, M. Strohmaier, M. d'Aquin, K. Srinivas, P. Groth, M. Dumontier, J. Heflin, K. Thirunarayan, ... S. Staab (Eds.), The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I. (pp. 533-550). Springer Verlag. DOI: 10.1007/978-3-319-25007-6_31. Publication link: 35a951e1-50e6-4ade-9f38-4ce79d6435a8
  55. Al Shekaili, D., Fernandes, A., Paton, N., Fischer, P. M. (Ed.), Alonso, G. (Ed.), Arenas, M. (Ed.), & Geerts, F. (Ed.) (2015). Interpreting Linked Data Search Results using Markov Logic. In P. M. Fischer, G. Alonso, M. Arenas, & F. Geerts (Eds.), Proceedings of the Workshops of the {EDBT/ICDT} 2015 Joint Conference. (Vol. 1330). CEUR Workshop Proceedings. . Publication link: 557d194c-fcf9-45f7-8c5d-12981a49597a
  56. Casini, G., Meyer, T. A., Moodley, K., Sattler, U., & Varzinczak, I. J. (2015). Introducing Defeasibility into OWL Ontologies. In M. Arenas, O. Corcho, E. Simperl, M. Strohmaier, M. d'Aquin, K. Srinivas, P. G., M. Dumontier, J. Heflin, K. Thirunarayan, ... S. Staab (Eds.), The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. (pp. 409-426). DOI: 10.1007/978-3-319-25010-6_27. Publication link: dd8faf25-9067-46f5-a794-cff406659d37
  57. Nardi, L., Bodin, B., Zia, M. Z., Mawer, J., Nisbet, A., Kelly, P. H. J., ... Furber, S. (2015). Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM. In IEEE International Conference on Robotics and Automation (ICRA). (pp. 5783-5790). arXiv:1410.2167. DOI: 10.1109/ICRA.2015.7140009, 10.1109/ICRA.2015.7140009. Publication link: d22a3b43-fb53-42fe-8125-8d5ee7a8ade4
  58. Supakkul, S., Leite, J. P., Zhao, L., & Chung, L. (2015). Introduction to Workshop on Requirements Patterns. In Proceedings of 5th International Workshop on Requirements Patterns (RePa 2015).. Publication link: dc5ed617-0f2c-44bb-aa62-397115b7de09
  59. Xiao, H., Biggio, B., Brown, G., Fumera, G., Eckert, C., & Roli, F. (2015). Is Feature Selection Secure against Training Data Poisoning? In Proceedings of the 32nd International Conference on Machine Learning. International Conference on Machine Learning. . Publication link: 303fe3fb-1a28-482b-a0b8-e68d579185b6
  60. McNaught, J., & AlGahtani, S. (2015). Joint Arabic segmentation and part-of-speech tagging. In N. Habash, S. Vogel, & K. Darwish (Eds.), Proceedings of the Second Workshop on Arabic Natural Language Processing. (pp. 108-117). Stroudsburg, USA: Association for Computational Linguistics. . Publication link: fdfcf5e4-0bf6-4204-8122-d86938064082
  61. Koopmann, P., Schmidt, R. A., Dumontier, M. (Ed.), Glimm, B. (Ed.), Goncalves, R. (Ed.), Horridge, M. (Ed.), ... Stoilos, G. (Ed.) (2015). LETHE: A Saturation-Based Tool for Non-Classical Reasoning. In M. Dumontier, B. Glimm, R. Goncalves, M. Horridge, E. Jiménez-Ruiz, N. Matentzoglu, B. Parsia, G. Stamou, ... G. Stoilos (Eds.), Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015). (Vol. 1387). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 50b66532-e7c0-4dd8-9f78-b4da5572fbb3
  62. Orchard, G., Lagorce, X., Posch, C., Furber, S., Benosman, R., & Galluppi, F. (2015). Live demonstration: Real-time event-driven object recognition on SpiNNaker. In Proceedings - IEEE International Symposium on Circuits and Systems. (Vol. 2015-July, pp. 1903). [7169036] Institute of Electrical and Electronics Engineers Inc.. DOI: 10.1109/ISCAS.2015.7169036. Publication link: cbe4d10f-9472-49e0-a3e2-02850792ab24
  63. Davis, M., Fehnker, A., McIver, A., & Voronkov, A. (Eds.) (2015). Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. In Lecture Notes in Computer Science. (Vol. 9450). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-662-48899-7. Publication link: 366f04fd-23a7-46ae-a0be-59e162d42c60
  64. Apaolaza, A., Harper, S., & Jay, C. (2015). Longitudinal analysis of low-level Web interaction through micro behaviours. In Proceedings of the 26th ACM Conference on Hypertext and Social Media. (pp. 337-340). ACM. DOI: 10.1145/2700171.2804453. Publication link: 9ad0ca1d-d61a-4377-8920-c31f2e371a4a
  65. Reger, G., Cruz, H. C., & Rydeheard, D. (2015). MARQ monitoring at runtime with QEA. In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. (Vol. 9035, pp. 596-610). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9035). Springer Verlag. DOI: 10.1007/978-3-662-46681-0_55. Publication link: 272d7800-6a38-4791-9ea1-1f840263d219
  66. Mustafa, M. A., Zhang, N., Kalogridis, G., & Fan, Z. (2015). MUSP: A Multi-service, User Self-controllable and Privacy-preserving System for Smart Metering. In host publication. IEEE. . Publication link: 176556e1-fd8a-4235-bf03-1b066af96cc5
  67. Mendat, D. R., Chin, S., Furber, S., & Andreou, A. G. (2015). Markov Chain Monte Carlo inference on graphical models using event-based processing on the SpiNNaker neuromorphic architecture. In Information Sciences and Systems (CISS), 2015 49th Annual Conference on. (pp. 1-6). DOI: 10.1109/CISS.2015.7086903. Publication link: adffa7a6-aa6c-466f-9cdd-c0b7c6b11b19
  68. Sechidis, K., & Brown, G. (2015). Markov blanket discovery in positive-unlabelled and semi-supervised data. In Proceedings of European Conference, ECML PKDD 2015 Part 1. (Vol. 9284, pp. 351-366). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-319-23528-8_22. Publication link: 8b86eb6c-78e8-48c7-9044-07ca71071b29
  69. Schmidt, R. A., Waldmann, U., & De Nivelle, H. (Ed.) (2015). Modal Tableau Systems with Blocking and Congruence Closure. In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015). (Vol. 9323, pp. 38-53). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-319-24312-2_4. Publication link: 00c7d320-db73-4679-aec9-026f13483a98
  70. Reeve, H. W. J., & Brown, G. (2015). Modular Autoencoders for Ensemble Feature Extraction. In Journal of Machine Learning Research (Workshop & Conference Proceedings).. Publication link: fb707e04-f7de-4732-822a-d9d1e2e1c3e2
  71. Liu, G., Camilleri, P., Furber, S., & Garside, J. (2015). Network traffic exploration on a many-core computing platform: SpiNNaker real-time traffic visualiser. In 2015 11th Conference on Ph.D. Research in Microelectronics and Electronics, PRIME 2015. (pp. 228-231). [7251376] Institute of Electrical and Electronics Engineers Inc.. DOI: 10.1109/PRIME.2015.7251376. Publication link: f6156c7a-df67-4fde-b3fc-4ee2a9189a60
  72. Stevens, R., & Nogradi, A. (2015). OBOPedia: An Encyclopaedia of Biology Using OBO Ontologies. In host publication.. Publication link: fb01a1ef-12aa-461a-9ecd-b1324081c024
  73. Parvizi, A., Ren, Y., Vigo, M., van Deemter, K., Mellish, C., Pan, J. Z., ... Jay, C. (2015). Ontology Authoring Inspired By Dialogue. In Language and Ontologies.. Publication link: 74b77def-63f1-437d-9dd2-0f1b2e95efc1
  74. Mohammed, A. D., & Morris, T. (2015). Optical Flow Estimation Using Local Features. In Proceedings of the World Congress on Engineering. (Vol. 1). IAENG - International Association of Engineers. . Publication link: a3307be8-f8a1-4e85-9bac-88f4527b8e27
  75. Albogamy, F., Ramsay, A., Angelova, G. (Ed.), Bontcheva, K. (Ed.), & Mitkov, R. (Ed.) (2015). POS Tagging for Arabic Tweets. In G. Angelova, K. Bontcheva, & R. Mitkov (Eds.), Recent Advances in Natural Language Processing. (pp. 1-8). Publication link: 97a29128-0ac4-4431-ba11-f3bfcb37071a
  76. Voronkov, A., & Virbitskaite, I. (Eds.) (2015). Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. In Lecture Notes in Computer Science. (Vol. 8974). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-662-46823-4. Publication link: 5abfbb23-b0d3-4f77-b14a-c4eabae9bbc5
  77. Koch, D., Cheung, P. (Ed.), Luk, W. (Ed.), & Silvano, C. (Ed.) (2015). Placing partially reconfigurable stream processing applications on FPGAs. In P. Cheung, W. Luk, & C. Silvano (Eds.), Prooceedings of the 25th International Conference on Field Programmable Logic and Applications (FPL 2015). (pp. 1-4). IEEE. DOI: 10.1109/FPL.2015.7294001. Publication link: 61eee6a0-aa3a-4f3f-9864-234a5bd5369b
  78. Reger, G., Suda, M., & Voronkov, A. (2015). Playing with AVATAR. In A. Felty, & A. Middeldorp (Eds.), Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. (pp. 399-415). Springer International Publishing. DOI: 10.1007/978-3-319-21401-6_28. Publication link: 25714594-0a9f-426e-b382-f182cfe2f3a9
  79. Kotselidis, C., Rodchenko, A., Barrett, C., Nisbet, A., Mawer, J., Toms, W., ... Lujan, M. (2015). Project Beehive: A Hardware/Software Co-designed Stack for Runtime and Architectural Research. In host publication.. Publication link: e8a297f6-28db-4525-baf5-eda27a2a7f3d
  80. Koch, D., Shannon, L. (Ed.), & Andrews, D. (Ed.) (2015). Rapid Overlay Builder for Xilinx FPGA. In L. Shannon, & D. Andrews (Eds.), Prooceedings of the 23rd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2015. (Vol. 23, pp. 17-20). IEEE Computer Society. DOI: 10.1109/FCCM.2015.48. Publication link: 26f8e6ce-2589-4408-a0d1-25d9d4e6e2f9
  81. Orchard, G., Lagorce, X., Posch, C., Furber, S., Benosman, R., & Galluppi, F. (2015). Real-time event-driven spiking neural network object recognition on the SpiNNaker platform. In Proceedings - IEEE International Symposium on Circuits and Systems. (Vol. 2015-July, pp. 2413-2416). [7169171] Institute of Electrical and Electronics Engineers Inc.. DOI: 10.1109/ISCAS.2015.7169171. Publication link: 2787a546-f07e-4f12-8806-bed14b1a1bce
  82. Teh, P. S., Zhang, N., Teoh, A. B. J., & Chen, K. (2015). Recognizing Your Touch: Towards Strengthening Mobile Device Authentication via Touch Dynamics Integration. In 13th International Conference on Advances in Mobile Computing & Multimedia (MoMM2015). ACM. . Publication link: 288230fc-b5fe-425b-bf68-09e6cbcb6e21
  83. Erickson, A., Stewart, I. A., Kiasari, A., & Navaridas Palma, J. (2015). Routing Algorithms for Recursively-Defined Data Centre Networks. In host publication. IEEE. . Publication link: cba92e1d-a668-4764-8075-167a3d363365
  84. Prügel-Bennett, A., Rowe, J., Shapiro, J., He, J. (Ed.), Jansen, T. (Ed.), Ochoa, G. (Ed.), & Zarges, C. (Ed.) (2015). Run-Time Analysis of Population-Based Evolutionary Algorithm in Noisy Environments. In J. He, T. Jansen, G. Ochoa, & C. Zarges (Eds.), Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII, Aberystwyth, United Kingdom, January 17 - 20, 2015. (pp. 69-75). ACM Digital Library: ACM. DOI: 10.1145/2725494.2725498. Publication link: b0d1bb36-5d9d-4e0d-b6c4-3ddb0cdeb363
  85. Koopmann, P., Schmidt, R. A., Calvanese, D. (Ed.), & Konev, B. (Ed.) (2015). Saturation-Based Forgetting in the Description Logic SIF. In D. Calvanese, & B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics (DL-2015). (Vol. 1350). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 5fbd13ca-b557-46ce-9473-ae940c2be481
  86. Stromatias, E., Neil, D., Galluppi, F., Pfeiffer, M., Liu, S-C., & Furber, S. (2015). Scalable Energy-Efficient, Low-Latency Implementations of Spiking Deep Belief Networks on SpiNNaker. In host publication. IEEE. DOI: 10.1109/IJCNN.2015.7280625. Publication link: 00677202-ad82-4db3-88fd-1a80f7c049e0
  87. Falcone, Y., Nićković, D., Reger, G., & Thoma, D. (2015). Second international competition on runtime verification CRV 2015. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Vol. 9333, pp. 405-422). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Verlag. DOI: 10.1007/978-3-319-23820-3_27. Publication link: 99b2c7d2-1db8-45c5-aa24-72372ed8e399
  88. Sas, C., Challioner, S., Clarke, C., Wilson, R., Coman, A., Clinch, S., ... Davies, N. (2015). Self-Defining Memory Cues: Creative Expression and Emotional Meaning. In Extended Abstracts on Human Factors in Computing Systems: Works-in-Progress. (CHI EA 2015). ACM. DOI: 10.1145/2702613.2732842 . Publication link: 78e216be-95dc-4fe0-8171-f55c32db71e2
  89. Batista-Navarro, R. T., Carter, J., & Ananiadou, S. (2015). Semi-automatic curation of chronic obstructive pulmonary disease phenotypes using Argo. In Proceedings of the Fifth BioCreative Challenge Evaluation Workshop. (pp. 406-408). Seville, Spain. . Publication link: cd5f1641-f268-4bf0-b57e-d4ba558fc25a
  90. Banach, R., Van Schaik, P., & Verhulst, E. (2015). Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application. In FedCSIS IWCPS-15. (pp. 731-742). Publication link: 15b58033-047f-4b07-9149-8ad41ae57493
  91. Frigau, M. S. (2015). Social-based Forwarding in Multi-channel Vehicular Networks. In IEEE-ISCC Proceedings. IEEE. . Publication link: a51218ca-f8f0-4ba2-b290-9f32a1ad6b6d
  92. Goodacre, J. (2015). Starting a push towards European Exascale: exaNODE/exaNEST/ecoSCALE and more. In host publication.. Publication link: 7596c517-0f4f-4a13-8906-434e14b6123d
  93. Banach, R. (2015). Stochastic Analogues of Invariants: Martingales in Stochastic Event-B. In J. Filipe, & L. Maciaszek (Eds.), Proc. ENASE 2015. (pp. 238-243). SciTePress. . Publication link: 1a842086-4e60-40de-897b-9366e50bcefb
  94. Reger, G. (2015). Suggesting edits to explain failing traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Vol. 9333, pp. 287-293). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Verlag. DOI: 10.1007/978-3-319-23820-3_20. Publication link: 29301545-d95f-4f26-9273-e87a0d54d4f1
  95. Hang, F., & Zhao, L. (2015). Supporting End-User Service Composition: A Systematic Review of Current Activities and Tools. In Proceedings of the 22nd IEEE International Conference on Web Services. IEEE. . Publication link: 1fddca33-0947-4375-a9d0-b1722a37a33c
  96. Bakhsh, H., Zhang, N. Z., & Carpenter, A. (2015). TADL: A Trust-Aware Dynamic Location-Based Protocol Suite For Discovering Multiple Paths in MANETs. In 16th International Conference on Distributed Computing and Networking (ICDCN 2015). ACM. . Publication link: f1b00453-b439-4dba-9522-3eae4e368392
  97. Sazonau, V., & Sattler, U. (2015). TBox Reasoning in the Probabilistic Description Logic SHIQp. In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015... Publication link: 44806ee8-fb4c-4e2b-8a14-2718f2e6c9d2
  98. Bakhsh, H., Zhang, N., & Carpenter, A. (2015). Tadl-v2: An improved trust-aware dynamic location-based adaptation protocol for discovering multiple paths in MANETs. In the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous2015). ACM. DOI: 10.4108/eai.22-7-2015.2260248. Publication link: 2a4958c1-91de-49a0-a28f-307afb4611fa
  99. Wohl, B., Porter, B., & Clinch, S. (2015). Teaching Computer Science to 5-7 Year-olds: An Initial Study with Scratch, Cubelets and Unplugged Computing. In Proceedings of the Workshop in Primary and Secondary Computing Education. (pp. 55-60). (WiPSCE '15). New York, NY, USA: ACM. DOI: 10.1145/2818314.2818340. Publication link: c4c8c018-74ec-4df5-b927-631dfe2e1578
  100. Mohammad, S., & Morris, T. (2015). Texture Analysis for Glaucoma Classification. In host publication. (pp. 98-103). IEEE. DOI: 10.1109/ICBAPS.2015.7292226. Publication link: 5efa2b9e-fb29-4480-92b3-a18d81e96b32
  101. Jaf, S., & Ramsay, A. (2015). The Application of Constraint Rules to Data-driven Parsing. In G. Angelova, K. Bontcheva, & R. Mitkov (Eds.), Proceedings of Recent Advances in Natural Language Processing: Hissar, Bulgaria, Sep 7–9 2015. (pp. 232-238). Publication link: c8ab6b71-7ff8-4563-ad49-5681a8f4a219
  102. Jaf, S., & Ramsay, . U. (2015). The Selection of Classifiers for a Data-driven Parser. In The 12th International Workshop on Natural Language Processing and Cognitive Science. Poland. . Publication link: 0de65bea-6e6f-4ed5-a7cf-66a7dc82fa78
  103. Dalton, N. S., Marshall, P., Dalton, R. C., Peverett, I., Clinch, S., & Davies, N. (2015). Three Dimensional Isovists for the Study of Public Displays. In Proceedings of 10th International Space Syntax Conference. (SSS10).. Publication link: 3ac6d3c3-ffbf-462b-8fa7-66d836d6d8e5
  104. Albogamy, F., & Ramsay, A. (2015). Towards POS Tagging for Arabic Tweets. In Noisy User-generated Text Workshop. Beijing. . Publication link: c34834c6-c2cb-46e8-955c-bca0b18391e1
  105. Fayoumi, A., Kavakli, E., & Loucopoulos, P. (2015). Towards a Unified Meta-model for Goal Oriented Modeliing. In host publication.. Publication link: 45a2994d-f7a0-4a7b-a724-b779640756b4
  106. Almutairi, Y., Lambrou, T. (Ed.), & Ye, X. (Ed.) (2015). Tracking Collagen Fibres through Image Volumes from SBFSEM. In T. Lambrou, & X. Ye (Eds.), Tracking Collagen Fibres through Image Volumes from SBFSEM. (pp. 40-45). UK: MIUA 2015. 19th Annual Conference, BMVA. . Publication link: 5a461d5a-f723-48ad-a97e-d6f12063aea5
  107. Rast, A., Stokes, A. B., Davies, S., Adams, S. V., Akolkar, H., Lester, D. R., ... Furber, S. (2015). Transport-Independent Protocols for Universal AER Communications. In Neural Information Processing. (Vol. 9492, pp. 675-684). (Lecture Notes in Computer Science). Springer International Publishing Switzerland: Springer International Publishing. DOI: 10.1007/978-3-319-26561-2_79. Publication link: d2da9593-6225-4658-81b1-5f73a67c619f
  108. Memarovic, N., Clinch, S., & Alt, F. (2015). Understanding Display Blindness in Future Display Deployments. In Proceedings of the 4th International Symposium on Pervasive Displays. (pp. 7-14). (PerDis '15). New York, NY, USA: ACM. DOI: 10.1145/2757710.2757719 . Publication link: 3883ebfd-ea3c-4d7b-a160-4c1eacf21e4e
  109. Clinch, S., Mikusz, M., & Davies, N. (2015). Understanding Interactions Between Multiple Wearable Cameras for Personal Memory Capture. In Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications. (HotMobile '15). ACM. . Publication link: 34f5e4f3-795c-4350-87d3-53b860187c07
  110. Koopmann, P., Schmidt, R. A., Bonet, B. (Ed.), & Koenig, S. (Ed.) (2015). Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. In B. Bonet, & S. Koenig (Eds.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. (pp. 175-181). AAAI Press. . Publication link: 9538bbbe-09ef-4d8f-9bb6-093dec1420e5
  111. Batista-Navarro, R. T., Ulate, W., Hammock, J., Kontonatsios, G., Rose-Sandler, T., & Ananiadou, S. (2015). Unlocking knowledge in biodiversity legacy literature through automatic semantic metadata extraction. In Proceedings of the TDWG 2015 Annual Conference.. Publication link: 07e7da04-a24a-4718-b591-9206bdc0c1fe
  112. Dalton, R. C., Dalton, N. S., Peverett, I., Clinch, S., & Davies, N. (2015). Using Laser Scanning to Produce 3D Isovists of Real Environments. In Proceedings of 10th International Space Syntax Conference. (SSS10).. Publication link: bb8fcbc6-0868-4d05-8c15-abc449f7128d
  113. Lee, M., Matentzoglu, N., Sattler, U., & Parsia, B. (2015). Verifying Reasoner Correctness - A Justication Based Method. In Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015.. (pp. 46-52). Publication link: 02b124f5-beef-485b-9046-cce03447da27
  114. Pietri, I., Shepherd, D., & Sakellariou, R. (2015). Workflow Scheduling on Power Constrained VMs. In host publication.. Publication link: 6f4cbb3a-0bcd-4146-a720-82eac49804db
  115. Evans, M., Kerlin, L., & Jay, C. (2015). “I Woke Up as a Newspaper”: Designing-in Interaction Analytics. In CHI '15 Extended Abstracts on Human Factors in Computing Systems.. ACM. . Publication link: 65534fd0-db80-42e5-a6bc-7519cd9de1dd
Article
  1. Bollegala, D., Kontonatsios, G., & Ananiadou, S. (2015). A Cross-lingual Similarity Measure for Detecting Biomedical Term Translations. P L o S One. DOI: 10.1371/journal.pone.0126196. Publication link: 35dfb126-e11a-43d0-8647-cd542339633f
  2. Kotelnikov, E., Kovács, L., & Voronkov, A. (2015). A First Class Boolean Sort in First-Order Theorem Proving and TPTP. CoRR, abs/1505.01682. . Publication link: d450e201-3399-4944-809a-b3a8ede55bd1
  3. Meng, F-L., & Zeng, X-J. (2015). A Profit Maximization Approach to Demand Response Management with Customers Behavior Learning in Smart Grid. I E E E Transactions on Smart Grid, 7(3), 1516-1529. DOI: 10.1109/TSG.2015.2462083. Publication link: c95337d7-a8cf-4389-861c-89bab2356f0b
  4. Callaghan, M., Parkes, M., Hutchinson, C., Gait, A., Forsythe, L., Marjanovic, E., ... Felson, D. (2015). A Randomized Trial of a Brace for Patellofemoral Osteoarthritis Targeting Knee Pain and Bone Marrow Lesions. Annals of the rheumatic diseases, 74(6), 1164-1170. DOI: 10.1136/annrheumdis-2014-206376 . Publication link: 357fe72b-33f8-4d07-88d7-f767c07f6caa | PubMed:25596158
  5. Sun, J., Wang, X., Zhao, L., Cai, Z., & Li, S. (2015). A Systematic Quality Requirements Analysis Approach. Journal of Software. . Publication link: 351b254f-9db8-43d2-8061-0df843562e79
  6. Galluppi, F., Lagorce, X., Stromatias, E., Pfeiffer, M., Plana, L. A., Furber, S. B., & Benosman, R. B. (2015). A framework for plasticity implementation on the SpiNNaker neural architecture. Frontiers in Neuroscience, 8(429), [429]. DOI: 10.3389/fnins.2014.00429. Publication link: 9c7dec01-f440-4b88-bb1c-974c8d9c1339
  7. Almagrabi, H., Malibari, A., & McNaught, J. (2015). A survey of quality prediction of product reviews. International Journal of Advanced Computer Science and Applications, 6(11), 49-58. [7]. DOI: 10.14569/IJACSA.2015.061107. Publication link: 30562523-51ea-42f8-9351-e0dca4c8e773
  8. Donfack, S., Dongarra, J., Faverge, M., Gates, M., Kurzak, J., Luszczek, P., & Yamazaki, I. (2015). A survey of recent developments in parallel implementations of Gaussian elimination. Concurrency and Computation: Practice & Experience, 27(5), 1292-1309. DOI: 10.1002/cpe.3306. Publication link: ffad6dd4-85e1-4742-b818-c09bc4e119d2
  9. Anzt, H., Tomov, S., Luszczek, P., Sawyer, W., & Dongarra, J. (2015). Acceleration of GPU-based Krylov solvers via data transfer reduction. International Journal of High Performance Computing Applications, 29(3), 366-383. DOI: 10.1177/1094342015580139. Publication link: 82369bb9-0b0f-43fd-9524-0be8273176de
  10. Hopkins, M., & Furber, S. (2015). Accuracy and Efficiency in Fixed-Point Neural ODE Solvers. Neural Computation, 27, 2148-2182. DOI: 10.1162/NECO_a_00772. Publication link: 078f61b7-0e23-4911-8e1f-0a849be06b32
  11. Miwa, M., & Ananiadou, S. (2015). Adaptable, High Recall, Event Extraction System with Minimal Configuration. B M C Bioinformatics, 16(10:S7), [PMID: 26201408]. DOI: 10.1186/1471-2105-16-S10-S7. Publication link: d00e2b91-d57d-423e-9cdc-1b0a875ee606
  12. Fraccaro, P., Casteleiro, M. A., Ainsworth, J., & Buchan, I. (2015). Adoption of clinical decision support in multimorbidity: a systematic review.JMIR medical informatics, 3(1). DOI: 10.2196/medinform.3503. Publication link: 7f2e2e8c-6dac-46c6-865f-34c3eb6a3ea8 | PubMed:25785897
  13. Bouteiller, A., Herault, T., Bosilca, G., Du, P., & Dongarra, J. (2015). Algorithm-based Fault Tolerance for Dense Matrix Factorizations, Multiple Failures and Accuracy. ACM Transactions on Parallel Computing, 1(2). DOI: 10.1145/2686892. Publication link: f87e5110-782e-495c-a941-d16d82da0dc9
  14. Duck, G., Kovacevic, A., Robertson, D. L., Stevens, R., & Nenadic, G. (2015). Ambiguity and variability of database and software names in bioinformatics. Journal of Biomedical Semantics, 6, [29]. DOI: 10.1186/s13326-015-0026-0. Publication link: dd026a12-fa1c-4cf8-9f87-934e4f36c739
  15. Aleksic, J., Alexa, A., Attwood, T. K., Chue, H. N., Dahlö, M., Davey, R., ... Vieira, B. M. (2015). An open science peer review oath.F1000Research, 3, 271. DOI: 10.12688/f1000research.5686.2. Publication link: 856dd408-f093-4ea9-8e21-862cd38fae63
  16. Bongo, L. A., Ciegis, R., Frasheri, N., Gong, J., Kimovski, D., Kropf, P., ... Wyrzykowski, R. (2015). Applications for Ultrascale Computing. Supercomputing Frontiers and Innovations. DOI: 10.14529/jsfi150102. Publication link: 046b389a-44f0-4eda-8a89-55bece298fbd
  17. Herrmann, J., Bosilca, G., Hérault, T., Marchal, L., Robert, Y., & Dongarra, J. (2015). Assessing the cost of redistribution followed by a computational kernel: Complexity and performance results. Parallel Computing, 52, 22-41. DOI: 10.1016/j.parco.2015.09.005. Publication link: 96803956-02de-4295-abec-2a4d54d5cc1c
  18. Haidar, A., Dong, T., Luszczek, P., Tomov, S., & Dongarra, J. (2015). Batched matrix computations on hardware accelerators based on GPUs. International Journal of High Performance Computing Applications, 29(2), 193-208. DOI: 10.1177/1094342014567546. Publication link: 3b928883-2575-424b-9c5c-93c76c117dd7
  19. Xu, Y., Chen, L., Wei, J., Ananiadou, S., Fan, Y., Qian, Y., ... Tsujii, J. (2015). Bilingual term alignment from comparable corpora in English discharge summary and Chinese discharge summary. B M C Bioinformatics, 16, [149]. DOI: 10.1186/s12859-015-0606-0. Publication link: daecf9c4-1897-42e9-bcf2-937613e6fee2
  20. Villaverde, A. F., Henriques, D., Smallbone, K., Bongard, S., Schmid, J., Cicin-Sain, D., ... Banga, J. R. (2015). BioPreDyn-bench: a suite of benchmark problems for dynamic modelling in systems biology. B M C Systems Biology, 9, [8]. DOI: 10.1186/s12918-015-0144-4. Publication link: 92b25c73-12c9-4565-b831-53a05e3202c0
  21. Korkontzelos, I., Piliouras, D., Dowsey, A. W., & Ananiadou, S. (2015). Boosting Drug Named Entity Recognition Using an Aggregate Classifier. Artificial Intelligence in Medicine, 65(2), 145–153. DOI: 10.1016/j.artmed.2015.05.007. Publication link: bbe69443-386a-46bd-8378-fadc7f56ef3a
  22. Furber, S. B. (2015). Brain-Inspired Computing. I E T Computers and Digital Techniques. DOI: 10.1049/iet-cdt.2015.0171. Publication link: 3872a2a0-9002-409d-9857-2db17bb6f8c1
  23. Lagorce, X., Stromatias, E., Galluppi, F., Plana, L. A., Liu, S-C., Furber, S. B., & Benosman, R. B. (2015). Breaking the millisecond barrier on SpiNNaker: implementing asynchronous event-based plastic models with microsecond resolution. Frontiers in Neuroscience, 9(206). DOI: 10.3389/fnins.2015.00206. Publication link: 9de368af-6d59-45af-bdba-c6d28bec29fd
  24. Nikolaou, N., & Brown, G. (2015). Calibrating AdaBoost for Asymmetric Learning. Lecture Notes in Computer Science, 9132, 112-124. DOI: 10.1007/978-3-319-20248-8_10. Publication link: 8a685435-fab5-4342-bc13-c85268d06696
  25. Bērziša, S., Bravos, G., Gonzalez, T., Czubayko, U., España, S., Grabis, J., ... Zdravkovic, J. (2015). Capability Driven Development: an Approach to Designing Digital Enterprises. Business & Information Systems Engineering, 57(1), 15-25. DOI: 10.1007/s12599-014-0362-0. Publication link: 9aca07da-389d-4a97-b6e8-90f61585d6c2
  26. Hastings, J., Owen, G., Dekker, A., Ennis, M., Kale, N., Muthukrishnan, V., ... Steinbeck, C. (2015). ChEBI in 2016: Improved services and an expanding collection of metabolites. Nucleic Acids Research. DOI: 10.1093/nar/gkv1031. Publication link: 33458f15-1965-4076-bf12-555b196c7e16
  27. Williams, K., Bilsland, E., Sparkes, A., Aubrey, W., Young, M., Soldatova, L. N., ... King, R. D. (2015). Cheaper Faster Drug Development Validated by the Repositioning of Drugs Against Neglected Tropical Diseases. Journal of the Royal Society. Interface, 12(104). DOI: 10.1098/rsif.2014.1289, 10.1098/rsif.2014.1289. Publication link: d867d453-0d84-432d-b740-5184a8b59f7c
  28. Dehghan, A., Kovacevic, A., Karystianis, G., Keane, J. A., & Nenadic, G. (2015). Combining knowledge- and data-driven methods for de-identification of clinical narratives. Journal of Biomedical Informatics, 58(Supplement), S53-S59. DOI: 10.1016/j.jbi.2015.06.029. Publication link: 4bf61a22-35af-41f8-9b2c-33bda9c2e992
  29. Bosilca, G., Bouteiller, A., Herault, T., Robert, Y., & Dongarra, J. (2015). Composing resilience techniques: ABFT, periodic and incremental checkpointing. International Journal of Networking and Computing, 5(1), 2-25. . Publication link: 0e942f3a-fd66-49bc-b9e4-4ca12d2c1be1
  30. Madl, T., Chen, K., Montaldi, D., & Trappl, R. (2015). Computational cognitive models of spatial memory in navigation space: A review. Neural Networks, 65, 18-43. DOI: doi:10.1016/j.neunet.2015.01.002, 10.1016/j.neunet.2015.01.002. Publication link: d444db8e-4c77-4f9c-bef9-e76c12de87b4 | PubMed:25659941
  31. Yamazaki, I., Tomov, S., & Dongarra, J. (2015). Computing Low-Rank Approximation of a Dense Matrix on Multicore CPUs with a GPU and Its Application to Solving a Hierarchically Semiseparable Linear System of Equations. Scientific Programming, 2015, [246019]. DOI: 10.1155/2015/246019. Publication link: 2cc1a1b9-1738-436f-9a19-2015e62391e9
  32. Schalk, A., & Steele, H. P. (2015). Constructing Fully Complete Models of Multiplicative Linear Logic. Logical Methods in Computer Science, 11(3), 1-72. DOI: 10.2168/LMCS-11(3:6)2015. Publication link: 32ae3695-fc68-4107-8b1a-1e1d8e71df39
  33. Wu, C., Schwartz, J. M., Brabant, G., Peng, S. L., & Nenadic, G. (2015). Constructing a molecular interaction network for thyroid cancer via large-scale text mining of gene and pathway events.BMC Systems Biology, 9(Suppl 6), S5. DOI: doi:10.1186/1752-0509-9-S6-S5. Publication link: 00b827f0-9f30-4f9a-9e10-31cd100ba003 | PubMed:26679379
  34. Nenadic, G. (2015). Contextualisation of Biomedical Knowledge through Large-scale Processing of Literature, Clinical Narratives and Social Media. Lecture Notes in Computer Science, 9105, 7-9. DOI: 10.1007/978-3-319-19551-3_2. Publication link: 98f5e4bb-75b1-4747-add6-141899c150a8
  35. Siraj, S., Mikhailov, L., & Keane, J. A. (2015). Contribution of individual judgments toward inconsistency in pairwise comparisons. European Journal of Operational Research, 242(2), 557-567. DOI: 10.1016/j.ejor.2014.10.024, 10.1016/j.ejor.2014.10.024. Publication link: 19163a63-5477-438f-8b30-4b0aea188d3d
  36. Banach, R., Butler, M., Qin, S., Verma, N., & Zhu, H. (2015). Core Hybrid Event-B I: Single Hybrid Event-B Machines. Science of Computer Programming, 105, 92-123. . Publication link: 9e9aade2-d572-4ac6-b1e8-59130042290d
  37. Hasegawa, T., Kimura, S., Abukawa, T., Valiullin, A. A., Kamzin, A. S., Barton, C., ... Ishio, S. (2015). Correlation between magnetic phase transition temperatures and lattice distortions in L1o FePtRh thin films. Journal of the Japan Institute of Metals and Materials, 79(9), 423-428. DOI: 10.2320/jinstmet.JAW201501. Publication link: 7c0cfaba-76a9-493a-99dd-b222264aa762
  38. Bollegala, D., Mu, T., & Goulermas, J. Y. (2015). Cross-Domain Sentiment Classification Using Sentiment Sensitive Embeddings. IEEE Transactions on Knowledge and Data Engineering (TKDE), 28(2), 398-410. DOI: 10.1109/TKDE.2015.2475761. Publication link: 4a66a6ad-246c-41ee-a162-c47d3b745ab0
  39. Dimitriadis, A., Kirkby, K. J., Nisbet, A., & Clark, C. H. (2015). Current status of cranial stereotactic raDiosurgery in the UK. British Journal of Radiology, 89(1058), [20150452]. DOI: 10.1259/bjr.20150452. Publication link: 4a3ba0b8-27dd-4924-acb3-5729491cdf6c | PubMed:26689091
  40. Pettifer, S., & MANUEL, C. O. R. P. A. S. (2015). Cutting Edge: Anatomy of BioJS, an open source community for the life sciences. eLife, 4, [e07009]. DOI: 10.7554/eLife.07009. Publication link: 5aeeb33f-406e-48b1-b440-3c80082d1fa9
  41. Cakmakci, Y., Toms, W., Navaridas Palma, J., & Lujan, M. (2015). Cyclic Power-Gating as an Alternative to Voltage and Frequency Scaling. I E E E Computer Architecture Letters. DOI: 10.1109/LCA.2015.2478784. Publication link: c9555a6a-266b-42a3-9ee2-7f5a9c8e2d49
  42. Mustafa, M. A., Zhang, N., Kalogridis, G., & Fan, Z. (2015). DEP2SA: A Decentralised Efficient Privacy-Preserving and Selective Aggregation Scheme in Advanced Metering Infrastructure. I E E E Access, 3, 2828-2846. DOI: 10.1109/ACCESS.2015.2506198. Publication link: 35b105dd-66b0-4223-af0a-b3572a7b253f
  43. Sampaio, S. F. M., Dong, C., & Sampaio, P. (2015). DQ2S- A framework for data quality-aware information management. Expert Systems with Applications, 42(21), 8304-8326. DOI: 10.1016/j.eswa.2015.06.050. Publication link: a146a462-7b73-4f10-8e69-9e89e49d0cd2
  44. Talbot, J. E., Kalezhi, J., & Miles, J. (2015). Determining the Anisotropy of Bit-Patterned Media for Optimal Performance. Magnetics, IEEE Transactions on, 51(11), 1-4. DOI: 10.1109/TMAG.2015.2441134. Publication link: b99b191a-bca7-4b21-ac09-9d2f187eedc5
  45. Galloway, J. M., Talbot, J. E., Critchley, K., Miles, J. J., & Bramble, J. P. (2015). Developing Biotemplated Data Storage: Room Temperature Biomineralization of L10 CoPt Magnetic Nanoparticles. Advanced Functional Materials, 25(29), 4590-4600. DOI: 10.1002/adfm.201501090. Publication link: 606c8065-d4af-4905-995a-6ff711d1f2bd
  46. Kyle, D. J., Oikonomou, A., Hill, E., & Bayat, A. (2015). Development and functional evaluation of biomimetic silicone surfaces with hierarchical micro/nano-topographical features demonstrates favourable in vitro foreign body response of breast-derived fibroblasts. Biomaterials, (52), 88-102. DOI: 10.1016/j.biomaterials.2015.02.003. Publication link: 77acb705-80f5-48df-bf70-048c435e2606
  47. Stoney, R., Ames, R., Nenadic, G., Robertson, D., & Schwartz, J. M. (2015). Disentangling the multigenic and pleiotropic nature of molecular function. BMC Systems Biology, 9(Suppl 6), S3. DOI: 10.1186/1752-0509-9-S6-S3. Publication link: 847f8679-0c1d-4cff-908d-3adb6d55947e | PubMed:26678917
  48. Büttner, F., Moutafis, C., Schneider, M., Krüger, B., Günther, C. M., Geilhufe, J., ... Eisebitt, S. (2015). Dynamics and inertia of skyrmionic spin structures. Nature Physics, 11, 225-228. DOI: 10.1038/nphys3234. Publication link: 9e5dc94d-a03e-456a-8f7d-d140ca29afa3
  49. De Giovanni, R., Williams, A., Hernandez Ernst, V., Kulawik, R., Quevedo Fernandez, F., & Hardisty, A. (2015). ENM Components: a new set of web service-based workflow components for ecological niche modelling. Ecography, 39(4), 376-383. DOI: 10.1111/ecog.01552. Publication link: a5bbbca5-3314-4f67-8b06-c452929b726e
  50. Velicky, M., Bissett, M., Toth, P., Patten, H., Worrall, S., Rodgers, A., ... Dryfe, R. (2015). Electron transfer kinetics on natural crystals of MoS2 and graphite. Physical Chemistry Chemical Physics, 17(27), 17844-17853. DOI: 10.1039/c5cp02490k. Publication link: 676ba053-733c-419f-841b-071b0d50023b
  51. Belhajjame, K., Paton, N. W., Hedeler, C., & Fernandes, A. A. A. (2015). Enabling Community-Driven Information Integration Through Clustering. Distributed and Parallel Databases, 33(1), 33-67. DOI: 10.1007/s10619-014-7160-z. Publication link: 00860954-d7fd-4af1-848f-56442aa6c115
  52. Kieronski, E., Pratt-Hartmann, I., & Tendera, L. (2015). Equivalence closure in the two-variable guarded fragment. Journal of Logic and Computation. DOI: 10.1093/logcom/exv075. Publication link: ea4f5719-22e7-4b85-ab78-b9214a34f4cb
  53. Ananiadou, S., Thompson, P., Nawaz, R., McNaught, J., & Kell, D. (2015). Event-based text mining for biology and functional genomics. Briefings in Functional Genomics, 14(3), 213-30. DOI: 10.1093/bfgp/elu015. Publication link: 9284975e-2b46-4311-b108-476722f296f5 | PubMed:24907365
  54. Reed, D. A., & Dongarra, J. (2015). Exascale computing and big data. Communications of the ACM, 58(7), 56-68. DOI: 10.1145/2699414. Publication link: 3a032989-d9ff-4058-9be4-ea07bf5b16ac
  55. Morrison, C., Miles, J. J., Nguyen, T. N. A., Fang, Y., Dumas, R. K., Åkerman, J., & Thomson, T. (2015). Exchange coupling in hybrid anisotropy magnetic multilayers quantified by vector magnetometry. Journal of Applied Physics, 117(17). DOI: 10.1063/1.4917336. Publication link: ff3605be-33fe-4bfd-ab9d-99e1f1c0f4d6
  56. Anzt, H., Haugen, B., Kurzak, J., Luszczek, P., & Dongarra, J. (2015). Experiences in autotuning matrix multiplication for energy minimization on GPUs. Concurrency and Computation: Practice & Experience, 27(17), 5096-5113. DOI: 10.1002/cpe.3516. Publication link: c2576571-34c9-4ea1-a8ea-4b574fd19fe3
  57. Yesilada, Y., Brajnik, G., Vigo, M., & Harper, S. (2015). Exploring perceptions of web accessibility: a survey approach. Behaviour \& Information Technology, 34(2), 119-134. DOI: 10.1080/0144929X.2013.848238. Publication link: 0c31f580-14e2-4112-8e45-ab2b746ce706
  58. Eraslan, S., Yesilada, Y., & Harper, S. (2015). Eye Tracking Scanpath Analysis Techniques on Web Pages: A Survey, Evaluation and Comparison. The Journal of Eye Movement Research, 9(1), 1-19. [2]. DOI: 10.16910/jemr.9.1.2. Publication link: 55c8ab6e-de4f-47b1-acfa-b345177d537b
  59. Mendes, P., Oliver, S. G., & Kell, D. B. (2015). Fitting transporter activities to cellular drug concentrations and fluxes: why the bumblebee can fly. Trends in Pharmacological Sciences, 36(11), 710-723. DOI: 10.1016/j.tips.2015.07.006. Publication link: cd2b707e-5dad-4374-b710-c7ec64c0e5ae
  60. Stetco, A., Zeng, X., & Keane, J. (2015). Fuzzy C-means++: Fuzzy C-means with effective seeding initialization. Expert Systems with Applications, 42(21), 7541-7548. DOI: 10.1016/j.eswa.2015.05.014. Publication link: b9ddb6e1-4922-420c-b99b-9be6f4c1aebd
  61. Fu, X., Zeng, X-J., Wang, D., Xu, D., & Yang, L. (2015). Fuzzy system approaches to negotiation pricing decision support. Journal of Intelligent and Fuzzy Systems, 29(2), 685-699. DOI: 10.3233/IFS-141410. Publication link: 451b7216-3cf9-4085-ad83-8837da4b4e64
  62. Attwood, T. K., Bongcam-Rudloff, E., Brazas, M. E., Corpas, M., Gaudet, P., Lewitter, F., ... GOBLET Consortium (2015). GOBLET: the Global Organisation for Bioinformatics Learning, Education and Training. P L o S Computational Biology (Online), 11(4), [e1004143]. DOI: 10.1371/journal.pcbi.1004143. Publication link: 47a46c4e-4bd3-41bd-8b14-6758629ad609
  63. Singh, A., Auton, G., Hill, E., & Song, A. (2015). Graphene based ballistic rectifiers. Carbon, 84, 124-129. DOI: 10.1016/j.carbon.2014.11.064. Publication link: 25468142-a064-4756-bb42-1b516d53f792
  64. Abel, E., Mikhailov, L., & Keane, J. (2015). Group Aggregation of Pairwise Comparisons using Multi-Objective Optimization. Information Sciences, 322(20), 257-275. DOI: 10.1016/j.ins.2015.05.027. Publication link: dac2204c-3761-4925-992c-0edd1791a3ec
  65. Ford, R. W., Glover, M. J., Ham, D. A., Maynard, C. M., Pickles, S. M., Riley, G. D., & Wood, N. (2015). Gung Ho: A code design for weather and climate prediction on exascale machines. Advances in Engineering Software. . Publication link: ee9a84a8-b818-4106-9c44-f38c6f76a1cd
  66. Dongarra, J., Gates, M., Haidar, A., Jia, Y., Kabir, K., Luszczek, P., & Tomov, S. (2015). HPC Programming on Intel Many-Integrated-Core Hardware with MAGMA Port to Xeon Phi. Scientific Programming, 2015, [502593]. DOI: 10.1155/2015/502593. Publication link: cb9f106e-b2cf-49d0-b208-e166cf365592
  67. Liao, H., Xu, Z., & Zeng, X-J. (2015). Hesitant Fuzzy Linguistic VIKOR Method and Its Application in Qualitative Multiple Criteria Decision Making. I E E E Transactions on Fuzzy Systems, 23(5), 1343-1355. DOI: 10.1109/TFUZZ.2014.2360556. Publication link: 5abb75f0-8b09-4c52-a0b0-b5ad3a7c185b
  68. Alahmadi, D., & Zeng, X-J. (2015). ISTS: Implicit social trust and sentiment based approach to recommender systems. Expert Systems with Applications, 42(22), 8840-8849. DOI: 10.1016/j.eswa.2015.07.036. Publication link: 5262cd42-f3f0-49cf-80a7-a868f160c45c
  69. Kwok, C. S., Anderson, S. G., Mcallister, K., Sperrin, M., O'Kane, P. D., Keavney, B., ... Mamas, M. A. (2015). Impact of age on the prognostic value of left ventricular function in relation to procedural outcomes following percutaneous coronary intervention: insights from the British Cardiovascular Intervention Society.Catheterization and Cardiovascular Interventions, 85(6). DOI: 10.1002/ccd.25732. Publication link: 8358f694-1446-4520-8219-d6617af178a7 | PubMed:25408308
  70. Pedrosa Mendes, P., Millard, P., Portais, J-C., & Mendes, P. (2015). Impact of kinetic isotope effects in isotopic studies of metabolic systems. B M C Systems Biology, 9, [64]. DOI: 10.1186/s12918-015-0213-8. Publication link: 8936585a-3e74-4163-85fc-3c54cbaefb8d
  71. Roberts, J., & Chen, K. (2015). Learning-Based Procedural Content Generation. IEEE Transactions on Computational Intelligence and A I in Games, 7(1), 88-101. DOI: 10.1109/TCIAIG.2014.2335273. Publication link: 8c078f1c-e9f8-4f48-9acc-30acd9990cea
  72. Quesada-Martinez, M., Fernandez-Breis, J. T., & Stevens, R. (2015). Lexical Characterisation of Bio-Ontologies by the Inspection of Regularities in Labels. Current Bioinformatics, 10(2), 165-176. DOI: 10.2174/157489361002150518124739. Publication link: f738f26e-62c7-4102-8942-e091b1cbd7b8
  73. Ellis, L. B. M., & Attwood, T. K. (2015). Longevity of biological databases. Unknown Journal. DOI: 10.14806/ej.21.0.803. Publication link: 08fd1f89-7c22-4c2a-9bd9-c7919975c772
  74. Barton, C. W., & Thomson, T. (2015). Magnetisation reversal in anisotropy graded Co/Pd multilayers. Journal of Applied Physics, 118, [063901]. DOI: 10.1063/1.4927726. Publication link: 0b3337a2-48e2-4ed9-b03b-262870412dac
  75. Leidenberger, S., De Giovanni, R., Kulawik, R., Williams, A., & Bourlat, S. J. (2015). Mapping present and future potential distribution patterns for a meso-grazer guild in the Baltic Sea. Journal of Biogeography, 42(2), 241-254. DOI: 10.1111/jbi.12395. Publication link: 86a5660c-056b-443c-94e0-2ebba5156433
  76. Brown, G., & Nogueira, S. (2015). Measuring the Stability of Feature Selection with Applications to Ensemble Methods. Lecture Notes in Computer Science, 9132, 135-146. DOI: 10.1007/978-3-319-20248-8_12. Publication link: 9b6e7cd9-9983-4490-a374-53b9ad9aa02d
  77. Yamazaki, I., Tomov, S., & Dongarra, J. (2015). Mixed-precision cholesky QR factorization and its case studies on multicore CPU with multiple GPUs. SIAM Journal on Scientific Computing, 37(3), C307-C330. DOI: 10.1137/14M0973773. Publication link: 10544211-4a6c-4b54-a846-4864b8cc3436
  78. Faverge, M., Herrmann, J., Langou, J., Lowery, B., Robert, Y., & Dongarra, J. (2015). Mixing LU and QR factorization algorithms to design high-performance dense linear algebra solvers. Journal of Parallel and Distributed Computing, 85, 33-46. DOI: 10.1016/j.jpdc.2015.06.007. Publication link: 3901dc0e-4ae0-4a67-a637-5e45ddcd0fe5
  79. Wohlhüter, P., Bryan, M. T., Warnicke, P., Gliga, S., Stevenson, S. E., Heldt, G., ... Heyderman, L. J. (2015). Nanoscale switch for vortex polarization mediated by Bloch core formation in magnetic hybrid systems. Nature communications, 6, [7836]. DOI: 10.1038/ncomms8836. Publication link: b52ef4aa-e737-4309-9d39-d01476a758cc
  80. Liao, H., Xu, Z., & Zeng, X-J. (2015). Novel correlation coefficients between hesitant fuzzy sets and their application in decision making. Knowledge-Based Systems, 82, 115-127. DOI: 10.1016/j.knosys.2015.02.020. Publication link: 82ef47af-f1c5-41d7-856e-7e85da141a71
  81. Brown, G. (2015). On Unifiers, Diversifiers, and the Nature of Pattern Recognition. Pattern Recognition Letters, 64, 11-20. DOI: 10.1016/j.patrec.2015.04.014. Publication link: f807f6c3-2689-46c6-be09-ec152fa771aa
  82. Alsubait, T., Parsia, B., & Sattler, U. (2015). Ontology-Based Multiple Choice Question Generation. Kunstliche Intelligenz, 1-6. DOI: 10.1007/s13218-015-0405-9. Publication link: b68b0bde-3324-4416-be7f-4a0d861d2d99
  83. Mealing, R., & Shapiro, J. L. (2015). Opponent Modelling by Expectation-Maximisation and Sequence Prediction in Simplified Poker. IEEE Transactions on Computational Intelligence and A I in Games. DOI: 10.1109/TCIAIG.2015.2491611. Publication link: d9963c46-4259-4a13-b018-bdf82a09d82c
  84. Batista-Navarro, R., Rak, R., & Ananiadou, S. (2015). Optimising chemical named entity recognition with pre-processing analytics, knowledge-rich features and heuristics. Journal of Cheminformatics, 7((Suppl 1): S6). DOI: 10.1186/1758-2946-7-S1-S6. Publication link: 1be8bd84-6a17-4df5-a952-b3ee1760ff48
  85. Abalenkovs, M., Abdelfattah, A., Dongarra, J., Gates, M., Haidar, A., Kurzak, J., ... YarKhan, A. (2015). Parallel Programming Models for Dense Linear Algebra on Heterogeneous Systems. Supercomputing Frontiers and Innovations, 2(4), 67-86. DOI: 10.14529/jsfi150405. Publication link: f667513c-c90d-47d2-a466-bc5302d6227b
  86. Kleerekoper, A., & Filer, N. P. (2015). Perfect link routing for energy efficient forwarding in geographic routing. Ad Hoc Networks, 30, 46-62. DOI: 10.1016/j.adhoc.2015.03.001. Publication link: 3dd6e43a-5f1e-4e28-9d6b-43fbc1e1647d
  87. Vliegen, J., Mentens, N., Koch, D., Schellekens, D., & Verbauwhede, I. (2015). Practical feasibility evaluation and improvement of a pay-per-use licensing scheme for hardware IP cores in Xilinx FPGAs. Journal of Cryptographic Engineering, 1-10. DOI: 10.1007/s13389-014-0088-4. Publication link: 03bfa46d-91f4-4e92-9061-d95a94b66e16
  88. Aizpurua Aguirrezabal, A., Arrue, M., & Vigo, M. (2015). Prejudices, memories, expectations and confidence influence experienced accessibility on the Web. Computers in Human Behavior, 51a, 152-160. DOI: 10.1016/j.chb.2015.04.035. Publication link: 3409f984-1cf0-41a3-b528-36ac86bddb80
  89. Siraj, S., Mikhailov, L., & Keane, J. (2015). PriEsT: an interactive decision support tool to estimate priorities form pairwise comparison judgements; 22:217-235, 2015.International Transactions in Operational Research, 22, 217-235. . Publication link: 1094536a-ff93-4ae5-a318-abf255de6fc3
  90. Kotselidis, C., Rodchenko, A., Barrett, C., Nisbet, A., Mawer, J., Toms, W., ... Lujan, M. (2015). Project Beehive: A Hardware/Software Co-designed Stack for Runtime and Architectural Research. CoRR, abs/1509.04085. . Publication link: c293266d-048f-4c6e-8be9-d418113bc744
  91. Liao, H., Xu, Z., Zeng, X-J., & Merigó, J. M. (2015). Qualitative decision making with correlation coefficients of hesitant fuzzy linguistic term sets. Knowledge-Based Systems, 76, 127-138. DOI: 10.1016/j.knosys.2014.12.009. Publication link: 47394b7c-b028-423f-816d-be1a199a297c
  92. Bramhall, M., Florez Vargas, O., Stevens, R., Brass, A., & Cruickshank, S. (2015). Quality of Methods Reporting in Animal Models of Colitis. Inflammatory Bowel Diseases, 21(6), 1248-1259. DOI: 10.1097/MIB.0000000000000369. Publication link: 4d00f69e-ba2b-4524-85a7-9fa0d04fbc8f
  93. Buckley, D., Chen, K., & Knowles, J. (2015). Rapid Skill Capture in a First-Person Shooter. IEEE Transactions on Computational Intelligence and A I in Games. DOI: 10.1109/TCIAIG.2015.2494849. Publication link: 671c4713-ccea-4a2e-bfa0-d6dd33651391
  94. Brown, A. D., Mills, R., Dugan, K. J., Reeve, J. S., & Furber, S. B. (2015). Reliable computation with unreliable computers. I E T Computers and Digital Techniques, 9(4), 230-237. DOI: 10.1049/iet-cdt.2014.0110. Publication link: 0e8b81bd-e2ed-4589-8f28-c7630fba87cc
  95. Mikusz, M., Clinch, S., Jones, R., Harding, M., Winstanley, C., & Davies, N. (2015). Repurposing Web Analytics to Support the IoT.Computer, 48(9), 42-49. DOI: 10.1109/MC.2015.260 . Publication link: 7eb117c3-80d5-4cfe-9dc1-39de6a675a49
  96. Goble, C., Yao, J., Tan, W., Nepal, S., Chen, S., Zhang, J., ... Gpble, C. (2015). ReputationNet: Reputation-Based Service Recommendation for e-Science.IEEE Transactions on Services Computing, 8(3), 439-452. DOI: 10.1109/TSC.2014.2364029. Publication link: 29ba0417-6c4a-4d13-8afb-1d5a70461e36
  97. Banach, R., & Jeske, C. (2015). Retrenchment and Refinement Interworking: the Tower Theorems.Mathematical Structures in Computer Science, 25, 135-202. . Publication link: bb69a067-6f96-407d-8b56-89526458bd7d
  98. Stanford, N. J., Swainston, N., & Millard, P. (2015). RobOKoD: microbial strain design for (over)production of target compounds. Frontiers in cell and developmental biology, 24(3). . Publication link: 486ef379-aef2-4a51-930b-c589e27de6e3
  99. Stromatias, E., Neil, D., Pfeiffer, M., Galluppi, F., Furber, S., & Liu, S. C. (2015). Robustness of spiking Deep Belief Networks to noise and reduced bit precision of neuro-inspired hardware platforms. Frontiers in Neuroscience, 9(00222). DOI: 10.3389/fnins.2015.00222. Publication link: c7d2a102-e93e-4168-aafc-3ff5f30aa426
  100. Wolstencroft, K., Owen, S., Krebs, O., Nguyen, Q., Stanford, N. J., Golebiewski, M., ... Goble, C. (2015). SEEK: a systems biology data and model management platform.BMC systems biology, 9(33). DOI: 10.1186/s12918-015-0174-y. Publication link: 1afdfe8b-0983-4519-ae8c-df39f530914f | PubMed:26160520
  101. Reed, D. A., & Dongarra, J. (2015). Scientific discovery and engineering innovation requires unifying traditionally separated high performance computing and big data analytics.Communications of the ACM, 58(7). . Publication link: 628b748f-1a3b-40c8-beea-cc3aa4d9ef69
  102. Davies, N., Friday, A., Clinch, S., Sas, C., Langheinrich, M., Ward, G., & Schmidt, A. (2015). Security and Privacy Implications of Pervasive Memory Augmentation. IEEE Pervasive Computing, 14, 44 - 53. DOI: 10.1109/MPRV.2015.13. Publication link: 691594c5-5d78-4cb9-82bf-60401de157d7
  103. Valke, S., Craig, A., Dunlap, R., & Riley, G. D. (2015). Sharing experiences and outlook on Coupling Technologies for Earth System Models. Unknown Journal. . Publication link: 1badd70c-ed08-44bb-8113-726733917f46
  104. Bastiaens, P., Birtwistle, M. R., Bluthgen, N., Bruggeman, F. J., Cho, K. H., Cosentino, C., ... Kholodenko, B. N. (2015). Silence on the relevant literature and errors in implementation. Nature Biotechnology, 33, 336-339. DOI: 10.1038/nbt.3185. Publication link: 30f49b8b-29ed-4de1-b54c-bbd86edd2371
  105. Navaridas Palma, J., Luján, M., Plana, L. A., Temple, S., & Furber, S. (2015). SpiNNaker: Enhanced Multicast Routing. Parallel Computing, 45, 49-66. DOI: 10.1016/j.parco.2015.01.002. Publication link: 08e86a09-71ca-455c-bc84-800448cb7f5e
  106. Erickson, A., Stewart, I. A., Navaridas Palma, J., & Kiasari, A. E. (2015). Star-Replaced Networks:: A Generalised Class of Dual-Port Server-Centric Data Centre Networks. Computer Networks. DOI: 10.1016/j.comnet.2015.10.005. Publication link: 62cad199-4a83-4e89-b243-d071e922a9c4
  107. Mo, Y., Kontonatsios, G., & Ananiadou, S. (2015). Supporting Systematic Reviews Using LDA-based Document Representations. Systematic Reviews, 24(6). . Publication link: 399dd8b4-8ca6-41a3-93fa-8dc96c4e35bf
  108. Fu, X., Batista-Navarro, R. T., Rak, R., & Ananiadou, S. (2015). Supporting the annotation of chronic obstructive pulmonary disease (COPD) phenotypes with text mining workflows. Journal of Biomedical Semantics, 6(8). DOI: 10.1186/s13326-015-0004-6. Publication link: 69394412-3296-438f-8fd7-8c0933e53755
  109. Filannino, M., & Nenadic, G. (2015). Temporal expression extraction with extensive feature type selection and a posteriori label adjustment. Data & Knowledge Engineering, 100(A), 19-33. DOI: 10.1016/j.datak.2015.09.002. Publication link: 4f946106-37c0-4127-8426-60c9219f832d
  110. Keet, C. M., Lawrynowicz, A., D'Amato, C., Kalousis, A., Nguyen, P., Palma, R., ... Hilario, M. (2015). The Data Mining OPtimization Ontology. Journal of Web Semantics, 32, 43-53. DOI: 10.1016/j.websem.2015.01.001. Publication link: e9fff241-fe62-4cc2-bdf7-629d419e9a5b
  111. Constantin, A., Peroni, S., Pettifer, S., Shotton, D., & Vitali, F. (2015). The Document Components Ontology (DoCO). Semantic Web. . Publication link: a743394f-beac-4358-ac15-27b42282d411
  112. Mitchell, A., Chang, H. Y., Daugherty, L., Fraser, M., Hunter, S., Lopez, R., ... Finn, R. D. (2015). The InterPro protein families database: the classification resource after 15 years.Nucleic Acids Research, 43, D213-D221. DOI: 10.1093/nar/gku1243. Publication link: 36b5c37a-e672-48b6-ab35-dff17f775adb
  113. Banach, R. (2015). The Landing Gear System in Multi-Machine Hybrid Event-B. International Journal on Software Tools for Technology Transfer. DOI: 10.1007/s10009-015-0409-7. Publication link: a0aa63f0-b8ac-40df-b9e8-de1294ebb145
  114. Strohmaier, E., Meuer, H. W., Dongarra, J., & Simon, H. D. (2015). The TOP500 List and Progress in High-Performance Computing. Computer 48 11 (pp. 42-49).DOI: 10.1109/MC.2015.338. Publication link: cda48dc1-e3df-4daf-99af-f1d4a78b6139
  115. Kotelnikov, E., Kovács, L., Reger, G., & Voronkov, A. (2015). The Vampire and the FOOL. CoRR, abs/1510.04821. . Publication link: f7e7f8dc-1d4c-4dda-9462-614e30405bfc
  116. Stanford, N. J., Wolstencroft, K., Golebiewski, M., Kania, R., Juty, N., Tomlinson, C., ... Goble, C. (2015). The evolution of standards and data management practices in systems biology. Molecular Systems Biology, 11(12), 851. . Publication link: ea9ccc3b-8224-48c7-9b1d-091468344fab | PubMed:26700851
  117. Pratt-Hartmann, I. (2015). The two-variable fragment with counting and equivalence. Mathematical Logic Quarterly, 61(6), 474-515. DOI: 10.1002/malq.201400102. Publication link: 2719aa0a-a2eb-418a-bc0d-2e25e3dc4b0a
  118. Vanschoren, J., Bischl, B., Hutter, F., Sebag, M., Kegl, B., Schmid, M., ... Lawrence, N. (2015). Towards a Data Science Collaboratory. LNCS, 9385 , XIX-XXI. DOI: 10.1007/978-3-319-24465-5. Publication link: c5427293-542a-4a21-9721-32ee58cba024
  119. Belhajjame, K., Zhao, J., Klyne, G., Goble, C., Garijo, D., Gamble, M., ... Bechhofer, S. (2015). Using a suite of ontologies for preserving workflow-centric research objects. Journal of Web Semantics, 32, 16-42. DOI: 10.1016/j.websem.2015.01.003. Publication link: 3aabf11d-62dd-4992-9d53-948d20295695
  120. Chen, W., da Silva, R. F., Deelman, E., & Sakellariou, R. (2015). Using imbalance metrics to optimize task clustering in scientific workflow executions. Future Generation Computer Systems, 46, 69-84. DOI: 10.1016/j.future.2014.09.014. Publication link: 4f5c83b8-3303-4199-bbb2-bb430e3aa751
  121. Karystianis, G., Dehghan, A., Kovacevic, A., Keane, J. A., & Nenadic, G. (2015). Using local lexicalized rules to identify heart disease risk factors in clinical notes. Journal of Biomedical Informatics, 58(Supplement), S183-S188. DOI: 10.1016/j.jbi.2015.06.013. Publication link: c8074d16-f3b3-4dfc-aa0d-774c8e135b90
  122. O'Mara-Eves, A., Thomas, J., McNaught, J., Miwa, M., & Ananiadou, S. (2015). Using text mining for study identification in systematic reviews: a systematic review of current approaches. Systematic Reviews, 4(5). DOI: 10.1186/2046-4053-4-5. Publication link: 195249ea-380c-4499-9132-b5401626d4a2
  123. Alnazzawi, N., Thompson, P., Batista-Navarro, R. T., & Ananiadou, S. (2015). Using text mining techniques to extract phenotypic information from the PhenoCHF corpus. B M C Medical Informatics and Decision Making, 15(Suppl 2). DOI: 10.1186/1472-6947-15-S2-S3, 10.1186/1472-6947-15-S2-S3. Publication link: 433dafb1-91ec-4b66-bfbe-43d5ca1c0f8a
Poster
  1. Jay, C., Wong-Mozqueda, J. A., & Haines, R. (2015). Is Code Quality Related to Test Coverage?. Poster session presented at International Workshop on Sustainable Software Systems Engineering, Liverpool, .. Publication link: ee2d9ea0-25be-4fa6-ae7c-bf6a60958159
  2. Stromatias, E., Neil, D., Galluppi, F., Pfeiffer, M., Liu, S-C., & Furber, S. (2015). Live Demonstration: Handwritten Digit Recognition Using Spiking Deep Belief Networks on SpiNNaker. Poster session presented at 2015 IEEE International Symposium on Circuits & Systems, Lisbon, portugal, .DOI: 10.1109/ISCAS.2015.7169034. Publication link: 1f996f81-9e3a-45eb-90d5-ccf5a7552267
  3. Gaulton, A., Harland, L., Davies, M., Papadatos, G., Loizou, A., Dedman, N., ... Lynch, N. (2015). Semantic-web access to patent annotations. 212-213. Poster session presented at SWAT4LS International Conference: Semantic web applications and tools for life sciences, Riley Auditorium, Gillespie Center, Clare College, Cambridge, England, .. Publication link: b98fe048-6b20-4d00-853a-acf64f9ff21c
  4. Albogamy, F., & Ramsay, A. (2015). Structural Analysis of Arabic Tweets. Poster session presented at The 8th Saudi Students Conference is hosted by Imperial College London, United Kingdom., London, .. Publication link: 4a400fec-80c4-4f2b-8c5c-225c510e147f
  5. Milosevic, N., Gregson, C., Hernandez, R., & Nenadic, G. (2015). Supporting clinical trial data curation from literature with table mining. Poster session presented at Postgraduate Summer Research Showcase 2015, Withworth Hall, .. Publication link: 0fe69da9-1f9e-4fb0-bdd8-5d40ce11afb2
  6. Navarro Lopez, E., Celikok, U., Sengor, N. S., & Navarro-Lopez, E. M. (2015). The interplay of working memory and subcortical background oscillations. Poster session presented at Integrated Systems Neuroscience Workshop, Manchester, .. Publication link: 28da9d4d-e95b-47a2-97e3-5c92643a73d6
Chapter
  1. Chen, K., Kacprzyk, J. (Ed.), & Pedrycz, W. (Ed.) (2015). Deep and Modular Neural Networks. In Handbook of Computational Intelligence. (pp. 473-494). Germany: Springer Verlag. . Publication link: dd8f942b-e9e7-48ab-9fa5-ca003eaf0108
  2. Brajnik, G., & Harper, S. (2015). Detaching control from data models in model-based generation of user interfaces. In Engineering the Web in the Big Data Era. (pp. 697-700). Springer International Publishing. . Publication link: 5d4bc592-a551-434c-b0e3-ba49878294dc
  3. Rosner, M., Attard, A., Thompson, P., Gatt, A., & Ananiadou, S. (2015). Extending a Tool Resource Framework with U-Compare. In Human Language Technology Challenges for Computer Science and Linguistics. (Vol. 8387, pp. 315-326). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 5211e123-ef8c-4d21-b47a-d49152269011
  4. Mihaila, C., Batista-Navarro, R. T., Alnazzawi, N., Kontonatsios, G., Korkontzelos, I., Rak, R., ... Ananiadou, S. (2015). Mining the biomedical literature. In Healthcare Data Analytics. (pp. 251-308). CRC Press. . Publication link: 9128e5ac-2e04-4ebb-91ec-9599153ecf77
  5. Pratt-Hartmann, I., Lappin, S. (Ed.), & Fox, C. (Ed.) (2015). Semantic Complexity in Natural Language. In The Handbook of Contemporary Semantic Theory. (2nd ed., pp. 429-454). Wiley-Blackwell. . Publication link: eea37605-7bb8-4c62-b7b7-7ccc8b5570fd
  6. Havelund, K., & Reger, G. (2015). Specification of parametric monitors quantified event automata versus rule systems. In Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. (pp. 151-189). VS Verlag fur Sozialwissenschaften/Springer Fachmedien Wiesbaden GmbH. DOI: 10.1007/978-3-658-09994-7_6. Publication link: 7dd6d89d-2f07-4cda-b65a-bc91f643d536
  7. Christodoulou, K., Paton, N. W., & Fernandes, A. A. A. (2015). Structure Inference for Linked Data Sources Using Clustering. In A. Hameurlain, J. Küng, R. Wagner, D. Bianchini, V. De Antonellis, & R. De Virgilio (Eds.), Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX. (Vol. 19, pp. 1-25). (Lecture Notes in Computer Science). DOI: 10.1007/978-3-662-46562-2_1. Publication link: 1403dc81-9ac1-4b98-9741-eb0f3842249a
Anthology
  1. Loucopoulos, P., Nurcan, S., & Weigand, H. (2015). Preface to Proceedings of the CAiSE’2015 Doctoral Consortium at the 27th International Conference on Advanced Information Systems Engineering (CAiSE). (CEUR-WS). No publisher name.. Publication link: 2fa58d9b-4630-4308-9c5f-1ecff00ab4e0
  2. Rolland, C., Anagnostopoulos, D., Loucopoulos, P., & Gonzalez-Perez, C. (2015). Proceedings of IEEE RCIS 2015: 9th International Conference on Challenges in Information Science. No publisher name.. Publication link: 95a00bde-8dba-4f60-a7d9-d0ef5780de90
Patent
  1. Pedrosa Mendes, P., Virginia Tech Intellectual Properties, I., Nessler, C. L., Lorence, A., Chevone, B., & Mendes, P. (2015). Patent No. US9000267 B2.. Publication link: 34d7653a-2d36-4192-b684-01f98e6676d7
Scholarly edition
  1. Koch, D., Hannig, F., & Ziener, D. (2015). Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015). (2 ed.) http://arxiv.org/html/1508.06320.. Publication link: 75b4ca38-3b3e-4d9d-9e21-e0b0ccfc04c1
Editorial
  1. Bechhofer, S., & Harth, A. (2015). The Semantic Web Challenge 2014. Journal of Web Semantics, 35(3), 141-141. DOI: 10.1016/S1570-8268(15)00122-5. Publication link: 856650db-1848-449a-983e-624836aad28e
Abstract
  1. Soiland-Reyes, S., Dunlop, I., Williams, A. R., & Apache Taverna Team (2015). Apache Taverna: Sustaining research software at the Apache Software Foundation. Abstract from Bioinformatics Open Source Conference, Dublin, Ireland.. Publication link: 9c368965-9f32-4415-a1f3-28bc11c53487
  2. Amstutz, P., Tijanić, N., Soiland-Reyes, S., Kern, J., Stojanovic, L., Pierce, T., ... Crusoe, M. R. (2015). Portable workflow and tool descriptions with the CWL. Abstract from Bioinformatics Open Source Conference, Dublin, Ireland.. Publication link: f71e169b-8724-4580-86d6-e621077d8c74
  3. Gamble, M., Morrison, N., Soiland-Reyes, S., & Goble, C. (2015). Research shared: www.researchobject.org. Abstract from Bioinformatics Open Source Conference, Dublin, Ireland.. Publication link: faef8e6b-6e80-4118-b08b-b16d96740a7f
Commissioned report
  1. Schmidt, R. A., & Waldmann, U. (2015). Modal Tableau Systems with Blocking and Congruence Closure. (eScholar). University of Manchester.. Publication link: a4b2a704-9faf-4eb1-aac8-0eed9f8f0ad0
Working paper
  1. Christodoulou, K., Fernandes, A. A. A., & Paton, N. W. (2015). Combining Syntactic and Semantic Evidence for Aligning Linked Open Data Sources.. Publication link: d8d742f2-4d97-41db-aa7e-614c05c35f19
Other
  1. Jay, C., & Haines, R. (2015). Developing reproducible and reusable methods through research software engineering. Dagstuhl Perspectives Workshop: Digital Scholarship and Open Science in Psychology and the Behavioral Sciences, Dagstuhl, Germany, .. Publication link: ea424bf9-1256-4738-bc62-cd3e985e001a
▲ Up to the top