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
Number of items at this level: 930.

Article

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

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

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

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

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

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

Atkey, Robert (2011) What is a categorical model of arrows? Electronic Notes in Theoretical Computer Science, 229 (5). pp. 19-37. ISSN 1571-0661

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

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

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

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

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

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

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

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

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.

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, Elizabeth and Connolly, Thomas and Hainey, Thomas and Boyle, Jim (2012) Engagement in digital entertainment games : a systematic review. Computers in Human Behaviour, 28 (3). pp. 771-780. ISSN 0747-5632

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. (2005) An experimental investigation into wayfinding directions for visually impaired people. Personal and Ubiquitous Computing, 9 (6). pp. 395-403. ISSN 1617-4909

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.

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 Salako, A. (2009) Evaluating the usability and usefulness of a digital library. Library Review, 58 (9). pp. 638-651. ISSN 0024-2535

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

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

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

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

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

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. (2003) Natural language processing. Annual Review of Information Science and Technology, 37. pp. 51-89. ISSN 0066-4200

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

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)

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

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

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

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

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

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.

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

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

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

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

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

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. Lecture Notes in Computer Science, 2954. pp. 67-78. ISSN 0302-9743

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, Paul and Steingrimsson, Einar (2011) Pattern avoidance in ascent sequences. The Electronic Journal of Combinatorics, 18 (1). ISSN 1077-8926

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

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

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

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

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

Evdokimov, A. and Kitaev, Sergey (2004) Crucial words and the complexity of some extremal problems for sets of prohibited words. Journal of Combinatorial Theory Series A, 105 (2). pp. 273-289. ISSN 0097-3165

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, 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. and Zöllner, C. (2010) Screen grab. InAVate. 14 - 15.

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)

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 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. (1996) An efficient algorithm for managing partial orders in planning. SIGART Newsletter, 7 (4). pp. 3-12. ISSN 0163-5719

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 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. (1998) The automatic inference of state invariants in TIM. Journal of Artificial Intelligence Research, 9. pp. 367-421. ISSN 11076-9757

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

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

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

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

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

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

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

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

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

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.

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

Hasler, Laura and Ruthven, Ian and Buchanan, Steven (2014) Using internet groups in situations of information poverty : topics and information needs. Journal of the American Society for Information Science and Technology, 65 (1). pp. 25-36. 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

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

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

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

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

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. (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 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 (2011) The role of physicality in tangible and embodied interactions. ACM Interactions, 18 (2). pp. 19-23. ISSN 1072-5520

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

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.

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

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

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

Kitaev, Sergey (2003) Generalized pattern avoidance with additional restrictions. Séminaire Lotharingien de Combinatoire, 48. ISSN 1286-4889

Kitaev, Sergey (2003) Multi-avoidance of generalised patterns. Discrete Mathematics, 260 (1-3). pp. 89-100. ISSN 0012-365X

Kitaev, Sergey (2004) On multi-avoidance of right angled numbered polyomino patterns. Integers: Electronic Journal of Combinatorial Number Theory, 4.

Kitaev, Sergey (2003) There are no iterated morphisms that define the Arshon sequence and the sigma-sequence. Journal of Automata, Languages and Combinatorics, 8 (1). pp. 43-50.

Kitaev, Sergey and Mansour, Toufik (2003) Partially ordered generalized patterns and k-ary words. Annals of Combinatorics, 7 (2). pp. 191-200. ISSN 0218-0006

Kitaev, Sergey and Mansour, Toufik (2004) The problem of the pawns. Annals of Combinatorics, 8 (1). pp. 81-91. ISSN 0218-0006

Kitaev, Sergey and Mansour, Toufik and Seebold, Patrice (2004) Generating the Peano curve and counting occurrences of some patterns. Journal of Automata, Languages and Combinatorics, 9 (4). pp. 439-455.

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

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 Venema, Yde (2008) Coalgebraic automata theory : basic results. Logical Methods in Computer Science, 4 (4). ISSN 1860-5974

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

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

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

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

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

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

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

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

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

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

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

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. 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, 22 (4). pp. 774-783. ISSN 1534-4320

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

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

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 Shah, A. (2001) From tea to ICT. Library Association Record, 103 (1). pp. 32-33. ISSN 0024-2195

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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. ACM SIGIR Forum, 41 (2). pp. 63-67.

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

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

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

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

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

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.

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

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

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

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.

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

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

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

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

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

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. (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. (1985) Sitting on Ryle's dilemma. Philosophical Studies, 47 (2). pp. 295-303. ISSN 0031-8116

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

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

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

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

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. (2007) Towards emerging complex cooperative behaviours in flatland: rewarding over mimicking. IEEE Transactions on Evolutionary Computation, 11 (3). pp. 382-396. ISSN 1089-778X

Yue, Hong and Jiang, Weisun and Gu, Xingsheng (1997) 概率鲁棒LQ优化设计. Control and Decision. pp. 31-36. ISSN 1001-0920

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

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

Book

Terzis, S., ed. (2008) 6th International Workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC 2008). ACM Proceedings Series . ACM, New York, NY, USA. ISBN 978-1-60558-364-8

Weir, George and Ishikawa, S. and Poonpol, K., eds. (2011) Corpora and language technologies in teaching, learning and research. University of Strathclyde, Glasgow. ISBN 9780947649821

Weir, George, ed. (2011) Cyberforensics : issue and perspectives. University of Strathclyde, Glasgow. ISBN 9780947649784

Meier, R. and Terzis, S., eds. (2008) Distributed Applications and Interoperable Systems (DAIS 2008). LNCS, 5053 . Springer. ISBN 978-3-540-68639-2

Veiga, L. and Donsez, D. and Riva, O. and Terzis, S., eds. (2009) International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009). ACM Proceedings Series . ACM, New York, NY, USA.

