Browse by Academic Unit (A-Z)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators Name | Item Type
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | V | W | X | Y | Z | Š
Number of items at this level: 822.

A

Abbasi, M. and Clayton, R. (2014) Formulation of ATP sensitive K+ Current and Action Potential Shape in Models of Human Ventricular Myocytes. In: Computing in Cardioliogy. Computing in Cardioliogy Conference (CinC), 7-10 Sept. 2014, Cambridge, MA (USA). Institute of Electrical and Electronics Engineers (IEEE) , 201 - 204. ISBN 978-1-4799-4346-3

Abbot, P., Abe, J., Alcock, J. et al. (134 more authors) (2011) Inclusive fitness theory and eusociality. Nature, 471 (7339). E1-E4. ISSN 0028-0836

Acerbi, A., Lampos, V., Garnett, P. et al. (1 more author) (2013) The expression of emotions in 20th century books. PLOS ONE, 8 (3). e59030. ISSN 1932-6203

Adra, S., Sun, T., MacNeil, S. et al. (2 more authors) (2010) Development of a Three Dimensional Multiscale Computational Model of the Human Epidermis. PLoS One, 5 (1). e8511. ISSN 1932-6203

Adra, S.F., Dodd, T.J., Griffin, I.A. et al. (1 more author) (2009) Convergence acceleration operator for multiobjective optimization. IEEE Transactions on Evolutionary Computation, 13 (4). pp. 825-847. ISSN 1089-778X

Agudelo-España, D., Álvarez, M.A. orcid.org/0000-0002-8980-4472 and Orozco, Á.A. (2017) Definition and composition of motor primitives using latent force models and hidden Markov models. In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. CIARP 2016. Iberoamerican Congress on Pattern Recognition, 08/11/2016-11/11/2016, Lima, Peru. Lecture Notes in Computer Science, 10125 . Springer Verlag , pp. 249-256. ISBN 9783319522760

Aker, A., Derczynski, L. and Bontcheva, K. (2017) Simple Open Stance Classification for Rumour Analysis. arXiv. (Submitted)

Aker, A., Kurtic, E., Balamurali, A.R. et al. (4 more authors) (2016) A Graph-Based Approach to Topic Clustering for Online Comments to News. In: Ferro, N., Crestani, F., Moens, M.-F., Mothe, J., Silvestri, F., Di Nunzio, G.M., Hauff, C. and Silvello, G., (eds.) Advances in Information Retrieval. ECIR 2016: European Conference on Information Retrieval, 20 - 23 March 2016, Padua, Italy. Lecture Notes in Computer Science, 9626 . Springer International Publishing , pp. 15-29. ISBN 978-3-319-30671-1

Aker, A., Kurtic, E., Hepple, M. et al. (2 more authors) (2015) Comment-to-Article Linking in the Online News Domain. In: Proceedings of the SIGDIAL 2015 Conference. SigDial, 2-4 September 2015, Prague. ACL , pp. 245-249.

Aker, A., Paramita, M., Kurtic, E. et al. (4 more authors) (2016) Automatic Label Generation for News Comment Clusters. In: Proceedings of the 9th International Natural Language Generation Conference. 9th International Natural Language Generation Conference (INLG 2016), 5-8 September 2016, Edinburgh, UK. Association for Computational Linguistics , pp. 61-69.

Aker, A., Paramita, M.L., Barker, E. et al. (1 more author) (2014) Bootstrapping Term Extractors for Multiple Languages. In: Proceedings of the 9th LREC Conference. LREC 2014, Ninth International Conference on Language Resources and Evaluation, 26-31 May 2014, Reykjavik, Iceland. , pp. 483-489.

Aker, A., Paramita, M.L., Pinnis, M. et al. (1 more author) (2014) Bilingual dictionaries for all EU languages. In: LREC 2014 Proceedings. LREC 2014, 26-31 May 2014, Reykjavik, Iceland. European Language Resources Association , pp. 2839-2845. ISBN 978-2-9517408-8-4

Aker, A., Petrak, J. and Sabbah, F. (2017) An extensible multilingual open source lemmatizer. In: Proceedings of the International Conference Recent Advances in Natural Language Processing, RANLP 2017. International Conference Recent Advances in Natural Language Processing, 02-08 Sep 2017, Varna, Bulgaria. ACL , pp. 40-45.

Aker, A., Petrak, J. and Sabbah, F. (2017) An extensible multilingual open source lemmatizer. In: Proceedings of the International Conference Recent Advances in Natural Language Processing. International Conference Recent Advances in Natural Language Processing, RANLP 2017, 02-08 Sep 2017, Varna, Bulgaria. INCOMA Ltd , pp. 40-45. ISBN 9789544520489

Al Ghamdi, M. and Gotoh, Y. orcid.org/0000-0003-1668-0867 (2018) Graph-based correlated topic model for trajectory clustering in crowded videos. In: 2018 IEEE Winter Conference on Applications of Computer Vision. 2018 IEEE Winter Conference on Applications of Computer Vision, 12-15 Mar 2018, Lake Tahoe, NV/CA. IEEE , pp. 1029-1037. ISBN 978-1-5386-4886-5

Al Harbi, N. and Gotoh, Y. (2017) Natural language descriptions for human activities in video streams. In: INLG17 proceedings. 10th International Conference on Natural Language Generation, 4 - 7 September 2017, Santiago de Compostela, Spain. . (In Press)

Al Harbi, N. and Gotoh, Y. (2015) A unified spatio-temporal human body region tracking approach to action recognition. Neurocomputing, 161. 56 - 64. ISSN 0925-2312

Al-Khazraji, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2018) A relevance comparison between interval and prefix labelling schemes. In: 2017 International Conference on Engineering and Technology (ICET). International Conference on Engineering and Technology 2017, 21-23 August 2017, Antalya, Turkey. IEEE . ISBN 978-1-5386-1948-3

Al-Shareef, S. and Hain, T. orcid.org/0000-0003-0939-3464 (2016) Colloquialising modern standard Arabic text for improved speech recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 8-12 Sept, 2016, San Francisco, USA. , pp. 1345-1349.

Al-khazraji, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2018) The Emergence Computation of Overflow in Dynamic XML Tree Based on Prefix and Interval Labelling Schemes. In: 2017 International Conference on Engineering and Technology (ICET). The International Conference on Engineering & Technology 2017, 21-23 Aug, 2017, Akdeniz University, Antalya, Turkey. IEEE . ISBN 978-1-5386-1949-0

AlSaleh, M., Moore, R., Christensen, H. et al. (1 more author) (2018) Discriminating between Imagined Speech and Non-Speech Tasks using EEG. In: Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings. 40th International Engineering in Medicine and Biology Conference, 17-21 Jul 2018, Hawaii Convention Center. IEEE . (In Press)

AlSaleh, M.M.S., Moore, R., Christensen, H. et al. (1 more author) (2018) Examining Temporal Variations in Recognizing Unspoken Words using EEG Signals. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. IEEE International Conference on Systems, Man, and Cybernetics, 07-10 Oct 2018, Miyazaki, Japan. IEEE . (In Press)

Alamri, A. and Stevenson, R.M. orcid.org/0000-0002-9483-6006 (2016) A Corpus of Potentially Contradictory Research Claims from Cardiovascular Research Abstracts. Journal of Biomedical Semantics, 7. 36. ISSN 2041-1480

Aletras, N., Baldwin, T., Lau, J. et al. (1 more author) (2015) Evaluating Topic Representations for Exploring Document Collections. Journal of the Association for Information Science and Technology. ISSN 2330-1635

Alghamdi, N., Maddock, S., Barker, J. et al. (1 more author) (2017) The impact of automatic exaggeration of the visual articulatory features of a talker on the intelligibility of spectrally distorted speech. Speech Communication. ISSN 0167-6393

Alghamdi, N., Maddock, S., Marxer, R. et al. (2 more authors) (2018) A corpus of audio-visual Lombard speech with frontal and profile views. Journal of the Acoustical Society of America, 143 (6). pp. 523-529. ISSN 0001-4966

Alharbi, A. and Stevenson, M. orcid.org/0000-0002-9483-6006 (2017) Ranking abstracts to identify relevant evidence for systematic reviews: The University of Sheffield's approach to CLEF eHealth 2017 Task 2: Working notes for CLEF 2017. In: Cappellato, L., Ferro, N., Goeuriot, L. and Mandl, T., (eds.) CEUR Workshop Proceedings. Conference and Labs of the Evaluation Forum (CLEF 2017), 11-14 Sep 2017, Dublin, Ireland. CEUR .

Alharbi, S., Hasan, M., Simons, A.J.H. orcid.org/0000-0002-5925-7148 et al. (2 more authors) (2017) Detecting stuttering events in transcripts of children’s speech. In: Camelin, N., Estève, Y. and Martín-Vide, C., (eds.) SLSP 2017: Statistical Language and Speech Processing. International Conference on Statistical Language and Speech Processing 2017, 23-25 Oct 2017, Le Mans, France. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10583 (volume 10583). Springer International Publishing , pp. 217-228. ISBN 9783319684550

Alharbi, S., Simons, A.J.H. orcid.org/0000-0002-5925-7148, Brumfitt, S. et al. (1 more author) (2017) Automatic recognition of children’s read speech for stuttering application. In: 6th. Workshop on Child Computer Interaction (WOCCI 2017), eds. K. Evanini, M. Najafian, S. Safavi and K. Berkling. 6th International Workshop on Child Computer Interaction, 13 Nov 2017, Glasgow, UK. International Speech Communication Association (ISCA) , Glasgow , pp. 1-6.

Alkhaldi, N. and Winkler, J.R. (2015) Blind image deconvolution using the Sylvester resultant matrix. In: 2015 IEEE International Conference on Image Processing (ICIP). IEEE International Conference on Image Processing, 27-30 Sep 2015, Quebec City, Canada. IEEE , pp. 784-788.

Allen, T., Parvanov, A., Knight, S. et al. (1 more author) (2015) Using sketching to control heterogeneous groups. In: Borgo, R. and Turkay, C., (eds.) Computer Graphics and Visual Computing (CGVC). The Eurographics Association , 87 - 91. ISBN 978-3-905674-94-1

Alsharif, A., Kapfhammer, G.M. and McMinn, P.S. orcid.org/0000-0001-9137-7433 (2018) DOMINO: Fast and effective test data generation for relational database schemas. In: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). International Conference on Software Testing, Validation And Verification (ICST 2018), 09-13 Apr 2018, Västerås, Sweden. IEEE , pp. 12-22. ISBN 978-1-5386-5012-7

Alsubai, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2017) A Prime Number Approach to Matching an XML Twig Pattern including Parent-Child Edges. In: Proceedings of the 13th International Conference on Web Information Systems and Technologies. 13th International Conference on Web Information Systems and Technologies, 25 - 27 April 2017, Porto, Portugal. SCITEPRESS , pp. 204-211. ISBN 978-989-758-246-2

Alsubai, S. and North, S.D. orcid.org/0000-0002-8478-8960 (2018) TwigStackPrime: A Novel Twig Join Algorithm Based on Prime Numbers. In: Web Information Systems and Technologies. 13th International Conference on Web Information Systems and Technologies, 25-27 Apr 2017, Porto, Portugal. Lecture Notes in Business Information Processing, 322 . Springer Verlag . ISBN 978-3-319-93526-3

Alvarado, P.A., Torres-Valencia, C.A., Orozco-Gutiérrez, Á. et al. (3 more authors) (2016) Modeling and behavior of the simulation of electric propagation during deep brain stimulation. DYNA (Colombia), 83 (198). pp. 49-58. ISSN 0012-7353

Alvarez, M.A. orcid.org/0000-0002-8980-4472, Luengo, D. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2013) Linear Latent Force Models Using Gaussian Processes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 35 (11). pp. 2693-2705. ISSN 0162-8828

Alvarez, M.A., Rosasco, L. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2012) Kernels for Vector-Valued Functions: a Review. Foundations and Trends® in Machine Learning, 4 (3). pp. 195-266. ISSN 1935-8237

Alvarez Lopez, M.A., Dai, Z. and Lawrence, N.D. (2017) Efficient modeling of latent information in supervised learning using Gaussian processes. In: Guyon, I., Luxburg, U.V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. and Garnett, R., (eds.) Advances in Neural Information Processing Systems 30 (NIPS 2017) pre-proceedings. Advances in Neural Information Processing Systems (NIPS) 2017, 04-09 Dec 2017, Long Beach, CA. Massachusetts Institute of Technology Press .

Alvi, F., Stevenson, R.M. orcid.org/0000-0002-9483-6006 and Clough, P. (2017) Plagiarism Detection in Texts Obfuscated with Homoglyphs. In: Jose, J.M., Hauff, C., Altıngovde, I.S., Song, D., Albakour, D., Watt, S. and Tait, J., (eds.) ECIR 2017: Advances in Information Retrieval. 39th European Conference on Information Retrieval, 08-13 Apr 2017, Aberdeen, Scotland . Lecture Notes in Computer Science . Springer, Cham , pp. 669-675. ISBN 978-3-319-56608-5

Alzahrani, E., Richmond, P. orcid.org/0000-0002-4657-5518 and Simons, A.J.H. orcid.org/0000-0002-5925-7148 (2018) A formula-driven scalable benchmark model for ABM, applied to FLAME GPU. In: Euro-Par 2017: Parallel Processing Workshops. Euro-Par 2017 International Workshops, 28-29 Aug 2017, Santiago de Compostela, Spain. Lecture Notes in Computer Science book series (LNCS) . Springer , pp. 703-714. ISBN 9783319751771

Aparicio, P. and Watton, P. orcid.org/0000-0002-5531-5953 (2017) Modelling the chemo-mechano-biology of intracranial aneurysm evolution: a patient-specific fluid-solid-growth simulation. In: Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 April 2017, Pittsburgh, United States. CMBE , pp. 251-254.

Aparício, P., Thompson, M.S. and Watton, P.N. orcid.org/0000-0002-5531-5953 (2016) A novel chemo–mechano–biological model of arterial tissue growth and remodelling. Journal of Biomechanics, 49 (12). pp. 2321-2330. ISSN 0021-9290

Appleby, P.A., Shabir, S., Southgate, J. et al. (1 more author) (2015) Sources of variability in cytosolic calcium transients triggered by stimulation of homogeneous uro-epithelial cell monolayers. Interface, 12 (105).

Arcuri, A., Campos, J. and Fraser, G. (2016) Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins. In: 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST). ICST 2016 : IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, 10/04/2016-15/04/2016, Chicago, Illinois. Institute of Electrical and Electronics Engineers , pp. 401-408. ISBN 978-1-5090-1826-0

Arcuri, A. and Fraser, G. (2016) Java Enterprise Edition Support in Search-Based JUnit Test Generation. In: Deb, K. and Sarro, F., (eds.) Search Based Software Engineering. International Symposium on Search Based Software Engineering, October 8-10, 2016, Raleigh, NC, USA. Lecture Notes in Computer Science, 9962 . Springer , pp. 3-17. ISBN 978-3-319-47105-1

Arcuri, A., Fraser, G. and Just, R. (2017) Private API Access and Functional Mocking in Automated Unit Test Generation. In: Proceedings of 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 13-17 March 2017, Tokyo, Japan. IEEE , pp. 126-137. ISBN 10.1109/ICST.2017.19

Arthurs, Y., Beeston, A. orcid.org/0000-0003-2796-1947 and Timmers, R. (2018) Perception of isolated chords: Examining frequency of occurrence, instrumental timbre, acoustic descriptors and musical training. Psychology of Music, 46 (5). pp. 662-681. ISSN 0305-7356

Asim, M., Yautsiukhin, A., Brucker, A.D. orcid.org/0000-0002-6355-1200 et al. (3 more authors) (2018) Security Policy Monitoring of BPMN-based Service Compositions. Journal of Software: Evolution and Process. ISSN 2047-7481

Augenstein, I., Derczynski, L. and Bontcheva, K. (2017) Generalisation in named entity recognition: A quantitative analysis. Computer Speech & Language, 44. pp. 61-83. ISSN 0885-2308

Augenstein, I., Maynard, D. and Ciravegna, F. orcid.org/0000-0001-5817-4810 (2016) Distantly Supervised Web Relation Extraction for Knowledge Base Population. Semantic Web Journal. 1049-2260. ISSN 1570-0844

Augenstein, I., Rocktaeschel, T., Vlachos, A. orcid.org/0000-0003-2123-5071 et al. (1 more author) (2016) Stance Detection with Bidirectional Conditional Encoding. In: Proceedings of the Conference on Empirical Methods in Natural Language Processing. Empirical Methods in Natural Language Processing, 1st - 5th November 2016, Austin, Texas, USA. .

Augenstein, I., Rocktäschel, T., Vlachos, A. et al. (1 more author) Stance Detection with Bidirectional Conditional Encoding. (Unpublished)

Augenstein, I., Vlachos, A. and Maynard, D. (2015) Extracting Relations between Non-Standard Entities using Distant Supervision and Imitation Learning. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. UNSPECIFIED, 17-21 September 2015, Lisbon, Portugal. Association for Computational Linguistics , 747 - 757.

Aziz, W., Dymetman, M. and Specia, L. orcid.org/0000-0002-5495-3128 (2014) Exact decoding for phrase-based statistical machine translation. In: EMNLP 2014 - 2014 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference. EMNLP 2014: Conference on Empirical Methods in Natural Language Processing, 25th –29th October 2014, Doha, Qatar. , pp. 1237-1249. ISBN 9781937284961

Azmoodeh, A., Dehghantanha, A. orcid.org/0000-0002-9294-7554, Conti, M. et al. (1 more author) (2017) Detecting crypto-ransomware in IoT networks based on energy consumption footprint. Journal of Ambient Intelligence and Humanized Computing. ISSN 1868-5137

B

Bai, L., Ireson, N., Mazumdar, S. orcid.org/0000-0002-0748-7638 et al. (1 more author) (2017) Lessons Learned Using Wi-Fi and Bluetooth as Means to Monitor Public Service Usage. In: UbiComp '17 Proceedings of the 2017 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2017 ACM International Symposium on Wearable Computers. Pervasive Urban Applications Workshop at International Joint Conference on Pervasive and Ubiquitous Computing, 11-15 Sep 2017, Maui, Hawaii. ACM , pp. 432-440. ISBN 978-1-4503-5190-4

Bakir, M.E. orcid.org/0000-0002-3012-8713, Gheorghe, M., Konur, S. et al. (1 more author) (2017) Comparative Analysis of Statistical Model Checking Tools. In: Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers. 17th International Conference on Membrane Computing (CMC17), 25/07/2016-29/07/2016, Milan, Italy. Lecture Notes in Computer Science, 10105 . Springer Verlag . ISBN 978-3-319-54071-9

Bakir, M.E., Konur, S., Gheorghe, M. et al. (2 more authors) (2018) Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics. ISSN 1367-4803

Bakir, M.E. orcid.org/0000-0002-3012-8713 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2016) Selection Criteria for Statistical Model Checking. In: Proceedings of the Workshop on Membrane Computing, WMC 2016. Workshop on Membrane Computing, WMC 2016, 11-15 Jul 2016, Manchester, UK. , Bradford University , pp. 55-57.

Barker, E., Paramita, M.L., Aker, A. et al. (3 more authors) (2016) The SENSEI Annotated Corpus: Human Summaries of Reader Comment Conversations in On-line News. In: Proceedings of the 17th Annual Meeting of the Special Interest Group on Discourse and Dialogue. 17th Annual Meeting of the Special Interest Group on Discourse and Dialogue , 13-15 September 2017, Los Angeles, USA. Association for Computational Linguistics , pp. 42-52.

Barker, J., Marxer, R., Vincent, E. et al. (1 more author) (2017) Guest Editorial for the special issue on Multi-Microphone Speech Recognition in Everyday Environments. Computer Speech & Language. ISSN 0885-2308

Barker, J. orcid.org/0000-0002-1684-5660, Marxer, R., Vincent, E. et al. (1 more author) (2016) The third 'CHiME' speech separation and recognition challenge: Analysis and outcomes. Computer Speech and Language. ISSN 0885-2308

Barron, A.B., Gurney, K.N., Meah, L.F.S. et al. (2 more authors) (2015) Decision-making and action selection in insects: inspiration from vertebrate-based theories. Frontiers in Behavioral Neuroscience, 9. 216. ISSN 1662-5153

Beck, D., Cohn, T., Hardmeier, C. et al. (1 more author) (2015) Learning Structural Kernels for Natural Language Processing. In: Transactions of the Association for Computational Linguistics. Conference on Empirical Methods in Natural Language Processing, September 17–21, 2015, Lisbon, Portugal. Association for Computational Linguistics , pp. 461-473.

Beck, D., Cohn, T. and Specia, L. orcid.org/0000-0002-5495-3128 (2014) Joint Emotion Analysis via Multi-task Gaussian Processes. In: Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP). EMNLP, October 25-29, 2014, Doha, Qatar. ACL , pp. 1798-1803.

Beeston, A.V., Brown, G.J. and Watkins, A.J. (2014) Perceptual compensation for the effects of reverberation on consonant identification: Evidence from studies with monaural stimuli. Journal of the Acoustical Society of America, 136 (6). 3072 - 3084. ISSN 0001-4966

Bell, P., Gales, M., Hain, T. orcid.org/0000-0003-0939-3464 et al. (8 more authors) (2015) The MGB Challenge: Evaluating Multi-genre Broadcast Media Recognition. In: Proceedings of the 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU). 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), 13-17 Dec. 2015, Scottsdale, AZ. IEEE , pp. 687-693. ISBN 978-1-4799-7291-3

Ben Othmane, L., Bodden, E., Chehrazi, G. et al. (2 more authors) (2016) Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering. ISSN 2364-1185

Bennion, M.R., Hardy, G., Moore, R.K. orcid.org/0000-0003-0065-3311 et al. (1 more author) (2017) E-therapies in England for stress, anxiety or depression: what is being used in the NHS? A survey of mental health services. BMJ Open, 7 (1). e014844.

Benson, A.P., Clayton, R.H., Holden, A.V. et al. (2 more authors) (2006) Endogenous driving and synchronization in cardiac and uterine virtual tissues: bifurcations and local coupling. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 364 (1842). pp. 1313-1327. ISSN 1471-2962

Berdan, R., Vasilaki, E., Khiat, A. et al. (3 more authors) (2016) Emulating short-term synaptic dynamics with memristive devices. Scientific Reports, 6. 18639. ISSN 2045-2322

Bevan, T., Hornsby, J., Merabet, N. et al. (2 more authors) (2018) A biomechanical model for fibril recruitment: Evaluation in tendons and arteries. Journal of Biomechanics. ISSN 0021-9290

Bhagdev, R., Chapman, S., Ciravegna, F. et al. (2 more authors) (2008) Hybrid Search: Effectively Combining Keywords and Semantic Searches. In: European Semantic Web Conference 2008. 5th European Semantic Web Conference, 1-5 June 2008, Tenerife (Spain). .

Bibikas, D., Kourtesis, D., Paraskakis, I. et al. (5 more authors) (2008) Organisational Knowledge Management Systems in the Era of Enterprise 2.0: The case of OrganiK. In: Flejter, D., Grzonkowski, S., Kaczmarek, T., Kowalkiewicz, M., Nagle, T. and Parkes, J., (eds.) BIS 2008 Workshops Proceedings. BIS 2008 , 6th - 7th May 2008, Innsbruck, Austria. CEUR-WS.org , 45 - 53.

Bibikas, D., Kourtesis, D., Paraskakis, I. et al. (5 more authors) (2008) A Sociotechnical Approach to Knowledge Management in the Era of Enterprise 2.0: the Case of OrganiK. Scalable Computing: Practice and Experience, 9 (4). pp. 315-327.

Bill, R., Brucker, A.D. orcid.org/0000-0002-6355-1200, Gogolla, J.C.M. et al. (2 more authors) (2018) Workshop in OCL and Textual Textual Modelling: Report on Recent Trends and Panel Discussion. In: Seidl, M. and Zschaller, S., (eds.) Software Technologies: Applications and Foundations. STAF 2017. Federation of International Conferences on Software Technologies: Applications and Foundations, 17-21 Jul 2017, Marburg, Germany. Lecture Notes in Computer Science (10748). Springer-Verlag , pp. 297-301. ISBN 978-3-319-74729-3

Blancas, M., Vouloutsi, V., Fernando, S. et al. (5 more authors) (2018) Analyzing children's expectations from robotic companions in educational settings. In: Humanoid Robotics (Humanoids), 2017 IEEE-RAS 17th International Conference on. 2017 IEEE-RAS 17th International Conference on Humanoid Robotics (Humanoids), 15-17 Nov 2017, Birmingham, UK. IEEE , pp. 749-755.

Blomqvist, E., Maynard, D. orcid.org/0000-0002-1773-7020 and Gangemi, A. (2017) Preface. In: Blomqvist, E., Maynard, D., Gangemi, A., Hoekstra, R., Hitzler, P. and Hartig, O., (eds.) The semantic web: 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part II. 14th International Semantic Web Conference, ESWC 2017, 28 May - 01 Jun 2017, Portorož, Slovenia. Lecture Notes in Computer Science, 10250 . Springer , V-VII. ISBN 9783319584508

Boiten, E. and Derrick, J. (2010) Incompleteness of relational simulations in the blocking paradigm. Science of Computer Programming, 75 (12). pp. 1262-1269. ISSN 0167-6423

Bokota, G., Magnowska, M., Kusmierczyk, T. et al. (3 more authors) (2016) Computational Approach to Dendritic Spine Taxonomy and Shape Transition Analysis. Frontiers in Computational Neuroscience, 10. 140. ISSN 1662-5188

Bontcheva, K. orcid.org/0000-0001-6152-9600, Roberts, I., Derczynski, L. et al. (1 more author) (2014) The GATE Crowdsourcing Plugin: Crowdsourcing Annotated Corpora Made Easy. In: Proceedings of the Demonstrations at the 14th Conference of the European Chapter of the Association for Computational Linguistics. The 14th Conference of the European Chapter of the Association for Computational Linguistics , 26-30 Apr 2014, Gothenburg, Sweden. Association for Computational Linguistics .

Bontcheva, K. L., Cunningham, H., Aswani, N. et al. (4 more authors) (2013) GATE Teamware: A Web-based Collaborative Text Annotation Framework. Language Resources and Evaluation.

Boorman, L.W. orcid.org/0000-0001-5189-0232, Damianou, A.C., Martinez-Hernandez, U. et al. (1 more author) (2015) Extending a Hippocampal Model for Navigation Around a Maze Generated from Real-World Data. In: Biomimetic and Biohybrid Systems. 4th International Conference, Living Machines 2015, July 28 - 31, 2015, Barcelona, Spain. Lecture Notes in Computer Science, 9222 . Springer International Publishing , pp. 441-452. ISBN 978-3-319-22978-2

Booton, R.D., Iwasa, Y., Marshall, J.A.R. et al. (1 more author) (2017) Stress-Mediated Allee Effects Can Cause the Sudden Collapse of Honey Bee Colonies. Journal of Theoretical Biology. ISSN 0022-5193

Booton, R.D., Yamaguchi, R., Marshall, J.A.R. orcid.org/0000-0002-1506-167X et al. (2 more authors) (2018) Interactions between immunotoxicants and parasite stress: Implications for host health. Journal of Theoretical Biology, 445. pp. 120-127. ISSN 0022-5193

Bosch, J.J., Marxer, R. and Gómez, E. (2016) Evaluation and combination of pitch estimation methods for melody extraction in symphonic classical music. Journal of New Music Research. pp. 1-17. ISSN 0929-8215

Bose, T., Reina, A. and Marshall, J.A.R. orcid.org/0000-0002-1506-167X (2017) Collective decision-making. Current Opinion in Behavioral Sciences, 16. pp. 30-34. ISSN 2352-1546

Bourne, M., Winkler, J.R. and Su, Y. (2017) A non-linear structure-preserving matrix method for the computation of the coefficients of an approximate greatest common divisor of two Bernstein polynomials. Journal of Computational and Applied Mathematics, 320. pp. 221-241. ISSN 0377-0427

Bourne, M., Winkler, J.R. and Yi, S. (2017) The computation of the degree of an approximate greatest common divisor of two Bernstein polynomials. Applied Numerical Mathematics, 111. pp. 17-35. ISSN 0168-9274

Brewster, C., Jupp, S., Luciano, J. et al. (3 more authors) (2009) Issues in learning an ontology from text. BMC Bioinformatics, 10 (Suppl ). S1. ISSN 1471-2105

Brockington, A., Ning, K., Heath, P.R. et al. (7 more authors) (2013) Unravelling the enigma of selective vulnerability in neurodegeneration: motor neurons resistant to degeneration in ALS show distinct gene expression characteristics and decreased susceptibility to excitotoxicity. Acta Neuropathologica, 125 (1). pp. 95-109. ISSN 0001-6322

Brucker, A.D. orcid.org/0000-0002-6355-1200, Brügger, L., Feliachi, A. et al. (6 more authors) (2016) HOL-TestGen 1.8.0 User Guide. Report. CNRS – Université de Paris Sud , Orsay, France.

Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2010) HOL-TestGen 1.5.0 User Guide. Report. ETH Zurich. (Unpublished)

Brucker, A.D., Brügger, L., Krieger, M.P. et al. (1 more author) (2012) HOL-TestGen 1.7.0 User Guide. Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)

Brucker, A.D., Brügger, L. and Wolff, B. (2015) Formal Firewall Conformance Testing: An Application of Test and Proof Techniques. Software Testing, Verification and Reliability, 25 (1). pp. 34-71. ISSN 0960-0833

Brucker, A.D., Brügger, L. and Wolff, B. (2017) Formal Network Models and Their Application to Firewall Policies (UPF-Firewall). Archive of Formal Proofs. ISSN 2150-914X

Brucker, A.D. orcid.org/0000-0002-6355-1200, Cabot, J., Daniel, G. et al. (6 more authors) (2016) Recent Developments in OCL and Textual Modelling. In: Brucker, A.D., Cabot, J. and Herrera, AS.-B., (eds.) Proceedings of International Workshop on OCL and Textual Modeling (OCL 2016). 16th International Workshop on OCL and Textual Modeling, October 2, 2016, Saint-Malo, France. CEUR-WS.org , pp. 157-165.

