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 | J | K | L | M | N | P | Q | R | S | T | V | W | Z
Number of items at this level: 285.

A

Abu Shawar, B.A., Atwell, E. and Roberts, A. (2005) FAQchat as in Information Retrieval system. In: Human Language Technologies as a Challenge for Computer Science and Linguistics: Proceedings of the 2nd Language and Technology Conference. 2nd Language & Technology Conference, April, 21-23, 2005, Poznań, Poland . Poznań : Wydawnictwo Poznańskie : with co-operation of Fundacja Uniwersytetu im. A. Mickiewicza , pp. 274-278. ISBN 9788371773419

Al-Rajab, M, Hogg, DC and Ng, K (2008) A comparative study on using Zernike velocity moments and hidden Markov models for hand gesture recognition. In: Perales, FJ and Fisher, RB, (eds.) Articulated Motion and Deformable Objects, AMDO 2008, 5th International Conference. Conference on Articulated Motion and Deformable Objects (AMDO 2008), 9-11 July 2008, Mallorca, Spain. Lecture notes in computer science, 5098 . Springer , 319 - 327 . ISBN 978-3-540-70516-1

Alfaifi, AYG and Atwell, E (2014) Arabic learner corpus: a new resource for arabic language research. In: 7th Saudi Students Conference, 1st – 2nd February 2014, Edinburgh International Conference Centre. (Unpublished)

Alfaifi, AYG and Atwell, E Comparative Evaluation of Tools for Arabic Corpora Search and Analysis. In: UNSPECIFIED BAAL / Cambridge University Press Applied Linguistics Seminar, 14th June 2014, Leeds Metropolitan University, Leeds. . (Unpublished)

Alfaifi, AYG and Atwell, ES (2012) المدونات اللغوية لمتعلمي اللغة العربية: نظامٌ لتصنيف وترميز الأخطاء اللغوية "Arabic Learner Corpora (ALC): A Taxonomy of Coding Errors". In: UNSPECIFIED 8th International Computing Conference in Arabic (ICCA 2012), Cairo, Egypt. International Computing Conference in Arabic , Cairo, Egypt .

Alfaifi, AYG and Atwell, ES (2013) Arabic Learner Corpus v1: A New Resource for Arabic Language Research. In: UNSPECIFIED Second Workshop on Arabic Corpus Linguistics, 22 - 26 July 2013, Lancaster, UK. . (In Press)

Allendes Osorio, R.S. and Brodlie, K.W. (2008) Contouring with uncertainty. In: Lim, Ik Soo and Tang, Wen, (eds.) Theory and Practice of Computer Graphics 2008. Proceedings. 6th Theory & Practice of Computer Graphics Conference (TP.CG.08) (UK Chapter of the Eurographics Association), 9 -11 June 2008, Manchester. Eurographics Association , pp. 59-66.

Allendes Osorio, RS and Brodlie, KW (2009) Uncertain Flow Visualization using LIC. In: Tand, W and Collomosse, J, (eds.) Theory and Practice of Computer Graphics, Eurographics UK Chapter Proceedings. 7th Theory and Practice of Computer Graphics (the 27th Conference organised by the Eurographics Association Eurographics UK Chapter), 17-19 June 2009, Cardiff University. Eurographics Association , 215 - 222.

Almogy, G., Cohen, N., Stöcker, S. and Stone, L. (2002) Immune response and virus population composition: HIV as a case study. Proceedings of the Royal Society B: Biological Sciences, 269 (1493). pp. 809-815. ISSN 1471-2954

Alrehaili, SM and Atwell, E (2014) Linguistics features to confirm the chronological order of the Quran. In: Conference proceedings for Second Workshop on Arabic Corpus Linguistics. Second Workshop on Arabic Corpus Linguistics, 22 July 2014, Lancaster, UK. UCREL , 62 - 65.

Ammari, A, Dimitrova, V, Lau, LMS, Tzagarakis, M and Karacapilidis, N Augmented Collaborative Spaces for Collective Sense Making: The Dicode Approach. In: Paramythis, A, Lau, L, Demetriadis, S, Tzagarakis, M and Kleanthous, S, (eds.) The International Workshop on Adaptive Support for Team Collaboration 2011, held in conjunction with the International Conference on User Modeling, Adaptation, and Personalization (UMAP2011), Girona, Spain, July 15, 2011. International Workshop on Adaptive Support for Team Collaboration, 11 Jul 2011 - 15 Jul 2011, Girona, Spain. CEUR , 3 - 13 .

Apel, T., Grosman, S., Jimack, P.K. and Meyer, A. (2004) A new methodology for anisotropic mesh refinement based upon error gradients. Applied Numerical Mathematics, 50 (3-4). pp. 329-341. ISSN 0168-9274

Apel, Th., Berzins, M., Jimack, P.K., Kunert, G., Plaks, A., Tsukerman, I. and Walkley, M. (2000) Mesh shape and anisotropic elements : theory and practice. In: Whiteman, J.R., (ed.) The Mathematics of Finite Elements and Applications X : Proceedings of the Tenth Conference on The Mathematics of Finite Elements and Applications (MAFELAP 1999), Middlesex, UK, 22-25 June 1999. Elsevier , Oxford , pp. 367-376. ISBN 0080435688

