Scottish Informatics and Computer Science Alliance

Research Output 2001 2020

Filter
Paper
2020

Expressive logics for coinductive predicates

Kupke, C. & Rot, J., 16 Jan 2020. 18 p.

Research output: Contribution to conferencePaper

Open Access
File
Semantics
2019
28 Downloads (Pure)

An analysis of inheritance hierarchy evolution

Wood, M., Ivanov, L. & Lamprou, Z., 15 Apr 2019, p. 24-33. 10 p.

Research output: Contribution to conferencePaper

Open Access
File
15 Downloads (Pure)

Combining neural networks and pattern matching for ontology mining - a meta learning inspired approach

Roussinov, D. & Puchnina, N., 14 Mar 2019, p. 63-70. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
neural network
ontology
learning
movies
language
5 Downloads (Pure)
Open Access
File
Game theory
Probability distributions

Designing clinical AAC tablet applications with adults who have mild intellectual disabilities

Gibson, R. C., Dunlop, M. & Bouamrane, M-M., 8 Dec 2019, (Accepted/In press). 12 p.

Research output: Contribution to conferencePaper

Communication
8 Downloads (Pure)

Ensemble Decision Systems for general video game playing

Anderson, D., Rodgers, P., Levine, J., Guerrero-Romero, C. & Perez-Liebana, D., 23 Aug 2019. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Decision making
10 Downloads (Pure)
Open Access
File
Mobile devices
Communication
63 Downloads (Pure)

Human-agent collaborations: trust in negotiating control

Daronnat, S., Azzopardi, L., Halvey, M. & Dubiel, M., 4 May 2019. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Parking
Railroad cars
11 Downloads (Pure)

WiseType: a tablet keyboard with color-coded visualization and various editing options for error correction

Alharbi, O., Arif, A. S., Stuerzlinger, W., Dunlop, M. D. & Komninos, A., 18 Mar 2019, (Accepted/In press). 10 p.

Research output: Contribution to conferencePaper

Open Access
File
Error correction
Visualization
Color
Mobile devices
Feedback
2018
51 Downloads (Pure)

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Allais, G., Atkey, R., Chapman, J., McBride, C. & McKinna, J., 23 Sep 2018. 30 p.

Research output: Contribution to conferencePaper

Open Access
File
Computer programming languages
Semantics
Substitution reactions
Binders
Printing
43 Downloads (Pure)

Classification of extremist text on the web using sentiment analysis approach

Owoeye, K. O. & Weir, G. R. S., 13 Dec 2018. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
Websites
Feature extraction
Web crawler
20 Downloads (Pure)

Classification of radical web text using a composite-based method

Owoeye, K. O. & Weir, G. R. S., 13 Dec 2018. 7 p.

Research output: Contribution to conferencePaper

Open Access
File
radicalism
website
terrorism
semantics
monitoring
34 Downloads (Pure)

Conceptualizing agent-human interactions during the conversational search process

Azzopardi, L., Dubiel, M., Halvey, M. & Dalton, J., 12 Jul 2018. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
12 Downloads (Pure)

Developing health information literacy in disadvantaged and dependent circumstances: the everyday role of Family Nurses

Buchanan, S. & Nicol, E., 24 Sep 2018. 11 p.

Research output: Contribution to conferencePaper

Open Access
File
Health
Education
28 Downloads (Pure)

Improving conversational dynamics with reactive speech synthesis

Dubiel, M., Halvey, M., Azzopardi, L., Aylett, M., Wester, M. & Braude, D. A., 22 Apr 2018.

Research output: Contribution to conferencePaper

Open Access
File
Speech synthesis
Experiments
Feedback
58 Downloads (Pure)
Open Access
File
31 Downloads (Pure)

Managing forensic recovery in the cloud

Weir, G. R. S., Aßmuth, A. & Jäger, N., 12 Jan 2018, (Accepted/In press). 6 p.

Research output: Contribution to conferencePaper

Open Access
File
Recovery
Monitoring
Fires
Data storage equipment
4 Citations (Scopus)
20 Downloads (Pure)

Mobile support for adults with mild learning disabilities during clinical consultations

Gibson, R. C., Bouamrane, M-M. & Dunlop, M., 3 Sep 2018. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Health
Communication
2017
85 Downloads (Pure)

An analysis of RDF view maintenance using Jena

Shah, S. M. S., Wilson, J., Khalique, V. & Noman, H., 2 Jan 2017. 9 p.

Research output: Contribution to conferencePaper

