Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Items where subject is "Science > Mathematics > Electronic computers. Computer science"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item type | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | V | W | Y | Z
Number of items at this level: 916.

A

Abdullah, A. and Hussein, A. and Ordys, A.W. (2005) Biclustering noisy gene expression data. In: ICBA '04 - International Conference on Bioinformatics and its Applications, 2004-12-16 - 2004-12-19, Fort Lauderdale.

Ackermann, F. (2005) Discussion on article 3: Kelly's contribution to information systems. International Journal of Technology and Human Interaction, 1 (4). pp. 57-58.

Ackermann, F. and Belton, V. and Morton, Alec (2003) Technology-driven and model-driven approaches to group decision support: Focus, research philosophy, and key concepts. European Journal of Information systems, 12 (2). pp. 110-126. ISSN 0960-085X

Adams, Paul (2011) ICT and pedagogy : opportunities missed? Education 3-13, 39 (1). pp. 21-33. ISSN 0300-4279

Ainsworth, M. and Rankin, R. (2008) Robust a posteriori error estimation for the nonconforming fortin-soulie finite element approximation. Mathematics of Computation, 77 (264). pp. 1917-1939. ISSN 0025-5718

Al Izki, Fathiya and Weir, George (2014) Information security and digital divide in the Arab world. In: Cyberforensics 2014 - International Conference on Cybercrime, Security & Digital Forensics, 2014-06-23 - 2014-06-24, Glasgow.

AlKhateeb, J. H. and Jiang, J. and Ren, Jinchang and Ipson, S. (2009) Component-based Segmentation of words from handwritten Arabic text. International Journal of Computer Systems Science and Engineering, 5 (1).

Albert, Michael and Atkinson, Michael and Bouvel, Mathilde and Claesson, Anders and Dukes, Mark (2011) On the inverse image of pattern classes under bubble sort. Journal of Combinatorics, 2 (2). pp. 231-243. ISSN 2156-3527

Alexander, N. and Brown, C. and Jose, J.M. and Ruthven, I. and Tombros, A. (2000) Question-answering, relevance feedback and summarisation: TREC-9 interactive track report. In: Proceedings of the Ninth Text Retrieval Conference (TREC-9), 2000-11-13 - 2000-11-16, Maryland, USA.

Alkhateeb, Jawad H. and Pauplin, Olivier and Ren, Jinchang and Jiang, Jianmin (2011) Performance of hidden Markov model and dynamic Bayesian network classifiers on handwritten Arabic word recognition. Knwoledge Based Systems, 24 (5). pp. 680-688. ISSN 0950-7051

Alkhateeb, Jawad H. and Ren, Jinchang and Jiang, Jianmin and Al-Muhtaseb, Husni (2011) Offline handwritten Arabic cursive text recognition using hidden markov models and re-ranking. Pattern Recognition Letters, 32 (8). pp. 1081-1088. ISSN 0167-8655

Alty, J.L. and Weir, G.R.S. (1987) Dialogue design for dynamic systems. [Proceedings Paper]

Anagnostou, N.K. and Weir, G.R.S. (2006) From corpus-based collocation frequencies to readability measure. In: ICT in the Analysis, Teaching and Learning of Languages, Preprints of the ICTATLL Workshop 2006, 2006-08-21 - 2006-08-22, Glasgow, UK.

Anagnostou, N.K. and Weir, G.R.S. (2006) Review of software applications for deriving collocations. In: ICT in the Analysis, Teaching and Learning of Languages, Preprints of the ICTATLL Workshop 2006, 2006-08-21 - 2006-08-22, Glasgow, UK.

Andrew, A. (2008) Automatically detecting neighbourhood constraint interactions using comet. [Proceedings Paper]

Andrew, A. and Levine, J. (2008) Automatically detecting neighbourhood constraint interactions using Comet. In: 5th International Workshop on Local Search Techniques in Constraint Satisfaction, 2008-09-15, Sydney.

Andrew, A. and Levine, J. and Long, D. (2007) Constraint directed variable neighbourhood search. [Proceedings Paper]

Anwar, N. and Hunt, E. (2009) Francisella tularensis novicida proteomic and transcriptomic data integration and annotation based on semantic web technologies. BMC Bioinformatics, 10 (Supp 10). ISSN 14712105

Aspinall, David and Atkey, Robert and MacKenzie, Kenneth and Sannella, Donald (2010) Symbolic and analytic techniques for resource analysis of Java bytecode. [Proceedings Paper]

Atkey, Robert (2009) Algebras for parameterised monads. [Proceedings Paper]

Atkey, Robert (2011) Amortised resource analysis with separation logic. Logical Methods in Computer Science, 7 (2).

Atkey, Robert (2010) Amortised resource analysis with separation logic. [Proceedings Paper]

Atkey, Robert (2009) Parameterised notions of computation. Journal of Functional Programming, 19 (3-4). pp. 335-376. ISSN 0956-7968

Atkey, Robert (2012) Relational parametricity for higher kinds. [Proceedings Paper] (In Press)

Atkey, Robert (2009) Syntax for free: representing syntax with binding using parametricity. [Proceedings Paper]

Atkey, Robert (2011) What is a categorical model of arrows? [Proceedings Paper]

Atkey, Robert (2012) The semantics of parsing with semantic actions. [Proceedings Paper] (In Press)

Atkey, Robert and Ghani, Neil and Jacobs, Bart and Johann, Patricia (2012) Fibrational induction meets effects. [Proceedings Paper]

Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). ISSN 1860-5974

Atkey, Robert and Johann, Patricia and Ghani, Neil (2011) When is a type refinement an inductive type. [Proceedings Paper]

Atkey, Robert and Johann, Patricia and Kennedy, Andrew (2013) Abstraction and invariance for algebraically indexed types. [Proceedings Paper]

Atkey, Robert and Lindley, Sam and Yallop, Jeremy (2009) Unembedding domain-specific languages. [Proceedings Paper]

Atkey, Robert and McBride, Conor (2013) Productive coprogramming with guarded recursion. [Proceedings Paper] (In Press)

Aves, M.A. and Davies, P.J. and Higham, D.J. (2000) The effect of quadrature on the dynamics of a discretised nonlinear integro-differential equation. Applied Numerical Mathematics, 32 (1). pp. 1-20. ISSN 0168-9274

Aves, M.A. and Griffiths, D.F. and Higham, D.J. (2000) Runge-Kutta solutions of a hyperbolic conservation law with source term. SIAM Journal on Scientific Computing, 22 (1). pp. 20-38. ISSN 1064-8275

Azzopardi, C. and Azzopardi, L. and Baillie, M. and Bierig, R. and Nicol, E. and Ruthven, I. and Sweeney, S. (2006) Contextual information and assessor characteristics in complex question answering. In: The Fifteenth Text REtrieval Conference (TREC 2006) Proceedings. NIST.

Azzopardi, L. and Baillie, M. and Crestani, F. (2006) Adaptive query-based sampling for distributed IR. In: 29th Annual ACM Conference on Research and Development in Information Retrieval, 2006-08-06 - 2006-08-11, Seattle.

B

Bache, R. and Crestani, F. (2011) A generative model of offenders' spatial behaviour. International Journal of Uncertainty, Fuzziness and Knowledge Based Systems, 19 (5). pp. 825-842. ISSN 0218-4885

Baillie, M. and Jose, J.M. (2003) Audio-based event detection for sports video. Lecture Notes in Computer Science. ISSN 0302-9743

Baillie, M. and Jose, J.M. (2004) An Audio-based sports video segmentation and event detection algorithm. In: IEEE Workshop on Event Mining 2004: IEEE Computer Vision and Pattern Recognition, 2004-07-02, Washington DC.

Baillie, M. and Jose, J.M. and van Rijsbergen, C.J. (2004) HMM model selection issues for soccer video. In: Lecture Notes in Computer Science. Springer. ISBN 0302-9743

Baillie, M. and Azzopardi, L. and Crestani, F. (2006) Adaptive query-based sampling of distributed collections. In: 13th Symposium on String Processing and Information Retrieval (SPIRE 2006), 2006-10-11 - 2006-10-13, Glasgow, UK.

Baillie, M. and Azzopardi, L. and Crestani, F. (2006) Towards better measures: evaluation of estimated resource description quality for distributed IR. In: First International Conference on Scalable Information Systems, 2006-05-30 - 2006-06-01, Hong Kong.

Baillie, M. and Azzopardi, L. and Crestani, F. (2006) An evaluation of resource description quality measures. In: Proceedings of the 2006 ACM symposium on Applied computing. ACM, pp. 1110-1111. ISBN 1-59593-108-2

Baillie, M. and Azzopardi, L. and Ruthven, I. (2007) A retrieval evaluation methodology for incomplete relevance assessments. In: Advances in Information Retrieval: 29th European Conference on IR Research (ECIR 2007). Lecture Notes in Computer Science, 4425 . Springer. ISBN 978-3-540-71494-1

Baillie, M. and Carman, M. and Crestani, F. (2011) A multi-collection latent topic model for federated search. Information Retrieval, 14. pp. 390-412. ISSN 1386-4564

Baillie, M. and Crestani, F. and Landoni, M. (2006) PENG: integrated search of distributed news archives. In: Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval. ACM, pp. 607-608. ISBN 1-59593-369-7

Baillie, M. and Elsweiler, D. and Nicol, E. and Ruthven, I. and Sweeney, S. and Yakici, M. and Crestani, F. and Landoni, M. (2005) University of Strathclyde at TREC HARD. In: Proceedings of the Fourteenth Text REtrieval Conference (TREC-14), 2005-11-15 - 2005-11-18, Maryland, USA.

Baillie, M. and Lees, F. and Gettinby, G. and Revie, C.W. (2009) The use of prevalence as a measure of lice burden: a case study of Lepeophtheirus salmonis on Scottish Atlantic salmon, Salmo salar L., farms. Journal of Fish Diseases, 32 (1). pp. 15-25. ISSN 0140-7775