Aslanidi, OV, Brodlie, KW, Clayton, RH, Handley, J, Holden, AV and Wood, J (2005) Remote visualization and computational steering of cardiac virtual tissues using gViz. In: Proceedings of the 4th UK e-Science All Hands Meeting (AHM'05). UK e-Science All Hands Meeting 2005, 19th-22nd September 2005, Nottingham, UK. EPSRC . ISBN 1-904425-53-4

Ayali, A., Zilberstein, Y. and Cohen, N. (2002) The locust frontal ganglion: a central pattern generator network controlling foregut rhythmic motor patterns. Journal of Experimental Biology, 205 (18). pp. 2825-2832. ISSN 1477-9145

B

Bagnara, R., Zeffanella, E. and Hill, P.M. (2005) Enhanced sharing analysis techniques: a comprehensive evaluation. Theory and Practice of Logic Programming, 5 (1-2). pp. 1-43. ISSN 1471-0684

Baines, M.J., Hubbard, M.E. and Jimack, P.K. (2005) A moving mesh finite element algorithm for fluid flow problems with moving boundaries. International Journal for Numerical Methods in Fluids, 47 (10-11). pp. 1077-1083. ISSN 0271-2091

Baines, M.J., Hubbard, M.E. and Jimack, P.K. (2005) A moving mesh finite element algorithm for the adaptive solution of time-dependent partial differential equations with moving boundaries. Applied Numerical Mathematics, 54 (3-4). pp. 450-469. ISSN 0168-9274

Baines, M.J., Hubbard, M.E., Jimack, P.K. and Jones, A.C. (2006) Scale-invariant moving finite elements for nonlinear partial differential equations in two dimensions. Applied Numerical Mathematics, 56 (2). pp. 230-252. ISSN 0168-9274

Baines, M.J., Hubbard, M.E., Jimack, P.K. and Mahmood, R. (2009) A moving-mesh finite element method and its application to the numerical solution of phase-change problems. Communications in Computational Physics, 6 (3). pp. 595-624. ISSN 1991-7120

Bang Le, V., Mosca, R. and Muller, H. (2008) On stable cutsets in claw-free graphs and planar graphs. Journal of Discrete Algorithms, 6 (2). pp. 256-276. ISSN 1570-8667

Bank, R.E. and Jimack, P.K. (2001) A new parallel domain decomposition method for the adaptive finite element solution of elliptic partial differential equations. Concurrency and Computation: Practice and Experience, 13 (5). pp. 327-350. ISSN 1532-0626

Bank, R.E., Jimack, P.K., Nadeem, S.A. and Nepomnyaschikh, S.V. (2002) A weakly overlapping domain decomposition preconditioner for the finite element solution of elliptic partial differential equations. SIAM Journal on Scientific Computing, 23 (6). pp. 1817-1841. ISSN 1064-8275

Beck, A.R., Bennett, B., Boukhelifa, N., Cohn, A.G., Duke, D, Fu, G., Hickinbotham, S. and Stell, J.G. (2007) Minimising street works disruption : knowledge and data integration for utility assets: progress from the MTU and VISTA projects. Research Report. UK Water Industry Research Limited

Beck, A.R., Cohn, A.G., Bennett, B., Fu, G., Ramage, S., Sanderson, M., Stell, J.G. and Tagg, C (2008) UK utility data integration: overcoming schematic heterogeneity. In: Proceedings of SPIE. Geoinformatics 2008 and Joint Conference on GIS and Built Environment: Geo-Simulation and Virtual GIS Environments. , Art. No. 71431Z.

Beck, A.R., Fu, G., Cohn, A.G., Bennett, B. and Stell, J.G. (2007) A framework for utility data integration in the UK. In: Rumor, M., Coors, V. and Fendel, E.M., (eds.) Urban and Regional Data Management: UDMS 2007. 26th Urban Data Management Symposium, October 10-12, 2007, Stuttgart, Germany. Taylor and Francis , pp. 261-276. ISBN 9780415440592

Bennett, B (2008) Spatial Reasoning. Encyclopedia of Geographic Information Science. pp. 426-432.

Bennett, B. (2008) Combining logic and probability in tracking and scene interpretation. In: Cohn, A.G., Hogg, D.C., Möller, R. and Neumann, B., (eds.) Logic and probability for scene interpretation. Logic and Probability for Scene Interpretation, 25th - 29th Feb 2008, Dagstuhl, Germany. Dagstuhl Seminar Proceedings (08091). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany , Dagstuhl .

Bennett, B. and Agarwal, P. (2007) Semantic categories underlying the meaning of ‘place’. In: Winter, S., Duckham, M., Kulik, L. and Kuipers, B., (eds.) Spatial Information Theory : 8th International Conference, COSIT 2007. Proceedings. COSIT 2007, September 19-23, 2007, Melbourne, Australia. Lecture Notes in Computer Science (4736). Springer , Berlin / Heidelberg , pp. 78-95. ISBN 978-3-540-74786-4

Bennett, B., Magee, D.R., Cohn, A.G. and Hogg, D.C. (2008) Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity. Image & Vision Computing, 26 (1). pp. 67-81. ISSN 0262-8856

Bennett, B., Mallenby, D. and Third, A. (2008) An Ontology for Grounding Vague Geographic Terms. In: Eschenbach, C. and Grüninger, M., (eds.) Formal Ontology in Information Systems - Proceedings of the Fifth International Conference. FOIS-08, Oct 31st - Nov 3rd 2008, Saarbrücken, Germany. Frontiers in Artificial Intelligence and Applications (183). IOS Press , pp. 280-293. ISBN 978-1-58603-923-3

Berri, S., Abbruscato, P., Faivre-Rampant, O., Brasileiro, A.C.M., Fumasoni, I., Satoh, K., Kikuchi, S., Mizzi, L., Morandini, P., Pè, M.E. and Piffanelli, P. (2009) Characterization of WRKY co-regulatory networks in rice and Arabidopsis. BMC Plant Biology , 9. ISSN 1471-2229

Berry, E., Boyle, R.D., Fitzgerald, A.J. and Handley, J.W. (2005) Time frequency analysis in terahertz pulsed imaging. In: Bhanu, B. and Pavlidis, I., (eds.) Computer Vision: Beyond the Visible Spectrum. Advances in Pattern Recognition . Springer Verlag , London, UK , pp. 290-329. ISBN 1 -85233-604-8

Berry, E., Handley, J.W., Fitzgerald, A.J., Merchant, W.J., Boyle, R.D., Zinov'ev, N.N., Miles, R.E., Chamberlain, J.M. and Smith, M.A. (2004) Multispectral classification techniques for terahertz pulsed imaging: an example in histopathology. Medical Engineering and Physics, 26 (5). pp. 423-430. ISSN 1350-4533

Berzins, M., Capon, P.J. and Jimack, P.K. (1998) On spatial adaptivity and interpolation when using the method of lines. Applied Numerical Mathematics, 26 (1-2). pp. 117-133. ISSN 0168-9274

Beyersdorff, O (2007) Classes of representable disjoint NP-pairs. Theoretical Computer Science, 377 (1-3). 93 - 109 . ISSN 0304-3975

Beyersdorff, O (2009) Comparing axiomatizations of free pseudospaces. Archive for Mathematical Logic, 48 (7). 625 - 641 . ISSN 0933-5846

Beyersdorff, O (2010) The Deduction Theorem for Strong Propositional Proof Systems. Theory of Computing Systems, 47 (1). 162 - 178 . ISSN 1432-4350

Beyersdorff, O (2012) Non-classical Aspects in Proof Complexity. Cuvillier Verlag , Göttingen . ISBN 9783954040360

Beyersdorff, O (2009) On the correspondence between arithmetic theories and propositional proof systems - a survey. Mathamatical Logic Quarterly, 55 (2). 116 - 137 . ISSN 0942-5616

Beyersdorff, O (2008) Tuples of disjoint NP-sets. Theory of Computing Systems, 43 (2). 118 - 135 . ISSN 1432-4350

Beyersdorff, O, Galesi, N and Lauria, M (2010) A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover-Delayer games. Information Processing Letters, 110 (23). 1074 - 1077 . ISSN 0020-0190

Beyersdorff, O, Koebler, J and Messner, J (2009) Nondeterministic functions and the existence of optimal proof systems. Theoretical Computer Science, 410 (38-40). 3839 - 3855 . ISSN 0304-3975

Beyersdorff, O, Koebler, J and Mueller, S (2011) Proof systems that take advice. Information and Computation, 209 (3). 320 - 332 . ISSN 0890-5401

Beyersdorff, O and Köbler, J (2006) Von der Turingmaschine zum Quantencomputer - ein Gang durch die Geschichte der Komplexitätstheorie. In: Freytag, J and Reisig, W, (eds.) Themen der Informatik im historischen Kontext. Springer . ISBN 978-3540327424

Beyersdorff, O, Meier, A, Mueller, S, Thomas, M and Vollmer, H (2011) Proof complexity of propositional default logic. Archive for Mathematical Logic, 50 (7-8). 727 - 742 . ISSN 1432-0665

Beyersdorff, O, Meier, A, Thomas, M and Vollmer, H (2009) The complexity of propositional implication. Information Processing Letters, 109 (18). 1071 - 1077 . ISSN 0020-0190

Beyersdorff, O, Meier, A, Thomas, M and Vollmer, H (2012) The complexity of reasoning for fragments of default logic. Journal of Logic and Computation, 22 (3). 587 - 604 . ISSN 0955-792X

Beyersdorff, O and Mueller, S (2010) A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. ACM Transactions on Computational Logic, 11 (4). ISSN 1529-3785

Beyersdorff, O and Sadowski, Z (2011) Do there exist complete sets for promise classes? Mathematical logic quarterly, 57 (6). 535 - 550 . ISSN 0942-5616

Boukhelifa, N. and Duke, D.J. (2008) The Aesthetics of the Underworld. In: Brown, P., Cunningham, D.W., Interrante, V. and McCormack, J., (eds.) Computational Aesthetics in Graphics, Visualization, and Imaging (2008). International Symposium on Computational Aesthetics in Graphics, Visualization, and Imaging, June 18–20 2008, Lisbon, Portugal. Eurographics , pp. 41-48. ISBN 1816-0859

Boyle, J.H., Bryden, J. and Cohen, N. (2007) An integrated neuro-mechanical model of C. elegans forward locomotion. In: Neural Information Processing. 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I. ICONIP 2007, November 13-16, 2007, Kitakyushu, Japan. Lecture Notes in Computer Science (4984). Springer , Berlin / Heidelberg , pp. 37-47. ISBN 978-3-540-69154-9

Boyle, J.H. and Cohen, N. (2007) The role of body wall muscles in C. elegans locomotion. In: olde Scheper, T., (ed.) Proceedings of the Seventh International Workshop on Information Processing in Cells and Tissues 2007. IPCAT 2007, 29-31 August 2007, Oxford, UK. Librix.eu , pp. 363-375.

Boyle, R.D., Neagle, R. and Efford, N. (2008) Evolving modes of student use - whither the VLE? In: Cortesi, A. and Luccio, F., (eds.) ACM-IFIP Informatics Education Europe III Proceedings. Informatics Education Europe III, December 4-5 2008, Venice, Italy. , Venice, Italy , pp. 80-91. ISBN 978-88-903433-0-8

Brierley, C. and Atwell, E. (2005) An approach for detecting prosodic phrase boundaries in spoken English. Crossroads, 14 (1). ISSN 1528-4972

Brodlie, KW, Allendes Osorio, R and Lopes, A (2012) A review of uncertainty in data visualization. In: Dill, J, Earnshaw, R, Kasik, D, Vince, J and Wong, PC, (eds.) Expanding the Frontiers of Visual Analytics and Visualization. Springer , 81 - 110. ISBN 1447128044

Brodlie, KW, Asim, M and Unsworth, K (2005) Constrained visualization using the Shepard interpolation family. Computer Graphics Forum, 24 (4). 809 - 820. ISSN 0167-7055

Brodlie, KW, Brooke, J, Chen, M, Chisnall, D, Hughes, CJ, John, NW, Jones, MW, Riding, M, Roard, N, Turner, M and Wood, J (2007) Adaptive infrastructure for visual computing. In: Lim, IS and Duce, D, (eds.) Theory and Practice of Computer Graphics 2007, Eurographics UK Chapter Proceedings. Theory and Practice of Computer Graphics 2007, 13-15 June 2007, University of Wales, Bangor. Eurographics Association , 147 - 156.

Brodlie, KW, Duce, DA, Gallop, JR, Sagar, M, Walton, J and Wood, J (2004) Visualization in grid computing environments. In: Visualization, 2004. UNSPECIFIED. IEEE , 155 - 162. ISBN 0-7803-8788-0

Brodlie, KW and Mohd Noor, NF (2007) Visualization notations, models and taxonomies. In: Lim, IS and Duce, D, (eds.) Theory and Practice of Computer Graphics 2007, Eurographics UK Chapter Proceedings. Theory and Practice of Computer Graphics 2007, 13-15 June 2007, University of Wales, Bath. Eurographics Association , 207 - 212.

Brodlie, KW, Poon, A, Wright, H, Brankin, L, Banechi, G and Gay, A (1993) GRASPARC - A problem solving environment integrating computation and visualization. In: Bergeron, D and Nielson, GM, (eds.) IEEE Conference on Visualization, 1993. Visualization '93, Proceedings. IEEE Visualization '93, 25-29th October 1993, San Jose. California. IEEE Computer Society , 102 - 109 (8). ISBN 0-8186-3940-7

Brodlie, KW and Wood, JD (2007) Computational steering in visualization dataflow environments. In: MODSIM 2007: International Congress on Modelling and Simulation. International Congress on Modelling and Simulation (MODSIM07) , 10-13 December 2007, Christchurch, New Zealand . Modelling & Simulation Soc Australia & New Zealand Inc , 3077 - 3083. ISBN 978-0-9758400-4-7

Brown, B.M., Davies, E.B., Jimack, P.K. and Mihajlovic, M.D. (2000) A numerical investigation of the solution of a class of fourth-order eigenvalue problems. Proceedings of the Royal Society Series A: Mathematical, Physical and Engineering Sciences, 456 (1998). pp. 1505-1521. ISSN 1471-2946

Brown, B.M., Jimack, P.K. and Mihajlovic, M.D. (2001) An efficient direct solver for a class of mixed finite element problems. Applied Numerical Mathematics, 38 (1-2). pp. 1-20. ISSN 0168-9274

Brucker, P. and Shakhlevich, N.V. (2009) Inverse scheduling with maximum lateness objective. Journal of Scheduling, 12 (5). pp. 475-488. ISSN 1099-1425

Bryden, J.A. and Cohen, N. (2008) Neural control of Caenorhabditis elegans forward locomotion: the role of sensory feedback. Biological Cybernetics, 98 (4). pp. 339-351. ISSN 1432-0770

Bryden, J.A. and Cohen, N. (2004) A simulation model of the locomotion controllers for the nematode Caenorhabditis elegans. In: Schaal, S., Ijspeert, A.J., Billard, A., Vijayakumar, S., Hallam, J. and Meyer, J-A., (eds.) From Animals to Animats 8: Proceedings of the Eighth International Conference on the Simulation of Adaptive Behavior. SAB'04, 13 - 17 July 2004, Los Angeles, CA, USA. MIT Press , Cambridge, Mass. , pp. 183-192. ISBN 978-0-262-69341-7

Bryden, John, Hogg, David, Popat, Sita and Wallis, Mick (2008) Building artificial personalities: expressive communication channels based on an interlingua for a human-robot dance. In: International Conference on Artificial Life (ALIFE XI), 5-8 August, Winchester.

Buckley, C., Bullock, S. and Cohen, N. (2005) Timescale and stability in adaptive behaviour. In: Capcarrere, M.S., Freitas, A.A, Bentley, P.J., Johnson, C.G. and Timmis, J., (eds.) Advances in Artificial Life: 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedings. ECAL 2005, September 5-9, 2005, Canterbury, UK. Lecture Notes in Computer Science (3630). Springer , Berlin / Heidelberg , pp. 292-301. ISBN 978-3-540-28848-0

Buckley, C., Bullock, S. and Cohen, N. (2004) Toward a dynamical systems analysis of neuromodulation. In: Schaal, S., Ijspeert, A.J., Billard, A., Vijayakumar, S., Hallam, J. and Meyer, J-A., (eds.) From Animals to Animats 8: Proceedings of the Eighth International Conference on the Simulation of Adaptive Behavior. SAB'04, 13 - 17 July 2004, Los Angeles, CA, USA. MIT Press , Cambridge, Mass. , pp. 334-343. ISBN 978-0-262-69341-7

Buehler, P., Everingham, M., Huttenlocher, D.P. and Zisserman, A. (2008) Long term arm and hand tracking for continuous sign language TV broadcasts. In: Everingham, M., Needham, C.J. and Fraile, R., (eds.) Proceedings of the 19th British Machine Vision Conference. BMVC 2008, 1st - 4th September 2008, University of Leeds, UK. BMVA Press , pp. 1105-1114. ISBN 978-1-901725-36-0

C

Capon, P.J. and Jimack, P.K. (1997) An inexact Newton method for systems arising from the finite element method. Applied Mathematics Letters, 10 (3). pp. 9-12. ISSN 0893-9659

Chudnovsky, M, Cornuejols, G, Liu, X, Seymour, P and Vuskovic, K (2005) Recognizing Berge graphs. Combinatorica, 25 (2). 143 - 186 . ISSN 0209-9683

Cliff, D. and Noble, J. (1997) Knowledge-based vision and simple visual machines. Philosophical Transactions of the Royal Society B - Biological Sciences, 352 (1358). pp. 1165-1175. ISSN 1471-2970

Cohen, M and Brodlie, KW (2007) Improving insight in medical volume rendering. In: Zwiggelaar, R and Labrosse, F, (eds.) Proceedings of Medical Image Understanding and Analysis 2007. Medical Image Understanding and Analysis 2007, 17th-18th July 2007, Aberystwyth. BMVA , 216 - 217.

Cohen, M., Brodlie, K.W. and Phillips, N. (2008) The volume in focus: hardwareassisted focus and context effects for volume visualization. In: Proceedings of the 2008 ACM symposium on Applied computing. ACM Symposium on Applied Computing, March 16 - 20, 2008, Fortaleza, Brazil. , Fortaleza, Brazil , pp. 1231-1235. ISBN 978-1-59593-753-7

Cohen, N. (2005) From ionics to energetics in the nervous system. Solid State Ionics, 176 (19-22). pp. 1661-1665. ISSN 0167-2738

Cohen, N. and Braunstein, S.L. (1995) Degenerate parametric amplifiers with a squeezed pump. Physical Review A, 52 (1). pp. 815-829. ISSN 1094-1622

Cohen, N., Dagan, T., Stone, L. and Graur, D. (2005) GC composition of the human genome: in search of isochores. Molecular Biology and Evolution, 22 (5). pp. 1260-1272. ISSN 1537-1719

Cohen, N., Soen, Y. and Braun, E. (1998) Spatio-temporal dynamics of networks of heart cells in culture. Physica A, 249 (1). pp. 600-604. ISSN 0378-4371

Conforti, M, Cornuejols, G, Gasparyan, G and Vuskovic, K (2002) Perfect graphs, partitionable graphs and cutsets. Combinatorica, 22 (1). 19 - 33 . ISSN 0209-9683

Conforti, M, Cornuejols, G, Kapoor, A and Vuskovic, K (2002) Even-hole-free graphs part II: Recognition algorithm. Journal of Graph Theory, 40 (4). 238 - 266 . ISSN 0364-9024

Conforti, M, Cornuejols, G, Kapoor, A and Vuskovic, K (2002) Even-hole-free graphs, Part I: Decomposition Theorem. Journal of Graph Theory, 39 (1). 6 - 49 . ISSN 0364-9024

Conforti, M, Cornuejols, G, Liu, X, Vuskovic, K and Zambelli, G (2006) Odd hole recognition in graphs of bounded clique size. SIAM Journal on Discrete Mathematics, 20 (1). 42 - 48 (7). ISSN 0895-4801

Conforti, M, Cornuejols, G and Vuskovic, K (2006) Balanced matrices. Discrete Applied Mathematics, 306 (19-20). 2411 - 2437 . ISSN 0166-218X

Conforti, M, Cornuejols, G and Vuskovic, K (2004) Decomposition of odd-hole-free graphs by double star cutsets and 2-joins. Discrete Applied Mathematics, 141 (1-3). 41 - 91 . ISSN 0166-218X

Conforti, M, Cornuejols, G and Vuskovic, K (2004) Square-free perfect graphs. Journal of Combinatorial Theory: Series B, 90 (2). 257 - 307 . ISSN 0095-8956

Cryan, M., Dyer, M., Müller, H. and Stougie, L. (2008) Random walks on the vertices of transportation polytopes with constant number of sources. Random Structures and Algorithms, 33 (3). pp. 333-355. ISSN 1042-9832

D

Damen, D and Hogg, DC (2012) Detecting Carried Objects from Sequences of Walking Pedestrians. IEEE Transactions on Pattern Analysis and Machine Intelligence, 34 (6). 1056 - 1067 (12). ISSN 0162-8828 (In Press)

Damen, D and Hogg, DC (2012) Explaining Activities as Consistent Groups of Events: A Bayesian Framework Using Attribute Multiset Grammars. International Journal of Computer Vision, 98 (1). 83 - 102 (20). ISSN 0920-5691

Davies, C.J., Gubbins, D., Jimack, P.K. and Willis, A.P. (2008) Time-averaged paleomagnetic field and secular variation: predictions from dynamo solutions based on lower mantle seismic tomography. Physics of the Earth and Planetary Interiors, 169 (1-4). pp. 194-203. ISSN 0031-9201

Dew, P.M., Haji, M.H., Jimack, P.K., Martin, C. and Pilling, M. (2008) Semantically-Enhanced Model-Experiment-Evaluation Processes (SeMEEPs) within the Atmospheric Chemistry Community. In: Freire, J., Koop, D. and Moreau, L., (eds.) Proceedings of Second International Provenance and Annotation Workshop (IPAW 2008). Lecture Notes in Computer Science (5272). Springer-Verlag , pp. 293-308.

Dimitrova, V, Lau, LMS and O'Rourke, R (2011) Semantic Social Scaffolding for Capturing and Sharing Dissertation Experience. IEEE Transactions on Learning Technologies, 4 (1). 74 - 87 . ISSN 1939-1382

Djemame, K., Gourlay, I., Padgett, J., Birkenheuer, G., Hovestadt, M., Odej, K. and Voss, K. (2006) Introducing risk management into the grid. In: Second IEEE International Conference on e-Science and Grid Computing, 2006, (4-6 December Amsterdam, Netherlands, 2006). IEEE . ISBN 0-7695-2734-5

Do, TV and Ruddle, RA (2012) The design of a visual history tool to help users refind information within a website. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7224. 459 - 462 . ISSN 0302-9743

Dodds, T.J. and Ruddle, R.A. (2008) Mobile group dynamics in large-scale collaborative virtual environments. In: Proceedings of IEEE Virtual Reality. IEEE Virtual Reality 2008, 8 - 12 March 2008, Reno, Nevada, USA. IEEE , pp. 59-66. ISBN 978-1-4244-1971-5

Dodds, T.J. and Ruddle, R.A. (2009) Using mobile group dynamics and virtual time to improve teamwork in large-scale collaborative virtual environments. Computers & Graphics, 33 (2). pp. 130-138. ISSN 0097-8493

Dodds, T.J. and Ruddle, R.A. (2008) Using teleporting, awareness and multiple views to improve teamwork in collaborative virtual environments. In: Mohler, B. and van Liere, R., (eds.) Virtual Environments 2008. 14th Eurographics Symposium on Virtual Environments, May 29th–30th, 2008, Eindhoven, The Netherlands. Eurographics Association , pp. 81-88. ISBN 978-3-905674-06-4

Dubba, KSR, Cohn, AG and Hogg, DC (2010) Event Model Learning from Complex Videos using ILP. In: Coelho, H, Suder, R and Wooldridge, M, (eds.) ECAI 2010 - 19th European Conference on Artificial Intelligence. 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal. IOS Press , 93 - 98 . ISBN 978-1-60750-605-8

Duke, D.J., Borgo, R., Runciman, C. and Wallace, M. (2008) Experience report: visualizing data through functional pipelines. SIGPLAN Notices, 43 (9). pp. 379-382. ISSN 0362-1340

Duke, D.J., Brodlie, K.W., Duce, D.A. and Herman, I. (2005) Do you see what I mean? IEEE Computer Graphics and Applications, 25 (3). pp. 6-9. ISSN 0272-1716

Duke, DJ and Carr, H Computational Topology via Functional Programming: A Baseline Analysis. In: Topology-Based Methods in Visualization IV. Springer . (In Press)

Dyer, M., Goldberg, L.A. and Jerrum, M. (2009) Matrix norms and rapid mixing for spin systems. Annals of Applied Probability, 19 (1). pp. 71-107. ISSN 1050-5164

Dyer, M., Goldberg, L.A. and Jerrum, M. (2009) The complexity of weighted boolean #CSP*. Siam Journal on Computing, 38 (5). pp. 1970-1986. ISSN 0097-5397

da Silva, MV and Vuskovic, K (2007) Triangulated neighborhoods in even-hole-free graphs. Discrete Mathematics, 307 (9-10). 1065 - 1073 . ISSN 0012-365X

de Figueiredo, CMH, Klein, S and Vuskovic, K (2002) The graph sandwich problem for 1-join composition is NP-complete. Discrete Applied Mathematics, 121 (1-3). 73 - 82 . ISSN 0166-218X

de Kamps, M., Baier, V., Drever, J., Dietz, M., Mosenlechner, L. and van der Velde, F. (2008) The state of MIIND. Neural Networks, 21 (8). pp. 1164-1181. ISSN 0893-6080

E

Everingham, M., Sivic, J. and Zisserman, A. (2009) Taking the bite out of automated naming of characters in TV video. Image and Vision Computing, 27 (5). pp. 545-559. ISSN 0262-8856

F

Fawehinmi, O., Gaskell, P., Jimack, P.K., Kapur, N. and Thompson, H. (2005) A combined experimental and computational fluid dynamics analysis of the dynamics of drop formation. Proceedings of the Institution of Mechanical Engineers. Part C, Journal of Mechanical Engineering Science, 219 (9). 933-947(15). ISSN 0954-4062

Ferryman, J, Hogg, D, Sochman, J, Behera, A, Rodriguez-Serrano, JA, Worgan, S, Li, L, Leung, V, Evans, M, Cornic, P, Herbin, S, Schlenger, S and Dose, M (2013) Robust abandoned object detection integrating wide area visual surveillance and social context. Pattern Recognition Letters, 34 (7). 789 - 798 . ISSN 0167-8655

Fraile, R, Hogg, DC and Cohn, AG (2008) Motion segmentation by consensus. In: International Conference on Pattern Recognition (ICPR 2008). International Conference on Pattern Recognition (ICPR 2008), 7-11 December 2008, Tampa, Florida. IEEE Press , 241 - 244 . ISBN 978-1-4244-2175-6

G

Garraghan, PM, Townend, PM and XU, J (2013) Using Byzantine Fault-Tolerance to Improve Dependability in Federated Cloud Computing. International Journal of Software and Informatics, 7 (2). 221 - 237. ISSN 1673-7288

Gaskell, P.H., Jimack, P.K., Koh, Y-Y. and Thompson, H.M. (2008) Development and application of a parallel multigrid solver for the simulation of spreading droplets. International Journal for Numerical Methods in Fluids, 56 (8). pp. 979-989. ISSN 0271-2091

Gaskell, P.H., Jimack, P.K., Sellier, M. and Thompson, H.M. (2004) Efficient and accurate time adaptive multigrid simulations of droplet spreading. International Journal for Numerical Methods in Fluids, 45 (11). pp. 1161-1186. ISSN 0271-2091

Gaskell, P.H., Jimack, P.K., Sellier, M. and Thompson, H.M. (2006) Flow of evaporating, gravity-driven thin liquid films over topography. Physics of Fluids, 18 (Art. N). 14 pages. ISSN 1070-6631

Gaskell, P.H., Jimack, P.K., Sellier, M., Thompson, H.M. and Wilson, M.C.T. (2004) Gravity-driven flow of continuous thin liquid films on non-porous substrates with topography. Journal of Fluid Mechanics, 509. pp. 253-280. ISSN 1469-7645

Gaskell, P.H., Koh, Y.Y., Jimack, P.K., Lee, Y.C. and Thompson, H.M. (2009) Droplet migration: quantitative comparisons with experiment. European Physical Journal Special Topics, 166 (1). pp. 117-120. ISSN 1951-6401

Gilkeson, C.A., Toropov, V.V., Thompson, H.M., Wilson, M.C.T., Foxley, N.A. and Gaskell, P.H. (2008) Aerodynamic shape optimization of a low drag fairing for small livestock trailers. In: 12th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference. Proceedings. 12th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference, 10 - 12 September 2008, Victoria, British Columbia Canada. AIAA Conference Proceeding Series (AIAA 2008-5903). AIAA .

Godfrey, M and Johnson, O (2009) Digital circles of support: meeting the information needs of older people. Computers in Human Behavior, 25 (3). 633 - 642. ISSN 0747-5632

Goodyer, C.E. and Bunge, A.L. (2009) Comparison of numerical simulations of barrier membranes with impermeable flakes. Journal of Membrane Science, 329 (1-2). pp. 209-218. ISSN 0376-7388

Goodyer, C., Hodrien, J., Wood, J., Kohl, P. and Brodlie, K.W. (2009) Using high resolution displays for high resolution cardiac data. The Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 367 (1898). pp. 2667-2677. ISSN 2667-2677

Goodyer, C.E., Berzins, M., Jimack, P.K. and Scales, L.E. (2006) A grid-enabled problem solving environment for parallel computational engineering design. Advances in Engineering Software, 37 (7). pp. 439-449. ISSN 0965-9978

Goodyer, C.E., Jimack, P.K. and Romanazzi, G. (2008) Reliable performance prediction for parallel scientific software in a multi-cluster grid environment. In: Papadrakakis, M. and Topping, B.H.V., (eds.) Proceedings of the Sixth International Conference on Engineering Computational Technology. ICECT, 2-5 September 2008, Athens, Greece. Civil-Comp Press , UK . ISBN 978-1-905088-26-3

Goodyer, C.E., Wood, J. and Berzins, M. (2008) Mathematical Modelling of Chemical Diffusion through Skin using Grid-based PSEs. In: Bock, H.G., Kostina, E., Phu, H.X. and Rannacher, R., (eds.) Modeling, Simulation and Optimization of Complex Processes. Springer , Berlin Heidelberg , pp. 249-258. ISBN 978-3-540-79409-7

Goodyer, CE, Grau, V, Mansoori, T, Schneider, JE, Brodlie, KW and Kohl, P (2007) 3D visualization of cardiac anatomical MRI data with para-cellular resolution. In: Proceedings of the 29th Annual Conference of the IEEE Engineering in Medicine and Biology Society EMBS 2007. Engineering in Medicine and Biology Society EMBS 2007, 22-26 August 2007, Lyon, France. IEEE , 147 - 151. ISBN 978-1-4244-0787-3

Green, J.R., Jimack, P.K. and Mullis, A.M. (2007) Phase field analysis of eutectic breakdown. Metallurgical and Materials Transactions A, 38 (7). pp. 1426-1432. ISSN 1543-1940

Green, JR, Jimack, PK, Mullis, AM and Rosam, J (2011) An Adaptive, Multilevel Scheme for the Implicit Solution of Three-Dimensional Phase-Field Equations. Numerical Methods for Partial Differential Equations, 27 (1). 106 - 120. ISSN 0749-159X

Greenall, J, Hogg, DC and Cohn, AG (2011) Temporal Structure Models for Event Recognition. Proceedings of the British Machine Vision Conference, pages. 62.1 - 62.11 .

H

Haji, M.H., Djemame, K. and Dew, P.M. (2006) Deployment and performance evaluation of a SNAP-based resource broker on the White Rose grid. In: Proceedings of the International Conference on Information & Communication Technologies: From Theory to Applications. 2006. (Damascus, Syria, April 2006). IEEE , pp. 3365-3370. ISBN 0-7803-9521-2

Handley, J, Brodlie, KW and Clayton, RH (2006) Model based visualization of cardiac virtual tissue. In: Cox, SJ, (ed.) Proceedings of the UK e-Science All Hands Meeting 2006. UK e-Science All Hands Meeting 2006, 18th-21st September 2006, Nottingham, UK. NeSC , 233 - 240. ISBN 0-9553988-0-0

Handley, J.W, Cohen, N., Boyle, R.D and Berry, E. (2006) An empirical analysis of noise in pulsed terahertz systems. Fluctuations and Noise Letters, 6 (1). L65-L76. ISSN 1793-6780

Harlen, O., Jimack, P.K., Tenchevt, R. and Walkley, M.A. (2008) Finite element modelling of two- and three-dimensional viscoelastic polymer flows. In: Papadrakakis, M. and Topping, B.H.V., (eds.) Trends in Engineering Computational Technology. Computational Science, Engineering & Technology Series (20). Saxe-Coburg Publications, UK , pp. 81-101. ISBN 978-1-874672-40-1

Hart, D.E., Goodyer, C.E., Berzins, M., Jimack, P.K. and Scales, L.E. (2004) Adjoint error estimation for EHL-like models. International Journal for Numerical Methods in Fluids, 47 (10-11). pp. 1069-1075. ISSN 0271-2091

Hart, D., Goodyer, C.E., Berzins, B., Jimack, P.K. and Scales, L. (2006) Adjoint error estimation and spatial adaptivity for EHL-like models. In: Snidle, R.W. and Evans, H.P., (eds.) IUTAM Symposium on Elastohydrodynamics and Micro-elastohydrodynamics : Proceedings of the IUTAM Symposium held in Cardiff, UK, 1-3 September 2004. Solid Mechanics and Its Applications, 2 (134). Springer , Netherlands , pp. 47-58. ISBN 1402045328

Head, DA, Briels, W and Gompper, G (2011) Spindles and active vortices in a model of confined filament-motor mixtures. BMC Biophysics, 4. ISSN 2046-1682

Hill, P.M., Bagnara, R. and Zaffanella, E. (2002) Soundness, idempotence and commutativity of set-sharing. Theory and Practice of Logic Programming, 02 (02). pp. 155-201. ISSN 1471-0684

Hill, P.M., Zaffanella, E. and Bagnara, R. (2004) A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Theory and Practice of Logic Programming, 4 (3). pp. 289-323. ISSN 1471-0684

Hodgson, B.C. and Jimack, P.K. (1997) A domain decomposition preconditioner for a parallel finite element solver on distributed unstructured grids. Parallel Computing, 23 (8). pp. 1157-1181. ISSN 0167-8191

Hodgson, D.C. and Jimack, P.K. (1996) Efficient parallel generation of partitioned, unstructured meshes. Advances in Engineering Software, 27 (1-2). pp. 59-70. ISSN 0965-9978

Hodgson, D.C., Jimack, P.K., Selwood, P. and Berzins, M. (1996) Scalable parallel generation of partitioned, unstructured meshes. In: Ecer, A., Periaux, J., Satofuka, N. and Taylor, S., (eds.) Parallel Computational Fluid Dynamics - Implementations and Results Using Parallel Computers. Elsevier Science , pp. 665-672. ISBN 0444823220

Hogg, DC and Damen, D (2009) Recognising linked events: searching the space of feasible explanations. In: IEEE Conference on Computer Vision and Pattern Recognition, 2009. IEEE Computer Vision and Pattern Recognition , 20-15 June 2009, Miami, Florida, USA. IEEE , 927 - 934 . ISBN 978-1-4244-3991-1

Hubbard, M.E., Baines, M.J. and Jimack, P.K. (2009) Consistent dirichlet boundary conditions for numerical solution of moving boundary problems. Applied Numerical Mathematics, 59 (6). pp. 1337-1353. ISSN 01689274

J

Jimack, P.K. (1999) An overview of dynamic load-balancing for parallel adaptive computational mechanics codes. In: Topping, B.H.V., (ed.) Parallel and Distributed Processing for Computational Mechanics: Systems and Tools. Saxe-Coburg Publications , Edinburgh , pp. 350-369. ISBN 1874672032

Jimack, P.K. (1996) Optimal eigenvalue and asymtotic large-time approximations using the moving finite-element method. IMA Journal of Numerical Analysis, 16 (3). pp. 381-398. ISSN 0272-4979

Jimack, P.K. (1996) A best approximation property of the moving finite element method. SIAM Journal of Numerical Analysis, 33 (6). pp. 2286-2302. ISSN 00361429

Jimack, P.K. (1997) An optimal finite element mesh for elastostatic structural analysis problems. Computers and Structures, 64 (1-4). pp. 197-208. ISSN 0045-7949

Jimack, P.K., Mahmood, R., Walkley, M.A. and Berzins, M. (2002) A multilevel approach for obtaining locally optimal finite element meshes. Advances in Engineering Software, 33 (7-10). pp. 403-415. ISSN 0965-9978

Jimack, P.K. and Nadeem, S.A. (2003) Parallel application of a novel domain decomposition preconditioner for the adaptive finite-element solution of three-dimensional convection-dominated PDEs. Concurrency and Computation: Practice and Experience, 15 (10). pp. 939-956. ISSN 1532-0626

Jimack, P.K. and Nadeem, S.A. (2001) Parallel application of a novel domain decomposition preconditioner for the stable finite element solution of three-dimensional convection-dominated PDEs. In: Sakellariou, R., Keane, J., Gurd, J. and Freeman, L., (eds.) Euro-Par 2001: Parallel Processing: 7th International Euro-Par Conference Manchester, UK August 28-31, 2001, Proceedings. Lecture Notes in Computer Science (2150). Springer , Berlin , pp. 592-601. ISBN 3540424954

Jimack, P.K. and Nadeem, S.A. (2002) A parallel domain decomposition algorithm for the adaptive finite element solution of 3-D convection-diffusion problems. In: Sloot, P.M.A., Tan, C.J.K., Dongarra, J.J. and Hoekstra, A.G., (eds.) Computational science - ICCS 2002 : international conference, Amsterdam, The Netherlands, April 21-24, 2002 : proceedings. Lecture Notes in Computer Science, 2 (2330). Springer , Berlin , pp. 797-805. ISBN 354043593X

Jimack, P.K. and Nadeem, S.A. (2002) A weakly overlapping parallel domain decomposition preconditioner for the finite element solution of convection-dominated problems in three dimensions. In: Wilders, P., Ecer, A., Periaux, J., Satofuka, N. and Fox, P., (eds.) Parallel Computational Fluid Dynamics 2001, Practice and Theory : Proceedings of the Parallel CFD 2001 Conference, Egmond aan Zee, The Netherlands, May 21-23, 2001. Elsevier , pp. 191-198. ISBN 0444506721

Jimack, P.K. and Romanazzi, G. (2008) Parallel performance prediction for numerical codes in a multi-cluster environment. In: Proceedings of the International Multiconference on Computer Science and Information Technology. International Multiconference on Computer Science and Information Technology : 4th Workshop on Large Scale Computations on Grids, October 20–22, 2008, Wisła, Poland. IEEE , pp. 467-474. ISBN 978-83-60810-14-9

Jones, A.C. and Jimack, P.K. (2005) An adaptive multigrid tool for elliptic and parabolic systems. International Journal for Numerical Methods in Fluids, 47 (10-11). pp. 1123-1128. ISSN 0271-2091

Jones, D.M., Ruddle, R.A. and Savage, J.C. (2002) Implementing flexible rules of interaction for object manipulation in cluttered virtual environments. In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology. VRST'02, November 11 - 13, 2002, Hong Kong, China. ACM , pp. 89-96. ISBN 1-58113-530-0

Jones, D.M., Ruddle, R.A. and Savage, J.C. (2002) Symmetric and asymmetric action integration during cooperative object manipulation in virtual environments. ACM Transactions on Computer-Human Interaction (TOCHI), 9 (4). pp. 285-308. ISSN 1073-0516

K

Kloepfer, J.A., Cohen, N. and Nadeau, J.L. (2004) FRET between CdSe quantum dots in lipid vesicles and water- and lipid-soluble dyes. Journal of Physical Chemistry B, 108 (44). pp. 17042-17049. ISSN 1520-5207

Kloks, T, Muller, H and Vuskovic, K (2009) Even-hole-free graphs that do not contain diamonds: A structure theorem and its consequences. Journal of Combinatorial Theory: Series B, 99 (5). 733 - 800 . ISSN 0095-8956

Kratsch, D., Muller, H. and Todinca, I. (2008) Feedback vertex set on AT-free graphs. Discrete Applied Mathematics, 156 (10). pp. 1936-1947. ISSN 0166-218X

Kratsch, D. and Müller, H. (2009) On a property of minimal triangulations. Discrete Mathematics, 309 (6). 1724 -1729 . ISSN 0012-365X

Kubassova, O., Boyle, R.D. and Boesen, M. (2008) Registration of dynamic MRI data and its impact on diagnostic process. In: Hamarneh, G. and Abugharbieh, R., (eds.) Proceedings of the First Workshop on Analysis of Functional Medical Images. 11th International Conference on Medical Image Computing & Computer Assisted Intervention, September 10th 2008, New York. , New York , pp. 57-64.

L

Lau, L.M.S., Adams, C.A., Dew, P.M. and Leigh, C.M. (2003) Use of scenario evaluation in preparation for deployment of a collaborative system for knowledge transfer - the case of KiMERA. In: Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003. WET ICE 2003. Proceedings. (June 9-11, 2003 Johannes Kepler University of Linz, Austria). IEEE Computer Society , pp. 148-152. ISBN 0-7695-1963-6

Lau, L.M.S. and Whyte, W.S. (1998) A process view of trust building in virtual organizations. In: Chow, W.S., (ed.) Multimedia Information Systems in Practice. Springer-Verlag , Berlin , pp. 539-548. ISBN 978-9814021531

Lau, LMS, Neagle, R, Bajanki, S, Dimitrova, V and Boyle, R (2010) What is the Real Problem? Using Corpus Data to Tailor a Community Environment for Dissertation Writing. In: Lynch, C, Ashley, DK, Mitrovic, T, Dimitrova, V, Pinkwart, N and Aleven, V, (eds.) Proceedings of the 4th International Workshop on Intelligent Tutoring Systems and Ill-Defined domains held at the 10th International Conference on Intelligent Tutoring Systems (ITS 2010). 10th International Conference on Intelligent Tutoring Systems and Ill-defined Domains, 14 Jun 2010 - 18 Jun 2010, Pittsburgh. , 45 - 52 .

Lau, L.M.S., Curson, J., Drew, R., Dew, P.M. and Leigh, C. (1999) Use of Virtual Science Park resource rooms to support group work in a learning environment. In: Hayne, S.C., (ed.) Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work. Association for Computing Machinery , New York , pp. 209-218. ISBN 1581130651

Lea, A, Pearson, D, Clamp, S and Johnson, O (2008) Using the electronic medical record within medical undergraduate education. Education for primary care, 19 (6). 656 - 659. ISSN 1473-9879

Lessels, S. and Ruddle, R.A. (2005) Movement around real and virtual cluttered environments. Presence : Teleoperators and Virtual Environments, 14 (5). pp. 580-596. ISSN 1531-3263

Lessels, S. and Ruddle, R.A. (2006) Three levels of metric for evaluating wayfinding. Presence: Teleoperators and Virtual Environments, 15 (6). pp. 637-654. ISSN 1531-3263

Lessels, S. and Ruddle, R.A. (2004) Changes in navigational behaviour produced by a wide field of view and a high fidelity visual scene. In: Coquillart, S. and Göbel, M., (eds.) Proceedings of the 10th Eurographics Symposium on Virtual Environments. EGVE'04, June 8 - 9, 2004, Grenoble, France. Eurographics , pp. 71-78. ISBN 3-905673-10-X

Lievesley, S. and Atwell, E.S. (2002) NAIL: artificial intelligence software for learning natural language. In: Grammatical Inference: Algorithms and Applications. Lecture Notes in Computer Science (2484/2002). , pp. 42-46.

Liu, L, Antonopoulos, N, Xu, J, Webster, D and Wu, K (2011) Distributed service integration for disaster monitoring sensor systems. IET Communications, 5 (12). 1777 - 1784 . ISSN 1751-8628

Liu, D. and Jimack, P.K. (2007) A survey of parallel algorithms for fractal image compression. Journal of Algorithms and Computational Technology, 1 (2). pp. 171-186. ISSN 1748-3018

Liwicki, S. and Everingham, M. (2009) Automatic recognition of fingerspelled words in British Sign Language. In: Proceedings of CVPR4HB'09. 2nd IEEE Workshop on CVPR for Human Communicative Behavior Analysis, Thursday June 25th, 2009, Miami, Florida. , pp. 50-57.

Lloyd, S, Gavaghan, D, Boyd, D, Noble, D, Rodriguez, B, Maharaj, T, Bishop, M, Clayton, R, Handley, J, Brodlie, KW and Plank, G (2006) Integrative biology: real science through e-Science. In: Cox, SJ, (ed.) Proceedings of the UK e-Science All Hands Meeting 2006. UK e-Science All Hands Meeting 2006, 18th-21st September 2006, Nottingham, UK. NeSC , 84 - 92. ISBN 0-9553988-0-0

Lu, H., Berzins, M., Goodyer, C., Jimack, P.K. and Walkley, M. (2006) Adaptive high-order finite element solution of transient elastohydrodynamic lubrication problems. Proceedings of the Institution of Mechanical Engineers. Part J: Journal of engineering tribology, 220 (3). pp. 215-225. ISSN 1350-6501

Lu, H., Berzins, M., Goodyer, C.E. and Jimack, P.K. (2005) High-order discontinuous Galerkin method for elastohydrodynamic lubrication line contact problems. Communications in Numerical Methods in Engineering, 21 (11). pp. 643-650. ISSN 1099-0887

M

Machado, RCS, de Figueiredo, CMH and Vuskovic, K (2010) Chromatic index of graphs with no cycle with a unique chord. Theoretical Computer Science, 411 (7-9). 1221 - 1234 . ISSN 0304-3975

Maffray, F, Trotignon, N and Vuskovic, K (2005) Algorithms for 3PC(.,.)-free Berge graphs. Electronic Notes in Discrete Mathematics, 22. 73 - 77 . ISSN 1571-0653

Maffrey, F, Trotignon, N and Vuskovic, K (2008) Algorithms for square-3PC($\cdot, \cdot$)-free Berge graphs. SIAM Journal on Discrete Mathematics, 22 (1). 51 - 71 . ISSN 0895-4801

Magee, Derek, Tanner, Steven, Waller, Michael, McGonagle, Dennis and Jeavons, Alan (2005) Registration of PET and MR hand volumes using Bayesian Networks. In: Yanxi, L., Jiang, T. and Zhang, C., (eds.) Computer Vision for Biomedical Image Applications: First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005, Proceedings. Lecture Notes in Computer Science (3765). Springer , New York , pp. 437-448. ISBN 3-540-29411-2

Mahmood, R. and Jimack, P.K. (2004) Locally optimal unstructured finite element meshes in 3 dimensions. Computers & Structures, 82 (23-26). pp. 2105-2116. ISSN 0045-7949

Mallenby, D. and Bennett, B. (2007) Applying spatial reasoning to topographical data with a grounded geographical ontology. In: Fonseca, F., Rodríguez, M.A. and Levashkin, S., (eds.) GeoSpatial Semantics : Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007. Proceedings. GeoS 2007, November 29-30 2007, Mexico City. Lecture Notes in Computer Science (4853). Springer , Berlin / Heidelberg , pp. 210-227. ISBN 978-3-540-76875-3

Markert, K. and Hahn, U. (2002) Understanding metonymies in discourse. Artificial Intelligence, 135 (1-2). pp. 145-198. ISSN 0004-3702

Markert, K. and Nissim, M. (2005) Comparing knowledge sources for nominal anaphora resolution. Computational Linguistics, 31 (3). pp. 367-402. ISSN 0891-2017

Martin, C, Haji, MH, Dew, P, Pilling, M and Jimack, P (2008) Semantically-Enhanced Model-Experiment-Evaluation Processes (SeMEEPs) within the Atmospheric Chemistry Community. In: Freire, J, Koop, D and Moreau, L, (eds.) Provenance and Annotation of Data and Processes. Second International Provenance and Annotation Workshop, 17-18 June 2008, Salt Lake City,UT, USA. Springer , 293 - 308 . ISBN 978-3-540-89964-8

Martin, C.J., Haji, M.H., Dew, P.M., Pilling, M.J. and Jimack, P.K. (2009) Semantically enhanced provenance capture for chamber model development with a master chemical mechanism. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 367 (1890). pp. 987-990. ISSN 1471-2962

Martin, CJ, Haji, MH, Dew, PM, Pilling, MJ and Jimack, PK (2009) Semantically enhanced provenance capture for chamber model development with a master chemical mechanism. Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences, 367. 987 - 990 . ISSN 1364-503X

Martin, CJ, Haji, MH, Jimack, PK, Pilling, MJ and Dew, PM (2009) A user-orientated approach to provenance capture and representation for in silico experiments, explored within the atmospheric chemistry community. Philosophical Transactions of the Royal Society A. Mathematical, Physical and Engineering Sciences, 367. 2753 - 2770 . ISSN 1364-503X

Mohd Zaki, Z, Dew, PM, Lau, LMS, Rickard, AR, Young, JC, Farooq, T, Pilling, MJ and Martin, CJ (2013) Architecture design of a user-orientated electronic laboratory notebook: A case study within an atmospheric chemistry community. Future Generation Computer Systems: the international journal of grid computing: theory, methods and applications. ISSN 0167-739X

Mullis, AM, Bollada, PC, Goodyer, CE and Jimack, PK (2013) Multi-scale modelling using 3-dimensional adaptive meshing with an implicit, multigrid solver: A crystallization example. In: Free, ML and Siegmund, AH, (eds.) EPD Congress 2013. UNSPECIFIED. John Wiley & Sons, Inc , 13 - 20. ISBN 9781118605745

Mullis, AM, Goodyer, CE and Jimack, PK (2012) Towards a Three-Dimensional Phase-Field Model of Dendritic Solidification with Physically Realistic Interface Width. Transactions of the Indian Institute of Metals, 65 (6). 617 - 621 . ISSN 0972-2815

N

Nadeem, S.A. and Jimack, P.K. (2002) Parallel implementation of an optimal two level additive Schwarz preconditioner for the 3-D finite element solution of elliptic partial differential equations. International Journal for Numerical Methods in Fluids, 40 (12). pp. 1571-1579. ISSN 0271-2091

Needham, C.J, Bradford, J.R., Bulpitt, A.J. and Westhead, D.R. (2007) A primer on learning in Bayesian networks for computational biology. PLoS Computational Biology, 3 (8). e129. ISSN 1553-7358

Needham, C.J., Bradford, J.R., Bulpitt, A.J., Care, M.A. and Westhead, D.R. (2006) Predicting the effect of missense mutations on protein function: analysis with Bayesian networks. BMC Bioinformatics, 7 (405). ISSN 1471-2105

Needham, C.J., Manfield, I.W., Bulpitt, A.J., Gilmartin, P.M. and Westhead, D.R. (2009) From gene expression to gene regulatory networks in Arabidopsis thaliana. BMC Systems Biology , 3 (85). ISSN 1752-0509

Noble, J. (1999) Cooperation, conflict and the evolution of communication. Adaptive Behaviour, 7 (3-4). pp. 349-369. ISSN 1059-7123

Noble, J. (1999) Sexual signalling in an artificial population: When does the handicap principle work? In: Floreano, D., Nicoud, J.-D. and Mondada, F., (eds.) Advances in artificial life : 5th European Conference, ECAL'99, Lausanne, Switzerland, September, 1999 : proceedings. Lecture Notes in Artifical Intelligence (1674). Springer Verlag , Berlin , pp. 644-653. ISBN 3540664521

Noble, J., Bullock, S. and Di Paolo, E.A. (2000) Artificial life: discipline or method? Report on a debate held at ECAL '99. Artificial Life, 6 (2). pp. 145-148. ISSN 1064-5462

Noble, J., Tucci, E. and Todd, P.M. (1999) Social learning and information sharing: an evolutionary simulation model of foraging in Norway rats. In: Floreano, D., Nicoud, J.-D. and Mondada, F., (eds.) Advances in artificial life : 5th European Conference, ECAL'99, Lausanne, Switzerland, September, 1999 : proceedings. Lecture Notes in Artifical Intelligence (1674). Springer Verlag , Berlin , pp. 514-523. ISBN 3540664521

P

Panayioutou, C. and Bennett, B. (2008) Cognitive context and arguments from ontologies for learning. In: Eschenbach, C. and Grüninger, M., (eds.) Formal Ontology in Information Systems - Proceedings of the Fifth International Conference. FOIS-08, Oct 31st - Nov 3rd 2008, Saarbrücken, Germany. Frontiers in Artificial Intelligence and Applications (183). IOS Press , pp. 65-78. ISBN 978-1-58603-923-3

Peterson, R.C., Jimack, P.K. and Kelmanson, M.A. (2001) On the stability of viscous free-surface flow supported by a rotating cylinder. Proceedings of the Royal Society Series A: Mathematical, Physical and Engineering Sciences, 457 (2010). pp. 1427-1445. ISSN 1471-2946

Peterson, R.C., Jimack, P.K. and Kelmanson, M.A. (1999) The solution of two-dimensional free-surface problems using automatic mesh generation. International Journal for Numerical Methods in Fluids, 31 (6). pp. 937-960. ISSN 0271-2091

Pham, T.V., Dew, P.M., Lau, L.M.S. and Pilling, M.J. (2006) Enabling e-Research in combustion research community. In: Second IEEE International Conference on e-Science and Grid Computing, 2006, 4-6 December 2006. IEEE , p. 130. ISBN 0-7695-2734-5

Pham, T.V., Lau, L.M.S. and Dew, P.M. (2004) The integration of grid and peer-to-peer to support scientific collaboration. In: Michaelides, D. and Moreau, L., (eds.) Proceedings of GGF11 Semantic Grid Applications Workshop. Semantic Grid Community , Southampton , pp. 71-77.

Pham, T.V., Lau, L.M.S. and Dew, P.M. (2007) An ontology-based adaptive approach to P2P resource discovery in distributed scientific communities. International Transactions on Systems Science and Applications, 2 (4). pp. 391-404. ISSN 1751-1461

Pham, T.V., Lau, L.M.S., Dew, P.M. and Pilling, M.J. (2005) Collaborative e-science architecture for Reaction Kinetics research community. In: Challenges of Large Applications in Distributed Environments, 2005. CLADE 2005. Proceedings. IEEE , pp. 13-22. ISBN 0780390431

Pham, T.V., Lau, L.M.S., Dew, P.M. and Pilling, M.J. (2005) A collaborative e-Science architecture towards a virtual research environment. In: Cox, S.J. and Walker, D.W., (eds.) Challenges of Large Applications in Distributed Environments, 2005. CLADE 2005. Proceedings. EPSRC , pp. 13-22. ISBN ISBN 1-904425-53-4

Pham, Tran Vu, Lau, Lydia M.S. and Dew, Peter M. (2006) An adaptive approach to P2P resource discovery in distributed scientific research communities. In: Sixth International Workshop on Global and Peer-to-Peer Computing (GP2P) in conjunction with IEEE/ACM International Symposium on Cluster Computing and the Grid 2006, 16-19 May 2006, Singapore.

Pham, T.V., Curson, J., Drew, R., Dew, P.M. and Leigh, C. (1999) Use of Virtual Science Park resource rooms to support group work in a learning environment. In: Hayne, S.C., (ed.) Proceedings of the international ACM SIGGROUP conference on Supporting group work 1999. ( Phoenix, Arizona, United States November 14 - 17, 1999). ACM Press , New York , pp. 209-218. ISBN 1-58113-065-1

Pretorius, AJ, Bray, MA, Carpenter, AE and Ruddle, RA (2011) Visualization of parameter space for image analysis. IEEE Transactions on Visualization and Computer Graphics, 17 (12). 2402 - 2411 . ISSN 1077-2626

Q

Quinn, M. and Noble, J. (2001) Modelling animal behaviour in contests: conventions for resource allocation. In: Kelemen, J. and Sosik, P., (eds.) Advances in Artificial Life : 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001. Proceedings. Lecture Notes in Artificial Intelligence (2159). Springer-Verlag , Germany , pp. 367-376. ISBN 3540425675

R

Randell, R, Ruddle, RA, Mello-Thoms, C, Thomas, RG, Quirke, P and Treanor, D (2013) Virtual reality microscope versus conventional microscope regarding time to diagnosis: an experimental study. Histopathology, 62 (2). 351 - 358 . ISSN 0309-0167

Randell, R, Ruddle, RA, Quirke, P, Thomas, RG and Treanor, D (2012) Working at the microscope: analysis of the activities involved in diagnostic pathology. Histopathology, 60 (3). 504 - 510 . ISSN 0309-0167

Randell, R, Treanor, D, Ruddle, RA, Thomas, R and Treanor, D (2011) Diagnosis at the microscope: a workplace study of histopathology. Cognition, Technology and Work. 1 - 17 . ISSN 1435-5558

Riding, M, Wood, J, Brodlie, KW, Brooke, JM, Chen, M, Chisnall, D, Hughes, C, John, NW, Jones, DM and Roard, N (2005) eViz: Towards an integrated framework for high performance visualization. In: Cox, SJ and Walker, DW, (eds.) Proceedings of the 4th UK e-Science All Hands Meeting (AHM'05). UK e-Science All Hands Meeting 2005, 19th-22nd September 2005, Nottingham, UK. EPSRC . ISBN 1-904425-53-4

Rochel, O. and Cohen, N. (2007) Real time computation: zooming in on population codes. BioSystems, 87 (2). pp. 260-266. ISSN 0303-2647

Romanazzi, G and Jimack, P.K. (2007) Parallel performance prediction for multigrid codes on distributed memory architectures. In: Perrott, R., Chapman, B.M., Subhlok, J., Fernandes de Mello, R. and Yang, Y.T., (eds.) High Performance Computing and Communications. HPCC 2007, Proceedings. Third International Conference, HPCC 2007, September 26-28, 2007, Houston, USA. Lecture Notes in Computer Science (4782). Springer , Berlin / Heidelberg , pp. 647-658. ISBN 978-3-540-75443-5

Rooney, C. and Ruddle, R.A. (2008) A new method for interacting with multi-window applications on large, high resolution displays. In: Lim, I.S. and Tang, W., (eds.) Theory and Practice of Computer Graphics. Proceedings. The 6th Theory and Practice of Computer Graphics Conference (TP.CG.08), 9-11th June 2008, University of Manchester, UK. Eurographics , pp. 75-82. ISBN 978-3-905673-67-8

Rosam, J., Jimack, P.K. and Mullis, A.M. (2008) An adaptive, fully implicit multigrid phase-field model for the quantitative simulation of non-isothermal binary alloy solidification. Acta Materialia, 56 (17). pp. 4559-4569. ISSN 1359-6454

Rosam, J., Jimack, P.K. and Mullis, A. (2007) A fully implicit, fully adaptive time and space discretisation method for phase-field simulation of binary alloy solidification. Journal of Computational Physics, 225 (2). pp. 1271-1287. ISSN 0021-9991

Rosam, J., Mullis, A.M. and Jimack, P.K. (2007) Advanced numerical methods for the simulation of alloy solidification with high Lewis number. In: Jones, H., (ed.) SP07 Proceedings of the 5th Decennial International Conference on Solidification Processing. Department of Engineering Materials, University of Sheffield. , Sheffield , pp. 26-30. ISBN ISBN-13: 978-0-9522507-4-6

Ruddle, R.A. (2009) Finding information again using an individual’s web history. In: WebSci'09: Society On-Line, 18th–20th March, 2009, Athens, Greece.

Ruddle, R.A. (2008) Generating trails automatically, to aid navigation when you revisit an environment. Presence : Teleoperators and Virtual Environments, 17 (6). pp. 562-574. ISSN 1531-3263

Ruddle, R.A. (2001) Navigation: am I really lost or virtually there? In: Harris, D., (ed.) Engineering Psychology and Cognitive Ergonomics - Volume Six : Industrial Ergonomics, HCI, and Applied Cognitive Psychology. Ashgate , pp. 135-142. ISBN 978-0-7546-1338-1

Ruddle, R.A. (2006) Using string-matching to analyze hypertext navigation. In: Proceedings of the 17th ACM Conference on Hypertext and Hypermedia. Seventeenth Conference on Hypertext and Hypermedia, August 22 - 25, 2006, Odense, Denmark. ACM , New York, NY , pp. 49-52. ISBN 1-59593-417-0

Ruddle, R.A. and Lessels, S. (2006) For efficient navigational search, humans require full physical movement but not a rich visual scene. Psychological Science, 17 (6). pp. 460-465. ISSN 1467-9280

Ruddle, R.A. (2005) The effect of trails on first-time and subsequent navigation in a virtual environment. In: Frohlich, B., Julier, S. and Takemura, H., (eds.) Conference Proceedings. IEEE Virtual Reality 2005. IEEE VR, 2005, 12-16 March 2005, Bonn, Germany. IEEE , pp. 115-122. ISBN 0-7803-8929-8

Ruddle, R.A. and Jones, D.M. (2001) Movement in cluttered virtual environments. Presence: Teleoperators & Virtual Environments, 10 (5). pp. 511-524. ISSN 1054-7460

Ruddle, R.A. and Lessels, S. (2009) The benefits of using a walking interface to navigate virtual environments. ACM Transactions on Computer-Human Interaction, 16 (1). 5:1-5:18. ISSN 1073-0516

Ruddle, R.A., Payne, S.J. and Jones, D.M. (1999) Navigating large-scale virtual environments: what differences occur between helmet-mounted and desk-top displays? Presence : Teleoperators and Virtual Environments, 8 (2). pp. 157-168. ISSN 1054-7460

Ruddle, R.A., Payne, S.J. and Jones, D.M. (1998) Navigating large-scale ‘‘desk-top’’ virtual buildings: effects of orientation aids and familiarity. Presence: Teleoperators and Virtual Environments, 7 (2). pp. 179-192. ISSN 1054-7460

Ruddle, R.A., Savage, J.C.D. and Jones, D.M. (2002) Evaluating rules of interaction for object manipulation in cluttered virtual environments. Presence: Teleoperators & Virtual Environments, 11 (6). pp. 591-609. ISSN 1054-7460

Ruddle, R.A., Savage, J.C.D. and Jones, D.M. (2003) Levels of control during a collaborative carrying task. Presence: Teleoperators & Virtual Environments, 12 (2). pp. 140-155. ISSN 1054-7460

Ruddle, R.A., Savage, J.C.D. and Jones, D.M. (2002) Verbal communication during cooperative object manipulation. In: Collaborative Virtual Environments. Proceedings of the 4th International Conference on Collaborative Virtual Environments. CVE'02, September 30 - October 02, 2002, Bonn, Germany. ACM , New York , pp. 120-127. ISBN 1-58113-489-4

Ruddle, RA (2010) INSPIRE: A new method of mapping information spaces. Proceedings of the International Conference on Information Visualisation. 273 - 279 . ISSN 1093-9547

Ruddle, RA, Volkova, E and Bulthoff, HH (2011) Walking improves your cognitive map in environments that are large-scale and large in extent. ACM Transactions on Computer - Human Interaction, 18 (2). ISSN 1073-0516

Ruddle, RA, Volkova, E, Mohler, B and Bülthoff, HH (2011) The effect of landmark and body-based sensory information on route knowledge. Memory and Cognition, 39 (4). 686 - 699 . ISSN 0090-502X

S

Santos, P., Needham, C. and Magee, D. (2008) Inductive learning spatial attention. Controle & Automação, 19 (3). pp. 316-326. ISSN 0103-1759

Sargeant, AJ, Townend, PM, Xu, J and Djemame, K (2012) Evaluating the Dependability of Dynamic Binding in Web Services. In: High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on. 14th IEEE International Symposium on High Assurance Systems Engineering (HASE), 25 Oct - 27 Oct 2012, Omaha, NE, USA. IEEE , 139 - 146 . ISBN 978-1-4673-4742-6

Sawalha, M and Atwell, ES (2009) Adapting Language Grammar Rules for Building a Morphological Analyzer for Arabic Text. In: Proceedings of ALECSO Arab League Educational Cultural and Scientific Organization workshop on Arabic morphological analysis. UNSPECIFIED, King Abdul-Aziz City of Technology ( KACT) and Arabic Language Academy. , Damascus, Syria .

Sawalha, M and Atwell, ES (2009) Linguistically Informed and Corpus Informed Morphological Analysis of Arabic. In: Proceedings of the 5th Corpus Linguistics Conference. CL2009, University of Liverpool, UK. Lancaster University Centre for Computer Corpus Research on Language , University of Liverpool .

Sawalha, M. and Atwell, E.S. (2008) Comparative evaluation of Arabic language morphological analysers and stemmers. In: Proceedings of COLING 2008 22nd International Conference on Comptational Linguistics (Poster Volume)). COLING 2008, 18 Aug 2008 - 22 Aug 2008, Manchester. Coling 2008 Organizing Committee , Manchester , 107 - 110 .

Sawalha, M. and Atwell, E.S. (2010) Constructing and Using Broad-coverage Lexical Resource for Enhancing Morphological Analysis of Arabic. In: Proceedings of the Seventh conference on International Language Resources and Evaluation (LREC'10). Language Resource and Evaluation Conference LREC 2010, 17 May 2010 - 23 May 2010, Valleta, Malta. European Language Resources Association (ELRA) , 282 - 287 (6). ISBN 2-9517408-6-7

Sawalha, M. and Atwell, E.S. (2010) Fine-Grain Morphological Analyzer and Part-of-Speech Tagger for Arabic Text. In: Proceedings of the Seventh conference on International Language Resources and Evaluation (LREC'10). Language Resource and Evaluation Conference LREC 2010, 17 May 2010 - 23 May 2010, Valleta, Malta. European Language Resources Association (ELRA) , 1258 - 1265 . ISBN 2-9517408-6-7

Schneider, R. and Jimack, P.K. (2004) Efficient preconditioning of the discrete adjoint equations for the incompressible Navier-Stokes equations. International Journal for Numerical Methods in Fluids, 47 (10-11). pp. 1277-1283. ISSN 0271-2091

Segev, R., Benveniste, M., Hulata, E., Cohen, N., Palevski, A., Kapon, E., Shapira, Y. and Ben-Jacob, E. (2002) Long term behavior of lithographically prepared in vitro neuronal networks. Physical Review Letters, 88 (11). Art. No. 118102. ISSN 1079-7114

Senington, R and Duke, DJ (2013) Decomposing metaheuristic operations. In: Hinze, R, (ed.) Implementation and Application of Functional Languages. 24th International Symposium, IFL 2012, 30th August - 1st September 2012, Oxford, UK. Springer , Heidelberg , 224 - 239. ISBN 978-3-642-41581-4

Shakhlevich, N.V. (2008) Preemptive scheduling on uniform parallel machines with controllable job processing times. Algorithmica, 51 (4). pp. 451-473. ISSN 0178-4617

Shakhlevich, N.V., Shioura, A. and Strusevich, V.A. (2008) Fast divide-and-conquer algorithms for preemptive scheduling problems with controllable processing times – A polymatroid optimization approach. In: Algorithms - ESA 2008 : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings. Lecture Notes in Computer Science (5193). Springer , pp. 756-767. ISBN 1611-3349

Shakhlevich, N.V., Shioura, A. and Strusevich, V.A. (2009) Single machine scheduling with controllable processing times by submodular optimization. International Journal of Foundations of Computer Science, 20 (2). 247-269 . ISSN 1793-6373

Shaklevich, N.V. and Strusevich, V.A. (2008) Preemptive scheduling on uniform parallel machines with controllable job processing times. Algorithmica 51, 51 (4). pp. 451-473. ISSN 1432-0541

Sitthisarn, S, Lau, LMS and Dew, PM (2011) Semantic keyword search for expert witness discovery. In: 2011 International Conference on Semantic Technology and Information Retrieval (STAIR). STAIR'11: International Conference on Semantic Technology and Information Retrieval, 28 Jun 2011 - 29 Jun 2011, Kuala Lumpur, Malaysia. IEEE , 18 - 25 . ISBN 978-1-61284-354-4

Sivic, J., Everingham, M. and Zisserman, A. (2009) "'Who are you?' - Learning person specific classifiers from video". In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition. CVPR 2009, June 20 - 25, 2009, Miami, Florida. , pp. 1145-1152.

Smaus, J.-G., Hill, P.M. and King, A. (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684

Soen, Y., Cohen, N. and Braun, E. (1999) Emergence of spontaneous rhythm disorders in self-assembled networks of heart cells. Physical Review Letters, 82 (17). pp. 3556-3559. ISSN 1079-7114

Song, Y., Bulpitt, A.J. and Brodlie, K.W. (2009) Liver segmentation using automatically defined patient specific B-Spline surface models. In: Medical Image Computing and Computer-Assisted Intervention – MICCAI 2009 : 12th International Conference, London, UK, September 20-24, 2009, Proceedings. Lecture Notes in Computer Science (5762). Springer , Tiergartenstraße 17, 69121 Heidelberg, Germany , pp. 43-50. ISBN 978-3-642-04270-6

Sridhar, M, Cohn, AG and Hogg, DC (2011) From Video to RCC8: Exploiting a Distance Based Semantics to Stabilise the Interpretation of Mereotopological Relations. In: Egenhofer, MJ, Giudice, NA, Moratz, R and Worboys, MF, (eds.) Spatial Information Theory - 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings. COSIT 2011, Belfast, ME, USA. Springer , 110 - 125 . ISBN 978-3-642-23195-7

Stell, JG (2011) Boundary Provenance Relations. In: Workshop on Identifying Objects Processes and Events in Spatio-Temporally Distributed Data (IOPE), 12th Sept 2011, Belfast, Maine, USA. (Unpublished)

Stell, JG, Del Mondo, G, Thibaud, R and Claramunt, C (2011) Spatio-temporal Evolution as Bigraph Dynamics. In: Egenhofer, M, Giudice, N, Moratz, R and Worboys, M, (eds.) Spatial Information Theory. Conference on Spatial Information Theory, COSIT, 12 Sep 2011 - 16 Sep 2011, Belfast, Maine, USA. Lecture Notes in Computer Science (6899). Springer , 148 - 167 (20). ISBN 978-3-642-23195-7 (In Press)

Stell, JG and Worboys, M (2011) Relations between adjacency trees. Theoretical Computer Science, 412 (34). 4452 - 4468 (17). ISSN 0304-3975

T

Third, A., Bennett, B. and Mallenby, D. (2007) Architecture for a grounded ontology of geographic information. In: Fonseca, F., Rodríguez, M.A. and Levashkin, S., (eds.) GeoSpatial Semantics. Proceedings of the Second International Conference. GeoS 2007, November 29-30 2007, Mexico City. Lecture Notes in Computer Science, 4853 (4853). Springer , Berlin / Heidelberg , pp. 36-50. ISBN 978-3-540-76875-3

Third, A., Bennett, B. and Mallenby, D. (2007) Automatic grounding of vague geographic ontology in data. In: Demšar, U., (ed.) Proceedings of the 9th International Conference on Geocomputation. GeoComputation 2007, 3rd - 5th September 2007, Maynooth, Ireland. .

Tian, Y., Lau, L.M.S. and Dew, P.M. (2004) Importance of mutual benefits in online knowledge sharing communities. In: Remenyi, D., (ed.) Proceedings of the 5th European Conference on Knowledge Management. Academic Conferences International , pp. 823-831. ISBN 0954709659

Touheed, N. and Jimack, P.K. (1997) Improved parallel mesh generation through dynamic load-balancing. In: Topping, B.H.V., (ed.) Advances in Computational Mechanics with Parallel and Distributed Processing. The First Euro-Conference on Parallel and Distributed Computing for Computational Mechanics, 26th April-1st May 1997, Lochinver, Scotland. Civil-Comp Press , Edinburgh , pp. 105-111. ISBN 0-948749-47-4

Touheed, N., Selwood, P., Jimack, P.K. and Berzins, M. (2000) A comparison of some dynamic load-balancing algorithms for a parallel adaptive flow solver. Parallel Computing, 26 (12). pp. 1535-1554. ISSN 0167-8191

Treanor, D, Jordan-Owers, N, Hodrien, J, Wood, J, Quirke, P and Ruddle, RA (2009) Virtual reality Powerwall versus conventional microscope for viewing pathology slides: an experimental comparison. Histopathology, 55 (3). 294 - 300 . ISSN 1365-2559

Trotignon, N and Vuskovic, K (2012) Combinatorial optimization with 2-joins. Journal of Combinatorial Theory: Series B, 102 (1). 153 - 185 . ISSN 0095-8956

Trotignon, N and Vuskovic, K (2011) On Roussel-Rubio-type lemmas and their consequences. Discrete Mathematics, 311 (8-9). 684 - 687 . ISSN 0012-365X

Trotignon, N and Vuskovic, K (2010) A Structure Theorem for Graphs with No Cycle with a Unique Chord and Its Consequences. Journal of Graph Theory, 63 (1). 31 - 67 . ISSN 0364-9024

V

Vuskovic, K (2010) Even-Hole-Free Graphs: A Survey. Applicable Analysis and Discrete Mathematics, 4 (2). 219 - 240 . ISSN 1452-8630

W

Walkley, M.A., Gaskell, P.H., Jimack, P.K., Kelmanson, M.A. and Summers, J.L. (2004) Finite element simulation of three-dimensional free-surface flow problems with dynamic contact lines. International Journal for Numerical Methods in Fluids, 47 (10-11). pp. 1353-1359. ISSN 0271-2091

Walkley, M., Jimack, P.K. and Berzins, M. (2002) Anisotropic adaptivity for the finite element solutions of three-dimensional convection-dominated problems. International Journal for Numerical Methods in Fluids, 40 (3-4). pp. 551-559. ISSN 0271-2091

Walkley, M.A., Gaskell, P.H., Jimack, P.K., Kelmanson, M.A. and Summers, J.L. (2005) Adaptive finite element simulation of three-dimensional surface tension dominated free-surface flow problems. Australian and New Zealand Industrial and Applied Mathematics Journal, 46 (E). C558-C571. ISSN 1446-8735

Walkley, M.A., Gaskell, P.H., Jimack, P.K., Kelmanson, M.A. and Summers, J.L. (2005) Finite element simulation of three-dimensional free-surface flow problems. Journal of Scientific Computing, 24 (2). pp. 147-162. ISSN 0885-7474

Walkley, M.A., Gaskell, P.H., Jimack, P.K., Kelmanson, M.A., Summers, J.L. and Wilson, M.C.T. (2004) On the calculation of normals in free-surface flow problems. Communications in Numerical Methods in Engineering, 20 (5). pp. 343-351. ISSN 1099-0887

Wang, H, Brodlie, KW, Handley, J and Wood, J (2006) Service-oriented approach to collaborative visualization. In: Proceedings of the 5th UK e-Science All Hands Meeting (AHM '06). 5th UK e-Science All Hands Meeting (AHM '06)., 18th-21st September 2006, Nottingham, UK. EPSRC . ISBN 0-9553988-0-0

Wang, H, Brodlie, KW and Wood, J (2006) Evolving dataflow visualization to service-oriented architectures on the Grid. In: Proceedings of 1st Workshop of the Service-Oriented Software Research Network (SOSoRNet). 1st Workshop of the Service-Oriented Software Research Network (SOSoRNET), 28th-29th June 2006, Manchester. , 25 - 31.

Wang, H., Brodlie, K.W., Handley, J.W. and Wood, J.D. (2008) Service-oriented approach to collaborative visualization. Concurrency & Computation: Practice & Experience, 20 (11). pp. 1289-1301.

Webster, D, Townend, P and Xu, J (2012) Interface refactoring in performance-constrained web services. In: Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012. 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 11 - 13 April 2012, Kingkey Palace Hotel, Shenzhen, China. Institute of Electrical & Electronic Engineers , 111 - 118 . ISBN 978-0-7695-4643-8

Wheeler, S., Bullock, S., Di Paolo, E.A., Noble, J., Bedau, M., Husbands, P., Kirkby, S. and Seth, A. (2002) The view from elsewhere: perspectives on ALife Modeling. Artificial Life, 8 (1). pp. 87-100. ISSN 1064-5462

Wood, J, Riding, M and Brodlie, KW (2007) A user interface framework for Grid-based computational steering and visualization. In: Proceedings of the UK e-Science All Hands Meeting 2007. UK e-Science All Hands Meeting 2007, 10-13 Sept 2007, Nottingham, UK. NeSC . ISBN 978-0-9553988-3-4

Wood, J., Brodlie, K.W., Seo, J., Duke, D.J. and Walton, J. (2008) A web services architecture for visualization. In: Proceedings of the IEEE Fourth International Conference on eScience, 2008. eScience 2008, 7-12 December 2008, Indianapolis, Indiana, USA. IEEE Computer Society Press , pp. 1-7. ISBN 978-0-7695-3535-7

Wood, JD, Seo, J, Duke, DJ, Walton, JPR and Brodlie, KW (2010) Flexible delivery of visualization software and services. In: Procedia Computer Science. International Conference on Computational Science, 31 May - 2 June 2010, University of Amsterdam, The Netherlands. Elsevier , 1713 - 1720.

Worgan, SF, Behera, A, Cohn, AG and Hogg, DC (2011) Exploiting petri-net structure for activity classification and user instruction within an industrial setting. In: ICMI'11 - Proceedings of the 2011 ACM International Conference on Multimodal Interaction. International Conference on Multimodal Interaction 2011, Alicante, Spain. ACM , 113 - 120 . ISBN 978-1-4503-0641-6

Wortmann, PM and Duke, DJ (2013) Causality of Optimized Haskell: What is burning our cycles? In: Proc. ACM Symposium on Haskell. ACM Haskell Symposium 2013, 23 - 24 Sep 2013, Boston, MA, USA. ACM Press , 141 - 151.

Z

Zaffanella, E., Hill, P.M. and Bagnara, R. (2002) Decomposing non-redundant sharing by complementation. Theory and Practice of Logic Programming, 2 (2). pp. 233-261. ISSN 1471-0684

This list was generated on Thu Aug 28 06:10:21 2014 BST.