Brucker, A.D., Doser, J. and Wolff, B. (2006) A Model Transformation Semantics and Analysis Methodology for SecureUML. Technical Report. ETH Technical Report (529). ETH, Department of Computer Science , Zurich.

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) A Formal Semantics of the Core DOM in Isabelle/HOL. In: WWW '18 Companion Proceedings of the The Web Conference 2018. The Web Conference 2018, 23-27 Apr 2018, Lyon, France. International World Wide Web Conferences Steering Committee , pp. 741-749. ISBN 978-1-4503-5640-4

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) Formalizing (web) standards: an application of test and proof. In: Dubois, C. and Wolff, B., (eds.) Tests and Proofs. 12th International Conference, TAP 2018, 27-29 Jun 2018, Toulouse, France. Lecture Notes in Computer Science, 10889 . Springer-Verlag , pp. 159-166. ISBN 978-3-319-92994-1

Brucker, A.D. and Herzberg, M. (2016) On the Static Analysis of Hybrid Mobile Apps: A Report on the State of Apache Cordova Nation. In: Caballero, J. and Bodden, E., (eds.) Engineering Secure Software and Systems. ESSoS 2016, 06-08 Apr 2016, London, UK. Lecture Notes in Computer Science, 9639 . Springer International Publishing , pp. 72-88. ISBN 978-3-642-11746-6

Brucker, A.D., Longuet, D., Tuong, F. et al. (1 more author) (2013) On the Semantics of Object-oriented Data Structures and Path Expressions (Extended Version). Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)

Brucker, A.D. and Mödersheim, S.A. (2009) Integrating Automated and Interactive Protocol Verification (Extended Version). Report. IBM Research Zurich. (Unpublished)

Brucker, A.D., Rittinger, F. and Wolff, B. (2002) A CVS-Server Security Architecture — Concepts and Formal Analysis. Technical Report. Technical Report (182). Albert-Ludwigs-Universität Freiburg , Freiburg.

Brucker, A.D., Tuong, F. and Wolff, B. (2015) Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Report. LRI, Univ Paris Sud, CNRS, Centrale Supélec, Université Paris-Saclay, France. (Unpublished)

Brucker, A.D. and Wolff, B. (2001) Checking OCL Constraints in Distributed Systems Using J2EE/EJB. Technical Report. Technical Report (157). Albert-Ludwigs-Universität Freiburg , Freiburg.

Brucker, A.D. and Wolff, B. (2006) The HOL-OCL Book. Technical Report. ETH, Department of Computer Science , Zurich.

Brucker, A.D. and Wolff, B. (2005) HOL-TestGen 1.0.0 User Guide. Technical Report. Information Security, ETH-Zentrum , Zurich.

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Wolff, B. (2016) Monadic Sequence Testing and Explicit Test-Refinements. In: Aichernig, B.K. and Furia, C.A., (eds.) TAP 2016: Tests and Proofs. 10th International Conference, TAP 2016, Held as Part of STAF 2016, July 5-7, 2016, Vienna, Austria. Lecture Notes in Computer Science, 9762 . Springer, Cham , pp. 17-36. ISBN 978-3-642-38915-3

Brucker, A.D. and Wolff, B. (2002) A Note on Design Decisions of a Formalization of the OCL. Technical Report. Technical Report (168). Institut für Informatik University of Freiburg , Freiburg.

Brucker, A.D. and Wolff, B. (2004) Symbolic Test Case Generation for Primitive Recursive Functions. Technical Report. ETH technical report (449). ETH, Department of Computer Science , Zurich.

Brucker, A.D. orcid.org/0000-0002-6355-1200, Zhou, B., Malmignati, F. et al. (2 more authors) (2017) Modelling, Validating, and Ranking of Secure Service Compositions. Software: Practice and Expierence (SPE). ISSN 0038-0644

Brunet, P., Pous, D. and Struth, G. (2017) On decidability of concurrent Kleene algebra. In: Meyer, R. and Nestmann, U., (eds.) LIPIcs. 28th International Conference on Concurrency Theory (CONCUR 2017) , 05-08 Sep 2018, Berlin, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 9783959770484

Bäckström, C., Jonsson, P. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2018) Novel Structural Parameters for Acyclic Planning Using Tree Embeddings. In: Lang, J., (ed.) International Joint Conferences on Artificial Intelligence Organization. International Joint Conferences on Artificial Intelligence Organization 2018, 13-19 Jul 2018, Stockholm. IJCAI , pp. 4653-4659. ISBN 978-0-9992411-2-7

C

Cabirol, A. orcid.org/0000-0001-9376-1826, Cope, A.J. orcid.org/0000-0001-6042-1542, Barron, A.B. et al. (1 more author) (2018) Relationship between brain plasticity, learning and foraging performance in honey bees. PLoS One, 13 (4). e0196749. ISSN 1932-6203

Camastra, F. and Filippone, M. (2009) A comparative evaluation of nonlinear dynamics methods for time series prediction. Neural Computing and Applications, 18 (8). pp. 1021-1029. ISSN 0941-0643

Cameron, D., Fernando, S., Collins, E. et al. (5 more authors) (2015) Presence of life-like robot expressions influences children's enjoyment of human-robot interactions in the field. In: Proceedings of the AISB Convention 2015. 4th International Symposium on New Frontiers in Human-Robot Interaction, 21.04.2015 - 22.04.2015, Canterbury, UK. The Society for the Study of Artificial Intelligence and Simulation of Behaviour .

Cameron, D. orcid.org/0000-0001-8923-5591, Fernando, S., Collins, E. et al. (4 more authors) (2016) Impact of robot responsiveness and adult involvement on children's social behaviours in human-robot interaction. arXiv. (Submitted)

Cameron, D., Fernando, S., Millings, A. et al. (3 more authors) (2015) Children's Age Influences Their Perceptions of a Humanoid Robot as Being Like a Person or Machine. In: Biomimetic and Biohybrid Systems. 4th International Conference, Living Machines 2015, July 28 - 31, 2015, Barcelona, Spain. Lecture Notes in Computer Science, 9222 . Springer Verlag , pp. 348-353. ISBN 978-3-319-22978-2

Cameron, D. orcid.org/0000-0001-8923-5591, Millings, A. orcid.org/0000-0002-7849-6048, Fernando, S. et al. (5 more authors) (2018) The effects of robot facial emotional expressions and gender on child-robot interaction in a field study. Connection Science. ISSN 0954-0091

Camilleri, D., Damianou, A., Jackson, H. et al. (2 more authors) (2016) iCub visual memory inspector: Visualising the iCub’s thoughts. In: Biomimetic and Biohybrid Systems. 5th International Conference, Living Machines 2016, July 19-22, 2016, Edinburgh, UK. Lecture Notes in Computer Science, 9793 . Springer International Publishing , pp. 48-57. ISBN 9783319424163

Camilleri, D. and Prescott, T. orcid.org/0000-0003-4927-5390 (2017) Analysing the limitations of deep learning for developmental robotics. In: Biomimetic and Biohybrid Systems. 6th International Conference, Living Machines 2017, July 26–28, 2017, Stanford, CA, USA. Lecture Notes in Computer Science (10384 ). Springer , pp. 86-94. ISBN 9783319635361

Camilleri, D. and Prescott, T. orcid.org/0000-0003-4927-5390 (2018) Living in a machine: Experiencing the world through a robotic avatar. In: Vouloutsi, V., Halloy, J., Mura, A., Mangan, M., Lepora, N., Prescott, T. and Verschure, P., (eds.) Biomimetic and Biohybrid Systems. 7th International Conference, Living Machines 2018, 17-20 Jul 2018, Paris, France. Lecture Notes in Computer Science, 10928 . Springer Verlag , pp. 64-72. ISBN 9783319959719

Cardona, H.D.V., Alvarez, M.A. and Orozco, A.A. (2015) Generalized Wishart processes for interpolation over diffusion tensor fields. In: Advances in Visual Computing. 11th International Symposium, ISVC 2015, December 14-16, 2015, Las Vegas, NV, USA. Lecture Notes in Computer Science (9475). Springer , pp. 499-508. ISBN 978-3-319-27862-9

Casanueva, I., Hain, T. orcid.org/0000-0003-0939-3464 and Green, P. (2016) Improving generalisation to new speakers in spoken dialogue state tracking. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 8-12 Sept, 2016, San Francisco, USA. , pp. 2726-2730.

Casanueva, I., Hain, T., Nicolao, M. et al. (1 more author) (2016) Using phone features to improve dialogue state tracking generalisation to unseen states. In: Proceeding of SIGDIAL 2016. The 17th Annual SIGdial Meeting on Discourse and Dialogue, 13-15 September 2016, Los Angeles, USA. . ISBN 978-1-945626-23-4

Cassey, T.C., Evens, D.R., Bogacz, R. et al. (2 more authors) (2013) Adaptive Sampling of Information in Perceptual Decision-Making. PLOS ONE, 8 (11). e78993.

Cernak, M., Nöth, E., Rudzicz, F. et al. (11 more authors) (2017) On the impact of non-modal phonation on phonological features. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 5-9 March 2017, New Orleans, LA, USA. IEEE , pp. 5090-5094. ISBN 9781509041176

Cernak, M., Orozco-Arroyave, J.R., Rudzicz, F. et al. (3 more authors) (2017) Characterisation of voice quality of Parkinson’s disease using differential phonological posterior features. Computer Speech & Language, 46. pp. 196-208. ISSN 0885-2308

Cerqueira, F.R., Ferreira, R.S., Oliveira, A.P. et al. (4 more authors) (2012) MUMAL: multivariate analysis in shotgun proteomics using machine learning techniques. BMC Genomics, 13 Sup. S4. ISSN 1471-2164

Chang, E.T., Strong, M. orcid.org/0000-0003-1486-8233 and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2015) Correction: Bayesian Sensitivity Analysis of a Cardiac Cell Model Using a Gaussian Process Emulator. PLoS One, 10 (8). e0137004. ISSN 1932-6203

Chang, E.T.Y., Coveney, S. and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2017) Variance Based Sensitivity Analysis of IKrIKr in a Model of the Human Atrial Action Potential Using Gaussian Process Emulators. In: Pop, M. and Wright, G., (eds.) Functional Imaging and Modelling of the Heart 2017, Proceedings. 9th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2017 , June 11-13, 2017, Toronto, ON, Canada. Lecture Notes in Computer Science, 10263 (10263). Springer, Cham , pp. 249-259. ISBN 9783319594477

Chang, E.T.Y., Lin, Y.T., Galla, T. et al. (2 more authors) (2016) A Stochastic Individual-Based Model of the Progression of Atrial Fibrillation in Individuals and Populations. PLoS ONE, 11 (4). e0152349. ISSN 1932-6203

Cheah, L.A., Gilbert, J.M., Gonzalez, J.A. et al. (4 more authors) (2017) Towards an intraoral-based silent speech restoration system for post-laryngectomy voice replacement. In: Biomedical Engineering Systems and Technologies. BIOSTEC 2016 9th International Joint Conference on Biomedical Engineering Systems and Technologies, 21-23 February 2016, Rome. https://doi.org/10.1007/978-3-319-54717-6, 690 . , pp. 22-38. ISBN 9783319547169

Chelihi, M.A., Elutilo, A., Ahmed, I. et al. (2 more authors) (2017) An Android Cloud Storage Apps Forensic Taxonomy. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 285-305. ISBN 9780128053034

Cheng, F., Birder, L., Kullman, F.A. et al. (5 more authors) (2017) Layer dependent role of collagen recruitment during loading of the rat bladder wall. Biomechanics and Modeling in Mechanobiology. ISSN 1617-7959

Cheng, F., Robertson, A.M., Birder, L. et al. (4 more authors) (2017) An experimental approach for understanding the layer dependent role of collagen recruitment during loading in the rat bladder wall. In: Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 April 2017, Pittsburgh, United States. CMBE , pp. 396-399. ISBN 978-0-9562914-4-8

Child, N., Clayton, R.H. orcid.org/0000-0002-8438-7518, Roney, C.R. et al. (13 more authors) (2018) Unraveling the underlying arrhythmia mechanism in persistent atrial fibrillation: Results from the STARLIGHT study. Circulation: Arrhythmia and Electrophysiology, 11 (6). e005897. ISSN 1941-3149

Chimeh, M.K. and Richmond, P. orcid.org/0000-0002-4657-5518 (2018) Simulating heterogeneous behaviours in complex systems on GPUs. Simulation Modelling Practice and Theory, 83. pp. 3-17. ISSN 1569-190X

Chisholm, R. orcid.org/0000-0003-3379-9042, Richmond, P. and Maddock, S. (2017) A Standardised Benchmark for Assessing the Performance of Fixed Radius Near Neighbours. In: Euro-Par 2016: Parallel Processing Workshops. The 4th Workshop on Parallel and Distributed Agent-Based Simulations (PADABS), 22-26 Aug 2016, Grenoble, France. Springer, Cham , pp. 311-321. ISBN 978-3-319-58942-8

Christopher, L., Choo, K.-K.R. and Dehghantanha, A. (2017) Honeypots for employee information security awareness and education training: A conceptual EASY training model. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 111-129. ISBN 978-0-12-805303-4

Ciravegna, F. orcid.org/0000-0001-5817-4810, Gao, J., Ingram, C. et al. (3 more authors) (2018) Mapping Mobility to Support Crisis Management. In: Proceedings of the 15th ISCRAM Conference. 15th Annual Conference for Information Systems for Crisis Response and Management, 20-23 May 2018, Rochester NY, USA. . (In Press)

Ciravegna, F. orcid.org/0000-0001-5817-4810, Mazumdar, S., Ireson, N. et al. (1 more author) (2016) Seeing through the Eyes of the Citizens during Emergencies. In: The 12th International Conference on Information Systems for Crisis Response and Management. 12th International Conference on Information Systems for Crisis Response and Management, 23-25 May 2016, Rio de Janeiro, Brazil. International Association for Information Systems for Crisis Response and Management .

Clayton, R.H and Holden, A.V (2004) Filament behavior in a computational model of ventricular fibrillation in the canine heart. IEEE Transactions on Biomedical Engineering Bme, 51 (1). pp. 28-34. ISSN 0018-9294

Clayton, R.H. orcid.org/0000-0002-8438-7518 (2018) Dispersion of Recovery and Vulnerability to Re-entry in a Model of Human Atrial Tissue With Simulated Diffuse and Focal Patterns of Fibrosis. Frontiers in Physiology, 9. 1052.

Clayton, R.H. (2009) Influence of cardiac tissue anisotropy on re-entrant activation in computational models of ventricular fibrillation. Physica D-Nonlinear Phenomena, 238 (11-12). pp. 951-961. ISSN 0167-2789

Clayton, R.H. and Holden, A.V. (2005) Dispersion of cardiac action potential duration and the initiation of re-entry: A computational study. Biomedical Engineering Online, 4 (11). ISSN 1475-925X

Clayton, R.H. and Taggart, P. (2005) Regional differences in APD restitution can initiate wavebreak and re-entry in cardiac tissue: A computational study. BioMedical Engineering OnLine, 4 (54). ISSN 1475-925X

Clopath, C., Ziegler, L., Vasilaki, E. orcid.org/0000-0003-3705-7070 et al. (2 more authors) (2008) Tag-Trigger-Consolidation: A Model of Early and Late Long-Term-Potentiation and Depression. PLoS Computational Biology, 4 (12). e1000248. ISSN 1553-734X

Clough, P., Gaizauskas, R., Piao, S.S.L. et al. (1 more author) (2002) METER: MEasuring TExt Reuse. In: Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics. ACL-02, 7th - 12th July 2002, Philadelphia. ACL , 152 - 159.

Clough, P., Gaizauskas, R.J. and Piao, S.S. (2002) Building and annotating a corpus for the study of journalistic text reuse. In: LREC 2002. The Third International Conference on Language Resources and Evaluation, 29th - 31st May 2002, Las Palmas, Spain. European Language Resources Association , pp. 1678-1685.

Clough, P., Hall, M., Goodale, P. et al. (1 more author) (2015) Supporting Exploration and Use of Digital Cultural Heritage Materials: the PATHS Perspective. In: Ruthven, I. and Chowdhury, G.G., (eds.) Cultural Heritage Information: Access and management. Facet Publishing , 197 - 220. ISBN 9781856049306

Clough, P., Ireson, N. and Marlow, J. (2009) Extending Domain-Specific Resources to Enable Semantic Access to Cultural Heritage Data. Journal of Digital Information, 10 (6).

Clough, P., Sanderson, M., Abouammoh, M. et al. (2 more authors) (2009) Multiple approaches to analysing query diversity. In: Allan, J., Aslam, J.A., Sanderson, M., Zhai, C. and Zobel, J., (eds.) Proceedings of the 32nd International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR 2009, 19th - 23rd July 2009, Boston, Massachusetts. ACM , 734 - 735. ISBN 978-1-60558-483-6

Clough, P. and Stevenson, M. (2011) Developing a corpus of plagiarised short answers. Language Resources and Evaluation , 45 (1). pp. 5-24. ISSN 1574-020X

Clough, P. and Stevenson, M. (2003) Evaluating the Contribution of EuroWordNet and Word Sense Disambiguation to Cross-language Information Retrieval. In: Sojka, P., Pala, K., Smrz, P., Fellbaum, C. and Vossen, P., (eds.) Proceedings of GWC 2004: The Second Global Wordnet Conference. The Second Global Wordnet Conference 2004, 20th - 23rd January 2004, Brno, Czech Republic. , 97 - 105.

Cope, A.J. orcid.org/0000-0001-6042-1542, Sabo, C. orcid.org/0000-0002-3946-4609, Gurney, K. et al. (2 more authors) (2016) A Model for an Angular Velocity-Tuned Motion Detector Accounting for Deviations in the Corridor-Centering Response of the Bee. PLoS Comput Biol, 12 (5). e1004887. ISSN 1553-734X

Cope, A.J. orcid.org/0000-0001-6042-1542, Sabo, C. orcid.org/0000-0002-3946-4609, Vasilaki, E. et al. (2 more authors) (2017) A computational model of the integration of landmarks and motion in the insect central complex. PLoS One, 12 (2). e0172325.

Cope, A.J. orcid.org/0000-0001-6042-1542, Vasilaki, E. orcid.org/0000-0003-3705-7070, Minors, D. orcid.org/0000-0002-0527-3433 et al. (3 more authors) (2018) Abstract concept learning in a simple neural network inspired by the insect brain. PLoS Computational Biology, 14 (9). e1006435. ISSN 1553-7358

Corus, D., Dang, D.C., Eremeev, A.V. et al. (1 more author) (2014) Level-Based Analysis of Genetic Algorithms and Other Search Processes. In: Parallel Problem Solving from Nature – PPSN XIII. The 13th PPSN: International Conference on Parallel Problem Solving from Nature, September 13-17, 2014, Ljubljana, Slovenia. Lecture Notes in Computer Science (8672). Springer , pp. 912-921.

Corus, D., He, J., Jansen, T. et al. (3 more authors) (2017) On Easiest Functions for Mutation Operators in Bio-Inspired Optimisation. Algorithmica, 78 (2). pp. 714-740. ISSN 0178-4617

Corus, D., Lehre, P.K., Neumann, F. et al. (1 more author) (2016) A Parameterised Complexity Analysis of Bi-level Optimisation with Evolutionary Algorithms. Evolutionary Computation, 24 (1). pp. 183-203. ISSN 1063-6560

Corus, D. and Oliveto, P.S. (2017) Standard Steady State Genetic Algorithms Can Hillclimb Faster than Mutation-only Evolutionary Algorithms. IEEE Transactions on Evolutionary Computation. ISSN 1089-778X

Covantes Osuna, E. orcid.org/0000-0001-5991-6927, Gao, W., Neumann, F. et al. (1 more author) (2018) Design and analysis of diversity-based parent selection schemes for speeding up evolutionary multi-objective optimisation. Theoretical Computer Science. ISSN 0304-3975

Covantes Osuna, E., Gao, W., Neumann, F. et al. (1 more author) (2017) Speeding Up Evolutionary Multi-objective Optimisation Through Diversity-Based Parent Selection. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 17). Genetic and Evolutionary Computation Conference (GECCO 2017), 15/07/2017 - 19/07/2017, Berlin. ACM , pp. 553-560.

Covantes Osuna, E. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2017) Analysis of the Clearing Diversity-Preserving Mechanism. In: FOGA '17 Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms (FOGA '17), 12-15 Jan 2017, Copenhagen, Denmark. Association for Computing Machinery . ISBN 978-1-4503-4651-1

Covantes Osuna, E. orcid.org/0000-0001-5991-6927 and Sudholt, D. orcid.org/0000-0001-6020-1646 (2018) Empirical analysis of diversity-preserving mechanisms on example landscapes for multimodal optimisation. In: Auger, A., Fonseca, C., Lourenço, N., Machado, P., Paquete, L. and Whitley, D., (eds.) Parallel Problem Solving from Nature – PPSN XV. PPSN 2018: 15th International Conference on Parallel Problem Solving from Nature, 08-12 Sep 2018, Coimbra, Portugal. Lecture Notes in Computer Science, 11102 . Springer Verlag , pp. 207-219. ISBN 9783319992587

Covantes Osuna, E. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2018) On the Runtime Analysis of the Clearing Diversity-Preserving Mechanism. Evolutionary Computation. ISSN 1063-6560

Covantes Osuna, E. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2018) Runtime Analysis of Probabilistic Crowding and Restricted Tournament Selection for Bimodal Optimisation. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2018). Genetic and Evolutionary Computation Conference (GECCO 2018), 15-19 Jul 2018, Kyoto, Japan. ACM . ISBN 978-1-4503-5618-3

Coveney, S. and Clarke, N. (2014) Pattern Formation in Polymer Blend Thin Films: Surface Roughening Couples to Phase Separation. Physical Review Letters, 113. 218301. ISSN 0031-9007

Coveney, S. and Clayton, R.H. orcid.org/0000-0002-8438-7518 (2018) Fitting two human atrial cell models to experimental data using Bayesian history matching. Progress in Biophysics & Molecular Biology. ISSN 0079-6107

Crampin, E.J., Smith, N.P., Langham, A.E. et al. (2 more authors) (2006) Acidosis in models of cardiac ventricular myocytes. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 364 (1842). pp. 1171-1186. ISSN 1471-2962

Csuhaj-Varjú, E., Gheorghe, M., Stannett, M. orcid.org/0000-0002-2794-8614 et al. (1 more author) (2015) Spatially Localised Membrane Systems. Fundamenta Informaticae, 138 (1-2). pp. 193-205. ISSN 0169-2968

Cunningham, H. orcid.org/0000-0001-5901-5483, Tablan, V., Roberts, A. et al. (1 more author) (2013) Getting More out of Biomedical Documents with GATE's Full Lifecycle Open Source Text Analytics. PLoS Computational Biology, 9 (2). e1002854. ISSN 1553-734X

Cunningham, S., Green, P., Christensen, H. orcid.org/0000-0003-3028-5062 et al. (5 more authors) (2017) Cloud-Based Speech Technology for Assistive Technology Applications (CloudCAST). Studies in Health Technology and Informatics, 242. pp. 322-329. ISSN 0926-9630

D

Dadzie, A.S., Bhagdev, R., Chakravarthy, A. et al. (6 more authors) (2009) Applying semantic web technologies to knowledge sharing in aerospace engineering. Journal of Intelligent Manufacturing, 20 (5). pp. 611-623. ISSN 0956-5515

Dadzie, Aba-Sah, Bhagdev, R., Chakravarthy, A. et al. (6 more authors) (2009) Applying semantic web technologies to knowledge sharing in aerospace engineering. Journal of Intelligent Manufacturing, 20 (5). pp. 611-623. ISSN 0956-5515 (Print) 1572-8145 (Online)

Damianou, A., Ek, C.H., Boorman, L. orcid.org/0000-0001-5189-0232 et al. (2 more authors) (2015) A Top-Down Approach for a Synthetic Autobiographical Memory System. In: Biomimetic and Biohybrid Systems. 4th International Conference, Living Machines 2015, July 28 - 31, 2015, Barcelona, Spain. Lecture Notes in Computer Science, 9222 . Springer International Publishing , pp. 280-292. ISBN 978-3-319-22978-2

Damianou, A. and Lawrence, N.D. (2015) Semi-described and semi-supervised learning with Gaussian processes. (Unpublished)

Damianou, A.C. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2013) Deep Gaussian Processes. In: Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics. Sixteenth International Conference on Artificial Intelligence and Statistics, 29th April - 1st May 2013, Scottsdale, AZ, USA. JMLR Workshop and Conference Proceedings, 31 . JMLR .

Damianou, A.C., Titsias, M.K. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2016) Variational inference for latent variables and uncertain inputs in Gaussian processes. Journal of Machine Learning Research, 17. ISSN 1532-4435

Dandapani, S., Gundiah, N., Luo, X.Y. et al. (1 more author) (2017) A constrained mixture model of the left ventricle and its application to simulating myocardial infarction. In: Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 April 2017, Pittsburgh, United States. CMBE , pp. 1273-1276. ISBN 978-0-9562914-4-8

Dang, D., Friedrich, T., Kötzing, T. et al. (5 more authors) (2016) Emergence of Diversity and its Benefits for Crossover in Genetic Algorithms. In: Parallel Problem Solving from Nature – PPSN XIV. Parallel Problem Solving from Nature (PPSN 2016), 17th - 21st Sep, 2016, Edinburgh, UK. Lecture Notes in Computer Science, 9921 . Springer International Publishing .

Dang, D.C., Friedrich, T., Kötzing, T. et al. (5 more authors) (2017) Escaping Local Optima Using Crossover with Emergent Diversity. IEEE Transactions on Evolutionary Computation. ISSN 1089-778X

Dargahi, T., Dehghantanha, A. and Conti, M. (2017) Forensics Analysis of Android Mobile VoIP Apps. In: Choo, K.-K.R. and Dehghantanha , A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 7-20. ISBN 9780128053034

Dargahi, T., Dehghantanha, A. and Conti, M. (2017) Investigating Storage as a Service Cloud Platform: pCloud as a Case Study. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 185-204. ISBN 9780128053034

Dashevskyi, S., Brucker, A.D. and Massacci, F. (2016) On the Security Cost of Using a Free and Open Source Component in a Proprietary Product. In: Caballero, J., Bodden, E. and Athanasopoulos, E., (eds.) Engineering Secure Software and Systems. ESSoS, 06-08 Apr 2016, London, UK. Lecture Notes in Computer Science (9639 ). Springer Verlag (Germany) , pp. 190-206. ISBN 978-3-642-11746-6

Dashevskyi, S., Brucker, A.D. orcid.org/0000-0002-6355-1200 and Massacci, F. (2018) A Screening Test for Disclosed Vulnerabilities in FOSS Components. IEEE Transactions on Software Engineering. ISSN 0098-5589

Dautov, R., Paraskakis, I. and Stannett, M. (2014) Towards a framework for monitoring cloud application platforms as sensor networks. Cluster Computing, 17 (4). 1203 - 1213. ISSN 1386-7857

Dautov, R., Paraskakis, I. and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2014) Utilising stream reasoning techniques to underpin an autonomous framework for cloud application platforms. Journal of Cloud Computing: Advances, Systems and Applications, 3. 13.

Dautov, R., Paraskakis, I. and Stannett, M.P. A monitoring and analysis framework to support self-management in cloud application platforms. In: UNSPECIFIED. (In Press)

Davidge, K.S., Sanguinetti, G., Yee, C.H. et al. (6 more authors) (2009) Carbon monoxide-releasing antibacterial molecules target respiration and global transcriptional regulators. Journal of Biological Chemistry, 284 (7). pp. 4516-4524. ISSN 0021-9258

Deena, S., Hasan, M., Doulaty, M. et al. (2 more authors) (2016) Combining feature and model-based adaptation of RNNLMs for multi-genre broadcast speech recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 8-12 Sept 2016, San Francisco, USA. , pp. 2343-2347.

Deena, S., Ng, R.W.M., Madhyashta, P. et al. (2 more authors) (2017) Semi-supervised adaptation of RNNLMs by fine-tuning with domain-specific auxiliary features. In: Proceedings of INTERSPEECH 2017: Conference of the International Speech Communication Association. INTERSPEECH 2017: Conference of the International Speech Communication Association, 20 - 24 Aug 2017, Stockholm. ISCA , pp. 2715-2719.

Deena, S., Ng, R.W.M., Madhyashtha, P. et al. (2 more authors) (2018) Exploring the use of Acoustic Embeddings in Neural Machine Translation. In: Proceedings of IEEE Automatic Speech Recognition and Understanding Workshop. 2017 IEEE Automatic Speech Recognition and Understanding Workshop, December 16-20, 2017, Okinawa, Japan. IEEE . ISBN 978-1-5090-4788-8

Dehghantanha, A., Azmoodeh , A. and Choo, K.-K.R. (2018) Robust Malware Detection for Internet Of (Battlefield) Things Devices Using Deep Eigenspace Learning. IEEE Transactions on Sustainable Computing. ISSN 2377-3782

Demetriou, G., Skadina, I., Keskustalo, H. et al. (6 more authors) (2004) Cross-lingual document retrieval categorisation and navigation based on distributed services. In: Proceedings of the First Baltic Conference. Human Language Technologies – the Baltic Perspective, April 21 and 22, 2004, Rīga, Latvia. .

Derczynski, L., Augenstein, I. and Bontcheva, K. (2015) USFD: Twitter NER with Drift Compensation and Linked Data. In: Proceedings of the ACL 2015 Workshop on Noisy User-generated Text. ACL 2015 Workshop on Noisy User-generated Text (W-NUT), 31 July, 2015, Beijing, China. Association for Computational Linguistics , pp. 48-53.

Derczynski, L. and Bontcheva, K. (2015) Efficient named entity annotation through pre-empting. In: International Conference Recent Advances in Natural Language Processing, RANLP. Recent Advances in Natural Language Processing, 5-11 Sep, 2015, Hissar, Bulgaria. Association for Computational Linguistics , pp. 123-130.

