University of Hull logo

Variability management in safety-critical systems design & dependability analysis (2019)
Journal Article
De Oliveira, A., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design & dependability analysis. Journal of software : evolution and process, 31(8), https://doi.org/10.1002/smr.2202

Safety-critical systems are of paramount importance for many application domains where safety properties are a key driver to engineer critical aspects and avoid system failures. However, the integration of safety analyses in the development process i... Read More

Approaches to Measuring Attendance and Engagement (2018)
Journal Article
Grey, S., & Gordon, N. A. (2018). Approaches to Measuring Attendance and Engagement. New Directions in the Teaching of Physical Sciences, 13(13), https://doi.org/10.29311/ndtps.v0i13.2767

In this paper, we argue that, where we measure student attendance, this creates an extrinsic motivator in the form of a reward for (apparent) engagement and can thus lead to undesirable behaviour and outcomes. We go on to consider a number of other m... Read More

A box particle filter method for tracking multiple extended objects (2018)
Journal Article
De Freitas, A., Mihaylova, L., Gning, A., Schikora, M., Ulmke, M., Angelova, D., & Koch, W. (2019). A box particle filter method for tracking multiple extended objects. IEEE Transactions on Aerospace and Electronic Systems, 55(4), 1640 - 1655. https://doi.org/10.1109/TAES.2018.2874147

Extended objects generate a variable number of multiple measurements. In contrast with point targets, extended objects are characterized with their size or volume, and orientation. Multiple object tracking is a notoriously challenging problem due to... Read More

Timaeus: A digital art studio inspired by antiquity (2018)
Journal Article
Torrao, L., Papadopoulos, Y., & Mckie, D. (2018). Timaeus: A digital art studio inspired by antiquity. Generative art science and technology hard journal,

This project was motivated as an exploration of the capabilities provided by new digital media for creativity, art creation and art therapy. In the ancient Greek world, téchnē, the word for art, used to refer to both art and technology. The expressio... Read More

Hybrid Bridge-Based Memetic Algorithms for Finding Bottlenecks in Complex Networks (2018)
Journal Article
Chalupa, D., Hawick, K., & Walker, J. (2018). Hybrid Bridge-Based Memetic Algorithms for Finding Bottlenecks in Complex Networks. Big Data Research, 14, 68-80. https://doi.org/10.1016/j.bdr.2018.04.001

We propose a memetic approach to find bottlenecks in complex networks based on searching for a graph partitioning with minimum conductance. Finding the optimum of this problem, also known in statistical mechanics as the Cheeger constant, is one of th... Read More

An evaluation of the scanning electron microscope mirror effect to study viscoelastically prestressed polymeric matrix composites (2017)
Journal Article
Ge, C., Wang, B., & Fancey, K. S. (2017). An evaluation of the scanning electron microscope mirror effect to study viscoelastically prestressed polymeric matrix composites. Materials Today Communications, 12, 79-87. https://doi.org/10.1016/j.mtcomm.2017.07.001

A viscoelastically prestressed polymeric matrix composite (VPPMC) is produced by applying tensile creep to polymeric fibres, the creep load being removed before the fibres are moulded into a resin matrix. Following matrix curing, the viscoelastically... Read More

Connecting Undergraduate Students as Partners in Computer Science Teaching and Research (2017)
Journal Article
Gordon, N. A., & Brayshaw, M. (2017). Connecting Undergraduate Students as Partners in Computer Science Teaching and Research. New Directions in the Teaching of Physical Sciences, 12(12), https://doi.org/10.29311/ndtps.v0i12.598

Connecting undergraduate students as partners can lead to the enhancement of the undergraduate experience and allow students to see the different sides of the university. Such holistic perspectives may better inform academic career choices and postgr... Read More

Formal verification and validation of embedded systems: the UML-based MADES approach (2013)
Journal Article
Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., …Rossi, M. (2015). Formal verification and validation of embedded systems: the UML-based MADES approach. Software and systems modeling, 14(1), 343-363. https://doi.org/10.1007/s10270-013-0330-z

© 2013, Springer-Verlag Berlin Heidelberg. Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have t... Read More

Line generalisation by repeated elimination of points (1993)
Journal Article
Visvalingam, M., & Whyatt, J. D. (1993). Line generalisation by repeated elimination of points. The Cartographic journal, 30(1), 46-51. https://doi.org/10.1179/000870493786962263

This paper presents a new approach to line generalisation which uses the concept of ‘effective area’ for progressive simplification of a line by point elimination. Two coastlines are used to compare the performance of this, with that of the widely us... Read More