White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

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 | R | S | T | V | W | Y | Z | Š
Number of items at this level: 367.

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

Adra, S., Sun, T., MacNeil, S., Holcombe, M. and Smallwood, R. (2010) Development of a Three Dimensional Multiscale Computational Model of the Human Epidermis. PLoS One, 5 (1). e8511. ISSN 1932-6203

Adra, S., Sun, T., MacNeil, S., Holcombe, M. and Smallwood, R. (2010) Development of a three dimensional multiscale computational model of the human epidermis. Plos One , 5 (1). Art. no.e8511 . ISSN 1932-6203

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

Aker, A., Kurtic, E., Hepple, M., Gaizauskas, R. and Di Fabbrizio, G. (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.L., Barker, E. and Gaizauskas, R. (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. and Gaizauskas, R. (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

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

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. and Stevenson, M. (2015) Evaluating Topic Representations for Exploring Document Collections. Journal of the Association for Information Science and Technology. ISSN 2330-1635

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. and Maddock, S.C. (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

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. ISSN 0021-9290

Appleby, P.A., Shabir, S., Southgate, J. and Walker, D. (2015) Sources of variability in cytosolic calcium transients triggered by stimulation of homogeneous uro-epithelial cell monolayers. Interface, 12 (105).

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) and Bontcheva, K. (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. . (In Press)

Augenstein, I., Rocktäschel, T., Vlachos, A. and Bontcheva, K. 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.

B

Barron, A.B., Gurney, K.N., Meah, L.F.S., Vasilaki, E. and Marshall, J.A.R. (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. and Specia, L. (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), Kilgour, J., Lanchantin, P., Liu, A., McParland, A., Renals, S., Saz, O., Wester, M. and Woodland, P. (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

Benson, A.P., Clayton, R.H., Holden, A.V., Kharche, S. and Tong, W.C. (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., Indiveri, G., Serb, A. and Prodromakis, P. (2016) Emulating short-term synaptic dynamics with memristive devices. Scientific Reports, 6. 18639. ISSN 2045-2322

Bhagdev, R., Chapman, S., Ciravegna, F., Lanfranchi, V. and Petrelli, D. (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., Bernardi, A., Sauermann, L., Apostolou, D., Mentzas, G. and Vasconcelos, A.C. (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., Bernardi, A., Sauermann, L., Apostolou, D., Mentzas, G. and Vasconcelos, A.C. (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.

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

Bontcheva, K. L., Cunningham, H., Aswani, N., Roberts, I., Roberts, A., Tablan, V. and Gorrell, G. (2013) GATE Teamware: A Web-based Collaborative Text Annotation Framework. Language Resources and Evaluation.

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

Brewster, C., Jupp, S., Luciano, J., Shotton, D., Stevens, R. and Zhang, Z. (2009) Issues in learning an ontology from text. BMC Bioinformatics, 10 (Suppl ). S1. ISSN 1471-2105

Brockington, A., Ning, K., Heath, P.R., Wood, E., Kirby, J., Fusi, N., Lawrence, N., Wharton, S.B., Ince, P.G. and Shaw, P.J. (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., Keller, C., Krieger, M.P., Longuet, D., Nemouchi, Y., Tuong, F. and Wolff, B. (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. and Wolff, B. (2010) HOL-TestGen 1.5.0 User Guide. Report. ETH Zurich. (Unpublished)

Brucker, A.D., Brügger, L., Krieger, M.P. and Wolff, B. (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., 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. 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. and Wolff, B. (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. 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.

C

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., Millings, A., Moore, R., Sharkey, A., Evers, V. and Prescott, T. (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., Fernando, S., Millings, A., Moore, R., Sharkey, A. and Prescott, T. (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

Cerqueira, F.R., Ferreira, R.S., Oliveira, A.P., Gomes, A.P., Ramos, H.J., Graber, A. and Baumgartner, C. (2012) MUMAL: multivariate analysis in shotgun proteomics using machine learning techniques. BMC Genomics, 13 Sup. S4. ISSN 1471-2164

Chang, E.T.Y., Lin, Y.T., Galla, T., Clayton, R.H. (orcid.org/0000-0002-8438-7518) and Eatock, J. (2016) A Stochastic Individual-Based Model of the Progression of Atrial Fibrillation in Individuals and Populations. PLoS ONE, 11 (4). e0152349. ISSN 1932-6203

Ciravegna, F. (orcid.org/0000-0001-5817-4810), Mazumdar, S., Ireson, N. and Cudd, P. (orcid.org/0000-0003-0119-7610) (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. (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), Büsing, L. and Gerstner, W. (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. and Wilks, Y. (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. and Stevenson, R.M. (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., Navarro, S. and Paramita, M.L. (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., Vasilaki, E. (orcid.org/0000-0003-3705-7070) and Marshall, J.A.R. (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

Crampin, E.J., Smith, N.P., Langham, A.E., Clayton, R.H. and Orchard, C.H. (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

Cunningham, H. (orcid.org/0000-0001-5901-5483), Tablan, V., Roberts, A. and Bontcheva, K. (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

D

Dadzie, A.S., Bhagdev, R., Chakravarthy, A., Chapman, S., Iria, J., Lanfranchi, V., Magalhaes, J., Petrelli, D. and Ciravegna, F. (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., Chapman, S., Iria, J., Lanfranchi, V., Magalhães, J., Petrelli, D. and Ciravegna, F. (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. and Lawrence, N.D. (2015) Semi-described and semi-supervised learning with Gaussian processes. (Unpublished)

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

Dang, D., Friedrich, T., Kötzing, T., Krejca, M.S., Lehre, P.K., Oliveto, P.S., Sudholt, D. (orcid.org/0000-0001-6020-1646) and Sutton, A.M. (2016) Emergence of Diversity and its Benefits for Crossover in Genetic Algorithms. In: 14th International Conference on Parallel Problem Solving from Nature. Parallel Problem Solving from Nature (PPSN 2016), 17th - 21st Sep, 2016, Edinburgh, UK. Lecture Notes in Computer Science . Springer . (In Press)

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

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. 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., Cox, A.G., McLeod, C.W., Monk, C.E., Mann, B.E., Motterlini, R. and Poole, R.K. (2009) Carbon monoxide-releasing antibacterial molecules target respiration and global transcriptional regulators. Journal of Biological Chemistry, 284 (7). pp. 4516-4524. ISSN 0021-9258

Demetriou, G., Skadina, I., Keskustalo, H., Karlgren, J., Deksne, D., Petrelli, D., Hansen, P., Gaizauskas, R. and Sanderson, M. (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. 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., van Erp, M., Gorrell, G., Troncy, R., Petrak, J. and Bontcheva, K. (2014) Analysis of named entity recognition and linking for tweets. Information Processing & Management, 51 (2). 32 - 49. ISSN 0306-4573

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

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

Dewar, M.A., Kadirkamanathan, V., Opper, M. and Sanguinetti, G. (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

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)

Doulaty, M., Saz, O., Ng, R.W.M. and Hain, T. (orcid.org/0000-0003-0939-3464) (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.

de La Gorce, M., Williams, T., Rogers, M. and Walker, K. (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

Elbedweihy, K.M., Wrigley, S.N., Clough, P. and Ciravegna, F. (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., Rousis, K. and Paunovski, O. (2015) Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor Networks. International Journal of Distributed Sensor Networks. 139735. ISSN 1550-1329

Epton, T., Norman, P., Sheeran, P., Harris, P.R., Webb, T.L., Ciravegna, F., Brennan, A., Meier, P., Julious, S.A., Naughton, D., Petroczi, A., Dadzie, A-S. and Kruger, J. (2013) A theory-based online health behavior intervention for new university students: study protocol. BMC Public Health, 13. 107. ISSN 1471-2458

Esposito, U., Giugliano, M. and Vasilaki, E. (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 Neuroscience, 8. 175. ISSN 1662-5188

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. and Vasilaki, E. (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

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., Brucker, A.D., Breu, R. and Pretschner, A. (2015) Security Testing: A Survey. In: Memon, A., (ed.) Advances in Computers, Volume 101. Elsevier , Cambridge, MA, USA , pp. 1-51. ISBN 9780128051580

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

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. . (In Press)

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. and Rovetta, S. (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

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. and Hain, T. (2013) The Sheffield Wargames Corpus. In: Proceedings of Interspeech 2013. Interspeech 2013, 25-29 August 2013, Lyon, France. ISCA .

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., 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., Arcuri, A. and Padberg, F. (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., Arcuri, A. and Padberg, F. (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.. and Battaglia, G. (2015) Modelling the Transport of Nanoparticles under Blood Flow using an Agent-based Approach. Scientific Reports, 5. 10649 . ISSN 2045-2322

G

Gaizauskas, R., Demetriou, G., Artymiuk, P.J. and Willett, P. (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., Pinnis, M., Aker, A. and Pahisa Solé, M. (2015) Extracting bilingual terms from the Web. Terminology, 21 (2). pp. 205-236. ISSN 0929-9971

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

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. and Anumba, D.O.C. (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

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)

Gehring, T., Luksys, G., Sandi, C. and Vasilaki, E. (orcid.org/0000-0003-3705-7070) (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.

Gheorghe, M., Konur, S., Ipate, F., Mierla, L., Bakir, M.E. and Stannett, M. (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), Yan, F., Ramisa, A., Dellandrea, E., Gaizauskas, R., Villegas, M. and Mikolajczyk, K. (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)

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. and Kourtesis, D. (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-Agirre, A., Rigau, G., Agirre, E., Aletras, N. and Stevenson, M. (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: ACL 2016. Association for Computational Linguistics 2016, 7 - 12th Aug 2016, Berlin, Germany. . (In Press)

Gorrell, G., Ford, N., Madden, A., Holdridge, P. and Eaglestone, B. (2011) Countering method bias in questionnaire-based user studies. Journal of Documentation, 67 (3). pp. 507-524. ISSN 0022-0418

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

Greenwood, P.D.L., Childs, D.T.D., Kennedy, K., Groom, K.M., Hugues, M., Hopkinson, M., Hogg, R.A., Krstajic, N., Smith, L.E., Matcher, S.J., Bonesi, M., MacNeil, S. and Smallwood, R. (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

Guo, Y. (orcid.org/0000-0002-0307-1459), Wang, X., Wu, C., Fu, Q., Ma, N. (orcid.org/0000-0002-4112-3109) and Brown, G. (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. . (In Press)

H

Hain, T., Christian, J., Saz, O., Deena, S., Hasan, M., Ng, R.W.M., Milner, R., Doulaty, M. and Liu, Y. (2016) webASR 2 - Improved cloud based speech technology. In: Proceedings of the 17th Annual Conference of the International Speech Communication Association (Interspeech). 17th Annual Conference of the International Speech Communication Association (Interspeech). . (In Press)

Harkema, H., Roberts, I., Gaizauskas, R. (orcid.org/0000-0002-3356-5126) and Hepple, M. (orcid.org/0000-0003-1488-257X) (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, Coy, A., O'Neill, P., Seghal, S. and Enderby, Pam (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.

Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luttgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R. and Zedan, H. (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

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.

Humphreys, K., Gaizauskas, R., Hepple, M. and Sanderson, M. (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

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

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

Johansson, M., Roberts, A., Chen, D., Li, Y., Delahaye-Sourdeix, M., Aswani, N., Greenwood, M.A., Benhamou, S., Lagiou, P., Holcatova, I., Richiardi, L., Kjaerheim, K., Agudo, A., Castellsague, X., Macfarlane, T.V., Barzan, L., Canova, C., Thakker, N.S., Conway, D.I., Znaor, A., Healy, C.M., Ahrens, W., Zaridze, D., Szeszenia-Dabrowska, N., Lissowska, J., Fabianova, E., Mates, I.N., Bencko, V., Foretova, L., Janout, V., Curado, M.P., Koifman, S., Menezes, A., Wuensch-Filho, V., Eluf-Neto, J., Boffetta, P., Franceschi, S., Herrero, R., Fernandez Garrote, L., Talamini, R., Boccia, S., Galan, P., Vatten, L., Thomson, P., Zelenika, D., Lathrop, M., Byrnes, G., Cunningham, H. (orcid.org/0000-0001-5901-5483), Brennan, P., Wakefield, J. and Mckay, J.D. (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

Johnstone, R.H., Chang, E.T.Y., Bardenet, R., De Boer, T., Gavaghan, D.J., Pathmanathan, P., Clayton, R.H. and Mirams, G.R. (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

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

Kaul, H., Hall, B.K., Newby, C. and Ventikos, Y. (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., Bradley, C.P., Paterson, D.J., Hayward, M.P., Taggart, P. and Panfilov, A.V. (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., Brown, G.J. and Gemmeke, J.F. (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

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., Nasir, A., Riaz, O., Gotoh, Y. and Amiruddin, M. (2016) A statistical model for annotating videos with human actions. Pakistan Journal of Statistics, 32 (2). pp. 109-123. ISSN 1012-9367

Kiran, M., Friesen, A., Simons, A.J.H. and Schwach, W.K.R. (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

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

Kourtesis, D., Bratanis, K., Friesen, A., Verginadis, Y., Simons, A.J.H., Rossini, A., Schwichtenberg, A. and Gouvas, P. (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.

Krotov, A., Hepple, M., Gaizauskas, R. and Wilks, Y. (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., Steenbergen, W., Hogg, R. and Smallwood, R. (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

L

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

Lanchantin, P., Bell, P.J., Gales, M.J.F., Hain, T. (orcid.org/0000-0003-0939-3464), Liu, X., Long, Y., Quinnell, J., Renals, S., Saz, O., Seigel, M.S., Swietojanski, P. and Woodland, P.C. (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., 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

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

Li, X., Upadhyay, A.K., Bullock, A.J., Dicolandrea, T., Xu, J., Binder, R.L., Robinson, M.K., Finlay, D.R., Mills, K.J., Bascom, C.C., Kelling, C.K., Isfort, R.J., Haycock, J.W., MacNeil, S. and Smallwood, R.H. (2013) Skin Stem Cell Hypotheses and Long Term Clone Survival - Explored Using Agent-based Modelling. Scientific Reports, 3. 1904. ISSN 2045-2322

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.

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

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: 16th Annual Conference of the International Speech Communication Association (INTERSPEECH 2015): Speech Beyond Speech Towards a Better Understanding of the Most Important Biosignal. INTERSPEECH 2015, 06-10 Sep 2015, Dresden, Germany. . (In Press)

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., Green, P., Barker, J. and Coy, A. (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) and Brown, G.J. (orcid.org/0000-0001-8565-5476) (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. (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

Mahmud, M., Pulizzi, R., Vasilaki, E. (orcid.org/0000-0003-3705-7070) and Giugliano, M. (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

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), 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., Favreau-Peigne, A., Fromhage, L., McNamara, J.M., Meah, L.F.S. and Houston, A.I. (2015) Cross inhibition improves activity selection when switching incurs time costs. Current Zoology, 61 (2). 242 - 250. ISSN 1674-5507

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.G. and Bontcheva, K. (2016) Challenges of Evaluating Sentiment Analysis Tools on Social Media. In: Proceedings of LREC 2016. 10th edition of the Language Resources and Evaluation Conference, 23-28 May 2016, Portorož. LREC . (In Press)

Mazumdar, S., Petrelli, D., Elbedweihy, K., Lanfranchi, V. and Ciravegna, F. (2009) Affective Graphs: The Visual Appeal of Linked Data. Semantic Web. 491-1687. ISSN 1570-0844

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

McInnes, B.T. and Stevenson, 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. and Kapfhammer, G.M. (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., 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.

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] and Brown, B.H. (1996) Three Dimensional Electrical Impedance Tomography. Nature, 380 (6574). pp. 509-512. ISSN 0028-0836

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., Saz, O., Deena, S., Doulaty, M., Ng, R. and Hain, T. (orcid.org/0000-0003-0939-3464) (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

Mirams, G.R., Pathmanathan, P., Gray, R.A., Challenor, P. and Clayton, R.H. (2016) White paper: Uncertainty and variability in computational and mathematical models of cardiac physiology. Journal of Physiology. ISSN 1469-7793

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.

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).

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. (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

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

N

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.W.M., Doulaty, M., Doddipatla, R., Aziz, W., Shah, K., Saz, O., Hasan, M., AlHarbi, G., Specia, L. and Hain, T. (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., Shah, K., Specia, L. (orcid.org/0000-0002-5495-3128) and Hain, T. (orcid.org/0000-0003-0939-3464) (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

O

Olcoz, J., Saz Torralba, O. and Hain, T. (2016) Error correction in lightly supervised alignment of broadcast subtitles. In: Proceedings of the 17th Annual Conference of the International Speech Communication Association (Interspeech). 17th Annual Conference of the International Speech Communication Association (Interspeech). . (In Press)

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.

Othmane, L.B., Chehrazi, G., Bodden, E., Tsalovski, P. and Brucker, A.D. (2015) Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Report. Technische Universität Darmstadt.

P

Pais, D, Hogan, PM, Schlegel, T, Franks, NR, Leonard, NE and Marshall, JAR (2013) A Mechanism for Value-Sensitive Decision-Making. PLOS ONE, 8 (9). ISSN 1932-6203

Paixão, T., Badkobeh, G., Barton, N., Çörüş, D., Dang, D.C., Friedrich, T., Lehre, P.K., Sudholt, D., Sutton, A.M. and Trubenová, B. (2015) Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology, 383. 28 - 43. ISSN 0022-5193

Paramita, M., Clough, P., Aker, A. and Gaizauskas, R. (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

Pearson, R., Liu, X., Sanguinetti, G., Milo, M., Lawrence, N. and Rattray, M. (2009) puma: a Bioconductor package for propagating uncertainty in microarray analysis. BMC Bioinformatics, 10 (1). p. 211. ISSN 1471-2105

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

Petrelli, D., Beaulieu, M., Demetriou, G., Herring, P. and Sanderson, M. (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., Ciravegna, F. and Cadnas, C. (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. and Ciravegna, F. (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

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. and Qwarnstrom, E. (2008) Introducing spatial information into predictive NF-kappa B modelling - an agent-based approach. Plos One , 3 (6). Art No.e2367 . ISSN 1932-6203

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

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., Dellandrea, E., Moreno-Noguer, F. and Gaizauskas, R. (orcid.org/0000-0002-3356-5126) (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 and Simons, Anthony J.H. (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

Remes, U., López, A.R., Juvela, L., Palomäki, K., Brown, G.J., Alku, P. and Kurimo, M. (2015) Comparing human and automatic speech recognition in a perceptual restoration experiment. Computer Speech and Language, 35. 14 - 31. ISSN 0885-2308

Rhodes, D.M., Holcombe, M. and Qwarnstrom, E.E. (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

Richmond, P, Cope, A, Gurney, K and Allerton, D.J (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. and Vasilaki, E. (orcid.org/0000-0003-3705-7070) (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., Gaizauskas, R., Hepple, M., Demetriou, G., Guo, Y. and Roberts, I. (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., Hepple, M. and Guo, Y. (2008) Mining clinical relationships from patient narratives. BMC Bioinformatics, 9 (Suppl ). S3. ISSN 1471-2105

Roberts, A., Gaizauskas, R. (orcid.org/0000-0002-3356-5126), Hepple, M. (orcid.org/0000-0003-1488-257X) and Guo, Y.K. (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., Okuda, S. and Marshall, J.A.R. (orcid.org/0000-0002-1506-167X) (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

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

Roller, R.A., Agirre, E., Sorora, A. and Stevenson, M. (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., Cope, A., Gurney, K., Vasilaki, E. and Marshall, J.A.R. (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

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. and Brazma, A. (2007) Prediction of Gene Expression in Embryonic Structures of Drosophila melanogaster. PLoS Computational Biology, 3 (7). e144. ISSN 1553-734X

Sanderson, M., Paramita, M.L., Clough, P. and Kanoulas, E. (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

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. UNSPECIFIED, 7-10 Dec. 2014, South Lake Tahoe, NV. IEEE , 118 - 123. ISBN 9781479971299

Saz, O. and Hain, T. (2016) Acoustic Adaptation to Dynamic Background Conditions with Asynchronous Transformations. Computer, Speech & Language. 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 .

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

Schymura, C., Walther, T., Kolossa, D., Ma, N. and Brown, G.J. (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

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. and Specia, L. (orcid.org/0000-0002-5495-3128) (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.

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

Shuaib, A., Hartwell, A., Kiss-Toth, E. and Holcombe, M. (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

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., Paraskakis, I., Veloudis, S., Verginadis, Y., Mentzas, G., Braun, S. and Rossini, A. (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. and Jensen, J. (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) and Simons, A.J.H. (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., Delves, M., Pollock, H., Hammiche, A., Hodges, C., Mathot, V. and Willcocks, P. (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. and Vlachos, A. (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, J., Hall, M.M., Goodale, P., Clough, P. and Stevenson, M. (2014) PATHS in context: User characteristics and the construction of cultural heritage narratives. In: iConference 2014, 5-7 March 2014, Berlin.

Smith, L.E., Hearnden, V. (orcid.org/0000-0003-0838-7783), Lu, Z., Smallwood, R. (orcid.org/0000-0003-0134-0632), Hunter, K.D. (orcid.org/0000-0002-7873-0877), Matcher, S.J., Thornhill, M.H. (orcid.org/0000-0003-0681-4083), Murdoch, C. (orcid.org/0000-0001-9724-122X) and MacNeil, S. (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

Specia, L., Stevenson, M., das Gracas, M. and Nunes, V. (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. and Preotiuc-Pietro, D. (2016) Sub-Story Detection in Twitter with Hierarchical Dirichlet Processes. arXiv. (Submitted)

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., Romano, D.M. and Kurdi, O.A. (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. (In Press)

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., Gaizauskas, R. and Martinez, D. (2008) Disambiguation of biomedical text using diverse sources of information. BMC Bioinformatics, 9 (Suppl ). 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

Sudholt, D. (2015) How Crossover Speeds Up Building-Block Assembly in Genetic Algorithms. Evolutionary Computation. ISSN 1530-9304

Sudholt, D. (orcid.org/0000-0001-6020-1646), Perez Heredia, J., Paixao, T., Trubenova, B. and Oliveto, P.S. (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

Sun, T., Adra, S., Smallwood, R., Holcombe, M. and MacNeil, S. (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., Smallwood, R. and MacNeil, S. (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

T

Tablan, V, Roberts, I, Cunningham, H and Bontcheva, K (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

Tang, Y., Wang, J.K. (orcid.org/0000-0003-0048-3893), Gao, B., Dellandréa, E., Gaizauskas, R. (orcid.org/0000-0002-3356-5126) and Chen, L. (2016) Large Scale Semi-supervised Object Detection using Visual and Semantic Knowledge Transfer. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2016). IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2016), 26 Jun - 01 Jul 2016, Las Vegas, Nevada. IEEE . (In Press)

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., Simons, T. and Michaelides, G. (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

Tomkins, A., Vasilaki, E. (orcid.org/0000-0003-3705-7070), Beste, C., Gurney, K. and Humphries, M.D. (2014) Transient and steady-state selection in the striatal microcircuit. Frontiers in Computational Neuroscience, 7. 192. ISSN 1662-5188

V

Vasilaki, E. (orcid.org/0000-0003-3705-7070), Frémaux, N., Urbanczik, R., Senn, W. and Gerstner, W. (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.

Villegas, M., Müller, H., García Seco de Herrera, A., Schaer, R., Bromuri, S., Gilbert, A., Piras, L., Wang, J.K. (orcid.org/0000-0003-0048-3893), Yan, F., Ramisa, A., Dellandrea, E., Gaizauskas, R., Mikolajczyk, K., Puigcerver, J., Toselli, A.H., Sánchez, J-A. and Vidal, E. (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 (In Press)

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. 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 .

W

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., Smallwood, R.H. and Southgate, J. (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., Holcombe, M., Hose, D.R., Wood, S.M., Mac Neil, S. and Smallwood, R.H. [r.smallwood@shef.ac.uk] (2004) The Epitheliome: agent-based modelling of the social behaviour of cells. BioSystems, 76 (1-3). pp. 89-100. ISSN 0303-2647

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

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), 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

Wei, S.L., Vasilaki, E. (orcid.org/0000-0003-3705-7070), Khiat, A., Salaoru, I., Berdan, R. and Prodromakis, T. Emulating long-term synaptic dynamics with memristive devices. (Unpublished)

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.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. and Millings, A. (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. and Renals, S. (2005) Speech and crosstalk detection in multichannel audio. IEEE Transactions on Speech and Audio Processing, 13 (1). pp. 84-91. ISSN 1063-6676

Y

Young, R.J., Stevenson, R.M., Shields, A.J., Atkinson, P., Cooper, K., Ritchie, D.A., Groom, K.M., Tartakovskii, A.I. and Skolnick, M.S. (2005) Inversion of exciton level splitting in quantum dots. Physical Review B: Condensed Matter and Materials Physics, 72 (11). p. 113305. ISSN 1098-0121

Z

Zeiler, S., Nicheli, R., Ma, N. (orcid.org/0000-0002-4112-3109), Brown, G.J. (orcid.org/0000-0001-8565-5476) and Kolossa, D. (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., Walker, D., Shabir, S. and Southgate, J. (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., Walker, D., Shabir, S. and Southgate, J. (2016) Characterization and Classification of Adherent Cells in Monolayer Culture using Automated Tracking and Evolutionary Algorithms. Biosystems. 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)

Š

Š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 Mon Aug 22 17:29:08 2016 BST.