Brewster, Stephen and Dunlop, Mark, eds. (2004) Mobile Human-Computer Interaction - Mobile HCI 2004 : 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings. Lecture Notes in Computer Science . Springer, Heidelberg. ISBN 3540230866

Dunlop, Mark and Brewster, S.A., eds. (2001) Proceedings of mobile HCI 01 : third international workshop on human computer interaction with mobile devices. University of Strathclyde.

Terzis, Sotirios and Veiga, L., eds. (2010) Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010). ACM Press. ISBN 978-1-4503-0451-1

Tripathi, A. and Iftode, L. and Nahrstedt, K. and Nixon, Patrick, eds. (2004) Second IEEE annual conference on pervasive computing and communications (PerCom'04) : proceedings, workshops: Orlando, Florida, March 14-17, 2004. IEEE, Washington. ISBN 9780769521060

Crestani, F. and Girolami, M. and Rijsbergen, C. J. van, eds. (2002) Advances in information retrieval. LNCS, 2291 . Springer-Verlag, Heidelberg, Germany. ISBN 9783540433439

Agosti, M. and Crestani, F. and Pasi, G., eds. (2001) Lectures in information retrieval. LNCS, 1980 . Springer-Verlag, Heidelberg, Germany. ISBN 3540419330

Crestani, F. and Pasi, Gabriella, eds. (2000) Soft computing in information retrieval : techniques and applications. Studies in fuzziness and soft computing . Physica-Verlag, Heidelberg, Germany. ISBN 9783790824735

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

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

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

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

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

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

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

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 (Eds), S. Ishikawa (2010) Corpus, ICT and Language Education. University of Strathclyde, Glasgow, UK. ISBN 9780947649760

Book Section

Alty, J.L. and Weir, G.R.S. (1987) Dialogue design for dynamic systems. In: ESPRIT '87: Achievements and Impact; Proceedings of the 4th Annual ESPRIT Conference, Brussels, Belgium, 28-29 September 1987. Elsevier, Amsterdam. ISBN 0444703330

Andrew, A. (2008) Automatically detecting neighbourhood constraint interactions using comet. In: Proceedings of the CP 2008 Doctoral Programme. University of New South Wales, pp. 7-12.

Andrew, A. and Levine, J. and Long, D. (2007) Constraint directed variable neighbourhood search. In: Proceedings of the 4th International Workshop on Local Search Techniques in Constraint Satisfaction held at CP 2007. UNSPECIFIED.

Aspinall, David and Atkey, Robert and MacKenzie, Kenneth and Sannella, Donald (2010) Symbolic and analytic techniques for resource analysis of Java bytecode. In: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science, 6084 . Springer, pp. 1-22. ISBN 9783642156397

Atkey, Robert (2009) Algebras for parameterised monads. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Lecture Notes in Computer Science, 5728 . Springer, pp. 3-17.

Atkey, Robert (2010) Amortised resource analysis with separation logic. In: Proceedings of 19th European Symposium on Programming, ESOP 2010. Lecture Notes in Computer Science, 6012 . Springer, pp. 85-103.

Atkey, Robert (2012) Relational parametricity for higher kinds. In: Computer science logic. EPTCS . UNSPECIFIED. (In Press)

Atkey, Robert (2009) Syntax for free: representing syntax with binding using parametricity. In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009. Lecture Notes in Computer Science, 5608 . Springer, pp. 35-49. ISBN 978-3-642-02272-2

Atkey, Robert (2012) The semantics of parsing with semantic actions. In: Proceedings of the Twenty-Seventh Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2012). UNSPECIFIED. (In Press)

