Skip to main content

Research Repository

Advanced Search

All Outputs (114)

SPMS-ALS: A Single-Point Memetic structure with accelerated local search for instance reduction (2021)
Journal Article
Le, H. L., Neri, F., & Triguero, I. (2022). SPMS-ALS: A Single-Point Memetic structure with accelerated local search for instance reduction. Swarm and Evolutionary Computation, 69, Article 100991. https://doi.org/10.1016/j.swevo.2021.100991

Real-world optimisation problems pose domain specific challenges that often require an ad-hoc algorithmic design to be efficiently addressed. The present paper investigates the optimisation of a key stage in data mining, known as instance reduction,... Read More about SPMS-ALS: A Single-Point Memetic structure with accelerated local search for instance reduction.

Locating Identities in Time: An Examination of the Formation and Impact of Temporality on Presentations of the Self Through Location-based Social Networks (2021)
Journal Article
Papangelis, K., Lykourentzou, I., Khan, V., Chamberlain, A., Cao, T., Saker, M., & Lalone, N. (2021). Locating Identities in Time: An Examination of the Formation and Impact of Temporality on Presentations of the Self Through Location-based Social Networks. ACM Transactions on Social Computing, 4(3), 1-23. https://doi.org/10.1145/3473043

Studies of identity and location-based social networks (LBSN) have tended to focus on the performative aspects associated with marking one’s location. Yet, these studies often present this practice as being an a priori aspect of locative media. What... Read More about Locating Identities in Time: An Examination of the Formation and Impact of Temporality on Presentations of the Self Through Location-based Social Networks.

The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production (2021)
Conference Proceeding
McGarry, G., Chamberlain, A., Crabtree, A., & Greenhalgh, C. (2021). The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production. In AM '21: Audio Mostly 2021 (40-47). https://doi.org/10.1145/3478384.3478406

In this paper we report on two ethnographic studies of professional music producers at work in their respective studio settings, to underpin the design of intelligent tools and platforms in this domain. The studies are part of a body of work that exp... Read More about The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production.

Convolutional feature extraction for process monitoring using ultrasonic sensors (2021)
Journal Article
Bowler, A., Pound, M., & Watson, N. (2021). Convolutional feature extraction for process monitoring using ultrasonic sensors. Computers and Chemical Engineering, 155, Article 107508. https://doi.org/10.1016/j.compchemeng.2021.107508

Ultrasonic sensors are a low-cost and in-line technique and can be combined with machine learning for industrial process monitoring. However, training accurate machine learning models for process monitoring using sensor data is dependant on the featu... Read More about Convolutional feature extraction for process monitoring using ultrasonic sensors.

Connecting Constructive Notions of Ordinals in Homotopy Type Theory (2021)
Conference Proceeding
Kraus, N., Nordvall Forsberg, F., & Xu, C. (2021). Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions of ordinal... Read More about Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

Beyond global and local multi-target learning (2021)
Journal Article
Basgalupp, M., Cerri, R., Schietgat, L., Triguero, I., & Vens, C. (2021). Beyond global and local multi-target learning. Information Sciences, 579, 508-524. https://doi.org/10.1016/j.ins.2021.08.022

In multi-target prediction, an instance has to be classified along multiple target variables at the same time, where each target represents a category or numerical value. There are several strategies to tackle multi-target prediction problems: the lo... Read More about Beyond global and local multi-target learning.

The Extent of User Involvement in the Design of Self-Tracking Technology for Bipolar Disorder: Literature Review (2021)
Working Paper
Majid, S., Reeves, S., Figueredo, G., Brown, S., Lang, A., Moore, M., & Morriss, R. The Extent of User Involvement in the Design of Self-Tracking Technology for Bipolar Disorder: Literature Review

Background: Self-monitoring applications for bipolar disorder are increasing in numbers. The application of user-centred design (UCD) is becoming standardised to optimise the reach, adoption and sustained use of this type of technology. Objectiv... Read More about The Extent of User Involvement in the Design of Self-Tracking Technology for Bipolar Disorder: Literature Review.

ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies (2021)
Conference Proceeding
Galvez Trigo, M. J., Porcheron, M., Egede, J., Fischer, J. E., Hazzard, A., Greenhalgh, C., …Valstar, M. (2021). ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies. In Proceedings of CUI 2021 : Conversational User Interfaces. https://doi.org/10.1145/3469595.3469621

We present ALTCAI, a Wizard of Oz Embodied Conversational Agent that has been developed to explore the use of interactive agents as an effective and engaging tool for delivering health and well-being advice to expectant and nursing mothers in Nigeria... Read More about ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies.

An empirical analysis of the information security culture key factors framework (2021)
Journal Article
Tolah, A., Furnell, S. M., & Papadaki, M. (2021). An empirical analysis of the information security culture key factors framework. Computers and Security, 108, Article 102354. https://doi.org/10.1016/j.cose.2021.102354

Information security is a challenge facing organisations, as security breaches pose a serious threat to sensitive information. Organisations face security risks in relation to their information assets, which may also stem from their own employees. Or... Read More about An empirical analysis of the information security culture key factors framework.

Machine learning to determine the main factors affecting creep rates in laser powder bed fusion (2021)
Journal Article
Sanchez, S., Rengasamy, D., Hyde, C. J., Figueredo, G. P., & Rothwell, B. (2021). Machine learning to determine the main factors affecting creep rates in laser powder bed fusion. Journal of Intelligent Manufacturing, 32(8), 2353–2373. https://doi.org/10.1007/s10845-021-01785-0

