Index Catalog // STAX

1. Type projections over self-describing data

Creator:: Simeoni, Fabio
Date:: 2011
Department, School or Faculty:: Department of Computer and Information Sciences

2. An ethnographic investigation of information seeking in the primary classroom

Creator:: Nicol, Emma Louise
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

3. Artificial intelligence in business analytics, capturing value with machine learning applications in financial services

Creator:: Schmitt, Marc
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

4. Feelings toolkit : a new evaluation tool for very young children

Creator:: Yusoff, Yusrita Mohd
Date:: 2018
Department, School or Faculty:: Department of Computer and Information Sciences

5. Novel text entry and mobile interaction techniques for Arabic language users

Creator:: El Batran, Karim Mohsen Mahmoud
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

6. Comparison of field and laboratory usability testing for mobile text entry

Creator:: Azad, Sohail
Date:: 2010
Department, School or Faculty:: Department of Computer and Information Sciences

7. Bayesian latent variable models for the collaborative Web

Creator:: Harvey, Morgan A.
Date:: 2011
Department, School or Faculty:: Department of Computer and Information Sciences

8. Protein microenvironments for topology analysis

Creator:: Foley, Christopher Eric
Date:: 2016
Department, School or Faculty:: Department of Computer and Information Sciences and Department of Pure and Applied Chemistry

9. Institutional and individual barriers of e-learning adoption in higher education in Oman : academics' perspectives

Creator:: Rakhyoot, Widad Abdul Alim
Date:: 2017
Department, School or Faculty:: Department of Computer and Information Sciences

10. An investigation of the barriers to information access : A study among university students with special reference to Saudi Arabia

Creator:: Gharieb, Magdah Ezzat A.
Date:: 2007
Department, School or Faculty:: Department of Computer and Information Sciences

11. Supporting members of online communities through the use of visualisations

Creator:: Mohamed, Rehman
Date:: 2007
Department, School or Faculty:: Department of Computer and Information Sciences

12. An introspective approach to robot plan execution

Creator:: Bell, David
Date:: 2018
Department, School or Faculty:: Department of Computer and Information Sciences

13. A user-centric framework for addressing vulnerability to social engineering in social networks : a mixed methods study of a Saudi academic community

Creator:: Albladi, Samar Muslah
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

14. Public library digital services : emergent issues of access and acceptable use

Creator:: McMenemy, David
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

15. Formulating test oracles via anomaly detection techniques

Creator:: Almaghairbe, Rafig
Date:: 2017
Department, School or Faculty:: Department of Computer and Information Sciences

16. The application of classical architectural criteria to 3D digital library design to enhance the learner experience

Creator:: Mycock, Jane
Date:: 2016
Department, School or Faculty:: Department of Computer and Information Sciences

17. Opportunistic plan execution monitoring and control

Creator:: Gough, Jonathan
Date:: 2007
Department, School or Faculty:: Department of Computer and Information Sciences

18. A dialectical model of information retrieval : exploring a contradiction in terms

Creator:: Thornley, Clare Victoria
Date:: 2005
Department, School or Faculty:: Department of Computer and Information Sciences

19. A categorical approach to the foundations of Quantum theory

Creator:: Dunne, Kevin
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

20. Improving ease and speed of use of mobile augmentative and alternative communication systems through the use of natural language processing and natural language generation techniques

Creator:: Imperatore, Gennaro
Date:: 2016
Department, School or Faculty:: Department of Computer and Information Sciences

21. E-Journal publishing in Academic environments : a study of E-journal publishing projects and operations in Academic Departments and Research Libraries

Creator:: Campbell, Glen
Date:: 2004
Department, School or Faculty:: Department of Computer and Information Sciences

22. A model and architecture for pervasive situation determination

Creator:: Thomson, Graham R.
Date:: 2010
Department, School or Faculty:: Department of Computer and Information Sciences

23. Mixed methods evaluation of the cost benefit of a telehealth programme for chronic obstructive pulmonary disease in NHS Highland

Creator:: Dania, Eftychia
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

24. Bifibrational parametricity : from zero to two dimensions

Creator:: Orsanigo, Federico
Date:: 2017
Department, School or Faculty:: Department of Computer and Information Sciences

25. Innovative features of e-books and e-book builders : Potential learning and authoring tools for the Malaysian smart school environment

Creator:: Shiratuddin, Norshuhada
Date:: 2002
Department, School or Faculty:: Department of Computer and Information Sciences

26. eGovernment in Saudi Arabia : an investigation from information architecture perspective

Creator:: Alasem, Abdulrahman
Date:: 2011
Department, School or Faculty:: Department of Computer and Information Sciences

