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 [feed] RSS 2.0 Altmetric
Group by: Creators Name | Item Type
Jump to: A | B | C | D | E | F | G | H | I | K | L | M | N | P | R | S | T | V | W | Y
Number of items at this level: 143.

A

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

B

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

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.

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 5). S1. ISSN 1471-2105

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

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

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

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

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)

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

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

E

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

Epton, T., Norman, P., Webb, T.L., Dadzie, A-S., Ciravegna, F., Harris, P.R., Sheeran, P., Julious, S.A., Brennan, A., Meier, P.S., Kruger, J., Naughton, D., Petroczi, A. and Shah, I. (2014) A theory-based online health behaviour intervention for new university students (U@Uni): Results from a randomised controlled trial. BMC Public Health, 14 (1).

F

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

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

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.

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.

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

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

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

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

H

Hawley, Mark, Cunningham, S., 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. 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. Bioinformatics, 8 (413). ISSN 1471-2105

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

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

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

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

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

M

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

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

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

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

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

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

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

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

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

R

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/2009 . Springer , Berlin / Heidelberg , pp. 593-607. ISBN 978-3-642-02120-6

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.

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 (2013) Exploring concepts of ‘collection’ in the digital world. ALISS Quarterly, 8 (2). 3 - 8. ISSN 1747-9258

Roberts, A., Gaizauskas, R., Hepple, M. and Guo, Y. (2008) Mining clinical relationships from patient narratives. BMC Bioinformatics, 9 (Suppl ). S3. ISSN 1471-2105

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

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

S

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

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

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

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

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

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

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

Stevenson, M., Guo, Y., Gaizauskas, R. and Martinez, D. (2008) Disambiguation of biomedical text using diverse sources of information. BMC Bioinformatics, 9 (Suppl 11). S7. ISSN 1471-2105

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. and Wilks, Y. (2001) The interaction of knowledge sources in word sense disambiguation. Computational Linguistics, 27 (3). pp. 321-349. ISSN 0891-2017

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

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

V

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.

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

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

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

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

This list was generated on Thu Dec 18 00:22:39 2014 GMT.