Baillie, M. and Ruthven, I. (2006) Examining assessor attributes at HARD 2005. In: Proceedings of the 29th Annual ACM Conference on Research and Development in Information Retrieval (SIGIR '06). ACM Press, pp. 609-610. ISBN 1-59593-369-7

Baker, Sean and Cahill, Vinny and Nixon, Paddy (1997) Bridging boundaries: corba in perspective. IEEE Internet Computing, 1 (5). pp. 52-57. ISSN 1089-7801

Balatsoukas, Panagiotis and Ruthven, Ian (2012) An eye-tracking approach to the analysis of relevance judgments on the web : the case of Google search engine. Journal of the American Society for Information Science and Technology, 63 (9). pp. 1728-1746. ISSN 1532-2890

Bamoallem, B. S. and Wodehouse, A. J. and Mair, Gordon (2014) Design for an optimal social presence experience when using telepresence robots. In: International Design Conference - Design 2014, 2014-05-19 - 2014-05-22, Dubrovnik.

Barclay, G.J. and Griffiths, D.F. and Higham, D.J. (2000) Theta method dynamics. LMS Journal of Computation and Mathematics, 3. pp. 27-43. ISSN 1461-1570

Bedford, T.J. and Cooke, R. (2002) Reliability databases in perspective. IEEE Transactions on Reliability, 51 (3). pp. 294-310. ISSN 0018-9529

Bell, David J. and Ruthven, Ian (2004) Searchers' assessments of task complexity for web searching. In: Advances in information retrieval. Lecture Notes in Computer Science . Springer-Verlag, Berlin-Heidelberg, pp. 57-71. ISBN 3540213821

Benton, Nick and Hur, Chung-Kil and Kennedy, Andrew and McBride, Conor (2012) Strongly typed term representations in Coq. Journal of Automated Reasoning, 49 (2). pp. 141-159. ISSN 0168-7433

Beresi, U. Cervino and Kim, Y. and Song, D. and Ruthven, I. and Baillie, M. (2010) Relevance in technicolor. [Proceedings Paper]

Bernini, A. and Ferrari, L. and Steingrimsson, E. (2011) The Möbius function of the consecutive pattern poset. The Electronic Journal of Combinatorics, 18 (1).

Bezhanishvili, N. and Kupke, C. and Panangaden, P. (2012) Minimization via duality. In: Logic, Language, Information and Computation. Lecture notes in computer science / Theoretical Computer Science and General Issues, 7456 LNCS . Springer, pp. 191-205. ISBN 9783642326202

Bjorneseth, F. B. and Dunlop, M. D. and Hornecker, E. (2010) Assessing the effectiveness of multi-touch interfaces for DP operation. [Proceedings Paper]

Bjorneseth, Froy Birte and Dunlop, Mark and Hornecker, Eva (2012) Assessing the effectiveness of direct gesture interaction for a safety critical maritime application. International Journal of Human Computer Studies, 70 (10). 729–745. ISSN 1071-5819

Blanke, T. and Candela, L. and Hedges, M. and Priddy, M. and Simeoni, F. (2010) Deploying general-purpose virtual research environments for humanities research. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 368 (1925). pp. 3813-3828.

Boddy, M. and Fox, M. and Thiebaux, S. (2008) The seventeenth international conference on automated planning and scheduling (icaps-07). AI Magazine, 29 (3). pp. 116-119. ISSN 07384602

Borlund, P. and Ruthven, I. (2008) Introduction to the special issue on evaluating interactive information retrieval systems. Information Processing and Management, 44 (1). pp. 1-3. ISSN 0306-4573

Borriello, G. and LaMarca, A. and Chalmers, M. and Nixon, P. (2005) Delivering real-world ubiquitous location systems. Communications - ACM, 48 (3). pp. 36-41. ISSN 0001-0782

Bouchlaghem, D. and Rezgui, Y. and Hassanen, M.A.H. and Cooper, G. and Rose, D. (2000) IT tools and support for improved briefing. In: Construction Information Technology 2000. Taking the construction industry into the 21st century. Icelandic Building Research Institute, Reykjavik, Iceland. ISBN 9789979917434

Bousquet-Melou, Mireille and Claesson, Anders and Dukes, Mark and Kitaev, Sergey (2010) (2+2)-free posets, ascent sequences and pattern avoiding permutations. Journal of Combinatorial Theory Series A, 117 (7). pp. 884-909.

Bouville, Christian and Damala, Areti (2006) Converging towards broadband, augmented and platform independent "intelligent" cultural heritage applications. In: Digital Applications for Tangible Cultural Heritage. Archaeolingua, Hungary, pp. 88-92. ISBN 9638046686

Boyle, James and Tomlie, A. and Stobie, I. (2003) Bridging the gap: probationer EPs use of computer-mediated conferencing. Educational Psychology in Practice, 19 (3). pp. 189-197. ISSN 0266-7363

Boyle, Jim and Boyle, Elizabeth and Connolly, Thomas and Hainey, Thomas (2012) Engagement in digital entertainment games: a systematic review. Computers in Human Behaviour. ISSN 0747-5632 (In Press)

Bradley, N.A. and Dunlop, M.D. (2006) Navigation AT: context-aware computing. In: Assistive Technology for Vision-Impaired and Blind People. Springer. ISBN 978-1-84628-866-1

Bradley, N.A. and Dunlop, M.D. (2002) Investigating context-aware clues to assist navigation for visually impaired people. In: Proceedings of Workshop on Building Bridges: Interdisciplinary Context-Sensitive Computing, University of Glasgow, 2002-09-09, Glasgow.

Bradley, N.A. and Dunlop, M.D. (2004) Investigating design issues of context-aware mobile guides for people with visual impairments. In: Proceedings of the 6th International Conference on Human Computer Interaction with Mobile Devices and Services (Mobile HCI '04). ACM Press, London, UK. ISBN 3-540-23086-6

Bradley, N.A. and Dunlop, M.D. (2003) A Pathway to Independence: wayfinding systems which adapt to a visually impaired person's context. In: Proceedings of IEEE Symposium on Assistive Technologies. AAATE, pp. 23-27.

Bradley, N.A. and Dunlop, M.D. (2005) Toward a multidisciplinary model of context to support context-aware computing. Human-Computer Interaction, 20 (4). pp. 403-446. ISSN 0737-0024

Bradley, N.A. and Dunlop, M.D. (2003) Towards a multidisciplinary user-centric design framework for context-aware applications. In: Proceedings of 1st UK-UbiNet Workshop. Springer.

Bradley, N.A. and Dunlop, M.D. (2004) Towards a user-centric and multidisciplinary framework for designing context-aware applications. In: Proceedings of the International Conference on Ubiquitous Computing (Ubicomp 2004). Springer, Berlin, Germany.

Bradley, N.A. and Dunlop, M.D. (2005) An experimental investigation into wayfinding directions for visually impaired people. Personal and Ubiquitous Computing, 9 (6). pp. 395-403. ISSN 1617-4909

Bradley, Nicholas. A. and Dunlop, Mark D. (2002) Understanding contextual interactions to design navigational context-aware applications. In: Proceedings of the 4th International Symposium on Human Computer Interaction with Mobile Devices and Services (Mobile HCI 2002). Lecture Notes in Computer Science, 2411/2002 . Springer, pp. 349-353. ISBN 978-3-540-44189-2

Brewster, S.A. and Dunlop, M.D. (2000) Human computer interaction with mobile devices (editorial for special edition). Personal Technologies, 4 (2). ISSN 0949-2054

Bridges, A.H. and Charitos, D. (2001) The impact of form on movement within virtual environments. Automation in Construction, 10 (5). pp. 589-596. ISSN 0926-5805

Brookens, A. and Poulter, A. (2007) Support for alternative publishing by public libraries in Scotland. Library Review, 36 (7). pp. 585-602.

Brown, G. and Bauer, R. and Lubeigt, W. and Uttamchandani, D. (2013) SOI based electromagnetic MEMS scanners and their applications in laser systems. In: Moems and Miniaturized Systems XII. Proceedings of SPIE . SPIE, Bellingham. ISBN 9780819493859

Buchanan, S. and Gibb, F. (2008) The information audit : methodology selection. International Journal of Information Management, 28 (1). pp. 3-11. ISSN 0268-4012

Buchanan, S. and Gibb, F. (1998) The information audit : an integrated strategic approach. International Journal of Information Management, 18 (1). pp. 29-48. ISSN 0268-4012

Buchanan, S. and McMenemy, D. (2010) Towards a public library digital service taxonomy. In: Research and advanced technology for digital libraries. Lecture Notes in Computer Science . Springer-Verlag, Berlin, pp. 425-428. ISBN 9783642154638

Buchanan, S. and Salako, A. (2009) Evaluating the usability and usefulness of a digital library. Library Review, 58 (9). pp. 638-651. ISSN 0024-2535

Buchanan, Steven (2010) Planning strategically, designing architecturally : a framework for digital library services. In: Advances in librarianship. Advances in Librarianship, 32 (2010). Emerald Group Publishing Limited, Bingley, UK, pp. 159-180. ISBN 9781849509787

Buchanan, Steven and Gibb, Forbes and Simmons, Susan and McMenemy, David (2012) Digital library collaboration : a service-oriented perspective. Library Quarterly, 82 (3). pp. 337-359. ISSN 0024-2519

Buchanan, Steven and McMenemy, David (2012) Digital service analysis and design : the role of process modelling. International Journal of Information Management, 32 (3). pp. 251-256. ISSN 0268-4012

Burstein, Alexander and Jelínek, Vít and Jelínková, Eva and Steingrimsson, Einar (2011) The Möbius function of separable and decomposable permutations. Journal of Combinatorial Theory Series A, 118 (8). 2346–2364.

Burton, P. and McMenemy, D. (2005) Future librarians digitising the past. Information Scotland, 3 (5). pp. 12-14. ISSN 1479-8441

C

Cahill, Vinny and Nixon, Paddy and Tangney, Brendan and Rabhi, Fethi (1997) Object models for distributed or persistent programming. Computer Journal, 40 (8). pp. 513-527. ISSN 0010-4620

Cahill, V. and Gray, E. and Seigneur, J.M. and Jensen, C. and Chen, Y. and Shand, B. and Dimmock, N. and Twigg, A. and Bacon, J. and English, C. and Wagealla, W. and Terzis, S. and Nixon, P. and Serugendo, G. and Bryce, C. and Carbone, M. and Krukow, K. and Nielsen, M. (2003) Using trust for secure collaboration in uncertain environments. IEEE Pervasive Computing, 2 (3). pp. 52-61. ISSN 1536-1268

Calder, Muffy and Gilmore, S. and Hillston, Jane and Vyshemirsky, Vladislav (2010) Formal methods for biochemical signalling pathways. In: Formal Methods: State of the Art and New Directions. Springer, London, pp. 185-215. ISBN 9781848827363

Calvo, M.C. and Higham, D.J. and Montijano, J.M. and Rández, L. (1997) Stepsize selection for tolerance proportionality in explicit Runge-Kutta codes. Advances in Computational Mathematics, 7 (3). pp. 361-382. ISSN 1019-7168

Campbell, G. and Weir, G.R.S. (2006) Matching readers to texts with the Strathclyde readability measure. In: ICT in the Analysis, Teaching and Learning of Languages, Preprints of the ICTATLL Workshop 2006, 2006-08-21 - 2006-08-22, Glasgow, UK.

Carter, R. G. and Levine, J. (2007) An investigation into tournament poker strategy using evolutionary algorithms. In: Proceedings of the 2007 IEEE Symposium on Computational Intelligence and Games (CIG 2007). IEEE, New York, pp. 177-124. ISBN 1424407095

Chakareski, Jacob and Velisavljevic, Vladan and Stankovic, Vladimir (2013) User-action-driven view and rate scalable multiview video coding. IEEE Transactions on Image Processing, 22 (9). pp. 3473-3484. ISSN 1057-7149

Chapman, James and Dagand, Pierre-Evariste and Mcbride, Conor and Morris, Peter (2010) The gentle art of levitation. In: ICFP 2010 Proceedings of the 15th ACM SIGPLAN international conference on functional programming. ACM, New York, NY, New York, pp. 3-14. ISBN 9781605587943

Chase, S.C. (2005) Generative design tools for novice designers: Issues for selection. Automation in Construction, 14 (6). pp. 689-698. ISSN 0926-5805

Chase, S.C. (2002) A model for user interaction in grammar-based systems. Automation in Construction, 11 (2). pp. 161-172. ISSN 0926-5805

Chase, Scott and Schultz, Ryan and Brouchoud, Jon (2008) Gather round the wiki-tree : virtual worlds as an open platform for architectural collaboration. In: ARCHITECTURE 'in computro'. eCAADe, Antwerp, pp. 809-815. ISBN 9780954118372

Chen, J. and Ren, Jinchang and Jiang, J. (2010) Modelling of content-aware indicators for effective determination of shot boundaries in compressed MPEG videos. Multimedia Tools and Applications, 54 (2). pp. 219-239. ISSN 1380-7501

Chowdhury, G. (2004) Classic concepts of IR in the context of the Internet. Update, 3 (4). ISSN 1740762106

Chowdhury, G. (2002) Digital libraries and reference services: present and future. Journal of Documentation, 58 (3). pp. 258-283. ISSN 0022-0418

Chowdhury, G. (2004) Introduction to modern information retrieval. Facet Publishing. ISBN 1-85604-480-7

Chowdhury, G. and Chowdhury, S. (2001) Information sources and searching on the world wide web. Facet Publishing, UK. ISBN 1-85604-394-0

Chowdhury, G. and Chowdhury, S. (2002) Introduction to digital libraries. Facet Publishing, UK. ISBN 1-85604-465-3

Chowdhury, G. and Chowdhury, S. (2001) Searching CD-ROM and online information sources. Facet Publishing, UK. ISBN 1-85604-388-6

Chowdhury, G. (2004) Access and usability issues of scholarly electronic publications. In: Scholarly publishing in an electronic era. International Yearbook of Library and Information Management, 5 . Facet Publishing, UK, pp. 77-98. ISBN 1856045366

Chowdhury, G. (2004) Access to information in digital libraries : users and digital divide. In: International Conference on Digital Libraries, 2004-02-27 - 2004-02-27, New Delhi, India.

Chowdhury, G. (2002) Digital divide : how can digital libraries bridge the gap? [Proceedings Paper]

Chowdhury, G. (2002) Digital divide: how can digital libraries bridge the gap? In: Digital Libraries: people, knowledge and technology - 5th International Conference on Asian Digital Libraries, 2002-12-11 - 2002-12-14, Singapore.

Chowdhury, G. (2001) How to make best use of the intellectual output of a country? a simple approach to the design of a digital library of theses and dissertations in Indian universities. In: 8th national conference for automation of libraries in education and research institutes, 2001-03-15 - 2001-03-16, Pune.

Chowdhury, G. (2004) Knowledge organization or information organization : a key component of knowledge management activities. In: ICDL 2004: International Conference on Digital Libraries, 2004-02-24 - 2004-02-27, New Delhi, India.

Chowdhury, G. (2003) Natural language processing. Annual Review of Information Science and Technology, 37. pp. 51-89. ISSN 0066-4200

Chowdhury, G. and Chowdhury, S. (2006) e-learning support for LIS education in UK. [Proceedings Paper]

Chowdhury, G. and Joint, Nicholas (2004) Digital reference services. Library Review, 53 (1). ISSN 0024-2535

Chowdhury, S. and Chowdhury, G. (2004) Using DDC to create a visual knowledge map as an aid to online information retrieval. In: 8th International ISKO Conference: Knowledge organization and the Global Information Society, 2004-07-13 - 2004-07-16, London.

Chowdhury, Sudatta and Gibb, Forbes (2014) A model of uncertainty and its relation to information seeking and retrieval (IS&R). Journal of Documentation, 70 (4). ISSN 0022-0418 (In Press)

Chung, Fan and Claesson, Anders and Dukes, Mark and Graham, Ronald (2010) Descent polynomials for permutations with bounded drop size. European Journal of Combinatorics, 31 (7). pp. 1853-1867.

Cirstea, Corina and Kupke, Clemens and Pattinson, Dirk (2011) EXPTIME tableaux for the coalgebraic mu-calculus. Logical Methods in Computer Science, 7 (3). pp. 1-33. ISSN 1860-5974

Claesson, A. and Jelinek, V. and Jelinkova, E. and Kitaev, S. (2011) Pattern avoidance in partial permutations. The Electronic Journal of Combinatorics, 18 (1). ISSN 1077-8926

Claesson, Anders and Dukes, Mark and Kitaev, Sergey (2011) A direct encoding of Stoimenow's matchings as ascent sequences. Australasian Journal of Combinatorics, 49. pp. 47-59.

Claesson, Anders and Dukes, Mark and Kubitzke, Martina (2011) Partition and composition matrices. Journal of Combinatorial Theory Series A, 118 (5). pp. 1624-1637.

Claesson, Anders and Jelínek, Vít and Steingrimsson, Einar (2012) Upper bounds for the Stanley–Wilf limit of 1324 and other layered patterns. Journal of Combinatorial Theory Series A, 119 (8). pp. 1680-1691. ISSN 0097-3165

Claesson, Anders and Kitaev, Sergey (2008) Classification of bijections between 321- and 132-avoiding permutations. Séminaire Lotharingien de Combinatoire, 60. ISSN 1286-4889

Claesson, Anders and Kitaev, Sergey and Steingrimsson, Einar (2009) Decompositions and statistics for β(1,0)-trees and nonseparable permutations. Advances in Applied Mathematics, 42 (3). 313–328. ISSN 0196-8858

Clark, D. and Corney, J.R. and Mill, F. and Rea, H. and Sherlock, A. and Taylor, N.K. (2006) Benchmarking shape signatures against human perceptions of geometric similarity. Computer-Aided Design, 38 (9). pp. 1038-1051. ISSN 0010-4485

Clark, Malcolm and Ruthven, Ian and O'Brian Holt, Partick and Song, Dawei and Watt, Stuart (2014) You have email, what happens next? Tracking the eyes for genre. Information Processing and Management, 50 (1). pp. 175-198. ISSN 0306-4573 (In Press)

Clarke, J.A. and Johnstone, C. and Kim, J.M. and Strachan, P.A. (2002) On-line energy services for smart homes. In: Proceedings of EPIC 02 Conference. Air Infiltration and Ventilation Centre, Sint-Stevens-Woluwe.

Coates, G. and Duffy, A.H.B. and Whitfield, R.I. and Hills, W. (2003) Real-time co-ordinated resource management in a computational enviroment. In: 14th International Conference on Engineering Design (ICED '03), 2003-08-19 - 2003-08-21, Stockholm, Sweden.

Coates, G. and Duffy, A.H.B. and Whitfield, R.I. and Hills, W. (1999) A generic coordination methodology applied to a manufacturing enviroment. In: Proceedings of the 15th International Conference on Computer Aided Production Engineering (CAPE'99), 1999-04-19 - 1999-04-21, Durham, United Kindgom.

Coates, G. and Duffy, A.H.B. and Whitfield, R.I. and Hills, W. and Sen, P. (2002) Real-time co-ordinated scheduling using a genetic algorithm. In: 5th International Conference on Adaptive Computing in Design and Manufacture, 2002-04-16 - 2002-04-18, Exeter.

Cockton, G. and Draper, S. and Weir, G.R.S. (1994) People and Computers IX: Proceedings of the HCI' 94 Conference. Proceedings of HCI, 94 . Cambridge University Press, Cambridge, UK. ISBN 052148557-6

Coddington, A.M. (2002) Handling durative actions in a continuous planning framework. In: Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002-04-24 - 2002-04-27, Toulouse, France.

Coddington, A.M. (2002) A continuous planning framework with durative actions. In: Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME 2002), 2002-07-07 - 2002-07-09.

Coddington, A.M. and Fox, M. and Long, D. (2001) Handling durative actions in classical planning frameworks. In: Proceedings of the 20th Workshop of the UK Planning and Scheduling Special Interest Group, 2001-12-13 - 2001-12-14, Edinburgh, Glasgow.

Coddington, A.M. and Luck, M. (2003) Towards motivation-based plan evaluation. In: Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference, 2003-05-12 - 2003-05-14, St. Augustine, USA.

Coddington, A.M. and Luck, M. (2004) A motivation-based planning and execution framework. International Journal on Artificial Intelligence Tools, 13 (1). pp. 5-25. ISSN 0218-2130

Coddington, A. and Cresswell, S. (2004) Adapting LPGP to plan with deadlines. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), 2004-01-01, Amsterdam.

Coecke, Bob and Duncan, Ross (2011) Interacting quantum observables : categorical algebra and diagrammatics. New Journal of Physics, 13 (April). ISSN 1367-2630

Coecke, Bob and Duncan, Ross and Kissinger, Aleks and Wang, Quanlong (2012) Strong complementarity and non-locality in categorical quantum mechanics. In: Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. IEEE, Piscataway, NJ, pp. 245-254. ISBN 9781467322638

Coles, A. J. and Coles, A. I. and Fox, M. and Long, D. (2010) Forward-chaining partial-order planning. In: Proceedings of the 20th international conference on automated planning and scheduling, ICAPS 2010. AAAI Press, Palo Alto. ISBN 9781577354499

Coles, A.I. (2006) Generic types and their use in improving the quality of search heuristics. In: ICAPS 2006, 2006-06-06 - 2006-06-10, Cumbria, UK.

Coles, A.I. and Smith, A.J. (2004) Marvin: macro-actions from reduced versions of the instance. Working paper. University of Strathclyde, Glasgow, Scotland.

Coles, A.I. and Smith, A.J. (2006) Simulating the use of macro-actions through action reordering. In: 25th Workshop of the UK Planning and Scheduling Special Interest Group, 2006-12-14 - 2006-12-15, Nottingham.

Coles, Andrew and Smith, Amanda (2005) On the inference and management of macro-actions in forward-chaining planning. In: Twenty-fourth UK Planning and Scheduling SIG, 2005-12-15 - 2005-12-16, London, UK.

Condie, Rae and Simpson, Mary (2004) The impact of ICT initiatives in Scottish schools: cultural issues. European Journal of Teacher Education, 27 (1). pp. 73-82. ISSN 0261-9768

Connor, R. and Lievens, D. and Manghi, P. and Neely, S. and Simeoni, F. (2001) Extracting typed values from XML data. In: OOPSLA 2001 Workshop on Objects, XML and Databases publications, 2001-10-14 - 2001-10-18, Florida, USA.

Connor, R. and Simeoni, F. and Iakovos, M. (2009) Structural entropic difference: a bounded distance metric for unordered trees. [Proceedings Paper]

Connor, R. and Simeoni, F. and Iakovos, M. and Moss, R. (2011) A bounded distance metric for comparing tree structure. Information Systems, 36 (4). pp. 748-764. ISSN 0306-4379

Connor, Richard and Lievens, David and Simeoni, Fabio and Neely, Steve and Russell, George (2002) Projector - a partially typed language for querying XML. In: PlanX Workshop on Programming Language Technologies for XML, 2002-10-03 - 2002-10-08, Pittsburgh, USA.

Connor, Richard and Mackenzie-Leigh, Stewart and Weir, George (2014) The forensic detection of very similar images. In: Cyberforensics 2014 - International Conference on Cybercrime, Security & Digital Forensics, 2014-06-23 - 2014-06-24, Glasgow.

Connor, Richard and Moss, Robert George (2012) A multivariate correlation distance for vector spaces. [Proceedings Paper]

Connor, Richard and Simeoni, Fabio and Iakovos, Michael and Moss, Robert George (2011) Towards a universal information distance for structured data. [Proceedings Paper]

Cooper, B. (2004) Reflections on the role and value of design in computer based learning materials in higher education. In: EdMedia, 2004-07-01, Lugano, Switzerland.

Cooper, C. and Vandam, K. (1994) To be (certain) or not to be (certain) - a feminist perspective on artificial-intelligence. In: Proceedings of the 5th IFIP conference on women, work and computerization: Breaking Old Boundaries, Building New Forms. Elsevier, pp. 157-169. ISBN 0-444-81927-4

Cooper, William (2004) Higher education, student diversity and entrepreneurship: implications for the development and use of computer based learning in entrepreneurship education. Piccola Impressa Small Business, 3. pp. 73-97.

Cress, U. and Wodzicki, K. and Bientzle, M. and Lingnau, A. (2011) CSCL for intellectually disabled pupils : stimulating interaction by using a floor control mechanism. International Journal of Computer-Supported Collaborative Learning, 6 (2). pp. 307-321. ISSN 1556-1607

Cresswell, S. and Coddington, A.M. (2004) Handling LTL formulas in a plan graph. In: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group, 2004-12-20 - 2004-12-21, Cork, Ireland.

Cresswell, S. and Coddington, A.M. (2003) Planning with timed literals and deadlines. In: Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow, Scotland.

Cresswell, S. and Fox, M. and Long, D. (2002) Extending {TIM} domain analysis to handle {ADL} constructs. In: AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, 2002-04-23 - 2002-04-27, Toulouse, France.

Cresswell, S. and Coddington, A. (2004) Adapting LPGP to plan with deadlines. [Proceedings Paper]

Cresswell, S. and Coddington, A.M. (2004) Compilation of LTL goal formulas into PDDL. In: European Conference on Artificial Intelligence (ECAI 2004), 2004-08-22 - 2004-08-27, Valencia, Spain.

Cresswell, S. and Fox, M. and Long, D. (2002) Extending TIM domain analysis to handle ADL constructs. In: UNSPECIFIED.

Cresswell, S. and Smaill, A. and Richardson, J. (1999) Deductive synthesis of recursive plans in linear logic. In: 5th European Conference on Planning (ECP 99), 1999-09-08 - 1999-09-10, Durham, England.

Crestani, F. (2003) Combination of Similarity Measures for Effective Spoken Document Retrieval. Journal of Information Science, 29 (2). pp. 87-96. ISSN 0165-5515

Crestani, F. and Dunlop, M. and Jones, M. and Jones, S. and Mizzaro, S. (2006) Theme issue on interactive mobile information access. Personal and Ubiquitous Computing, 10 (4). pp. 193-194. ISSN 1617-4909

Crestani, F. and Melucci, M. (2003) Automatic Construction of Hypertexts for Self-Referencing: the Hyper-TextBook Project. Information Systems, 28 (7). pp. 769-790. ISSN 0306-4379

Crestani, F. and Vegas, J. and de la Fuente, P. (2004) A graphical user interface for the retrieval of hierarchically structured documents. Information Processing and Management, 40 (2). pp. 269-289. ISSN 0306-4573

Crestani, Fabio and Ruthven, Ian (2007) Introduction to special issue on contextual information retrieval systems. Information Retrieval, 10 (2). pp. 111-113. ISSN 1386-4564

Crestani, Fabio and de la Fuente, Pablo and Vegas, Jesus (2001) Disegno de una Interfaz de Consulta para la Recuperacion de Documentos Estructurados. Revista Interamericana de Nuevas Tecnologias de la Informacion, 6 (3). pp. 8-23. ISSN 0122-3356

Crestani, F. and Ruthven, I. and Sanderson, M. and van Rijsbergen, C.J. (1995) The troubles with using a logical model of IR on a large collection of documents. In: Proceedings of the Fourth Text Retrieval Conference (TREC-4), 1995-11-01 - 1995-11-03, Maryland, USA.

Crestani, F. and de Campos, L. and Fernandez Luna, J. and Huete, J. (2003) Ranking structured documents using utility theory in the Bayesian network retrieval model. In: Proceedings of the SPIRE 2003, 2003-10-08 - 2003-10-19, Manaus, Brasil.

Crestani, F. and de Campos, L. and Fernandez Luna, J. and Huete, J. (2004) A multi-layered Bayesian network model for structured document retrieval. In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, 2003-07-02 - 2003-07-05, Aalborg, Denmark.

Crestani, Fabio and Mizzaro, S. and Jones, Matt (2004) Second international workshop on mobile and ubiquitous information access. [Proceedings Paper]

Currier, S. and Revie, C.W. and Tennis, J. (2004) Who says words are neutral and value free?: User-centred design of a web-based Library for human services educators. In: HUSITA7 - The 7th International Conference of Human Services Information Technology Applications. Haworth Press. ISBN 978-0-7890-3371-0

Curry, G.B. and Connor, R.C.H. (2008) Automated extraction of data from text using an xml parser: an earth science example using fossil descriptions. Geosphere, 4 (1). pp. 159-169.

D

D. Elsweiler, M. Baillie and Ruthven, I. (2011) What makes re-finding information difficult? A study of email re-finding. [Proceedings Paper]

Daeid, N N (2001) The development of interactive World Wide Web based teaching material in Forensic Science. British Journal of Educational Technology, 32 (1). pp. 105-108. ISSN 0007-1013

Dagand, Pierre-Evariste and McBride, Conor (2012) Transporting functions across ornaments. In: ICFP '12 Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. ACM, New York, NY, New York, pp. 104-113. ISBN 978-1-4503-1054-3

Dahal, Keshav and Galloway, Stuart and Burt, Graeme and McDonald, Jim and Hopkins, Ian (2003) A port system simulation facility with an optimisation capability. International Journal of Computational Intelligence and Applications (IJCIA), 3 (4). pp. 395-410. ISSN 1469-0268

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M. (1996) Evaluating inheritance depth on the maintainability of object-oriented software. Empirical Software Engineering, 1 (2). pp. 109-132. ISSN 1382-3256

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M. (1994) Verification of results in software maintenance through external replication. In: Proceedings of the IEEE International Conference on Software Maintenance. IEEE, Victoria, Canada, pp. 50-57.

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M. (1995) The effect of inheritance on the maintainability of object-oriented software: an empirical study. In: Proceedings of the IEEE International Conference on Software Maintenance. IEEE, pp. 20-29.

Daly, J. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1996) An empirical evaluation of object-oriented practioners' experiences. In: Empirical studies of programmers: sixth workshop, 1996-01-05 - 1996-01-07, Virginia, USA.

Daly, J. (1996) Replication and a multi-method approach to empirical software engineering research. PhD thesis, University Of Strathclyde.

Daly, J. and Brooks, A. and Miller, J. and Roper, M. and Wood, M. (1996) An empirical study evaluating depth of inheritance on the maintainability of object-oriented software. In: Empirical Studies of Programmers: Sixth Workshop. Intellect, pp. 39-58. ISBN 9781567502626

Damala, Areti and Schuchert, Tobias and Rodriguez, Isabel and Moragues, Jorge and Gilleade, Kiel and Stojanovic, Nenad (2013) Exploring the affective museum visiting experience: adaptive augmented reality (A²R) and cultural heritage. International Journal of Heritage in the Digital Era, 2 (1). pp. 117-141. ISSN 2047-4970

Darroch, Katherine and Weir, George (2014) Measuring sexually explicit content. In: Cyberforensics 2014 - International Conference on Cybercrime, Security & Digital Forensics, 2014-06-23 - 2014-06-24, Glasgow.

Davenport, C. and Weir, G.R.S. (1986) Plan recognition for intelligent advice and monitoring. In: People and Computers II: Designing for Usability, 1986-09-23 - 1986-09-26, York, UK.

Davies, John B. and Wallace, Brendan and Ross, Alastair and Wright, L. and White, M. (2002) The creation of a new minor event coding system. Cognition, Technology and Work, 4 (1). pp. 1-8. ISSN 1435-5558

Davies, Steven and Roper, Marc and Wood, Murray (2013) Comparing text-based and dependence-based approaches for determining the origins of bugs. Journal of Software: Evolution and Process, n/a (n/a). n/a. ISSN 2047-7481

Davies, Steven and Roper, Marc and Wood, Murray (2012) Using bug report similarity to enhance bug localisation. In: 19th Working Conference on Reverse Engineering, 2012-10-15 - 2012-10-18, Kingston, Ontario.

Davies, Steven and Roper, Marc and Wood, Murray (2011) A preliminary evaluation of text-based and dependency-based techniques for determining the origins of bugs. In: 18th Working Conference on Reverse Engineering (WCRE 2011). IEEE, pp. 201-210. ISBN 978-1-4577-1948-6

Denning, P. and McGettrick, A.D. (2005) Recentering Computer Science. Communications - ACM, 48 (11). pp. 15-19. ISSN 0001-0782

Ding, Y. and Chowdhury, G. and Foo, S. (2001) Bibliometric cartography of information retrieval research by using co-word analysis. Information Processing and Management, 37 (6). pp. 817-842. ISSN 0306-4573

Dixon, Lucas and Duncan, Ross (2009) Graphical reasoning in compact closed categories for quantum computation. Annals of Mathematics and Artificial Intelligence, 56 (1). pp. 23-43. ISSN 1012-2443

Dobson, S. and Nixon, P. (2004) More principled design of pervasive computing systems. In: Engineering Human Computer Interaction and Interactive Systems. Lecture Notes in Computer Science, 3425 . Springer, pp. 292-305. ISBN 978-3-540-26097-4

Donaldson, A.F. and Gregory, P. (2005) Almost-Symmetry in Search. [Report]

Donaldson, A. and Gregory, P. and Petrie, K. (2007) Symmetry in constraint satisfaction problems. [Proceedings Paper]

Dong, Changyu and Chen, Liqun and Camenisch, Jan and Russello, Giovanni (2013) Fair private set intersection with a semi-trusted arbiter. [Proceedings Paper]

Dong, Changyu and Chen, Liqun and Wen, Zikai (2013) When private set intersection meets big data : an efficient and scalable protocol. In: Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security. ACM, New York, pp. 789-800. ISBN 9781450324779 (In Press)

Dong, Changyu and Dulay, Naranker (2011) Argumentation-based fault diagnosis for home networks. In: 2nd ACM SIGCOMM workshop on Home networks, 2011-08-15.

Dong, Changyu and Dulay, Naranker (2010) Shinren : Non-monotonic trust management for distributed systems. [Proceedings Paper]

Dong, Changyu and Russello, Giovanni and Dulay, Naranker (2011) Shared and searchable encrypted data for untrusted servers. Journal of Computer Security, 19 (3). pp. 367-397. ISSN 0926-227X

Du, H. and Crestani, F. (2004) Spoken versus written queries for mobile information access. [Proceedings Paper]

Du, H. and Crestani, F. (2004) Retrieval effectiveness of written and spoken queries: an experimental evaluation. In: 6th International Conference On Flexible Query Answering Systems, 2004-06-24 - 2004-06-26, Lyon, France.

Du, H. and Crestani, F. (2004) Spoken versus written queries for mobile information access. In: 1st International Joint Conference on Natural Language Processing, 2004-03-22 - 2004-03-24, China.

Dubai, A.A. and Ould-Khaoua, M. and Ferguson, J.D. (2004) QoS aware broadcast communication algorithm for multicomputer interconnections. In: Proceedings of the 5th Annual PostGraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting, 2004-06-28 - 2004-06-29, Peter Jost Enterprise Centre.

Dukes, Mark and Deng, Eva and Mansour, Toufik and Wu, Susan (2009) Symmetric Schröder paths and restricted involutions. Discrete Mathematics, 309 (12). pp. 4108-4115. ISSN 0012-365X

Dukes, Mark and Gardi, Einan and Steingrimsson, Einar and White, Chris (2013) Web worlds, web-colouring matrices, and web-mixing matrices. Journal of Combinatorial Theory Series A, 120 (5). pp. 1012-1037. ISSN 0097-3165

Dukes, Mark and Jelínek, Vit and Kubitzke, Martina (2011) Composition matrices, (2+2)-free posets and their specializations. The Electronic Journal of Combinatorics, 18 (1).

Dukes, Mark and Jelínek, Vit and Mansour, Toufik and Reifegerste, Astrid (2009) New equivalences for pattern avoidance for involutions. Proceedings of the American Mathematical Society, 137 (2). pp. 457-465. ISSN 0002-9939

Dukes, Mark and Kitaev, Sergey and Remmel, Jeffrey and Steingrimsson, Einar (2011) Enumerating (2+2)-free posets by indistinguishable elements. Journal of Combinatorics, 2 (1). pp. 139-163.

Dukes, Mark and Le Borgne, Yvan (2013) Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial. Journal of Combinatorial Theory Series A, 120 (4). pp. 816-842. ISSN 0097-3165

Dukes, Mark and Parviainen, Robert (2010) Ascent sequences and upper triangular matrices containing non-negative integers. The Electronic Journal of Combinatorics, 17 (1).

Dukes, Mark and Reifegerste, Astrid (2010) The area above the Dyck path of a permutation. Advances in Applied Mathematics, 45 (1). pp. 15-23. ISSN 0196-8858

Duncan, H. and Bundy, A. and Levine, J. and Storkey, A. and Pollet, M. (2004) The use of data-mining for the automatic formation of tactics. [Proceedings Paper]

Duncan, Paul and Steingrimsson, Einar (2011) Pattern avoidance in ascent sequences. The Electronic Journal of Combinatorics, 18 (1). ISSN 1077-8926

Duncan, Ross and Perdrix, Simon (2010) Rewriting measurement-based quantum computations with generalised flow. [Proceedings Paper]

Dunlop, M.D. and Taylor, F. (2009) Tactile feedback for predictive text entry. [Proceedings Paper]

Dunlop, Mark and Morrison, Alison and McCallum, Stephen and Ptaskinski, Piotr and Risbey, Chris and Stewart, Fraser (2004) Focussed palmtop information access combining starfield displays with profile-based recommendations. In: Lecture Notes in Computer Science. Lecture Notes in Computer Science, 2954 . Springer Berlin / Heidelberg, pp. 352-355. ISBN 978-3-540-21003-0

Dunlop, M. and Masters, M.M. (2008) Investigating five key predictive text entry with combined distance and keystroke modelling. Personal and Ubiquitous Computing, 12 (8). pp. 589-598. ISSN 1617-4909

Dunlop, M. D. and Baillie, M. (2009) Paper Rejected (p>0.05): An introduction to the debate on appropriateness of null-hypothesis testing. International Journal of Mobile Human Computer Interaction, 1 (3).

Dunlop, M.D. (2000) Development and evaluation of clustering techniques for finding people. In: Proceedings of the Third International on Practical Aspects of Knowledge Management. CEUR Workshop Proceedings . CEUR-WS.org, Basel, Switzerland.

Dunlop, M.D. (2000) Reflections on Mira: interactive evaluation in information retrieval. Journal of the American Society for Information Science and Technology, 51 (14). pp. 1269-1274. ISSN 1532-2882

Dunlop, M.D. and Brewster, S.A. (2002) The challenges of mobile devices for human computer interaction (editorial for special edition). Personal and Ubiquitous Computing, 6 (4). pp. 235-236. ISSN 1617-4909

Dunlop, M.D. and Crossan, A. (2000) Predictive text entry methods for mobile phones. Personal Technologies, 4 (2). ISSN 0949-2054

Dunlop, M.D. and Davidson, N. (2000) Visual information seeking on palmtop devices. In: People and Computers XIV - Usability or Else!: Proceedings of HCI 2000. Springer, London, United Kingdom, pp. 19-20. ISBN 1852333189

Dunlop, M.D. and Lalmas, M. (2000) Formal models, usability and related work in IR (editorial for special edition). Information Retrieval, 2 (1). ISSN 1386-4564

Dunlop, M.D. and Masters, M. Montgomery (2009) Pickup usability dominates: a brief history of mobile text entry research and adoption. International Journal of Mobile Human Computer Interaction, 1 (1). pp. 42-59. ISSN 1942-390X

Dunlop, M.D. and McDonald, K. (2000) Supporting different search strategies in a video query interface. In: Proceedings of RIAO 2000 on Content-Based Multimedia Information Access. Kluwer. ISBN 2-905450-07-X

Dunlop, M.D. and Morrison, Alison and McCallum, Stephen and Ptaskinski, Piotr and Risbey, Chris and Stewart, Fraser (2004) Focussed palmtop information access combining starfield displays and profile-based recommendations. In: Proceedings of workshop on Mobile and Ubiquitous Information Access. Lecture Notes in Computer Science, 2954 . Springer, pp. 79-89. ISBN 3540210032

Dunlop, Mark and Komninos, Andreas and Durga, Naveen (2014) Towards high quality text entry on smartwatches. In: CHI, 2014-04-26. (In Press)

Dunlop, Mark and Levine, John (2012) Multidimensional Pareto optimization of touchscreen keyboards for speed, familiarity and improved spell checking. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, New York, pp. 2669-2678. ISBN 978-1-4503-1015-4

Dunlop, Mark and Motaparti, Sunil and Dona, Prima and Durga, naveen and De Meo, Roberto (2012) OpenAdaptxt: an open source enabling technology for high quality text entry. In: CHI 2012 Workshop on Designing and Evaluating Text Entry Methods, 2012-05-05 - 2012-05-05, Austin.

Dunlop, Mark D. (2004) Watch-top text-entry: can phone-style predictive text-entry work with only 5 buttons? In: Proceedings of the 6th International Symposium on Human Computer Interaction with Mobile Devices and Services (Mobile HCI 2004). Lecture Notes in Computer Science, 3160/2004 . Springer, pp. 342-346. ISBN 978-3-540-23086-1

Dunlop, Mark D. and Glen, Andrew and Motaparti, Sunil and Patel, Sanjay (2006) AdapTex: contextually adaptive text entry for mobiles. In: Proceedings of the 8th Conference on Human-Computer interaction with Mobile Devices and Services: MobileHCI 06, 2006-09-12 - 2006-09-15, Espoo, Finland.

Dunlop, Mark D. and Ptaskinski, Piotr and Morrison, Alison and McCallum, Stephen and Risbey, Chris and Stewart, Fraser (2004) Design and development of Taeneb City Guide - from paper maps and guidebooks to electronic guides. In: Proceedings of Enter 2004. Springer.

Dunsmore, A. and Roper, M. and Wood, M. (2003) The Development and evaluation of three diverse techniques for object-oriented code inspection. IEEE Transactions on Software Engineering, 29 (8). pp. 677-686. ISSN 0098-5589

Dunsmore, A. and Roper, M. and Wood, M. (2002) Further investigations into the development and evaluation of reading techniques for object-oriented code inspection. In: 24th International Conference on Software Engineering, 2002-05-19 - 2002-05-25, Orlando.

Dunsmore, A. and Roper, M. and Wood, M. (2000) Object-oriented inspection in the face of delocalisation. In: 22nd International Conference on Software Engineering, 2000-06-04 - 2000-06-11, Limerick.

Dunsmore, A. and Roper, M. and Wood, M. (2003) Practical Code Inspection Techniques for Object-Oriented Systems: An Experimental Comparison. IEEE Software, 20 (4). pp. 21-29. ISSN 0740-7459

Dunsmore, A. and Roper, M. and Wood, M. (2000) The Role of Comprehension in Software Inspection. Journal of Systems and Software, 52 (2-3). pp. 121-129. ISSN 0164-1212

Dunsmore, A. and Roper, M. and Wood, M. (2001) Systematic object-oriented inspection - an empirical study. In: 23rd International Conference on Software Engineering, 2001-05-12 - 2001-05-19, Toronto.

Dunsmore, A. (2002) Investigating Effective Inspection of Object-Oriented Code. PhD thesis, University Of Strathclyde.

E

Ebner, Marc and Levine, John and Lucas, Simon M. and Schaul, Tom and Thompson, Tommy and Togelius, Julian (2013) Towards a video game description language. In: Artificial and Computational Intelligence in Games. Dagstuhl Follow-ups, 6 . Dagstuhl Publishing, Wadern, pp. 85-100. ISBN 9783939897620 (In Press)

Egan, M. and Petticrew, M. and Ogilvie, D. and Hamilton, V. (2003) New roads and human health: a systematic review. American Journal of Public Health, 93 (9). pp. 1463-1471. ISSN 0090-0036

Eichhorn, E. and Wettach, R. and Hornecker, E. (2008) A stroking device for spatially separated couples. [Proceedings Paper]

El Batran, Karim Mohsen Mahmoud and Dunlop, Mark (2013) Pareto optimized arabic mobile keyboard layout. In: CHI 2013 Workshop on Grand Challenges in Text Entry, 2013-04-30.

Elsweiler, D. and Baillie, M. and Ruthven, I. (2009) On understanding the relationship between recollection and refinding. Journal of Digital Information, 10 (5). ISSN 1368-7506

Elsweiler, D. and Ruthven, I. and Ma, L. (2006) Considering human memory in PIM. In: SIGIR 2006 Workshop on Personal Information Management, 2006-08-10 - 2006-08-11, Seattle, USA.

Elsweiler, David and Ruthven, Ian and , EPSRC (Funder) (2007) Towards task-based personal information management evaluations. In: Proceedings of the 30th Annual International ACM SIGIR conference on Research and Development in Information Retrieval. ACM. ISBN 978-1-59593-597-7

Elsweiler, David and Ruthven, Ian and Jones, Christopher (2005) Dealing with fragmented recollection of context in information management. In: Context-Based Information Retrieval (CIR-05) Workshop in Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05), 2005-07-05, Paris, France.