There is an increasing need for the use of additive manufacturing (AM) to produce improved critical application engineering components. However, the materials manufactured using AM perform well below their traditionally manufactured counterparts, par... Read More about Machine learning to determine the main factors affecting creep rates in laser powder bed fusion.

Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic (2021)
Conference Proceeding
Benford, S., Mansfield, P., & Spence, J. (2021). Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic. In CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. https://doi.org/10.1145/3411764.3445125

The global pandemic has driven musicians online. We report an ethnographic account of how two traditional folk clubs with little previous interest in digital platforms transitioned to online experiences. They followed very different approaches: one a... Read More about Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic.

Health Care Cybersecurity Challenges and Solutions Under the Climate of COVID-19: Scoping Review (2021)
Journal Article
He, Y., Aliyu, A., Evans, M., & Luo, C. (2021). Health Care Cybersecurity Challenges and Solutions Under the Climate of COVID-19: Scoping Review. Journal of Medical Internet Research, 23(4), Article e21747. https://doi.org/10.2196/21747

Background: COVID-19 has challenged the resilience of the health care information system, which has affected our ability to achieve the global goal of health and well-being. The pandemic has resulted in a number of recent cyberattacks on hospitals, p... Read More about Health Care Cybersecurity Challenges and Solutions Under the Climate of COVID-19: Scoping Review.

Creating a Digital Mirror of Creative Practice (2021)
Conference Proceeding
Johnson, C. (2021). Creating a Digital Mirror of Creative Practice. In Computational Intelligence in Music, Sound, Art and Design – 10th International Conference, EvoMUSART 2021 (427-442). https://doi.org/10.1007/978-3-030-72914-1_28

This paper describes an ongoing project to create a “digital mirror” to my practice as a composer of contemporary classical music; that is, a system that takes descriptions (in code) of aspects of that practice, and reflects them back as computer-gen... Read More about Creating a Digital Mirror of Creative Practice.

Adaptive Covariance Pattern Search (2021)
Book Chapter
Neri, F. (2021). Adaptive Covariance Pattern Search. In P. A. Castillo, & J. L. Jiménez Laredo (Eds.), Applications of Evolutionary Computation – 24th International Conference, EvoApplications 2021 (178-193). Springer. https://doi.org/10.1007/978-3-030-72699-7_12

Pattern search is a family of single solution deterministic optimisation algorithms for numerical optimisation. Pattern search algorithms generate a new candidate solution by means of an archive of potential moves, named pattern. This pattern is gen... Read More about Adaptive Covariance Pattern Search.

Generalised Pattern Search Based on Covariance Matrix Diagonalisation (2021)
Journal Article
Neri, F., & Rostami, S. (2021). Generalised Pattern Search Based on Covariance Matrix Diagonalisation. SN Computer Science, 2, Article 171. https://doi.org/10.1007/s42979-021-00513-y

Pattern Search is a family of gradient-free direct search methods for numerical optimisation problems. The characterising feature of pattern search methods is the use of multiple directions spanning the problem domain to sample new candidate solution... Read More about Generalised Pattern Search Based on Covariance Matrix Diagonalisation.

Constructing a universe for the setoid model (2021)
Conference Proceeding
Altenkirch, T., Boulier, S., Kaposi, A., Sattler, C., & Sestini, F. (2021). Constructing a universe for the setoid model. In S. Kiefer, & C. Tasson (Eds.), Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings (1-21). https://doi.org/10.1007/978-3-030-71995-1_1

The setoid model is a model of intensional type theory that validates certain extensionality principles, like function extensionality and propositional extensionality, the latter being a limited form of univalence that equates logically equivalent pr... Read More about Constructing a universe for the setoid model.

Text Data Augmentations: Permutation, Antonyms and Negation (2021)
Journal Article
Haralabopoulos, G., Torres, M. T., Anagnostopoulos, I., & McAuley, D. (2021). Text Data Augmentations: Permutation, Antonyms and Negation. Expert Systems with Applications, 177, Article 114769. https://doi.org/10.1016/j.eswa.2021.114769

Text has traditionally been used to train automated classifiers for a multitude of purposes, such as: classification, topic modelling and sentiment analysis. State-of-the-art LSTM classifier require a large number of training examples to avoid biases... Read More about Text Data Augmentations: Permutation, Antonyms and Negation.

Teaching Mathematics to Computer Scientists: Reflections and a Case Study (2021)
Journal Article
Neri, F. (2021). Teaching Mathematics to Computer Scientists: Reflections and a Case Study. SN Computer Science, 2(2), Article 75. https://doi.org/10.1007/s42979-021-00461-7

Mathematics, despite being the foundation of computer science, is nowadays often considered a totally separate subject. The fact that many jobs in computer science do not explicitly require any specific mathematical knowledge posed questions about th... Read More about Teaching Mathematics to Computer Scientists: Reflections and a Case Study.

Exploring touch-based behavioral authentication on smartphone email applications in IoT-enabled smart cities (2021)
Journal Article
Li, W., Meng, W., & Furnell, S. (2021). Exploring touch-based behavioral authentication on smartphone email applications in IoT-enabled smart cities. Pattern Recognition Letters, 144, 35-41. https://doi.org/10.1016/j.patrec.2021.01.019

© 2021 Elsevier B.V. The Internet of Things (IoT) allows various embedded devices and smart sensors to be connected with each other, which provides a basis for building smart cities. The IoT-enabled smart city can greatly benefit people's daily lives... Read More about Exploring touch-based behavioral authentication on smartphone email applications in IoT-enabled smart cities.