Atkey, Robert and Ghani, Neil and Jacobs, Bart and Johann, Patricia (2012) Fibrational induction meets effects. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science, 7213 . Springer, pp. 42-57.

Atkey, Robert and Johann, Patricia and Ghani, Neil (2011) When is a type refinement an inductive type. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science . Springer, pp. 72-87. ISBN 978-3-642-19804-5

Atkey, Robert and Johann, Patricia and Kennedy, Andrew (2013) Abstraction and invariance for algebraically indexed types. In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, pp. 87-100. ISBN 978-1-4503-1832-7

Atkey, Robert and Lindley, Sam and Yallop, Jeremy (2009) Unembedding domain-specific languages. In: Haskell '09 Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell. ACM Press, pp. 37-48. ISBN 978-1-60558-508-6

Atkey, Robert and McBride, Conor (2013) Productive coprogramming with guarded recursion. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming. ACM, New York, NY. (In Press)

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.

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

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

Beresi, U. Cervino and Kim, Y. and Song, D. and Ruthven, I. and Baillie, M. (2010) Relevance in technicolor. In: 14th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2010). UNSPECIFIED.

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. In: Proceedings of the International Conference on Human Performance At Sea (HPAS), Glasgow 2010. UNSPECIFIED. ISBN 9780947649739

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

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

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

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

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

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

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

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. (2002) Digital divide : how can digital libraries bridge the gap? In: Digital libraries. Lecture Notes in Computer Science . Springer-Verlag, Berlin, pp. 379-391. ISBN 3540002618

Chowdhury, G. and Chowdhury, S. (2006) e-learning support for LIS education in UK. In: Proceedings of the 7th annual conference on the subject centre for information and computer science. HE Academy, Dublin, pp. 75-80.

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.

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

Connor, R. and Simeoni, F. and Iakovos, M. (2009) Structural entropic difference: a bounded distance metric for unordered trees. In: SISAP '09: Proceedings of the 2009 Second International Workshop on Similarity Search and Applications. UNSPECIFIED, pp. 21-29.

Connor, Richard and Moss, Robert George (2012) A multivariate correlation distance for vector spaces. In: Similarity search and applications. Lecture Notes in Computer Science . Springer-Verlag, Berlin, pp. 209-225. ISBN 9783642321528

Connor, Richard and Simeoni, Fabio and Iakovos, Michael and Moss, Robert George (2011) Towards a universal information distance for structured data. In: SISAP '11 Proceedings of the Fourth International Conference on SImilarity Search and APplications. ACM Press, pp. 69-77. ISBN 978-1-4503-0795-6

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

Cresswell, S. and Coddington, A. (2004) Adapting LPGP to plan with deadlines. In: ECAI 2004. Frontiers in artificial intelligence and applications . IOS Press, Amsterdam, pp. 983-984. ISBN 1586034529

Crestani, Fabio and Mizzaro, S. and Jones, Matt (2004) Second international workshop on mobile and ubiquitous information access. In: Mobile human-computer interaction - mobileHCI 2004. Lecture Notes in Computer Science . Springer-Verlag Berlin, Berlin, pp. 529-530. ISBN 3540230866

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

D. Elsweiler, M. Baillie and Ruthven, I. (2011) What makes re-finding information difficult? A study of email re-finding. In: 33rd European Conference on Information Retrieval (ECIR 2011). Springer-Verlag.

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

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

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

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. and Gregory, P. and Petrie, K. (2007) Symmetry in constraint satisfaction problems. In: Trends in Constraint Programming. ISTE - John Wiley & Sons, London, UK, pp. 183-218.

