A formally verified SMT approach to true concurrency

Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

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

Investigating teams of neuro-typical and neuro-atypical students learning together using COGLE: A multi case study

Malik, M. & Sime, J. A., 21/10/2020, Frontiers in Education 2020: Education for a Sustainable Future. Uppsala, Sweden: Institute of Electrical and Electronics Engineers Inc., 5 p. 9273980. (Proceedings - Frontiers in Education Conference, FIE; vol. 2020-October).

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

The distribution and direction of extreme geomagnetic fluctuations over 1-60 minute periods

Rogers, N., Wild, J. & Eastoe, E., 20/10/2020, 2020 XXXIIIrd General Assembly and Scientific Symposium of the International Union of Radio Science. IEEE, p. 1-4 4 p.

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

Reactive Video: Adaptive Video Playback Based on User Motion for Supporting Physical Activity

Clarke, C., Cavdir, D., Chiu, P., Denoue, L. & Kimber, D., 20/10/2020, ACM Symposium on User Interface Software and Technology (UIST). New York: ACM, p. 196-208 13 p.

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

Design and Microfabrication of a Double Corrugated Waveguide for G-band TWTs

Basu, R., Billa, L., Rao, J. M., Himes, L., Zheng, Y., Renninson, N., Rodgers, B., Letizia, R., Luhmann, N. C., Gamzina, D. & Paoloni, C., 19/10/2020, 2020 IEEE 21st International Conference on Vacuum Electronics (IVEC).

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

TWTs for Point to Point D-band Wireless Links

Basu, R., Billa, L., Mahadev Rao, J., Letizia, R. & Paoloni, C., 19/10/2020, 2020 IEEE 21st International Conference on Vacuum Electronics (IVEC).

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

Towards Deep Machine Reasoning: A Prototype-based Deep Neural Network with Decision Tree Inference

Angelov, P. & Soares, E., 11/10/2020, 2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020. Institute of Electrical and Electronics Engineers Inc., Vol. October. p. 2092-2099 8 p. 9282812

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

SCADA-agnostic Power Modelling for Distributed Renewable Energy Sources

Althobaiti, A., Jindal, A. & Marnerides, A., 9/10/2020, 2020 IEEE 21st International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). IEEE, p. 379-384 6 p.

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

Using Orbital Angular Momentum (OAM) Modes on Multi-Conductor Cables for Crosstalk Mitigation

Wulff, M., Wang, L., Yang, C., Brüns, H.-D. & Schuster, C., 9/10/2020, IEEE 24th Workshop on Signal and Power Integrity (SPI).

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

Efficient Frequent Subgraph Mining in Transactional Databases.

Welke, P., 9/10/2020, Efficient Frequent Subgraph Mining in Transactional Databases.. IEEE, p. 307-314 7 p.

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

Decoding probability analysis of network-coded data collection and delivery by relay drones

Chatzigeorgiou, I. & Manole, E., 8/10/2020, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE

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

The impact of 5G channel models on the performance of intelligent reflecting surfaces and decode-and-forward relaying

Chatzigeorgiou, I., 8/10/2020, 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, 4 p.

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

Concept Drift Detection Using Autoencoders in Data Streams Processing

Jaworski, M., Rutkowski, L. & Angelov, P., 7/10/2020, Artificial Intelligence and Soft Computing: 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I. Rutkowski, L., Scherer, R., Korytkowski, M., Pedrycz, W., Tadeusiewicz, R. & Zurada, J. M. (eds.). Cham: Springer, p. 124-133 10 p. (Lecture Notes in Computer Science; vol. 12415 ).

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

GP Benchmark: Engineering a Crowd-Sourcing Platform for Real-Time Understanding of Personality and Cognitive Biases in Clinical Error

Hutchinson, W., Helal, S. & Bull, C., 7/10/2020, 2020 IEEE First International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH). IEEE, p. 41-46 6 p.

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

Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity

Al-Salami, N. & Zhang, B., 6/10/2020, 2020 IEEE/ACM 28th International Symposium on Quality of Service (IWQoS). IEEE, 10 p.

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

Localizing Failure Root Causes in a Microservice through Causality Inference

Meng, Y., Zhang, S., Sun, Y., Zhang, R., Hu, Z., Zhang, Y., Jia, C., Wang, Z. & Pei, D., 6/10/2020, 2020 IEEE/ACM 28th International Symposium on Quality of Service (IWQoS). IEEE, p. 1-10 10 p.

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

BugVis: Commit slicing for fault visualisation

Bowes, D., Petric, J. & Hall, T., 5/10/2020, ICPC '20: Proceedings of the 28th International Conference on Program Comprehension. New York: ACM, p. 436-440 5 p.

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

Are Thermal Attacks Ubiquitous?: When Non-Expert Attackers Use Off the shelf Thermal Cameras.

Abdrabou, Y., Abdelrahman, Y., Ayman, A., Mougy, A. E. & Khamis, M., 2/10/2020, AVI. p. 1-5 5 p. 47

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

Co-Designing Flavor-Based Memory Cues with Older Adults

Gayler, T., Sas, C. & Kalnikaitė, V., 1/10/2020, ICMI '20 Companion: Companion Publication of the 2020 International Conference on Multimodal Interaction. ACM, p. 287–291 5 p.

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

Backfiring and favouring: how design processes in HCI lead to anti-patterns and repentant designers

Widdicks, K., Pargman, D. & Björk, S., 1/10/2020, NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. ACM, p. 1–12 12 p. 16

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

从地平线到地面: 从视觉走向物质的摄影之路

Griffiths, R., 1/10/2020, 场所 空间 艺术: 优选文集. China: China Academy of Art, Hangzhou, p. 148-162 15 p.

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

Horus: An Interference-aware Resource Manager for Deep Learning Systems

Yeung, G., Borowiec, D., Yang, R., Friday, A., Harper, R. H. R. & Garraghan, P., 29/09/2020, Algorithms and Architectures for Parallel Processing. ICA3PP 2020. Qiu, M. (ed.). Springer, p. 492-508 17 p. (Lecture Notes in Computer Science; vol. 12453).

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

Numerical Investigation of OAM Based Indoor Communication in a Corridor with Electrical Conducting Walls

Wang, L., Wulff, M., Yang, C., Park, W. & Schuster, C., 29/09/2020, 2020 International Conference on UK-China Emerging Technologies (UCET). IEEE

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

Investigating Agile Adoption in Saudi Arabian Mobile Application Development

Altuwaijri, F. S. & Ferrario, M. A., 24/09/2020, International Conference on Agile Software Development: XP 2020: Agile Processes in Software Engineering and Extreme Programming – Workshops. Paasivaara, M. & Kruchten, P. (eds.). Cham: Springer, p. 265-271 7 p. (Lecture Notes in Business Information Processing).

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

Towards understanding the impact of convective weather on aircraft arrival traffic at the Hong Kong International Airport

Lui, G. N., Liem, R. & Hon, K. K., 24/09/2020, IOP Conference Series: Earth and Environmental Science. 1 ed. Vol. 569. 012067. (IOP Conference Series: Earth and Environmental Science).

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