27. Developing a model for school librarians in Scotland

Creator:: Judge, Cristina Sacco
Date:: 2012
Department, School or Faculty:: Department of Computer and Information Sciences

28. Problem models for rule based planning

Creator:: Lindsay, Alan
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

29. Types, categories, actions

Creator:: Revell, Timothy
Date:: 2016
Department, School or Faculty:: Department of Computer and Information Sciences

30. Heuristically guided constraint satisfaction for AI planning

Creator:: Judge, Mark
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

31. The panoptic principle : privacy and surveillance in the public library as evidenced in the acceptable use policy

Creator:: Robinson, Elaine
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

32. Investigating the use of ensemble techniques in predicting object-oriented software maintainability

Creator:: Alsolai, Hadeel Abdullah
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

33. A user-centred design framework for context-aware computing

Creator:: Bradley, Nicholas A.
Date:: 2005
Department, School or Faculty:: Department of Computer and Information Sciences

34. Assessing the effectiveness of direct gesture interaction for a safety critical maritime application

Creator:: Bjørneseth, Frøy Birte
Date:: 2010
Department, School or Faculty:: Department of Computer and Information Sciences

35. Self-efficacy sources and outcome expectations of researchers for sharing knowledge via social media

Creator:: Alshahrani, Hussain
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

36. General video game playing using ensemble decision systems

Creator:: Anderson, Damien
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

37. Designing, developing and evaluating an age-appropriate digital educational tool for younger children with Type-1 Diabetes

Creator:: Kyfonidis, Charalampos
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

38. E-business opportunities for the electricity industry : an exploratory study of the UK deregulated and Malaysian regulated electricity environments

Creator:: Shariff, Siti Salbiah Mohamed
Date:: 2004
Department, School or Faculty:: Department of Computer and Information Sciences

39. Interval order enumeration

Creator:: Hannah, Stuart A.
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

40. Exploring the impact of conversational strategies on user search experience in goal-oriented tasks in a voice-only domain

Creator:: Dubiel, Mateusz
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

41. A digital aid to support adults with mild learning disabilities during clinical consultations

Creator:: Gibson, Ryan Colin
Date:: 2018
Department, School or Faculty:: Department of Computer and Information Sciences

42. Brainplay : an investigation of serious games that tap into cognitive processes

Creator:: Saiger, Michael John
Date:: 2018
Department, School or Faculty:: Department of Computer and Information Sciences

43. Classification of Arabic extremist web content through Arabic textual analysis

Creator:: Alshahrani, Haya Mesfer
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

44. Distress detection

Creator:: Vella, Mark Joseph
Date:: 2012
Department, School or Faculty:: Department of Computer and Information Sciences

45. Social interfaces to digital libraries

Creator:: Doung-In, Suthanya
Date:: 2012
Department, School or Faculty:: Department of Computer and Information Sciences

46. Best practice in a digital library of Arabic manuscripts

Creator:: Alshuhri, Sulieman Salem
Date:: 2013
Department, School or Faculty:: Department of Computer and Information Sciences

47. Grouping of semistructured data for efficient query processing

Creator:: Neumüller, Mathias
Date:: 2004
Department, School or Faculty:: Department of Computer and Information Sciences

48. Multi-objective planning using linear programming

Creator:: Mohamed Radzi, Nor Haizan
Date:: 2010
Department, School or Faculty:: Department of Computer and Information Sciences

49. E-government adoption and implementation in developing countries : an exploratory study of adoption success factors for e-government services to citizens (G2C) in Libya

Creator:: Darbok, Hossian R. Ali
Date:: 2016
Department, School or Faculty:: Department of Computer and Information Sciences

50. Exploring the organisational, social and cultural factors influencing those employee attitudes and behaviours that impact the implementation of an information security culture within Omani organisations

Creator:: Al Izki, Fathiya Hamed Salim
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

51. The information audit : theory versus practice

Creator:: Buchanan, Steven
Date:: 2008
Department, School or Faculty:: Department of Computer and Information Sciences

52. 'No, you press yours first!' : sharing interaction and socially interacting with companions at tangible hybrid interactive museum exhibits

Creator:: Clarke, Loraine
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

53. Developing information services for special library users in Libya by designing a low cost digital library

Creator:: Elaiess, Ramadan F. M.
Date:: 2011
Department, School or Faculty:: Department of Computer and Information Sciences

54. Type inference, Haskell and dependent types

Creator:: Gundry, Adam Michael
Date:: 2013
Department, School or Faculty:: Department of Computer and Information Sciences

55. Delegated private set intersection on outsourced private datasets