Dong, Changyu and Chen, Liqun (2014) A fast secure dot product protocol with application to privacy preserving association rule mining. In: Advances in Knowledge Discovery and Data Mining. Lecture Notes in Computer Science . Springer, pp. 606-617. ISBN 978-3-319-06607-3

Dong, Changyu and Chen, Liqun and Camenisch, Jan and Russello, Giovanni (2013) Fair private set intersection with a semi-trusted arbiter. In: Data and Applications Security and Privacy XXVII. Lecture Notes in Computer Science, Springer, pp. 128-144.

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 (2010) Shinren : Non-monotonic trust management for distributed systems. In: Trust Management IV. Springer, pp. 125-140. ISBN 978-3-642-13445-6

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. In: Proceedings of the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR 2004. UNSPECIFIED.

Duncan, Ross and Perdrix, Simon (2010) Rewriting measurement-based quantum computations with generalised flow. In: Automata, languages and programming. Lecture Notes in Computer Science . Springer, pp. 285-296. ISBN 9783642141614

Dunlop, M.D. and Taylor, F. (2009) Tactile feedback for predictive text entry. In: CHI '09 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, pp. 2257-2260. ISBN 978-1-60558-246-7

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

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)

Eichhorn, E. and Wettach, R. and Hornecker, E. (2008) A stroking device for spatially separated couples. In: Proceedings of ACM MobileHCI 2008. ACM, pp. 303-306. ISBN 978-1-59593-952-4

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

England, D. and Hornecker, E. and Roast, C. and Romero, P. and Fergus, P. and Marshall, P. (2009) Whole body interaction. In: ACM CHI'09 extended abstracts. ACM, pp. 4815-4818.

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

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.

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.

Fischer, P. T. and Zöllner, C. and Hoffmann, T. and Piatza, S. (2010) VR/Urban: SMSlingshot. In: Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). ACM, New York, NY, pp. 381-382.

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. In: Proceedings of British HCI 2010. ACM.

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

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.

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