England, D. and Hornecker, E. and Roast, C. and Romero, P. and Fergus, P. and Marshall, P. (2009) Whole body interaction. [Proceedings Paper]

English, C. and Terzis, S. and Wagealla, W. (2004) Engineering trust based collaborations in a global computing environment. In: Second International Conference on Trust Management, 2004-03-29 - 2004-04-01, Oxford.

English, C. and Nixon, P. and Terzis, S. and McGettrick, A. and Lowe, H. (2002) Dynamic trust models for ubiquitous computing environments. In: First Workshop on Security in Ubiquitous Computing at the Fourth Annual Conference on Ubiquitous Computing (Ubicomp2002), 2002-09-29 - 2002-10-01, Gothenburg, Sweden.

English, C. and Nixon, P. and Terzis, S. and McGettrick, A. and Lowe, H. (2002) Security models for trusting network appliances. In: 5th IEEE International Workshop on Networked Appliances, 2002-10-30 - 2002-10-31, Liverpool.

English, C. and Terzis, S. (2006) Gathering experience in trust-based interactions. In: Proceedings of 4th International Conference on Trust Management. Lecture Notes in Computer Science . Springer, pp. 62-76. ISBN 3540342958

English, C. and Terzis, S. and Nixon, P. (2005) Towards self-protecting ubiquitous systems: monitoring trust-based interactions. Personal and Ubiquitous Computing, 10 (1). ISSN 1617-4909

English, C. and Wagealla, W. and Nixon, P. and Terzis, S. and McGettrick, A. and Lowe, H. (2003) Trusting collaboration in global computing systems. In: Trust Management. Lecture Notes in Computer Science, 2692 . Springer, pp. 136-149. ISBN 978-3-540-40224-4

English, C. and Wagealla, W. and Terzis, S. and Lowe, H. and McGettrick, A. and Nixon, P. (2003) Trust dynamics for collaborative global computing. In: IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2003): Eighth International Workshop on Enabling Technologies, 2003-06-09 - 2003-06-11, Linz, Austria.

Estivill-Castro, V. and Parsa, M. (2013) On connected two communities. In: Proceedings of Computer Science 2013 (ACSC 2013). Conferences in Research and Practice in Information Technology, 135 . Australian Computer Society Inc., Adelaide, Australia, pp. 23-30.

Estivill-Castro, V. and Parsa, M. (2012) On the parameterized complexity of dominant strategies. In: Proceedings of Computer Science 2012 (ACSC 2012). Conferences in Research and Practice in Information Technology, 122 . Australian Computer Society Inc., Melbourne, Australia, pp. 21-26.

Estivill-Castro, V. and Parsa, M. (2011) Single parameter FPT-algorithms for non-trivial games. In: Combinatorial Algorithms. Lecture Notes in Computer Science . Springer, pp. 121-124. ISBN 9783642192210

Estivill-Castro, Vladimir and Parsa, Mahdi (2009) Computing nash equilibria gets harder : new results show hardness even for parameterized complexity. In: Proceedings of the 15th Computing Australasian Theory Symposium (CATS 2009). CRPIT, 94 . ACS, Wellington, New Zealand, pp. 81-87.

Etaher, Najla and Weir, George (2014) Understanding the threat of banking malware. In: Cyberforensics 2014 - International Conference on Cybercrime, Security & Digital Forensics, 2014-06-23 - 2014-06-24, Glasgow.

Everett, James and Macgregor, George and Cullen, Donna (2013) Principles in Patterns (PiP) : Institutional Approaches to Curriculum Design Institutional Story. [Report]

F

Farrugia, P. and Borg, J. and Camilleri, K. and Giannini, F. and Yan, X.T. (2005) Extracting 3D shape models and related life knowledge from paper-based sketches. International Journal of Computer Applications in Technology, 23 (2/3/4). pp. 120-137. ISSN 0952-8091

Ferguson, J.D. and McGettrick, A. and Smeed, D. (1999) Quality Issues in a Virtual University. In: Proceedings of IASTED International Conference on Computers and Advanced Technology in Education, CATE '99, 1999-05-05 - 1999-05-08, Philadelphia, Pennsylvania, USA.

Ferguson, J.D. and McGettrick, A. and Wilson, J. and Weir, G.R.S. (2002) Reengineering for quality on-line. In: Computers and Advanced Technology in Education, 2002-05-20 - 2002-05-22, Cancun.

Ferguson, J.D. and Min, G. and Ould-Khaoua, M. (2001) Analysis of adaptive wormhole-routed torus networks with IPP input traffic. In: Proceedings of the 2001 ACM symposium on Applied computing. ACM, New York, USA, pp. 494-498. ISBN 1-58113-287-5

Ferguson, J.D. and Mohamed, R. and Weir, G.R.S. and Wilson, J. (2002) Professional Development On-line. In: Proceedings of Computers and Advanced Technology in Education (CATE 2002). Acta Press.

Ferguson, J.D. and Wilson, J. and Weir, G.R.S. (2003) Online learning: towards enabling choice. In: Proceedings of the International Conference on Teaching and Learning in Higher Education, (ICHed2003). IEEE.

Ferguson, John D. and Mohamed, Rehman and Weir, George and Wilson, John and McGregor, Douglas R. and McGregor, Myrtle E. and Sutherland, Eric R.M. (2004) Making a difference - the appropriate use of web technology. In: Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2004. AACE, Virginia, USA, pp. 5364-5369.

Ferguson, John D. and Wilson, John N. (2001) Process re-design and online learning. International Journal of Educational Technology, 2 (2). ISSN 1327-7308

Fischer, P. T. (2010) SMSlingshot a shared encounter in urban space. University of Strathclyde.

Fischer, P. T. and Zöllner, C. (2010) Screen grab. InAVate. 14 - 15.

Fischer, P. T. and Zöllner, C. and Hoffmann, T. and Piatza, S. (2010) VR/Urban: SMSlingshot. [Proceedings Paper]

Fischer, P. T. and Zöllner, C. and Hornecker, E. (2010) VR/Urban: spread.gun - design process and challenges in developing a shared encounter for media façades. [Proceedings Paper]

Fischer, Patrick Tobias and Hornecker, Eva (2012) Urban HCI : spatial aspects in the design of shared encounters for media facades. In: Proceedings of the 2012 ACM Annual Conference on Human Factors in Computing Systems. ACM, New York, pp. 307-316. ISBN 978-1-4503-1015-4

Fletcher, Steven and Norman, Patrick and Fong, Chung Man and Galloway, Stuart and Burt, Graeme (2014) High speed differential protection for smart DC distribution systems. IEEE Transactions on Smart Grid. ISSN 1949-3053 (In Press)

Fongen, A. and Eliassen, F. and Ferguson, I. and Stobart, S. and Tait, J. (2001) Distributed resource discovery using a context sensitive infrastructure. In: Proceedings of the Third International Conference on Information Integration and Web-based Applications and Services (IIWAS). IOS Press. ISBN 3854031505

Fongen, A. and Eliassen, F. and Ferguson, I. and Stobart, S. and Tait, J. (2002) A scalable and fault-tolerant architecture for distributed web-resource discovery. In: Proceedings of the 14th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2002). Acta Press, Cambridge, USA.

Forsyth, A.J. and Gettinby, G. and Revie, C. (1992) Integrating hypertext and expert systems: a hybrid information system for the domain of animal trypanosomiasis. In: Intelligent Library Systems. Riverina: Centre for Information Studies, Australia, pp. 175-196.

Foster, Catherine and Mcmenemy, David (2012) Do librarians have a shared set of values? A comparative study of 36 codes of ethics based on Gorman's Enduring Values. Journal of Librarianship and Information Science, 44 (4). pp. 249-262. ISSN 0961-0006

Fox, M. and Howey, R. and Long, D. (2005) Validating plans in the context of processes and exogenous events. In: Proceedings of the Twentieth National Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI). ISBN 978-1-57735-236-5

Fox, M. and Long, D. (2002) Fast temporal planning in a Graphplan framework. In: Proceedings of AIPS Workshop on Planning for Temporal Domains, 2002-04-23 - 2002-04-27, Toulouse, France.

Fox, M. and Long, D. (2006) Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research, 27. pp. 235-297. ISSN 1076-9757

Fox, M. and Long, D. (2005) Time in planning. In: Handbook of Temporal Reasoning in AI. Foundations of Artificial Intelligence, 1 . Elsevier Science, pp. 497-537. ISBN 0-444-51493-7

Fox, M. and Long, D. (1999) The detection and exploitation of symmetry in planning problems. In: Proceedings of IJCAI'99, 1999-07-31 - 1999-08-06, Stockholm, Sweden.

Fox, M. and Long, D. (1996) An efficient algorithm for managing partial orders in planning. SIGART Newsletter, 7 (4). pp. 3-12. ISSN 0163-5719

Fox, M. and Long, D. (2002) The third international planning competition: temporal and metric planning. In: Proceedings of AIPS'02, 2002-04-25 - 2002-04-27, Toulouse, France.

Fox, M. and Long, D. and Halsey, K. (2004) An investigation into the expressive power of PDDL2.1. In: 16th European Conference on Artificial Intelligence (ECAI), 2004-08-22 - 2004-08-27, Valencia, Spain.

Fox, M. and Long, D. and Porteous, J. (2007) Discovering near symmetry in graphs. In: Proceedings of AAAI 2007. Association for the Advancement of Artificial Intelligence. ISBN 978-1-57735-323-2

Fox, M. and Gerevini, A. and Long, D. and Serina, I. (2006) Plan stability: replanning versus plan repair. In: Proceedings of International Conference on AI Planning and Scheduling (ICAPS). AAAI Press. ISBN 978-1-57735-270-9

Fox, M. and Ghallab, M. and Infantes, G. and Long, D. (2006) Robot introspection through learned hidden Markov models. Artificial Intelligence, 170 (2). pp. 59-113. ISSN 0004-3702

Fox, M. and Gough, J. and Long, D. (2007) Detecting execution failures using learned action models. In: Proceedings of AAAI 2007. Association for the Advancement of Artificial Intelligence. ISBN 978-1-57735-323-2

Fox, M. and Gough, J. and Long, D. (2006) Using learned action models in execution monitoring. In: 25th Workshop of the UK Planning and Scheduling Special Interest Group, 2006-12-14 - 2006-12-15, Nottingham.

Fox, M. and Howey, R. and Long, D. (2005) Exploration of the Robustness of Plans. In: Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of, 2005-06-05 - 2005-06-10, Monterey, California, U.S.A..

Fox, M. and Long, D. (2002) Extending the exploitation of symmetries in planning. In: Proceedings of Sixth International Conference on AI Planning and Scheduling, 2002-04-23 - 2002-04-27, Toulouse, France.

Fox, M. and Long, D. (2001) Hybrid STAN: Identifying and managing combinatorial optimisation sub-problems in planning. In: Proceedings of International Joint Conference on Artificial Intelligence, 2001-08-04 - 2001-08-10, Seattle, Washington, USA.

Fox, M. and Long, D. (2003) PDDL2.1: An extension of PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20. pp. 61-124. ISSN 11076-9757

Fox, M. and Long, D. (2001) STAN4: a hybrid planning strategy based on subproblem abstraction. AI Magazine, 22 (3). pp. 102-111. ISSN 0738-4602

Fox, M. and Long, D. (2000) Utilizing automatically inferred invariants in graph construction and search. In: 5th International Conference on Artificial Intelligence Planning Systems, 2000-04-14 - 2000-04-17, Breckenridge, CO.

Fox, M. and Long, D. (1998) The automatic inference of state invariants in TIM. Journal of Artificial Intelligence Research, 9. pp. 367-421. ISSN 11076-9757

Fox, M. and Long, D. and Baldwin, L. and Wilson, G. and Wood, M. and Jameux, D. and Aylett, R. (2006) On-board timeline validation and repair: a feasibility study. In: Proceedings of 5th International Workshop on Planning and Scheduling in Space, 2006-10-22 - 2006-10-25, Baltimore, USA.

Fox, M. and Long, D. and Porteous, J. (2005) Abstraction-based action ordering in planning. In: Proceedings of the International Joint Conferences on Artificial Intelligence (IJCAI-05). IJCAI.

Fox, M. and Long, D. and Py, F. and Rajan, K. and Ryan, J. (2007) In situ analysis for intelligent control. In: MTS/IEEE Oceans 2007, 2007-10-02 - 2007-10-03, Vancouver, Canada.

G

GONZALEZ, E B and DAEID, N N and NOLAN, K B (1994) Complex formation between transition metal ions and salicylglycine, a metabolite of aspirin. Polyhedron, 13 (10). pp. 1495-1499. ISSN 0277-5387

Galea, M. and Humphreys, D. and Levine, J. and Westerberg, H. (2009) Evolutionary-based learning of generalised policies for AI planning domains. [Proceedings Paper]

Garrido, A. and Fox, M. and Long, D. (2002) A temporal planning system for durative actions of PDDL2.1. In: Proceedings of ECAI'02, 2002-07-21 - 2002-07-26, Lyon, France.

Garrido, A. and Long, D. (2004) Planning with numeric variables in multi-objective planning. In: Proceedings of ECAI'04, 2004-08-22 - 2004-08-27, Valencia, Spain.

Gejadze, I.Y. and Monnier, J. (2007) On a 2D 'zoom' for the 1D shallow water model: coupling and data assimilation. Computer Methods in Applied Mechanics end Engineering, 196 (45-48). pp. 4628-4643. ISSN 0045-7825

Gerevini, A.E. and Haslum, P. and Long, D. and Saetti, A. and Dimopoulos, Y. (2009) Deterministic planning in the fifth international planning competition: pddl3 and experimental evaluation of the planners. Artificial Intelligence, 173 (5-6). pp. 619-668. ISSN 0004-3702

Gerevini, A. and Long, D. (2006) Preferences and soft constraints in PDDL3. In: ICAPS Workshop on Planning with Preferences and Soft Constraints, 2006-06-06, Glasgow.

Gettinby, G. and Byrom, W. (1991) Weather-based computer experiments on parasites. Preventive Veterinary Medicine, 11 (3-4). pp. 293-308. ISSN 0167-5877

Gettinby, G. and McKenzie, E. and McCart, K. and Revie, C.W. (2003) Time-series models of sea lice Caligus elongatus (Nordmann) abundance on Atlantic salmon Salmo salar L. in Loch Sunart, Scotland. In: 6th International Conference on Sea Lice Biology and Control, 2003-07-01 - 2003-07-04, St Andrews.

Gettinby, G. and Revie, C. and Forsyth, A.J. (1992) Modelling: a review of systems and approaches for vector-transmitted and other parasitic diseases in developing countries. In: Modelling vector-borne and other parasitic diseases: Proceedings of a workshop organised jointly by the International Laboratory for Research on Animal Diseases and the Food and Agriculture Organisation of the United Nations, 1992-11-23 - 1992-11-27, Nairobi, Kenya.

Ghani, Neil and Johann, Patricia and Fumex, Clement (2010) Fibrational induction rules for initial algebras. [Proceedings Paper]