Creator:: Abadi, Aydin Kheirbakhsh
Date:: 2017 and 2016
Department, School or Faculty:: Department of Computer and Information Sciences

56. Data value storage for compressed semi-structured data

Creator:: Tripney, Brian Grieve
Date:: 2012
Department, School or Faculty:: Department of Computer and Information Sciences

57. Uncertainty in information seeking and retrieval in the context of higher education

Creator:: Chowdhury, Sudatta
Date:: 2008
Department, School or Faculty:: Department of Computer and Information Sciences

58. Investigations into inductive-recursive definitions

Creator:: Malatesta, Lorenzo
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

59. Resource discovery in heterogeneous digital content environments

Creator:: Macgregor, George
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

60. Induction and coinduction schemes in category theory

Creator:: Fumex, Clèment
Date:: 2012
Department, School or Faculty:: Department of Computer and Information Sciences

61. Updating RDF in the semantic web

Creator:: Azwari, Sana Al
Date:: 2016
Department, School or Faculty:: Department of Computer and Information Sciences

62. From sentiment analysis to choreography of emotions : social media analysis for improved customer relationship management (CRM) in the Omani telecom sector

Creator:: Al-Ansari, Jihad Ahmed
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

63. End-user interaction with thesaurus-enhanced search interfaces : an evaluation of search term selection for query expansion

Creator:: Shiri, Ali Asghar
Date:: 2003
Department, School or Faculty:: Department of Computer and Information Sciences

64. Creation of a goal-driven and reactive agent architecture

Creator:: Thompson, Tommy
Date:: 2010
Department, School or Faculty:: Department of Computer and Information Sciences

65. The information needs and information seeking behaviors of SME managers : a study of the manufacturing industry in Botswana

Creator:: Jorosi, Boemo Nlayidzi
Date:: 2004
Department, School or Faculty:: Department of Computer and Information Sciences

66. Users' relevance criteria for videos in leisure contexts

Creator:: Albassam, Sarah Ahmed
Date:: 2018
Department, School or Faculty:: Department of Computer and Information Sciences

67. Developing predictive models for postoperative complications in cardiac patients

Creator:: Lapp, Linda
Date:: 2017
Department, School or Faculty:: Department of Computer and Information Sciences

68. Automated software development and model generation by means of syntactic and semantic analysis

Creator:: Meiklejohn, Mark
Date:: 2014
Department, School or Faculty:: Department of Computer and Information Sciences

69. A cosmology of datatypes : reusability and dependent types

Creator:: Dagand, Pierre-Évariste
Date:: 2013
Department, School or Faculty:: Department of Computer and Information Sciences

70. Design and evaluation of an Interactive Topic Detection and Tracking interface

Creator:: Mohd, Masnizah
Date:: 2010
Department, School or Faculty:: Department of Computer and Information Sciences

71. A new heuristic-based model of goal recognition without libraries

Creator:: Pattison, David Thomas
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

72. Understanding the motivators and barriers for adolescents using digital diabetes technology to manage glycaemia in type 1 diabetes

Creator:: Cochrane, Diane
Date:: 2018
Department, School or Faculty:: Department of Computer and Information Sciences

73. Evaluating readability as a factor in information security policies

Creator:: Alkhurayyif, Yazeed Ahmed
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

74. Extracting and exploiting interaction information in constraint-based local search

Creator:: Andrew, Alastair Neil
Date:: 2014
Department, School or Faculty:: Department of Computer and Information Sciences

75. Robotic navigation and spatial reasoning in uncertain environments with a navigation mesh

Creator:: Stolba, Michal
Date:: 2010
Department, School or Faculty:: Department of Computer and Information Sciences

76. Understanding emergence : a pragmatic interdisciplinary approach

Creator:: McDonald, Diane
Date:: 2009
Department, School or Faculty:: Department of Computer and Information Sciences

77. Algebraic methods for incremental maintenance and updates of views within XML databases

Creator:: Goodfellow, Martin Hugh
Date:: 2014
Department, School or Faculty:: Department of Computer and Information Sciences

78. Generalising plans to influence landscapes for robust agent execution in virtual worlds

Creator:: Dicken, Luke
Date:: 2016
Department, School or Faculty:: Department of Computer and Information Sciences and Strathclyde Artificial Intelligence and Games Research Group

79. Critical information literacy and political agency : a critical, phenomenographic and personal construct study of young people's experiences of political information

Creator:: Smith, Lauren
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

80. Navigating social systems : information behaviour in refugee integration

Creator:: Oduntan, Olubukola
Date:: 2018
Department, School or Faculty:: Department of Computer and Information Sciences

81. Exploring the information seeking behaviour of Muslim migrants in Scotland, a Glasgow case of study