Open Access
File
Semantic Web
27 Downloads (Pure)

Cloud accounting systems, the audit trail, forensics and the EU GDPR: how hard can it be?

Weir, G., Aßmuth, A., Whittington, M. & Duncan, B., 10 Aug 2017. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
Data privacy
Cloud computing
Internet of things
26 Downloads (Pure)

Evidence acquisition in cloud forensics

Nasreldin, M., Aslan, H., Rasslan, M. & Weir, G., 5 Nov 2017. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Cloud computing
4 Citations (Scopus)
47 Downloads (Pure)

ForgetMeNot: active reminder entry support for adults with acquired brain injury

Jamieson, M., O'Neill, B., Cullen, B., Lennon, M., Brewster, S. & Evans, J., 5 May 2017, p. 1-12. 12 p.

Research output: Contribution to conferencePaper

Open Access
File
Application programs
Brain Injuries
Brain
Data storage equipment
Patient rehabilitation
115 Downloads (Pure)

Strategies for intrusion monitoring in cloud services

Weir, G. R. S. & Aßmuth, A., 27 Jan 2017, p. 1-5. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Monitoring
Digital forensics
205 Downloads (Pure)

User acceptance of m-government services in Saudi Arabia: an SEM approach

Alotaibi, S. R. D. & Roussinov, D., 21 Mar 2017, (Accepted/In press).

Research output: Contribution to conferencePaper

Open Access
File
Scanning electron microscopy
Bins
Developing countries
Chemical analysis
47 Downloads (Pure)

Using focus group method to identifying citizen requirements to Saudi mobile government services

Alotaibi, S. R. D. & Roussinov, D., 14 Mar 2017. 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Bins
Developing countries
2016
88 Downloads (Pure)

Developing and validating an instrument for measuring mobile government adoption in Saudi Arabia

Alotaibi, S. R. D. & Roussinov, D., 17 Mar 2016.

Research output: Contribution to conferencePaper

Open Access
File
Industry

Evaluating tangible and multisensory museum visiting experiences: lessons learned from the meSch project

Damala, A., van der Vaart, M., Clarke, L., Hornecker, E., Avram, G., Kockelkorn, H. & Ruthven, I., 6 Apr 2016, p. 1-18. 18 p.

Research output: Contribution to conferencePaper

Open Access
Museums
Display devices
Planning
5 Citations (Scopus)
60 Downloads (Pure)

Finding the voice: planning and evaluation of social media in cultural institutions.

Fleming, R. & Damala, A., 6 Apr 2016, p. 1-24. 24 p.

Research output: Contribution to conferencePaper

Open Access
File
Planning
Social Media
Evaluation
Cultural Institutions
Managers
161 Downloads (Pure)

Work and information: which workplace models still work in modern digital workplaces?

Byström, K., Ruthven, I. & Heinström, J., 10 Apr 2016, (Accepted/In press). 12 p.

Research output: Contribution to conferencePaper

Open Access
File
2015
93 Downloads (Pure)

Adapting SatNav to meet the demands of future automated vehicles

Beattie, D., Baillie, L., Halvey, M. & McCall, R., 19 Apr 2015. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
Navigation systems
Satellites
41 Downloads (Pure)

Charting complex change in DALLAS: application of the e-health implementation toolkit (e-HIT)

Devlin, A. M., Bouamrane, M-M., McGee-Lennon, M., O'Donnell, C. & Mair, F., 16 Jan 2015. 3 p.

Research output: Contribution to conferencePaper

Open Access
File
Health
Assisted living
97 Downloads (Pure)

"First-time mother syndrome"? First-time mothers' information practices and their relationships with healthcare professionals

Buchanan, S. & Loudon, K. J., 23 Jun 2015, (Accepted/In press).

Research output: Contribution to conferencePaper

File
Mothers
Delivery of Health Care
Fear
Interviews
Group Structure
2 Citations (Scopus)
151 Downloads (Pure)

Identification of MIR-Flickr near-duplicate images: a benchmark collection for near-duplicate detection

Connor, R., MacKenzie-Leigh, S., Cardillo, F. A. & Moss, R., 14 Mar 2015, p. 565-571. 7 p.

Research output: Contribution to conferencePaper

Open Access
File
Image quality
151 Downloads (Pure)

Involving the museum visitor community in designing exhibits

Clarke, L., Nicol, E. & Ruthven, I., Jun 2015, (Accepted/In press). 5 p.

Research output: Contribution to conferencePaper