Derczynski, L., Bontcheva, K., Liakata, M. et al. (3 more authors) (2017) SemEval-2017 Task 8: RumourEval: Determining rumour veracity and support for rumours. In: Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017). 11th International Workshop on Semantic Evaluation (SemEval-2017), 03-04 Aug 2017, Vancouver, Canada. Association for Computational Linguistics , pp. 69-76.

Derczynski, L. and Chester, S. Generalised Brown Clustering and Roll-Up Feature Generation. In: Proceedings of the conference of the Association for Advancement of Artificial Intelligence. UNSPECIFIED. .

Derczynski, L., Chester, S. and Bøgh, K.S. (2015) Tune your brown clustering, please. In: International Conference Recent Advances in Natural Language Processing, RANLP. Recent Advances in Natural Language Processing, Sep 7–9 2015, Hissar, Bulgaria. Association for Computational Linguistics , pp. 110-117.

Derczynski, L., Maynard, D., Rizzo, G. et al. (5 more authors) (2014) Analysis of named entity recognition and linking for tweets. Information Processing & Management, 51 (2). 32 - 49. ISSN 0306-4573

Derczynski, L., Meesters, K., Bontcheva, K. orcid.org/0000-0001-6152-9600 et al. (1 more author) (2018) Helping Crisis Responders Find the Informative Needle in the Tweet Haystack. arXiv. (Submitted)

Derczynski, L., Strötgen, J., Campos, R. et al. (1 more author) (2015) Time and information retrieval: Introduction to the special issue. Information Processing and Management, 51 (6). 786 -790. ISSN 0306-4573

Derrick, J., Doherty, S., Dongol, B. et al. (3 more authors) (2017) Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects of Computing. pp. 1-29. ISSN 0934-5043

Derrick, J., North, S. and Simons, A.J.H. (2008) Z2SAL-building a model checker for Z. In: Borger, E., Butler, M., Bowen, J.P. and Boca, P., (eds.) Abstract State Machines, B and Z, Proceedings of. ABZ 2008, September 16-18, 2008, London, UK. Springer , 280 - 293. ISBN 978-3-540-87602-1

Derrick, J., North, S. and Simons, A.J.H. (2011) Z2SAL: a translation-based model checker for Z. Formal Aspects of Computing, 23 (1). pp. 43-71. ISSN 0934-5043

Derrick, J. and Smith, G. (2017) An observational approach to defining linearizability on weak memory models. In: Bouajjani, A. and Silva , A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017. 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 19-22 June 2017, Neuchâtel, Switzerland. Lecture Notes in Computer Science (10321). Springer, Cham , pp. 108-123. ISBN 9783319602240

Derrick, J., Smith, G. and Dongol, B. (2014) Verifying Linearizability on TSO Architectures. In: Integrated Formal Methods. IFM: International Conference on Integrated Formal Methods. iFM 2014: The 11th International Conference on Integrated Formal Methods, 09/09/2014-11/09/2014, Bertinoro, Italy. Lecture Notes in Computer Science , 8739 . Springer Verlag , pp. 341-356. ISBN 978-3-319-10180-4

Derrick, J., Smith, G., Groves, L. et al. (1 more author) (2014) Using coarse-grained abstractions to verify linearizability on TSO architectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8855. pp. 1-16. ISSN 0302-9743

Dewar, M.A., Kadirkamanathan, V., Opper, M. et al. (1 more author) (2010) Parameter estimation and inference for stochastic reaction-diffusion systems: application to morphogenesis in D. melanogaster. BMC Systems Biology , 4. Art no.21. ISSN 1752-0509

Dey, T.K., Peng, P. orcid.org/0000-0003-2700-5699, Rossi, A. et al. (1 more author) (2019) Spectral concentration and greedy k-clustering. Computational Geometry, 76. pp. 19-32. ISSN 0925-7721

Dietzel, A. and Maynard, D. (2015) Climate Change: A Chance for Political Re-Engagement? In: 65th PSA Annual International Conference, 30 March - 1 April 2015, Sheffield, UK. (Unpublished)

Doerr, B., Lissovoi, A., Oliveto, P.S. et al. (1 more author) (2018) On the runtime analysis of selection hyper-heuristics with adaptive learning periods. In: Aguirre, H.E. and Takadama, K., (eds.) GECCO '18 Proceedings of the Genetic and Evolutionary Computation Conference. GECCO '18 Genetic and Evolutionary Computation Conference, 15-19 Jul 2018, Kyoto, Japan. ACM , pp. 1015-1022. ISBN 978-1-4503-5618-3

Doherty, S and Derrick, J (2016) Linearizability and Causality. In: SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016. 14th International Conference, SEFM 2016, July 4-8, 2016, Vienna, Austria. , pp. 45-60. ISBN 978-3-319-41590-1

Doherty, S., Dongol, B., Derrick, J. et al. (2 more authors) (2017) Proving opacity of a pessimistic STM. In: Fatourou , P., Jiménez, E. and Pedone, F., (eds.) Leibniz International Proceedings in Informatics. 20th International Conference on Principles of Distributed Systems (OPODIS 2016), December 13-16, 2016, Madrid, Spain. Dagstuhl Publishing , Germany , 35.1-35.17. ISBN 9783959770316

Donaldson, I. J., Amin, S., Hensman, J. J. et al. (6 more authors) (2012) Genome-wide occupancy links Hoxa2 to Wnt-beta-catenin signaling in mouse embryonic development. Nucleic Acids Research , 40 (9). pp. 3990-4001. ISSN 0305-1048

Dongol, B. and Derrick, J. (2015) Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems. Science of Computer Programming, 111. pp. 214-247. ISSN 0167-6423

Dongol, B., Derrick, J. and Smith, G. (2014) Reasoning Algebraically About Refinement on TSO Architectures. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 8687. pp. 151-168. ISSN 0302-9743

Doulaty, M., Saz, O., Ng, R.W.M. et al. (1 more author) (2016) Automatic Genre and Show Identification of Broadcast Media. In: Proceedings of the 17th Annual Conference of the International Speech Communication Association (Interspeech). Interspeech 2016, 8-12 Sep 2016, San Francisco. ISCA .

Doulaty, M., Saz, O., Ng, R.W.M. et al. (1 more author) (2015) Latent Dirichlet Allocation Based Organisation of Broadcast Media Archives for Deep Neural Network Adaptation. In: Proceedings of the 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU). 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), 13-17 Dec. 2015, Scottsdale, AZ. IEEE , pp. 130-136. ISBN 978-1-4799-7291-3

Doulaty Bashkand, M., Saz, O. and Hain, T. (2015) Data-Selective Transfer Learning for Multi-Domain Speech Recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 16th Annual Conference of the International Speech Communication Association, 6-10 September 2015, Dresden, Germany. ISCA (International Speech Communication Association) , pp. 2897-2901.

Doulaty Bashkand, M., Saz, O. and Hain, T. (2015) Unsupervised Domain Discovery Using Latent Dirichlet Allocation for Acoustic Modelling in Speech Recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 16th Annual Conference of the International Speech Communication Association, 6-10 September 2015, Dresden, Germany. ISCA (International Speech Communication Association) , pp. 3640-3644.

Doyle, M., Xu, X., Gu, Y. et al. (3 more authors) (2016) Modular Hydraulic Propulsion: A Robot that Moves by Routing Fluid Through Itself. In: 2016 IEEE International Conference on Robotics and Automation. 2016 IEEE International Conference on Robotics and Automation (ICRA 2016), 16 May - 21 May, 2016, Stockholm, Sweden. IEEE , pp. 5189-5196.

Duque, A., Stevenson, R.M. orcid.org/0000-0002-9483-6006, Martinez-Romo, J. et al. (1 more author) (2018) Co-occurrence graphs for word sense disambiguation in the biomedical domain. Artificial Intelligence in Medicine. ISSN 0933-3657

Durrande, N., Hensman, J., Rattray, M. et al. (1 more author) (2016) Detecting periodicities with Gaussian processes. PeerJ Computer Science, 2. e50. ISSN 2376-5992

de La Gorce, M., Williams, T., Rogers, M. et al. (1 more author) (2012) Real-time Video-based Character Animation. In: Pucher, M., Cosker, D., Hofer, G., Berger, M. and Smith, W., (eds.) Proceedings of the 3rd Symposium on Facial Analysis and Animation. FAA: The 3rd International Symposium on Facial Analysis and Animation, 21 September 2012, Vienna, Austria. ACM International Conference Proceeding Series . Association for Computing Machinery (ACM) . ISBN 978-1-4503-1793-1

E

Eftonova, T., Kiran, M. and Stannett, M. orcid.org/0000-0002-2794-8614 (2017) Long-term Macroeconomic Dynamics of Competition in the Russian Economy using Agent- based Modelling. International Journal of System Dynamics Applications, 6 (1). pp. 1-20. ISSN 2160-9772

Eiben, E., Ganian, R., Knop, D. et al. (1 more author) (2018) Unary Integer Linear Programming with Structural Restrictions. In: Lang, J., (ed.) International Joint Conferences on Artificial Intelligence Organization (IJCAI). International Joint Conferences on Artificial Intelligence Organization , 13-19 Jul 2018, Stockholm. IJCAI , pp. 1284-1290. ISBN 978-0-9992411-2-7

Eiben, E., Ganian, R. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2018) A Structural Approach to Activity Selection. In: Lang, J., (ed.) International Joint Conferences on Artificial Intelligence Organization. International Joint Conferences on Artificial Intelligence Organization 2018, 13-19 Jul 2018, Stockholm. IJCAI , pp. 203-209. ISBN 978-0-9992411-2-7

Elbedweihy, K.M., Wrigley, S.N., Clough, P. et al. (1 more author) (2015) An overview of semantic search evaluation initiatives. Web Semantics: Science, Services and Agents on the World Wide Web, 30. 82 - 105. ISSN 1570-8268

Eleftherakis, G., Pappas, D., Lagkas, T. et al. (2 more authors) (2015) Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor Networks. International Journal of Distributed Sensor Networks. 139735. ISSN 1550-1329

Epiphaniou, G., Karadimas, P., Ismail, D.K.B. et al. (3 more authors) (2017) Non-reciprocity compensation combined with turbo codes for secret key generation in vehicular ad hoc social IoT networks. IEEE Internet of Things Journal.

Epton, T., Norman, P., Sheeran, P. et al. (10 more authors) (2013) A theory-based online health behavior intervention for new university students: study protocol. BMC Public Health, 13. 107. ISSN 1471-2458

Eriksson, T.S.E., Watton, P. orcid.org/0000-0002-5531-5953, Luo, X.Y. et al. (1 more author) (2014) Modelling volumetric growth in a thick walled fibre reinforced artery. Journal of the Mechanics and Physics of Solids, 73. pp. 134-150. ISSN 0022-5096

Errattahi, R., El Hannani, A., Ouahmane, H. et al. (1 more author) (2016) Automatic Speech Recognition Errors Detection Using Supervised Learning Techniques. In: 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA). 13th International Conference of Computer Systems and Applications (AICCSA), Nov 29 – Dec 02, 2016, Agadir, Morocco. IEEE .

Esposito, U., Giugliano, M. and Vasilaki, E. orcid.org/0000-0003-3705-7070 (2015) Adaptation of short-term plasticity parameters via error-driven learning may explain the correlation between activity-dependent synaptic properties, connectivity motifs and target specificity. Frontiers in Computational Neurscience, 8. 175. ISSN 1662-5188

Esposito, U., Giugliano, M., van Rossum, M. et al. (1 more author) (2014) Measuring symmetry, asymmetry and randomness in neural network connectivity. PLOS ONE, 9 (7). e100805. ISSN 1932-6203

Esposito, U. and Vasilaki, E. (2015) Detection of multiple and overlapping bidirectional communities within large, directed and weighted networks of neurons. (Unpublished)

Eze, P.U., Walker, D.C. and Achumba, I.E. (2016) Constructive Initialization of a Genetic Algorithm for the Solution of a Highly Constrained Departmental Timetabling Problem. International Journal of Soft Computing and Engineering, 6 (4). pp. 18-25. ISSN 2231-2307

Ezeani, I., Hepple, M. orcid.org/0000-0003-1488-257X and Onyenwe, I. (2016) Automatic Restoration of Diacritics for Igbo Language. In: Sojka, P., Horák, A., Kopeček, I. and Pala, K., (eds.) Text, Speech, and Dialogue. Text, Speech, and Dialogue (TSD 2016), 12 - 16 Sep 2016, Brno, CzechRepublic. Lecture Notes in Computer Science, 9924 . Springer International Publishing , pp. 198-205. ISBN 978-3-319-45510-5

Ezeani, I., Hepple, M.R. orcid.org/0000-0003-1488-257X and Onyenwe, I. (2017) Lexical Disambiguation of Igbo using Diacritic Restoration. In: Proceedings of the 1st Workshop on Sense, Concept and Entity Representations and their Applications. Conference of the European Chapter of the Association for Computational Linguistics, 03-07 Apr 2017, Valencia, Spain. Association for Computational Linguistics , pp. 53-60.

F

Farooqi, N. and North, S. (2014) Time cost evaluation of trust based access control for XML databases. In: 2014 9th International Conference for Internet Technology and Secured Transactions, ICITST 2014. 2014 9th International Conference for Internet Technology and Secured Transactions (ICITST), 8-10 Dec. 2014, London, UK. IEEE , pp. 324-326. ISBN 9781908320391

Fawcett, T.W., Marshall, J.A.R. and Higginson, A.D. (2015) The Evolution of Mechanisms Underlying Behaviour. Current Zoology, 61 (2). 221 - 225. ISSN 1674-5507

Felderer, M., Büchlein, M., Johns, M. et al. (3 more authors) (2015) Security Testing: A Survey. In: Memon, A., (ed.) Advances in Computers, Volume 101. Elsevier , Cambridge, MA, USA , pp. 1-51. ISBN 9780128051580

Fernandez, M., Piccolo, L., Alani, H. et al. (3 more authors) (2017) Pro-environmental campaigns via social media: analysing awareness and behaviour patterns. Journal of Web Science, 3 (1).

Fernandez-Fernandez, C.A. and Simons, A.J.H. (2014) An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method. Journal of Applied Research and Technology, 12 (5). pp. 908-918. ISSN 1665-6423

Fernando, S., Collins, E.C., Duff, A. et al. (3 more authors) (2014) Optimising robot personalities for symbiotic interaction. In: Biomimetic and Biohybrid Systems. Third International Conference, Living Machines 2014, July 30 – August 1, 2014, Milan, Italy. Lecture Notes in Computer Science, 8608 . Springer International Publishing , pp. 392-395. ISBN 9783319094342

Fernando, S., Moore, R.K. orcid.org/0000-0003-0065-3311, Cameron, D. et al. (4 more authors) (2016) Automatic recognition of child speech for robotic applications in noisy environments. arXiv. (Submitted)

Ferreira, W. and Vlachos, A. orcid.org/0000-0003-2123-5071 (2016) Emergent: a novel data-set for stance classification. In: Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. The 15th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 12-17 June 2016, San Diego, CA, USA. ACL . ISBN 978-1-941643-91-4

Filippone, M. (2009) Dealing with non-metric dissimilarities in fuzzy central clustering algorithms. International Journal of Accounting, 50 (2). pp. 363-384. ISSN 0020-7063

Filippone, M., Camastra, F., Masulli, F. et al. (1 more author) (2008) A survey of kernel and spectral methods for clustering. Pattern Recognition, 41 (1). pp. 176-190. ISSN 0031-3203

Filippone, M. and Sanguinetti, G. (2010) Information theoretic novelty detection. Pattern Recognition, 43 (3). pp. 805-814. ISSN 0031-3203

Fischer, T., Puigbò, J.Y., Camilleri, D. et al. (7 more authors) (2018) iCub-HRI: A software framework for complex human-robot interaction scenarios on the iCub humanoid robot. Frontiers in Robotics and AI, 5.

Fomicheva, M. and Specia, L. orcid.org/0000-0002-5495-3128 (2016) Reference bias in monolingual machine translation evaluation. In: 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Short Papers. The 54th Annual Meeting of the Association for Computational Linguistics, 07-12 Aug 2016, Berlin, Germany. ACL Home Association for Computational Linguistics , pp. 77-82. ISBN 9781510827592

Font Llenas, A., Talamali, M., Xu, X. et al. (2 more authors) (2018) Quality-Sensitive Foraging by a Robot Swarm through Virtual Pheromone Trails. In: Swarm Intelligence (ANTS 2018). 11th International Conference on Swarm Intelligence (ANTS 2018), 29-31 Oct 2018, Rome, Italy. Lecture Notes in Computer Science, 11172 (11172 ). Springer Verlag . (In Press)

Foster, Simon and Struth, Georg (2011) Integrating an Automated Theorem Prover into Agda. In: NASA Formal Methods Symposium. NASA Formal Methods Symposium, 18-20 April 2011, Pasadena, CA. Lecture Notes in Computer Science (6617). Springer , pp. 116-130.

Fox, C.W., Liu, Y., Zwyssig, E. et al. (1 more author) (2013) The Sheffield Wargames Corpus. In: Proceedings of Interspeech 2013. Interspeech 2013, 25-29 August 2013, Lyon, France. ISCA .

Frank, S., Elliott, D. and Specia, L. orcid.org/0000-0002-5495-3128 (2018) Assessing multilingual multimodal image description: Studies of native speaker preferences and translator choices. Natural Language Engineering, 24 (3). pp. 393-413. ISSN 1351-3249

Fraser, G. and Arcuri, A. (2015) 1600 faults in 100 projects: automatically finding faults while achieving high coverage with EvoSuite. Empirical Software Engineering, 20 (3). 611 - 639. ISSN 1382-3256

Fraser, G. and Arcuri, A. (2014) Achieving scalable mutation-based generation of whole test suites. Empirical Software Engineering, 20 (3). 783 - 812. ISSN 1382-3256

Fraser, G. and Arcuri, A. (2016) EvoSuite at the SBST 2016 Tool Competition. In: Proceedings of the 9th International Workshop on Search-Based Software Testing. 9th International Workshop on Search-Based Software Testing, 14/05/2016 - 22/05/2016, Austin, Texas. Association for Computing Machinery , pp. 33-36. ISBN 978-1-4503-4166-0

Fraser, G., Arcuri, A. and McMinn, P. (2014) A Memetic Algorithm for whole test suite generation. Journal of Systems and Software, 103. 311 - 327. ISSN 0164-1212

Fraser, G., Latoza, T.D. and Mariani, L. (2015) 2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015). In: Proceedings - International Conference on Software Engineering. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 16-24 May 2015, Florence, Italy. IEEE , pp. 975-976. ISBN 9781479919345

Fraser, G., McMinn, P. and Arcuri, A. (2014) A Memetic Algorithm for whole test suite generation. Journal of Systems and Software. ISSN 0164-1212

Fraser, G., McMinn, P., Staats, M. et al. (2 more authors) (2013) Does automated white-box test generation really help software testers? 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. 291 - 301.

Fraser, G., Staats, M., McMinn, P. et al. (2 more authors) (2015) Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. ACM Transactions on Software Engineering and Methodology, 24 (4). 23. ISSN 1049-331X

Fraser, G. and Walkinshaw, N. (2015) Assessing and generating test sets in terms of behavioural adequacy. Software Testing Verification and Reliability, 25 (8). pp. 749-780. ISSN 0960-0833

Fullstone, G., Wood, J., Holcombe, M.. et al. (1 more author) (2015) Modelling the Transport of Nanoparticles under Blood Flow using an Agent-based Approach. Scientific Reports, 5. 10649 . ISSN 2045-2322

Funk, A., Aker, A., Barker, E. et al. (3 more authors) (2017) The SENSEI Overview of Newspaper Readers’ Comments. In: Jose, J.M., Hauff, C., Alt ingovde, I.S., Song, D., Albakour, D., Watt, S. and Tait, J., (eds.) Advances in Information Retrieval. ECIR 2017. 39th European Conference on IR Research, ECIR 2017, 08-13 Apr 2017, Aberdeen, UK. Lecture Notes in Computer Science (10193). Springer , pp. 758-761. ISBN 978-3-319-56608-5

Fusi, N., Lippert, C., Lawrence, N.D. orcid.org/0000-0001-9258-1030 et al. (1 more author) (2014) Warped linear mixed models for the genetic analysis of transformed phenotypes. Nature Communications , 5. 4890.

Fusi, N., Stegle, O. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2012) Joint Modelling of Confounding Factors and Prominent Genetic Regulators Provides Increased Accuracy in Genetical Genomics Studies. PLoS Computational Biology, 8 (1). e1002330. ISSN 1553-734X

G

Gaizauskas, R., Demetriou, G., Artymiuk, P.J. et al. (1 more author) (2003) Protein structures and information extraction from biological texts: The PASTA system. Bioinformatics, 19 (1). 135 - 143. ISSN 1367-4803

Gaizauskas, R., Paramita, M.L., Barker, E. et al. (3 more authors) (2015) Extracting bilingual terms from the Web. Terminology, 21 (2). pp. 205-236. ISSN 0929-9971

Gajarsky, J., Hlineny, P., Obdrzalek, J. et al. (5 more authors) (2017) Kernelization using structural parameters on sparse graph classes. Journal of Computer and System Sciences, 84. pp. 219-242. ISSN 0022-0000

Galeotti, J.P., Furia, C.A., May, E. et al. (2 more authors) (2015) Inferring loop invariants by mutation, dynamic analysis, and static checking. IEEE Transactions on Software Engineering, 41 (10). 1019 - 1037. ISSN 0098-5589

Gambardella, G., Peluso, I., Montefusco, S. et al. (4 more authors) (2015) A reverse-engineering approach to dissect post-translational modulators of transcription factor's activity from transcriptional data. BMC Bioinformatics, 16. 279. ISSN 1471-2105

Gamito, M.N. and Maddock, S.C. (2006) Anti-aliasing with stratified B-spline filters of arbitrary degree. Computer Graphics Forum, 25 (2). pp. 163-172. ISSN 1467-8659

Gamito, M.N. and Maddock, S.C. (2007) Progressive refinement rendering of implicit surfaces. Computers & Graphics, 31 (5). pp. 698-709. ISSN 0097-8493

Gamito, M.N. and Maddock, S.C. (2007) Ray casting implicit fractal surfaces with reduced affine arithmetic. The Visual Computer, 23 (3). pp. 155-165. ISSN 1432-2315

Gamito, M.N. and Maddock, S.C. (2007) Topological correction of hypertextured implicit surfaces for ray casting. In: IEEE International Conference on Shape Modeling and Applications. IEEE International Conference on Shape Modeling and Applications, 13 -15 June 2007, Lyon, France. IEEE , pp. 103-112. ISBN 0-7695-2815-5

Gamito, M.N. and Maddock, S.C. (2008) Topological correction of hypertextured implicit surfaces for ray casting. The Visual Computer, 24 (6). pp. 397-409. ISSN 1432-2315

Gamito, M.N. and Maddock, S.C. (2007) A progressive refinement approach for the visualisation of implicit surfaces. In: Braz, J., Ranchordas, A., Araújo, H. and Jorge, J., (eds.) Advances in Computer Graphics and Computer Vision : International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers. Communications in Computer and Information Science, 4 (Part 3). Springer , Berlin Heidelberg , pp. 93-108. ISBN 978-3-540-75274-5

Gandhi, S.V., Walker, D.C., Brown, B.H. et al. (1 more author) (2006) Comparison of human uterine cervical electrical impedance measurements derived using two tetrapolar probes of different sizes. BioMedical Engineering OnLine, 5 (62). ISSN 1475-925X

Ganian, R., Kanj, I.A., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (1 more author) (2018) Parameterized Algorithms for the Matrix Completion Problem. In: Dy, J.G. and Krause, A., (eds.) Proceedings of Machine Learning Research. International Conference on Machine Learning, 10-15 Jul 2018, Stockholmsmässan, Stockholm Sweden. Proceedings of Machine Learning Research , pp. 1642-1651.

Ganian, R. and Ordyniak, S. orcid.org/0000-0003-1935-651X (2018) The complexity landscape of decompositional parameters for ILP. Artificial Intelligence, 257. pp. 61-71. ISSN 0004-3702

Gao, J. and Mazumdar, S. (2016) Exploiting Linked Open Data to Uncover Entity Types. In: Gandon, F., Cabrio, E., Stankovic, M. and Zimmermann, A., (eds.) Semantic Web Evaluation Challenges. Second SemWebEval Challenge at ESWC 2015, May 31 - June 4, 2015, Portorož, Slovenia. 548, 548 . Springer International Publishing , pp. 51-62. ISBN 978-3-319-25517-0

Gao, J., Zhang, Z. and Gentile, A.L. The LODIE team (University of Sheffield) Participation at the TAC2015 Entity Discovery Task of the Cold Start KBP Track. In: Proceedings of the 2015 Text Analysis Conference. TAC Knowledge Base Population (KBP) 2015, 16-17 Nov 2015, Gaithersburg, Maryland USA. . (Submitted)

Garcia, H.F., Alvarez Lopez, M.A. and Orozco, A.A. (2017) Dynamic Facial Landmarking Selection for Emotion Recognition using Gaussian Processes. Journal on Multimodal User Interfaces, 11 (4). pp. 327-340. ISSN 1783-8738

García, H.F., Álvarez, M.A. orcid.org/0000-0002-8980-4472 and Orozco, Á.A. (2017) Bayesian optimization for fitting 3D morphable models of brain structures. In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. CIARP 2016. 21st Iberoamerican Congress, CIARP 2016, 08/11/2016-11/11/2016, Lima, Peru. Lecture Notes in Computer Science, 10125 . Springer Verlag , pp. 291-299. ISBN 9783319522760

Gaspers, S., Misra, N., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (2 more authors) (2017) Backdoors into heterogeneous classes of SAT and CSP. Journal of Computer and System Sciences, 85. pp. 38-56. ISSN 0022-0000

Gehring, T., Luksys, G., Sandi, C. et al. (1 more author) (2015) Detailed classification of swimming paths in the Morris Water Maze: multiple strategies within one trial. Scientific Reports, 5. 14562 . ISSN 2045-2322

Gehring, T., Vasilaki, E. and Giugliano, M. (2015) Highly Scalable Parallel Processing of Extracellular Recordings of Multielectrode Arrays. In: Engineering in Medicine and Biology Society (EMBC), 2015 37th Annual International Conference of the IEEE. 37th Annual International Conference of the IEEE, 25-29 Aug. 2015, Milan, Italy. IEEE .

Gentile, A.L., Zhang, Z. and Ciravegna, F. (2015) Early Steps Towards Web Scale Information Extraction with LODIE. AI Magazine, 36 (1). 55 - 64.

Georgopoulos, N.T., Kirkwood, L.A., Walker, D.C. orcid.org/0000-0001-8801-8093 et al. (1 more author) (2010) Differential Regulation of Growth-Promoting Signalling Pathways by E-Cadherin. PLoS One, 5 (10). e13621. ISSN 1932-6203

Gheorghe, M., Konur, S., Ipate, F. et al. (3 more authors) (2015) An integrated model checking toolset for kernel P systems. In: Lecture Notes in Computer Science. 16th International Conference, CMC 2015, 17-21 August 2015, Valencia, Spain. Springer , pp. 153-170. ISBN 9783319284743

Gilbert, A., Piras, L., Wang, J.K. orcid.org/0000-0003-0048-3893 et al. (6 more authors) (2016) Overview of the ImageCLEF 2016 Scalable Concept Image Annotation Task. In: CLEF 2016 Working Notes. Conference and Labs of the Evaluation Forums (CLEF 2016), Évora, Portugal. CEUR-WS.org . (In Press)

Gilbert, J.M., Gonzalez Lopez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A. et al. (4 more authors) (2017) Restoring speech following total removal of the larynx by a learned transformation from sensor data to acoustics. Journal of the Acoustical Society of America, 141 (3). EL307-EL307. ISSN 0001-4966

Gonidis, F., Paraskakis, I. and Simons, A.J.H. (2015) A Development Framework Enabling the Design of Service-Based Cloud Applications. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Communications in Computer and Information Science , 508 . Springer , pp. 139-152. ISBN 978-3-319-14885-4

Gonidis, F., Paraskakis, I. and Simons, A.J.H. (2014) Leveraging Platform Basic Services in Cloud Application Platforms for the Development of Cloud Applications. In: IEEE 6th International Conference on Cloud Computing Technology and Science. IEEE 6th International Conference on Cloud Computing Technology and Science, 15-18 Dec 2014, Singapore. IEEE Computer Society , pp. 751-754. ISBN 978-1-4799-4093-6

Gonidis, F., Simons, A.J.H., Paraskakis, I. et al. (1 more author) (2013) Cloud application portability: an initial view. In: Diamantaras, KI, Evangelidis, G, Manolopoulos, Y, Georgiadis, CK, Kefalas, P and Stamatis, D, (eds.) BCI '13 Proceedings of the 6th Balkan Conference in Informatics. BCI 2013 - 6th Balkan Conference in Informatics, 19th - 21st September 2013, Thessaloniki, Greece. ACM , pp. 275-282. ISBN 978-1-4503-1851-8

Gonzalez, J.A., Cheah, L.A., Gilbert, J.M. et al. (4 more authors) (2017) Voice restoration after laryngectomy based on magnetic sensing of articulator movement and statistical articulation-to-speech conversion. In: Communications in Computer and Information Science. BIOSTEC 2016 9th International Joint Conference on Biomedical Engineering Systems and Technologies, 21-23 February 2016, Rome. https://doi.org/10.1007/978-3-319-54717-6_17, 690 . , pp. 295-316. ISBN 9783319547169

Gonzalez, J.A., Cheah, L.A., Gilbert, J.M. et al. (4 more authors) (2016) A silent speech system based on permanent magnet articulography and direct synthesis. Computer Speech & Language, 39. C. pp. 67-87. ISSN 0885-2308

Gonzalez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A., Gomez, A.M. et al. (5 more authors) (2017) Direct Speech Reconstruction From Articulatory Sensor Data by Machine Learning. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 25 (12). pp. 2362-2374. ISSN 2329-9290

Gonzalez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A., Green, P.D. et al. (4 more authors) (2017) Restoring Speech Following Total Removal of the Larynx. In: Harnessing the Power of Technology to Improve Lives. Studies in Health Technology and Informatics, 242 . IOS Press , pp. 314-321.

