Outputs (2122)

An example of goal-directed, calculational proof (2024)
Journal Article
Backhouse, R. C., Guttmann, W., & Winter, M. (2024). An example of goal-directed, calculational proof. Journal of Functional Programming, 34, Article e13. https://doi.org/10.1017/s095679682400011x

An equivalence relation can be constructed from a given (homogeneous, binary) relation in two steps: first, construct the smallest reflexive and transitive relation containing the given relation (the “star” of the relation) and, second, construct the... Read More about An example of goal-directed, calculational proof.

Assessing Cyber Security Support for Small and Medium-Sized Enterprises (2024)
Book Chapter
Khan, N., Furnell, S., Bada, M., Nurse, J. R., & Rand, M. (2025). Assessing Cyber Security Support for Small and Medium-Sized Enterprises. In Human Aspects of Information Security and Assurance: 18th IFIP WG 11.12 International Symposium, HAISA 2024, Skövde, Sweden, July 9–11, 2024, Proceedings, Part I (148-162). Springer. https://doi.org/10.1007/978-3-031-72559-3_11

Small and Medium-Sized Enterprises (SMEs) share many of the same cyber security needs and challenges as larger organisations, but often have significantly less knowledge and capability to deal with them. One of the fundamental issues can be where to... Read More about Assessing Cyber Security Support for Small and Medium-Sized Enterprises.

Regional changes in cerebral perfusion with age when accounting for changes in gray-matter volume (2024)
Journal Article
Hu, J., Craig, M. S., Knight, S. P., De Looze, C., Meaney, J. F., Kenney, R. A., Chen, X., & Chappell, M. A. (2024). Regional changes in cerebral perfusion with age when accounting for changes in gray-matter volume. Magnetic Resonance in Medicine, https://doi.org/10.1002/mrm.30376

Purpose
One possible contributing factor for cerebral blood flow (CBF) decline in normal aging is the increase in partial volume effects due to brain atrophy, as cortical thinning can exacerbate the contamination of gray-matter (GM) voxels by other... Read More about Regional changes in cerebral perfusion with age when accounting for changes in gray-matter volume.

SoftED: Metrics for Soft Evaluation of Time Series Event Detection (2024)
Journal Article
Salles, R., Lima, J., Reis, M., Coutinho, R., Pacitti, E., Masseglia, F., Akbarinia, R., Chen, C., Garibaldi, J., Porto, F., & Ogasawara, E. (2024). SoftED: Metrics for Soft Evaluation of Time Series Event Detection. Computers and Industrial Engineering, 198, Article 110728. https://doi.org/10.1016/j.cie.2024.110728

Time series event detectors are evaluated mainly by standard classification metrics, focusing solely on detection accuracy. However, inaccuracy in detecting an event can often result from its preceding or delayed effects reflected in neighboring dete... Read More about SoftED: Metrics for Soft Evaluation of Time Series Event Detection.

Classifying Human Movement Using Discrete Fréchet and DTW Distances (2024)
Presentation / Conference Contribution
Akitaya, H. A., Carlos, J., De Almeida, C., Fonseca, L., & Shahrouzi, G. (2024, November). Classifying Human Movement Using Discrete Fréchet and DTW Distances. Presented at 31st Annual Fall Workshop on Computational Geometry, Tufts University, Medford, MA, USA

Individuals with motor disabilities often rely on assistive devices for support. However, conditions that affect upper limbs, particularly hand function, pose a challenge in the user interface design. In this context, inertial sensor-based movement c... Read More about Classifying Human Movement Using Discrete Fréchet and DTW Distances.

Augmenting musical instruments with digital identities (2024)
Journal Article
Benford, S., McGarry, G., Hazzard, A., Chamberlain, A., Gibson, R., & Avila, J. P. M. (2024). Augmenting musical instruments with digital identities. Journal of New Music Research, https://doi.org/10.1080/09298215.2024.2423613

We explore how augmenting musical instruments with digital identities can enhance their provenance, utility during creative practice, and personal meaning. A literature review reveals the importance of object identities in general and instrument iden... Read More about Augmenting musical instruments with digital identities.

Addressing E-Waste: Repair Café Processes as Barriers to Repair of Smart Devices (2024)
Journal Article
Castle-Green, T., & Sailaja, N. (2024). Addressing E-Waste: Repair Café Processes as Barriers to Repair of Smart Devices. BASE - Revista de Administração e Contabilidade da Unisinos, 9(10), 150-161. https://doi.org/10.52611/bdi.num10.2024.999

Electronic waste, commonly referred to as e-waste, is a health and environmental hazard that affects many people and ecosystems around the world. As the volume of e-waste continues to surge, it is imperative this issue is addressed. Contributing to t... Read More about Addressing E-Waste: Repair Café Processes as Barriers to Repair of Smart Devices.

Root metaxylem area influences drought tolerance and transpiration in pearl millet in a soil texture dependent manner (2024)
Preprint / Working Paper
Affortit, P., Faye, A., Jones, D. H., Benson, E., Sine, B., Burridge, J., Ndoye, M. S., Barry, L., Moukouanga, D., Barnard, S., Bhosale, R., Pridmore, T., Gantet, P., Vadez, V., Cubry, P., Kane, N., Bennett, M., Atkinson, J. A., Laplaze, L., Wells, D. M., & Grondin, A. (2024). Root metaxylem area influences drought tolerance and transpiration in pearl millet in a soil texture dependent manner

Pearl millet is a key cereal for food security in drylands but its yield is strongly impacted by drought. We investigated how root anatomical traits contribute to mitigating the effects of vegetative drought stress in pearl millet.

We examined ass... Read More about Root metaxylem area influences drought tolerance and transpiration in pearl millet in a soil texture dependent manner.

Learning-guided cross-sampling for large-scale evolutionary multi-objective optimization (2024)
Journal Article
Wang, H., Chen, L., Hao, X., Qu, R., Zhou, W., Wang, D., & Liu, W. (2024). Learning-guided cross-sampling for large-scale evolutionary multi-objective optimization. Swarm and Evolutionary Computation, 91, Article 101763. https://doi.org/10.1016/j.swevo.2024.101763

When tackling large-scale multi-objective problems (LSMOPs), the computational budget could be wasted by traditional offspring generators that explore the search space in a nearly directionless manner, impairing the efficiency of many existing algori... Read More about Learning-guided cross-sampling for large-scale evolutionary multi-objective optimization.

Small and medium enterprises will use generative AI. But how can they be helped to implement it properly? (2024)
Report
Ochang, P., Eke, D., Stahl, B., Buckley, . M., Poder, I., & Hughes, J. (2024). Small and medium enterprises will use generative AI. But how can they be helped to implement it properly?. ESPRC and RAI UK

Generative AI is changing the way our economies and businesses operate, and SMEs could be receiving more benefits from this transition. Over the past 12 months in the Responsible Generative AI for SMEs in UK and Africa (RAISE) project we have been wo... Read More about Small and medium enterprises will use generative AI. But how can they be helped to implement it properly?.