Galea, M. and Humphreys, D. and Levine, J. and Westerberg, H. (2009) Evolutionary-based learning of generalised policies for AI planning domains. In: Proceedings of the 11th Annual conference on Genetic and evolutionary computation (GECCO '09). ACM, New York, pp. 1195-1202. ISBN 978-1-60558-325-9

Ghani, Neil and Johann, Patricia and Fumex, Clement (2010) Fibrational induction rules for initial algebras. In: Computer Science Logic. Lecture Notes In Computer Science, 6247 . Springer, pp. 336-350. ISBN 978-3-642-15204-7

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

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

Goodfellow, Martin and Wilson, John and Hunt, Ela (2010) Biochemical network matching and composition. In: Proceedings of the 2010 Edbt/Icdt Workshops. ACM, New York, NY, USA, pp. 1-7. ISBN 9781605589909

Goodfellow, Martin and Wilson, John and Hunt, Ela (2010) Composition of biochemical networks using domain knowledge. In: COmputational Modeling in BIology NEtwork (COMBINE) 2010. Nature Precedings.

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

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

Gundry, Adam and Mcbride, Conor and McKinna, James (2010) Type inference in context. In: MSFP '10 Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming. ACM, New York, NY, pp. 43-54. ISBN 978-1-4503-0255-5

Halldorsson, Magnus and Kitaev, Sergey and Pyatkin, Artem (2011) Alternation graphs. In: Graph-theoretic concepts in computer science. Lecture Notes in Computer Science . Springer-Verlag Berlin, Berlin, pp. 191-202. ISBN 9783642258695

Halvey, Martin and Villa, Robert (2014) Evaluating the effort involved in relevance assessments for images. In: Proceedings of the 37th international ACM SIGIR Conference on Research & Development in Information Retrieval (SIGIR '14). ACM, New York, pp. 887-890. ISBN 9781450322577

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. In: Formal Methods and Testing. Lecture Notes in Computer Science . Springer, pp. 320-344. ISBN 978-3-540-78916-1

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. In: Proceedings of the 2004 networked learning conference. Lancaster University, pp. 245-250.

Harris, Rachel and Muirhead, Alison (2004) Online learning community research - some influences of theory methods. In: Proceedings of the 2004 networked learning conference. Lancaster University, Lancaster.

Harris, Rachel A and Niven, Jenny (2002) Retrofitting theory to practice-a reflection on the development of an e-learning community. In: Proceedings of the Third International Conference on Networked Learning. Lancaster University, Lancaster.

Harrison, W. and Lievens, D. and Simeoni, F. (2009) Safer typing of complex API usage through Java generics. In: PPPJ '09: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java. UNSPECIFIED, pp. 67-75.

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

Hollnagel, E. and Weir, G.R.S. and Sundstroem, G. (1987) User modelling in GRADIENT. In: ESPRIT '87: Achievements and Impact - Proceedings of the 4th Annual ESPRIT Conference. Elsevier, Amsterdam. ISBN 0444703330

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. In: Mensch-Computer-Interface. Kultur- und Medientheorie . Transcript Verlag, Bielefeld, pp. 235-256. ISBN 9783899425642

Hornecker, E. (2010) Interactions around a contextually embedded system. In: Proceedings of TEI'10 (Tangible Embedded and Embodied Interaction 2010). ACM, pp. 169-176. ISBN 978-1-60558-841-4

Hornecker, E. and Marshall, P. and Dalton, N. S. and Rogers, Y. (2008) Collaboration and interference : awareness with mice or touch input. In: Proceedings of the ACM 2008 Conference on Computer Supported Cooperative Work. ACM, pp. 167-176. ISBN 978-1-60558-007-4

Hornecker, Eva (2008) "I don't understand it either, but it is cool" - visitor interactions with a multi-touch table in a museum. In: Proceedings of TABLETOP 2008. IEEE, New York, pp. 113-120. ISBN 9781424428977

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

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

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

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.

Johann, Patricia and Ghani, Neil (2008) Foundations for structured programming with GADTs. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008. ACM Press, pp. 297-308. ISBN 978-1-59593-689-9

Johann, Patricia and Simpson, Alex and Voigtlaender, Janis (2010) A generic operational metatheory for algebraic effects. In: Proceedings of 25th Annual IEEE Symposium on Logic in Computer Science. ACM Press, pp. 209-218. ISBN 978-0-7695-4114-3

Kelly, D. and Ruthven, I. (2010) Search procedures revisited. In: The Janus Faced Scholar - a Festschrift in Honour of Peter Ingwersen. UNSPECIFIED, pp. 59-67.

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. In: Pervasive 2009. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, Berlin, pp. 42-58. ISBN 9783642015151

Kirk, D. and Roper, M. and Walkinshaw, N. (2006) Using attribute slicing to refactor large classes. In: Beyond Program Slicing. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.

Kirk, D. and Roper, M. and Wood, M. (2007) A heuristic-based approach to code-smell detection. In: 1st workshop on refactoring tools (WRT'07) proceedings. Nova Science Publishers, Inc., pp. 54-56.

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

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre (2012) Equality-friendly well-founded semantics and applications to description logics. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI), pp. 757-764. ISBN 978-1-57735-568-7

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre (2013) Well-Founded Semantics for Extended Datalog and Ontological Reasoning. In: Proceedings of the 32nd Symposium on Principles of Database Systems. ACM, New York, NY, New York, pp. 225-236. ISBN 978-1-4503-2066-5

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

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

Levine, J. and Ducatelle, F. (2003) Ants can solve difficult bin packing problems. In: Proceedings of the 1st Multidisciplinary International Conference on Scheduling. UNSPECIFIED.

Levine, J. and Humphreys, D. (2003) Learning action strategies for planning domains using genetic programming. In: Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group. UNSPECIFIED.

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. In: GECCO 2007. Assoc Computing Machinery, New York, p. 1140. ISBN 9781595936974

Lindsay, Alan (2012) Macro actions for structures. In: Proceedings of the UK planning and scheduling special interest group. UNSPECIFIED.

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

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. (2003) Symmetries in planning problems. In: Proceedings of Third Annual Conference on Symmetry and Constraint Satisfaction Problems - SymCon '03 (CP Workshop). Springer.

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.

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. In: ITICSE 2009. ACM, New York, pp. 166-170. ISBN 978-1-60558-381-5

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. In: Proceedings of the 39th ACM SIGCSE Technical Symposium on Computer Science Education. ACM, pp. 342-346. ISBN 978-1-59593-799-5

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. In: Proceedings of the 9th annual conference of the subject centre for information and computer sciences. HE Academy, pp. 88-94. ISBN 9780955967603

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.

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. In: Proceedings of ACM CHI 2009. ACM, pp. 2149-2152. ISBN 9781605582467

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. In: TABLETOP 2008. Proceedings of 3rd IEEE International Workshop on Horizontal Interactive Human Computer Systems, 2008. IEEE, pp. 37-44. ISBN 978-1-4244-2897-7

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

McDonald, D. and Kay, N. (2010) Towards an evaluation framework for complex social systems. In: Unifying Themes in Complex Systems: Proceedings of the Sixth International Conference on Complex Systems. Springer Publishing, pp. 146-153.

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

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

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

Mcbride, Conor (2010) Outrageous but meaningful coincidences : dependent type-safe syntax and evaluation. In: Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. ACM, New York, NY, New York, pp. 1-12. ISBN 9781450302517

Mcguire, Colin and Brew, Malcolm Ronald and Darbari, Faisal and Weiss, Stephan and Stewart, Robert (2012) Enabling rural broadband via TV "white space". In: 2012 5th International symposium on communications control and signal processing (ISCCSP). IEEE, New York. ISBN 9781467302746

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. In: 2012 19th International conference on systems, signals and image processing (IWSSIP). IEEE, New York, pp. 265-268. ISBN 9781457721915

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

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

Mohd, M. and Crestani, F. and Ruthven, I. (2009) Design of an interface for interactive topic detection and tracking. In: 8th International Conference on Flexible Query Answering Systems (FQAS 2009). Springer, Roskilde, Denmark, pp. 227-238.

Morgan, J. and Howick, S. and Belton, V. (2011) Designs for the complementary use of system dynamics and discrete-event simulation. In: Proceedings of the 2011 Winter Simulation Conference (WSC). Winter Simulation Conference Proceedings . IEEE, New York, pp. 2710-2722. ISBN 9781457721090

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.

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

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. In: Proceedings of the Workshop on AI Planning and Learning held at ICAPS 07. UNSPECIFIED.

Newton, M. A. H. and Levine, J. (2010) Implicit Learning of Macro-Actions for Planning. In: Proceedings of the 2010 conference on ECAI 2010. ACM, New York, pp. 323-328. ISBN 978-1-60750-605-8

Newton, M. A. H. and Levine, J. and Fox, M. (2005) Genetically evolved macro-actions in AI planning problems. In: Proceedings of the 24th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2005). UNSPECIFIED, pp. 163-172.

Newton, M. A. H. and Levine, J. and Fox, M. and Long, D. (2006) Learning macro-actions genetically from plans. In: Proceedings of the 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006). UNSPECIFIED.