Gonzalez, J.A., Gómez, A.M., Peinado, A.M. et al. (2 more authors) (2017) Spectral Reconstruction and Noise Model Estimation Based on a Masking Model for Noise Robust Speech Recognition. Circuits, Systems, and Signal Processing. pp. 1-30. ISSN 0278-081X

Gonzalez Lopez, J.A. orcid.org/0000-0002-5531-8994, Cheah, L.A., Green, P.D. et al. (4 more authors) (2017) Evaluation of a Silent Speech Interface based on Magnetic Sensing and Deep Learning for a Phonetically Rich Vocabulary. In: Proceedings of the Annual Conference of the International Speech Communication Association, Interspeech. Interspeech 2017, 20-24 August 2017, Stockholm. ISCA , Stockholm , pp. 3986-3990.

Gonzalez-Agirre, A., Rigau, G., Agirre, E. et al. (2 more authors) (2015) Why are these similar? Investigating item simirlaity types in a large Digital Library. Journal of the Association for Information Science and Technology. ISSN 2330-1635

Goodman, J., Vlachos, A. orcid.org/0000-0003-2123-5071 and Naradowsky, J. (2016) Noise reduction and targeted exploration in imitation learning for Abstract Meaning Representation parsing. In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics 2016, 7 - 12th Aug 2016, Berlin, Germany. ACL , pp. 1-11.

Goranci, G., Henzinger, M. and Peng, P. orcid.org/0000-0003-2700-5699 (2018) Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs. In: Proceedings of the 26th European Symposium on Algorithms (ESA 2018). The 26th European Symposium on Algorithms (ESA 2018), 20-22 Aug 2018, Helsinki, Finland. LIPIcs, 112 (40). Schloss Dagstuhl - Leibniz-Zentrum für Informatik , Germany . ISBN 978-3-95977-081-1

Gorrell, G., Ford, N., Madden, A. et al. (2 more authors) (2011) Countering method bias in questionnaire-based user studies. Journal of Documentation, 67 (3). pp. 507-524. ISSN 0022-0418

Gorrell, G., Greenwood, M., Roberts, I. et al. (2 more authors) (2018) Online Abuse of UK MPs in 2015 and 2017: Perpetrators, Targets, and Topics. arXiv. (Submitted)

Gorrell, G., Greenwood, M.A., Roberts, I. et al. (2 more authors) (2018) Twits, Twats and Twaddle: Trends in Online Abuse towards UK Politicians. In: Proceedings Of The Twelfth International Conference On Web And Social Media. International AAAI Conference on Web and Social Media, 25-28 Jun 2018, California, USA. AAAI Press , pp. 600-603. ISBN 978-1-57735-798-8

Gorrell, G., Roberts, I., Greenwood, M.A. et al. (3 more authors) (2018) Quantifying media influence and partisan attention on Twitter during the UK EU referendum. In: Staab, S., Koltsova, O. and Ignatov, D.I., (eds.) Social Informatics. SocInfo 2018, 25-28 Sep 2018, St. Petersburg, Russia. Lecture Notes in Computer Science, 11185 . Springer , pp. 274-290. ISBN 978-3-030-01128-4

Gorrell, G.M. and Bontcheva, K.L. (2014) Classifying Twitter Favorites: Like, Bookmark, or Thanks? Journal of the Association for Information Science and Technology. ISSN 2330-1635

Gotoh, Y., Hochberg, M.M. and Silverman, H.F. (1998) Efficient training algorithms for HMMs using incremental estimation. IEEE Transactions on Speech and Audio Processing, 6 (6). pp. 539-548. ISSN 1063-6676

Gotoh, Y. and Renals, S. (1999) Topic-based mixture language modelling. Natural Language Engineering, 5 (4). pp. 355-375. ISSN 1351-3249

Gou, M.S., Naneva, S., Webb, T.L. orcid.org/0000-0001-9320-0068 et al. (1 more author) (2018) Attitudes towards social robots: A protocol for a systematic review. In: Giuliani, M., Assaf, T. and Giannaccini, M., (eds.) Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. 9th Annual Conference, TAROS 2018, 25-27 Jul 2018, Bristol, UK. Lecture Notes in Artificial Intelligence, 10965 . Springer Verlag , pp. 484-485. ISBN 978-3-319-96728-8

Grant, R.A. orcid.org/0000-0002-3968-8370, Breakell, V. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2018) Whisker touch sensing guides locomotion in small, quadrupedal mammals. Proceedings of the Royal Society B: Biological Sciences, 285 (1880). ISSN 0962-8452

Grant, R.A., Sharp, P.S., Kennerley, A.J. et al. (4 more authors) (2014) Abnormalities in whisking behaviour are associated with lesions in brain stem nuclei in a mouse model of amyotrophic lateral sclerosis. Behavioural Brain Research , 259. pp. 274-283. ISSN 0166-4328

Greenwood, P.D.L., Childs, D.T.D., Kennedy, K. et al. (10 more authors) (2010) Quantum dot superluminescent diodes for optical coherence tomography: device engineering. IEEE Journal of Selected Topics in Quantum Electronics, 16 (4). pp. 1015-1022. ISSN 1077-260X

Grytsan, A., Eriksson, T.S.E., Watton, P. orcid.org/0000-0002-5531-5953 et al. (1 more author) (2017) Growth description for vessel wall adaptation: a thick-walled mixture model of abdominal aortic aneurysm evolution. Materials, 10 (9). 994. ISSN 1996-1944

Grytsan, A. orcid.org/0000-0002-2749-3381, Watton, P. orcid.org/0000-0002-5531-5953 and Gasser, T.C. (2017) Isotropic versus anisotropic growth description for abdominal aortic aneurysm evolution. In: Nithiarasu, P. and Robertson, A.M., (eds.) Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10th - 12th April 2017, Pittsburgh, PA, United States. CMBE , pp. 127-130. ISBN 978-0-9562914-4-8

Guarnizo, C. and Alvarez Lopez, M.A. orcid.org/0000-0002-8980-4472 (2018) Fast Kernel Approximations for Latent Force Models and Convolved Multiple-Output Gaussian processes. In: Proceedings of the Thirty-Fourth Conference in Uncertainty and Artificial Intelligence (2018). Uncertainty in Artificial Intelligence 2018, 06-10 Aug 2018, Monterey, California, USA. . (In Press)

Guo, Y. orcid.org/0000-0002-0307-1459, Wang, X., Wu, C. et al. (3 more authors) (2016) A robust dual-microphone speech source localization algorithm for reverberant environments. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech, 8 - 12 Sep 2016, San Francisco, USA. ISCA .

Gómez-González, S., Álvarez, M.A. orcid.org/0000-0002-8980-4472, García, H.F. et al. (2 more authors) (2015) Discriminative training for Convolved Multiple-Output Gaussian processes. In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. 20th Iberoamerican Congress, CIARP 2015, November 9-12, 2015, Montevideo, Uruguay. Lecture Notes in Computer Science book series (9423). , pp. 595-602. ISBN 978-3-319-25750-1

Gómez-Orozco, V., Álvarez-López, M.A., Henao-Gallo, Ó. et al. (2 more authors) (2016) Estimation of the neuromodulation parameters from the planned volume of tissue activated in deep brain stimulation. Revista Facultad de Ingeniería Universidad de Antioquia, 79. pp. 9-18. ISSN 0120-6230

H

Haddad Pajouh, H., Javidan, R., Khayami, R. et al. (2 more authors) (2016) A Two-layer Dimension Reduction and Two-tier Classification Model for Anomaly-Based Intrusion Detection in IoT Backbone Networks. IEEE Transactions on Emerging Topics in Computing. ISSN 2168-6750

HaddadPajouh, H., Dehghantanha, A orcid.org/0000-0002-9294-7554, Khayami, R. et al. (1 more author) (2018) A Deep Recurrent Neural Network Based Approach for Internet of Things Malware Threat Hunting. Future Generation Computer Systems. ISSN 0167-739X

Hain, T., Christian, J., Saz, O. et al. (6 more authors) (2016) webASR 2 - Improved cloud based speech technology. In: Proceedings of Interspeech 2016. 17th Annual Conference of the International Speech Communication Association (Interspeech), 8-12 Sep 2016, San Francisco, CA. ISCA .

Hall, M. and Walkinshaw, N. (2017) Data and analysis code for GP EFSM inference. In: 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) , 02-07 Oct 2016, Raleigh, NC, USA. IEEE , p. 611. ISBN 978-1-5090-3806-0

Hall, M., Walkinshaw, N. and McMinn, P. (2018) Effectively incorporating expert knowledge in automated software remodularisation. IEEE Transactions on Software Engineering. ISSN 0098-5589

Harkema, H., Roberts, I., Gaizauskas, R. orcid.org/0000-0002-3356-5126 et al. (1 more author) (2005) A web service for biomedical term look-up. Comparative and Functional Genomics, 6 (1-2). pp. 86-93. ISSN 1531-6912

Hawley, Mark, Cunningham, S.P., Cardinaux, Fabian et al. (4 more authors) (2007) Challenges in developing a voice input voice output communication aid for people with severe dysarthria. In: AAATE 2007 : 9th European Conference for the Advancement of Assistive Technology in Europe, Oct 2007, San Sebastian, Spain.

Hensman, J. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2014) Nested Variational Compression in Deep Gaussian Processes. arXiv. (Unpublished)

Hensman, J., Lawrence, N.D. orcid.org/0000-0001-9258-1030 and Rattray, M. (2013) Hierarchical Bayesian modelling of gene expression time series across irregularly sampled replicates and clusters. BMC Bioinformatics, 14. 252. ISSN 1471-2105

Hensman, J., Rattray, M. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2014) Fast Nonparametric Clustering of Structured Time-Series. IEEE Transactions on Pattern Analysis and Machine Intelligence, 37 (2). pp. 383-393. ISSN 0162-8828

Hess, A.V., Mödersheim, S.A. and Brucker, A.D. orcid.org/0000-0002-6355-1200 (2018) Stateful Protocol Composition (Extended Version). Technical Report. DTU Compute, Technical University Denmark. ISSN 1601-2321

Heywood, P., Maddock, S.C. orcid.org/0000-0003-3179-0263, Casas, J. et al. (3 more authors) (2017) Data-parallel agent-based microscopic road network simulation using graphics processing units. Simulation Modelling Practice and Theory. ISSN 1569-190X

Heywood, P., Richmond, P. and Maddock, S. orcid.org/0000-0003-3179-0263 (2015) Road Network Simulation Using FLAME GPU. In: Euro-Par 2015: Parallel Processing Workshops. Euro-Par 2015 International Workshops, 24-25 Aug 2015, Vienna, Austria. Lecture Notes in Computer Science, 9523 . Springer, Cham , pp. 430-441. ISBN 978-3-319-27307-5

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300

Hofner, P., Struth, G. and Sutcliffe, G. (2009) Automated verification of refinement laws. Annals of Mathematics and Artificial Intelligence, 55 (1-2). pp. 35-62. ISSN 1012-2443

Homayoun, S., Dehghantanha, A., Ahmadzadeh, M. et al. (2 more authors) (2017) Know abnormal, find evil: frequent pattern mining for ransomware threat hunting and intelligence. IEEE Transactions on Emerging Topics in Computing. ISSN 2168-6750

Hopkins, M. and Dehghantanha, A. (2015) Exploit Kits: The production line of the Cybercrime Economy. In: Information Security and Cyber Forensics (InfoSec), 2015 Second International Conference on. 2015 Second International Conference on Information Security and Cyber Forensics (InfoSec), 15-17 Nov 2015, Cape Town, South Africa. IEEE . ISBN 9781467369886

Hornsby, J., Daly, D., Grundy , D. et al. (4 more authors) (2017) Quantitative multiphoton microscopy of murine urinary bladder morphology during in situ uniaxial loading. Acta Biomaterialia. ISSN 1742-7061

Huang, Liang, Thomson, Christopher and Holcombe, Mike (2007) How good are your testers? An assessment of testing ability. In: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007, 12-14 September 2007, Windsor, UK.

Huang, Z. and Peng, P. orcid.org/0000-0003-2700-5699 (2018) Dynamic graph stream algorithms in o(n) space. Algorithmica. ISSN 0178-4617

Humphreys, K., Gaizauskas, R., Hepple, M. et al. (1 more author) (1999) University of Sheffield TREC-8 Q & A System. In: NIST Special Publication 500-246. The Eighth Text REtrieval Conference (TREC 8), November 17-19, 1999, Gaithersburg, Maryland.. NIST , pp. 707-716.

I

Ihle, M., Winney, I.S., Krystalli, A. et al. (1 more author) (2017) Striving for transparent and credible research: practical guidelines for behavioral ecologists. Behavioral Ecology, 28 (2). pp. 348-354. ISSN 1045-2249

Ingham Dempster, T., Corfe, B.M. and Walker, D.C. (2017) A cellular based model of the colon crypt suggests novel effects forApc phenotype in colorectal carcinogenesis. Journal of Computational Science. ISSN 1877-7503

Ipate, F., Gheorghe, M. and Lefticaru, R. (2010) Test generation from P systems using model checking. The Journal of Logic and Algebraic Programming, 79 (6). pp. 350-362. ISSN 1567-8326

Ireson, N. and Ciravegna, F. orcid.org/0000-0001-5817-4810 (2017) Football Whispers: Transfer rumour detection. In: CEUR Workshop Proceedings. 16th International Semantic Web Conference, 21-25 Oct 2017, Vienna, Austria. CEUR Workshop Proceedings .

Irons, D.J. and Monk, N.A.M. (2007) Identifying dynamical modules from genetic regulatory systems: applications to the segment polarity network. Bioinformatics, 8 (413). ISSN 1471-2105

Irons, D.J. and Monk, N.A.M. (2007) Identifying dynamical modules from genetic regulatory systems: applications to the segment polarity network. BMC Bioinformatics, 8 (1). p. 413. ISSN 1471-2105

Irons, D.J. and Monk, N.A.M. (2007) Identifying dynamical modules from genetic regulatory systems: applications to the segment polarity network. BMC Bioinformatics, 8. 413. ISSN 1471-2105

J

Jackson, R. orcid.org/0000-0002-3278-8547, Kartoglu, I., Stringer, C. et al. (12 more authors) (2018) CogStack - experiences of deploying integrated information retrieval and extraction services in a large National Health Service Foundation Trust hospital. BMC Medical Informatics and Decision Making, 18. 47.

Jackson, R.G., Patel, R., Jayatilleke, N. et al. (6 more authors) (2017) Natural language processing to extract symptoms of severe mental illness from clinical text: the Clinical Record Interactive Search Comprehensive Data Extraction (CRIS-CODE) project. BMJ Open, 7 (1). e012012.

Jelbert, S.A., Singh, P.J., Gray, R.D. et al. (1 more author) (2015) New Caledonian crows rapidly solve a collaborative problem without cooperative cognition. PLoS One, 10 (8). e0133253.

Johansson, M., Roberts, A., Chen, D. et al. (48 more authors) (2012) Using Prior Information from the Medical Literature in GWAS of Oral Cancer Identifies Novel Susceptibility Variant on Chromosome 4 - the AdAPT Method. PLoS ONE, 7 (5). e36888. ISSN 1932-6203

Johnston, B.M., Coveney, S., Chang, E.T.Y. et al. (2 more authors) (2017) Quantifying the effect of uncertainty in input parameters in a simplified bidomain model of partial thickness ischaemia. Medical & Biological Engineering & Computing. ISSN 0140-0118

Johnstone, R.H., Chang, E.T.Y., Bardenet, R. et al. (5 more authors) (2015) Uncertainty and variability in models of the cardiac action potential: Can we build trustworthy models? Journal of Molecular and Cellular Cardiology. ISSN 1095-8584

K

Kadra, G., Stewart, R., Shetty, H. et al. (6 more authors) (2015) Extracting antipsychotic polypharmacy data from electronic health records: developing and evaluating a novel process. BMC Psychiatry, 15. 166. ISSN 1471-244X

Kalaitzis, A.A. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2011) A Simple Approach to Ranking Differentially Expressed Gene Expression Time Courses through Gaussian Process Regression. BMC Bioinformatics, 12. 180. ISSN 1471-2105

Kalra, Bhavnidhi, Thomson, Chris and Holcombe, Mike (2005) The software hut - a student experience of eXtreme programming with real commercial clients. In: Baumeister, H., Marchesi, M. and Holcombe, M., (eds.) Extreme Programming and Agile Processes in Software Engineering. 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings. Lecture Notes in Computer Science, 3556 . Springer , Berlin / Heidelberg , pp. 323-324. ISBN 978-3-540-26277-0

Karamanis, N., Seal, R., Lewin, I. et al. (5 more authors) (2008) Natural Language Processing in aid of FlyBase curators. BMC Bioinformatics, 9. 193. ISSN 1471-2105

Kaul, H., Hall, B.K., Newby, C. et al. (1 more author) (2015) Synergistic activity of polarised osteoblasts inside condensations cause their differentiation. Scientific Reports, 5. 11838 . ISSN 2045-2322

Kazbanov, I.V., Clayton, R.H., Nash, M.P. et al. (5 more authors) (2014) Effect of Global Cardiac Ischemia on Human Ventricular Fibrillation: Insights from a Multi-scale Mechanistic Model of the Human Heart. PLoS Computational Biology, 10 (11). e1003891. ISSN 1553-734X

Kempka, J., McMinn, P. and Sudholt, D. (2015) Design and analysis of different alternating variable searches for search-based software testing. Theoretical Computer Science, 605. pp. 1-20. ISSN 0304-3975

Kempton, T. and Moore, R.K. (2013) Discovering the phoneme inventory of an unwritten language: A machine-assisted approach. Speech Communication, 56. 152 - 166. ISSN 0167-6393

Keronen, S., Kallasjoki, H., Palomaki, K.J. et al. (2 more authors) (2015) Feature enhancement of reverberant speech by distribution matching and non-negative matrix factorization. EURASIP Journal on Advances in Signal Processing, 76. ISSN 1687-6172

Khaluf, Y., Markarian, C., Simoens, P. et al. (1 more author) (2017) Scheduling access to shared space in multi-robot systems. In: Demazeau, Y., Davidsson, P., Bajo, J. and Vale, Z., (eds.) Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection. 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, June 21-23, 2017, Porto, Portugal. Lecture Notes in Computer Science (10349 ). Springer, Cham , pp. 144-156. ISBN 9783319599298

Khan, M., AlHarbi, N. and Gotoh, Y. (2015) A framework for creating natural language descriptions of video streams. Information Sciences, 303. 61 - 82. ISSN 1872-6291

Khan, M.U.G. and Gotoh, Y. (2017) Generating natural language tags for video information management. Machine Vision and Applications. ISSN 0932-8092

Khan, M.U.G., Gotoh, Y. and Nida, N. (2017) Medical image colorization for better visualization and segmentation. In: Valdés Hernández , M. and González-Castro, V., (eds.) Medical Image Understanding and Analysis. Annual Conference on Medical Image Understanding and Analysis, MIUA 2017, 11-13 July 2017 , Edinburgh. Communications in Computer and Information Science, 723 (723). Springer, Cham , pp. 571-580. ISBN 9783319609638

Khan, M.U.G., Nasir, A., Riaz, O. et al. (2 more authors) (2016) A statistical model for annotating videos with human actions. Pakistan Journal of Statistics, 32 (2). pp. 109-123. ISSN 1012-9367

Kim, J., You, B., Kwon, M. et al. (2 more authors) (2017) Evaluating CAVM: A New Search-Based Test Data Generation Tool for C. In: Menzies, T. and Petke, J., (eds.) SSBSE 2017: Search Based Software Engineering. International Symposium on Search-Based Software Engineering (SSBSE 2017), 9 - 11 Sep 2017, Paderborn, Germany. Lecture Notes in Computer Science . Springer Cham , pp. 143-149.

Kiran, M., Friesen, A., Simons, A.J.H. et al. (1 more author) (2014) Model-based Testing in Cloud Brokerage Scenarios. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B. and Brandić, I., (eds.) Service-Oriented Computing – ICSOC 2013 Workshops. Service-Oriented Computing – ICSOC 2013 Workshops, 02 Dec 2013, Berlin. Lecture Notes in Computer Science, 8377 . Springer Verlag , Berlin , pp. 192-208. ISBN 978-3-319-06858-9

Kiran, M. and Simons, A.J.H. (2015) Model-Based Testing for Composite Web Services in Cloud Brokerage Scenarios. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Communications in Computer and Information Science , 508 . Springer , pp. 190-205. ISBN 978-3-319-14885-4

Kiran, M. and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2015) Bitcoin Risk Analysis. Report. NEMODE

Kirchner, R., Moore, R.K. and Chen, T.Y. (2010) Computing phonological generalization over real speech exemplars. Journal of Phonetics, 38 (4). pp. 540-547. ISSN 0095-4470

Kolliakou, A., Ball, M., Derczynski, L. et al. (6 more authors) (2016) Novel psychoactive substances: An investigation of temporal trends in social media and electronic health records. European Psychiatry, 38. pp. 15-21. ISSN 0924-9338

Kourtesis, D., Bratanis, K., Friesen, A. et al. (5 more authors) (2014) Brokerage for Quality Assurance and Optimisation of Cloud Services: An Analysis of Key Requirements. In: Service-Oriented Computing – ICSOC 2013 Workshops. CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, December 2-5, 2013, Berlin, Germany. Lecture Notes in Computer Science, 8377 . Springer International Publishing , pp. 150-162. ISBN 978-3-319-06858-9

Kourtesis, Dimitrios, Paraskakis, Iraklis and Simons, Anthony J.H. (2009) Semantic Web Technologies in Support of Service Oriented Architecture Governance. In: 4th South East European Doctoral Student Conference (DSC 2009), 6-7 July 2009, Thessaloniki, Greece.

Krishnamurthy, D., Harris, L.W., Levin, Y. et al. (7 more authors) (2013) Metabolic, hormonal and stress-related molecular changes in post-mortem pituitary glands from schizophrenia subjects. World Journal of Biological Psychiatry , 14 (7). pp. 478-489. ISSN 1562-2975

Krotov, A., Hepple, M., Gaizauskas, R. et al. (1 more author) (1999) Evaluating two methods for Treebank grammar compaction. Natural Language Engineering, 5 (4). pp. 377-394. ISSN 1351-3249

Krstajic, N., Matcher, S.J., Childs, D. et al. (3 more authors) (2009) Evaluation of a cheap ultrasonic stage for light source coherence function measurement, optical coherence tomography and dynamic focusing. Measurement Science and Technology, 20 (10). Art No.107002. ISSN 0957-0233

Krubitzer, L.A. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2018) The Combinatorial Creature: Cortical Phenotypes within and across Lifetimes. Trends in Neurosciences, 41. pp. 744-762. ISSN 0166-2236

Kurdi, O.A., Stannett, M.P. and Romano, D.M. (2015) Modeling and Simulation of Tawaf and Sa'yee: A Survey of Recent Work in the Field. In: 29th ESM'2015, 26 - 28 Oct 2015, Leicester, UK.

L

Lake, B.M., Lawrence, N.D. orcid.org/0000-0001-9258-1030 and Tenenbaum, J.B. (2018) The Emergence of Organizing Structure in Conceptual Representation. Cognitive Science. ISSN 0364-0213

Lakhotia, K., McMinn, P. and Harman, M. (2010) An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. Journal of Systems and Software, 83 (12). pp. 2379-2391. ISSN 0164-1212

Lala, C., Madhyastha, P., Wang, J.K. orcid.org/0000-0003-0048-3893 et al. (1 more author) (2017) Unraveling the Contribution of Image Captioning and Neural Machine Translation for Multimodal Machine Translation. In: The Prague Bulletin of Mathematical Linguistics. 20th Annual Conference of the European Association for Machine Translation (EAMT 2017), 29 - 31 May 2017, Prague. De Gruyter Open , pp. 197-208.

Lampouras, G. and Vlachos, A. orcid.org/0000-0003-2123-5071 (2016) Imitation learning for language generation from unaligned data. In: Proceedings of COLING 2016, the 26th International Conference on Computational Linguistics: Technical Papers. 26th International Conference on Computational Linguistics, 11/12/2016 - 17/12/2016, Osaka. The COLING 2016 Organizing Committee , pp. 1101-1112. ISBN 978-4-87974-702-0

Lanchantin, P., Bell, P.J., Gales, M.J.F. et al. (9 more authors) (2013) Automatic Transcription of Multi-Genre Media Archives. In: CEUR Workshop Proceedings. First Workshop on Speech, Language and Audio in Multimedia, August 22-23, 2013, Marseille, France. , 26–31-26–31.

Lanfranchi, V. (2017) Machine Learning and Social Media in Crisis Management: Agility vs Ethics. In: Comes, T., Bénaben, F., Hanachi, C. and Lauras, M., (eds.) Proceedings of the 14th International Conference on Information Systems for Crisis Response and Management. ISCRAM 2017, 20-24 May 2017, Albi, Occitanie Pyrénées-Méditerranée, France. IMT Mines Albi-Carmaux (École Mines-Télécom) , Albi, France .

Lanfranchi, V., Ciravegna, F. and Petrelli, D. (2005) Semantic web-based document: editing and browsing in AktiveDoc. In: Gómez-Pérez, A. and Euzenat, J., (eds.) The Semantic Web: Research and Applications. Second European Semantic Web Conference, ESWC 2005, 29 May - June 1st 2005, Heraklion, Crete (Greece). Lecture Notes in Computer Science (3532/2). Springer , Berlin / Heidelberg , pp. 623-632. ISBN 978-3-540-26124-7

Lanfranchi, V., Naori, N. and Sirbu, T. (2018) GPS-based solution for tracking and protecting humanitarians in conflict zones. In: Proceedings of the International Conference on Information Systems for Crisis Response and Management (ISCRAM). The 2018 International Association for Information Systems for Crisis Response and Management (ISCRAM), 20-24 May 2018, Rochester, NY, USA . ISCRAM . ISBN 978-0-692-12760-5

Lanfranchi, V., Wrigley, S.N., Ireson, N. et al. (2 more authors) (2014) Citizens' observatories for situation awareness in flooding. In: ISCRAM11, May 2014, Pennsylvania, USA.

Leach, M. and Maddock, S.C. orcid.org/0000-0003-3179-0263 (2018) Physically-based Sticky Lips. In: EG UK Computer Graphics & Visual Computing. EG UK Computer Graphics & Visual Computing, 13-14 Sep 2018, Swansea University, United Kingdom. EGUK . (In Press)

Leach, M., Maddock, S.C. orcid.org/0000-0003-3179-0263, Hadley, D. et al. (8 more authors) (2018) Recreating Sheffield's medieval castle in situ using outdoor augmented reality. In: Proceedings of EuroVR 2018. EuroVR 2018, 22-23 Oct 2018, London, UK. Lecture Notes in Computer Science . . (In Press)

Lefticaru, R., Bakir, M.E., Konur, S. et al. (2 more authors) (2018) Modelling and validating an engineering application in kernel P systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A. and Zandron, C., (eds.) Membrane Computing. CMC 2017. 18th International Conference, CMC 2017, 25-28 Jul 2017, Bradford, UK. Lecture Notes in Computer Science, 10725 . Springer International Publishing , pp. 183-195. ISBN 9783319733586

Lefticaru, R. and Simons, A.J.H. (2015) X-Machine Based Testing for Cloud Services. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Lecture Notes in Computer Science, 508 . Springer , pp. 175-189. ISBN 978-3-319-14885-4

Lehre, P.K. and Oliveto, P.S. (2017) Theoretical Analysis of Stochastic Search Algorithms. arXiv. (Submitted)

Lengler, J., Sudholt, D. orcid.org/0000-0001-6020-1646 and Witt, C. (2018) Medium Step Sizes are Harmful for the Compact Genetic Algorithm. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2018). Genetic and Evolutionary Computation Conference (GECCO 2018), 15-19 Jul 2018, Kyoto, Japan. ACM . (In Press)

Li, X., Upadhyay, A.K., Bullock, A.J. et al. (12 more authors) (2013) Skin Stem Cell Hypotheses and Long Term Clone Survival - Explored Using Agent-based Modelling. Scientific Reports, 3. 1904. ISSN 2045-2322

Lin, Y.T., Chang, E.T.Y., Eatock, J. et al. (2 more authors) (2017) Mechanisms of stochastic onset and termination of atrial fibrillation studied with a cellular automaton model. Interface, 14 (128). ISSN 1742-5689

Lissovoi, A. and Oliveto, P.S. (2018) On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions. In: McIlraith, S.A. and Weinberger, K.Q., (eds.) Thirty-Second AAAI Conference on Artificial Intelligence. Thirty-Second AAAI Conference on Artificial Intelligence, 02-07 Feb 2017, New Orleans, Louisiana, USA. Association for the Advancement of Artificial Intelligence .

Lissovoi, A., Oliveto, P.S. and Warwicker, J.A. (2017) On the runtime analysis of generalised selection hyper-heuristics for pseudo-boolean optimisation. In: GECCO 2017: Proceedings of the 2017 Genetic and Evolutionary Computation Conference. GECCO '17 The Genetic and Evolutionary Computation Conference, 15-19 July 2017, Berlin, Germany. ACM , pp. 849-856. ISBN 9781450349208

Lissovoi, A., Sudholt, D. orcid.org/0000-0001-6020-1646, Wagner, M. et al. (1 more author) (2017) Theoretical results on bet-and-run as an initialisation strategy. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2017). Genetic and Evolutionary Computation Conference (GECCO 2017), 15/07/2017 - 19/07/2017, Berlin. ACM , pp. 857-864.

Lissovoi, A. and Witt, C. (2017) The Impact of a Sparse Migration Topology on the Runtime of Island Models in Dynamic Optimization. Algorithmica. ISSN 0178-4617

Lissovoi, A. and Witt, C. (2017) A Runtime Analysis of Parallel Evolutionary Algorithms in Dynamic Optimization. Algorithmica, 78 (2). pp. 641-659. ISSN 0178-4617

Liu, Y., Fox, C., Hasan, M. et al. (1 more author) (2016) The Sheffield Wargame Corpus - Day two and day three. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 8-12 Sept 2016, San Francisco, USA. ISCA , pp. 3833-3837.