Creator:: Nuwisser, Bader
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

82. A comparative analysis of algorithms for satellite operations scheduling

Creator:: Komninou, Eirini
Date:: 2020
Department, School or Faculty:: Department of Computer and Information Sciences

83. Planning as Quantified Boolean Formulae

Creator:: Cashmore, Michael
Date:: 2013
Department, School or Faculty:: Department of Computer and Information Sciences

84. Investigating effective inspection of object-oriented code

Creator:: Dunsmore, Alastair Peter
Date:: 2002
Department, School or Faculty:: Department of Computer and Information Sciences

85. Pragmatic cost estimation for web applications

Creator:: Letchmunan, Sukumar
Date:: 2012
Department, School or Faculty:: Department of Computer and Information Sciences

86. Studying the lives of software bugs

Creator:: Davies, Steven
Date:: 2014
Funder:: Engineering and Physical Sciences Research Council
Department, School or Faculty:: Department of Computer and Information Sciences

87. On the Möbius function and topology of the permutation poset

Creator:: Smith, Jason P.
Date:: 2015
Department, School or Faculty:: Department of Computer and Information Sciences

88. Closing the gap between guidance and practice : an investigation of the relevance of design guidance to practitioners using object-oriented technologies

Creator:: Stevenson, Jamie
Date:: 2019
Department, School or Faculty:: Department of Computer and Information Sciences

89. Integration of operations research and artificial intelligence approaches to solve the nurse rostering problem

Creator:: Rahimian, Erfan
Date:: 2019
Department, School or Faculty:: Department of Management Science and Department of Computer and Information Sciences

90. An exploration of information poverty : the early manifestation of information poverty in children

Creator:: Davda, Frances Breslin
Date:: 2021
Department, School or Faculty:: Department of Computer and Information Sciences

91. MARA and public user characteristics in response to phishing emails

Creator:: Ayob, Zalina Binti
Date:: 2020
Funder:: Majlis Amanah Rakyat
Department, School or Faculty:: Department of Computer and Information Sciences

92. Digital Forensics CS414 exam papers

Date:: 2018-
Department, School or Faculty:: Department of Computer and Information Sciences

93. Portfolio peak algorithms achieving superior performance for maximizing throughput in WiMAX networks

Creator:: Al-Aboodi, Mohammed Sabri
Date:: 2021
Department, School or Faculty:: Department of Computer and Information Sciences

94. How academics keep up to date

Creator:: Alshareef, Nouf
Date:: 2021
Department, School or Faculty:: Department of Computer and Information Sciences

95. Big Data Technologies CS982 exam papers

Date:: 2020-
Department, School or Faculty:: Department of Computer and Information Sciences

96. Big Data Tools and Techniques CS988 exam papers

Date:: 2020-
Department, School or Faculty:: Department of Computer and Information Sciences

97. Using interpretable machine learning for indoor CO₂ level prediction and occupancy estimation

Creator:: Ugwuanyi, Chika
Date:: 2021
Funder:: SwarmOnline Limited
Department, School or Faculty:: Department of Computer and Information Sciences and Institute for Future Cities

98. A mixed-methods investigation of factors that influence students to study a computer science major in Scotland and Saudi Arabia

Creator:: Alshahrani, Amnah Ali
Date:: 2022
Funder:: Princess Nourah Bint Abdulrahman University and Saudi Arabia Cultural Bureau in London
Department, School or Faculty:: Department of Computer and Information Sciences

99. Exploring the lived experience of physical activity and technology for adolescents living with Type 1 Diabetes and parents as co-users

Creator:: Diane Morrow
Date:: 2022
Department, School or Faculty:: Department of Computer and Information Sciences

100. Android malware detection using static analysis, machine learning and deep learning

Creator:: Ahmad, Fawad
Date:: 2020 and 2022
Funder:: Orion Practice Management Systems Limited
Department, School or Faculty:: Department of Computer and Information Sciences

Search Constraints

Search Results

1. Type projections over self-describing data

2. An ethnographic investigation of information seeking in the primary classroom

3. Artificial intelligence in business analytics, capturing value with machine learning applications in financial services

4. Feelings toolkit : a new evaluation tool for very young children

5. Novel text entry and mobile interaction techniques for Arabic language users

6. Comparison of field and laboratory usability testing for mobile text entry

7. Bayesian latent variable models for the collaborative Web

8. Protein microenvironments for topology analysis

9. Institutional and individual barriers of e-learning adoption in higher education in Oman : academics' perspectives

10. An investigation of the barriers to information access : A study among university students with special reference to Saudi Arabia

11. Supporting members of online communities through the use of visualisations