Niven, Jennifer and Harris, Rachel A and Williams, Dorothy (2002) Motivation to use online learning communities : a methodological outline. In: Proceedings of the third international conference on networked learning. Lancaster University, Lancaster, pp. 474-480.

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

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, 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. In: Proceedings of the 12th International Conference on Enterprise Information Systems. UNSPECIFIED, pp. 63-70.

Nosseir, A. and Terzis, Sotirios (2011) Novice user perception of e-services : a study in the Egyptian public sector. In: Applied electrical engineering and computing technologies. IEEE, New York, pp. 1-6. ISBN 9781457710834

Nosseir, A. and Terzis, Sotirios (2011) Towards authentication via selected extraction from electronic personal histories. In: Enterprise Information Systems. Lecture Notes in Business Information Processing, 73 . Springer, pp. 571-586. ISBN 9783642198014

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

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. In: Proceedings of the 17th IEEE International Requirements Engineering Conference, 2009. RE '09. IEEE, pp. 237-242. ISBN 978-0-7695-3761-0

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

Ozasa, T. and Weir, G. and Fukui, M. (2007) Measuring readability for Japanese learners of english. In: Proceedings of the 12th Conference of Pan-Pacific Association of Applied Linguistics. UNSPECIFIED.

Paterson, J. and Wilson, J. N. and Leimich, P. (2012) Uses of peer assessment in database teaching and learning. In: Data security and security data. Lecture Notes in Computer Science . Springer-Verlag Berlin, Berlin, pp. 135-146. ISBN 9783642257032

Pattison, D. and Long, D. (2010) Domain independent goal recognition. In: STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press, 238 - 250.