Ghani, Neil and Malatesta, Lorenzo and Forsberg, Fredrik and Setzer, Anton (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, New York, pp. 243-252. ISBN 9781479904136

Gibb, F. and Buchanan, S. (2006) A framework for business continuity management. International Journal of Information Management, 26 (2). pp. 128-141. ISSN 0268-4012

Gibb, F. (2002) Resource selection and data fusion for multimedia international digital libraries: an overview of the MIND project. In: Proceedings of the EU/NSF All Projects Meeting. ERCIM, pp. 51-56.

Gillespie, G. and McGregor, P.G. and Swales, J.K. and Yin, K.Y. (2001) The impact of an expansion in electronics developmental FDI on the Scottish economy. Quarterly Economic Commentary, 26 (1). pp. 39-49. ISSN 0306-7866

Glassey, R. (2004) Location spoofing. In: Proceedings of the 2nd Workshop on Location-aware Computing, UbiComp 2004, 2004-09-07 - 2004-09-10, Nottingham, England.

Glassey, R. and Ferguson, R.I. (2003) Modeling location for pervasive environments. In: 1st UK-UbiNet Workshop, 2003-09-25 - 2003-09-26, London, England.

Glassey, R. and Ferguson, R.I. (2003) SpaceSemantics: an architecture for modeling environments. In: Proceedings of the 1st Workshop on Location-aware Computing, Ubicomp 2003, 2003-10-12, Seattle, USA.

Glassey, R. and Stevenson, G. and Richmond, M. and Nixon, P. and Terzis, S. and Wang, F. and Ferguson, R.I. (2003) Towards a middleware for generalised context management. In: First International Workshop on Middleware for Pervasive and Ad Hoc Computing, Middleware 2003, 2003-06-17, Rio de Janeiro, Brazil.

Glassey, Richard and Stevenson, Graeme and Ferguson, Robert Ian (2007) Decentralised discovery of mobile objects. Information and Media Technologies, 2 (3). pp. 860-868. ISSN 1881-0896

Glen, Amy and Halldorsson, Bjarni and Kitaev, Sergey (2010) Crucial abelian k-power-free words. Discrete Mathematics and Theoretical Computer Science, 12 (5). pp. 83-96.

Glesk, Ivan (2008) What comes next in data communications? In: Proceedings of SPIE - The International Society for Optical Engineering. SPIE, p. 714106. ISBN 9780819473837

Glisson, W.B. and Chowdhury, G. (2002) Design of a digital dissertation information management system. Program, 36 (3). pp. 152-165. ISSN 0033-0337

Gonzalez, O. and Stuart, A.M. and Higham, D.J. (1999) Qualitative properties of modified equations. IMA Journal of Numerical Analysis, 19 (2). pp. 169-190. ISSN 0272-4979

Goodfellow, Martin and Wilson, John and Hunt, Ela (2010) Biochemical network matching and composition. [Proceedings Paper]

Goodfellow, Martin and Wilson, John and Hunt, Ela (2010) Composition of biochemical networks using domain knowledge. [Proceedings Paper]

Gough, J. (2003) Executing opportunistic plans under uncertainty. In: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow.

Gough, J. and Fox, M. and Long, D. (2004) Plan execution under resource consumption uncertainty. In: Proceedings of the Workshop on Connecting Planning Theory with Practice at 13th International Conference on Automated Planning and Scheduling (ICAPS'04), 2003-06-09 - 2003-06-13, Trento, Italy.

Gourlay, R. and Tripney, B. and Wilson, J. (2007) Compressed materialised views of semi-structured data. In: Proceedings of the 24th British National Conference on Databases. IEEE, Glasgow, United Kingdom, pp. 75-82. ISBN 0-7695-2912-7

Gourlay, R.S. (2006) Designing a resource-efficient data structure for mobile data systems. In: 23rd British National Conference on Databases: PhD Forum, 2006-07-18 - 2006-07-20, Belfast, UK.

Greene, Margaret and McMenemy, David (2012) The emergence and impact of neoliberal ideology on UK public library policy, 1997-2010. In: Library and Information Science Trends and Research: Europe. Library & Information Science . Emerald Group Publishing Limited, pp. 13-41. ISBN 9781780527147

Gregory, P. and Fox, M. and Long, D. (2008) A new empirical study of weak backdoors. In: 14th International Conference on Principles and Practice of Constraint Programming, 2008-09-01, Sydney, Australia.

Gregory, Peter and Miller, Alice and Prosser, Patrick (2004) Solving the rehearsal problem with planning and model checking. In: Proceedings of ECAI'04 Workshop on Modelling and Solving Problems with Constraints, 2004-08-22 - 2004-08-27, Valencia, Spain.

Gregory, P. and Cresswell, S. and Long, D. and Porteous, J. (2004) On the extraction of disjunctive landmarks from planning problems via symmetry reduction. In: Proceedings of SymCon'04: The 4th International Workshop on Symetry and Constraint Satisfaction Problems. Springer, pp. 34-41.

Gregory, Peter and Long, Derek and Fox, Maria (2007) A meta-CSP model for optimal planning. In: Seventh Symposium on Abstraction, Reformulation and Approximation (SARA), 2007-07-18 - 2007-07-21, Whistler, Canada.

Griffiths, D.F. and Higham, D.J. (2000) MacCormack's method for advection-reaction equations. Computational Fluid Dynamics Journal, 9 (1). ISSN 0918-6654

Grindley, N. and Kilbride, W. and McDonald, D. and Walters, T. (2010) How Green is Digital Preservation? In: UNSPECIFIED.

Gu, Y. and Gettinby, G. and McKendrick, I. and Peregrine, A. and Revie, C. (1996) TrypsChemo: Decision support for chemotherapy of Bovine Trypanosomiasis in Africa. In: Proceedings of the International Conference on Intelligent Information Management Systems, 1996-06-05 - 1996-06-07, Washington, DC, USA.

Gu, Y. and Revie, C. and McKendrick, I. and Gettinby, G. (1997) Integration of mathematical and information modelling approaches for decision support in African production and health systems. In: Towards Livestock Disease Control in the 21st Century, Proceedings of an International Symposium on Diagnosis and Control of Livestock Diseases using Nuclear and Related Techniques, 1997-04-07 - 1997-04-11, Vienna, Austria.

Gu, Y. and Gettinby, G. and McKendrick, Iain and Murray, M. and Peregrine, A. and Revie, C.W. (1999) Development of a decision support system for trypanocidal drug control of bovine trypanosomosis in Africa. Veterinary Parasitology, 87 (1). pp. 9-23. ISSN 0304-4017

Gundry, Adam and Mcbride, Conor and McKinna, James (2010) Type inference in context. [Proceedings Paper]

H

Haahr, M. and Meier, R. and Nixon, P. and Cahill, V. and Jul, E. (2000) Filtering and scalability in the ECO distributed event model. In: 5th International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE 2000), 2000-06-10 - 2000-06-11, Limerick, Ireland.

Hall, G. and Higham, D.J. (1988) Analysis of stepsize selection schemes for Runge-Kutta codes. IMA Journal of Numerical Analysis, 8 (3). pp. 305-310. ISSN 0272-4979

Halldorsson, Magnus and Kitaev, Sergey and Pyatkin, Artem (2011) Alternation graphs. [Proceedings Paper]

Halloran, J. and Hornecker, E. and Stringer, M. and Harris, E. and Fitzpatrick, G. (2009) The value of values : an approach to resourcing co-design of UbiComp. CoDesign: international journal of cocreation in design and the arts, 5 (4). pp. 245-273.

Halsey, K. and Long, D. and Fox, M. (2004) CRIKEY - a temporal planner looking at the integration of scheduling and planning. In: Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), 2003-06-09 - 2003-06-13, Trento, Italy.

Halsey, K. and Long, D. and Fox, M. (2003) Isolating where planning and scheduling interact. In: Proceedings of the 22nd UK Planning and Scheduling Special Interest Group (PlanSIG'03), 2003-12-09 - 2003-12-10, Glasgow, Scotland.

Halsey, K. (2003) Temporal planning with a non-temporal planner. In: Proceedings of the Doctoral Consortium Workshop at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), 2003-06-09 - 2003-06-13, Trento, Italy.

Halsey, K. (2002) An initial investigation into searching to satisfy soft temporal constraints. In: Proceedings of the 21st UK Planning and Scheduling Special Interest Group (PlanSIG), 2002-11-01, Delft, The Netherlands.

Halsey, K. and Long, D. and Fox, M. (2004) Multiple relaxations in temporal planning. In: 16th European Conference on Artificial Intelligence, 2004-08-23 - 2004-08-27, Valencia.

Hancock, P. and Pattinson, D. and Ghani, N. (2009) Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5 (3).

Hansen, Helle Hvid and Kupke, Clemens and Pacuit, Eric (2009) Neighbourhood structures : bisimilarity and basic model theory. Logical Methods in Computer Science, 5 (2). ISSN 1860-5974

Harman, M. and Hu, L. and Hierons, R. and Wegener, J. and Sthamer, H. and Baresel, A. and Roper, R.M. (2004) Testability transformation. IEEE Transactions on Software Engineering, 30 (1). ISSN 0098-5589

Harman, M. and Baresel, A. and Binkley, D. and Hierons, R. M. and Hu, L. and Korel, B. and McMinn, P. and Roper, M. (2008) Testability transformation - program transformation to improve testability. [Proceedings Paper]

Harmandas, V. and Sanderson, M. and Dunlop, M.D. (1997) Image retrieval by hypertext links. In: Proceedings of the 20th Annual International ACM SIGIR conference on Research and development in Information Retrieval. ACM, pp. 295-303. ISBN 0-89791-836-3

Harris, Rachel and Bolander, Klara and Lebrun, Marcel and Docq, Françoise and Bouvy, M (2004) Linking perceptions of control and signs of engagement in the process and content of collaborative e-learning. [Proceedings Paper]

Harris, Rachel and Hall, John and Muirhead, Alison and McAteer, Erica and Schmoller, Seb and Thorpe, Graham (2004) Impact of e-learning on learner participation, attainment, retention, and progression in further education : report of a scoping study. [Report]

Harris, Rachel and Muirhead, Alison (2004) Online learning community research - some influences of theory methods. [Proceedings Paper]

Harris, Rachel A and Niven, Jenny (2002) Retrofitting theory to practice-a reflection on the development of an e-learning community. [Proceedings Paper]

Harrison, C.S. and Mair, G.M. (2007) Experiments in binaural audio for telepresence. FP6 Project PEACH.

Harrison, W. and Lievens, D. and Simeoni, F. (2009) Safer typing of complex API usage through Java generics. [Proceedings Paper]

Harvey, Morgan Alexander and Carman, M. and Ruthven, Ian and Crestani, Fabio (2011) Bayesian latent variable models for collaborative item rating prediction. In: ACM CIKM, 2011-03-31.

Hasler, Laura and Ruthven, Ian (2011) Escaping information poverty through internet newsgroups. In: Association for the Advancement of Artificial Intelligence 5th International conference on weblogs and social media, 2011-07-17 - 2011-07-21, Barcelona.

Hasler, Laura and Ruthven, Ian and Buchanan, Steven (2013) Using internet groups in situations of information poverty : topics and information needs. Journal of the American Society for Information Science and Technology. ISSN 1532-2890

Hay, P.D. and Veitch, A. and Gaylor, J.D.S. (2001) Oxygen transfer in a convection-enhanced hollow fiber bioartificial liver. Artificial Organs, 25 (2). pp. 119-130. ISSN 0160-564X

Hayward, Gordon (2004) Distributed multimedia information retrieval. Lecture Notes in Computer Science, 2924 . Springer-Verlag, Heidelberg. ISBN 9783540208754

Hayward, Gordon (1995) Miro final workshop on multimedia information retrieval (Miro-95). In: Electronic Workshops in Computing - MIRO 95, 1995-09-18 - 1995-09-20, Glasgow.

Hayward, Gordon (1999) Proceedings of Mira 99 : evaluating interactive information retrieval. In: Mira Conference, 1999-04-14 - 1999-04-16, Glasgow.

Hayward, Gordon (2003) Proceedings of the 22nd workshop of the UK planning and scheduling special interest group (PlanSig 03). In: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow.

Hemmi, A. and Bayne, S. and Land, Ray (2009) The appropriation and repurposing of social technologies in higher education. Journal of Computer Assisted Learning, 25 (1). pp. 19-30. ISSN 0266-4909

Henderson, K. (1999) Electronic commerce in the on-line and electronic publishing industry: a business model for web publishing. In: Redefining the information chain: new ways and voices, 1999-05-10 - 1999-05-12, Ronneby, Sweden.

Henderson, K. (2004) The impact of branding on the UK public library sector. In: Proceedings of the Academy of Marketing Doctoral Colloquium, 2004, 2004-07-05 - 2004-07-09, University of Gloucestershire, Cheltenham Spa.

Henderson, K. and Poulter, A. (2002) The Distance Selling Directive: points for future revision. International Review of Law, Computers and Technology, 16 (3). pp. 289-300. ISSN 1360-0869

Henderson, K. and Kane, H. (2001) Internet patents: will they hinder the development of e-commerce? Journal of Information, Law and Technology, 2001 (1). ISSN 1361-4169

Henderson, Kirsty Elizabeth and Gibson, Christopher and Gibb, Forbes (2013) The impact of tablet computers on students with disabilities in a higher education setting. Technology and Disability, 25 (2). pp. 61-76.

Hernandez, Jose Luis and Turner, Trevor (2010) Implementing Six Sigma in Challenging Times : A Case Study. In: Advances in Production Management Systems. New Challenges, New Approaches. IFIP Advances in Information and Communication Technology . Springer, Berlin, pp. 514-521. ISBN 9783642163579

Heuch, P.A. and Revie, C.W. and Gettinby, G. (2005) Har norske og skotske lakseoppdrettere forskjellige utfordringer når det gjelder lakselus? Norsk Fiskeoppdrett, 30 (5). pp. 58-60.

Heuch, P.A. and Revie, C.W. and Gettinby, G. (2003) A comparison of epidemiological patterns of salmon lice, Lepeophtheirus salmonis, infections on farmed Atlantic Salmon, Salmo salar L., in Norway and Scotland. Journal of Fish Diseases, 26 (9). pp. 539-551. ISSN 0140-7775

Heuch, P.A. and Olsen, R.S. and Malkenes, R. and Revie, C.W. and Gettinby, G. and Baillie, Mark and Lees, F. and Finstad, B. and , Fisheries and Aquaculture Industry Research Fund (Funder) and , Norwegian Research Council (Funder) (2009) Temporal and spatial variations in lice numbers on salmon farms in the Hardanger fjord 2004-06. Journal of Fish Diseases, 32 (1). pp. 89-100. ISSN 0140-7775

Hewitt, Allan and Rowe, David and Dunlop, Mark (2012) Some timing challenges when collecting and analyzing accelerometer data from personal mobile devices. In: Measurement and Evaluation Symposium, 2012-04-10 - 2012-04-10, Boston.

Higham, D.J. (2000) A-stability and stochastic mean-square stability. BIT Numerical Mathematics, 40 (2). pp. 404-409. ISSN 0006-3835

Higham, D.J. (2000) Mean-square and asymptotic stability of numerical methods for stochastic ordinary differential equations. SIAM Journal on Numerical Analysis, 38 (3). pp. 753-769. ISSN 0036-1429

Higham, D.J. (1997) Regular Runge-Kutta pairs. Applied Numerical Mathematics, 25. pp. 229-241. ISSN 0168-9274

Higham, D.J. (1997) Time-stepping and preserving orthonormality. BIT Numerical Mathematics, 37 (1). pp. 24-36. ISSN 0006-3835

Higham, D.J. (1999) Trust region algorithms and timestep selection. SIAM Journal on Numerical Analysis, 37 (1). pp. 194-210. ISSN 0036-1429

Higham, D.J. (2001) An algorithmic introduction to numerical simulation of stochastic differential equations. SIAM Review, 43 (3). pp. 525-546. ISSN 0036-1445

Higham, D.J. and Higham, N.J. (1998) Structured backward error and condition of generalized eigenvalue problems. SIAM Journal on Matrix Analysis and Applications, 20 (2). pp. 493-512. ISSN 0895-4798

Higham, D.J. and Humphries, A.R. and Wain, R.J. (2000) Phase space error control for dynamical systems. SIAM Journal on Scientific Computing, 21 (6). pp. 2275-2294. ISSN 1064-8275

Higham, D.J. and Kloeden, Peter E. (2005) Numerical methods for nonlinear stochastic differential equations with jumps. Numerische Mathematik, 101 (1). pp. 101-119. ISSN 0029-599X

Higham, D.J. and Mao, X. and Stuart, A.M. (2002) Strong convergence of Euler-type methods for nonlinear stochastic differential equations. SIAM Journal on Numerical Analysis, 40 (3). pp. 1041-1063. ISSN 0036-1429

Higham, D.J. and Stuart, A.M. (1998) Analysis of the dynamics of local error control via a piecewise continuous residual. BIT Numerical Mathematics, 38 (1). pp. 44-57. ISSN 0006-3835

Higham, D.J. (2004) Black-Scholes for scientific computing students. Computing in Science and Engineering, 6 (6). pp. 72-79. ISSN 1521-9615

Higham, D.J. and Kalna, G. and Vass, J.K. (2005) Analysis of the singular value decomposition as a tool for processing microarray expression data. In: Proceedings of ALGORITMY 2005, 2005-03-13 - 2005-03-18, Podbanské, Slovakia.

Higham, Desmond J. (2004) Black-Scholes option valuation for scientific computing students. [Report] (Unpublished)

Hoffmann, J. and Porteous, J. and Sebastia, L. (2004) Ordered Landmarks in Planning. Journal of Artificial Intelligence Research, 22. pp. 215-278. ISSN 11076-9757

Hollinger, E. and Gettinby, G. and Revie, C.W. (2006) Monitoring parasitic abundance in cage-based aquaculture: the effects of clustering. In: International Symposium on Veterinary Epidemiology and Economics XI, 2006-08-06 - 2006-08-11, Cairns, Australia.

Hollnagel, E. and Weir, G.R.S. (1988) Principles for dialogue design in man-machine systems. In: 3rd IFAC/IFIP/IFORS/IEA Conference on Analysis, Design and Evaluation of Man-Machine Systems, 1988-06-14 - 1988-06-16, Oulu.

Hollnagel, E. and Weir, G.R.S. and Sundstroem, G. (1987) User modelling in GRADIENT. [Proceedings Paper]

Hornecker, E. and Dunser, A. (2009) Of pages and paddles: children's expectations and mistaken interactions with physical-digital tools. Interacting with Computers, 21 (1-2). pp. 95-107. ISSN 0953-5438

Hornecker, E. (2010) Creative idea exploration within the structure of a guiding framework : the card brainstorming game. In: Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). ACM, pp. 101-18. ISBN 978-1-60558-841-4

Hornecker, E. (2008) Die rückkehr des sensorischen : tangible Interfaces und greifbare interaktion. [Proceedings Paper]

Hornecker, E. (2010) Interactions around a contextually embedded system. [Proceedings Paper]

Hornecker, E. (2008) Tangible interaction - an inclusive perspective. Form und Zweck, 40. pp. 78-85.

Hornecker, E. and Jacob, R. J. K. and Hummels, C. and Ullmer, B. and Schmidt, A. and Hoven, E. van den and Mazalek, A. (2008) TEI goes on: tangible and embedded interaction. IEEE Pervasive Computing, 7 (2). pp. 91-95.

Hornecker, E. and Marshall, P. and Dalton, N. S. and Rogers, Y. (2008) Collaboration and interference : awareness with mice or touch input. [Proceedings Paper]

Hornecker, E. and Schmidt, A. and Ullmer, B. (2008) Editorial for the special issue on 'tangible and embedded interaction'. International Journal of Arts and Technology, 1 (3-4). pp. 245-248.

Hornecker, Eva (2008) "I don't understand it either, but it is cool" - visitor interactions with a multi-touch table in a museum. [Proceedings Paper]

Hornecker, Eva (2011) The role of physicality in tangible and embodied interactions. ACM Interactions, 18 (2). pp. 19-23. ISSN 1072-5520

Hornecker, Eva and Nicol, Emma (2012) What do lab-based user studies tell us about in-the-wild behavior? : insights from a study of museum interactives. In: Proceedings of Designing Interactive Systems (DIS'12). ACM, New York, pp. 358-367. ISBN 978-1-4503-1210-3

Hossack, J.A. and Menal, J. and McArthur, S.D.J. and McDonald, J.R. (2003) A multi-agent architecture for protection engineering diagnostic assistance. IEEE Transactions on Power Systems, 18 (2). pp. 639-647. ISSN 0885-8950

Hou, Jiachen and Su, Daizhong and Hull, Barry (2004) Integration of web-based techniques and business strategies into the development of a network supported system for supplier selection. In: Proceedings of the 8th International Conference on Computer Supported Cooperative Work in Design. International Conference on Computer Supported Cooperative Work in Design, 2 . IEEE, pp. 599-604. ISBN 0780379411

Howell, G. and Weir, G.R.S. and Freeth, T. (1995) The emerging Internet market : DHS test subtitle for conference paper. Delete when finished testing. In: Proceedings of INET'95, 1995-06-27 - 1995-06-30, Hawaii.

Howey, R. and Long, D. (2003) VAL's progress: the automatic validation tool for PDDL2.1 used in the International planning competition. In: Proceedings of the ICAPS 2003 workshop on "The Competition: Impact, Organization, Evaluation, Benchmarks", 2003-01-01, Trento, Italy.

Howey, R. and Long, D. (2003) Validating plans with continuous effects. In: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow.

Howey, R. and Long, D. (2003) The automatic validation tool for PDDL2.1. In: 10th Workshop on Automated Reasoning, 2003-04-15 - 2003-04-16, Liverpool.

Howey, R. and Long, D. and Fox, M. (2004) VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004-11-15 - 2004-11-17, Florida, USA.

Howey, R. and Long, D. and Fox, M. (2004) Validating plans with exogenous events. In: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). UNSPECIFIED, pp. 78-87.

Howey, Richard and Long, Derek and Fox, Maria (2005) Plan validation and mixed-initiative planning in space operations. In: Planning, Scheduling and Constraint Satisfaction: From Theory to Practice. Frontiers in Artificial Intelligence and Applications, 117 (117). IOS Press, Amsterdam, pp. 89-98. ISBN 1-58603-484-7

Huet, I. and Pacheco, O.R. and Tavares, J. and Weir, G.R.S. (2004) New challenges in teaching introductory programming courses: a case study. In: 34th ASEE/IEEE Frontiers in Education Conference, 2004-10-20 - 2004-10-23, Georgia, USA.

Huet, I. and Tavares, J. and Weir, G.R.S. (2005) Insights on best teaching practices for promoting students' learning. In: 11th Biennial Conference, EARLI2005, 2005-08-23 - 2005-08-27, Cyprus.

Hunt, E. and Pafilis, E. and Tulloch, I. and Wilson, J. (2002) Index-driven XML data integration to support functional genomics. In: Proceedings of the International Workshop on Data Integration in Life Sciences, DILS'04. Lecture Notes in Bioinformatics (2994). Springer, pp. 95-109.

I

Irvine, James and Brown, E. and Wilkie, W. (2005) Rapid prototyping of a test harness for forward error correcting codes. In: FPGA '05 Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays, 2005-02-20 - 2005-02-22, Monterey, CA.

J

Jamieson, Andrew and Breslin, Stephen and Nixon, Paddy and Smeed, Duncan (2004) MiPOS - the Mote Indoor Positioning System. In: 1st International Workshop on Wearable and Implantable Body Sensor Networks, 2004-04-06 - 2004-04-07, London.

Jaskelioff, M. and Ghani, N. and Hutton, G. (2011) Modularity and implementation of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 229 (5). pp. 75-95. ISSN 1571-0661

Jayawarna, V and Ali, M and Jowitt, T A and Miller, A E and Saiani, A and Gough, J E and Ulijn, R V (2006) Nanostructured hydrogels for three-dimensional cell culture through self-assembly of fluorenylmethoxycarbonyl-dipeptides. Advanced Materials, 18 (5). pp. 611-614. ISSN 0935-9648

Jiang, J. and Trundle, P. and Ren, Jinchang (2010) Medical imaging analysis with artificial neural networks. Computerized Medical Imaging and Graphics, 34 (8). pp. 617-631.

Jimenez, S. and Coles, A.I. and Smith, A.J. (2006) Planning in probabilistic domains using a deterministic numeric planner. In: 25th Workshop of the UK Planning and Scheduling Special Interest Group, 2006-12-14 - 2006-12-15, Nottingham.

Johann, Patricia and Ghani, Neil (2008) Foundations for structured programming with GADTs. [Proceedings Paper]

Johann, Patricia and Simpson, Alex and Voigtlaender, Janis (2010) A generic operational metatheory for algebraic effects. [Proceedings Paper]

Johnston-Watt, D. (2005) Self-managed mediated information flow. WO/2005/013554.

Johnston-Watt, D. (2008) Self-Managed Distributed Mediation Networks. G06F15/173.

K

Kapidakis, S. and Terzis, S. and Sairamesh, J. (2000) A framework for performance monitoring, load balancing, adaptive timeouts and quality of service in digital libraries. International Journal on Digital Libraries, 3 (1). pp. 19-35. ISSN 1432-5012

Kelly, D. and Baxter, James and Anderson, Anthony (2010) Engaging first-year students through online collaborative assessments. Journal of Computer Assisted Learning, 26 (6). pp. 535-548. ISSN 0266-4909

Kelly, D. and Ruthven, I. (2010) Search procedures revisited. [Proceedings Paper]

Kern, D. and Marshall, P. and Hornecker, E. and Rogers, Y. and Schmidt, A. (2009) Enhancing navigation information with tactile output embedded into the steering wheel. [Proceedings Paper]

Kerr, J. and Henderson, K. (2005) Health information and learning resources for handheld computers. Health Libraries Review. ISSN 0265-6647

Kezang, Kezang and Whalley, J.L. (2004) Telecommunications in the land of the thunder dragon: Recent developments in Bhutan. Telecommunications Policy, 28 (11). pp. 785-800. ISSN 0308-5961

Khonsari, A. and Ould-Khaoua, M. and Ferguson, J.D. (2003) A general analytical model of adaptive wormhole routing in k-ary n-cubes. In: International Symposium on Performance Evaluation of Computer and Telecommunication Systems, 2003-07-20 - 2003-07-24, Montreal, Canada.

Kirby, Graham and Dearle, Alan and Morrison, Ron and Dunlop, Mark and Connor, Richard and Nixon, Paddy (2003) Active architecture for pervasive contextual services. In: International Middleware Conference, Workshop Proceedings, 2003-06-16 - 2003-06-20, Rio de Janeiro.

Kirk, D. and Roper, M. and Wood, M. (2002) Defining the problems of framework reuse. In: 26th Annual International Computer Software and Applications Conference, 2002-08-26 - 2002-08-29, Oxford.

