PET - A Partial Exploration Tool for Probabilistic Verification.

Meggendorfer, T., 21/10/2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Parametric Study of Pin-based Gap Waveguide for Millimeter Wave Slow Wave Structures

Zied Abozied, A. & Letizia, R., 17/10/2022, 2022 15th UK-Europe-China Workshop on Millimetre-Waves and Terahertz Technologies (UCMMT). IEEE, 3 p. (2022 15th UK-Europe-China Workshop on Millimetre-Waves and Terahertz Technologies (UCMMT)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Exploiting the Potential of the Edge-Cloud Continuum with Self-distributing Systems

Rodrigues Filho, R., Bittencourt, L., Porter, B. & Costa, F., 15/10/2022, (Accepted/In press) International Workshop on Cloud and Edge Computing. IEEE, 7 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Modelling Aerodynamics of a Floating Offshore Wind Turbine Using the Overset Mesh Solver In OpenFOAM

Lin, Z., Qian, L., Campobasso, M. S., Bai, W., Zhou, Y. & Ma, Z., 13/10/2022, ASME 2022 41st International Conference on Ocean, Offshore and Arctic Engineering. Hamburg: American Society of Mechanical Engineers (ASME), 7 p. (Volume 8: Ocean Renewable Energy; vol. Volume 8: Ocean Renewable Energy).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

HolonCraft-An Architecture for Dynamic Construction of Smart Home Workflows

Wang, Z., Elkhatib, Y. & Elhabbash, A., 10/10/2022, Proceedings - 2022 International Conference on Future Internet of Things and Cloud, FiCloud 2022. Younas, M., Awan, I. & Rahayu, W. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 213-220 8 p. (Proceedings - 2022 International Conference on Future Internet of Things and Cloud, FiCloud 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Dual Quaternion Based Finite-Time Tracking Control for Mechatronic Systems with Actuation Allocation

Sun, L., Huang, Y., Wang, Z., Xiao, B. & Yeatman, E., 10/10/2022, 2022 27th International Conference on Automation and Computing (ICAC). IEEE, 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Data-driven Process Parameter Optimisation for Laser Wire Metal Additive Manufacturing

Roberts, M., Xia, M. & Kennedy, A., 10/10/2022, Proceedings of the 27th International Conference on Automation & Computing. IEEE, p. 1-6 6 p. 124

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Advanced Machine Learning Approach of Power Flow Optimization in Community Microgrid

Aldahmashi, J. & Ma, X., 10/10/2022, Proceedings of the 27th International Conference on Automation & Computing (ICAC2022). IEEE, 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sustainable Technological Futures: Moving beyond a One-World-World perspective

Stead, M. & Coulton, P., 8/10/2022, NordiCHI 2022: Nordic Human-Computer Interaction Conference. New York: ACM, 17 p. 97

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Eco-Joy: Imagining Sustainable and Joyful Food Eco-label Futures

Shakeri, G., Jung, F., Bertran, F. A., Friday, A. & Galeote, D. F., 8/10/2022, Participative Computing for Sustainable Futures - Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. New York: Association for Computing Machinery (ACM), p. 1:1-1:7 7 p. 1. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Attributes and Dimensions of Trust in Secure Systems

Bradbury, M., Prince, D., Marcinkiewicz, V. & Watson, T., 7/10/2022, (Accepted/In press) STaR-IoT 1st International Workshop on Socio-technical Cybersecurity and Resilience in the Internet of Things. Delft, Netherlands, (ACM Transactions on Internet of Things).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Learning Interpretable Regularized Ordinal Models from 3D Mesh Data for Neurodegenerative Disease Staging

ENIGMA consortium, 6/10/2022, Machine Learning in Clinical Neuroimaging - 5th International Workshop, MLCN 2022, Held in Conjunction with MICCAI 2022, Proceedings. Abdulkadir, A., Bathula, D. R., Dvornek, N. C., Habes, M., Kia, S. M., Kumar, V. & Wolfers, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 115-124 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13596 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

MARbLE: Multi-Agent Reinforcement Learning at the Edge for Digital Agriculture

Boubin, J., Burley, C., Han, P., Li, B., Porter, B. & Stewart, C., 1/10/2022, (Accepted/In press) Symposium on Edge Computing. IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Semantic Segmentation under Adverse Conditions: A Weather and Nighttime-aware Synthetic Data-based Approach

Kerim, A., Chamone, F., De Souza Ramos, W., Soriano Marcolino, L., Nascimento, E. R. & Jiang, R., 30/09/2022, (Accepted/In press) The British Machine Vision Conference (BMVC). 14 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Vision: Design Fiction for Cybersecurity: Using Science Fiction to Help Software Developers Anticipate Problems

Loureiro-Koechlin, C., Córdoba-Pachón, J-R., Coventry, L., Demetriou, S. & Weir, C., 29/09/2022, EuroUSEC '22: Proceedings of the 2022 European Symposium on Usable Security. New York: ACM, p. 79-84 6 p. (ACM International Conference Proceeding Series).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

User-Elicited Surface and Motion Gestures for Object Manipulation in Mobile Augmented Reality

Harris, D., Potts, D. & Houben, S., 28/09/2022, MobileHCI '22: Adjunct Publication of the 24th International Conference on Human-Computer Interaction with Mobile Devices and Services. New York: ACM, p. 13:1-13:6 6 p. 13. (MobileHCI 2022 Adjunct - Publication of the 24th ACM International Conference on Human-Computer Interaction with Mobile Devices and Services).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Application of UAV-Based Photogrammetry Wthout Ground Control Points in Quantifying Intertidal Mudflat Morphodynamics

Chen, C., Zhang, C., Wu, W., Jiang, W., Tian, B. & Zhou, Y., 28/09/2022, IGARSS 2022 - 2022 IEEE International Geoscience and Remote Sensing Symposium. IEEE, p. 7767-7770 4 p. (IGARSS 2022 - 2022 IEEE International Geoscience and Remote Sensing Symposium).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Meta Agent Teaming Active Learning for Pose Estimation

Gong, J., Fan, Z., Ke, Q., Rahmani, H. & Liu, J., 27/09/2022, 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, p. 11069-11079 11 p. (2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Graph-context Attention Networks for Size-varied Deep Graph Matching

Jiang, Z., Rahmani, H., Angelov, P., Black, S. & Williams, B., 27/09/2022, Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2022. IEEE, p. 2333-2342 10 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2022-June).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Water States Analysis of Anion Exchange Membranes with Terahertz Time-Domain Spectroscopy

Frow, J. J., Periasamy, A. P., Gupta, G., Varcoe, J. R. & Lin, H., 26/09/2022, 2022 47th International Conference on Infrared, Millimeter and Terahertz Waves (IRMMW-THz). IEEE, (International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz; vol. 2022-August).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

E-band traveling wave tube for high data rate wireless links

Basu, R., Gates, J., Narasimhan, P., Letizia, R. & Paoloni, C., 26/09/2022, 47th International Conference on Infrared, Millimeter, and Terahertz Waves (IRMMW-THz 2022) . IEEE, (International Conference on Infrared, Millimeter and Terahertz Waves (IRMMW-THz); vol. 47).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Quantification of water states in thin proton exchange membrane manufacturing using terahertz time-domain spectroscopy

Ludlam, G., Alves De Lima, D., Li, X., Coulson, B., Nesling, E., Degl'Innocenti, R., Dawson, R., Peruffo, M. & Lin, H., 26/09/2022, IRMMW-THz 2022 - 47th International Conference on Infrared, Millimeter and Terahertz Waves.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Active Polarization Modulation of Terahertz Radiation Using Metamaterial/Graphene-Based Optoelectronic Devices

Zaman, A., Degl'Innocenti, R., Lu, Y., Almond, N. W., Burton, O. J., Alexander-Webber, J., Hofmann, S., Mitchell, T., Griffiths, J. D. P., Beere, H. E. & Ritchie, D. A., 26/09/2022, 2022 47th International Conference on Infrared, Millimeter and Terahertz Waves (IRMMW-THz). IEEE, p. 1-3 3 p. (International Conference on Infrared, Millimeter and Terahertz Waves (IRMMW-THz); vol. 2022, no. 47).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Inter Mode Interference in Circular Antenna Arrays for Orbital Angular Momentum (OAM) Based Communication

Wulff, M., Wang, L., Yang, C. & Schuster, C., 21/09/2022, 2022 IEEE International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting. IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

User Scheduling in NOMA Random Access Using Contextual Multi-Armed Bandits

Wang, W., Yu, W., Foh, C. H., Gao, D. & Ni, Q., 19/09/2022, (Accepted/In press) Proceedings of 2022 IEEE Globecom Workshops (GC Wkshps). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review