12. An introspective approach to robot plan execution

13. A user-centric framework for addressing vulnerability to social engineering in social networks : a mixed methods study of a Saudi academic community

14. Public library digital services : emergent issues of access and acceptable use

15. Formulating test oracles via anomaly detection techniques

16. The application of classical architectural criteria to 3D digital library design to enhance the learner experience

17. Opportunistic plan execution monitoring and control

18. A dialectical model of information retrieval : exploring a contradiction in terms

19. A categorical approach to the foundations of Quantum theory

20. Improving ease and speed of use of mobile augmentative and alternative communication systems through the use of natural language processing and natural language generation techniques

21. E-Journal publishing in Academic environments : a study of E-journal publishing projects and operations in Academic Departments and Research Libraries

22. A model and architecture for pervasive situation determination

23. Mixed methods evaluation of the cost benefit of a telehealth programme for chronic obstructive pulmonary disease in NHS Highland

24. Bifibrational parametricity : from zero to two dimensions

25. Innovative features of e-books and e-book builders : Potential learning and authoring tools for the Malaysian smart school environment

26. eGovernment in Saudi Arabia : an investigation from information architecture perspective

27. Developing a model for school librarians in Scotland

28. Problem models for rule based planning

29. Types, categories, actions

30. Heuristically guided constraint satisfaction for AI planning

31. The panoptic principle : privacy and surveillance in the public library as evidenced in the acceptable use policy

32. Investigating the use of ensemble techniques in predicting object-oriented software maintainability

33. A user-centred design framework for context-aware computing

34. Assessing the effectiveness of direct gesture interaction for a safety critical maritime application

35. Self-efficacy sources and outcome expectations of researchers for sharing knowledge via social media

36. General video game playing using ensemble decision systems

37. Designing, developing and evaluating an age-appropriate digital educational tool for younger children with Type-1 Diabetes

38. E-business opportunities for the electricity industry : an exploratory study of the UK deregulated and Malaysian regulated electricity environments

39. Interval order enumeration

40. Exploring the impact of conversational strategies on user search experience in goal-oriented tasks in a voice-only domain

41. A digital aid to support adults with mild learning disabilities during clinical consultations

42. Brainplay : an investigation of serious games that tap into cognitive processes

43. Classification of Arabic extremist web content through Arabic textual analysis

44. Distress detection

45. Social interfaces to digital libraries

46. Best practice in a digital library of Arabic manuscripts

47. Grouping of semistructured data for efficient query processing

48. Multi-objective planning using linear programming

49. E-government adoption and implementation in developing countries : an exploratory study of adoption success factors for e-government services to citizens (G2C) in Libya

50. Exploring the organisational, social and cultural factors influencing those employee attitudes and behaviours that impact the implementation of an information security culture within Omani organisations

51. The information audit : theory versus practice

52. 'No, you press yours first!' : sharing interaction and socially interacting with companions at tangible hybrid interactive museum exhibits

53. Developing information services for special library users in Libya by designing a low cost digital library

54. Type inference, Haskell and dependent types

55. Delegated private set intersection on outsourced private datasets

56. Data value storage for compressed semi-structured data

57. Uncertainty in information seeking and retrieval in the context of higher education

58. Investigations into inductive-recursive definitions

59. Resource discovery in heterogeneous digital content environments

60. Induction and coinduction schemes in category theory

61. Updating RDF in the semantic web

62. From sentiment analysis to choreography of emotions : social media analysis for improved customer relationship management (CRM) in the Omani telecom sector

63. End-user interaction with thesaurus-enhanced search interfaces : an evaluation of search term selection for query expansion

64. Creation of a goal-driven and reactive agent architecture

65. The information needs and information seeking behaviors of SME managers : a study of the manufacturing industry in Botswana

66. Users' relevance criteria for videos in leisure contexts

67. Developing predictive models for postoperative complications in cardiac patients

68. Automated software development and model generation by means of syntactic and semantic analysis

69. A cosmology of datatypes : reusability and dependent types

70. Design and evaluation of an Interactive Topic Detection and Tracking interface

71. A new heuristic-based model of goal recognition without libraries

72. Understanding the motivators and barriers for adolescents using digital diabetes technology to manage glycaemia in type 1 diabetes

73. Evaluating readability as a factor in information security policies

74. Extracting and exploiting interaction information in constraint-based local search

75. Robotic navigation and spatial reasoning in uncertain environments with a navigation mesh

76. Understanding emergence : a pragmatic interdisciplinary approach

77. Algebraic methods for incremental maintenance and updates of views within XML databases

78. Generalising plans to influence landscapes for robust agent execution in virtual worlds