Kirk, D. and Roper, M. and Wood, M. (2007) Identifying and addressing problems in object-oriented framework reuse. Empirical Software Engineering, 12 (3). pp. 243-274. ISSN 1382-3256

Kirk, D.S. and Roper, M. and Wood, M. (2005) Identifying and addressing problems in framework reuse. In: Proceedings of the 13th International Workshop on Program Comprehension (IWPC'05), 2005-05-15 - 2005-05-16, St. Louis, Missouri, USA.

Kirk, D. and Roper, M. and Walkinshaw, N. (2006) Using attribute slicing to refactor large classes. [Proceedings Paper]

Kirk, D. and Roper, M. and Wood, M. (2007) A heuristic-based approach to code-smell detection. [Proceedings Paper]

Kirk, D.S. and Ferguson, R.I. (2004) moboNet: A Mobile Code System for .NET CF Devices. In: Workshop for recipients of the Microsoft Research Innovation Excellence Award for Embedded Systems, 2004-09-07 - 2004-09-08, Cambridge.

Kitaev, Sergey (2011) Patterns in permutations and words. Monographs in Theoretical Computer Science. An EATCS Series . Springer-Verlag Berlin. ISBN 9783642173325

Komninos, A. and Dunlop, M.D. (2003) Towards a model for an internet content pre-caching agent for small computing devices. In: 10th International Conference on Human-Computer Interaction (HCII 2003), 2003-06-22 - 2003-06-27, Crete, Greece.

Komninos, A. and Dunlop, M.D. (2005) Calendar based contextual information as an Internet content pre-caching tool. In: Proceedings of Second Workshop on Second Workshop on Information Retrieval in Context (IRiX) at SIGIR 2005. ACM Press, pp. 37-40.

Komninos, A. and Dunlop, M.D. (2004) Keyword based categorisation of diary entries to support personal Internet content pre-caching on mobile devices. In: Mobile Human-Computer Interaction - Mobile HCI 2004. Lecture Notes in Computer Science, 3160 . Springer, London, UK. ISBN 3-540-23086-6

Komninos, Andreas and Dunlop, Mark D. (2008) A calendar based internet content pre-caching agent for small computing devices. Personal and Ubiquitous Computing, 12 (7). pp. 495-512. ISSN 1617-4909

Konka, Jakub Wojciech and Irvine, James and Atkinson, Robert (2012) Economics of intelligent selection of wireless access networks in a market-based framework : a game-theoretic approach. IARIA International Journal on Advances in Networks and Services, 5 (3&4). pp. 210-224. ISSN 1942-2644

Kotsis, N. and Weir, G.R.S. and Ferguson, J.D. and MacGregor, D.R. (2001) Novel techniques for data visualisation and exploration in multidimensional datasets. In: 3rd International Conference on Enterprise Information Systems, 2001-07-07 - 2001-07-10, Setubal, Portugal.

Kozma, E. and Brown, E. and Ellis, E. and Lapthorn, A. (2002) The crystal structure of rat liver AKR7A1: a dimeric member of the Aldo-Keto reductase superfamily. Journal of Biological Chemistry, 277 (18). pp. 16285-16293. ISSN 0021-9258

Kozma, E. and Brown, E. and Ellis, E. and Lapthorn, A. (2003) The high resolution crystal structure of rat liver AKR7A1 understanding the substrate specificities of the AKR7 family. Chemico-Biological Interactions, 143. pp. 289-297. ISSN 0009-2797

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre (2012) Equality-friendly well-founded semantics and applications to description logics. [Proceedings Paper]

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre (2013) Well-Founded Semantics for Extended Datalog and Ontological Reasoning. [Proceedings Paper]

Kupke, Clemens and Venema, Yde (2008) Coalgebraic automata theory : basic results. Logical Methods in Computer Science, 4 (4). ISSN 1860-5974

L

Lakany, H. (2006) On feature selection for brain computer interfaces. Clinical Neurophysiology, 117 (S71). ISSN 1388-2457

Lalmas, M. and Ruthven, I. (1999) Modelling the interaction in information retrieval. In: 9th European-Japanese Conference on Information Modelling and Knowledge Bases (EJ-IMKB), 1999-05-24 - 1999-05-28, Iwate.

Lalmas, M. and Ruthven, I. (1999) A framework for investigating the interaction in information retrieval. In: Information Modelling and Knowledge Bases XI, 1999-05-24 - 1999-05-28, Iwate, Japan.

Lalmas, M. and Ruthven, I. (1997) A model for structured document retrieval: empirical investigations. In: Hypermedia - Information Retrieval - Multimedia (HIM 97), 1997-09-29 - 1997-10-02, Dortmund, Germany.

Landoni, M. and Wilson, R. and Gibb, F. (2001) Looking for guidelines for the production of electronic textbooks. Online Information Review, 25 (3). pp. 181-195. ISSN 1468-4527

Landoni, M. and Wilson, R. and Gibb, F. (2000) From the visual book to the WEB book : the importance of design. Electronic Library, 18 (6). pp. 407-419. ISSN 0264-0473

Lazou, A. and Weir, George (2011) Perceived risk and sensitive data on mobile devices. In: Cyberforensics. University of Strathclyde, Glasgow, pp. 183-196. ISBN 9780947649784

Lees, F. and Baillie, M. and Gettinby, G. and Revie, C.W. (2008) Factors associated with changing efficacy of emamectin benzoate against infestations of Lepeophtheirus salmonis on Scottish salmon farms. Journal of Fish Diseases, 31 (12). pp. 947-951. ISSN 0140-7775

Lepouras, G. and Vassilakis, C. and Weir, G.R.S. (2002) Serving enhanced hypermedia information. In: Advances in Information Retrieval. Lecture Notes in Computer Science, 2291 . Springer, Germany, pp. 86-92. ISBN 978-3-540-43343-9

Lepouras, G. and Weir, G.R.S. (1999) It's not Greek to me: terminology and the second language problem. ACM SIGCHI Bulletin, 31 (2). pp. 17-24. ISSN 0736-6906

Lepouras, G. and Weir, G.R.S. (2003) Subtitled interaction: complementary support as an alternative to localization. International Journal of Human Computer Studies, 59 (6). pp. 941-957. ISSN 1071-5819

Lepouras, G. and Vassilakis, C. and Weir, G.R.S. (2003) A system to support dissemination of knowledge and sharing of experiences in the working environment. International Journal of Continuing Engineering Education and Lifelong Learning, 13 (3/4). pp. 248-257. ISSN 1560-4624

Letchmunan, S. and Roper, M. and Wood, M. (2010) Investigating effort prediction of web-based applications using CBR on the ISBSG dataset. In: 14th International Conference on Evaluation and Assessment in Software Engineering (EASE), 2010-04-12 - 2010-04-13.

Levin, E.J. and Wright, R.E. (2004) Regional taxation and retailing: the economic geography of the Internet. International Review of Retail, Distribution and Consumer Research, 14 (3). pp. 337-356. ISSN 0959-3969

Levine, J. and Ducatelle, F. (2003) Ants can solve difficult bin packing problems. [Proceedings Paper]

Levine, J. and Humphreys, D. (2003) Learning action strategies for planning domains using genetic programming. [Proceedings Paper]

Levine, J.M. and Ducatelle, F. (2004) Ant colony optimisation and local search for bin-packing and cutting stock problems. Journal of the Operational Research Society, 55 (7). pp. 705-716. ISSN 0160-5682

Li, F. and Whalley, J.L. and Williams, H.P. (2001) Between physical and electronic spaces : The implications for organisations in the networked economy. Environment and Planning A, 33 (4). pp. 699-716. ISSN 0308-518X

Li, Q. and Siew, W.H. and Walker, K. and Piner, C. and Stewart, M. (2004) Digital correction method for an H field sensor in power system EMC measurements. IEEE Transactions on Power Delivery, 19 (3). pp. 952-956. ISSN 0885-8977

Liaskos, K. and Roper, M. (2007) Automatic test-data generation : an immunological approach. In: TAIC PART 2007 - Testing Academic and Industrial Conference - Practice and Research Techniques. IEEE, Los Alamitos, pp. 77-81. ISBN 9780769529844

Liaskos, K. and Roper, M. and Wood, M. (2007) Investigating data-flow coverage of classes using evolutionary algorithms. [Proceedings Paper]

Lim, S.W. and Lee, B.S. and Duffy, A.H.B. (2001) Incremental modelling of ambiguous geometric ideas (I-MAGI): represenation and maintenance of vague geometry. Artificial Intelligence in Engineering, 15 (2). pp. 93-108. ISSN 0954-1810

Lindsay, Alan (2012) Macro actions for structures. [Proceedings Paper]

Lloyd, I. (2004) United Kingdom. In: International Encyclopaedia of Cyber Law. International Encyclopaedia of Laws . Kluwer Law International. ISBN 9789041121882

Lloyd, Ian (2004) Data protection after September 11. In: Informatik - Wirtschaft - Recht. Regulierung in der Wissensgesellschaft: Festschrift für Wolfgang Kilian. NOMOS, Baden Baden, Germany, pp. 225-240. ISBN 3832905936

Lo, K.L. and Luan, W.P. and Given, M.J. and Bradley, M. and Wan, H. (2002) ANN-based automatic contingency selection for electric power system. COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, 21 (2). pp. 193-207. ISSN 0332-1649

Long, D. and Fox, M. (2005) Restoring symmetries in almost symmetric graph structures. In: Proceedings of SymNet Workshop on Almost-Symmetry in Search, 2005-01-11, New Lanark, Scotland.

Long, D. and Fox, M. (2003) The 3rd International Planning Competition: Results and Analysis. Journal of Artificial Intelligence Research, 20. pp. 1-59. ISSN 11076-9757

Long, D. and Fox, M. (2000) Automatic synthesis and use of generic types in planning. In: Proceedings of AIPS 2000, 2000-04-14 - 2000-04-17, Breckenridge, USA.

Long, D. and Fox, M. (1999) Efficient Implementation of the Plan Graph in STAN. Journal of Artificial Intelligence Research, 10. pp. 87-115. ISSN 11076-9757

Long, D. and Fox, M. (2003) Exploiting a graphplan framework in temporal planning. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2003-06-09 - 2003-06-13, Trento, Italy.

Long, D. and Fox, M. (2006) The International planning competition series and empirical evaluation of AI planning systems. In: Proceedings of Workshop on Empirical Methods for the Analysis of Algorithm, 2006-09-09, Reykjavik, Iceland.

Long, D. and Fox, M. (2003) Plan permutation symmetries as a source of inefficiency in planning. In: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow.

Long, D. and Fox, M. (2002) Planning with generic types. In: Exploring Artificial Intelligence in the New Millennium. Morgan Kaufmann Series in Artificial Intelligence . Morgan Kaufmann, pp. 103-138. ISBN 1558608117

Long, D. and Fox, M. (2002) Progress in AI Planning Research and Applications. UPGRADE : The European Journal for the Informatics Professional, III (5). pp. 10-25. ISSN 1684-5285

Long, D. and Fox, M. (2003) Symmetries in planning problems. In: Proceedings of Third Annual Conference on Symmetry and Constraint Satisfaction Problems - SymCon '03 (CP Workshop). Springer.

Long, D. and Fox, M. and Hamdi, M. (2002) Reformulation in planning. In: Proceedings of 5th International Symposium on Abstraction, Reformulation and Approximation, SARA '02, 2002-08-02 - 2002-08-04, Kananaskis, Alberta, Canada.

Long, D. and Kautz, H.A. and Selman, B. and Bonet, B. and Geffner, H. and Koehler, J. and Brenner, M. and Hoffmann, J. and Rittinger, F. and Anderson, C.R. and Weld, D.S. and Smith, D.E. and Fox, M. (2000) The AIPS-98 planning competition: competitors' perspectives. AI Magazine, 21 (2). pp. 13-33. ISSN 0738-4602

Loucif, S. and Ould-Khaoua, M. and Ferguson, J.D. (1999) Message Latency in the Torus with Wormhole Routing. In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, 1999-06-28 - 1999-07-01, Las Vegas, Nevada, USA.

Loucif, S. and Ould-Khaoua, M. and Ferguson, J.D. (1999) A comparative study of routing algorithms in cube networks. In: Proceedings of the Fifteenth Annual UK Performance Engineering Workshop. University of Bristol, pp. 391-400.

Löh, Andres and Mcbride, Conor and Swierstra, Wouter (2010) A tutorial implementation of a dependently typed lambda calculus. Fundamenta Informaticae, 102 (2). pp. 177-207. ISSN 0169-2968

landoni, M. and Gibb, F. (2000) The role of visual rhetoric in the design and production of electronic books: the visual book. Electronic Library, 18 (3). pp. 190-121. ISSN 0264-0473

M

Ma, L. and Ferguson, J.D. and Roper, M. and Wood, M. (2007) Investigating the viability of mental models held by novice programmers. In: ACM SIGCSE Bulletin. ACM Press, New York, USA, pp. 499-503. ISBN 1-59593-361-1

Ma, L. and Ferguson, J. D. and Roper, M. and Ross, I. and Wood, M. (2009) Improving the mental models held by novice programmers using cognitive conflict and jeliot visualisations. [Proceedings Paper]

Ma, L. and Ferguson, J. D. and Roper, M. and Ross, I. and Wood, M. (2008) Using cognitive conflict and visualisation to improve mental models held by novice programmers. [Proceedings Paper]

Ma, L. and Ferguson, J. D. and Roper, M. and Ross, I. and Wood, M. (2008) A web-based learning model for improving programming students' mental models. [Proceedings Paper]

MacKenzie, John and Nicola, Aurelian (2007) A discontinuous Galerkin moving mesh method for Hamilton-Jacobi equations. SIAM Journal on Scientific Computing, 29 (6). pp. 2258-2282. ISSN 1064-8275

Macdonald, F. (1999) Computer Supported Software Inspection. PhD thesis, University Of Strathclyde.

Macdonald, F. and Ferguson, J.D. and Miller, J. (2000) A Groupware Approach to Improving Software Inspection. In: 4th World Multiconference on Systemics, Cybernetics and Informatics, 2000-07-23 - 2000-07-26, Orlando, Florida.

Macdonald, F. and Miller, J. (1997) Automated generic support for software inspection. In: 10th International Quality Week, 1997-05-27 - 1997-05-30, San Fransisco.

Macdonald, F. and Miller, J. (1998) A comparison of tool-based and paper-based software inspection. Empirical Software Engineering, 3 (3). ISSN 1382-3256

Macdonald, F. and Miller, J. (1997) A software inspection process definition language and prototype support tool. Software Testing, Verification and Reliability, 7 (2). pp. 99-128. ISSN 0960-0833

Macdonald, F. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1996) Automating the software inspection process. Automated Software Engineering, 3 (3/4). pp. 193-283. ISSN 0928-8910

Macdonald, F. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1995) A review of tool support for software inspection. In: Proceedings of the Seventh International Workshop on Computer Aided Software Engineering. IEEE, pp. 340-349.

Macdonald, F. and Miller, J. and Ferguson, J.D. (1999) ASSISTing asynchronous software inspection by auto-collation of defect lists. In: ISD'99 Eighth International Conference Information Systems Development Methods and Tools, Theory and Practice, 1999-08-11 - 1999-08-13, Boise, Idaho.

Macdonald, F. and Miller, J. and Ferguson, J.D. (1999) A Comparison of On-line Tools for Software Inspection. In: Proceedings of ISAS'99, 1999-07-30 - 1999-08-01, Orlando, Florida.

Macdonald, F. and Miller, J. and Brooks, A. and Roper, M. and Wood, M. (1996) Applying inspection to object-oriented software. Software Testing, Verification and Reliability, 6 (2). pp. 61-82. ISSN 0960-0833

Macgregor, G. and Dunsire, G. (2005) Library systems: the trends, the developments, the future. EMMITS: Newsletter of the Multimedia and Information Technology Group Scotland, 2005 (Winter). ISSN 1743-4793

Macgregor, George (2012) Principles in Patterns (PiP) : Evaluation of Impact on Business Processes. [Report]

Macgregor, George (2011) Principles in Patterns (PiP) : Heuristic Evaluation of Course and Class Approval Online Pilot (C-CAP). [Report]

Macgregor, George (2012) Principles in Patterns (PiP) : Piloting of C-CAP - Evaluation of Impact and Implications for System and Process Development. [Report]

Macgregor, George (2012) Principles in Patterns (PiP) : Project Evaluation Synthesis. [Report]

Macgregor, George (2012) Principles in Patterns (PiP) : User Acceptance Testing of Course and Class Approval Online Pilot (C-CAP). [Report]

Magona, J.W. and Walubengo, J. and Olaho-Mukani, W. and Jonsson, N.N. and Revie, C.W. and Eisler, M.C. (2004) Decision support tools as alternative options to improve diagnostic services for endemic livestock diseases. Uganda Journal of Agricultural Sciences, 9. pp. 452-457. ISSN 1026-0919

Magona, J.W. and Walubengo, J. and Olaho-Mukani, W. and Revie, C.W. and Jonsson, N.N. and Eisler, M.C. (2004) A Delphi survey on expert opinion on key signs for clinical diagnosis of bovine trypanosomosis, tick-borne diseases and helminthoses. Bulletin of Animal Health and Production in Africa, 52. pp. 130-140. ISSN 0378-9721

Magona, J.W. and Anderson, I. and Olaho-Mukani, W. and Jonsson, N.N. and Revie, C.W. and Eisler, M.C. (2003) Diagnosis of endemic diseases in village cattle herds in Southeast Uganda: a low technology decision support system. Newsletter on Ingetrated Control of Pathogenic Trypanosomes and their Vector, 8.

Malama, M. and Landoni, M. and Wilson, R. (2005) What readers want: a study of e-fiction usability. Physical Review Online Archive, 11 (5). ISSN 1082-9873

Malama, C. and Landoni, M. and Wilson, R. (2004) Fiction electronic books: a usability study. In: 8th European Conference on Research and Advanced Technology for Digital Libraries (ECDL), 2004-09-12 - 2004-09-17, Bath, UK.

Manfaat, D. and Duffy, A.H.D. and Lee, B.S. (1998) SPIDA: Abstracting and generalizing layout design cases. AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 12 (2). pp. 141-159. ISSN 0890-0604

