Items where Subject is "G000 Computing and Mathematical Sciences"

Up a level
Export as [feed] RSS
Group by: Creators | Item Type
Number of items at this level: 130.

Authored book

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

Eden, Amnon and NICHOLSON, JONATHAN (2011) Codecharts: roadmaps and blueprints for object-oriented programs Wiley, Oxford, UK. ISBN 9780470626948

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

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

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

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

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., Wang, H., Chakrabarti, R. and Henwood, D. (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 9780817632281

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

Contribution to conference proceedings in the public domain

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, 5-8 July 2008.

Arnold, D.B., Day, A.M., Fellner, D. and Havemann, S. (2003) The Charismatic approach to modelling and rendering urban environments In: Enter the Past. The E-way into the four Dimensions of Cultural Heritage. CAA 2003. Computer Applications and Quantitative Methods in Archaeology, Vienna, Austria, 8-12 April, 2003.

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.

Bottoni, Paulo and FISH, ANDREW (2010) Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information In: Proceedings of the 6th International Conference on the Theory and Application of Diagrams, 9-11th August 2010, Portland, OR, USA.

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.

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.

Carter, J., Ala-Mutka, K., Fuller, U., Dick, M., English, J., Fone, W. and Sheard, J. (2003) How shall we assess this? In: Proceedings of the ITiCSE-WGR '03 Working group reports from ITiCSE on Innovation and technology in computer science education, 2003.

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

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.

FISH, ANDREW and Flower, Jean (2008) Euler diagram decomposition In: Proceedings of the 5th International Conference on the Theory and Application of Diagrams, Herrsching, Germany, 19-21 September, 2008.

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, John, Chris and TAYLOR, JOHN (2008) A normal form for Euler diagrams with shading In: Proceedings of the 5th International Conference on the Theory and Application of Diagrams, Herrsching, Germany, 19-21 September, 2008.

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.

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.

Flower, Jean (2003) Layout metrics for Euler diagrams In: Information Visualization, 2003. IV 2003. Proceedings. Seventh International Conference, London, UK, 18 July 2003.

Flower, Jean, Masthoff, Judith and STAPLETON, GEM (2004) Generating readable proofs: a heuristic approach to theorum proving with spider diagrams In: Proceedings of the Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004.

Flower, Jean, Masthoff, Judith and STAPLETON, GEM (2004) Generating proofs with spider diagrams using heuristics In: 10th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing, Oak Brook, Illinois, USA.

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.

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.

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, Flower, Jean and TAYLOR, JOHN (2002) Corresponding regions in Euler diagrams In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002.

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.

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.

Harris, P., Wang, H., Chakrabarti, R. and Henwood, D. (2003) Modelling transient acoustic radiation using the retarded potential integral equation method In: Fourth UK Conference on Boundary Integral Methods, Salford, 2003.

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. (2004) Nanoethics: fact, fiction and forecasting In: Proceedings of the Seventh International Conference, Challenges for the Citizen of the Information Society, Ethicomp 2004, Syros, Greece, 14th-16th April 2004.

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.

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.

John, C. (2004) Reasoning with projected contours In: Proceedings of the third international conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

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.

MAGNUSSON, THOR (2010) ixi lang: a constraint system for live coding In: Proceedings of ISEA2010 RUHR, Germany, 20-29 August, 2012.

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.

Pemberton, L., Fallahkhair, S. and Masthoff, J. (2004) Towards a theoretical framework for informal language via interactive television In: Proceedings of IADIS international conference of cognition and exploratory learning in digital age (CELDA), 14-16 Dec 2005, Porto, Portugal.

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.

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.

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.

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.

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 (2013) Extending Spider Diagrams for policy definition Journal of Visual Languages and Computing, 24 (3). pp. 169-191. 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. and HARRIS, PAUL (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

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

Chappell, D., Harris, P.J., 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

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

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

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

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

FISH, ANDREW and Flower, Jean (2005) Abstractions of Euler diagrams Electronic Notes in Theoretical Computer Science, 134. pp. 77-101. ISSN 1571-0661

FISH, ANDREW and Flower, Jean (2005) Investigating reasoning with constraint diagrams Electronic Notes in Theoretical Computer Science, 127 (4). pp. 53-69. ISSN 1571-0661

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, Jean and STAPLETON, GEM (2004) Automated theorem proving with spider diagrams Electronic Notes in Theoretical Computer Science, 91. pp. 246-263. ISSN 1571-0661

HOWSE, JOHN, STAPLETON, GEM and TAYLOR, JOHN (2005) Spider diagrams LMS Journal of Computation and Mathematics, 8. pp. 145-194. ISSN 1461-1570

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

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

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.

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

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

STAPLETON, GEM (2005) A survey of reasoning systems based on Euler diagrams Electronic Notes in Theoretical Computer Science, 134. pp. 127-151. ISSN 1571-0661

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, HOWSE, JOHN, TAYLOR, JOHN and Thompson, Simon (2004) The expressiveness of spider diagrams Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X

STAPLETON, GEM, Masthoff, Judith, Flower, Jean, FISH, ANDREW and Southern, Jane (2007) Automated theorem proving in Euler diagram systems Journal of Automated Reasoning, 39 (4). pp. 431-470. ISSN 0168-7433

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 (2011) Drawing Euler diagrams with circles: the theory of piercings IEEE Transactions on Visualization and Computer Graphics, 17 (7). pp. 1020-1032. ISSN 1077-2626

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

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). pp. 108-113. ISSN 1793-8201

Thesis

Andone, Diana Maria (2011) Designing elearning spaces for higher education students of the digital generation Doctoral thesis, University of Brighton.

Burton, James (2011) Generalized constraint diagrams: the classical decision problem in a diagrammatic reasoning system Doctoral thesis, University of Brighton.

Cardno, Elizabeth Jayne (2009) The PlaceToBe.Net: forced delivery of a community ‘health’ information initiative Doctoral thesis, University of Brighton.

Clark, R.P. (2013) Failure mode modular de-composition Doctoral thesis, University of Brighton.

Delaney, Aidan (2012) Defining star-free regular languages using diagrammatic logic Doctoral thesis, University of Brighton.

Denis Bacelar, Ana Maria (2012) Isomeric ratios of high-spin states in neutron-deficient N≈126 nuclei produced in projectile fragmentation reactions Doctoral thesis, University of Brighton.

Fallahkhair, Sanaz (2009) Development of a cross platform support system for language learners via interactive television and mobile phone Doctoral thesis, University of Brighton.

Hulshof, Ana Vitoria Joly (2010) Interactive television for young children: developing design principles Doctoral thesis, University of Brighton.

Lourenco Cardosa, Tiago José Peres (2011) Port fuel injection strategies for a lean burn gasoline engine Doctoral thesis, University of Brighton.

Morgan, Neil (2011) The usability of constraint diagrams Masters thesis, University of Brighton.

Newman, Philip Ryan (2012) Ion trajectories at collisionless shocks in space plasmas Doctoral thesis, University of Brighton.

Rodriguez Triguero, Camino (2013) Low-spin states in 102-108Zr in the Interacting Boson Model context Doctoral thesis, University of Brighton.

Wang, Huan (2014) Survival analysis for censored data under referral bias Doctoral thesis, University of Brighton.

de Souza Pereira Candello, Heloisa Caroline (2012) Design for outdoor mobile multimedia: representation, content and interactivity for mobile tourist guides Doctoral thesis, University of Brighton.

Other form of assessable output

FISH, ANDREW and Knapp, Alexander (2007) Layout of (software) engineering diagrams IEEE, Washington DC, USA.

FISH, ANDREW, HOWSE, JOHN, Taentzer, Gabriele and Winkelmann, Jessica (2005) Two visualizations of OCL: a comparison University of Brighton, Brighton, UK.

This list was generated on Wed Jul 23 09:05:07 2014 BST.