Being there: Humans and robots in public spaces

Bremner, P., Trigoni, N., Brown, I., Gunes, H., Bevan, C., Fraser, D. S. & Levine, M., 1/12/2013, Social Robotics - 5th International Conference, ICSR 2013, Proceedings. p. 581-582 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8239 LNAI).

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

A Gaussian process approach to locate cracks in plate-like structures

Surace, C., Hensman, J., Mattone, M., Gherlone, M. & Corrado, N., 2014, Proceedings of the Twelfth International Conference on Computational Structures Technology. Topping, B. H. V. & Ivanyi, P. (eds.). 122. (Civil-Comp Proceedings; vol. 106).

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

Approximation algorithms for the weight-reducible knapsack problem

Goerigk, M., Sabharwal, Y., Schöbel, A. & Sen, S., 2014, Theory and Applications of Models of Computation. TAMC 2014. Berlin: Springer, p. 203-215 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8402 ).

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

A framework of design weakness detection through machine health monitoring for the evolutionary design optimization of multi-domain systems

Xia, M. & De Silva, C. W., 15/10/2014, Proceedings of the 9th International Conference on Computer Science and Education, ICCCSE 2014. Institute of Electrical and Electronics Engineers Inc., p. 205-210 6 p. 6926455. (Proceedings of the 9th International Conference on Computer Science and Education, ICCCSE 2014).

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

Accessible Design in Integrated Development Environments: A Think Aloud Study Exploring the Experiences of Students with ADHD

Halpin, L., Benachour, P., Hall, T., Houghton, A.-M. & Winter, E., 12/06/2025, (Accepted/In press) Two Decades of TEL: from Lessons Learnt to Challenges Ahead. Springer, (Lecture Notes in Computer Science).

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

Traffic event detection from road surveillance videos based on fuzzy logic

Mehboob, F., Abbas, M. & Jiang, R., 29/08/2016, Proceedings of 2016 SAI Computing Conference, SAI 2016. Institute of Electrical and Electronics Engineers Inc., p. 188-194 7 p. 7555981. (Proceedings of 2016 SAI Computing Conference, SAI 2016).

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

Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

Kretínský, J., Meggendorfer, T. & Weininger, M., 14/07/2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. IEEE, p. 1-14 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).

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

An Overlay Tree Building Control Protocol.

Mathy, L., Canonico, R. & Hutchison, D., 1/01/2001, Networked Group Communication. Heidelberg: Springer Berlin, Vol. 2233/2. p. 76-87 12 p. (Lecture Notes in Computer Science).

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