Manghi, P. and Simeoni, F. and Lievens, D. and Connor, R. (2002) Hybrid applications over XML - integrating the declarative and navigational approaches. In: Fourth International Workshop on Web Information and Data Management (WIDM'02), 2002-11-08, McLean, Virginia, USA.

Manzano, Marc and Calle, Eusebi and Torres-Padrosa, Victor and Segovia, Juan and Harle, David (2013) Endurance : a new robustness measure for complex networks under multiple failure scenarios. Computer Communications, 57 (17). 3641–3653. ISSN 0140-3664

Margariti, S. and Chowdhury, G. (2004) Digital reference services: a snapshot of the current practices in Scottish libraries. Library Review, 54 (1). pp. 50-60. ISSN 0024-2535

Marin, J. and Poulter, A. (2004) Dissemination of Competitive Intelligence. Journal of Information Science, 20 (2). pp. 165-180. ISSN 0165-5515

Marshall, P. and Fleck, R. and Harris, A. and Rick, J. and Hornecker, E. and Rogers, Y. and Yuill, N. and Dalton, N. S. (2009) Fighting for control : embodied negotiation of access to digital and physical representations. [Proceedings Paper]

Marshall, P. and Hornecker, E. and Morris, R. and Dalton, N. S. and Rogers, Y. (2008) When the fingers do the talking: : a study of group participation with varying constraints to a tabletop interface. [Proceedings Paper]

Mattingly, J. and Stuart, A.M. and Higham, D.J. (2002) Ergodicity for SDEs and approximations: Locally Lipschitz vector fields and degenerate noise. Stochastic Processes and their Applications, 101 (2). pp. 185-232. ISSN 0304-4149

McArthur, S.D.J. and Strachan, S.M. and Jahn, G. (2004) The design of a multi-agent transformer condition monitoring system. IEEE Transactions on Power Systems, 19 (4). pp. 1845-1852. ISSN 0885-8950

McBride, C. (2009) Let's see how things unfold.: reconciling the infinite with the intensional (extended abstract). In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science (5728). Springer, pp. 113-126. ISBN 978-3-642-03740-5

McBride, C. and Uustalu, T. (2009) Preface. Journal of Functional Programming, 19 (3-4). pp. 263-264. ISSN 0956-7968

McCluskey, L. and Porteous, J. (1997) Engineering and Compiling Planning Domain models to promote. Artificial Intelligence, 95 (1). pp. 1-65. ISSN 0004-3702

McCluskey, T.L. and Porteous, J.M. and Naik, Y. and Taylor, C.N. and Jones, S. (2006) A requirements capture method and its use in an air traffic control application. Software: Practice and Experience, 25 (1). pp. 47-71. ISSN 0038-0644

McCool, Paul and Fraser, Graham and Chan, Adrian and Petropoulakis, Lykourgos and Soraghan, John (2014) Identification of contaminant type in surface electromyography (EMG) signals. IEEE Transactions on Neural Systems and Rehabilitation Engineering. pp. 1-13. ISSN 1534-4320

McDonald, D.M. (2004) Security, access and authentication. [Report]

McDonald, D.M. (2004) Towards enhanced understanding of the complex learning ecosystem within the city of Glasgow. Working paper. UNSPECIFIED.

McDonald, D.M. and McGill, L. (2005) The emergence of eLiteracy: enhancing our understanding. In: eLiteracy Conference 2005, 2005-06-15 - 2005-06-17, Glasgow.

McDonald, J.R. and McArthur, S.D.J. and Burt, G.M. (2001) Intelligent system applications for power system control and management. Computing and Control Engineering, 12 (2). pp. 85-91. ISSN 0956-3385

McDonald, D. (2008) DIFUSE handbook : a guide to transnational collaboration in knowledge. [Report]

McDonald, D. and Breslin, C. and MacDonald, A. (2010) Review of the environmental and organisational implications of cloud computing: final report. Working paper. University of Strathclyde.

McDonald, D. and Cullen, D. and Comrie, A. (2010) Final report of work-with-IT: the JISC study into evolution of working practices. Working paper. University of Strathclyde.

McDonald, D. and Cullen, D. and Gourlay, L. (2010) Embedding innovative ways of working in learning and teaching : implications for staff and organisations. In: ALTC 2010, 2010-09-07 - 2010-09-09, Nottingham.

McDonald, D. and Kay, N. (2010) Towards an evaluation framework for complex social systems. [Proceedings Paper]

McDonald, D. and MacDonald, A. and McCulloch, E. (2009) Greening information management: final report. Working paper. University of Strathclyde.

McDonald, D.M. (2005) Emergence in socio-technical systems. In: Complexity Science and Society, 2005-09-11 - 2005-09-14, Liverpool, UK.

McDonald, D.M. (2005) Emergent characteristics of complex learning communities. In: Proceedings of Complexity, Science and Society. World Scientific Co.

McDonald, D.M. (2003) JISC TechWatch report on web services technologies. [Report]

McDonald, D.M. and Breslin, C. (2001) A study into advertising on JANET. [Report]

McDonald, D.M. and Weir, G.R.S. (2006) Community space in complex learning communities: lessons learnt. In: IADIS International Conference e-Society 2006, Dublin, Ireland, 2006-07-13 - 2006-07-16, Dublin, Ireland.

McDonald, D.M. and Weir, G.R.S. (2006) Developing a conceptual model for exploring emergence. In: International Conference on Complex Systems, 2006-06-25 - 2006-06-30, Boston.

McDonald, D.M. and Weir, G.R.S. (2006) A methodology for exploring emergence in learning communities. In: International Conference on Complex Systems (ICCS2006), 2006-06-25 - 2006-06-30, Boston, USA.

McDonald, E.J. and Higham, D.J. (2001) Error analysis of QR algorithms for computing Lyapunov exponents. Electronic Transactions on Numerical Analysis, 12. pp. 234-251. ISSN 1068-9613

McEwan, C.J.A. and Ounis, I. and Ruthven, I. (2002) Building bilingual dictionaries from parallel web documents. In: Advances in Information Retrieval. Lecture Notes in Computer Science, 2291 . Springer, Germany, pp. 303-323. ISBN 978-3-540-43343-9

McGettrick, A. (2009) Computing education matters. Communications - ACM, 52 (4). p. 5. ISSN 0001-0782

McGettrick, A. and English, C. and Lowe, H. and Nixon, P. and Terzis, S. (2002) Trust and mobility. In: First iTrust Workshop, 2002-09-02 - 2002-09-04, Glasgow.

McGettrick, Andrew and Theys, Mitchell D. and Soldan, David L. and Srimani, Pradip K. (2003) Computer engineering curriculum in the new millenium. IEEE Transactions on Education, 46 (4). pp. 456-462. ISSN 0018-9359

McKendrick, I.J. and Gettinby, G. and Gu, Y. and Peregrine, A. and Revie, C.W. (1995) Hybrid information systems for agriculture: The case of cattle Trypanosomiasis in Africa. Outlook on Agriculture, 23 (4). pp. 261-267. ISSN 0030-7270

McKendrick, I.J. and Gettinby, G. and Gu, Y. and Reid, S.W.J. and Revie, C.W. (2000) Using a Bayesian belief network to aid differential diagnosis of tropical bovine diseases. Preventive Veterinary Medicine, 47 (3). pp. 141-156. ISSN 0167-5877

McMenemy, D. (1999) Expanding access to learning materials in higher education. Information Management and Technology, 32 (4). pp. 169-172. ISSN 0266-6960

McMenemy, D. and Poulter, A. (2004) Towards a robust methodology for the investigation of old firm sectarianism online. In: Proceedings of the IADIS 2004 Web-based Communities Conference, Lisbon, March 2004, 2004-10-06 - 2004-10-09, Mardrid, Spain.

McMenemy, D. and Shah, A. (2001) From tea to ICT. Library Association Record, 103 (1). pp. 32-33. ISSN 0024-2195

McMenemy, D. and Buchanan, S. and Rooney-Browne, C. (2008) Measurement of library services : to quantify or qualify? In: World Library and Information Congress: 74th IFLA General Conference and Council "Libraries without borders: Navigating towards global understanding", 2008-08-10 - 2008-08-14, Quebec.

McMenemy, D. and Poulter, A. and Chowdhury, G. and Tomeny, A. (2005) Evaluation of SCRAN subscription to Scottish public libraries. [Report]

McMenemy, David (2012) Emergent digital services in public libraries : a domain study. New Library World, 113 (11/12). pp. 507-527. ISSN 0307-4803

McMenemy, David (2014) Towards a public library standard for acceptable use of computing facilities. In: IFLA World Library and Information Congress. 80th IFLA General Conference and Assembly, 2014-08-16 - 2014-08-22, Lyon.

McPake, Joanna and Plowman, Lydia (2010) At home with the future : influences on young children's early experiences with digital technologies. In: Contemporary Issues in Early Childhood Education. Open University Press. ISBN 9780335237876

McQuistan, S. and Henderson, K. (1999) Scholarly journal access in academic libraries:issues for future development. In: Redefining the information chain: new ways and voices. ICCC/IFIP Conference Electronic Publishing, 1999-05-10 - 1999-05-12, Ronneby, Sweden.

Mcbride, Conor (2010) Outrageous but meaningful coincidences : dependent type-safe syntax and evaluation. [Proceedings Paper]

Mcguire, Colin and Brew, Malcolm Ronald and Darbari, Faisal and Weiss, Stephan and Stewart, Robert (2012) Enabling rural broadband via TV "white space". [Proceedings Paper]

Mcguire, Colin and Brew, Malcolm Ronald and Darbari, Faisal and Weiss, Stephan and Stewart, Robert (2012) "WindFi" - a renewable powered base station for rural broadband. [Proceedings Paper]

Mellor, D.J. and Reid, S.W.J. and Irwin, T. and Revie, C. and Gettinby, G. (1994) The development of EqWise - Equine welfare information system/expert. In: Proceedings of the Annual Conference of the Society for Veterinary Epidemiology and Preventive Medicine, 1994-01-01.

Meyyappan, N. and Chowdhury, G. and Foo, S. (2001) Use of a digital work environment (DWE) prototype to create a user-centred university digital library. Journal of Information Science, 27 (4). pp. 249-264. ISSN 0165-5515

Meyyappan, N. and Chowdhury, G. and Foo, S. (2001) Design and development of a user-centred digital library system: some basic guidelines. In: Digital libraries: dynamic landscape for knowledge creation, Fourth International Conference on Digital Libraries, 2001-12-10 - 2001-12-12, Bangalore.

Meyyappan, N. and Chowdhury, G. and Foo, S. (2001) An architecture of a user-centred digital library for the academic community. In: Global digital library development in the new millennium - 12th International Conference on New Information Technology, 2001-05-28 - 2001-05-30, Beijing.

Miller, J. and Daly, J. and Wood, M. and Brooks, A. and Roper, M. (1996) Electronic bulletin board distributed questionnaires for exploratory research. Journal of Information Science, 2 (2). pp. 107-115. ISSN 0165-5515

Miller, J. and Daly, J. and Wood, M. and Brooks, A. and Roper, M. (1997) Statistical power and its subcomponents - missing and misunderstood concepts in software engineering research. Information and Software Technology, 39 (4). pp. 285-295. ISSN 0950-5849

Miller, J. and Ferguson, J.D. and Murphy, P. (1999) Groupware support for asynchronous document review. In: Proceedings of the 17th annual international conference on Computer documentation. ACM, pp. 185-192. ISBN 1-58113-072-4

Miller, J. and Roper, M. and Brooks, A. and Wood, M. (1995) Towards a benchmark for the evaluation of software testing techniques. Information and Software Technology, 37 (1). pp. 5-13. ISSN 0950-5849

Miller, J. and Roper, M. and Wood, M. (1998) Further experiences with scenarios and checklists. Empirical Software Engineering, 3 (1). pp. 37-64. ISSN 1382-3256

Miller, J. and Wilson, W.S. and Kek, W.K. and Wilson, C.G. and Uttamchandani, D.G. (2003) Spectroscopic detection of a therapeutic drug in the mammalian eye. IEEE Journal of Selected Topics in Quantum Electronics, 9 (2). pp. 171-176. ISSN 1077-260X

Miller, James and Macdonald, Fraser and Ferguson, John (2002) ASSISTing management decisions in the software inspection process. Journal of Information Technology and Management, 3. pp. 67-83. ISSN 1385-951X

Min, G. and Ferguson, J.D. and Ould-Khaoua, M. (2000) On the relative performance merits of switching strategies in hypercubes. In: Proceedings of the 16th Annual UK Performance Engineering Workshop. University of Durham, Durham, United Kingdom, pp. 103-113.

Min, G. and Ould-Khaoua, M. and Ferguson, J.D. (2003) Performance prediction of wormhole switching in hypercubes with bursty traffic pattern. In: Proceedings of the 2003 ACM symposium on Applied computing. ACM Press, pp. 985-989. ISBN 1-58113-624-2

Mohamed, R. (2001) No Bricks in the Wall - Delivering Continuing Professional Development Through Web Technology. Masters thesis, University Of Strathclyde.

Mohamed, R. and Ferguson, J.D. and Elsweiler, D. and MacCormick, A. and Wilson, J. and Weir, G.R.S. (2004) BulB - visualizing bulletin board activity. In: Proceedings of the 6th International Conference on Enterprise Information Systems, 2004-04-14 - 2004-04-17, Porto, Portugal.

Mohamed, R. and Ferguson, J.D. and MacCormick, A. and Elsweiler, D. (2004) Developing bulletin board visualizations. In: Proceedings of the IADIS International Conference on Web Based Communities, 2004-03-24 - 2004-03-26, Lisbon, Portugal.

Mohamed, R. and Ferguson, J.D. and Weir, G.R.S. and Wilson, J. and Cameron, S. (2002) Supporting arts and science communities on-line. In: World Conference on Educational Multimedia, Hypermedia and Telecommunications Proceedings (ED-MEDIA 2002). Association for the Advancement of Computing in Education (AACE).

Mohamed, Rehman (2007) Supporting Members of Online Communities Through the Use of Visualisations. PhD thesis, University Of Strathclyde.

Mohd, M. and Crestani, F. and Ruthven, I. (2009) Design of an interface for interactive topic detection and tracking. [Proceedings Paper]

Moir, I. and Weir, G. R. S. (2009) Contact centres and identity theft. International Journal of Electronic Security and Digital Forensics, 2 (1). pp. 92-100.

Morgan, J. and Howick, S. and Belton, V. (2011) Designs for the complementary use of system dynamics and discrete-event simulation. [Proceedings Paper]

Morris, Peter and Altenkirch, Thorsten and Ghani, Neil (2009) A universe of strictly positive families. International Journal of Foundations of Computer Science, 20 (1). pp. 83-107. ISSN 0129-0541

Mostarda, Leonardo and Dong, Changyu and Dulay, Naranker (2010) Context-based authentication and transport of cultural assets. Personal and Ubiquitous Computing, 14 (4). pp. 321-334. ISSN 1617-4909

Murphy, P. and Miller, J. (1997) A process for asynchronous software inspection. In: Software Technology and Engineering Practice, 1997. Proceedings., Eighth IEEE International Workshop on [incorporating Computer Aided Software Engineering]. IEEE.

N

Neely, S. (2003) Mobile Computations Over Distributed Semistructured Data. PhD thesis, University Of Strathclyde.

Neely, S. and Lowe, H. and Eyers, D. and Bacon, J. and Newman, J. and Gong, X. (2004) An Architecture for supporting vicarious learning in a Distributed Environment. In: ACM Symposium on Applied Computing, 2004-03-14 - 2004-03-17, Nicosia, Cyprus.

Neumüller, M. and Wilson, J. (2003) Improving XML processing using adapted data structures. In: Web, Web-Services, and Database Systems. NODe 2002, Web- and Database-Related Workshops. Lecture Notes in Computer Science . Springer, pp. 206-220. ISBN 3540007458

Neumüller, M. (2002) Compact data structures for querying XML. In: EDBT 2002 PhD Worshop, 2002-03-28, Prague, Czech Republic.

Neumüller, M. (2002) Compact in-memory representation of XML data - design and implementation of a compressed DOM for data-centric documents. [Report]

Neumüller, M. (2001) Compression of XML Data. Masters thesis, University Of Strathclyde.

Neumüller, M. and Wilson, J. (2004) A model for querying semistructured data through the exploitation of regular sub-structures. In: Postgraduate Research Conference in Electronics, Photonics, Communications and Software (PREP 04), 2004-04-05 - 2004-04-07, Hertfordshire, UK.

Newman, J. and Lowe, H. and Neely, S. and Gong, X. and Eyers, D. and Bacon, J. (2004) A Tutorial task and tertiary courseware model for collaborative learning communities. Electronic Journal on E-Learning, 2 (1). pp. 159-166. ISSN 1479-4403

Newton, M.A. Hakim and Levine, John and Fox, Maria and Long, Derek (2007) Learning macro-actions for arbitrary planners and domains. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007). AAAI Press, California, USA, pp. 256-263. ISBN 1577353447

Newton, M. A. H. and Levine, J. (2007) Evolving macro-actions for planning. [Proceedings Paper]

Newton, M. A. H. and Levine, J. (2010) Implicit Learning of Macro-Actions for Planning. [Proceedings Paper]

Newton, M. A. H. and Levine, J. and Fox, M. (2005) Genetically evolved macro-actions in AI planning problems. [Proceedings Paper]

Newton, M. A. H. and Levine, J. and Fox, M. and Long, D. (2006) Learning macro-actions genetically from plans. [Proceedings Paper]

Niven, Jennifer and Harris, Rachel A and Williams, Dorothy (2002) Motivation to use online learning communities : a methodological outline. [Proceedings Paper]

Nixon, Paddy and Cahill, Vinny and Rabhi, Fethi (1997) Building parallel and distributed Systems. Computer Journal, 40 (8). pp. 463-464. ISSN 0010-4620

Nixon, P. and Cahill, V. (1998) Mobile computing : technologies for a disconnected society. IEEE Internet Computing, 2 (1). pp. 19-21. ISSN 1089-7801

Nixon, P. and Dobson, S. and Terzis, S. and Wang, F. (2002) Architectural implications for context adaptive smart spaces. In: 5th IEEE International Workshop on Networked Appliances, 2002-10-30 - 2002-10-31, Liverpool.

Nixon, P. and Wagealla, W. and English, C. and Terzis, S. (2004) Privacy, Security, and Trust Issues in Smart Environments. In: Smart Environments: Technology, Protocols and Applications. Wiley, London, UK, pp. 220-240. ISBN 978-0-471-54448-7

Nixon, Patrick and Terzis, Sotirios (2003) Trust management. Lecture Notes in Computer Science . Springer-Verlag Berlin, Heidelberg. ISBN 9783540402244

Nosseir, A. and Connor, R. and Revie, C. and Terzis, S. (2006) Question-based authentication using context data. In: Proceedings of the 4th Nordic Conference on Human-Computer Interaction: Changing Roles. ACM International Conference Proceeding Series, 189 . ACM Press, Oslo, Norway, pp. 429-432. ISBN 1-59593-325-5

Nosseir, Ann and Connor, Richard and Revie, Crawford (2006) An empirical study of an authentication. In: ACM Human Computer Interaction Conference, 2006-04-24 - 2006-04-27, Montreal, Canada.

Nosseir, A. and Connor, R. and Dunlop, M.D. (2005) Internet authentication based on personal history - a feasibility test. In: Proceedings of Customer Focused Mobile Services Workshop at WWW2005. ACM Press. ISBN 1-59593-046-9

Nosseir, A. and Terzis, S. (2010) A study in authentication via electronic personal history questions. [Proceedings Paper]

Nosseir, A. and Terzis, Sotirios (2011) Novice user perception of e-services : a study in the Egyptian public sector. [Proceedings Paper]

Nosseir, A. and Terzis, Sotirios (2011) Towards authentication via selected extraction from electronic personal histories. [Proceedings Paper]

Nurminen, M.I. and Weir, G.R.S. (1991) Human jobs and computer interfaces: Proceedings of the IFIP WG 9.1 Working Conference, Tampere, Finland, 26-28 June 1991. Elsevier, Amsterdam, Holland. ISBN 0444894241

O

O'Connell, M. and Nixon, Paddy (2000) Next generation business-to-business e-commerce. In: Electronic Commerce and Web Technologies. Lecture Notes in Computer Science, 1875/2000 . Springer, pp. 452-466. ISBN 978-3-540-67981-3

O'Donnell, R. and MacMorrow, N. and Henderson, K. (1999) A framework for courseware development. In: Educational Innovation in Economics and Business VI: Teaching Today the Knowledge of Tomorrow. Educational Innovation in Economics and Business, 6 . Springer. ISBN 978-1-4020-0478-0

O'Loan, S. and Poulter, A. and McMenemy, D. (2005) Old wine in new bottles: Scottish sectarianism and online communities. In: GOR'05 - International General Online Research Conference, Zurich, 2005-03-22 - 2005-03-23, Zurich, Switzerland.

O'Loan, S. and Poulter, A. and McMenemy, D. (2005) The Extent of Sectarianism Online. [Report]

Ogilvie, D. and Egan, M. and Hamilton, V. and Petticrew, M. (2004) Promoting walking and cycling as an alternative to using cars: systematic review. British Medical Journal, 329 (7469). pp. 763-766. ISSN 0959-8138

Ogilvie, Russell and Weir, George R S (2012) Genre-based information hiding. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 99. pp. 104-111. ISSN 1867-8211

Olcer, A.I. and Tuzcu, C. and Turan, O. (2005) An integrated multi-objective optimisation and fuzzy multi-attributive group decision-making technique for subdivision arrangment of Ro-Ro vessels. Applied Soft Computing, 6 (3). pp. 221-243. ISSN 1568-4946

Omoronyia, I. and Ferguson, J. and Roper, M. and Wood, M. (2009) Using developer activity data to enhance awareness during collaborative software development. Computer Supported Cooperative Work, 18 (5-6). pp. 509-558. ISSN 0925-9724

Omoronyia, I. and Sindre, G. and Roper, M. and Ferguson, J. and Wood, M. (2009) Use case to source code traceability : the developer navigation view point. [Proceedings Paper]

Owolabi, O. and Ferguson, J.D. (1988) Approximate string matching: investigations with a hardware string comparator. In: Proceedings of the 4th International Conference on Pattern Recognition. Lecture Notes In Computer Science, 301 . Springer, pp. 536-545. ISBN 3-540-19036-8

Owolabi, O. and Ferguson, J.D. (1988) A hardware string comparator. Journal of Microcomputer Applications, 11 (1). pp. 21-30. ISSN 0745-7138

Ozasa, T. and Weir, G. and Fukui, M. (2007) Measuring readability for Japanese learners of english. [Proceedings Paper]

Ozawa, S. and Roy, A. and Roussinov, D. (2009) A multitask learning model for online pattern recognition. IEEE Transactions on Neural Networks, 20 (3). pp. 430-445. ISSN 1045-9227

P

Pacione, M.J. and Roper, M. and Wood, M. (2004) A novel software visualisation model to support software comprehension. In: 11th Working Conference on Reverse Engineering, 2004-11-08 - 2004-11-12, Delft.

Pacione, M.J. (2004) Software visualisation for object-oriented program comprehension. In: 26th International Conference on Software Engineering, 2004-05-23 - 2004-05-28, Edinburgh.

Pacione, Michael J. and Roper, Marc and Wood, Murray (2003) A comparative evaluation of dynamic visualisation tools. In: 10th Working Conference on Reverse Engineering, 2003-11-13 - 2003-11-16, Victoria.

Papadakis, N. and Reynolds, N. and Pharaoh, M. and Wood, Paul and Smith, G.F. (2004) Strain rate effects on the shear properties of a highly orientated thermoplastic composite material using a contacting displacement measurement methodology – Part B: Damage evolution. Composites Science and Technology, 64 (5). pp. 739-748. ISSN 0266-3538

Parkes, Edward (2011) Comment on “Application of (G′/G)-expansion method to travelling-wave solutions of three nonlinear evolution equation" [Comput Fluids 2010;39;1957-63]. Computers and Fluids, 42 (1). pp. 108-109. ISSN 0045-7930

Paterson, J. and Wilson, J. N. and Leimich, P. (2012) Uses of peer assessment in database teaching and learning. [Proceedings Paper]

Patronis, Alexander and Lockerby, Duncan A. and Borg, Matthew K. and Reese, Jason M. (2013) Hybrid continuum–molecular modelling of multiscale internal gas flows. Journal of Computational Physics, 255. pp. 558-571. ISSN 0021-9991

Pattison, D. and Long, D. (2010) Domain independent goal recognition. [Proceedings Paper]

Pattison, David and Long, Derek (2011) Accurately determining intermediate and terminal plan states using bayesian goal recognition. [Proceedings Paper]

Petric, J. and Ucelli, G. and Conti, G. (2003) Real teaching and learning through virtual reality. International Journal of Architectural Computing, 1 (1). pp. 2-11. ISSN 1478-0771

Ping, Yu and Glover, I.A. and Watson, P. and Davies, O. and Ventouras, S. and Wrench, C. (2006) Review and comparison of tropospheric scintillation prediction models for satellite communications. International Journal of Satellite Communications and Networking, 24 (4). pp. 283-302. ISSN 1542-0973

Plowman, L. and Stevenson, O. and Mcpake, J. and Stephen, C. and Adey, C. (2011) Parents, pre-schoolers and learning with technology at home : some implications for policy. Journal of Computer Assisted Learning, 27 (4). pp. 361-371. ISSN 0266-4909

Porayska-Pomsta, K. and Frauenberger, C. and Pain, H. and Rajendran, G. and Smith, T. and Menzies, R. and Foster, M.E. and Alcorn, A. and Wass, S. and Bernadini, S. (2011) Developing technology for autism : an interdisciplinary approach. Personal and Ubiquitous Computing, 16 (2). pp. 117-127. ISSN 1617-4909

Porteous, J. and Cresswell, S. (2002) Extending landmarks analysis to reason about resources and repetition. In: Proceedings of the 21st Workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG '02), 2002-11-21 - 2002-11-22, Delft, The Netherlands.

Porteous, J. and Long, D. and Fox, M. (2004) The identification and exploitation of almost symmetry in planning problems. In: 23rd UK Planning and Scheduling Special Interest Group, 2004-12-20 - 2004-12-21, Cork.

Porteous, Julie and Sebastia, Laura and Hoffmann, Jorg (2001) On the extraction, ordering, and usage of landmarks in planning. In: 6th European Conference on Planning, 2001-09-19, Toledo.

Poulter, A. (2003) Encyclopedia of Library and Information Science. In: Browsing the Virtual Library. Marcel Dekker, pp. 389-396. ISBN 0-8247-2075-X

Poulter, A. (2003) Metaviews: Metadata research and teaching in the UK and Ireland. Journal of Internet Cataloging, 6 (3). pp. 7-16. ISSN 1091-1367

Poulter, A. and Hiom, D. and McMenemy, D. (2005) The Library and Information Professional's internet companion. Facet Publishing. ISBN 1856045099

Poulter, A. (2010) Education in Library Management Systems (ELMS). In: HEA Conference 2010, 2010-06-22 - 2010-06-23, Hertfordshire.

Poulter, A. (2009) Koha in the university classroom. In: Open Libraries: Breaking the Barriers 2009, 2009-01-01.

Poulter, A. and Ferguson, I. (2008) Detecting and deterring public computer misuse : the FRILLS project. In: Scottish Library and Information Council AGM and Development Fund showcase, 2008-11-05 - 2008-11-05, Edinburgh.

Poulter, A. and Ferguson, Ian and McMenemy, David and Glassey, Richard (2010) FRILLS. University of Strathclyde, Glasgow.

Poulter, Alan (2011) IT for the LIS professional : what knowledge and skills does a digital librarian need? In: Umbrella 2011, 2011-07-12 - 2011-07-13, Hatfield.

Poulter, Alan and Ferguson, Ian and Mcmenemy, David and Glassey, Richard James (2009) Question: where would you go to escape detection if you wanted to do something illegal on the Internet? Hint: shush! [Proceedings Paper]

Q

Quigley, J.L. and Walls, L.A. (2005) Nonparametric bootstrapping of the reliability function for multiple copies of a repairable item modeled by a birth process. IEEE Transactions on Reliability, 54 (4). pp. 604-611. ISSN 0018-9529

R

Razali, Akhtar and Qin, Yi (2010) FE simulation of sheet-metal feeding in micro-forming. In: 21st International Computer-Aided Production Engineering Conference (CAPE 2010), 2010-04-13 - 2010-04-14, Edinburgh. (Unpublished)

Reid, J. and Dunlop, M.D. (2003) Evaluation of a prototype interface for structured document retrieval. In: Proceedings of HCI 2003. Springer. ISBN 3-540-40821-5

Ren, Jinchang and Jiang, J. and Wang, D. and Ipson, S. (2010) Fusion of intensity and inter-component chromatic difference for effective and robust colour edge detection. IET Image Processing, 4 (4). pp. 294-301.

Ren, Jinchang and Jiang, J. (2009) Hierarchical modelling and adaptive clustering for real-time summarization of rush videos. IEEE Transactions on Multimedia, 11 (5). pp. 906-917. ISSN 1520-9210

Ren, Jinchang and Jiang, J. and Chen, J. (2009) Shot boundary detection in MPEG videos using local and global indicators. IEEE Transactions on Circuits and Systems for Video Technology, 19 (8). pp. 1234-1238. ISSN 1051-8215

Ren, Jinchang and Jiang, J. and Feng, Y. (2010) Activity-driven content adaptation for effective video summarisation. Journal of Visual Communication and Image Representation, 21 (8). pp. 930-938.

Ren, Jinchang and Jiang, J. and Vlachos, T. (2010) High-accuracy sub-pixel motion estimation from noisy images in Fourier domain. IEEE Transactions on Image Processing, 19 (5). pp. 1379-1384. ISSN 1057-7149

Ren, Jinchang and Vlachos, T. (2010) Detection of dirt impairments from archived film sequences : survey and evaluations. Optical Engineering, 49 (6). ISSN 0091-3286

Ren, Jinchang and Wang, Zheng and Sun, Meijun and Soraghan, John (2013) Effective classification of microcalcification clusters using improved support vector machine with optimised decision making. In: Seventh International Conference on Image and Graphics (ICIG), 2013. IEEE, Piscataway, New Jersey, pp. 390-393. ISBN 9780769550503