Liu, Y., Karanasou, P. and Hain, T. (2015) An Investigation into Speaker Informed DNN Front-end for LVCSR. In: 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 19-24 April 2015, Brisbane, Australia. IEEE Conference Publications . IEEE , IEEE Xplore . ISBN 978-1-4673-6997-8/15

Liu, Y., Zhang, P. and Hain, T. (2014) Using neural network front-ends on far field multiple microphones based speech recognition. In: Acoustics, Speech and Signal Processing (ICASSP), 2014 IEEE International Conference on. 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 4-9 May 2014, Florence, Italy. IEEE , pp. 5542-5546.

Loweimi, E., Barker, J. orcid.org/0000-0002-1684-5660 and Hain, T. orcid.org/0000-0003-0939-3464 (2017) Channel Compensation in the Generalised Vector Taylor Series Approach to Robust ASR. In: Lacerda, F., (ed.) Interspeech 2017. Interspeech 2017, 20-24 Aug 2017, Stockholm. ISCA , pp. 2466-2470.

Loweimi, E., Barker, J. orcid.org/0000-0002-1684-5660 and Hain, T. orcid.org/0000-0003-0939-3464 (2015) Source-filter Separation of Speech Signal in the Phase Domain. In: 16TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2015), VOLS 1-5. Interspeech 2015, 6 - 10 Sept, 2016, Dresden, Germany. ISCA , pp. 598-602. ISBN 978-1-5108-1790-6

Loweimi, E., Barker, J. orcid.org/0000-0002-1684-5660 and Hain, T. orcid.org/0000-0003-0939-3464 (2017) Statistical Normalisation of Phase-based Feature Representation For Robust Speech Recognition. In: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE International Conference on Acoustics Speech and Signal Processing, 05/03/2017 - 09/03/2017, New Orleans. Institute of Electrical and Electronics Engineers . ISBN 978-1-5090-4117-6

Loweimi, E., Barker, J. and Hain, T. orcid.org/0000-0003-0939-3464 (2016) Use of Generalised Nonlinearity in Vector Taylor Series Noise Compensation for Robust Speech Recognition. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 8-12 Sep 2016, San Fransisco. , pp. 3798-3802.

Loweimi, E., Barker, J. orcid.org/0000-0002-1684-5660, Torralba, O.S. et al. (1 more author) (2017) Robust Source-Filter Separation of Speech Signal in the Phase Domain. In: Proceedings of the Annual Conference of the International Speech Communication Association. Interspeech 2017, 20-24 Aug 2017, Stockholm. ISCA .

Loweimi, E., Barker, J.P. and Hain, T. orcid.org/0000-0003-0939-3464 (2018) Exploring the use of group delay for generalised VTS based noise compensation. In: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing Proceedings. 2018 IEEE International Conference on Acoustics, Speech and Signal Processing, 15-20 Apr 2018, Calgary, Alberta, Canada. IEEE . ISBN 978-1-5386-4658-8

Lukasik, M., Bontcheva, K., Cohn, T. et al. (3 more authors) (2016) Using Gaussian Processes for Rumour Stance Classification in Social Media. arXiv. (Unpublished)

Lukasik, M., Cohn, T. and Bontcheva, K. (2015) Classifying Tweet Level Judgements of Rumours in Social Media. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. 2015 Conference on Empirical Methods in Natural Language Processing, 17-21 September 2015, Lisbon, Portugal. , pp. 2590-2595. ISBN 978-1-941643-32-7

Luong, L., Duckles, H., Schenkel, T. et al. (20 more authors) (2016) Heart rate reduction with ivabradine promotes shear stress-dependent anti-inflammatory mechanisms in arteries. Thrombosis and Haemostasis, 116 (1). pp. 181-190. ISSN 0340-6245

Lässig, J. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2014) General Upper Bounds on the Runtime of Parallel Evolutionary Algorithms. Evolutionary Computation, 22 (3). pp. 405-437. ISSN 1063-6560

López-Lopera, A.F. and Álvarez, M.A. orcid.org/0000-0002-8980-4472 (2017) Switched latent force models for reverse-engineering transcriptional regulation in gene expression data. IEEE/ACM Transactions on Computational Biology and Bioinformatics. ISSN 1545-5963

M

Ma, N. orcid.org/0000-0002-4112-3109, Brown, G. orcid.org/0000-0001-8565-5476 and Gonzalez, J. (2015) Exploiting top-down source models to improve binaural localisation of multiple sources in reverberant environments. In: Interspeech 2015. INTERSPEECH 2015, 06-10 Sep 2015, Dresden, Germany. ISCA , pp. 160-164.

Ma, N. orcid.org/0000-0002-4112-3109, Brown, G. orcid.org/0000-0001-8565-5476 and May, T. (2015) Exploiting deep neural networks and head movements for binaural localisation of multiple speakers in reverberant conditions. In: Interspeech. INTERSPEECH 2015, 6th - 10th September 2015, Dresden, Germany. International Speech Communication Association , pp. 160-164.

Ma, N., Gonzalez, J. and Brown, G.J. orcid.org/0000-0001-8565-5476 (2018) Robust binaural localization of a target sound source by combining spectral source models and deep neural networks. IEEE/ACM Transactions on Audio, Speech and Language Processing, 26 (11). pp. 2122-2131. ISSN 2329-9290

Ma, N., Green, P., Barker, J. et al. (1 more author) (2007) Exploiting correlogram structure for robust speech recognition with multiple speech sources. Speech Communication, 49 (12). pp. 874-891. ISSN 0167-6393

Ma, N. orcid.org/0000-0002-4112-3109, Marxer, R., Barker, J. orcid.org/0000-0002-1684-5660 et al. (1 more author) (2015) Exploiting synchrony spectra and deep neural networks for noise-robust automatic speech recognition. In: ASRU 2015 Proceedings. 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU) , December 13-17 2015, Scottsdale, Arizona, USA. IEEE , pp. 490-495. ISBN 978-1-4799-7291-3

Ma, N., May, T. and Brown, G.J. orcid.org/0000-0001-8565-5476 (2017) Exploiting Deep Neural Networks and Head Movements for Robust Binaural Localisation of Multiple Sources in Reverberant Environments. IEEE Transactions on Audio, Speech, and Language Processing. ISSN 1558-7916

Ma, N. orcid.org/0000-0002-4112-3109, May, T., Wierstorf, H. et al. (1 more author) (2015) A machine-hearing system exploiting head movements for binaural sound localisation in reverberant conditions. In: Acoustics, Speech and Signal Processing (ICASSP), 2015 IEEE International Conference on. ICASSP 2015, 19-24 Apr 2015, Brisbane. IEEE . ISBN 978-1-4673-6997-8

Ma, N. orcid.org/0000-0002-4112-3109, Morris, S. and Kitterick, P.T. (2016) Benefits to Speech Perception in Noise From the Binaural Integration of Electric and Acoustic Signals in Simulated Unilateral Deafness. Ear and Hearing, 37 (3). pp. 248-259. ISSN 0196-0202

Madarász, J.X., Stannett, M.P. orcid.org/0000-0002-2794-8614 and Székely, G. (2018) Does negative mass imply superluminal motion? An investigation in axiomatic relativity theory. Journal of Applied Logics. ISSN 1570-8683 (In Press)

Madarász, J.X., Székely, G. and Stannett, M. orcid.org/0000-0002-2794-8614 (2014) On the Possibility and Consequences of Negative Mass. (Unpublished)

Madarász, J.X., Székely, G. and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2017) Three Different Formalisations of Einstein’s Relativity Principle. Review of Symbolic Logic. ISSN 1755-0203

Madhyastha, P., Wang, J.K. orcid.org/0000-0003-0048-3893 and Specia, L. (2018) Defoiling Foiled Image Captions. In: North American Chapter of the Association of Computational Linguistics: Human Language Technologies (NAACL-HLT 2018). North American Chapter of the Association of Computational Linguistics: Human Language Technologies (NAACL HLT), 01-06 Jun 2018, New Orleans, Louisiana. Association for Computational Linguistics . (In Press)

Madhyastha, P., Wang, J.K. orcid.org/0000-0003-0048-3893 and Specia, L. (2018) End-to-end image captioning exploits multimodal distributional similarity. In: 29th British Machine Vision Conference. British Machine Vision Conference, 03-06 Sep 2018, Newcastle, UK. BMVA . (In Press)

Madhyastha, P., Wang, J.K. orcid.org/0000-0003-0048-3893 and Specia, L. (2017) Sheffield MultiMT: Using Object Posterior Predictions for Multimodal Machine Translation. In: Proceedings of the Second Conference on Machine Translation, Volume 2: Shared Task Papers. Second Conference on Machine Translation (WMT17), 07 Sep 2018 - 08 Sep 2017, Copenhagen, Denmark. Association for Computational Linguistics , pp. 470-476.

Madhyastha, P., Wang, J.K. orcid.org/0000-0003-0048-3893 and Specia, L. (2018) The role of image representations in vision to language tasks. Natural Language Engineering. ISSN 1351-3249

Madhyastha, P.S. and España-Bonet, C. Resolving Out-of-Vocabulary Words with Bilingual Embeddings in Machine Translation. (Unpublished)

Mahajan, S., Abolhassani, N., McMinn, P.S. orcid.org/0000-0001-9137-7433 et al. (1 more author) (2017) Automated repair of mobile friendly problems in web pages. In: International Conference on Software Engineering (ICSE 2018). International Conference on Software Engineering (ICSE 2018), 27 May - 03 Jun 2018, Gothenburg, Sweden. ACM . (In Press)

Mahajan, S., Alameer, A., McMinn, P.S. orcid.org/0000-0001-9137-7433 et al. (1 more author) (2017) Automated Repair of Layout Cross Browser Issues Using Search-Based Techniques. In: ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. International Symposium on Software Testing and Analysis (ISSTA 2017), 10 - 14 July 2017, Santa Barbara, California. ACM , pp. 249-260. ISBN 978-1-4503-5076-1

Mahajan, S., Alameer, A., McMinn, P.S. orcid.org/0000-0001-9137-7433 et al. (1 more author) (2018) Automated repair of internationalization presentation failures in web pages using style similarity clustering and search-based techniques. In: Proceedings of the International Conference on Software Testing, Verification and Validation (ICST 2018). International Conference on Software Testing, Verification and Validation (ICST 2018), 09-13 Apr 2018, Västerås, Sweden. IEEE , pp. 215-226. ISBN 978-1-5386-5012-7

Mahajan, S., Alameer, A., McMinn, P.S. orcid.org/0000-0001-9137-7433 et al. (1 more author) (2017) XFix: An Automated Tool for the Repair of Layout Cross Browser Issues. In: ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. International Symposium on Software Testing and Analysis (ISSTA 2017), 10-14 July 2017, Santa Barbara, California. ACM , pp. 368-371. ISBN 978-1-4503-5076-1

Mahmud, M., Pulizzi, R., Vasilaki, E. orcid.org/0000-0003-3705-7070 et al. (1 more author) (2014) QSpike tools: a generic framework for parallel batch preprocessing of extracellular neuronal signals recorded by substrate microelectrode arrays. Frontiers in Neuroinformatics, 8. 26. ISSN 1662-5196

Maina, C. W., Honkela, A., Matarese, F. et al. (5 more authors) (2014) Inference of RNA Polymerase II Transcription Dynamics from Chromatin Immunoprecipitation Time Course Data. PLoS Computational Biology, 10 (5). e1003598. ISSN 1553-734X

Malavasi, M., Turri, E., Atria, J.J. et al. (6 more authors) (2017) An innovative speech-based user interface for smarthomes and IoT solutions to help people with speech and motor disabilities. Studies in Health Technology and Informatics, 242. pp. 306-313. ISSN 0926-9630

Malecki, M., Sabo, C. orcid.org/0000-0002-3946-4609, Foorohar, A. et al. (1 more author) (2016) Novel paradigm for immunotherapy of breast cancer by engaging prophylactic immunity against hepatitis B. Clinical and Translational Medicine, 5. 32. ISSN 2001-1326

Mambrini, A. and Sudholt, D. (2015) Design and Analysis of Schemes for Adapting Migration Intervals in Parallel Evolutionary Algorithms. Evolutionary Computation, 23 (4). pp. 559-582. ISSN 1530-9304

Marshall, J.A.R. orcid.org/0000-0002-1506-167X (2016) What is inclusive fitness theory, and what is it for? Current Opinion in Behavioral Sciences, 12. pp. 103-108. ISSN 2352-1546

Marshall, J.A.R. orcid.org/0000-0002-1506-167X, Bogacz, R. and Gilchrist, I.D. (2012) Consistent Implementation of Decisions in the Brain. PLOS ONE, 7 (9). ARTN e43443. ISSN 1932-6203

Marshall, J.A.R., Brown, G. and Radford, A.N. (2017) Individual Confidence-Weighting and Group Decision-Making. Trends in Ecology and Evolution. ISSN 0169-5347

Marshall, J.A.R., Favreau-Peigne, A., Fromhage, L. et al. (3 more authors) (2015) Cross inhibition improves activity selection when switching incurs time costs. Current Zoology, 61 (2). 242 - 250. ISSN 1674-5507

Martinez-Hernandez, U., Dodd, T.J. orcid.org/0000-0001-6820-4526 and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2017) Feeling the Shape: Active Exploration Behaviors for Object Recognition With a Robotic Hand. IEEE Transactions on Systems, Man, and Cybernetics: Systems. ISSN 2168-2216

Martinez-Hernandez, U. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2017) Adaptive perception: learning from sensory predictions to extract object shape with a biomimetic fingertip. In: Intelligent Robots and Systems (IROS), 2017 IEEE/RSJ International Conference on. 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 24-28 Sep 2017, Vancouver, BC, Canada. IEEE , pp. 6735-6740.

Martinez-Hernandez, U., Rubio-Solis, A. and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2016) Bayesian perception of touch for control of robot emotion. In: Neural Networks (IJCNN), 2016 International Joint Conference on. 2016 International Joint Conference on Neural Networks (IJCNN), 14-19 May 2017, Alaska, USA. IEEE , pp. 4927-4933.

Martinez-Hernandez, U., Szollosy, M., Boorman, L.W. orcid.org/0000-0001-5189-0232 et al. (2 more authors) (2017) Towards a Wearable Interface for Immersive Telepresence in Robotics. In: Interactivity, Game Creation, Design, Learning, and Innovation. 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, 02-03 May 2016, Esbjerg, Denmark. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series , 196 (LNICST, volume 196). Springer , pp. 65-73. ISBN 978-3-319-55833-2

Martins-de-Souza, D., Guest, P.C., Harris, L.W. et al. (4 more authors) (2012) Identification of proteomic signatures associated with depression and psychotic depression in post-mortem brains from major depression patients. Translational Psychiatry, 2. e87. ISSN 2158-3188

Martins-de-Souza, D., Guest, P.C., Vanattou-Saifoudine, N. et al. (2 more authors) (2012) Phosphoproteomic differences in major depressive disorder postmortem brains indicate effects on synaptic function. European Archives of Psychiatry and Clinical Neuroscience, 262 (8). pp. 657-666. ISSN 0940-1334

Martins-de-Souza, D., Guest, P.C., Vanattou-Saifoudine, N. et al. (3 more authors) (2011) The need for phosphoproteomic approaches in psychiatric research. Journal of Psychiatric Research, 45 (10). pp. 1404-1406. ISSN 0022-3956

Marxer, R., Barker, J. orcid.org/0000-0002-1684-5660, Cooke, M. et al. (1 more author) (2016) A corpus of noise-induced word misperceptions for English. Journal of the Acoustical Society of America, 140 (5). EL458. ISSN 0001-4966

Marxer, R., Barker, J.P. orcid.org/0000-0002-1684-5660, Alghamdi, N. et al. (1 more author) (2018) The impact of the Lombard effect on audio and visual speech recognition systems. Speech Communication, 100. pp. 58-68. ISSN 0167-6393

Marxer, R. and Purwins, H. (2016) Unsupervised Incremental Online Learning and Prediction of Musical Audio Signals. IEEE/ACM Transactions on Audio, Speech, and Language Processing, 24 (5). pp. 863-874. ISSN 2329-9290

Mattos, C.L.C., Dai, Z., Damianou, A. et al. (3 more authors) (2016) Recurrent Gaussian Processes. arXiv. (Unpublished)

May, T., Ma, N. and Brown, G.J. (2015) Robust localisation of multiple speakers exploiting head movements and multi-conditional training of binaural cues. In: 40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2015. 40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2015, 19-24 April 2015, Brisbane, Australia. IEEE , pp. 2679-2683.

Maynard, D., Funk, A. and Lepori, B. (2017) Towards an Infrastructure for Understanding and Interlinking Knowledge Co-Creation in European research. In: Lecture Notes in Computer Science (Proceedings of ESWC 2017 Workshop on Scientometrics). ESWC 2017, 28/05/2017 - 01/06/2017, Portoroz, Slovenia. Springer Verlag . (In Press)

Maynard, D. G., Roberts, I., Greenwood, M. A. et al. (2 more authors) (2017) A Framework for Real-time Semantic Social Media Analysis. Journal of Web Semantics. ISSN 1570-8268

Maynard, D.G. and Bontcheva, K. (2016) Challenges of Evaluating Sentiment Analysis Tools on Social Media. In: Proceedings of the Tenth International Conference on Language Resources and Evaluation (LREC 2016). 10th edition of the Language Resources and Evaluation Conference, 23-28 May 2016, Portorož. LREC , pp. 1142-1148. ISBN 978-2-9517408-9-1

Maynard, D.G. orcid.org/0000-0002-1773-7020 and Greenwood, M.A. (2014) Who cares about sarcastic tweets? Investigating the impact of sarcasm on sentiment analysis. In: LREC 2014 Proceedings. Language Resources and Evaluation Conference (LREC), 26-31 May 2014, Reykjavik, Iceland. ELRA . ISBN 978-2-9517408-8-4

Maynard, D.G. and Lepori, B. (2017) Ontologies as bridges between data sources and user queries: the KNOWMAK project experience. In: Proceedings of Science, Technology and Innovation indicators 2017. STI 2017 - Science, Technology and Innovation indicators, 06-08 Sep 2017, Paris. STI 2017 .

Mazumdar, S. orcid.org/0000-0002-0748-7638, Ciravegna, F. orcid.org/0000-0001-5817-4810, Ireson, N. et al. (3 more authors) (2017) Access Visits using Video Communication. In: Harnessing the Power of Technology to Improve Lives. Association for the Advancement of Assistive Technology in Europe Congress 2017, 11 - 15 September 2017, Sheffield, UK. Studies in Health Technology and Informatics, 242 . IOS Press , pp. 102-110.

Mazumdar, S. orcid.org/0000-0002-0748-7638, Ciravegna, F. orcid.org/0000-0001-5817-4810, Ireson, N. et al. (3 more authors) (2016) Communicating with Citizens on the Ground: A Practical Study. International Journal of Information Systems for Crisis Response and Management, 8 (2). 4. pp. 50-69. ISSN 1937-9390

Mazumdar, S., Petrelli, D., Elbedweihy, K. et al. (2 more authors) (2009) Affective Graphs: The Visual Appeal of Linked Data. Semantic Web. 491-1687. ISSN 1570-0844

Mazumdar, S. orcid.org/0000-0002-0748-7638, Wrigley, S., Ciravegna, F. et al. (6 more authors) (2017) Crowdsourcing to enhance insights from satellite observations. In: Bordogna, G. and Carrara, P., (eds.) Mobile information Systems Leveraging Volunteered Geographic Information for Earth Observation. Earth Systems Data and Models, 4 . Springer , pp. 35-52. ISBN 978-3-319-70877-5

Mazumdar, S., Wrigley, S.N. and Ciravegna, F. (2017) Citizen Science and Crowdsourcing for Earth Observations: An Analysis of Stakeholder Opinions on the Present and Future. Remote Sensing, 9 (1). 87. ISSN 2072-4292

Mazumdar, S., Wrigley, S.N., Ireson, N. et al. (1 more author) (2018) Harnessing location-based services for effective citizen observatories. International Journal of Spatial Data Infrastructures Research, 13. pp. 101-108. ISSN 1725-0463

Mazumdar, S., lanfranchi, V., Ireson, N. et al. (8 more authors) (2016) Citizens observatories for effective Earth observations: the WeSenseIt Approach. Environmental Scientist, 25 (2). pp. 56-61.

McCurdy, C.J., McMinn, P.S. orcid.org/0000-0001-9137-7433 and Kapfhammer, G.M. (2017) mrstudyr: Retrospectively Studying the Effectiveness of Mutant Reduction Techniques. In: 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME). 2016 International Conference on Software Maintenance and Evolution (ICSME 2016), 2/10/2016 - 10/10/2016, Raleigh, North Carolina, USA. IEEE . ISBN 978-1-5090-3806-0

McIlveen, J., Maddock, S. orcid.org/0000-0003-3179-0263, Heywood, P. et al. (1 more author) (2016) PED: Pedestrian Environment Designer. In: Proceedings of EG UK Theory and Practice of Computer Graphics. EG UK Theory and Practice of Computer Graphics, 01 Aug 2016. The Eurographics Association . ISBN 978-3-03868-022-2

McInnes, B and Stevenson, R.M (2013) Determining the Difficulty of Word Sense Disambiguation. Journal of Biomedical Informatics, 47. pp. 83-90. ISSN 1532-0464

McMinn, P., Wright, C.J. and Kapfhammer, G.M. (2015) The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints. ACM Transactions on Software Engineering and Methodology , 25 (1). 8. ISSN 1049-331X

McMinn, P.S., Harman, M., Fraser, G. et al. (1 more author) (2016) Automated Search for Good Coverage Criteria: Moving from Code Coverage to Fault Coverage Through Search-Based Software Engineering. In: SBST '16 Proceedings of the 9th International Workshop on Search-Based Software Testing. 9th International Workshop on Search-Based Software Testing (SBST 2016), 16-17 May 2016, Austin, Texas (US). Association for Computing Machinery , pp. 43-44.

McMinn, P.S., Kapfhammer, G. and Wright, C.J. (2016) Virtual Mutation Analysis of Relational Database Schemas. In: AST '16 Proceedings of the 11th International Workshop on Automation of Software Test. 11th International Workshop on Automated Software Test (AST 2016), 14-22 May 2016. Association for Computing Machinery , pp. 36-42.

McMinn, P.S. orcid.org/0000-0001-9137-7433 and Kapfhammer, G.M. (2016) AVMf: An Open-Source Framework and Implementation of the Alternating Variable Method. In: Search Based Software Engineering. International Symposium on Search-Based Software Engineering (SSBSE 2016), 8/10/2016 - 10/10/2016, Raleigh, North Carolina, USA. Lecture Notes in Computer Science, 9962 . Springer International Publishing .

McMinn, P.S., Kapfhammer, G.M. and Wright, C.J. (2016) Hitchhikers Need Free Vehicles! Shared Repositories for Statistical Analysis in SBST. In: SBST '16 Proceedings of the 9th International Workshop on Search-Based Software Testing. 9th International Workshop on Search-Based Software Testing (SBST 2016), 16-17 May 2016, Austin, Texas (US). Association for Computing Machinery , pp. 55-56.

McMinn, P.S. orcid.org/0000-0001-9137-7433, Wright, C.J., Kinneer, C. et al. (3 more authors) (2017) SchemaAnalyst: Search-Based Test Data Generation for Relational Database Schemas. In: 2016 International Conference on Software Maintenance and Evolution (ICSME). 2016 International Conference on Software Maintenance and Evolution (ICSME 2016), 2/10/2016 - 10/10/2016, Raleigh, North Carolina, USA. IEEE . ISBN 978-1-5090-3806-0

McMinn, P.S. orcid.org/0000-0001-9137-7433, Wright, C.J., McCurdy, C.J. et al. (1 more author) (2017) Automatic detection and removal of ineffective mutants for the mutation analysis of relational database schemas. IEEE Transactions on Software Engineering. ISSN 0098-5589

Mei, Y., Chan, I., Chen, D. et al. (1 more author) (2017) A novel Fluid-Solid-Growth-Transport (FSGT) framework for modelling the evolution of intracranial aneurysm disease. In: Proceedings of the 5th International Conference on Computational & Mathematical Biomedical Engineering. 5th International Conference on Computational & Mathematical Biomedical Engineering, 10-12 April 2017, Pittsburgh, United States. CMBE , pp. 1271-1272. ISBN 978-0-9562914-4-8

Melis, A. orcid.org/0000-0002-8261-0421, Clayton, R.H. orcid.org/0000-0002-8438-7518 and Marzo, A. orcid.org/0000-0002-6702-7932 (2017) Bayesian sensitivity analysis of a 1D vascular model with Gaussian process emulators. International Journal for Numerical Methods in Biomedical Engineering. ISSN 2040-7939

Mentzas, G., Simons, A.J.H and Paraskakis, I. (2014) Cloud Service Brokerage 2013 - Methods and Mechanisms. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B. and Brandić, I., (eds.) Service-Oriented Computing – ICSOC 2013 Workshops. Service-Oriented Computing – ICSOC 2013 Workshops, 02 Dec 2013, Berlin. Lecture Notes in Computer Science, 8377 . Springer Verlag , pp. 135-136. ISBN 978-3-319-06858-9

Metherall, P., Barber, D.C., Smallwood, R.H. [r.smallwood@shef.ac.uk] et al. (1 more author) (1996) Three Dimensional Electrical Impedance Tomography. Nature, 380 (6574). pp. 509-512. ISSN 0028-0836

Meutzner, H., Ma, N. orcid.org/0000-0002-4112-3109, Nickel, R. et al. (2 more authors) (2017) Improving audio-visual speech recognition using deep neural networks with dynamic stream reliability estimates. In: Proceedings of the 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017). 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017), 5-9 March 2017, New Orleans, Louisiana, USA. IEEE , pp. 5320-5324. ISBN 9781509041176

Mill, R.W. and Brown, G.J. (2016) Utilising temporal signal features in adverse noise conditions: Detection, estimation, and the reassigned spectrogram. Journal of the Acoustical Society of America, 139. pp. 904-917. ISSN 1520-8524

Milner, R. and Hain, T. orcid.org/0000-0003-0939-3464 (2017) DNN approach to speaker diarisation using speaker channels. In: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), March 5-9, 2017, New Orleans, USA. IEEE , pp. 4925-4929. ISBN 9781509041176

Milner, R. and Hain, T. orcid.org/0000-0003-0939-3464 (2016) DNN-based speaker clustering for speaker diarisation. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech 2016, 8-12 Sept, 2016, San Francisco, USA. , pp. 2185-2189.

Milner, R. and Hain, T. orcid.org/0000-0003-0939-3464 (2016) Segment-oriented evaluation of speaker diarisation performance. In: 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Proceedings of the 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 20-25 Mar 2016, Shanghai, China. IEEE . ISBN 978-1-4799-9988-0

Milner, R., Saz, O., Deena, S. et al. (3 more authors) (2015) The 2015 Sheffield System for Longitudinal Diarisation of Broadcast Media. In: Proceedings of the 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU). 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), 13-17 Dec. 2015, Scottsdale, AZ. IEEE , pp. 632-638. ISBN 978-1-4799-7291-3

Milosevic, N., Dehghantanha, A. and Choo, K.-K.R. (2017) Machine learning aided Android malware classification. Computers & Electrical Engineering, 61. pp. 266-274. ISSN 0045-7906

Mirams, G.R., Pathmanathan, P., Gray, R.A. et al. (2 more authors) (2016) White paper: Uncertainty and variability in computational and mathematical models of cardiac physiology. Journal of Physiology, 594 (23). pp. 6833-6847. ISSN 1469-7793

Mirheidari, B., Blackburn, D., Harkness, K. et al. (4 more authors) (2017) Toward the Automation of Diagnostic Conversation Analysis in Patients with Memory Complaints. Journal of Alzheimer's Disease. ISSN 1387-2877

Mirheidari, B., Blackburn, D., Reuber, M. et al. (2 more authors) (2016) Diagnosing people with dementia using automatic conversation analysis. In: Proceedings of Interspeech. Interspeech, 8-12 Sep 2016, San Francisco, CA. ISCA , pp. 1220-1224.

Mirheidari, B., Blackburn, D. orcid.org/0000-0001-8886-1283, Walker, T. orcid.org/0000-0002-2583-7232 et al. (2 more authors) (2019) Dementia detection using automatic analysis of conversations. Computer Speech and Language, 53. pp. 65-79. ISSN 0885-2308

Mirheidari, B., Blackburn, D.J. orcid.org/0000-0001-8886-1283, Harkness, K. et al. (4 more authors) (2017) An avatar-based system for identifying individuals likely to develop dementia. In: Interspeech 2017. Interspeech 2017, 20-24 Aug 2017, Stockholm, Sweden. ISCA , pp. 3147-3151.

Mirowski, P. and Vlachos, A. (2015) Dependency Recurrent Neural Language Models for Sentence Completion. In: ACL 2015: Proceedings of the Conference. 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing, 26-31 July 2015, Beijing, China. ACL Anthology: A Digital Archive of Research Papers in Computational Linguistics, 1 . The Association for Computational Linguistics (ACL) , pp. 511-517.

Mohtasebi, S., Dehghantanha, A. and Choo, K.-K.R. (2017) Cloud storage forensics: analysis of data remnants on SpiderOak, JustCloud, and pCloud. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 205-246. ISBN 978-0-12-805303-4

Mokaram, S. and Moore, R.K. orcid.org/0000-0003-0065-3311 (2017) The Sheffield Search and Rescue corpus. In: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 5-9 March 2017, New Orleans, USA. IEEE , pp. 5840-5844. ISBN 9781509041176

Mokaram, S. and Moore, R.K. (2015) Speech-Based Location Estimation of First Responders in a Simulated Search and Rescue Scenario. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 16th Annual Conference of the International Speech Communication Association, 6-10 September 2015, Dresden, Germany. ISCA (International Speech Communication Association) , 2734 - 2738 (5).

Montana, L.R. and Maddock, S.C. orcid.org/0000-0003-3179-0263 (2017) Sketching for Real-time Control of Crowd Simulations. In: Wan, T.R. and Vidal , F., (eds.) Computer Graphics & Visual Computing (2017). EG UK Computer Graphics & Visual Computing (2017), 14-15 Sep 2017, Manchester Metropolitan University, United Kingdom. The Eurographics Association . ISBN 978-3-03868-050-5

