Skip to main content

Research Repository

Advanced Search

Outputs (191)

Toward Supporting CS1 Instructors and Learners With Fine-Grained Topic Detection in Online Judges (2023)
Journal Article
Pereira, F. D., Fonseca, S. C., Wiktor, S., Oliveira, D. B., Cristea, A. I., Benedict, A., Fallahian, M., Dorodchi, M., Carvalho, L. S., Mello, R. F., & Oliveira, E. H. (2023). Toward Supporting CS1 Instructors and Learners With Fine-Grained Topic Detection in Online Judges. IEEE Access, 11, https://doi.org/10.1109/access.2023.3247189

Online judges (OJ) are a popular tool to support programming learning. However, one major issue with OJs is that problems are often put together without any associated meta-information that could, for example, be used to help classify problems. This... Read More about Toward Supporting CS1 Instructors and Learners With Fine-Grained Topic Detection in Online Judges.

Health Monitoring and Diagnosis for Geo-Distributed Edge Ecosystem in Smart City (2023)
Journal Article
Wen, W., Demirbaga, U., Singh, A., Jindal, A., Batth, R. S., Zhang, P., & Aujla, G. S. (2023). Health Monitoring and Diagnosis for Geo-Distributed Edge Ecosystem in Smart City. IEEE Internet of Things Journal, 10(21), 18571-18578. https://doi.org/10.1109/jiot.2023.3247640

With the increasing number of Internet of Things (IoT) devices being deployed and used in daily life, the load on computational devices has grown exponentially. This situation is more prevalent in smart cities where such devices are used for autonomo... Read More about Health Monitoring and Diagnosis for Geo-Distributed Edge Ecosystem in Smart City.

A Video-Based Augmented Reality System for Human-in-the-Loop Muscle Strength Assessment of Juvenile Dermatomyositis (2023)
Journal Article
Zhou, K., Cai, R., Ma, Y., Tan, Q., Wang, X., Li, J., Shum, H. P., Li, F. W., Jin, S., & Liang, X. (2023). A Video-Based Augmented Reality System for Human-in-the-Loop Muscle Strength Assessment of Juvenile Dermatomyositis. IEEE Transactions on Visualization and Computer Graphics, 29(5), 2456-2466. https://doi.org/10.1109/tvcg.2023.3247092

As the most common idiopathic inflammatory myopathy in children, juvenile dermatomyositis (JDM) is characterized by skin rashes and muscle weakness. The childhood myositis assessment scale (CMAS) is commonly used to measure the degree of muscle invol... Read More about A Video-Based Augmented Reality System for Human-in-the-Loop Muscle Strength Assessment of Juvenile Dermatomyositis.

Data Augmentation with norm-VAE and Selective Pseudo-Labelling for Unsupervised Domain Adaptation (2023)
Journal Article
Wang, Q., Meng, F., & Breckon, T. (2023). Data Augmentation with norm-VAE and Selective Pseudo-Labelling for Unsupervised Domain Adaptation. Neural Networks, 161, 614-625. https://doi.org/10.1016/j.neunet.2023.02.006

We address the Unsupervised Domain Adaptation (UDA) problem in image classification from a new perspective. In contrast to most existing works which either align the data distributions or learn domain-invariant features, we directly learn a unified c... Read More about Data Augmentation with norm-VAE and Selective Pseudo-Labelling for Unsupervised Domain Adaptation.

Topology and adjunction in promise constraint satisfaction (2023)
Journal Article
Krokhin, A., Opršal, J., Wrochna, M., & Živný, S. (2023). Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing, 52(1), 38-79. https://doi.org/10.1137/20m1378223

The approximate graph colouring problem, whose complexity is unresolved in most cases, concerns finding a c-colouring of a graph that is promised to be k-colourable, where c≥k. This problem naturally generalises to promise graph homomorphism problems... Read More about Topology and adjunction in promise constraint satisfaction.

Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores (2023)
Journal Article
Fasi, M., Higham, N. J., Lopez, F., Mary, T., & Mikaitis, M. (2023). Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores. SIAM Journal on Scientific Computing, 45(1), https://doi.org/10.1137/21M1465032

In multiword arithmetic, a matrix is represented as the unevaluated sum of two or more lower precision matrices, and a matrix product is formed by multiplying the constituents in low precision. We investigate the use of multiword arithmetic for impro... Read More about Matrix Multiplication in Multiword Arithmetic: Error Analysis and Application to GPU Tensor Cores.

Finite-Time Fault-Tolerant Formation Control for Distributed Multi-Vehicle Networks With Bearing Measurements (2023)
Journal Article
Wu, K., Hu, J., Ding, Z., & Arvin, F. (2024). Finite-Time Fault-Tolerant Formation Control for Distributed Multi-Vehicle Networks With Bearing Measurements. IEEE Transactions on Automation Science and Engineering, 21(2), 1346-1357. https://doi.org/10.1109/tase.2023.3239748

This paper addresses a bearing-only formation tracking problem in robotic networks by considering exogenous disturbances and actuator faults. In contrast to traditional position-based coordination strategies, the bearing-only coordinated movements of... Read More about Finite-Time Fault-Tolerant Formation Control for Distributed Multi-Vehicle Networks With Bearing Measurements.

Atmospheric optical turbulence analysis in London’s financial district (2023)
Presentation / Conference Contribution
Westerby-Griffin, L., Osborn, J., Farley, O. J. D., Griffiths, R., & Love, G. D. (2023). Atmospheric optical turbulence analysis in London’s financial district. In H. Hemmati, & B. S. Robinson (Eds.), Proceedings Volume 12413, Free-Space Laser Communications XXXV. https://doi.org/10.1117/12.2648907

Atmospheric optical turbulence causes signal loses in laser propagation. Here we present vertical measurements of optical turbulence taken in London’s financial district. Additionally, we demonstrate a method of modelling atmospheric states in simula... Read More about Atmospheric optical turbulence analysis in London’s financial district.