Scottish Informatics and Computer Science Alliance

Research Output 2001 2020

2020

Expressive logics for coinductive predicates

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

Research output: Contribution to conferencePaper

Open Access
File
Semantics
2 Downloads (Pure)

Three equivalent ordinal notation systems in cubical Agda

Nordvall Forsberg, F., Xu, C. & Ghani, N., 24 Jan 2020, CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York, p. 172–185 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Innovation
2019
29 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
9 Downloads (Pure)

Application of ensemble techniques in predicting object-oriented software maintainability

Alsolai, H. & Roper, M., 15 Apr 2019, Proceedings of EASE 2019 - Evaluation and Assessment in Software Engineering. New York, p. 370-373 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Maintainability
Learning systems
124 Downloads (Pure)

Character building in children's online information behaviours: applying a virtue epistemology perspective to information literacy

McMenemy, D. & Buchanan, S., 20 Feb 2019, Information Literacy in Everyday Life: 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers. Kurbanoğlu, S., Špiranec, S., Ünal, Y., Boustany, J., Huotari, M. L., Grassian, E., Mizrachi, D. & Roy, L. (eds.). Cham, Switzerland: Springer, p. 73-82 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
epistemology
literacy
disinformation
disposition
education
2 Citations (Scopus)
6 Downloads (Pure)

Coalgebra learning via duality

Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Learning algorithms
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
6 Downloads (Pure)

Completeness for game logic

Enqvist, S., Hansen, H. H., Kupke, C., Venema, Y. & Marti, J., 28 Mar 2019, (Accepted/In press) Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. 23 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Acoustic waves
Semantics
5 Downloads (Pure)
Open Access
File
Game theory
Probability distributions

Designing interactions for the ageing populations – addressing global challenges

Sarcar, S., Munteanu, C., Jokinen, J. P. P., Charness, N., Dunlop, M., Ren, X. & Waycott, J., 5 Feb 2019, (Accepted/In press) CHI '20 : CHI Conference on Human Factors in Computing Systems: Extended Abstracts. New York, 5 p. W21

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Aging of materials
Digital devices
Human computer interaction
User interfaces
Momentum
3 Citations (Scopus)
19 Downloads (Pure)
Open Access
File
Learning Disorders
Referral and Consultation
Communication
Technology
Interviews
1 Citation (Scopus)

Distributions of mesh patterns of short lengths

Kitaev, S. & Zhang, P. B., 1 Sep 2019, In : Advances in Applied Mathematics. 110, p. 1-32 32 p.

Research output: Contribution to journalArticle

Equidistribution
Statistics
Mesh
Permutation Statistics
Recurrence relation
12 Downloads (Pure)

Dynamic aspects of relevance: differences in users' relevance criteria between selecting and viewing videos during leisure searches

Albassam, S. A. A. & Ruthven, I., 27 Aug 2019, (Accepted/In press) In : Information Research. p. 1-17 17 p.

Research output: Contribution to journalArticle

Open Access
File
video
information retrieval
content analysis
interaction
interview

Editorial note for special issue on the evaluation of digital cultural resources

Economou, M., Ruthven, I., Galani, A., Dobreva, M. & de Niet, M., 28 Feb 2019, In : Journal on Computing and Cultural Heritage (JOCCH). 12, 1, 3 p., 1e.

Research output: Contribution to journalEditorial

Open Access
File
Analog to digital conversion
Museums
Application programs
Resources
Evaluation
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

Evaluation of random forest and ensemble methods at predicting complications following cardiac surgery

Lapp, L., Bouamrane, M-M., Kavanagh, K., Roper, M., Young, D. & Schraag, S., 30 May 2019, Artificial Intelligence in Medicine - 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Proceedings. Wilk, S., ten Teije, A. & Riaño, D. (eds.). Cham: Springer, p. 376–385 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11526 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Surgery
Adaptive boosting
Learning systems
Costs
10 Downloads (Pure)
Open Access
File
Mobile devices
Communication
3 Downloads (Pure)
Open Access
File
Algebra
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

Information need: introduction to the special issue

Borlund, P. & Ruthven, I., 23 Aug 2019, In : Information Processing and Management. 3 p.

Research output: Contribution to journalEditorial

Information science
information science
literature
Information needs
3 Citations (Scopus)
3 Downloads (Pure)

Making meaning: a focus for information interactions research

Ruthven, I., 11 Mar 2019, CHIIR '19 Proceedings of the 2019 Conference on Human Information Interaction and Retrieval . New York, NY, p. 163-171 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
interaction research
present
interaction
2 Downloads (Pure)