Pattison, David and Long, Derek (2011) Accurately determining intermediate and terminal plan states using bayesian goal recognition. In: GAPRec 2011. Proceedings of the First Workshop on Goal, Activity and Plan Recognition. ICAPS, pp. 32-37.

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, 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! In: Global Security, Safety, and Sustainability. Communications in Computer and Information Science (1st). Springer-Verlag, New York, pp. 1-8. ISBN 978-3-642-04062-7

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

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 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, G. and Levine, J. (2003) A fast, effective local search for scheduling independent jobs in heterogeneous computing environments. In: Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group. UNSPECIFIED.

Ritchie, G. and Levine, J. (2004) A hybrid ant algorithm for scheduling independent jobs in heterogeneous computing environments. In: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group. UNSPECIFIED.

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

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. (2009) Artifical immune systems, danger theory, and the oracle problem. In: Testing: Academic and Industrial Conference - Proceedings of Practice and Research Techniques, 2009 (TAIC PART '09). IEEE, pp. 125-126.

Roussinov, Dmitri (2011) Towards semantic category verification with arbitrary precision. In: Advances in Information Retrieval Theory. Lecture Notes in Computer Science, Springer, pp. 274-284. ISBN 9783642233173

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.

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

Ruthven, Ian (2012) Grieving online : the use of search engines in times of grief and bereavement. In: Proceedings of the 4th Information Interaction in Context Symposium (IIIX '12). ACM, New York, pp. 120-128. ISBN 9781450312820

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

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.

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. In: Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science . Springer, pp. 161-173.

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. In: ACP4IS '09: Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software. UNSPECIFIED, pp. 13-18.

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

Thompson, T. and Levine, J. (2009) Realtime execution of automated plans using evolutionary robotics. In: Proceedings of the 2009 IEEE Symposium on Computational Intelligence and Games (CIG 09). IEEE, pp. 333-340. ISBN 978-1-4244-4815-9

Thompson, T. and McMillan, L. and Levine, J. and Andrew, A. (2008) An evaluation of the benefits of look-ahead in Pac-Man. In: IEEE Symposium Computational Intelligence and Games, 2008. IEEE, Piscataway NJ, pp. 310-315. ISBN 9781424429738

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 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, Graham and Terzis, Sortirios (2012) A middleware for pervasive situation-awareness. In: Distributed Applications and Interoperable Systems. Springer: Lecture Notes in Computer Science, pp. 148-161. ISBN 9783642308222

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

Tripney, Brian Grieve and Foley, Christopher Eric and Gourlay, Richard Scott and Wilson, John (2009) Sharing large data collections between mobile peers. In: Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia. ACM, New York, NY, pp. 321-325. ISBN 978-1-60558-659-5

Vella, M. and Roper, M. and Terzis, S. (2010) Danger theory and intrusion detection : possibilities and limitations of the analogy. In: Artificial Immune Systems. Lecture Notes in Computer Science . Springer, pp. 276-289. ISBN 978-3-642-14546-9

Vella, Mark Joseph and Terzis, Sortirios and Roper, Marc (2012) Distress detection. In: Research in Attacks, Intrusions, and Defenses. Lecture Notes in Computer Science . Springer, pp. 384-385. ISBN 978-3-642-33337-8

Villa, Robert and Halvey, Martin (2013) Is relevance hard work? Evaluating the effort of making relevant assessments. In: Proceedings of the 36th international ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '13). ACM, New York, pp. 765-768. ISBN 9781450320344

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

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. (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. (2007) The posit text profiling toolset. In: Proceedings of the 12th Conference of Pan-Pacific Association of Applied Linguistics. UNSPECIFIED.

Weir, G. and Ozasa, T. (2007) Estimating naturalness in Japanese english textbooks. In: Proceedings of the 12th Conference of Pan-Pacific Association of Applied Linguistics. UNSPECIFIED.

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 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 Lepouras, G. (2003) Tools for second language support. In: Proceedings of HCI International 2003. Lawrence Erlbaum Associates. ISBN 0-8058-4934-3

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. In: Key Competencies in the Knowledge Society. Springer, Berlin, pp. 424-434. ISBN 978-3-642-15377-8

Wen, Zikai and Dong, Changyu (2014) Efficient protocols for private record linkage. In: Proceedings of 29th ACM Symposium On Applied Computing. ACM, pp. 1688-1694. ISBN 978-1-4503-2469-4

Werner, J. and Wettach, R. and Hornecker, E. (2008) United-pulse : feeling your partner's pulse. In: Proceedings of MobileHCI 2008. ACM, pp. 535-538. ISBN 978-1-59593-952-4

Westerberg, H. and Levine, J. (2003) Apollo 13 : a challenge domain for the planning community. In: Proceedings of the Workshop on the Planning Competition held at ICAPS 2003. UNSPECIFIED.

Westerberg, H. and Levine, J. (2004) Numeric briefcase domain metric optimisation using an EA. In: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group. UNSPECIFIED.

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

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

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. N. and Levine, J. and Hallam, J. (2004) An evolutionary approach for interactive computer games. In: Proceedings of the 2004 IEEE Congress on Evolutionary Computation (CEC 04). UNSPECIFIED.

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. In: 11th IEEE Mediterranean Conference on Control and Automation (MED'03). UNSPECIFIED.

Conference or Workshop Item

UNSPECIFIED (2003) Proceedings of the 1st international workshop on middleware for pervasive and ad hoc computing (MPAC). In: 1st international workshop on middleware for pervasive and ad hoc computing (MPAC), 2003-01-01 - 2003-01-01, Rio de Janeiro.

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.

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.

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.

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

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.

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

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

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.

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.

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

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.

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

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

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

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.

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: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow.

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

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.

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

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

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.

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

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

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. (2001) Systematic object-oriented inspection - an empirical study. In: 23rd International Conference on Software Engineering, 2001-05-12 - 2001-05-19, Toronto.

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

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

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.

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.

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

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.

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

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.

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

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

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.

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.

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.

Halvey, Martin and Villa, Robert and Clough, Paul (2014) SIGIR 2014 workshop on gathering efficient assessments of relevance (GEAR). In: 37th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2014-07-06 - 2014-07-11.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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. (2000) Automatic synthesis and use of generic types in planning. In: 5th International Conference on Artificial Intelligence Planning Systems, 2000-04-14 - 2000-04-17, Breckenridge, CO.

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

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.

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

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.

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.

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, 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.M. (2005) Emergence in socio-technical systems. In: Complexity Science and Society, 2005-09-11 - 2005-09-14, Liverpool, UK.

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.

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.

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

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.

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: Annual Conference of the Society for Veterinary Epidemiology and Preventive Medicine 1994, 1994-01-01.

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.

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.

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. (2002) Compact data structures for querying XML. In: EDBT 2002 PhD Worshop, 2002-03-28, Prague, Czech Republic.

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.

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.

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.

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.

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.

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

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)

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: Annual Conference of the Society for Veterinary Epidemiology and Preventive Medicine 1996, 1996-03-01, Glasgow.

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

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.

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

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

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.

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.

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.

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)

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.

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.

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.

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. (2004) Trust lifecycle management in ad-hoc collaborations. In: Second UK-UbiNet Workshop, 2004-05-05 - 2004-05-07, Cambridge.

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

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.

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.

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 2004, 2004-04-26 - 2004-04-28, Avignon.

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.

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.

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. (1992) Interface economics: standards, needs and desires. In: Nord Data'92, 1992-06-01, Tampere.

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

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. (2003) A granular approach to web search result presentation. In: 9th IFIP TC13 International Conference on Human-Computer Interaction. Interact 2003, 2003-09-01 - 2003-09-05, Zurich.

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.

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.

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.

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.

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.

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.

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.

Yusoff, Y. Modh and Landoni, M. and Ruthven, I. (2010) Assessing fun: young children as evaluators of interactive systems. In: UNSPECIFIED.

Monograph

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

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

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 MacDonald, A. and McCulloch, E. (2009) Greening information management: final report. Working paper. University of Strathclyde.

Other

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

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

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

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.

Patent

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

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

Report

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

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

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]

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

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]

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

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

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]

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

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

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

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

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, S. and Wagealla, W. and English, C. and McGettrick, A. and Nixon, P. (2003) The SECURE collaboration model. [Report]

Review

Whalley, J. (2011) Open mobile. understanding the impact of open mobile : implications for telecoms/devices, web, social networks, media and personal privacy. [Review]

Thesis

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

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

Macdonald, F. (1999) Computer Supported Software Inspection. PhD thesis, UoS.

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

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

Neely, S. (2003) Mobile Computations Over Distributed Semistructured Data. PhD thesis, UoS.

Neumüller, M. (2001) Compression of XML Data. Masters thesis, UoS.

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

Terzis, S. (1997) Performance Monitoring in Digital Library Systems. Masters thesis, UoS.

This list was generated on Wed Oct 1 01:59:39 2014 BST.