Ren, Jinchang and Xu, M. and Orwell, J. and Jones, G. (2010) Multi-camera video surveillance for real-time analysis and reconstruction of soccer games. Machine Vision and Applications, 21 (6). pp. 855-863.

Ren, Jinchang and Zabalza, Jaime and Marshall, Stephen and Zheng, Jiangbin (2014) Effective feature extraction and data reduction with hyperspectral imaging in remote sensing. IEEE Signal Processing Magazine, 31 (4). pp. 149-154. ISSN 1053-5888

Revie, C. and McKenrick, I. and Gu, Y. and Gettinby, G. (1998) Application of bayesian belief network for disease diagnosis. In: Artificial Intelligence Research in Environmental Science (AIRIES'98), 1998-10-21 - 1998-10-23, Victoria, Canada.

Revie, C. and McKenrick, I. and Reid, S. and Irwin, T. and Gu, Y. and Gettinby, G. (1996) The application of hybrid information systems to decision support in the veterinary and agricultural domains. In: Proceedings of the Annual Conference of the Society for Veterinary Epidemiology and Preventive Medicine, 1996-03-01, Glasgow, UK.

Revie, C.W. (2006) The Development of an Epi-Informatics Approach to Increase Understanding of the Relationships Between Farmed Fish and their Parasites. PhD thesis, University Of Strathclyde.

Revie, C.W. (1992) Open systems: the key to effective information flow. In: Information management - from strategies to action. ASLIB, London, UK, pp. 125-156. ISBN 0851422810

Revie, C.W. and Gettinby, G. and McKenzie, E. and Kelly, L. and Wallace, C. and Treasurer, J.W. (2005) Evidence of inter-species interaction between sea lice in Scottish salmon farms? In: European Conference of the Society of Veterinary Epidemiology and Preventive Medicine, 2005-03-30 - 2005-04-01, Nairn.

Revie, C.W. and Gettinby, G. and Treasurer, J.W. (2004) Study reveals regularity of Caligus elongatus infection. Fish Farmer, 27 (3). pp. 8-10. ISSN 0262-9615

Revie, C.W. and Gettinby, G. and Treasurer, J.W. (2002) The epidemiology of the sea lice species Lepeophtheirus Salmonis and Caligus Elongatus on commercial salmon farms in Scotland. In: 10th International Congress of Parasitology - ICOPA X, 2002-08-02 - 2002-08-09, Vancouver, Canada.

Revie, C.W. and Gettinby, G. and Treasurer, J.W. and Grant, A.N. and Reid, S.W.J. (2002) Sea lice infestations on farmed Atlantic salmon in Scotland and the use of ectoparasitic treatments. Veterinary Record, 151 (25). pp. 753-757. ISSN 0042-4900

Revie, C.W. and Gettinby, G. and Treasurer, J.W. and Wallace, C. (2004) Environmental and management factors associated with sea lice levels on Scottish salmon farms. Fish Farmer, 27 (4). pp. 35-37. ISSN 0262-9615

Revie, C.W. and Gettinby, G. and Treasurer, J.W. and Wallace, C. (2003) Identifying epidemiological factors affecting sea lice (Lepeophtheirus salmonis)abundance on Scottish salmon farms using general linear models. Diseases of Aquatic Organisms, 57 (1-2). pp. 85-95. ISSN 0177-5103

Revie, C.W. and Heuch, P.A. and Gettinby, G. (2003) Epidemiological patterns of Lepeophtheirus salmonis infections: A country-level comparison on salmon farms in Norway and Scotland. In: 6th International Conference on Sea Lice Biology and Control, 2003-07-01 - 2003-07-04, St Andrews.

Revie, C.W. and Reid, S.W.J. and Irwin, T. and Love, S. and Mellor, D.J. and Gettinby, G. (1994) EqWise and the development of diagnostic aids in Equine coughing. International Journal of Applied Expert Systems, 2. pp. 175-190. ISSN 0969-9317

Revie, Crawford and Gettinby, George and Treasurer, J.W. and Rae, Gordon H (2002) The epidemiology of the sea lice, Caligus elongatus Nordmann, in marine aquaculture of Atlantic salmon, Salmo salar L., in Scotland. Journal of Fish Diseases, 25 (7). pp. 391-399. ISSN 0140-7775

Revie, Crawford and Gettinby, George and Treasurer, J.W. and Rae, Gordon H and Clark, Norman (2002) Temporal, environmental and management factors influencing the epidemiological patterns of sea lice (Lepeophtheirus salmonis) infestations on farmed Atlantic salmon (Salmo salar L.) in Scotland. Pest Management Science, 58 (6). pp. 576-584. ISSN 1526-498X

Revie, Crawford and Gettinby, George and Treasurer, J.W. and Wallace, C. (2005) Evaluating the effect of clustering when monitoring the abundance of sea lice populations on farmed Atlantic salmon. Journal of Fish Biology, 66 (3). pp. 773-783. ISSN 0022-1112

Revie, C.W. and Gettinby, G. and Treasurer, J.W. and Ritchie, G. (2003) The use of a general linear model to identify epidemiological factors affecting the abundance of chalimus stages of the sea louse (Lepeophtheirus salmonis) on Scottish salmon farms. In: Proceedings of the 10th Symposium of the International Society for Veterinary Epidemiology and Economics. Sci Quest.

Rezgui, Y. and Body, S. and Bouchlaghem, D. and Hassanen, M.A.H. and Cooper, G. and Barrett, P. and Austin, S. (2001) Proposed IT-based approach for managing the construction brief effectively. In: CIB-W78 International Conference. IT in Construction in Africa 2001. Council for Scientific and Industrial Reasearch, Division of Building and Construction Technology, South Africa. ISBN 9780798855310

Ritchie, R.A. and Weir, G.R.S. (1990) Menu-based extensions to GNU Emacs. In: Proceedings of the fifth conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and computers V, 1989-08-05 - 1989-08-08, Nottingham, UK.

Ritchie, C. S. (2009) Using all the tools in our arsenal. Post-Lib, In pre.

Ritchie, G. and Levine, J. (2003) A fast, effective local search for scheduling independent jobs in heterogeneous computing environments. [Proceedings Paper]

Ritchie, G. and Levine, J. (2004) A hybrid ant algorithm for scheduling independent jobs in heterogeneous computing environments. [Proceedings Paper]

Robinson, I. and Irvine, J. (2004) A design flow for partially reconfigurable hardware. ACM Transactions in Embedded Computing Systems, 3 (2). pp. 257-283. ISSN 1539-9087

Rodden, K. and Ruthven, I. and White, R. W. (2007) Workshop on web information seeking and interaction. [Proceedings Paper]

Roelleke, Thomas and Lalmas, Mounia and Kazai, Gabriella and Ruthven, Ian and Quicker, Stefan (2002) The accessibility dimension for structured document retrieval. In: Advances in Information Retrieval. Lecture Notes in Computer Science, 2291 . Springer, Germany, pp. 284-302. ISBN 978-3-540-43343-9

Rooney-Browne, C. (2008) Changing the way we look at libraries? An evaluation of East Renfrewshire's Look at Libraries festival. Library Review, 57 (1). pp. 50-66.

Roper, M. (1997) Computer aided software testing using genetic algorithms. In: 10th International Quality Week, 1997-05-27 - 1997-05-30, San Fransisco.

Roper, M. (2001) Software testing. In: Encyclopaedia of Physical Science and Technology (3rd Edition), Volume 15. Academic, pp. 41-47. ISBN 0122274105

Roper, M. and Dunsmore, A. and Wood, M. (2003) Software inspections. In: Advances in Computers: Highly Dependable Software (Advances In Computers, Volume 58). Advances in Computers, 58 . Elsevier Science, Oxford, UK, pp. 203-238. ISBN 0120121581

Roper, M. and Wood, M. and Miller, J. (1997) An Empirical Evaluation of Defect Detection Techniques. Information and Software Technology, 39 (11). pp. 763-775. ISSN 0950-5849

Roper, M. (2009) Artifical immune systems, danger theory, and the oracle problem. [Proceedings Paper]

Ross, Andrew (2013) Nowcasting with Google Trends : a keyword selection method. Fraser of Allander Economic Commentary, 37 (2). pp. 54-64. ISSN 2046-5378

Roussinov, D. and Turetken, O. (2009) Exploring models for semantic category verification. Information Systems, 34 (8). pp. 753-765. ISSN 0306-4379

Roussinov, Dmitri (2011) Towards semantic category verification with arbitrary precision. [Proceedings Paper]

Russell, George and Neumüller, Mathias and Connor, Richard (2003) TypEx: a type based approach to XML stream querying. In: Proceedings of the International Workshop on Web and Databases (WebDB' 03). WebDB, pp. 55-60.

Russello, Giovanni and Dong, Changyu and Dulay, Naranker and Chaudron, Michel and van Steen, Maarten (2010) Providing data confidentiality against malicious hosts in shared data spaces. Science of Computer Programming, 75 (6). pp. 426-439. ISSN 0167-6423

Ruthven, I. (2004) Incorporating aspects of information use into relevance feedback. Journal of Intelligent Information Systems, 2 (1). pp. 83-88. ISSN 0925-9902

Ruthven, I. (2005) Integrating approaches to relevance. In: New Directions in Cognitive Information Retrieval. Springer, pp. 61-80. ISBN 1-4020-4013-X

Ruthven, I. and Lalmas, M. (2002) Using Dempster-Shafer's Theory of Evidence to combine aspects of information use. Journal of Intelligent Information Systems, 19 (3). pp. 267-301. ISSN 0925-9902

Ruthven, I. (1996) Recasting the context in information retrieval. In: Second International Workshop on Information retrieval, Logic and Uncertainty, 1996-07-12, Glasgow, Scotland.

Ruthven, I. and Lalmas, M. (1999) Selective relevance feedback using term characteristics. In: Proceedings of the Third International Conference on Conceptions of Library and Information Science (CoLIS 3), 1999-05-23 - 1999-05-26, Dubrovnik, Croatia.

Ruthven, I. and Lalmas, M. and van Rijsbergen, C.J. (1999) Retrieval through explanation: an abductive inference approach to relevance feedback. In: 10th Irish Conference on Artificial Intelligence and Cognitive Science, 1999-09-01 - 1999-09-03, Cork, Ireland.

Ruthven, I. and Tombros, A. and Jose, J.M. (2001) A study on the use of summaries and summary-based query expansion for a question-answering task. In: 23rd BCS European Annual Colloquium on Information Retrieval Research (ECIR 2001), 2001-04-04 - 2001-04-06, Darmstadt, Germany.

Ruthven, I. and van Rijsbergen, C.J. (1996) Context generation and information retrieval. In: Florida Artificial Intelligence Research Symposium (Flairs 96), 1996-05-20 - 1996-05-22, Florida, USA.

Ruthven, Ian and Lalmas, Mounia (2003) A survey on the use of relevance feedback for information access systems. Knowledge Engineering Review, 18 (2). pp. 95-145. ISSN 0269-8889

Ruthven, Ian and Lalmas, Mounia and Roelleke, Thomas (2003) Abductive retrieval for multimedia information seeking. In: 10th International Conference on Human-Computer Interaction. HCI International, 2003-06-22 - 2003-06-27, Crete, Greece.

Ruthven, Ian and Lalmas, Mounia and van Rijsbergen, Keith (2002) Ranking expansion terms using partial and ostensive evidence. In: 4th International Conference on Conceptions of Library and Information Science. CoLIS 4, 2002-07-21 - 2002-07-25, Seattle, USA.

S

Salamon, C. and Corney, J.R. and Ritchie, J.M. (2008) Information hiding through variance of the parametric orientation underlying a B-rep face. In: Information Hiding: 10th International Workshop, IH 2008, Sana Barbara, CA, USA, May 19-21, 2008, Revised Selected Papers. Lecture Notes in Computer Science, 5284 . Springer, Berlin, Germany, pp. 268-282. ISBN 9783540889601

Sanderson, Mark and Ruthven, Ian (1996) Report on the Glasgow IR group (glair4) submission. In: Proceedings of the Fifth Text Retrieval Conference (TREC-5), 1995-11-01 - 1995-11-03, Washington, USA.

Sanford, Alison and Anderson, A. and Mullin, J. (2003) Adapting communicative strategies to computer mediated communication: an analysis of task performance and dialogue structure. Applied Cognitive Psychology, 17 (3). pp. 325-348. ISSN 1099-0720

Sanford, Alison and Anderson, A. and Mullin, J. (2004) Audio channel constraints in video-mediated communication. Interacting with Computers, 16 (6). pp. 1069-1094. ISSN 09535438

Sclater, N. and McDonald, D. (2004) Item bank system requirements specification. [Report]

Sclater, N. and Boyle, E. and Bull, J. and Church, C. and Craven, P. and Cross, R. and Danson, M. and Halliday, L. and Howie, I. and Kelly, J.X. and Lay, S. and Massey, M. and McAlpine, M. and McDonald, D. and Macdonald, M. and Rogers, S. and White, S. (2005) Defining the infrastructure for a national item bank service. In: Proceedings of the 9th International CAA Conference. Loughborough University, Loughborough, United Kingdom.

Seidel, M. and Breslin, C. and Christley, R.M. and Gettinby, G. and Reid, S.W.J. and Revie, C.W. (2003) Comparing diagnoses from expert systems and human experts. Agricultural Systems, 76 (2). pp. 527-538. ISSN 0308-521X

Shackelford, R. and Cross, J. and Davies, G. and Impagliazzo, J. and Kamali, R. and LeBlanc, R. and Lunt, B. and McGettrick, A.D. and Sloan, R. and Topi, H. (2004) CE 2004: Computer engineering: curriculum guidelines for undergraduate degree programmes in computer engineering. IEEE.

Shaer, O. and Hornecker, E. (2010) Tangible user interfaces : past, present and future directions. Foundations and Trends in Human-Computer Interaction, 3 (1-2). pp. 1-137.

Shah, S.W. and Nixon, P. and Ferguson, R.I. (2004) On the use of IP multicast to facilitate group communication between mobile agents. In: IEEE/WIC/ACM International conference on Intelligent Agent Technology, 2004-09-20 - 2004-09-24, Beijing, China.

Shahriar, A.Z.M. and Akbar, M.M. and Rahman, M.S. and Newton, M.A.H. (2008) A multiprocessor based heuristic for multi-dimensional multiple-choice knapsack problem. Journal of Supercomputing, 43 (3). pp. 257-280. ISSN 0920-8542

Shiratuddin, Norshuhada and Landoni, Monica and Gibb, Forbes and Hassan, Shahizan (2004) E-book technology and its potential applications in distance education. Journal of Digital Information, 3 (4). ISSN 1368-7506

Shiri, A.A. and Revie, C.W. (2004) End-user interaction with thesauri: an evaluation of cognitive overlap in search term selection. In: 8th International Conference of the International Society for Knowledge Organization, 2004-07-13 - 2004-07-16, London.

Shiri, A.A. and Revie, C.W. (2005) Query expansion behaviour within a thesaurus-enhanced search environment. Journal of the American Society for Information Science and Technology, 57 (4). pp. 462-478. ISSN 1532-2882

Shiri, A.A. and Revie, C.W. (2005) Usability and user perceptions of a thesaurus-enhanced search interface. Journal of Documentation, 61 (5). pp. 640-656. ISSN 0022-0418

Shiri, A.A. and Revie, C.W. (2003) The effects of topic complexity and familiarity on cognitive and physical moves in a thesaurus-enhanced search environment. Journal of Information Science, 29 (11). pp. 517-526. ISSN 0165-5515

Shiri, A.A. and Revie, C.W. and Chowdhury, G. (2002) Thesaurus-enhanced search interfaces. Journal of Information Science, 28 (2). pp. 111-122. ISSN 0165-5515

Shiri, A.A. and Revie, C.W. and Chowdhury, G. (2002) Thesaurus-assisted search term selection and query expansion: a review of user-centred studies. Knowledge Organization, 29 (1). pp. 1-19. ISSN 0943-7444

Shokouhi, M. and Baillie, M. and Azzopardi, L. (2007) Updating collection representations for federated search. In: 30th annual international ACM SIGIR conference on Research and development in information retrieval, 2007-07-23 - 2007-07-27, Amsterdam. (Unpublished)

Sim, S.K. and Duffy, A.H.B. (2004) Knowledge transformers: a link between learning and creativity. AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 18 (3). pp. 271-279. ISSN 0890-0604

Sim, Siang Kok and Duffy, Alex H.B. (1998) A foundation for machine learning in design. AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 12 (2). pp. 193-209. ISSN 0890-0604

Simeoni, F. and Lievens, D. and Connor, R. and Manghi, P. (2003) Language Bindings to XML. IEEE Internet Computing, 7 (1). pp. 19-27. ISSN 1089-7801

Simeoni, F. and Manghi, P. and Lievens, D. and Connor, R. and Neely, S. (2002) An Approach to high-level language bindings to XML. Information and Software Technology, 44 (4). pp. 217-228. ISSN 0950-5849

Simeoni, F. (2005) Servicing the federation: the case for metadata harvesting. Lecture Notes in Computer Science, 3232. pp. 389-399. ISSN 0302-9743

Simeoni, F. and Candela, L. and Kakaletris, G. and Sibeko, M. and Pagano, P. and Papanikos, G. and Polydoras, P. and Ioannidis, Y. E. and Aarvaag, D. and Crestani, F. (2009) A grid-based infrastructure for distributed retrieval. [Proceedings Paper]

Simeoni, F. and Candela, L. and Lievens, D. and Pagano, P. and Simi, M. (2009) Functional adaptivity for digital library services in e-infrastructures: the gCube approach. In: Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science . Springer, pp. 51-62. ISBN 978-3-642-15463-8

Simeoni, F. and Lievens, D. (2009) Matchmaking for covariant hierarchies. [Proceedings Paper]

Smith, A.C.J. and Williamson, S. and Smith, J.R. (1990) Transient currents and torques in wound-rotor induction-motors using the finite-element method. IEE Proceedings Electric Power Applications, 137 (3). pp. 160-173. ISSN 1350-2352

Smith, A.J. (2006) Extending the use of plateau-escaping macro-actions in planning. In: International Conference on Automated Planning and Scheduling (ICAPS), 2006-06-06 - 2006-06-10, Cumbria, UK.

Steingrimsson, Einar (2010) Generalized permutation patterns - a short survey. London Mathematical Society Lecture Note Series. 137–152.

Steingrimsson, Einar (2010) The Möbius function of the permutation pattern Poset. Journal of Combinatorics. 39–52.

Steingrimsson, Einar (2010) Permutations sortable by n-4 passes through a stack. Annals of Combinatorics, 14. pp. 45-51.

Stevenson, G. and Nixon, P. and Ferguson, R.I. (2003) A general purpose programming framework for ubiquitous computing environments. In: Ubisys: System Support for Ubiquitous Computing Workshop (UbiCom), 2003-10-12, Seattle, USA.

Stickland, M.T. and McKay, S. and Scanlon, T.J. (2003) The development of a three-dimensional imaging system and its application in computer aided design workstations. Mechatronics, 13 (5). pp. 521-532. ISSN 0957-4158

Streitz, N. and Nixon, P. (2005) The Disappearing Computer. Communications - ACM, 48 (3). pp. 32-35. ISSN 0001-0782

Sturm, Oliver E. and Orton, Richard and Grindlay, Joan and Birtwistle, Marc and Vyshemirsky, Vladislav and Gilbert, David and Calder, Muffy and Pitt, Andrew and Kholodenko, Boris and Kolch, Walter (2010) The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier. Science signaling, 3 (153). -. ISSN 1937-9145

Sweeney, S.O. and Crestani, F. (2006) Effective search results summary size and device size: is there a relationship? Information Processing and Management, 42 (4). pp. 1056-1074. ISSN 0306-4573

Sweeney, S. and Crestani, F. (2003) Supporting searching on small screen devices using summarisation. In: Proceedings of Mobile HCI 2003 International Workshop, 2003-09-08 - 2003-09-11, Udine, Italy.

Swindells, C. and Henderson, K. (1998) Legal regulation of electronic commerce. Journal of Information, Law and Technology, 1998 (3). ISSN 1361-4169

T

Tenneti, R. and Duffy, A.H.B. (2006) Analysing the emotive effectiveness of rendering styles. In: Design Computing and Cognition '06. Springer, Netherlands, pp. 285-304. ISBN 978-1-4020-5130-2

Terzis, S. (1997) Performance Monitoring in Digital Library Systems. Masters thesis, University Of Strathclyde.

Terzis, S. and English, C. and Stevenson, G. and Lowe, H. and McGettrick, A. and Nixon, P. (2002) Using simulation to explore trust lifecycle issues. In: First iTrust Workshop, 2002-09-02 - 2002-09-04, Glasgow.

Terzis, S. and Nixon, P. (1999) Semantic trading: tackling interoperability problems during system integration. In: Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 1999. Proceedings. Lecture Notes in Computer Science, 1743/1999 . Universidad de Malaga, pp. 35-42.

Terzis, S. and Wagealla, W. and English, C. and Nixon, P. (2005) Trust lifecycle management in a global computing environment. In: Global Computing. Lecture Notes in Computer Science, 3267/2005 . Springer, pp. 291-313. ISBN 978-3-540-24101-0

Terzis, S. and Wagealla, W. and English, C. and Nixon, P. and McGettrick, A. (2004) Preliminary Trust Evolution Model. [Report]

Terzis, S. and Wagealla, W. and English, C. and Nixon, P. and McGettrick, A. (2004) Preliminary Trust Exploitation Model. [Report]

Terzis, S. and Wagealla, W. and English, C. and Nixon, P. and McGettrick, A. (2004) Preliminary Trust Formation Model. [Report]

Terzis, Sotirios and Nixon, Paddy and Narasimhan, Nitya and Walsh, Tim (2005) Middleware for pervasive and ad-hoc computing. Personal and Ubiquitous Computing, 9 (6). ISSN 1617-4909

Terzis, S. (2004) Trust lifecycle management in ad-hoc collaborations. In: Second UK-UbiNet Workshop, 2004-05-05 - 2004-05-07, Cambridge.

Terzis, S. and Nixon, P. and Wade, V. and Dobson, S. and Fuller, J. (2000) The future of enterprise groupware applications. In: Enterprise Information Systems. Kluwer Academic Publishers, pp. 99-106. ISBN 978-0-7923-6239-5

Terzis, S. and Wagealla, W. and English, C. and McGettrick, A. and Nixon, P. (2003) The SECURE collaboration model. [Report]

Terzis, Sotirios and Nosseir, A. (2011) Novice user perception of e-services : a study in the Egyptian public sector. In: IEEE Conference on Applied Electrical Engineering and Computing Technologies (AEECT 2011), 2011-12-06 - 2011-12-08, Amman. (In Press)

Thompson, T. and Levine, J. (2009) Realtime execution of automated plans using evolutionary robotics. [Proceedings Paper]

Thompson, T. and McMillan, L. and Levine, J. and Andrew, A. (2008) An evaluation of the benefits of look-ahead in Pac-Man. [Proceedings Paper]

Thompson, Thomas and Levine, John and Hayes, Gillian (2007) EvoTanks: co-evolutionary development of game-playing agents. In: IEEE 2007 Symposium on Computational Intelligence and Games (CIG '07), 2007-04-01 - 2007-04-05, Hawaii, USA.

Thomson, G. and Nixon, P. and Terzis, S. (2005) Situation determination with distributed context histories. In: Proceedings of 1st International Workshop on Exploiting Context Histories in Smart Environments. IEEE, Munich, Germany.

Thomson, G. and Nixon, P. and Terzis, S. (2004) Towards ad-hoc situation determination. In: First International Workshop on Advanced Context Modelling, Reasoning And Management, 2004-01-01, Nottingham, England.

Thomson, G. and Richmond, M. and Terzis, S. and Nixon, P. (2003) An Approach to dynamic context discovery and composition. In: Proceedings of UbiSys '03, System Support for Ubiquitous Computing Workshop, 2003-01-01, Seattle, USA.

Thomson, G. and Stevenson, G. and Terzis, S. and Nixon, P. (2006) A self-managing infrastructure for ad-hoc situation determination. In: Smart Homes and Beyond - ICOST2006 4th International Conference On Smart homes and health Telematics. Assistive Technology Research Series . IOS Press, pp. 157-164. ISBN 978-1-58603-623-2

Thomson, G. and Terzis, S. and Nixon, P. (2006) Situation determination with reusable situation specifications. In: Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, 2006. IEEE, pp. 620-623. ISBN 0769525202

Thomson, G. and Terzis, S. and Nixon, P. (2003) Towards dynamic context discovery and composition. In: 1st UK-UbiNet Workshop, 2003-09-25 - 2003-09-26, London, England.

Thomson, Graham and Terzis, Sortirios (2012) A middleware for pervasive situation-awareness. [Proceedings Paper]

Thomson, Graham and Terzis, Sotirios and Nixon, Paddy (2006) A model and architecture for situation determination. In: 16th Annual International Conference on Computer Science and Software Engineering (CASCON), 2006-10-16 - 2006-10-19, Toronto, Canada.

Ting, Kee Ngoh Alvin and Chieng, David and Kwong, Kae and Andonovic, Ivan (2012) Optimization of heterogeneous multi-radio multi-hop rural wireless network. In: 2012 IEEE 14th International Conference on Communication Technology (ICCT). IEEE, New York, pp. 1159-1165. ISBN 9781467321006

Tolmie, Andrew (2001) Examining learning in relation to the contexts of use of ICT. Journal of Computer Assisted Learning, 17 (3). pp. 235-241. ISSN 0266-4909

Tolmie, Andrew and McAteer, E. and Crook, C. and Macleod, H. and Musselbrook, K. (2002) Learning networks and the issue of communication skills. In: Networked Learning: Perspectives and Issues. Springer-Verlag, pp. 309-322. ISBN 1-85233-471-1

Tolmie, Andrew and McAteer, E. and Harris, Rachel and Chappel, H. and Marsden, S. and Lally, V. (2002) Characterising on-line learning environments. In: Networked Learning 2002: 3rd International Conference Proceedings. Lancaster University and University of Sheffield, Sheffield, UK, pp. 63-69. ISBN 0-902831-41-0

Tombros, A. and Jose, J. and Ruthven, I. (2004) Clustering top-ranking sentences for information access. In: Research and AdvancedTechnology for Digital Libraries. Lecture Notes in Computer Science . Lecture Notes in Computer Science, Springer, Berlin, pp. 523-528. ISBN 3-540-40726-3

Tombros, A. and Jose, J. and Ruthven, I. and White, R.W. (2003) Clustering the information space using top-ranking sentences: a study of user interaction. In: 9th IFIP TC13 International Conference on Human-Computer Interaction. Interact 2003, 2003-09-01 - 2003-09-05, Zurich.

Tombros, A. and Ruthven, I. and Jose, J.M. (2005) How users assess web pages for information-seeking. Journal of the American Society for Information Science and Technology, 56 (4). pp. 327-344. ISSN 1532-2882

Treasurer, J.W. and Revie, C.W. and Gettinby, G. (2004) Examination of extensive data sets reveal patterns of sea lice abundance in Scotland. Fish Farmer, 27 (2). pp. 12-14. ISSN 0262-9615

Tripney, B. and Christopher, Foley and Gourlay, R. and Wilson, J. (2010) Efficient data representation for XML in peer-based systems. International Journal of Web Information Systems, 6 (2). pp. 132-148. ISSN 1744-0084

Tripney, Brian Grieve and Foley, Christopher Eric and Gourlay, Richard Scott and Wilson, John (2009) Sharing large data collections between mobile peers. [Proceedings Paper]

V

Vegas, J. and de la Fuente, P. and Crestani, F. (2003) WebDocBall: a graphical visualisation tool for web search results. In: Proceedings of ECIR 2003, 2003-04-14 - 2003-04-16, Pisa, Italy.

Vella, M. and Roper, M. and Terzis, S. (2010) Danger theory and intrusion detection : possibilities and limitations of the analogy. [Proceedings Paper]

Vella, Mark Joseph and Terzis, Sortirios and Roper, Marc (2012) Distress detection. [Proceedings Paper]

Villa, R. and Wilson, R. and Crestani, F. (2004) Ontology mapping by concept similarity. In: International Conference on Digital Libraries (ICDL 2004), 2004-02-24 - 2004-02-27, New Dehli, India.

Villa, R. and Wilson, R. and Crestani, F. (2004) An experiment with ontology mapping using concept similarity. In: Recherche d'Information Assistee par Ordinateur (RIAO 2004), 2004-04-26 - 2004-04-28, Avignon, France.

W

Wagealla, W. and Carbone, M. and English, C. and Terzis, S. and Nixon, P. (2003) A formal model of trust lifecycle management. In: Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), 2003-09-08 - 2003-09-12, Pisa, Italy.

Wagealla, W. and Terzis, S. and English, C. (2003) Trust-based model for privacy control in context aware systems. In: Second Workshop on Security in Ubiquitous Computing at the Fifth Annual Conference on Ubiquitous Computing (UbiComp2003), 2003-10-12 - 2003-10-15, Washington, USA.

Wagealla, W. and Terzis, S. and English, C. and Nixon, P. (2003) On trust and privacy in context-aware systems. In: Second Internal iTrust Workshop On Trust Management In Dynamic Open Systems, 2002-09-15 - 2002-09-17, Glasgow.

Walkinshaw, N.D. and Roper, R.M. and Wood, M.I. (2007) Feature location and extraction using landmarks and barriers. In: 23rd International Conference on Software Maintenance, 2007-10-02 - 2007-10-05, Paris, France.

Walkinshaw, N. and Roper, M. and Wood, M. (2003) The Java system dependence graph. In: Proceedings of Source Code Analysis and Manipulation (SCAM'03), 2003-09-26 - 2003-09-27, Amsterdam, The Netherlands.

Walkinshaw, N. and Roper, M. and Wood, M. (2005) Understanding object-oriented source code from the behavioural perspective. In: Proceedings of the 13th International Workshop on Program Comprehension (IWPC'05). IWPC, USA. ISBN 0-7695-2254-8

Wang, F. and Nixon, P. (2004) Supporting mobile context-aware applications on a global scale. In: IEEE International Conference on Mobile Data Management (MDM'04), 2004-01-19 - 2004-01-22, California, USA.

Wang, Wen and Xiong, Youlun and Wang, Hong and Yue, Hong (2008) MIMO probability density function control using simple LOG-MLP neural networks. In: Intelligent Robotics and Applications. Lecture Notes in Computer Science . Springer, Berlin, pp. 820-828. ISBN 9783540885160

Weber, Stefan and Nixon, P. and Tangney, Brendan (2002) A flexible framework for consistency management. Concurrency and Computation: Practice and Experience, 14 (1). pp. 33-53. ISSN 1532-0626

Weir, G.R.S. (1989) GRADIENT: graphical dialogue support for process control. In: IEE Colloquium on User Interface Management Systems, 1989-11-17, London.

Weir, G.R.S. (1988) Graphical dialogue support for process operators. In: Modern Trends in Information Technology, Proceedings of (SEARCC'88) Seventh Biennial Convention of South East Asia Regional Computer Confederation. McGraw-Hill. ISBN 0074603124

Weir, G.R.S. (1991) Human-Computer interaction and complex systems: an intimate relationship. In: Information System, Work and Organization Design. North Holland, Amsterdam, pp. 327-335. ISBN 0444885463

Weir, G.R.S. (1992) Interface economics: standards, needs and desires. In: Nord Data'92, 1992-06-01, Tampere.

Weir, G.R.S. (1991) Living with complex interactive systems. In: Human-Computer Interaction and Complex Systems. Computers and People Series . Academic Press, Florida, USA, pp. 1-15. ISBN 0127426604

Weir, G.R.S. (2003) Meaningful interaction in complex man-machine systems. Reliability Engineering and System Safety, 38 (1/2). pp. 151-156. ISSN 09518320

Weir, G.R.S. (2004) Practical selection of an electronic course work submission procedure. In: 34th ASEE/IEEE Frontiers in Education Conference, 2004-10-20 - 2004-10-23, Georgia, USA.

Weir, G.R.S. (1985) Sitting on Ryle's dilemma. Philosophical Studies, 47 (2). pp. 295-303. ISSN 0031-8116

Weir, G.R.S. (2002) The rigours of on-line student assessment: lessons from E-commerce. In: International Conference on Computers in Education (ICCE2002), 2002-12-03 - 2002-12-06, Auckland, New Zealand.

Weir, G.R.S. and Alty, J.L. (1991) Human Computer Interaction and Complex Systems. Computers and People Series . Academic Press, Florida, USA. ISBN 0127426604

Weir, G.R.S. and Davenport, C. (1986) PRIAM : a plan-based interface design. In: 2nd Symposium on Human Interface, 1986-10-29 - 1986-10-30, Tokyo.

Weir, G.R.S. and Lepouras, G. and Sakelleridis, L. (1996) Second language help for Windows applications. In: People and Computers XI: Proceedings of HCI'96, 1996-08-01, London, UK.

Weir, G.R.S. and Lind, M. (1993) Content and form in human-machine interaction. In: 5th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Man-Machine Systems (MMS92), 1992-06-09 - 1992-06-11, The Hague.

Weir, G.R.S. and Vilner, T. and Mendes, A.J. and Nordstrom, M. (2005) Difficulties teaching Java in CS1 and how we aim to solve them. In: Annual Joint Conference Integrating Technology into Computer Science Education: 10th annual SIGCSE conference on Innovation and technology in computer science education, 2005-06-27 - 2005-06-29, Caparica.

Weir, George R.S. and Gordon, Margaret Anne and MacGregor, Grant (2004) Technology in plagiarism detection and management. In: 34th ASEE/IEEE Frontiers in Education Conference, 2004-10-20 - 2004-10-23, Georgia, USA.

Weir, G. (2007) The posit text profiling toolset. [Proceedings Paper]

Weir, G. and Ozasa, T. (2007) Estimating naturalness in Japanese english textbooks. [Proceedings Paper]

Weir, G. R. S. and (Eds), S. Ishikawa (2010) Corpus, ICT and Language Education. University of Strathclyde, Glasgow, UK. ISBN 9780947649760

Weir, G. R. S. and Livitsanou, M. (2010) Playing textual analysis as music. In: Proceedings of ICTATLL 2010, Kyoto, Japan. University of Strathclyde.

Weir, G. R. S. and Ozasa, T. (2010) Learning from Analysis of Japanese EFL Texts. Educational Perspectives, Journal of the College of Education/University of Hawaii at Manoa, 43 (1 & 2). pp. 56-66. ISSN 0013-1849

Weir, G.R.S. (1989) Dialogue expertise in man-machine systems. In: 8th European Annual Conference on Human Decision Making and Manual Control, 1989-06-12 - 1989-06-14, Lyngby.

Weir, G.R.S. (2001) Helping out by helping in: approaches to electronic submission of coursework. In: 2nd International Conference on Technology in Teaching and Learning in Higher Education, 2001-06-27 - 2001-06-29, Greece.

Weir, G.R.S. (1989) Varieties of dialogue in man-machine systems. In: Second European meeting on cognitive science approaches to process control, 1989-10-24 - 1989-10-27, Siena, Italy.

Weir, G.R.S. and Ferguson, J. and Wilson, J. (2003) Animating complex concepts. In: Proceedings of the International Conference on Teaching and Learning in Higher Education, (ICHed2003). IEEE.

Weir, G.R.S. and Heeps, S. (2003) Getting the message across: ten principles for web animation. In: 7th IASTED International Conference on Internet and Multimedia and Applications (IMSA 2003), 2003-08-13 - 2003-08-15, Hawaii, USA.

Weir, G.R.S. and Hollnagel, E. (1990) Principles of procedural support in man-machine systems. In: Ninth European Annual conference on human decision making and manual control, Varese, Italy, 1990-09-10 - 1990-09-12, Varese, Italy.

Weir, G.R.S. and Lepouras, G. (1998) Dynamic second language support for Web-based information systems. In: World Multi-conference of Systems Cybernetics and Informatics, 1998-07-12 - 1998-07-16, Orlando.

Weir, G.R.S. and Lepouras, G. (2001) English Assistant: a support strategy for online second language learning. In: Advanced Learning Technology: Issues, Achievements and Challenges, 2001-08-06 - 2001-08-08, Los Alamitos, CA.

Weir, G.R.S. and Lepouras, G. (2001) Localisation and linguistic anomalies. In: Universal Access in HCI: Towards an Information Society for All: 9th International Conference on Human-Computer Interaction, 2001-08-05 - 2001-08-10, New Orleans.

Weir, G.R.S. and Lepouras, G. (2003) Tools for second language support. In: Proceedings of HCI International 2003. Lawrence Erlbaum Associates. ISBN 0-8058-4934-3

Weir, G.R.S. and Lepouras, G. and Vassilakis, C. (2004) Content enrichment through dynamic annotation. In: 6th International Conference on Enterprise Information Systems, ICEIS 2004, 2004-04-14 - 2004-04-17, Portugal.

Weir, G.R.S. and Ni, X.Q. (1993) Second language user support. In: 5th International Conference on Human-Computer Interaction, 1993-08-08 - 1993-08-13, Orlando.

Weir, G.R.S. and Ozasa, T. (2003) DEUCE: a test-bed for evaluating ESL competence criteria. In: 7th IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2003), 2003-08-13 - 2003-08-15, Hawaii, USA.

Weir, G.R.S. and Ritchie, C. (2006) Estimating readability with the Strathclyde readability measure. In: ICT in the Analysis, Teaching and Learning of Languages, Preprints of the ICTATLL Workshop 2006, 2006-08-21 - 2006-08-22, Glasgow, UK.

Weir, G.R.S. and Zonidis, N. (2005) Desktop security as a three-dimensional problem. KM ITL science and technology journal, 5 (1). pp. 292-302. ISSN 1905-2367

Weir, George (1988) Learning from a plan-based interface. Computers and Education, 12 (1). pp. 247-251. ISSN 0360-1315

Weir, George and Toolan, Fergus and Smeed, Duncan (2011) The threats of social networking : old wine in new bottles? Information Security Technical Report, 16 (2). pp. 38-43. ISSN 1363-4127

Welsh, Mary and Condie, Rae (2010) T'aint what you do (it's the way that you do it) : ICT and creativity in the primary school classroom. [Proceedings Paper]

Werner, J. and Wettach, R. and Hornecker, E. (2008) United-pulse : feeling your partner's pulse. [Proceedings Paper]

Westerberg, H. and Levine, J. (2003) Apollo 13 : a challenge domain for the planning community. [Proceedings Paper]

Westerberg, H. and Levine, J. (2004) Numeric briefcase domain metric optimisation using an EA. [Proceedings Paper]

Whalley, J. (2011) Open mobile. understanding the impact of open mobile : implications for telecoms/devices, web, social networks, media and personal privacy. [Review]

White, R.W. and Jose, J.M. and Ruthven, I. (2006) An implicit feedback approach for interactive information retrieval. Information Processing and Management, 42 (1). pp. 166-190. ISSN 0306-4573

White, R.W. and Ruthven, I. and Jose, J.M. and van Rijsbergen, C.J. (2005) Evaluating implicit feedback models using searcher simulations. ACM Transactions on Information Systems, 23 (3). pp. 325-361.

White, Christopher J. and Lakany, H. (2008) A fuzzy inference system for fault detection and isolation : application to a fluid system. Expert Systems with Applications, 35 (3). pp. 1021-1033. ISSN 0957-4174

White, R.W. and Jose, J.M. and Ruthven, I. (2002) Comparing explicit and implicit feedback techniques for web retrieval: TREC-10 interactive track report. In: Proceedings of the Tenth Text Retrieval Conference (TREC-10), 2001-11-13 - 2001-11-16, Maryland, USA.

White, R.W. and Jose, J.M. and Ruthven, I. (2005) Using top-ranking sentences to facilitate effective information access. Journal of the American Society for Information Science and Technology, 56 (10). pp. 1113-1125. ISSN 1532-2882

White, R.W. and Jose, J.M. and Ruthven, I. (2003) A granular approach to web search result presentation. In: Proceedings of the 9th IFIP TC13 International Conference on Human-Computer Interaction. Interact 2003, 2003-09-01 - 2003-09-05, Zurich, Switzerland.

White, R.W. and Ruthven, I. and Jose, J.M. (2001) Web document summarisation: a task-oriented evaluation. In: International Workshop on Digital Libraries. Proceedings of the 12th International Database and Expert Systems Applications Conference (DEXA 2001), 2001-09-03 - 2001-09-07, Munich, Germany.

White, R.W. and Ruthven, I. and Jose, J.M. (2005) A study of factors affecting the utility of implicit relevance feedback. In: Proceedings of the Twenty-Eighth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. ACM Press, pp. 35-42. ISBN 1-59593-034-5

White, R.W. and Ruthven, I. and Jose, J.M. (2002) The use of implicit evidence for relevance feedback in web retrieval. In: Advances in Information Retrieval. Lecture Notes in Computer Science, 2291 . Springer, Germany, pp. 93-109. ISBN 978-3-540-43343-9

Whitfield, R.I. and Coates, G. and Duffy, A.H.B. and Hills, W. (2000) A multi-agent based system to enable strategic and operational design coordination. In: 6th International Conference on Artificial Intelligence in Design (AID'00), 2000-06-26 - 2000-06-29, Massachusetts, USA.

Whitfield, R.I. and Duffy, A.H.B. and Wu, Z. (2006) Realising intelligent virtual design. In: Second International Conference on Design Computing and Cognition (DCC'06), Intelletigent Virtual Design Environments Workshop, 2006-07-09, Technical University of Eindhoven, Netherlands.

Whitfield, R.I. and Smith, J.S. and Duffy, A.H.B. (2002) Identifying component modules. In: 7th International Conference on Artificial Intelligence in Design, 2002-07-12 - 2002-07-17, Cambridge.

Williams, H.P. (2005) Internet Governance: Exploring the development link. Communications and Strategies, 58 (2). pp. 81-103. ISSN 1157-8637

Willmott, S. and Richardson, J. and Bundy, A. and Levine, J.M. (2001) Applying adversarial planning techniques to Go. Theoretical Computer Science, 252 (1). pp. 45-82. ISSN 0304-3975

Wilson, R. and Shortreed, J. and Landoni, M. (2004) A study into the usability of e-encyclopaedias. In: 19th ACM Symposium on Applied Computing (SAC 2004), 2004-03-14 - 2004-03-17, Nicosia, Cyprus.

Wilson, J.N. (2002) A high-performance data structure for mobile information systems. In: Fourteenth International Conference on Advanced Information Systems Engineering (CAiSE 2), 2002-05-27 - 2002-05-31, Toronto, Canada.

Wilson, J.N. and Gourlay, R. and Japp, R. and Neumüller, M. (2006) Extracting partition statistics from semistructured data. In: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006-09-04 - 2006-09-08, Krakow, Poland.

Wilson, J.N. and Gourlay, R. and Japp, R. and Neumüller, M. (2006) A resource efficient hybrid data structure for twig queries. In: Database and XML Technologies : 4th International XML Database Symposium (XSym 2006), 2006-09-10 - 2006-09-11, Seoul, Korea.

Wilson, R. (2003) E-book readers in higher education. Journal of Educational Technology Society, 6 (4). pp. 8-17. ISSN 1176-3647

Wilson, R. and Landoni, M. and Gibb, F. (2003) The WEB Book experiments in electronic textbook design. Journal of Documentation, 59 (4). pp. 454-477. ISSN 0022-0418

Wodehouse, Andrew and Ion, William (2010) Computer gaming scenarios for product development teams. International Journal of Gaming and Computer-Mediated Simulations (IJGCMS), 2 (3). pp. 75-92. ISSN 1942-3888

Wodehouse, Andrew and Sheridan, Marion (2014) Design for 'quality of use' : emotion and physical interface design. In: 8th International Conference on Interfaces and Human Computer Interaction 2014, 2014-07-15 - 2014-07-17, Lisbon.

Wong, T. C. and Xu, M. and Chin, K. S. (2014) A two-stage heuristic approach for nurse scheduling problem : a case study in an emergency department. Computers & Operations Research, 51. pp. 99-110. ISSN 0305-0548

Wood, M. and Roper, M. and Brooks, A. and Miller, J. (1997) Comparing and Combining Software Defect Detection Techniques:a Replicated Empirical Study. In: Proceedings of The Sixth European Software Engineering Conference / Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1997-09-22 - 1997-09-25, Zurich, Switzerland.

Wood, Murray and Daly, John and Miller, James and Roper, Marc (1999) Multi-Method Research: An Empirical Investigation of Object-Oriented Technology. Journal of Systems and Software, 48 (1). pp. 13-26. ISSN 0164-1212

Woods, M. and Long, D. and Fox, M. and Aylett, R. and Baldwin, L. and Wilson, H. and Jameux, D. and Vituli, R. (2006) Developing an autonomous timeline management capability for a robotic mars mission. In: ESA Workshop on Advanced Space Technologies for Robotics, 2006-11-28 - 2006-11-30, Noordwijk, The Netherlands.

Woods, M. and Shawky, A. and Barnes, D. and Price, D. and Long, D. and Pullan, D. (2009) Autonomous science for an exomars rover-like mission. Journal of Field Robotics, 26 (4). pp. 358-390. ISSN 1556-4959

Wright, R.E. and Levin, E.J. (2003) An optimal location strategy for Internet sellers in markets with different tax rates. Business Economist, 34 (1). pp. 42-47. ISSN 0306-5069

Wu, S. and Crestani, F. (2003) Distributed Information Retrieval: A Multi-Objective Resource Selection Approach. International Journal of Uncertainty, Fuzziness and Knowledge Based Systems, 11 (1). pp. 83-99. ISSN 0218-4885

Wu, S. and Crestani, F. (2004) Shadow Document Methods of Results Merging. In: Proceedings of ACM SAC 2004, 2004-03-14 - 2004-03-17, Nicosia, Cyprus.

Wu, S. and Crestani, F. and Gibb, F. (2004) New methods for results merging in distributed information retrieval. In: Proceedings of the ACM SIGIR 2003 Workshop on Distributed Information retrieval. Lecture Notes in Computer Science, 2924 . Springer, pp. 84-100. ISBN 978-3-540-20875-4

Y

Yan, X.T. and Sawada, H. (2006) A framework for supporting multidisciplinary engineering design exploration and life-cycle design using under-constrained problem solving. AI EDAM - Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 20 (4). pp. 329-350. ISSN 0890-0604

Yannakakis, G. and Levine, J.M. and Hallam, J. (2005) Evolutionary computation variants for cooperative spatial coordination. In: Proceedings of the 2005 IEEE Congress on Evolutionary Computation. IEEE, pp. 2715-2722. ISBN 0-7803-9363-5

Yannakakis, G. and Levine, J.M. and Hallam, J. (2007) Towards emerging complex cooperative behaviours in flatland: rewarding over mimicking. IEEE Transactions on Evolutionary Computation, 11 (3). pp. 382-396. ISSN 1089-778X

Yannakakis, G. N. and Levine, J. and Hallam, J. (2004) An evolutionary approach for interactive computer games. [Proceedings Paper]

Yannakakis, G. N. and Levine, J. and J. Hallam, J. and Papageorgiou, M. (2003) Performance, robustness and effort cost comparison of machine learning mechanisms in FlatLand. [Proceedings Paper]

Yue, Hong and Jiang, Weisun and Gu, Xingsheng (1997) 概率鲁棒LQ优化设计. Control and Decision. pp. 31-36. ISSN 1001-0920

Yusoff, Y. Modh and Landoni, M. and Ruthven, I. (2010) Assessing fun: young children as evaluators of interactive systems. In: UNSPECIFIED.

Z

Zequera, M. and Vega, F. and Solomonidis, S.E. and Garavito, L. and Acosta, G.G. (2001) An integrated model for computer assisted diagnosis, treatment and design of insoles for the diabetic foot. Orthopadie Technik, 1. p. 11. ISSN 0340-5591

Zourob, M and Gough, J E and Ulijn, R V (2006) A micropatterned hydrogel platform for chemical synthesis and biological analysis. Advanced Materials, 18 (5). pp. 655-659. ISSN 0935-9648

This list was generated on Tue Jul 29 08:31:06 2014 BST.