Items where Subject is "G000 Computing and Mathematical Sciences"

Authored book

Arnold, D.B. and Geser, G. (2007) Research agenda for the applications of ICT to cultural heritage EPOCH. ISBN 9789638046802

Mcloughlin, J., Kaminski, J. and Sodagar, B. (2007) Technology strategy, management and socio-economic impact Heritage management series, 2 . Archaeolingua, Budapest, Hungary. ISBN 9789638046871

Wang, Xiaofeng, ALI, NOUR, Ramos, I. and Vidgen, Richard (2012) Agile and lean service-oriented development: foundations, theory, and practice Advances in Computer and Electrical Engineering (ACEE) . Information Science Reference, Hershey, PA, USA. ISBN 9781466625037

Chapter in book

Andone, D., Boyne, C.W., Dron, J. and Pemberton, L. (2005) What is it to be a digital student in a British university? In: Fifth IEEE international conference on advanced learning technologies (ICALT005), Kaohsiung, Taiwan, 2005. IEEE Computer Society, Los Alamitos, USA, pp. 925-927.

Arnold, D.B. (2002) Economic reconstructions of populated environments: progress with the CHARISMATIC project In: Niccolucci, Franco, ed. Virtual Archaeology: proceedings of the VAST Euroconference, Arezzo, Italy 24-25 November 2000. Archaeopress, Oxford, UK, pp. 203-208. ISBN 1841714542

Arnold, D.B., Day, A.M., Havemann, S. and Fellner, D. (2004) The CHARISMATIC approach to modelling and rendering urban environments In: Enter the past: the E-way into the four dimensions of cultural heritage – CAA 03 – computer applications and quantitative methods in archaeology: proceedings of the 31st Conference, Vienna, April 2003. BAR international series, 1227 . Archaeopress, Oxford, UK, pp. 566-568. ISBN 1841715921

BELZ, ANJA, Kow, Eric, Viethen, Jette and Gatt, Albert (2010) Generating referring expressions in context: the GREC shared task evaluation challenges In: Krahmer, E. and Theune, M., eds. Empirical Methods in Natural Language Generation. Lecture notes in computer science, 5790 . Springer, Berlin, pp. 294-327. ISBN 9783642155727

Cereijo Roibas, A. (2004) Ubiquitous media at the intersection: iTV meets mobile communications In: O'Neill, Eamonn, Palanque, Philippe and Johnson, Peter, eds. People and computers XVII: designing for society: proceedings of HCI 2003, Bath. BCS conference series, 2 . Springer-Verlag, London, UK. ISBN 1852337664

Cereijo Roibas, A. and Sala, R. (2004) The future of ubiquitous gaming In: Moore, Karenza and Rutter, Jason, eds. Proceedings of mobile entertainment : user centred perspectives, Manchester, 25-27 March, 2004. ESRC Centre for Research on Innovation and Competition, Manchester, UK, pp. 244-253. ISBN 1840520124

Cereijo Roibas, Anxo (2005) Ubiquitous internet environments In: Ghaoui, C., ed. Encyclopedia of human computer interaction. Idea Group, Hershey, PA, USA. ISBN 1-59140-562-9

Cereijo Roibas, Anxo (2005) WAP applications in ubiquitous scenarios of work In: Ghaoui, C., ed. Encyclopedia of human computer interaction. Idea Group, Hershey, PA, USA. ISBN 1-59140-562-9

Day, Peter (2002) Community informatics: policy, partnership and practice In: Making IT: make IT happen - proceedings from the ITiRA conference 2002. Central Queensland University, Rockhampton, Australia.

Dron, J. (2005) Self-organized networked learning environments In: Khosrow-Pour, M., ed. Encyclopedia of information science and technology. Idea Group, Hershey, PA, London, pp. 2459-2463. ISBN 159140553X

Dron, J. (2003) Sidewalks on the information superhighway In: Richards, G., ed. Proceedings of World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2003. AACE, Chesapeake, VA, pp. 2121-2124.

English, J. (2004) Automated assessment of GUI programs using JEWL In: Boyle, R., Clark, M. and Kumar, A., eds. ACM SIGCSE Bulletin. ACM Press, New York, USA, pp. 137-141. ISBN 1581138369

Fallahkhair, S. (2004) Cross-media architecture: delivering language learning services to digital interactive television (DITV) and mobile phone In: Proceedings of PREP 2004, University of Hertfordshire, UK, April 2004. EPSRC, pp. 246-249.