Moore, R.K. orcid.org/0000-0003-0065-3311 (2012) A Bayesian explanation of the 'Uncanny Valley' effect and related psychological phenomena. Scientific Reports, 2. ARTN 864. ISSN 2045-2322

Moore, R.K. orcid.org/0000-0003-0065-3311 (2016) Introducing a Pictographic Language for Envisioning a Rich Variety of Enactive Systems with Different Degrees of Complexity. International Journal of Advanced Robotic Systems, 13. 74. ISSN 1729-8806

Moore, R.K. orcid.org/0000-0003-0065-3311 (2016) Is spoken language all-or-nothing? Implications for future speech-based human-machine interaction. In: Lecture Notes in Electrical Engineering. IWSDS 2016, 13/01/2016 - 16/01/2016, Saariselkä, Finland. Springer Verlag , pp. 281-291. ISBN 9789811025846

Moore, R.K. (2016) PCT and Beyond: Towards a Computational Framework for `Intelligent' Communicative Systems. arXiv. (Submitted)

Moore, R.K. (2007) PRESENCE: A human-inspired architecture for speech-based human-machine interaction. IEEE Transactions on Computers, 56 (9). pp. 1176-1188. ISSN 0018-9340

Moore, R.K. (2007) Spoken language processing: piecing together the puzzle. Speech Communication, 49 (5). pp. 418-435. ISSN 0167-6393

Moore, R.K. (2017) A needs-driven cognitive architecture for future 'intelligent' communicative agents. In: Chrisley, R., Müller, V.C., Sandamirskaya, Y. and Vincze, M., (eds.) Proceedings of EUCognition 2016 - "Cognitive Robot Architectures". EUCognition Meeting (European Society for Cognitive Systems) "Cognitive Robot Architectures", December 8-9, 2016, Vienna, Austria. CEUR Workshop Proceedings, 1855 (1855). CEUR Workshop Proceedings , pp. 50-51.

Moore, R.K., Marxer, R. and Thill, S. (2016) Vocal Interactivity in-and-between Humans, Animals, and Robots. Frontiers in Robotics and AI, 3. 61.

Moore, R.K. orcid.org/0000-0003-0065-3311 and Mitchinson, B. (2017) Creating a voice for MiRo, the world's first commercial biomimetic robot. In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2017. Interspeech 2017, 20-24 Aug 2017, Stockholm, Sweden. ISCA , pp. 3419-3420.

Moore, R.K. orcid.org/0000-0003-0065-3311 and Mitchinson, B. (2017) A biomimetic vocalisation system for MiRo. In: Biomimetic and Biohybrid Systems. Living Machines 2017. Conference on Biomimetic and Biohybrid Systems. Living Machines 2017, 26-28 Jul 2017, Stanford, CA. Lecture Notes in Computer Science, 10384 . Springer International Publishing , pp. 363-374. ISBN 978-3-319-63536-1

Moore, R.K. and Nicolao, M. orcid.org/0000-0002-4680-2549 (0201) Toward a needs-based architecture for 'intelligent' communicative agents: speaking with intention. Frontiers in Robotics and AI, 4. 66.

Moraglio, A. and Sudholt, D. (2015) Principled Design and Runtime Analysis of Abstract Convex Evolutionary Search. Evolutionary Computation. ISSN 1063-6560

Moreno-Muñoz, P., Artés-Rodríguez, A. and Álvarez, M.A. (2018) Heterogeneous multi-output Gaussian process prediction. In: Advances in Neural Information Processing Systems (NIPS 2018). Conference on Neural Information Processing Systems 2018, 02-08 Dec 2018, Montréal, Canada. Neural Information Processing Systems Foundation . (In Press)

Moulin-Frier, C., Fischer, T., Petit, M. et al. (16 more authors) (2017) DAC-h3: A Proactive Robot Cognitive Architecture to Acquire and Express Knowledge About the World and the Self. IEEE Transactions on Cognitive and Developmental Systems. ISSN 2379-8920

Möller, B., Hoare, T., Müller, M.E. et al. (1 more author) (2017) A discrete geometric model of concurrent program execution. In: Bowen, J.P. and Zhu, H., (eds.) International Symposium on Unifying Theories of Programming. 6th International Symposium, UTP 2016, June 4-5, 2016, Reykjavik, Iceland. Lecture Notes in Computer Science, 10134 . Springer, Cham , pp. 1-25. ISBN 9783319522272

N

Nallaperuma, S., Neumann, F. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2016) Expected Fitness Gains of Randomized Search Heuristics for the Traveling Salesperson Problem. Evolutionary Computation. ISSN 1063-6560

Nallaperuma, S., Oliveto, P.S., Perez Heredia, J. et al. (1 more author) (2018) On the Analysis of Trajectory-Based Search Algorithms: When is it Beneficial to Reject Improvements? Algorithmica. ISSN 0178-4617

Nallaperuma, S., Oliveto, P.S., Perez Heredia, J. et al. (1 more author) (2017) When is it Beneficial to Reject Improvements? In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 17). Genetic and Evolutionary Computation Conference (GECCO 17), 15/07/2017 - 19/07/2017, Berlin. ACM , pp. 1391-1398.

Naneva, S., Webb, T.L. orcid.org/0000-0001-9320-0068 and Prescott, T.J. orcid.org/0000-0003-4927-5390 (2018) What comes to mind when people are asked questions about robots? In: Giuliani, M., Assaf, T. and Giannaccini, M., (eds.) Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. TAROS 2018, 25-27 Jul 2018, Bristol, UK. Lecture Notes in Artificial Intelligence, 10965 . Springer Verlag , pp. 453-454. ISBN 978-3-319-96728-8

Nawab, R., Stevenson, M. and Clough, P. (2010) University of Sheffield: Lab Report for PAN at CLEF 2010. In: CLEF 2010 LABs and Workshops, Notebook Papers. 4th International Workshop on Uncovering Plagiarism, Authorship, and Social Software Misuse, 22nd - 23rd September 2010, Padua, Italy. CLEF .

Nawab, R.M.A., Stevenson, M. and Clough, P. (2011) External Plagiarism Detection using Information Retrieval and Sequence Alignment - Notebook for PAN at CLEF 2011. In: Petras, V., Forner, P. and Clough, P., (eds.) Proceedings of the 5th International Workshop on Uncovering Plagiarism, Authorship, and Social Software Misuse. CLEF 2011 Conference on Multilingual and Multimodal Information Access Evaluation, 19th - 22nd September 2011, Amsterdam, Netherlands. .

Ng, R., Chettri, B. and Hain, T. orcid.org/0000-0003-0939-3464 (2016) Combining weak tokenisers for phonotactic language recognition in a resource-constrained setting. In: Interspeech 2016. Interspeech, 09-12 Sep 2016, San Francisco, CA. ISCA , pp. 2939-2943.

Ng, R.W.M., Doulaty, M., Doddipatla, R. et al. (7 more authors) (2014) The USFD SLT System for IWSLT 2014. In: Federico, M., Stücker, S. and Yvon, F., (eds.) Proceedings of the International Workshop on Spoken Language Translation. 11th International Workshop on Spoken Language Translation, 4-5 December 2014, Lake Tahoe, California (USA). IWSLT , http://workshop2014.iwslt.org/64.php .

Ng, R.W.M., Doulaty, M., Doddipatla, R. et al. (7 more authors) (2014) The USFD Spoken Language Translation System for IWSLT 2014. In: Federico, M., Stücker, S. and Yvon, F., (eds.) Proceedings of the 11th International Workshop on Spoken Language Translation (SLT 2014). The 11th International Workshop on Spoken Language Translation (IWSLT), Dec. 03-04, 2015, Lake Tahoe, US. IWSLT 2014 , pp. 86-91.

Ng, R.W.M., Shah, K., Specia, L. orcid.org/0000-0002-5495-3128 et al. (1 more author) (2016) Groupwise learning for ASR k-best list reranking in spoken language translation. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 20th - 25th March 2016, Shanghai. http://dx.doi.org/10.1109/ICASSP.2016.7472853, 2016-M . , pp. 6120-6124. ISBN 9781479999880

Ng, W., Nicolao, M. and Hain, T. (2017) Unsupervised crosslingual adaptation of tokenisers for spoken language recognition. Computer Speech and Language, 46. pp. 327-342. ISSN 0885-2308

Ng, W., Nicolao, M., Saz, O. et al. (5 more authors) (2016) The Sheffield language recognition system in NIST LRE 2015. In: Proceedings of The Speaker and Language Recognition Workshop Odyssey 2016. Speaker Odyssey, 21-24 Jun 2016, Bilbao, Spain. ISCA , pp. 181-187.

Ng, W.M., Kwan, A.C.M., Lee, T. et al. (1 more author) (2017) ShefCE: A Cantonese-English Bilingual Speech Corpus for Pronunciation Assessment. In: 2017 IEEE International Conference on Acoustics, Speech and Signal Processing. 2017 IEEE International Conference on Acoustics, Speech and Signal Processing, 05/03/2017-09/03/2017, New Orleans, USA. Institute of Electrical and Electronics Engineers . ISBN 978-1-5090-4117-6

Nguyen, P.T.H. and Sudholt, D. orcid.org/0000-0001-6020-1646 (2018) Memetic Algorithms Beat Evolutionary Algorithms on the Class of Hurdle Problems. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2018). Genetic and Evolutionary Computation Conference (GECCO 2018), 15-19 Jul 2018, Kyoto, Japan. ACM . ISBN 978-1-4503-5618-3

Nicolao, M., Beeston, A.V. orcid.org/0000-0003-2796-1947 and Hain, T. orcid.org/0000-0003-0939-3464 (2015) Automatic assessment of English learner pronunciation using discriminative classifiers. In: Acoustics, Speech and Signal Processing (ICASSP), 2015 IEEE International Conference on. 40th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 19-24 Apr 2015, Brisbane, Australia. IEEE , pp. 5351-5355.

Nicolao, M., Christensen, H., Cunningham, S. et al. (2 more authors) (2016) A Framework for Collecting Realistic Recordings of Dysarthric Speech - the homeService Corpus. In: Proceedings of LREC 2016. LREC 2016, 24-27 May 2016, Portorož, Slovenia. European Language Resources Association . ISBN 978-2-9517408-9-1

O

Ogazi-Onyemaechi, B.C., Dehghantanha, A. and Choo, K.-K.R. (2017) Performance of Android Forensics Data Recovery Tools. arXiv. (Submitted)

Olcoz, J., Saz Torralba, O. and Hain, T. (2016) Error correction in lightly supervised alignment of broadcast subtitles. In: Proceedings of Interspeech 2016. 17th Annual Conference of the International Speech Communication Association (Interspeech), 8-12 Sep 2016, San Francisco, CA. ISCA , pp. 2110-2114.

Oliveto, P. and Mambrini, A. (2016) On the Analysis of Simple Genetic Programming for Evolving Boolean Functions. In: Heywood, M.I., McDermott, J., Castelli, M., Costa, E. and Sim, K., (eds.) Genetic Programming. 19th European Conference on Genetic Programming, March 30 - April 1, 2016, Porto, Portugal. Lecture Notes in Computer Science, 9594 . Springer , pp. 99-114.

Oliveto, P.S., Paixão, T., Pérez Heredia, J. et al. (2 more authors) (2017) How to Escape Local Optima in Black Box Optimisation: When Non-elitism Outperforms Elitism. Algorithmica. pp. 1-30. ISSN 0178-4617

Onyenwe, I., Hepple, M. orcid.org/0000-0003-1488-257X and Uchechukwu, C. (2016) Améliorer la précision d’annotation d’un corpus Igbo parreconstruction morphologique et l’apprentissage basé sur latransformation. In: Proceedings of TALAf 2016 - Traitement automatique des langues africaines. TALAF 2016 - Traitement automatique des langues africaines, 04.07.2016, Paris, France. Association Francophone pour la Communication Parlée , pp. 1-10.

Onyenwe, I., Hepple, M. orcid.org/0000-0003-1488-257X, Uchechukwu, C. et al. (1 more author) (2015) Use of Transformation-Based Learning in Annotation Pipeline of Igbo, an African Language. In: Nakov, P., Zampieri, M., Osenova , P., Tan, L., Vertan, C., Ljubešić , N. and Tiedemann , J., (eds.) Proceedings of the Joint Workshop on Language Technology for Closely Related Languages, Varieties and Dialects. Joint Workshop on Language Technology for Closely Related Languages, Varieties and Dialects, September 10, 2015, Hissar, Bulgaria . Association for Computational Linguistics , pp. 24-33.

Onyenwe, I.E. and Hepple, M. orcid.org/0000-0003-1488-257X (2016) Predicting Morphologically-Complex Unknown Words in Igbo. In: Sojka, P., Horák, A., Kopeček, I. and Pala, K., (eds.) Text, Speech, and Dialogue. Text, Speech, and Dialogue (TSD 2016), 12 - 16 Sep 2016, Brno, CzechRepublic. Lecture Notes in Computer Science, 9924 . Springer International Publishing , pp. 206-214. ISBN 978-3-319-45510-5

Onyenwe, I.E., Hepple, M. orcid.org/0000-0003-1488-257X, Chinedu, U. et al. (1 more author) (2018) A Basic Language Resource Kit Implementation for the IgboNLP Project. ACM Transactions on Asian and Low-Resource Language Information Processing (TALLIP) , 17 (2). 10. ISSN 2375-4699

Onyenwe, I.E., Uchechukwu, C. and Hepple, M. orcid.org/0000-0003-1488-257X (2014) Part-of-speech Tagset and Corpus Development for Igbo, an African. In: Levin, L. and Stede, M., (eds.) Proceedings of LAW VIII - The 8th Linguistic Annotation Workshop. LAW VIII - The 8th Linguistic Annotation Workshop, August 23-24 2014, Dublin, Ireland. Association for Computational Linguistics and Dublin City University , pp. 93-98.

Ordyniak, S. orcid.org/0000-0003-1935-651X and Popa, A. (2016) A Parameterized Study of Maximum Generalized Pattern Matching Problems. Algorithmica, 75 (1). pp. 1-26. ISSN 0178-4617

Orozco-Arroyave, J.R., Vásquez-Correa, J.C., Vargas-Bonilla, J.F. et al. (13 more authors) (2017) NeuroSpeech. SoftwareX.

Orozco-Arroyave, J.R., Vásquez-Correa, J.C., Vargas-Bonilla, J.F. et al. (13 more authors) (2017) NeuroSpeech: An open-source software for Parkinson's speech analysis. Digital Signal Processing. ISSN 1051-2004

Othmane, L.B., Chehrazi, G., Bodden, E. et al. (2 more authors) (2015) Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Report. Technische Universität Darmstadt.

P

Paetzold, G.H. and Specia, L. orcid.org/0000-0002-5495-3128 (2017) A survey on lexical simplification. Journal of Artificial Intelligence Research, 60. pp. 549-593. ISSN 1076-9757

Pais, D, Hogan, PM, Schlegel, T et al. (3 more authors) (2013) A Mechanism for Value-Sensitive Decision-Making. PLOS ONE, 8 (9). ISSN 1932-6203

Paixao, T., Perez Heredia, J., Sudholt, D. orcid.org/0000-0001-6020-1646 et al. (1 more author) (2017) Towards a Runtime Comparison of Natural and Artificial Evolution. Algorithmica, 78 (2). pp. 681-713. ISSN 1432-0541

Paixão, T., Badkobeh, G., Barton, N. et al. (7 more authors) (2015) Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology, 383. 28 - 43. ISSN 0022-5193

Pajouh, H.H., Dehghantanha, A. orcid.org/0000-0002-9294-7554, Khayami, R. et al. (1 more author) (2017) Intelligent OS X malware threat detection with code inspection. Journal of Computer Virology and Hacking Techniques. ISSN 2274-2042

Paramita, M., Clough, P., Aker, A. et al. (1 more author) (2012) Correlation between Similarity Measures for Inter-Language Linked Wikipedia Articles. In: LREC 2012. The Eighth International Conference on Language Resources and Evaluation, 23rd - 25th May 2012, Istanbul, Turkey. European Language Resources Association , pp. 790-797.

Paramita, M.L., Sanderson, M. and Clough, P. (2010) Diversity in Photo Retrieval: Overview of the ImageCLEFPhoto Task 2009. In: Peters, C., Caputo, B., Gonzalez, J., Jones, G.J.F., KalpathyCramer, J., Muller, H. and Tsikrika, T., (eds.) Multilingual Information Access Evaluation II. Multimedia Experiments. 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, 30 September - 2 October 2009, Corfu, Greece. , 45 - 59.

Pastra, K., Saggion, H. and Wilks, Y. (2003) Intelligent indexing of crime scene photographs. IEEE Intelligent Systems, 18 (1). pp. 55-61. ISSN 1541-1672

Patel, R., Jayatilleke, N., Broadbent, M. et al. (10 more authors) (2015) Negative symptoms in schizophrenia: a study in a large clinical sample of patients using a novel automated method. BMJ OPEN, 5 (9). e007619. ISSN 2044-6055

Paterson, D., Kapfhammer, G.M., Gordon, F. et al. (1 more author) (2018) Using Controlled Numbers of Real Faults and Mutants to Empirically Evaluate Coverage-Based Test Case Prioritization. In: Proceedings of the International Workshop on Automation of Software Test (AST 2018). International Workshop on Automation of Software Test (AST 2018), 28-29 May 2018, Gothenburg, Sweden. ACM , New york , pp. 57-63. ISBN 978-1-4503-5743-2

Pearson, R., Liu, X., Sanguinetti, G. et al. (3 more authors) (2009) puma: a Bioconductor package for propagating uncertainty in microarray analysis. BMC Bioinformatics, 10 (1). p. 211. ISSN 1471-2105

Penfold, C.A., Brown, P.E., Lawrence, N.D. orcid.org/0000-0001-9258-1030 et al. (1 more author) (2012) Modeling Meiotic Chromosomes Indicates a Size Dependent Contribution of Telomere Clustering and Chromosome Rigidity to Homologue Juxtaposition. PLoS Computational Biology, 8 (5). e1002496. ISSN 1553-734X

Perez Heredia, J., Trubenova, B., Sudholt, D. orcid.org/0000-0001-6020-1646 et al. (1 more author) (2017) Selection limits to adaptive walks on correlated landscapes. Genetics, 205 (2). pp. 803-825. ISSN 1943-2631

Perez-Diaz, F., Zillmer, R. and Gross, R. (2015) Firefly-Inspired Synchronization in Swarms of Mobile Agents. In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems. 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 04-08 May 2015, Istanbul, Turkey. International Foundation for Autonomous Agents and Multiagent Systems , Richland, SC , pp. 279-286. ISBN 978-1-4503-3413-6

Petraityte, M., Dehghantanha, A. and Epiphaniou, G. (2017) Mobile Phone Forensics: An Investigative Framework based on User Impulsivity and Secure Collaboration Errors. In: Choo, K.-K.R. and Dehghantanha, A., (eds.) Contemporary Digital Forensic Investigations of Cloud and Mobile Applications. Elsevier , pp. 79-89. ISBN 9780128053034

Petrelli, D., Beaulieu, M., Demetriou, G. et al. (2 more authors) (2002) Is query translation a distinct task from search? In: Peters, C., (ed.) Working Notes for the CLEF 2002 Workshop. CLEF, September 19-20, 2002, Rome, Italy. , pp. 293-299.

Petrelli, D., Lanfranchi, V. and Ciravegna, F. (2005) Working out a common task: design and evaluation of user-intelligent system collaboration. In: Costabile, M.F. and Paternò, F., (eds.) Human-Computer Interaction - INTERACT 2005. Interact 2005: IFIP TC13 International Conference, 12 - 16 September 2005, Rome, Italy. Lecture Notes in Computer Science (3585/2). Springer , Berlin / Heidelberg , pp. 309-322. ISBN 978-3-540-28943-2

Petrelli, D., Lanfranchi, V., Moore, P. et al. (2 more authors) (2006) Oh My, Where Is the End of the Context? Dealing with Information in a Highly Complex Environment. In: Proceedings of the 1st International Conference on Information Interaction in Context. 1st International Conference on Information Interaction in Context, October 18 - 20, 2006, Cophenhagen, Denmark. ACM , Copenhagen , pp. 37-41. ISBN 1-59593-482-0

Petrelli, D., Mazumdar, S., Dadzie, A-S. et al. (1 more author) (2009) Multi Visualization and Dynamic Query for Effective Exploration of Semantic Data. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E. and Thirunarayan, K., (eds.) The Semantic Web - ISWC 2009. 8th International Semantic Web Conference, 25-29 October 2009, Washington, DC, USA. Lecture Notes in Computer Science (5823). Springer-Verlag , pp. 505-520. ISBN 978-3-642-04929-3

Pinciroli, C., Talamali, M.S., Reina, A. et al. (2 more authors) (2018) Simulating Kilobots within ARGoS: models and experimental validation. In: Swarm Intelligence (ANTS 2018). 11th International Conference on Swarm Intelligence (ANTS 2018), 29-31 Oct 2018, Rome, Italy. Lecture Notes in Computer Science , 11172 (11172 ). Springer . (In Press)

Pireva, K. orcid.org/0000-0001-5156-3506, Imran, A.S. and Dalipi, F. (2016) User behaviour analysis on LMS and MOOC. In: 2015 IEEE Conference on e-Learning, e-Management and e-Services, IC3e 2015. 2015 IEEE Conference on e-learning, e-management and e-services , 24th – 26th August 2015 , Melaka, Malasia. IEEE , pp. 21-26. ISBN 9781467394376

Pirrone, A., Stafford, T. and Marshall, J.A. (2014) When natural selection should optimize speed-accuracy trade-offs. Frontiers in Neuroscience , 8. 73. - . ISSN 1662-4548

Pogson, M., Holcombe, M., Smallwood, R. et al. (1 more author) (2008) Introducing spatial information into predictive NF-kappa B modelling - an agent-based approach. Plos One , 3 (6). Art No.e2367 . ISSN 1932-6203

Poulston, A., Stevenson, M. and Bontcheva, K. (2017) Hyperlocal home location identification of Twitter profiles. In: HT 2017 - Proceedings of the 28th ACM Conference on Hypertext and Social Media. The 28th ACM Conference on Hypertext and Social Media, 04 - 07 July, 2017, Prague, Czech Republic. ACM New York , NY, USA , pp. 45-54. ISBN 9781450347082

Poulston, A., Waseem, Z. and Stevenson, M. orcid.org/0000-0002-9483-6006 (2017) Using TF-IDF n-gram and word embedding cluster ensembles for author profiling: Notebook for PAN at CLEF 2017. In: Cappellato, L., Ferro, N., Goeuriot, L. and Mandl, T., (eds.) CEUR Workshop Proceedings. Conference and Labs of the Evaluation Forum (CLEF 2017), 11-14 Sep 2017, Dublin, Ireland. CEUR .

Preiss, J., Stevenson, M. and Gaizauskas, R. (2015) Exploring Relation Types for Literature-based Discovery. Journal of the American Medical Informatics Association, 22 (5). pp. 987-992. ISSN 1067-5027

Preiss, J. and Stevenson, R.M. orcid.org/0000-0002-9483-6006 (2016) The Effect of Word Sense Disambiguation Accuracy on Literature Based Discovery. BMC Medical Informatics and Decision Making, 16 (Suppl 1). 57. ISSN 1472-6947

Preiss, J. and Stevenson, R.M. orcid.org/0000-0002-9483-6006 (2018) HiDE: A Tool for Unrestricted Literature Based Discovery. In: Proceedings of the 27th International Conference on Computational Linguistics (COLING 2018). The 27th International Conference on Computational Linguistics (COLING 2018), 20-26 Aug 2018, Santa Fe, New Mexico, USA. International Committee on Computational Linguistics . (In Press)

Preiss, J. and Stevenson, R.M. (2017) Quantifying and filtering knowledge generated by literature based discovery. BMC Medical Informatics and Decision Making, 18 (Suppl 7). 249. ISSN 1472-6947

Prescott, T. orcid.org/0000-0003-4927-5390 and Szollosy, M. (2017) Editorial: Ethical Principles of Robotics. Connection Science, 29 (3). pp. 187-188. ISSN 0954-0091

Prescott, T.J. orcid.org/0000-0003-4927-5390 (2017) Robots are not just tools. Connection Science, 29 (2). pp. 142-149. ISSN 0954-0091

Prescott, T.J. orcid.org/0000-0003-4927-5390, Ayers, J., Grasso, F.W. et al. (1 more author) (2016) Embodied Models and Neurorobotics. In: Arbib, M.A. and Bonaiuto, J., (eds.) From Neuron to Cognition via Computational Neuroscience. MIT Press , pp. 483-512. ISBN 9780262335270

Prescott, T.J. orcid.org/0000-0003-4927-5390, Conran, S., Mitchinson, B. et al. (1 more author) (2017) IntelliTable: Inclusively-Designed Furniture with Robotic Capabilities. Studies in Health Technology and Informatics, 242. pp. 565-572. ISSN 0926-9630

Prescott, T.J. orcid.org/0000-0003-4927-5390, Mitchinson, B., Conran, S. et al. (2 more authors) (2018) MiRo: Social Interaction and Cognition in an Animal-like Companion Robot. In: Proceeding HRI '18 Companion of the 2018 ACM/IEEE International Conference on Human-Robot Interaction. The 13th Annual ACM/IEEE International Conference on Human Robot Interaction, 05-08 Mar 2018, Chicago, IL, USA. ACM , p. 41. ISBN 9781450356152

Pérez, M.G., Tapiador, J.E., Clark, J.A. orcid.org/0000-0002-9230-9739 et al. (2 more authors) (2014) Trustworthy placements: Improving quality and resilience in collaborative attack detection. Computer Networks, 58. pp. 70-86. ISSN 1389-1286

Q

Q, S., Lu, H. and Cheung, Y.M. (2017) Tensor Rank Estimation and Completion via CP-based Nuclear Norm. In: CIKM'17: ACM Conference on Information and Knowledge Management Proceedings. ACM Conference on Information and Knowledge Management, 06-10 Nov 2017, Pan Pacific Singapore. Association for Computing Machinery . ISBN 978-1-4503-4918-5

Quattoni, A., Ramisa, A., Madhyastha, P.S. et al. (2 more authors) (2016) Structured Prediction with Output Embeddings for Semantic Image Annotation. In: Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. NAACL-HLT 2016, June 12 to June 17, 2016, San Diego, CA. Association for Computational Linguistics , San Diego, California , pp. 552-557. ISBN 978-1-941643-91-4

Quickfall, C.G. and Marshall, J.A.R. (2017) The evolution of mutualism with modifiers. Ecology and Evolution. ISSN 2045-7758

R

Ramirez, J.C. and Marshall, J.A.R. (2015) Self-deception can evolve under appropriate costs. Current Zoology, 61 (2). 382 - 396. ISSN 1674-5507

Ramisa, A., Wang, J.K. orcid.org/0000-0003-0048-3893, Lu, Y. et al. (3 more authors) (2015) Combining Geometric, Textual and Visual Features for Predicting Prepositions in Image Descriptions. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. Conference on Empirical Methods in Natural Language Processing, 17-21 Sep 2015, Lisbon, Portugal. Association for Computational Linguistics , pp. 214-220.

Ramollari, Ervin, Kourtesis, Dimitrios, Dranidis, Dimitris et al. (1 more author) (2009) Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. In: Aroyo, Lora , Traverso, Paolo, Ciravegna, Fabio, Cimiano, Philipp, Heath, Tom, Hyvonen, Eero, Mizoguchi, Riichiro, Oren, Eyal, Sabou, Marta and Simperl, Elena, (eds.) The Semantic Web: Research and Applications. Lecture Notes in Computer Science, 5554/2 . Springer , Berlin / Heidelberg , pp. 593-607. ISBN 978-3-642-02120-6

Reid, C.R., MacDonald, H., Mann, R.P. et al. (3 more authors) (2016) Decision-making without a brain: how an amoeboid organism solves the two-armed bandit. Interface, 13 (119). 20160030. ISSN 1742-5689

Reidsma, D., Charisi, V., Davison, D. et al. (17 more authors) (2016) The EASEL project: Towards educational human-robot symbiotic interaction. In: Lecture Notes in Computer Science. 5th International Conference, Living Machines, 19-22 July 2016, Edinburgh, UK. Biomimetic and Biohybrid Systems, 9793 . Springer Verlag , pp. 297-306. ISBN 9783319424163

Reina, A., Bose, T., Trianni, V. et al. (1 more author) (2018) Effects of Spatiality on Value-Sensitive Decisions Made by Robot Swarms. In: Distributed Autonomous Robotic Systems. 13th International Symposium on Distributed Autonomous Robotic Systems, 06-09 Nov 2016, London, UK. Proceedings in Advanced Robotics, 6 . Springer , pp. 461-473.

Reina, A., Bose, T., Trianni, V. et al. (1 more author) (2018) Psychophysical Laws and the Superorganism. Scientific Reports, 8. 4387. ISSN 2045-2322

Reina, A., Cope, A., Nikolaidis, E. et al. (2 more authors) (2017) ARK: Augmented Reality for Kilobots. IEEE Robotics and Automation Letters, 2 (3). pp. 1755-1761. ISSN 2377-3766

Reina, A., Marshall, J.A.R., Trianni, V. et al. (1 more author) (2017) Model of the best-of-N nest-site selection process in honeybees. PHYSICAL REVIEW E, 95 (5). ARTN 052411. ISSN 2470-0045

Remes, U., López, A.R., Juvela, L. et al. (4 more authors) (2015) Comparing human and automatic speech recognition in a perceptual restoration experiment. Computer Speech and Language, 35. 14 - 31. ISSN 0885-2308

Resce, G. and Maynard, D. orcid.org/0000-0002-1773-7020 (2018) What matters most to people around the world? Retrieving Better Life Index priorities on Twitter. Technological Forecasting and Social Change. ISSN 0040-1625

Rhodes, D.M., Holcombe, M. and Qwarnstrom, E.E. orcid.org/0000-0003-4417-8663 (2016) Reducing complexity in an agent based reaction model-Benefits and limitations of simplifications in relation to run time and system level output. Biosystems, 147. pp. 21-27. ISSN 0303-2647

Richardson, T.O., Mullon, C., Marshall, J.A.R. orcid.org/0000-0002-1506-167X et al. (2 more authors) (2018) The influence of the few: a stable 'oligarchy' controls information flow in house-hunting ants. Proceedings of the Royal Society B: Biological Sciences, 285 (1872). 20172726. ISSN 0962-8452

Richmond, P, Cope, A, Gurney, K et al. (1 more author) (2013) From Model Specification to Simulation of Biologically Constrained Networks of Spiking Neurons. Neuroinformatics, 12 (2). pp. 307-323.

Richmond, P., Buesing, L., Giugliano, M. et al. (1 more author) (2011) Democratic population decisions result in robust policy-gradient learning: a parametric study with GPU simulations. PLoS One, 6 (5). e18539. ISSN 1932-6203

Roberts, A (2013) Exploring concepts of ‘collection’ in the digital world. ALISS Quarterly, 8 (2). 3 - 8. ISSN 1747-9258

Roberts, A. (2017) Language, Structure, and Reuse in the Electronic Health Record. AMA journal of ethics, 19 (3). pp. 281-288. ISSN 2376-6980

Roberts, A., Gaizauskas, R., Hepple, M. et al. (3 more authors) (2009) Building a semantically annotated corpus of clinical texts. Journal of Biomedical Informatics, 42 (5). pp. 950-966. ISSN 1532-0464

Roberts, A., Gaizauskas, R. orcid.org/0000-0002-3356-5126, Hepple, M. orcid.org/0000-0003-1488-257X et al. (1 more author) (2008) Mining clinical relationships from patient narratives. BMC Bioinformatics, 9 (Suppl 11). S3. ISSN 1471-2105

Robinson, E.J.H., Franks, N.R., Ellis, S. et al. (2 more authors) (2011) A Simple Threshold Rule Is Sufficient to Explain Sophisticated Collective Decision-Making. PLoS ONE, 6 (5). e19981. ISSN 1932-6203

Robinson, E.J.H., Holcombe, M. and Ratnieks, F.L.W. (2008) The organization of soil disposal by ants. Animal Behaviour, 75 (part 4). pp. 1389-1399. ISSN 0003-3472

Robson, J. orcid.org/0000-0002-5292-1990, Aram, P., Nash, M.P. et al. (6 more authors) (2018) Spatio-temporal Organization During Ventricular Fibrillation in the Human Heart. Annals of Biomedical Engineering. ISSN 0090-6964

Rojas, J.M. and Fraser, G. (2016) CODE DEFENDERS: A Mutation Testing Game. In: 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation (ICSTW). ICST 2016 : IEEE International Conference on Software Testing, Verification and Validation (ICST) 2016, 10/04/2016-15/04/2016, Chicago, Illinois. Institute of Electrical and Electronics Engineers , pp. 162-167. ISBN 978-1-5090-1826-0

Rojas, J.M., Fraser, G. and Arcuri, A. (2016) Seeding strategies in search-based unit test generation. Software Testing Verification and Reliability, 26 (5). pp. 366-401. ISSN 0960-0833

Rojas, J.M., Vivanti, M., Arcuri, A. et al. (1 more author) (2016) A detailed investigation of the effectiveness of whole test suite generation. Empirical Software Engineering. pp. 1-42. ISSN 1382-3256

Roller, R.A., Agirre, E., Sorora, A. et al. (1 more author) (2015) Improving distant supervision using inference learning. In: Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing. The 53rd Annual Meeting of the Association for Computational Linguistics and The 7th International Joint Conference of the Asian Federation of Natural Language Processing, 27-31 July 2015, China. Association for Computational Linguistics .

Roller, R.A. and Stevenson, M. (2015) Held-out versus Gold Standard: Comparison of Evaluation Strategies for Distantly Supervised Relation Extraction from Medline abstracts. In: Proceedings of the Sixth International Workshop on Health Text Mining and Information Analysis. UNSPECIFIED, 17 Sep 2015, Lisbon, Portugal. Association for Computational Linguistics , pp. 97-102.

Rovetta, S., Masulli, F. and Filippone, M. (2009) Soft ranking in clustering. Neurocomputing, 72 (7-9). pp. 2028-2031. ISSN 0925-2312

S

Sabo, C. orcid.org/0000-0002-3946-4609, Chisholm, R. orcid.org/0000-0003-3379-9042, Petterson, A. et al. (1 more author) (2017) A lightweight, inexpensive robotic system for insect vision. Arthropod Structure and Development, 46 (5). pp. 689-702. ISSN 1467-8039

Sabo, C., Cope, A., Gurney, K. et al. (2 more authors) (2016) Bio-Inspired Visual Navigation for a Quadcopter using Optic Flow. In: AIAA Infotech @ Aerospace, AIAA SciTech. AIAA Infotech @ Aerospace, 04-08 Jan 2016, San Diego, CA. American Institute of Aeronautics and Astronautics . ISBN 978-1-62410-388-9

Sabo, C. and Simpson, A. (2016) Quadcopter Obstacle Avoidance using Biomimetic Algorithms. In: AIAA Infotech @ Aerospace, AIAA SciTec. AIAA Infotech@Aerospace, 04-08 Jan 2016, San Diego, CA. American Institute of Aeronautics and Astronautics . ISBN 978-1-62410-388-9

Sabo, C. orcid.org/0000-0002-3946-4609, Yavuz, E., Cope, A. et al. (4 more authors) (2017) An Inexpensive Flying Robot Design for Embodied Robotics Research. In: 2017 International Joint Conference on Neural Networks (IJCNN). 2017 International Joint Conference on Neural Networks, 14/05/2017 - 19/05/2017, Anchorage, Alaska. Institute of Electrical and Electronics Engineers , pp. 4171-4178.

Sabou, M., Aroyo, L., Bontcheva, K. orcid.org/0000-0001-6152-9600 et al. (2 more authors) (2018) Semantic Web and Human Computation: The status of an emerging field. Semantic Web, 9. 3. pp. 291-302.

Saggion, H. and Lapalme, G. (2002) Generating indicative-informative summaries with SumUM. Computational Linguistics, 28 (4). pp. 497-526. ISSN 0891-2017

Salnitri, M., Brucker, A.D. and Giorgini, P. (2015) From Secure Business Process Models to Secure Artifact-Centric Specifications. In: Gaaloul, Q., (ed.) Enterprise, Business-Process and Information Systems Modeling BPMDS. 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015,, June 8-9, 2015, Stockholm, Sweden. Springer-Verlag , pp. 246-262. ISBN 978-3-319-19237-6

Samsonova, A.A., Niranjan, M., Russell, S. et al. (1 more author) (2007) Prediction of Gene Expression in Embryonic Structures of Drosophila melanogaster. PLoS Computational Biology, 3 (7). e144. ISSN 1553-734X

Sanchan, N., Aker, A. and Bontcheva, K. (2017) Automatic Summarization of Online Debates. arXiv. (Submitted)

Sanchan, N., Aker, A. and Bontcheva, K. orcid.org/0000-0001-6152-9600 (2017) Gold Standard Online Debates Summaries and First Experiments Towards Automatic Summarization of Online Debate Data. In: 18th International Conference on Intelligent Text Processing and Computational Linguistics, 17-23 Apr 2017, Budapest, Hungary. (Submitted)

Sanchan, N., Bontcheva, K. orcid.org/0000-0001-6152-9600 and Aker, A. (2016) Understanding Human Preferences for Summary Designs in Online Debates Domain. Polibits, 54. pp. 79-85. ISSN 2395-8618

Sanderson, M., Paramita, M.L., Clough, P. et al. (1 more author) (2010) Do User Preferences and Evaluation Measures Line Up? In: Chen, H.H., Efthimiadis, E.N., Savoy, J., Crestani, F. and Marchand-Maillet, S., (eds.) Proceedings of the 33rd international ACM SIGIR conference on research and development in information retrieval. ACM SIGIR 2010, 19 - 23 July 2010, Geneva, Switzerland. ACM , 555 - 562.

Sanguinetti, G. (2008) Dimensionality reduction of clustered data sets. IEEE Transactions Pattern Analysis and Machine Intelligence, 30 (3). pp. 535-540. ISSN 0162-8828

Sari, Y., Vlachos, A. and Stevenson, R.M. orcid.org/0000-0002-9483-6006 (2017) Continuous N-gram Representations for Authorship Attribution. In: Lapata, M., Blunsom, P. and Koller, A., (eds.) Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics. European Chapter of the Association for Computational Linguistics (EACL 2017), 3-7 April 2017, Valencia, Spain. ACL .

Saz, O., Doulaty, M., Deena, S. et al. (5 more authors) (2015) The 2015 Sheffield System for Transcription of Multi–Genre Broadcast Media. In: Proceedings of the 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU). 2015 IEEE Workshop on Automatic Speech Recognition and Understanding (ASRU), December 13-17, 2015, Scottsdale, Arizona, USA. IEEE . ISBN 978-1-4799-7291-3

Saz, O., Doulaty, M. and Hain, T. (2014) Background-tracking acoustic features for genre identification of broadcast shows. In: Spoken Language Technology Workshop (SLT), 2014 IEEE. Spoken Language Technology Workshop (SLT), 7-10 Dec. 2014, South Lake Tahoe, NV. IEEE , 118 - 123. ISBN 9781479971299

Saz, O. and Hain, T. (2017) Acoustic Adaptation to Dynamic Background Conditions with Asynchronous Transformations. Computer, Speech & Language, 41. pp. 180-194. ISSN 0885-2308

Saz, O. and Hain, T. orcid.org/0000-0003-0939-3464 (2013) Asynchronous factorisation of speaker and background with feature transforms in speech recognition. In: INTERSPEECH-2013. INTERSPEECH 2013 - 14th Annual Conference of the International Speech Communication Association, 25-29 Aug 2013, Lyon, France. ISCA , pp. 1238-1242.

Saz, O. and Hain, T. orcid.org/0000-0003-0939-3464 (2014) Using contextual information in Joint Factor Eigenspace MLLR for speech recognition in diverse scenarios. In: Proceedings of the 2014 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). 2014 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 4 - 9th May, 2014, Florence, Italy. IEEE .

Saz Torralba, O., Deena, S., Doulaty, M. et al. (6 more authors) (2018) Lightly supervised alignment of subtitles on multi-genre broadcasts. Multimedia Systems. ISSN 0942-4962

Scarle, S. and Clayton, R.H. (2009) Early afterdepolarisations and ventricular arrhythmias in cardiac tissue: a computational study. Medical and Biological Engineering and Computing, 47 (3). pp. 291-300. ISSN 1741-0444

Schafer, R., Vasilaki, E. orcid.org/0000-0003-3705-7070 and Senn, W. (2007) Perceptual Learning via Modification of Cortical Top-Down Signals. PLoS Computational Biology, 3 (8). e165. ISSN 1553-734X

Schatten, M., Ševa, J. and Tomičić, I. (2016) A roadmap for scalable agent organizations in the Internet of Everything. Journal of Systems and Software, 115. pp. 31-41. ISSN 0164-1212

Schellhorn, G., Derrick, J. and Wehrheim, H. (2014) A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Transactions on Computational Logic, 15 (4). 31. ISSN 1529-3785

Schwarz, S., Mangan, M. orcid.org/0000-0002-0293-8874, Zeil, J. et al. (2 more authors) (2017) How Ants Use Vision When Homing Backward. Current Biology, 27 (3). pp. 401-407. ISSN 0960-9822

Schymura, C., Walther, T., Kolossa, D. et al. (2 more authors) (2014) Binaural sound source localisation using a Bayesian-network-based blackboard system and hypothesis-driven feedback. In: Fourm Acusticum. 7th Forum Acusticum 2014, 7-12 September 2014, Krakow (Poland). European Acoustics Association .

Schäfer, R., Vasilaki, E. orcid.org/0000-0003-3705-7070 and Senn, W. (2009) Adaptive gain modulation in V1 explains contextual modifications during bisection learning. PLoS Computational Biology, 5 (12). e1000617. ISSN 1553-734X

Segura, S., Fraser, G., Sanchez, A.B. et al. (1 more author) (2016) A Survey on Metamorphic Testing. IEEE Transactions on Software Engineering, 42 (9). pp. 805-824. ISSN 0098-5589

Shah, K., Cohn, T. and Specia, L. orcid.org/0000-0002-5495-3128 (2015) A Bayesian non-linear method for feature selection in machine translation quality estimation. Machine Translation, 29 (2). pp. 101-125. ISSN 0922-6567

Shah, K., Ng, R.W.M., Bougares, F. et al. (1 more author) (2015) Investigating continuous space language models for machine translation quality estimation. In: Conference Proceedings - EMNLP 2015: Conference on Empirical Methods in Natural Language Processing. EMNLP 2015, September 17–21 2015, Lisbon, Portugal. ACL , pp. 1073-1078. ISBN 9781941643327

Shah, K., Wang, J.K. orcid.org/0000-0003-0048-3893 and Specia, L. (2016) SHEF-Multimodal: Grounding Machine Translation on Images. In: Proceedings of the First Conference on Machine Translation. First Conference on Machine Translation (WMT16), 11-12 Aug 2016, Berlin, Germany. ACL , pp. 660-665.

Shamshiri, S., Campos, J., Fraser, G. et al. (1 more author) (2017) Disposable Testing: Avoiding Maintenance of Generated Unit Tests by Throwing Them Away. In: 39th International Conference on Software Engineering. 39th International Conference on Software Engineering, 20-28 May 2017, Buenos Aires, Argentina. IEEE , pp. 207-209. ISBN 978-1-5386-1589-8

Shamshiri, S., Rojas, J., Gazzola, L. et al. (4 more authors) (2018) Random or evolutionary search for object-oriented test suite generation? Software Testing, Verification & Reliability. e1660. ISSN 0960-0833

Sharkey, A. (2017) Can robots be responsible moral agents? And why should we care? Connection Science, 29 (3). pp. 210-216. ISSN 0954-0091

Sharkey, A. (2017) Can we program or train robots to be good? Ethics and Information Technology. ISSN 1388-1957

Sharkey, A. orcid.org/0000-0002-4713-2575 (2014) Robots and human dignity: A consideration of the effects of robot care on the dignity of older people. Ethics and Information Technology, 16 (1). pp. 63-75. ISSN 1388-1957

Sharkey, A.J.C. orcid.org/0000-0002-4713-2575 (2016) Should we welcome robot teachers? Ethics and Information Technology. pp. 1-15. ISSN 1388-1957

Sharkey, A.J.C. and Sharkey, N.E. (1997) Combining diverse neural nets. The Knowledge Engineering Review, 12 (3). pp. 231-247. ISSN 0269-8889

Sharkey, N., Goodman, M. and Ross, N. (2010) The coming robot crime wave. Computer , 43 (8). pp. 115-116. ISSN 0018-9162

Shi, Q., Lu, H. and Cheung, Y.M. (2017) Rank-One Matrix Completion with Automatic Rank Estimation via L1-Norm Regularization. IEEE Transactions on Neural Networks and Learning Systems. ISSN 2162-237X

Shuaib, A., Hartwell, A., Kiss-Toth, E. et al. (1 more author) (2016) Multi-Compartmentalisation in the MAPK Signalling Pathway Contributes to the Emergence of Oscillatory Behaviour and to Ultrasensitivity. PLoS One, 11 (5). e0156139. ISSN 1932-6203

Shui, W., Liu, J., Maddock, S. orcid.org/0000-0003-3179-0263 et al. (2 more authors) (2016) Automatic planar shape segmentation from indoor point clouds. In: VRCAI '16 Proceedings of the 15th ACM SIGGRAPH Conference on Virtual-Reality Continuum and Its Applications in Industry. VRCAI 2016, December 03 - 04, 2016 , Zhuhai, China. ACM , pp. 363-372. ISBN 978-1-4503-4692-4

Shui, W., Maddock, S.C. orcid.org/0000-0003-3179-0263, Heywood, P. et al. (4 more authors) (2016) Using Semi-automatic 3D Scene Reconstruction to Create a Digital Medieval Charnel Chapel. In: Proceedings of EG UK Theory and Practice of Computer Graphics. Computer Graphics and Visual Computing (CGVC), 15 – 16 September 2016, Bournemouth University, United Kingdom. The Eurographics Association . ISBN 978-3-03868-022-2

Shui, W., Zhou, M., Maddock, S.C. et al. (3 more authors) (2017) A PCA-Based Method for Determining Craniofacial Relationship and Sexual Dimorphism of Facial Shapes. Computers in Biology and Medicine, 90. pp. 33-49. ISSN 0010-4825

Simons, A.J.H. (2007) JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. Automated Software Engineering, 14 (4). pp. 369-418. ISSN 1573-7535

Simons, A.J.H. (2005) Testing with guarantees and the failure of regression testing in eXtreme Programming. In: Baumeister, H., Marchesi, M. and Holcombe, M., (eds.) Extreme Programming and Agile Processes in Software Engineering, Proceedings. 6th International Conference, XP 2005, June 18-23, Sheffield, UK. Springer , 118 - 126. ISBN 978-3-540-26277-0

Simons, A.J.H. (2004) The theory of classification - part 10: method combination and super-reference. Journal of Object Technology, 3 (1). 43 - 53. ISSN 1660-1769

Simons, A.J.H. (2004) The theory of classification part 11: adding class types to object implementations. Journal of Object Technology, 3 (3). 7 - 19. ISSN 1660-1769

Simons, A.J.H. (2004) The theory of classification part 12: building the class hierarchy. Journal of Object Technology, 3 (5). 13 - 24. ISSN 1660-1769

Simons, A.J.H. (2004) The theory of classification part 13: template classes and genericity. Journal of Object Technology, 3 (7). 15 - 25. ISSN 1660-1769

Simons, A.J.H. (2004) The theory of classification part 15: mixins and the superclass interface. Journal of Object Technology, 3 (10). 7 - 18. ISSN 1660-1769

Simons, A.J.H. (2005) The theory of classification part 16: rules of extension and the typing of inheritance. Journal of Object Technology, 4 (1). 13 - 25. ISSN 1660-1769

Simons, A.J.H. (2005) The theory of classification part 17: multiple inheritance and the resolution of inheritance conflicts. Journal of Object Technology, 4 (2). 15 - 26. ISSN 1660-1769

Simons, A.J.H. (2005) The theory of classification part 18: polymorphism through the looking glass. Journal of Object Technology, 4 (4). 7 - 18. ISSN 1660-1769

Simons, A.J.H. (2005) The theory of classification part 19: the proliferation of parameters. Journal of Object Technology, 4 (5). 37 - 48. ISSN 1660-1769

Simons, A.J.H. (2002) The theory of classification part 1: perspectives on type compatibility. Journal of Object Technology, 1 (1). 55 - 61. ISSN 1660-1769

Simons, A.J.H. (2005) The theory of classification part 20: modular checking of classtypes. Journal of Object Technology, 4 (7). 7 - 18. ISSN 1660-1769

Simons, A.J.H. (2002) The theory of classification part 2: the scratch-built typechecker. Journal of Object Technology, 1 (2). 47 - 54. ISSN 1660-1769

Simons, A.J.H. (2002) The theory of classification part 3: object encodings and recursion. Journal of Object Technology, 1 (4). 49 - 57. ISSN 1660-1769

Simons, A.J.H. (2002) The theory of classification part 4: object types and subtyping. Journal of Object Technology, 1 (5). 27 - 33. ISSN 1660-1769

Simons, A.J.H. (2003) The theory of classification part 5: axioms, assertions and subtyping. Journal of Object Technology, 2 (1). 13 - 21. ISSN 1660-1769

Simons, A.J.H. (2003) The theory of classification part 6: the subtyping inquisition. Journal of Object Technology, 2 (2). 17 - 26. ISSN 1660-1769

Simons, A.J.H. (2003) The theory of classification part 7: a class is a type family. Journal of Object Technology, 2 (3). 13 - 22. ISSN 1660-1769

Simons, A.J.H. (2003) The theory of classification part 8: classification and inheritance. Journal of Object Technology, 2 (4). 55 - 64. ISSN 1660-1769

Simons, A.J.H. (2003) The theory of classification part 9: inheritance and self-reference. Journal of Object Technology, 2 (6). 25 - 34. ISSN 1660-1769

Simons, A.J.H. (2004) The theory of classification: part 14: modification and objects like myself. Journal of Object Technology, 3 (8). 15 - 26. ISSN 1660-1769

Simons, A.J.H. (2006) A theory of regression testing for behaviourally compatible object types. Software Testing, Verification and Reliability, 16 (3). 133 - 156. ISSN 0960-0833

Simons, A.J.H., Bratanis, K., Kourtesis, D. et al. (6 more authors) (2014) Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. In: Elkhatib, Y. and Walraven, S., (eds.) Proceedings of the 2nd International Workshop on CrossCloud Systems. 2nd International Workshop on CrossCloud Systems, 08-12 Dec 2014, Bordeaux, France. ACM . ISBN 978-1-4503-3233-0

Simons, A.J.H. and Fernandez, C.A.F.Y. (2005) Using Alloy to model-check visual design notations. In: EstivillCastro, V. and Sanchez, J.A., (eds.) Proceeding ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science. Sixth Mexican International Conference on Computer Science, Sep 26-30, 2005, Puebla, Mexico. ACM , pp. 121-128. ISBN 0-7695-2454-0

Simons, A.J.H., Fraser, G. and Bottaci, L. (2013) Guest editor's introduction to the special section on TAIC-PART 2010-Testing: Academic and Industrial Conference-Practice and Research Techniques. Software: Practice and Experience, 43 (9). pp. 1101-1102. ISSN 0038-0644

Simons, A.J.H., Griffths, N. and Thomson, C. (2008) Feedback-Based Specification, Coding and Testing with JWalk. In: Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference. TAIC PART '08, 29-31 Aug. 2008, Windsor, UK. IEEE , pp. 69-73. ISBN 978-0-7695-3383-4

Simons, A.J.H., Rossini, A., Paraskakis, I. et al. (1 more author) (2015) Cloud Service Brokerage-2014: Towards the Multi-cloud Ecosystem. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Communications in Computer and Information Science , 508 . Springer , pp. 121-123. ISBN 978-3-319-14885-4

Simons, A.J.H. and Thomson, C.D. (2008) Benchmarking effectiveness for object-oriented unit testing. In: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08. ICSTW '08, 9-11 April 2008, Lillehammer, Norway. IEEE , pp. 375-379. ISBN 978-0-7695-3388-9

Simons, A.J.H. and Zhao, W.W. (2009) Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection. In: Testing: Academic and Industrial Conference - Practice and Research Techniques 2009 . TAIC PART '09. TAIC PART 2009, 4 - 6th Sept 2009, Windsor, UK. IEEE , pp. 33-42. ISBN 978-0-7695-3820-4

Siregar, M.U., Derrick, J., North, S.D. orcid.org/0000-0002-8478-8960 et al. (1 more author) (2014) Experiences using Z2SAL. In: Proceedings - ICACSIS 2014: International Conference on Advanced Computer Science and Information Systems. International Conference on Advanced Computer Science and Information Systems, 18-19 Oct 2014, Jakarta, Indonesia. IEEE , pp. 225-231. ISBN 9781479980758

Smallwood, R.H. [r.smallwood@shef.ac.uk], Holcombe, W.M.L. and Walker, D.C. (2004) Development and validation of computational models of cellular interaction. Journal of Molecular Histology, 35 (7). pp. 659-665. ISSN 1567-2379

Smallwood, R.H. [r.smallwood@shef.ac.uk], Metherall, P., Hose, D. et al. (6 more authors) (2002) Tomographic imaging and scanning thermal microscopy: thermal impedance tomography. Thermochimica Acta, 385 (1-2). pp. 19-32. ISSN 0040-6031

Smith, E., Greco, N., Bosnjak, M. et al. (1 more author) (2015) A Strong Lexical Matching Method for the Machine Comprehension Test. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. UNSPECIFIED, 17-21 September 2015, Lisbon, Portugal. Association for Computational Linguistics , 1693 - 1698 .

Smith, G. and Derrick, J. (2016) Invariant generation for linearizability proofs. In: Proceedings of the ACM Symposium on Applied Computing. 31st Annual ACM Symposium on Applied Computing, 04/04/2016 - 08/04/2016, Pisa, Italy. http://doi.org/10.1145/2851613.2851837 . ACM , pp. 1694-1699. ISBN 9781450337397

Smith, J. orcid.org/0000-0001-5329-0417, Hall, M.M., Goodale, P. et al. (2 more authors) (2014) PATHS in context: User characteristics and the construction of cultural heritage narratives. In: iConference 2014, 5-7 March 2014, Berlin.

Smith, L., Tanabe, L. K., Ando, R. J. et al. (31 more authors) (2008) Overview of BioCreative II gene mention recognition. Genome Biology, 9 (Suppl 2). S2. ISSN 1474-760X

Smith, L.E., Hearnden, V. orcid.org/0000-0003-0838-7783, Lu, Z. et al. (6 more authors) (2011) Evaluating the use of optical coherence tomography for the detection of epithelial cancers in vitro. Journal of Biomedical Optics, 16 (11). 116015. ISSN 1083-3668

Smith, M., Alvarez Lopez, M.A. orcid.org/0000-0002-8980-4472, Zwiessele, M. et al. (1 more author) (2018) Differentially Private Regression using Gaussian Processes. In: Proceedings of Machine Learning Research. International Conference on Artificial Intelligence and Statistics (AISTATS), 09-11 Apr 2018, Lanzarote, Canary Islands. PMLR .

Smith, M., Alvarez Lopez, M.A., Zwiessele, M. et al. (1 more author) (2017) Differentially private regression with Gaussian processes. In: Proceedings of the 21st International Conference on Artificial Intelligence and Statistics, 9 - 11 April 2018, Playa Blanca, Lanzarote, Canary Islands. International Conference on Artificial Intelligence and Statistics 2018, 09-11 Apr 2018, Lanzarote, Canary Islands. PMLR . (In Press)

Smith, M.T., Zwiessele, M. and Lawrence, N.D. (2017) Differentially Private Gaussian Processes. arXiv. (Unpublished)

Song, L. and Lu, H. orcid.org/0000-0002-0349-2181 (2016) EcoICA: Skewness-based ICA via Eigenvectors of Cumulant Operator. In: Proceedings of The 8th Asian Conference on Machine Learning. The 8th Asian Conference on Machine Learning, November 16-18 2016, The University of Waikato, Hamilton, New Zealand. , pp. 445-460.

Song, L. and Lu, H. orcid.org/0000-0002-0349-2181 (2016) Proper Inner Product with Mean Displacement for Gaussian Noise Invariant ICA. In: Proceedings of The 8th Asian Conference on Machine Learning. The 8th Asian Conference on Machine Learning, November 16-18 2016, The University of Waikato, Hamilton, New Zealand. , pp. 398-413.

Song, X. and Lu, H. orcid.org/0000-0002-0349-2181 (2017) Multilinear Regression for Embedded Feature Selection with Application to fMRI Analysis. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. The 31st AAAI Conference on Artificial Intelligence ((AAAI), 4-9 February 2017, San Francisco. Association for the Advancement of Artificial Intelligence , pp. 2562-2568.

Soucha, M. and Bogdanov, K. (2018) SPYH-method: an Improvement in Testing of Finite-State Machines. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Advances in Model Based Testing (A-MOST) 2018, 13 Apr 2018, Västerås, Sweden. IEEE , pp. 194-203. ISBN 978-1-5386-6352-3

Specia, L., Stevenson, M., das Gracas, M. et al. (1 more author) (2010) Assessing the contribution of shallow and deep knowledge sources for word sense disambiguation. Language Resources and Evaluation , 44 (4). pp. 295-313. ISSN 1574-020X

Srijith, P.K., Hepple, M., Bontcheva, K. et al. (1 more author) (2017) Sub-story detection in Twitter with hierarchical Dirichlet processes. Information Processing & Management, 53 (4). pp. 989-1003. ISSN 0306-4573

Stannett, M. (2013) Membrane Systems and Hypercomputation. In: Csuhaj-Varjú, E, Gheorghe, M, Rozenberg, G, Salomaa, A and Vaszil, G, (eds.) International Conference on Membrane Computing. International Conference on Membrane Computing, 28-31 Aug 2012, Budapest, Hungary. Lecture Notes in Computer Science, 7762 . Springer , pp. 78-87. ISBN 978-3-642-36750-2

Stannett, M. and Gheorghe, M. (2015) Integration testing of heterotic systems. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 373. 20140222. ISSN 1364-503X

Stannett, M.P. (2015) Motion and observation in a single-particle universe. Synthese, 192 (7). 2261 - 2271 . ISSN 0039-7857

Stannett, M.P. orcid.org/0000-0002-2794-8614 (2014) Specification, Testing and Verification of Unconventional Computations using Generalised X-Machines. International Journal of General Systems, 43 (7). pp. 713-721. ISSN 0308-1079

Stannett, M.P. orcid.org/0000-0002-2794-8614 (2015) Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. In: Durand-Lose, J. and Nagy, B., (eds.) Machines, Computations, and Universality. Machines, Computations and Universality 2015, 09-11 Sep 2015, Famagusta, North Cyprus. Lecture Notes in Computer Science, 9288 . Springer Verlag (Germany) .

Stannett, M.P. orcid.org/0000-0002-2794-8614, Andréka, H., Madarász, J.X. et al. (2 more authors) (2014) Faster than light motion does not imply time travel. Classical and Quantum Gravity, 31 (9). 095005. ISSN 0264-9381

Stannett, M.P. orcid.org/0000-0002-2794-8614 and Németi, I. (2013) Using Isabelle/HOL to verify first-order relativity theory. Journal of Automated Reasoning, 52. pp. 361-378. ISSN 0168-7433

Stevenson, M. and Clough, P. (2004) EuroWordNet as a Resource for Cross-language Information Retrieval. In: LREC 2004. The Fourth International Conference on Language Resources and Evaluation, 26th- 28th May 2004, Lisbon, Portugal. European Language Resources Association , 777 - 780.

Stevenson, M., Guo, Y.K., Gaizauskas, R. orcid.org/0000-0002-3356-5126 et al. (1 more author) (2008) Disambiguation of biomedical text using diverse sources of information. BMC Bioinformatics, 9. S7. ISSN 1471-2105

Stevenson, M. and Wilks, Y. (2001) The interaction of knowledge sources in word sense disambiguation. Computational Linguistics, 27 (3). pp. 321-349. ISSN 0891-2017

Stone, T., Mangan, M. orcid.org/0000-0002-0293-8874, Wystrach, A. et al. (1 more author) (2018) Rotation invariant visual processing for spatial memory in insects. Interface Focus, 8 (4). 20180010. ISSN 2042-8898

Struth, G. (2017) Hoare Semigroups. Mathematical Structures in Computer Science. ISSN 0960-1295

Sudholt, D. (2017) How Crossover Speeds Up Building-Block Assembly in Genetic Algorithms. Evolutionary Computation, 25 (2). pp. 237-274. ISSN 1530-9304

Sudholt, D. orcid.org/0000-0001-6020-1646 (2018) On the Robustness of Evolutionary Algorithms to Noise: Refined Results and an Example Where Noise Helps. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2018). Genetic and Evolutionary Computation Conference (GECCO 2018), 15-19 Jul 2018, Kyoto, Japan. ACM . ISBN 978-1-4503-5618-3

Sudholt, D. orcid.org/0000-0001-6020-1646, Perez Heredia, J., Paixao, T. et al. (2 more authors) (2016) When Non-Elitism Outperforms Elitism for Crossing Fitness Valleys. In: Proceedings of the Genetic and Evolutionary Computation Conference 2016. Genetic and Evolutionary Computation Conference (GECCO 2016), 20-24 July 2016, Denver, Colorado, USA. ACM , pp. 1163-1170. ISBN 978-1-4503-4206-3

Sudholt, D. orcid.org/0000-0001-6020-1646 and Witt, C. (2018) On the choice of the update strength in estimation-of-distribution algorithms and ant colony optimization. Algorithmica. ISSN 0178-4617

Sun, T., Adra, S., Smallwood, R. et al. (2 more authors) (2009) Exploring hypotheses of the actions of TGF-beta 1 in epidermal wound healing using a 3D computational multiscale model of the human epidermis. Plos One, 4 (12). Art No.e8515. ISSN 1932-6203

Sun, T., McMinn, P., Holcombe, M. et al. (2 more authors) (2008) Agent based modelling helps in understanding the rules by which fibroblasts support keratinocyte colony formation. Plos One , 3 (5). Art No.e2129. ISSN 1932-6203

Sun, X., Mangan, M. orcid.org/0000-0002-0293-8874 and Yue, S. (2018) An Analysis of a Ring Attractor Model for Cue Integration. In: Biomimetic and Biohybrid Systems. Conference on Biomimetic and Biohybrid Systems: Living Machines 2018, 17-20 Jul 2018, Paris, France. Lecture Notes in Computer Science (10928). Springer , pp. 459-470. ISBN 978-3-319-95971-9

Szollosy, M. (2017) Robots, AI, and the question of 'e-persons' - a panel at the 2017 Science in Public conference, 10-12 July 2017. Journal of Science Communication, 16 (4). C05. pp. 1-6.

Särkkä, S., Álvarez, M.A. and Lawrence, N.D. orcid.org/0000-0001-9258-1030 (2018) Gaussian process latent force models for learning and stochastic control of physical systems. IEEE Transactions on Automatic Control. ISSN 0018-9286

T

Tablan, V, Roberts, I, Cunningham, H et al. (1 more author) (2012) GATECloud.net: a Platform for Large-Scale, Open-Source Text Processing on the Cloud. Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 371. ISSN 1471-2962

Tamrakar, S., Richmond, P. and D'Souza, R.M. (2016) PI-FLAME: A parallel immune system simulator using the FLAME graphic processing unit environment. Simulation, 93 (1). pp. 69-84. ISSN 0037-5497

Tang, Y., Wang, J.K. orcid.org/0000-0003-0048-3893, Gao, B. et al. (3 more authors) (2016) Large Scale Semi-supervised Object Detection using Visual and Semantic Knowledge Transfer. In: 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2016), 26 Jun - 01 Jul 2016, Las Vegas, Nevada. IEEE .

Tang, Y., Wang, J.K. orcid.org/0000-0003-0048-3893, Wang, X. et al. (4 more authors) (2017) Visual and semantic knowledge transfer for large scale semi-supervised object detection. IEEE Transactions on Pattern Analysis and Machine Intelligence. ISSN 0162-8828

Teing, Y.-Y., Dehghantanha, A., Choo, K.-K.R. et al. (2 more authors) (2017) Forensic investigation of cooperative storage cloud service: Symform as a case study. Journal of Forensic Sciences, 62 (3). pp. 641-654. ISSN 0022-1198

Thomson, C. (2005) Professionalism In The First Year Of A Software Engineering Curriculum. Technical Report. University of Sheffield: SOLAR

Thomson, C. (2004) The Sourcerer's Apprentice. Technical Report. University of Sheffield , SOLAR.

Thomson, C. and Holcombe, M. (2005) Using a formal method to model software design in XP projects. Annals of Mathematics, Computing and Teleinformatics, 1 (3). pp. 44-53. ISSN 1109-9305

Thomson, C., Holcombe, M., Cowling, T. et al. (2 more authors) (2008) A Pilot Study of Comparative Customer Comprehension between Extreme X-Machine and UML Models. In: ESEM '08 Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement. ESEM 08, October 9th - 10th, 2008, Kaiserslautern, Germany. ACM , pp. 270-272. ISBN 978-1-59593-971-5

Thomson, C. and Holcombe, W. (2003) Applying XP Ideas Formally: The Story Card and Extreme X-Machines. In: 1st South-East European Workshop on Formal Methods. Agile Formal Methods: Practical, Rigorous Methods for a changing world, 21-23 November 2003, Thessaloniki, Greece.

Thomson, C.D., Holcombe, M. and Simons, A.J.H. (2009) What makes testing work: Nine case studies of software development teams. In: TAIC PART 2009 - Testing: Academic and Industrial Conference - Practice and Research Techniques. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART '09), 04-06 Sep 2009, Windsor, UK. IEEE , pp. 167-175. ISBN 9780769538204

Thorne, J. and Vlachos, A. orcid.org/0000-0003-2123-5071 (2017) An Extensible Framework for Verification of Numerical Claims. In: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics. 15th Conference of the European Chapter of the Association for Computational Linguistics, 03/04/2017-07/04/2017, Valencia, Spain. Association for Computational Linguistics , pp. 37-40.

Thorne, J., Vlachos, A. orcid.org/0000-0003-2123-5071, Christodoulopoulos, C. et al. (1 more author) (2018) FEVER: a large-scale dataset for Fact Extraction and VERification. In: Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. The 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 01-06 Jun 2018, New Orleans. .

Titsias, M. K., Honkela, A., Lawrence, N. D. orcid.org/0000-0001-9258-1030 et al. (1 more author) (2012) Identifying targets of multiple co-regulating transcription factors from expression time-series by Bayesian model comparison. BMC Systems Biology, 6. 53. ISSN 1752-0509

Toledo, C.M., Cunha, A., Scarton, C. et al. (1 more author) (2014) Automatic classification of written descriptions by healthy adults: An overview of the application of natural language processing and machine learning techniques to clinical discourse analysis. Dement Neuropsychol, 8 (3). pp. 227-235. ISSN 1980-5764

Tomkins, A., Vasilaki, E. orcid.org/0000-0003-3705-7070, Beste, C. et al. (2 more authors) (2014) Transient and steady-state selection in the striatal microcircuit. Frontiers in Computational Neuroscience, 7. 192. ISSN 1662-5188

V

Valencia, E.A. and Álvarez, M.A. orcid.org/0000-0002-8980-4472 (2017) Short-term time series prediction using Hilbert space embeddings of autoregressive processes. Neurocomputing. ISSN 0925-2312

Vanattou-Saifoudine, N., Behan, B. and Harkin, A. (2012) Dopamine D-1 Receptor-Mediated Intracellular Responses in the Hypothalamus after Co-Administration of Caffeine with MDMA. Basic and Clinical Pharmacology and Toxicology, 110 (3). pp. 283-289. ISSN 1742-7835

Vanattou-Saifoudine, N., Gossen, A., Harkin, A. et al. (1 more author) (2011) A role for adenosine A(1) receptor blockade in the ability of caffeine to promote MDMA "Ecstasy"-induced striatal dopamine release. European Journal of Pharmacology, 650 (1). pp. 220-228. ISSN 0014-2999

Vanattou-Saifoudine, N., McNamara, R. and Harkin, A. (2012) Caffeine provokes adverse interactions with 3,4-methylenedioxymethamphetamine (MDMA, ecstasy') and related psychostimulants: mechanisms and mediators. British Journal of Pharmacology, 167 (5). pp. 946-959. ISSN 0007-1188

Vargas Cardona, H.D., Álvarez, M.A. orcid.org/0000-0002-8980-4472 and Orozco, Á.A. (2017) Multi-task learning for subthalamic nucleus identification in deep brain stimulation. International Journal of Machine Learning and Cybernetics. ISSN 1868-8071

Vargas-Cardona, H.D., Orozco, A.A., Alvarez, A.M. et al. (1 more author) (2018) Tensor decomposition processes for interpolation of diffusion magnetic resonance imaging. Expert Systems with Applications. ISSN 0957-4174

Vasilaki, E. orcid.org/0000-0003-3705-7070 Is Epicurus the father of Reinforcement Learning? In: Sheffield Machine Learning Retreat 2017. Sheffield Machine Learning Retreat 2017, 02 Jun 2017, Sheffield, UK. . (Unpublished)

Vasilaki, E. orcid.org/0000-0003-3705-7070, Frémaux, N., Urbanczik, R. et al. (2 more authors) (2009) Spike-Based Reinforcement Learning in Continuous State and Action Space: When Policy Gradient Methods Fail. PLoS Computational Biology, 5 (12). e1000586. ISSN 1553-734X

Vasilaki, E. and Giugliano, M. (2014) Emergence of Connectivity Motifs in Networks of Model Neurons with Short- and Long-term Plastic Synapses. PLoS ONE, 9 (1). e84626.

Vasquez-Correa, J.C., Orozco-Arroyave, J.R., Arora, R. et al. (12 more authors) (2017) Multi-view representation learning via gcca for multimodal analysis of Parkinson's disease. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 5-9 March 2017, New Orleans, LA, USA. IEEE , pp. 2966-2970. ISBN 9781509041176

Villegas, M., Müller, H., García Seco de Herrera, A. et al. (14 more authors) (2016) General Overview of ImageCLEF at the CLEF 2016 Labs. In: Fuhr, N., Quaresma, P., Gonçalves, T., Larsen, B., Balog, K., Macdonald, C., Cappellato, L. and Ferro, N., (eds.) Experimental IR Meets Multilinguality, Multimodality, and Interaction. CLEF 2016, September 5-8, 2016, Évora, Portugal. Lecture Notes in Computer Science, 9822 . Springer International Publishing . ISBN 978-3-319-44564-9

Vincent, E., Watanabe, S., Nugraha, A.A. et al. (2 more authors) (2017) An analysis of environment, microphone and data simulation mismatches in robust speech recognition. Computer Speech & Language, 46. pp. 535-557. ISSN 0885-2308

Vlachos, A. and Clark, S. (2014) A New Corpus and Imitation Learning Framework for Context-Dependent Semantic Parsing. Transactions of the Association for Computational Linguistics, 2. 547 - 559 . ISSN 2307-387X

Vlachos, A. orcid.org/0000-0003-2123-5071 and Craven, M. (2012) Biomedical event extraction from abstracts and full papers using search-based structured prediction. BMC Bioinformatics, 13 (Sup 11). S5.

Vlachos, A. and Riedel, S. (2015) Identification and Verification of Simple Claims about Statistical Properties. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. UNSPECIFIED, 17-21 September 2015, Lisbon, Portugal. Association for Computational Linguistics , 2596 - 2601 .

Vouloutsi, V., Blancas, M., Zucca, R. et al. (17 more authors) (2016) Towards a synthetic tutor assistant: The EASEL project and its architecture. In: Lecture Notes in Computer Science. 5th International Conference, Living Machines 2016, 19-22 July 2016, Edinburgh, UK. Biomimetic and Biohybrid Systems, 9793 . Springer Verlag , pp. 353-364. ISBN 9783319424163

W

Walker, D.C. orcid.org/0000-0001-8801-8093, Georgopoulos, N.T. and Southgate, J. (2008) From pathway to population - a multiscale model of juxtacrine EGFR-MAPK signalling. BMC Systems Biology, 2. 102. ISSN 1752-0509

Walker, D.C., Georgopoulos, N.T. and Southgate, J. (2008) From pathway to population – a multiscale model of juxtacrine EGFR-MAPK signalling. BMC Systems Biology, 2 (1). p. 102. ISSN 1752-0509

Walker, D.C., Hill, G., Wood, S.M. et al. (2 more authors) (2004) Agent-based computational modeling of wounded epithelial cell monolayers. IEEE Transactions on Nanobioscience, 3 (3). pp. 153-163. ISSN 1536-1241

Walker, D.C., Southgate, J., Hill, G. et al. (5 more authors) (2004) The Epitheliome: agent-based modelling of the social behaviour of cells. BioSystems, 76 (1-3). pp. 89-100. ISSN 0303-2647

Walker, T. orcid.org/0000-0002-2583-7232, Christensen, H. orcid.org/0000-0003-3028-5062, Mirheidari, B. orcid.org/0000-0002-7797-2778 et al. (5 more authors) (2018) Developing an intelligent virtual agent to stratify people with cognitive complaints: A comparison of human-patient and intelligent virtual agent-patient interaction. Dementia. ISSN 1471-3012

Walker-Roberts, S., Hammoudeh, M. and Dehghan Tanha, A. orcid.org/0000-0002-9294-7554 (2018) A Systematic Review of the Availability and Efficacy of Countermeasures to Internal Threats in Healthcare Critical Infrastructure. IEEE Access, 20 (1).

Walkinshaw, N. and Fraser, G. (2017) Uncertainty-Driven Black-Box Test Data Generation. In: Proceedings of 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 13-17 March 2017, Tokyo, Japan. IEEE , pp. 253-263.

Walkinshaw, N. and Hall, M. orcid.org/0000-0002-9408-2996 (2017) Inferring Computational State Machine Models from Program Executions. In: 32nd IEEE International Conference On Software Maintenance And Evolution (ICSME). UNSPECIFIED. IEEE , pp. 123-133.

Walkinshaw, N., Taylor, R. and Derrick, J. (2015) Inferring extended finite state machine models from software executions. Empirical Software Engineering. ISSN 1382-3256

Walsh, T., Kapfhammer, G.A. and McMinn, P.S. orcid.org/0000-0001-9137-7433 (2017) ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages. In: ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. International Symposium on Software Testing and Analysis (ISSTA 2017), 10-14 July 2017, Santa Barbara, California. ACM , pp. 360-363. ISBN 978-1-4503-5076-1

Walsh, T.A., Kapfhammer, G.M. and McMinn, P.S. orcid.org/0000-0001-9137-7433 (2017) Automated Layout Failure Detection for Responsive Web Pages Without an Explicit Oracle. In: ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. International Symposium on Software Testing and Analysis (ISSTA 2017), 10-14 July 2017, Santa Barbara, California. ACM , pp. 192-202. ISBN 978-1-4503-5076-1

Wan, V. and Renals, S. (2005) Speaker verification using sequence discriminant support vector machines. IEEE Transactions on Speech and Audio Processing, 13 (2). pp. 203-210. ISSN 1063-6676

Wang, J.K. orcid.org/0000-0003-0048-3893 and Gaizauskas, R. orcid.org/0000-0002-3356-5126 (2016) Cross-validating Image Description Datasets and Evaluation Metrics. In: Calzolari, N., Choukri, K., Declerck, T., Goggi, S., Grobelnik, M., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. and Piperidis, S., (eds.) Proceedings of the 10th Language Resources and Evaluation Conference. 10th Language Resources and Evaluation Conference (LREC 2016), 23-28 May 2016, Portorož, Slovenia. European Language Resources Association , pp. 3059-3066. ISBN 978-2-9517408-9-1

Wang, J.K. orcid.org/0000-0003-0048-3893 and Gaizauskas, R. (2016) Don't Mention the Shoe! A Learning to Rank Approach to Content Selection for Image Description Generation. In: Proceedings of the Ninth International Natural Language Generation Conference (INLG 2016). International Natural Language Generation Conference (INLG 2016), 05-08 Sep 2016, Edinburgh, Scotland. . (In Press)

Wang, J.K. orcid.org/0000-0003-0048-3893 and Gaizauskas, R. orcid.org/0000-0002-3356-5126 (2015) Generating Image Descriptions with Gold Standard Visual Inputs: Motivation, Evaluation and Baselines. In: Proceedings of the 15th European Workshop on Natural Language Generation (ENLG). 15th European Workshop on Natural Language Generation (ENLG), 10-11 Sep 2015, Brighton, UK. Association for Computational Linguistics , pp. 117-126. ISBN 978-1-941643-78-5

Wang, J.K. orcid.org/0000-0003-0048-3893, Madhyastha, P. and Specia, L. (2018) Object Counts! Bringing Explicit Detections Back into Image Captioning. In: North American Chapter of the Association of Computational Linguistics: Human Language Technologies (NAACL HLT). North American Chapter of the Association of Computational Linguistics: Human Language Technologies (NAACL HLT), 01-06 Jun 2018, New Orleans, Louisiana. ACL . (In Press)

Wang, J.K. orcid.org/0000-0003-0048-3893, Markert, K. and Everingham, M. (2016) Harvesting Training Images for Fine-Grained Object Categories using Visual Descriptions. In: Ferro, N., Crestani, F., Moens, M-F., Mothe, J., Silvestri, F., Di Nunzio, G.M., Hauff, C. and Silvello, G., (eds.) Advances in Information Retrieval. European Conference on Information Retrieval (ECIR2016), 20-23 Mar 2016, Padua, Italy. Lecture Notes in Computer Science, 9626 . Springer International Publishing , pp. 549-560. ISBN 978-3-319-30671-1

Warburton, M. and Maddock, S.C. orcid.org/0000-0003-3179-0263 (2015) Physically-based forehead animation including wrinkles. Computer Animation and Virtual Worlds, 26 (1). pp. 55-68. ISSN 1546-4261

Watson, M.T., Gladwin, D.T. orcid.org/0000-0001-7195-5435, Prescott, T.J. orcid.org/0000-0003-4927-5390 et al. (1 more author) (2018) Design and control of a novel omnidirectional dynamically balancing platform for remote inspection of confined and cluttered environments. In: 2018 IEEE International Conference on Industrial Electronics for Sustainable Energy Systems (IESES). International Conference on Industrial Electronics for Sustainable Energy Systems, 31 Jan - 02 Feb 2018, Hamilton, New Zealand. IEEE , pp. 473-478. ISBN 978-1-5090-4974-5

Wehn, U., Rusca, M., Evers, J. et al. (1 more author) (2015) Participation in flood risk management and the potential of citizen observatories: A governance analysis. Environmental Science and Policy, 48. pp. 225-236. ISSN 1462-9011

Wei, S.L., Vasilaki, E. orcid.org/0000-0003-3705-7070, Khiat, A. et al. (3 more authors) Emulating long-term synaptic dynamics with memristive devices. (Unpublished)

White, T., Fraser, G. and Brown, G.J. orcid.org/0000-0001-8565-5476 (2018) Modelling hand gestures to test leap motion controlled applications. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). 14th Workshop on Advances in Model Based Testing (A-MOST), 13 Apr 2018, Västerås, Sweden. IEEE , pp. 204-213. ISBN 978-1-5386-6352-3

Wilks, Y. (2008) The Semantic Web: Apotheosis of annotation, but what are its semantics? IEEE Intelligent Systems, 23 (3). pp. 41-49. ISSN 1541-1672

Winkler, J. and Halawani, H. (2018) The Sylvester and Bézout resultant matrices for blind image deconvolution. Journal of Mathematical Imaging and Vision, 60 (8). pp. 1284-1305. ISSN 0924-9907

Winkler, J.R. (2016) Polynomial computations for blind image deconvolution. Linear Algebra and Its Applications, 502. pp. 77-103. ISSN 0024-3795

Winkler, J.R. (2014) Structured matrix methods for the computation of multiple roots of a polynomial. Journal of Computational and Applied Mathematics, 272. 449 - 467. ISSN 0377-0427

Winkler, J.R. (2015) The Sylvester Resultant Matrix and Image Deblurring. In: Boissonnat, J.D., Lyche, T., Cohen, A., Mazure, M.L., Gibaru, O., Schumaker, L.L. and Gout, C., (eds.) Curves and Surfaces. 8th International Conference on Curves and Surfaces, June 12 - 18, 2014, Paris, France. Lecture Notes in Computer Science (9213). Springer , 461 - 490 . ISBN 978-3-319-22804-4

Winkler, J.R. and Allan, J.D. (2008) Structured total least norm and approximate GCDs of inexact polynomials. Journal of Computational and Applied Mathematics, 215 (1). pp. 1-13. ISSN 0377-0427

Winkler, J.R. and Hasan, M. (2010) A non-linear structure preserving matrix method for the low rank approximation of the Sylvester resultant matrix. Journal of Computational and Applied Mathematics, 234 (12). pp. 3226-3242. ISSN 0377-0427

Winkler, J.R. and Yang, N. (2014) A structure-preserving matrix method for the deconvolution of two Bernstein basis polynomials. Computer Aided Geometric Design, 31 (6). 317 - 328. ISSN 0167-8396

Wood, N., Sharkey, A., Mountain, G. et al. (1 more author) (2015) The paro robot seal as a social mediator for healthy users. In: Proceedings of AISB Convention 2015. 4th International Symposium on New Frontiers in Human-Robot Interaction, 21.04.2015 - 22.04.2015, Canterbury, UK. University of Kent .

Worgan, S.F. and Moore, R.K. (2011) Towards the detection of social dominance in dialogue. Speech Communication, 53 (9-10). pp. 1104-1114. ISSN 0167-6393

Wrigley, S.N., Brown, G.J., Wan, V. et al. (1 more author) (2005) Speech and crosstalk detection in multichannel audio. IEEE Transactions on Speech and Audio Processing, 13 (1). pp. 84-91. ISSN 1063-6676

Wu, C., Ng, R.W.M., Torralba, O.S. et al. (1 more author) (2017) Analysing acoustic model changes for active learning in automatic speech recognition. In: International Conference on Systems, Signals and Image Processing (IWSSIP). International Conference on Systems, Signals and Image Processing (IWSSIP), 22-24 May, 2017, Poznań, Poland. IEEE . ISBN 978-1-5090-6344-4

X

Xie, X., Yu, Z.L., Lu, H. orcid.org/0000-0002-0349-2181 et al. (2 more authors) (2017) Motor Imagery Classification Based on Bilinear Sub-Manifold Learning of Symmetric Positive-Definite Matrices. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 25 (6). pp. 504-516. ISSN 1534-4320

Xu, H., Li, Z., Dong, H. et al. (6 more authors) (2017) Hemodynamic parameters that may predict false-lumen growth in type-B aortic dissection after endovascular repair: A preliminary study on long-term multiple follow-ups. Medical Engineering & Physics. ISSN 1350-4533

Y

Yang, T.Y., Dehghantanha, A., Choo, K.-K.R. et al. (1 more author) (2017) Forensic Investigation of P2P Cloud Storage: BitTorrent Sync as a Case Study. Computers & Electrical Engineering, 58. pp. 350-363. ISSN 0045-7906

Young, R.J., Stevenson, R.M., Shields, A.J. et al. (6 more authors) (2005) Inversion of exciton level splitting in quantum dots. Physical Review B: Condensed Matter and Materials Physics, 72 (11). p. 113305. ISSN 1098-0121

Yuan, Y., Gao, J. orcid.org/0000-0002-3610-8748 and Zhang, Y. (2018) Supervised Learning for Robust Term Extraction. In: Asian Language Processing (IALP), 2017 International Conference on. International Conference on Asian Language Processing (IALP 2017), 5 - 7 December, 2017, Singapore. IEEE .

Yusoff, M.N., Dehghantanha, A. and Mahmod, R. (2017) Forensic Investigation of Social Media and Instant Messaging Services in Firefox OS: Facebook, Twitter, Google+, Telegram, OpenWapp and Line as Case Studies. arXiv. (Submitted)

Yusoff, M.N., Dehghantanha, A. and Mahmod, R. (2017) Network Traffic Forensics on Firefox Mobile OS: Facebook, Twitter and Telegram as Case Studies. arXiv.

Z

Zadjali, H. and North, S.D. (2016) XML Labels Compression using Prefix-Encodings. In: Proceedings of the 12th International Conference on Web Information Systems and Technologies. 12th International Conference on Web Information Systems and Technologies, April 23-25, 2016, Rome, Italy. SCITEPRESS, Science and Technology Publications , pp. 69-75. ISBN 978-989-758-186-1

Zaga, C., Charisi, V., Schadenberg, B. et al. (6 more authors) (2017) Growing-up hand in hand with robots: Designing and evaluating child-robot interaction from a developmental perspective. In: HRI '17 Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction. Human-Robot Interaction (HRI2017) , 06-09 Mar 2017, Vienna, Austria. Association for Computing Machinery , pp. 429-430. ISBN 9781450348850

Zeiler, S., Nicheli, R., Ma, N. orcid.org/0000-0002-4112-3109 et al. (2 more authors) (2016) Robust audiovisual speech recognition using noise-adaptive linear discriminant analysis. In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) , 20-25 March 2016, Shanghai. IEEE , pp. 2797-2801. ISBN 9781479999880

Zhang, P., Liu, Y. and Hain, T. (2014) Semi-Supervised DNN Training in Meeting Recognition. In: Proceedings of. 2014 IEEE Spoken Language Technology Workshop (SLT 2014), 7-10 December 2014, South Lake Tahoe, California and Nevada, USA. .

Zhang, Z., Bedder, M., Smith, S.L. et al. (3 more authors) (2015) Automated Motion Analysis of Adherent Cells in Monolayer Culture. In: Information Processing in Cells and Tissues. 10th International Conference, IPCAT 2015. Lecture Notes in Computer Science, 9303 . Springer Verlag , pp. 185-194. ISBN 978-3-319-23107-5

Zhang, Z., Bedder, M., Smith, S.L. et al. (3 more authors) (2016) Characterization and Classification of Adherent Cells in Monolayer Culture using Automated Tracking and Evolutionary Algorithms. Biosystems, 146. pp. 110-121. ISSN 0303-2647

Zhang, Z., Gao, J. and Ciravegna, F. (2016) JATE2.0: Java Automatic Term Extraction with Apache Solr. In: The LREC 2016 Proceedings. The International Conference on Language Resources and Evaluation, 23-28 May 2016, Slovenia. LREC 2016 . (In Press)

Zhang, Z. orcid.org/0000-0002-8587-8618, Gao, J. and Ciravegna, F. orcid.org/0000-0001-5817-4810 (2018) SemRe-Rank: Improving Automatic Term Extraction by Incorporating Semantic Relatedness with Personalised PageRank. ACM Transactions on Knowledge Discovery from Data, 12 (5). 57. ISSN 1556-4681

Zhang, Z., Gentile, A.L., Blomqvist, E. et al. (2 more authors) (2016) An unsupervised data-driven method to discover equivalent relations in large Linked Datasets. Semantic Web, 8 (2). pp. 197-223. ISSN 1570-0844

Zhang, Z., Petrak, J. orcid.org/0000-0001-8038-3096 and Maynard, D. orcid.org/0000-0002-1773-7020 (2018) Adapted TextRank for Term Extraction: a generic method of improving automatic term extraction algorithms. In: Procedia Computer Science. SEMANTiCS 2018, 10-13 Sep 2018, Vienna, Austria. Elsevier . (In Press)

Zhou, S., Cox, C. and Lu, H. orcid.org/0000-0002-0349-2181 (2018) Improving whole-brain neural decoding of fMRI with domain adaptation. bioRxiv. (Submitted)

Zhou, Y., Lu, H. orcid.org/0000-0002-0349-2181 and Cheung, Y.M. (2017) Bilinear Probabilistic Canonical Correlation Analysis via Hybrid Concatenations. In: 31st AAAI Conference on Artificial Intelligence, AAAI 2017. The 31st AAAI Conference on Artificial Intelligence (AAAI), 04-09 Feb 2017, San Francisco. Association for the Advancement of Artificial Intelligence , pp. 2949-2955.

Zubiaga, A., Aker, A., Bontcheva, K. orcid.org/0000-0001-6152-9600 et al. (2 more authors) (2018) Detection and Resolution of Rumours in Social Media: A Survey. ACM Computing Surveys, 51 (2). 32. ISSN 0360-0300

Zubiaga, A., Kochkina, E., Liakata, M. et al. (5 more authors) (2018) Discourse-Aware Rumour Stance Classification in Social Media Using Sequential Classifiers. Information Processing & Management, 54. pp. 273-290. ISSN 0306-4573

Zubiaga, A., Liakata, M., Procter, R. et al. (2 more authors) (2015) Towards Detecting Rumours in Social Media. In: AAAI 2015 Workshop On AI For Cities, 25/01/2015 -26/01/2015, Austin, Texas, USA.

Zuluaga, C. and Alvarez Lopez, M.A. (2018) Bayesian Probabilistic Power Flow Analysis Using Jacobian Approximate Bayesian Computation. IEEE Transactions on Power Systems. ISSN 0885-8950

Zuluaga, C.D., Valencia, E.A., Álvarez, M.A. orcid.org/0000-0002-8980-4472 et al. (1 more author) (2015) A Parzen-based distance between probability measures as an alternative of summary statistics in Approximate Bayesian Computation. In: Image Analysis and Processing — ICIAP 2015. 18th International Conference, September 7-11, 2015, Genoa, Italy. Lecture Notes in Computer Science (9279). Springer , pp. 50-61. ISBN 978-3-319-23230-0

Š

Ševa, J., Schatten, M. and Grd, P. (2015) Open Directory Project based universal taxonomy for Personalization of Online (Re)sources. Expert Systems with Applications, 42 (17-18). pp. 6306-6314. ISSN 0957-4174

This list was generated on Wed Oct 17 04:08:18 2018 BST.