Open Access
File
Local communities
Cultural heritage
Integrated
Evaluation
Demographics
23 Citations (Scopus)
132 Downloads (Pure)

O-PSI: delegated private set intersection on outsourced datasets

Abadi, A., Terzis, S. & Dong, C., 26 May 2015, p. 3-17. 15 p.

Research output: Contribution to conferencePaper

Open Access
File
Network protocols
Servers
Cloud computing
Data mining
Polynomials
95 Downloads (Pure)

Reaching the disadvantaged and disengaged in times of crisis: towards an understanding of information behaviours to inform interventions.

Buchanan, S., Loudon, K. J. & Tuckerman, L., 31 Jul 2015, p. 1-11. 11 p.

Research output: Contribution to conferencePaper

Open Access
File
interdisciplinary research
secrecy
social integration
social structure
self-efficacy
1 Citation (Scopus)
54 Downloads (Pure)

Reasoning with global assumptions in arithmetic modal logics

Kupke, C., Pattinson, D. & Schröder, L., 4 Aug 2015, p. 367-380. 14 p.

Research output: Contribution to conferencePaper

Open Access
File
Modal Logic
Reasoning
Polynomials
Logic
Upper bound

Through the Loupe: visitor engagement with a primarily text-based handheld AR application

van der Vaart, M. & Damala, A., 2 Oct 2015. 8 p.

Research output: Contribution to conferencePaper

Augmented reality
Museums
Engines
103 Downloads (Pure)

Updating OWL2 ontologies using pruned rulesets

Al Azwari, S. & Wilson, J. N., 15 Sep 2015, p. 105-112. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Ontology
Semantics
Semantic Web
Data structures
Bandwidth
2014
1 Citation (Scopus)
31 Downloads (Pure)

Improved form navigation on mobile devices

El Batran, K. & Dunlop, M., 2014, p. 96-99. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
Mobile devices
Navigation
Transcription
census
experience
945 Downloads (Pure)

Information security and digital divide in the Arab world

Al Izki, F. & Weir, G., 23 Jun 2014, p. 15-24. 10 p.

Research output: Contribution to conferencePaper

File
digital divide
Security of data
Arab
Telecommunication
Communication
1 Citation (Scopus)
321 Downloads (Pure)

Many fingers make light work: non-visual capacitive surface exploration

Halvey, M. & Crossan, A., 12 Nov 2014.

Research output: Contribution to conferencePaper

Open Access
File
Mobile devices
88 Downloads (Pure)

Measuring sexually explicit content

Darroch, K. & Weir, G., 24 Jun 2014, p. 101-112. 12 p.

Research output: Contribution to conferencePaper

File
Education
Experiments
sex education
experiment
trend
2 Citations (Scopus)

SIGIR 2014 workshop on gathering efficient assessments of relevance (GEAR)

Halvey, M., Villa, R. & Clough, P., Jul 2014, p. 1293. 1 p.

Research output: Contribution to conferencePaper

Information retrieval

The forensic detection of very similar images

Connor, R., Mackenzie-Leigh, S. & Weir, G., 23 Jun 2014, (Unpublished) p. 26-32. 7 p.

Research output: Contribution to conferencePaper

Law enforcement
Scalability
law enforcement
69 Downloads (Pure)

Towards an understanding of operator focus using eye-tracking in safety-critical maritime settings

Bjørneseth, F. B., Clarke, L., Dunlop, M. & Komandur, S., 2014. 9 p.

Research output: Contribution to conferencePaper

Open Access
File
Ship simulators
Dynamic positioning
trainee
Environmental impact
pupil
347 Downloads (Pure)

Understanding the threat of banking malware

Etaher, N. & Weir, G., 24 Jun 2014, p. 73-80. 8 p.

Research output: Contribution to conferencePaper

File
banking
threat
Internet
General Terms
bank
2013
131 Downloads (Pure)

Estimating fault numbers remaining after testing

Roper, M., 2013.

Research output: Contribution to conferencePaper

Open Access
File
Testing
Software engineering
Defects

Pareto optimized arabic mobile keyboard layout

El Batran, K. M. M. & Dunlop, M., May 2013.

Research output: Contribution to conferencePaper

8 Downloads (Pure)

Studying multimodal interaction at an interactive museum exhibit on steampower locomotive

Clarke, L. & Hornecker, E., 13 Feb 2013. 7 p.

Research output: Contribution to conferencePaper

Open Access
File
Locomotives
Museums
Steam locomotives