On a greedy algorithm to construct universal cycles for permutations

Gao, A. L. L., Kitaev, S., Steiner, W. & Zhang, P. B., 5 Mar 2019, In : International Journal of Foundations of Computer Science. 30, 1, p. 61-72 12 p.

Research output: Contribution to journalArticle

Open Access
File
3 Downloads (Pure)

On partially ordered patterns of length 4 and 5 in permutations

Gao, A. L. L. & Kitaev, S., 16 Aug 2019, In : The Electronic Journal of Combinatorics. 26, 3, 31 p., P3.26.

Research output: Contribution to journalArticle

Open Access
File
Roofs
Permutation
Chemical analysis
Integer Sequences
Partially Ordered Set

On the 12-representability of induced subgraphs of a grid graph

Chen, J. N. & Kitaev, S., 1 Nov 2019, (Accepted/In press) In : Discussiones Mathematicae Graph Theory. 22 p.

Research output: Contribution to journalArticle

Open Access
File
Grid Graph
Representability
Induced Subgraph
Graph in graph theory
Line Graph
37 Downloads (Pure)

On the qubit routing problem

Cowtan, A., Dilkes, S., Duncan, R., Krajenbrink, A., Simmons, W. & Sivarajah, S., 1 May 2019, In : Leibniz International Proceedings in Informatics (LIPIcs). 135, 32 p., 5.

Research output: Contribution to journalArticle

Open Access
File
Networks (circuits)

Open-world games: an exploration of creative play

Arnott, L., Levine, J. & Shanks, G., 31 Mar 2019, Early Learning in the Digital Age. Palaiologou, I. & Gray, C. (eds.). London

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
1 Downloads (Pure)

Optimising Clifford circuits with Quantomatic

Fagan, A. & Duncan, R., 29 Jan 2019, In : Electronic Proceedings in Theoretical Computer Science. 287, p. 85-105 21 p.

Research output: Contribution to journalConference article

Open Access
File
Networks (circuits)
1 Downloads (Pure)

Pauli Fusion: a computational model to realise quantum transformations from ZX terms

Beaudrap, N. D., Duncan, R., Horsman, D. & Perdrix, S., 10 Jun 2019, In : Electronic Proceedings in Theoretical Computer Science. 22 p.

Research output: Contribution to journalArticle

Open Access
File
Fusion reactions
Quantum computers
Networks (circuits)

Permutation graphs and the Abelian sandpile model, tiered trees and non-ambiguous binary trees

Dukes, M., Selig, T., Smith, J. P. & Steingrímsson, E., 16 Aug 2019, In : The Electronic Journal of Combinatorics. 26, 3, 25 p., P3.29.

Research output: Contribution to journalArticle

Open Access
File
Permutation Graphs
Sandpile Model
Binary trees
Binary Tree
Bijection
3 Downloads (Pure)

Phase gadget synthesis for shallow circuits

Cowtan, A., Dilkes, S., Duncan, R., Simmons, W. & Sivarajah, S., 10 Jun 2019, In : Electronic Proceedings in Theoretical Computer Science.

Research output: Contribution to journalArticle

Open Access
File
Networks (circuits)
Quantum chemistry
Quantum computers
Benchmarking
State estimation

Polygon-circle and word-representable graphs

Enright, J. & Kitaev, S., 20 Mar 2019, In : Electronic Notes in Discrete Mathematics. 71, p. 3-8 6 p.

Research output: Contribution to journalArticle

Computer science
Polygon
Circle
Graph in graph theory
Circle Graph
1 Citation (Scopus)

Riordan graphs I: structural properties

Cheon, G-S., Jung, J-H., Kitaev, S. & Mojallal, S. A., 15 Oct 2019, In : Linear Algebra and its Applications. 579, p. 89-135 47 p.

Research output: Contribution to journalArticle

Hamiltonians
Computer networks
Fractals
Structural Properties
Structural properties
1 Citation (Scopus)

Riordan graphs II: spectral properties

Cheon, G-S., Jung, J-H., Kitaev, S. & Mojallal, S. A., 15 Aug 2019, In : Linear Algebra and its Applications. 575, p. 174-215 42 p.

Research output: Contribution to journalArticle

Spectral Properties
Fractals
Structural properties
Graph in graph theory
Determinant
8 Downloads (Pure)

Solving computational problems in the theory of word-representable graphs