Fallahkhair, S., Pemberton, L. and Masthoff, J. (2004) A dual device scenario for informal language learning: interactive television meets the mobile phone In: Kinshuk, ., Looi, C., Sutinen, E., Sampson, D., Aedo, I., Uden, L. and Kahkonen, E., eds. Fourth IEEE international conference on advanced learning technologies (ICALT'04). IEEE Computer Society, Los Alamitos, USA, pp. 161-20. ISBN 0769521819

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating proofs with spider diagrams using heuristics In: Proceedings of 10th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing. Knowledge Systems Institute, pp. 91-98.

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating readable proofs: a heuristic approach to theorum proving with spider diagrams In: Blackwell, A., Marriott, K. and Shimojima, A., eds. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture Notes in Computer Science, 2980/2004 . Springer Verlag, Berlin, Germany, pp. 166-181. ISBN 9783540212683

Flower, Jean (2003) Layout metrics for Euler diagrams In: Information Visualization, 2003. IV 2003. Proceedings. Seventh International Conference. Inspec Online, pp. 272-280. ISBN 0-7695-1988-1

Hamie, A. (2004) Mapping OCL-constrained models to JML specifications In: Proceedings of the 7th world conference on integrated design and process technology (IDPT 2003), Austin, Texas, December 2003. Society for design and process science, Grandview, Texas, USA. ISBN 1090-9389

Hamie, A. (2004) Translating the object constraint language into the Java modelling language In: Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia, Cyprus, 2004. ACM Press, New York, USA, pp. 1531-1535. ISBN 1581138121

Harris, P., Chakrabarti, R., Henwood, D. and Wang, H. (2004) A method for modelling non-harmonic periodic acoustic radiation from a loudspeaker In: Constanda, C., Ahues, M.P. and Largillier, A.R., eds. Integral methods in science and engineering: analytic and numerical techniques. Birkhauser, Boston, USA, pp. 73-78. ISBN 978-0-8176-3228-1

Harris, P., Wang, H., Chakrabarti, R. and Henwood, D. (2003) Modelling transient acoustic radiation using the retarded potential integral equation method In: Amini, S., ed. Fourth UK Conference on Boundary Integral Methods, Manchester, 2003. University of Salford, Salford, UK, pp. 57-66. ISBN 0902896407

Horner, D.S. (2004) Nanoethics: fact, fiction and forecasting In: Bynum, T.W., Pouloudi, N., Rogerson, S. and Spyrou, T., eds. Proceedings of the seventh international conference: challenges for the citizen of the information society, Ethicomp 2004. University of the Aegean, Syros, Greece, pp. 941-950. ISBN 9607475259

Howse, J., Stapleton, G., Flower, J. and Taylor, J. (2002) Corresponding regions in Euler diagrams In: Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings. Lecture Notes in Computer Science, 2317/2002 . Springer-Verlag, pp. 146-160. ISBN 9783540435617

John, C. (2004) Reasoning with projected contours In: Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer Verlag, Berlin, Germany, pp. 147-150. ISBN 9783540212683

Jones, A and Henwood, F. (2003) Resistance at the frontline: the case of electronic patient records (EPRs) in maternity services In: Healthcare computing 2003. British Computer Society, Guildford, UK.

Jones, A., Henwood, F. and Hart, Angie (2002) EPRs and the maternity services: the challenge of client-held records and the blurring of boundaries In: Healthcare computing 2002. British Computer Society, Guildford, UK.

Kent, Stuart and HOWSE, JOHN (2002) Constraint trees In: Clark, A. and Warmer, J., eds. Object modeling with the OCL: the rationale behind the object constraint language. Lecture Notes in Computer Science . Springer-Verlag, Berlin, Germany, pp. 427-430. ISBN 9783540431695

Masthoff, J. and Gupta, A. (2002) Design and evaluation of just-in-time help in a multi-modal user interface In: Gill, Y. and Leake, D.B., eds. IUI 02: Proceedings of the 7th international conference on Intelligent user interfaces. ACM press, New York, USA, pp. 204-205. ISBN 1581134592

Masthoff, Judith (2002) Design and evaluation of a navigation agent with a mixed locus of control In: Cerri, S.A., Gouarderes, G. and Paraguacu, F., eds. Intelligent tutoring systems: 6th international conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002. Proceedings. Lecture notes in computer science, 2363/2002 . Springer, Berlin, Germany, pp. 231-245. ISBN 03029743

Masthoff, Judith (2002) Towards an authoring coach for adaptive web-based instruction In: DeBra, Paul, Brusilovsky, Peter and Conejo, Ricardo, eds. Adaptive hypermedia and adaptive web-based systems: second international conference, AH 2002, Malaga, Spain, May 2002. Lecture notes in computer science, 2347/2002 . Springer, Berlin, Germany. ISBN 03029743

Mutton, P., Rodgers, P. and Flower, J. (2004) Drawing graphs in Euler diagrams In: Blackwell, A., Marriott, K. and Shimojima, A., eds. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin, Germany, pp. 66-81. ISBN 9783540212683

Pemberton, L., Fallahkhair, S. and Masthoff, J. (2004) Towards a theoretical framework for informal language via interactive television In: Kinshuk, ., Sampson, D.G. and Isaias, P., eds. Proceedings of IADIS international conference of cognition and exploratory learning in digital age (CELDA) 2004. IADIS, pp. 27-34. ISBN 9729894779

Pemberton, L. and Masthoff, J. (2005) Adaptive hypermedia for personalised television In: Chen, S.Y. and Magoulas, G.D., eds. Adaptable and adaptive hypermedia systems. IRM Press, PA, USA, pp. 246-263. ISBN 159140567X

Springett, M.V. and Griffiths, R. (2007) The use of 'stalking horse' evaluation prototypes for probing DTV accessibility requirements In: Lekakos, G. and Konstantinos, C., eds. Interactive digital television: technologies and applications. IGI Press, Hershey, PA, USA; London, UK.

Contribution to conference proceedings in the public domain

BELZ, ANJA and Kow, Eric (2010) Comparing rating scales and preference judgements in language evaluation In: Proceedings of the 6th International Language Generation Congerence (INLG'10), July 7 - 9, 2010, Dublin, Ireland.

Cahill, L. (2010) A syllable-based approach to verbal morphology in Arabic In: Proceedings of the LREC Workshop on Semitic Languages, 17 May 2010, Malta.

Cahill, L. (2008) Using similarity measures to extend the LinGO Lexicon In: Proceedings of the 6th International Language Resources and Evaluation (LREC'08), 28-30 May 2008, Marrakech, Morocco.

Cordasco , G., De Chiara, R and Fish, A. (2009) Interactive visual classification with Euler diagrams In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA.

DE SAULLES, MARTIN (2011) Social media and local government in England: who is doing what? In: 11th European conference on e-government, 16-17 June, 2011, University of Ljubljana, Ljubljana, Slovenia, 16-17 June 2011.

English, J., Carter, J., Ala-Mutka, K., Dick, M., Fone, W., Fuller, U. and Sheard, J. (2003) How shall we assess this? In: ITiCSE 2003 working group reports, 2003. (In Press)

Fallahkhair, S. (2004) Media convergence: an architecture for iTV and mobile phone based interactive language learning In: Proceedings of European conference on interactive television: enhancing the experience, 31 Mar - 02 Apr 04, Brighton, UK.

Fish, A. and Masthoff, J. (2005) An experimental study into the default reading of constraint diagrams In: Proceedings of Visual Languages and Human Centric Computing (VLHCC05), 20-24 Sep 2005, Dallas, USA.

FISH, ANDREW, Flower, Jean and HOWSE, JOHN (2003) A reading algorithm for constraint diagrams In: Proceedings of the IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), Auckland, New Zealand, 28-31 October, 2003.

FISH, ANDREW and HOWSE, JOHN (2004) Computing reading trees for constraint diagrams In: Proceedings of the Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, 22 September - 1 October, 2003.

FISH, ANDREW and HOWSE, JOHN (2004) Towards a default reading for constraint diagrams In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

FISH, ANDREW and STAPLETON, GEM (2006) Defining Euler diagrams: simple or what? In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

FISH, ANDREW and STAPLETON, GEM (2006) Formal issues in languages based on closed curves In: Proceedings of the 2006 International Workshop on Visual Languages and Computing, Grand Canyon, USA, August 30-September 1, 2006.

Gil, Joseph (Yossi), HOWSE, JOHN and Kent, Stuart (2001) Towards a formalization of constraint diagrams In: Proceedings of the IEEE Symposium on Human Centric Computing Languages and Environments, Stresa, Italy, 5-7 September, 2001.

GRUNDY, CATHERINE, PEMBERTON, LYN and MORRIS, RICHARD (2012) Characters as agents for the co-design process In: Proceedings of the 11th international conference on interaction design and children, University of Bremen, Germany, 12-15 June, 2012.

Hamie, A. (2002) Towards verifying Java realizations of OCL-constrained design models using JML In: Proceedings of 6th IASTED International COnference on Software Engineering and Applications (SEA'2002), Nov 2002, Cambridge, MA, USA.

Horner, D.S. (2002) Decisions under ignorance: the ethical control of information and communication technology. In: Ethicomp 2002, 13-15 Nov 2002, Lisbon, Portugal.

Horner, D.S. (2010) Metaphors in orbit: revolution, logical malleability, generativity and the future of the internet In: Ethicomp 2010: Proceedings of the Eleventh ETHICOMP International Conference on the Social and Ethical Impacts of Information and Communication Technology, 14-16 April 2010, Universitat Rovira i Virgili, Tarragona, Spain.

Horner, D.S. (2011) Social computing and the fourth revolution: Inforgs at the barricades In: Twelfth International Conference: The Social Impract of Social Computing ETHICOMP, 14-16 September, 2011, Sheffield Hallam University, Sheffield, UK.

HORNER, DAVID (2011) Moral luck, information ethics and natural goodness In: CEPE 2011: Crossing Boundaries, University of Wisconsin.

HOWSE, JOHN and STAPLETON, GEM (2008) Visual mathematics: Diagrammatic formalization and proof In: Proceedings of the 7th international MKM conference on Intelligent Computer Mathematics, Birmingham, UK, 28 July - 1 August, 2008.

HOWSE, JOHN, STAPLETON, GEM and Oliver, Ian (2010) Visual reasoning about ontologies In: Proceedings of the 9th International Semantic Web Conference (ISWC2010), 7-11 November 2010, Shanghai, China, 7-11 November, 2010.

John, Chris, FISH, ANDREW, HOWSE, JOHN and TAYLOR, JOHN (2006) Exploring the notion of 'clutter' in Euler diagrams In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

Lee, S.H., Walters, S.D. and Howlett, R.J. (2008) Intelligent GPS-Based vehicle control for improved fuel consumption and reduced emissions In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, 3-5 Sept 2008, Zagreb, Croatia.

Marshall, A., Henwood, F., Carlin, L., Guy, E.S. and Smith, H. (2011) Involving people in e-health: results from a UK research study on the potential of ICTs to support weight management In: ISHIMR 2011: Proceedings of the Fifteenth International Symposium for Health Information Management Research, 2011, University of Zurich, Zurich, Switzerland.

Paiva, D.S. and Evans, R. (2005) Empirically-based control of natural language generation In: Proceedings of the 43rd Annual Meeting of the ACL, June 2005, Ann Arbor, USA.

Rodgers, Peter, Zhang, Leishi, STAPLETON, GEM and FISH, ANDREW (2008) Embedding wellformed Euler diagrams In: Proceedings of the 12th International Conference on Information Visualisation, London, UK, 9-11 July, 2008.

Rodriguez-Echavarria, Karina, Jenkins, T., Moore, C., Genereux, M. and Arnold, D. (2006) Integration issues for tools to create interactive Cultural Heritage experiences In: The 7th International Symposium on Virtual Reality, Archaeology and Cultural Heritage (VAST 2006), 30 Oct - 4 Nov, Nicosia, Cyprus.

Santini, M (2005) Automatic text analysis: gradations of text types in web pages In: Proceedings of the 10th ESSLLI student session, 8-19 Aug 2005, Edinburgh, UK.

Santini, M. (2005) Genres in formation? An exploratory study of web pages using cluster analysis In: Proceedings of the 8th annual colloquium for the UK special interest group for computational linguistics (CLUK05), 11 Jan 2005, Manchester, UK.

STAPLETON, GEM, FISH, ANDREW and Rodgers, Peter (2008) Abstract Euler diagram isomorphism In: Proceedings of the 14th International Conference on Distributed Multimedia Systems, Boston, Massachusetts, USA, 4-6 September, 2008.

STAPLETON, GEM and HOWSE, JOHN (2006) Enhancing the expressiveness of spider diagram systems In: Proceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Grand Canyon, USA, 30 August - 1 September, 2006.

STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2003) A constraint diagram reasoning system In: Proceedings of the International Conference on Visual Languages and Computing, DMS 2003, Florida International University, Miami, Florida, USA, 24-26 September, 2003.

STAPLETON, GEM, HOWSE, JOHN and Toller, Kate (2006) Generalizing spiders In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

STAPLETON, GEM, Thompson, Simon, FISH, ANDREW, HOWSE, JOHN and TAYLOR, JOHN (2005) A new language for the visualisation of logic and reasoning In: Proceedings of the 2005 International Workshop on Visual Languages and Computing, Banff, Alberta, Canada, 5-7 September, 2005.

Wieneke, L., Nutzel, J. and Arnold, D.B. (2007) Life 1.5: creating a task based reward structure in Second Life to encourage and direct user created content In: International cultural heritage informatics meeting (ICHIM07), 24-26 Oct 2007, Toronto, Ontario, Canada.

Edited Collections

Grundy, John C and HOWSE, JOHN (2006) Proceedings of the IEEE symposium on visual languages and human-centric computing [Edited Collections]

Journal article

Bottoni, Paulo and FISH, ANDREW (2012) Extending Spider Diagrams for policy definition Journal of Visual Languages and Computing . ISSN 1045-926X

Cereijo Roibas, Anxo and Sala, Riccardo (2004) Main HCI issues for the design of interfaces for ubiquitous interactive multimedia broadcast Interactions, 11 (2). pp. 51-53. ISSN 1072-5520

Chappell, D., Geaves, G., Henwood, D. and Chakrabarti, R. (2008) Modelling the transient interaction of a thin elastic shell with an exterior acoustic field International Journal for Numerical Methods in Engineering, 75 (3). pp. 275-290. ISSN 0029-5981

Chappell, D. and Harris, P.J. (2009) A Burton–Miller inverse boundary element method for near-field acoustic holography The Journal of the Acoustical Society of America, 126 (1). pp. 149-157. ISSN 0001-4966

Chen, K., Cheng, J. and Harris, P.J. (2009) A new study of the Burton and Miller method for the solution of a 3D Helmholtz problem IMA Journal of Applied Mathematics, 74 (2). pp. 163-177. ISSN 0272-4960

Dai, H. (2008) Perfect sampling methods for random forests Advances in Applied Probability, 40 (3). pp. 897-917. ISSN 0001-8678

Dai, H. and Bao, Y. (2009) An inverse probability weighted estimator for the bivariate distribution function under right censoring Statistics and Probability Letters, 79 (16). pp. 1789-1797. ISSN 0167-7152

Day, A.M., Arnold, D.B., Havemann, S. and Fellner, D. (2004) Combining polygonal and subdivision surface approaches to modelling and rendering of urban environments Computers and Graphics, 28 (4). pp. 497-507. ISSN 0097-8493

DE SAULLES, MARTIN and HORNER, DAVID (2011) The portable panopticon: morality and mobile technologies Journal Of Information, Communication And Ethics In Society, 9 (3). pp. 206-216. ISSN 1477-996X

Dron, J. and Masthoff, J. (2004) We are, of course, bored with course boards: an online alternative to formal course meetings Italics, 3 (2). ISSN 1473-7507

EVANS, ROGER, Piwek, P., CAHILL, LYNNE and Tipper, N. (2006) Natural language processing in CLIME, a multilingual legal advisory system Natural Language Engineering, 14 . pp. 101-132. ISSN 1351-3249

Fallahkhair, S., Pemberton, L. and Griffiths, R. (2007) Development of a cross-platform ubiquitous language learning services via mobile phone and interactive television (iTV) Journal Of Computer Assisted Learning, 23 (4). pp. 312-325. ISSN 0266-4909

Flower, J. and Stapleton, G. (2004) Automated theorem proving with spider diagrams Electronic Notes in Theoretical Computer Science, 91 . pp. 246-263. ISSN 1571-0661

Harris, P.J. (2003) An investigation into the use of the boundary integral method to model the motion of a single gas or vapour bubble in a liquid Engineering Analysis with Boundary Elements, 28 (4). pp. 325-332. ISSN 0955-7997

Harris, P.J., Wang, H., Chakrabarti, R. and Henwood, D.B. (2005) Stability analysis of a collocation method for solving the retarded potential integral equation Journal of Computational Acoustics, 13 (2). pp. 287-299. ISSN 0218-396X

HARRIS, PAUL and Chappell, D. (2009) On the choice of coupling parameter in the time domain Burton and Miller formulation Quarterly Journal of Mechanics and Applied Mathematics, 62 (4). pp. 431-450. ISSN 0033-5614

Horner, D.S. (2005) Anticipating ethical changes: is there a coming era of nanotechnology? Ethics and Information Technology, 7 (3). pp. 127-138. ISSN 1572-8439

Horner, D.S. (2003) The error of futurism: prediction and computer ethics ACM SIGCAS Computers and Society, 33 (4). p. 1. ISSN 0095-2737

Howse, J., Stapleton, G. and Taylor, J. (2005) Spider diagrams LMS Journal of Computation and Mathematics, 8 . pp. 145-194. ISSN 1461-1570

MAGNUSSON, THOR (2010) ixi lang: a constraint system for live coding International Symposium for Electronic Arts . pp. 198-200.

Mellish, C., Scott, D., Cahill, L., Evans, R., Paiva, D. and Reape, M. (2006) A reference architecture for natural language generation systems Natural language engineering, 12 (1). pp. 1-34. ISSN 1469-8110

Newman, P., Wilkinson, W.P. and Ellacott, S.W. (2007) Trajectories of ions specularly reflected from non-planar collisionless shocks Planetary and space science, 55 (15). pp. 2295-2298. ISSN 0032-0633 (In Press)

Newman, P.R., Ellacott, S.W. and WILKINSON, WILLIAM (2011) A statistical physics perspective on the evolution of Ion distribution across low-mach number quasi-perpendicular collisionless shocks Journal of Geophysical Research, 116 (A9). ISSN 0148-0227

Pemberton, L., Fallahkhair, S. and Griffiths, R. (2007) Design issues for dual device learning: interactive television and mobile phone Journal of Computer Assisted Learning, 23 (4). pp. 312-325. ISSN 0266-4909 (In Press)

Rachid, A., WALTERS, SIMON and Mpanda, A. (2011) Pantograph catenary interaction framework for intelligent control Railway Pro . pp. 46-47. ISSN 1841-4672

Singh, S and Dron, J. (2002) Networking: a study in planning and developing cross-cultural collaboration Association for Learning Technology Journal, 10 (2). pp. 29-37. ISSN 1741-1629

Stapleton, G. (2005) A survey of reasoning systems based on Euler diagrams Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Euler Diagrams (Euler 2004), 134 . pp. 127-151. ISSN 1571-0661

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams augmented with constants VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing . pp. 91-98.

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2007) Automated theorem proving in Euler diagram systems Journal of automated reasoning, 39 (4). pp. 431-470. ISSN 0168-7433

STAPLETON, GEM, HOWSE, JOHN and Rodgers, Peter (2010) A graph theoretic approach to general euler diagram drawing Theoretical Computer Science, 411 (1). pp. 91-112. ISSN 0304-3975

STAPLETON, GEM, Rodgers, Peter, HOWSE, JOHN and Zhang, Leishi (2011) Inductively generating Euler diagrams IEEE Transactions on Visualization and Computer Graphics, 17 (1). pp. 88-100. ISSN 1077-2626

STAPLETON, GEM, Zhang, Leishi, HOWSE, JOHN and Rodgers, Peter (2010) Drawing Euler diagrams with circles: the theory of piercings IEEE Transactions on Visualization and Computer Graphics, 17 (7). pp. 1020-1032. ISSN 1077-2626

Wang, H., Henwood, D., Harris, P. and Chakrabarti, R. (2007) Concerning the cause of instability in time-stepping boundary element methods applied to the exterior acoustic problem Journal of Sound and Vibration, 305 (1-2). pp. 289-297. ISSN 0022-460X

Wilkinson, W. and Ellacott, S.W. (2005) Irreversibility and entropy issues concerning the heating of directly transmitting ions at low Mach number perpendicular collisionless shocks Advances in Space Research, 37 (3). pp. 473-482. ISSN 0273-1177

Wilkinson, W.P. (2003) The earth's quasi-parallel bow-shock: review of observations and perspectives for Cluster Planetary and Space Science, 51 (11). pp. 629-647. ISSN 0032-0633

ZHOU, DIWEI, Dryden, Ian L, Koloydenko, Alexey A. and Bai, Li (2013) Procrustes analysis of diffusion tensor image processing International Journal of Computer Theory and Engineering, 5 (1). ISSN 1793-8201

Other form of assessable output

Fish, A., Howse, J., Taentzer, G. and Winkelmann, J. (2005) Two visualizations of OCL: a comparison University of Brighton, Brighton.