Akgün, Ö., Gent, I., Kitaev, S. & Zantema, H., 24 Feb 2019, In : Journal of Integer Sequences. 22, 2, p. 1-18 18 p., 19.2.5.

Research output: Contribution to journalArticle

Open Access
File
Refining
Program processors
Graph in graph theory
Representability
Comparability Graph
2 Citations (Scopus)

The information needs matrix: a navigational guide for refugee integration

Oduntan, O. & Ruthven, I., 31 May 2019, In : Information Processing and Management. 56, 3, p. 791-808 18 p.

Research output: Contribution to journalArticle

Open Access
File
refugee
asylum seeker
Navigation
Education
Refugees
7 Citations (Scopus)
9 Downloads (Pure)

The language of information need: differentiating conscious and formalized information needs

Ruthven, I., 31 Jan 2019, In : Information Processing and Management. 56, 1, p. 77-90 14 p.

Research output: Contribution to journalArticle

Open Access
File
Information science
Linguistics
Moderators
language
Internet
17 Downloads (Pure)

The MUSETECH Companion: Navigating the Matrix

Damala, A., Ruthven, I. & Hornecker, E., 1 Jan 2019, Glasgow: University of Strathclyde, 21 p.

Research output: Working paperGuide or manual

Open Access
File
museum
evaluation
planning
present
resources
66 Downloads (Pure)

The MUSETECH model: a comprehensive evaluation framework for museum technology

Damala, A., Ruthven, I. & Hornecker, E., 28 Feb 2019, In : Journal on Computing and Cultural Heritage (JOCCH). 12, 1, 22 p., 7.

Research output: Contribution to journalArticle

Open Access
File
Museums
Digital storage
Evaluation
Augmented reality
Virtual reality
9 Downloads (Pure)

The Scottish HCI community

Sari, E., Halvey, M., Cockton, G. & Foster, M. E., 1 Mar 2019, Interactions, 26, 2, p. 92-93 2 p.

Research output: Contribution to specialist publicationArticle

Open Access
File
Human computer interaction
Lakes
1 Citation (Scopus)

Tiered trees, weights, and q-Eulerian numbers

Dugan, W., Glennon, S., Gunnells, P. E. & Steingrimsson, E., 31 May 2019, In : Journal of Combinatorial Theory Series A . 164, p. 24-49 26 p.

Research output: Contribution to journalArticle

Open Access
File
Eulerian numbers
Orbits
Bijection
Labeled Trees
Quiver
4 Downloads (Pure)

Universal properties for universal types in bifibrational parametricity

Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 30 Jun 2019, In : Mathematical Structures in Computer Science. 29, 6, p. 810–827 18 p.

Research output: Contribution to journalArticle

Open Access
File
Uniformity
Lemma
Semantics
Theorem
Model
8 Downloads (Pure)

Using machine learning to classify test outcomes

Roper, R., 20 May 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). Piscataway, N.J.: IEEE, p. 99-100 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Learning systems
Engineers
Software testing
Supervised learning
Testing
1 Citation (Scopus)
7 Downloads (Pure)

Valuing mobile health: an open-ended contingent valuation survey of a national digital health program

Somers, C., Grieve, E., Lennon, M., Bouamrane, M-M., Mair, F. S. & McIntosh, E., 17 Jan 2019, In : Journal Of Medical Internet Research mHealth and uHealth. 7, 1, 12 p., e3.

Research output: Contribution to journalArticle

Open Access
File
Telemedicine
National Health Programs
Life Style
Health
Surveys and Questionnaires
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
2 Citations (Scopus)
24 Downloads (Pure)

A compositional treatment of iterated open games

Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 12 Sep 2018, In : Theoretical Computer Science. 741, p. 48-57 10 p.

Research output: Contribution to journalArticle

Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality
4 Citations (Scopus)
42 Downloads (Pure)

A glimpse of mobile text entry errors and corrective behaviour in the wild

Komninos, A., Dunlop, M., Katsaris, K. & Garofalakis, J., 3 Sep 2018, MobileHCI '18 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct . New York, p. 221-228 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
53 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
1 Citation (Scopus)
11 Downloads (Pure)

Beyond traditional collaborative search: understanding the effect of awareness on multi-level collaborative information retrieval

Htun, N. N., Halvey, M. & Baillie, L., 30 Jan 2018, In : Information Processing and Management. 54, 1, p. 60-87 28 p.

Research output: Contribution to journalArticle

Open Access
File
Information retrieval
information retrieval
scenario
evaluation
popularity
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
21 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