Find Research outputs

Search results

• A visual energy performance assessment and decision support tool for dwellings

  Mhalas, A., Kassem, M., Crosbie, T. & Dawood, N., 2013, In: Visualization in Engineering. 1, 1, 13 p.

  Research output: Contribution to journal › Article › peer-review

  File
  105 Downloads (Pure)

• A vision for truly adaptable and accessible learning objects

  Gkatzidou, S. & Pearson, E. J., 2008, Proceedings ASCILITE Australasian Society for Computers in Learning in Tertiary Education. Australasian Society for Computers in Learning and Tertiary Education, p. 340-342

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  18 Downloads (Pure)

• A 'virtuous circle' of illicit markets? Smuggling and colonial state building in the Italian interwar Dodecanese

  Papanicolaou, G. & Espinoza, F. M., 2017, The many faces of crime for profit and ways of tackling it. van Duyne, P., Harvey, J., Antonopoulos, G. & von Lampe, K. (eds.). Oisterwijk: Wolf Legal Publishers, p. 379-402

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access

  File
  80 Downloads (Pure)

• A Virtual Environment for Accessible Desktop Navigation: British Human Computer Interaction Conference

  Dickinson, M., Clawson, K. & Horsman, G., 3 Jul 2017, p. 5.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

• A view from the wharf: historical perspectives on the transformation of urban waterfront space in Stockholm during the twentieth century

  Vall, N., Aug 2018, In: Urban History. 45, 3, p. 524-548

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  406 Downloads (Pure)

• A Verifiable Privacy-preserving Machine Learning Prediction Scheme for Edge-enhanced HCPSs

  Li, X., He, J., Vijayakumar, P., Zhang, X. & Chang, V., 8 Sep 2021, (E-pub ahead of print) In: IEEE Transactions on Industrial Informatics.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  110 Downloads (Pure)

• A Value Equivalence Approach for Solving Interactive Dynamic Influence Diagrams

  Conroy, R., Zeng, Y., Cavazza, M., Tang, J. & Pan, Y., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems . ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  18 Downloads (Pure)

• A Validation of the Academic Behavioural Confidence Scale with Spanish Psychology Students

  Sander, P., De La Fuente Arias, J., Stevenson, K. & Jones, T., Mar 2011, In: Psychology Learning and Teaching. 10, 1, p. 11-24 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• A validation of the 10-meter incremental shuttle walk test as a measure of aerobic power in cardiac and rheumatoid arthritis patients 

  MacSween, A., Johnson, N. J. L., Armstrong, G. & Bonn, J., 2001, In: Archives of Physical Medicine and Rehabilitation. 82, 6, p. 807-810

  Research output: Contribution to journal › Article › peer-review

• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

  Shi, L., Zhao, Y., Liu, Y., Sun, J., Dong, J. S. & Qin, S., 1 Aug 2018, In: Formal Aspects of Computing. 30, 3-4, p. 351-380 30 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  262 Downloads (Pure)

• Autonomy, special offers and routines: a Q methodological study of industry-driven marketing influences on young people's drinking behaviour

  Scott, S., Baker, R., Shucksmith, J. & Kaner, E., 2014, In: Addiction. p. -

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  172 Downloads (Pure)

• Autonomous Vehicles: how Perspective-Taking Accessibility Alters Moral Judgments and Consumer Purchasing Behavior

  Martin, R., Kusev, P. & Van Schaik, P., 1 Jul 2021, (E-pub ahead of print) In: Cognition. 10 p., 104666.

  Research output: Contribution to journal › Article › peer-review

  29 Downloads (Pure)

• Autonomous learning in the studio: Balancing great expectations in hard times Heroes and Monsters: extra-ordinary tales of learning and teaching in the Arts and Humanities

  Sober, R., Hayman, R. & Hogg, E., 2014.

  Research output: Contribution to conference › Paper › peer-review

• Automation and visualisation of location-based earthwork scheduling

  Shah, R. K., Dawood, N. & Castro, S., 2013.

  Research output: Contribution to conference › Paper › peer-review

• Automating the Optimal Selection Process of Subassembly Sections of a Modular Spreader Beam Used in Lifting Operations

  Wheatley, T., Chong, P. L., Habibi, H. & Djawad, W., 15 Sep 2022, In: Machines. 10, 9, 8 p., 808.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  11 Downloads (Pure)

• Automating road construction planning with a specific-domain simulation system

  Dawood, N. N. & Castro, S., 2009, In: Journal of Information Technology in Construction. 1, 4

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  50 Downloads (Pure)

• Automating Change Request Validation Using Industry Foundation Classes and Natural Language Processing

  Siddle, J., Dawood, H., Vukovic, V. & Dawood, N., 22 Nov 2018, Proceedings of the 18th International Conference on Construction Applications of Virtual Reality. Amor, R. & Dimyadi, J. (eds.). University of Auckland, p. 196-205 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Automatic screening and classification of diabetic retinopathy and maculopathy using fuzzy image processing

  Rahim, S. S., Palade, V., Shuttleworth, J. & Jayne, C., 31 Dec 2016, In: Brain Informatics. 3, 4, p. 249-267

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  108 Downloads (Pure)

• Automatic recognition of feeding and foraging behaviour in pigs using deep learning

  Al-Ameer, A., Kyriazakis, I., Dalton, H., Miller, A. & Bacardit, J., 12 Jul 2020, In: Biosystems Engineering. 197, p. 91-104

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automatic Loop-invariant Generation and Refinement through Selective Sampling

  Li, J., Sun, J., Li, L., Le, Q. L. & Lin, S-W., 30 Oct 2017, ASE 2017: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering . IEEE Computer Society, p. 782-792 (International Conference on Automated Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  16 Downloads (Pure)

• Automatic Imitation in Rhythmical Actions: Kinematic Fidelity and the Effects of Compatibility, Delay, and Visual Monitoring

  Eaves, D., Turgeon, M. & Vogt, S., 5 Oct 2012, In: PLoS ONE. 7, 10, e46728.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  13 Citations (Scopus)

  86 Downloads (Pure)

• Automatic generation of time location plan in road construction projects

  Shah, R. K. & Dawood, N. N., 2009, Proceedings of the 9th international conference on construction applications of virtual reality. Wan, X. & Gu, N. (eds.). The University of Sydney, p. 197-206

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automatic Generation of Security Protocols Implementations: (Extended Abstract)

  Modesti, P., 2015. 4 p.

  Research output: Contribution to conference › Abstract › peer-review

  Open Access

  File
  24 Downloads (Pure)

• Automatic generation of progress profiles for earthwork operations using 4D visualisation model

  Shah, R. K., Dawood, N. & Castro, S., Oct 2008, In: International Journal of Information Technology in Construction. 13, p. 491-506

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  58 Downloads (Pure)

• Automatic generation of limited-depth hyper-documents from clinical guidelines

  Truran, M., Siddle, J., Georg, G. & Cavazza, M., 2013.

  Research output: Contribution to conference › Paper › peer-review

• Automatic Generation of Game Level Solutions as Storyboards

  Pizzi, D., Lugrin, J-L., Whittaker, A. & Cavazza, M., Sep 2010, In: IEEE Transactions on Computational Intelligence and AI in Games. 2, 3, p. 149-161

  Research output: Contribution to journal › Article › peer-review

  File
  212 Downloads (Pure)

• Automatic generation of game level solutions as storyboards

  Pizzi, D., Cavazza, M. O., Whittaker, A. & Lugrin, J-L., Oct 2008, Proceedings of the fourth artificial intelligence and interactive digital entertainment conference. Darken, C. & Mateas, M. (eds.). IEEE, p. 96-101

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access

  File
  155 Downloads (Pure)

• Automatic expressive deformations for stylizing motion

  Noble, P. & Tang, W., 1 Dec 2006, Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia. p. 57-63 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Automatic expressive deformations for implying and stylizing motion

  Noble, P. & Tang, W., 1 Jul 2007, In: Visual Computer. 23, 7, p. 523-533 11 p.

  Research output: Contribution to journal › Article › peer-review
  4 Citations (Scopus)

• Automatic detection of glaucoma via fundus imaging and artificial intelligence: A review

  Coan, L., Williams, B., Venkatesh, K. A., Upadhyaya, S., Al Kafri, A., Czanner, S., Venkatesh, R., Willoughby, C. E., Kavitha, S. & Czanner, G., 17 Aug 2022, In: Survey of Ophthalmology. 42 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automatic detection of cyberbullying using multi-feature based artificial intelligence with deep decision tree classification

  Yuvaraj, N., Chang, V., Gobinathan, B., Pinagapani, A., Kannan, S., Dhiman, G. & Rajan, A. R., 1 Jun 2021, In: Computers and Electrical Engineering. 92, 107186.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  4 Citations (Scopus)

  76 Downloads (Pure)

• Automatic Data Structure Repair using Separation Logic

  Zheng, G., Le, Q. L., Nguyen, T. & Phan, Q-S., 4 Oct 2018, In: ACM SigSoft Software Engineering Notes .

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  243 Downloads (Pure)

• Automatic classification of takeaway food outlet cuisine type using machine (deep) learning

  Bishop, T. R. P., Hinke, S. V., Hollingsworth, B., Lake, A., Brown, H. & Burgoine, T., 10 Jul 2021, In: Machine Learning with Applications . 6, 100106.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  111 Downloads (Pure)

• Automatic analysis of corporate sustainability reports and intelligent scoring

  Shahi, A. M., Issac, B. & Modapothala, J. R., 20 Mar 2014, In: International Journal of Computational Intelligence and Applications. p. -

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement

  Wang, J., Sun, J., Qin, S. & Jegourel, C., 14 Dec 2018, In: IEEE Transactions on Software Engineering. 47, 1, p. 189-203 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  247 Downloads (Pure)

• Automatically refining partial specifications for Program Verification

  Qin, S., Luo, C., Chin, W-N. & He, G., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer Berlin, p. 369-385 ( Lecture Notes in Computer Science; vol. 6664).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  150 Downloads (Pure)

• Automatically refining partial specifications for heap-manipulating programs

  Qin, S., He, G., Luo, C., Chin, W. & Yang, H., 1 Mar 2014, In: Science of Computer Programming. 82, p. 56-76

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automatic Accent and Gender Recognition of Regional UK Speakers

  Jayne, C., Chang, V., Bailey, J. & Xu, Q. A., 2022, Engineering Applications of Neural Networks - 23rd International Conference, EAAAI/EANN 2022, Proceedings. Iliadis, L., Jayne, C., Tefas, A. & Pimenidis, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 67-80 14 p. (Communications in Computer and Information Science; vol. 1600 CCIS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated verification of the FreeRTOS scheduler in Hip/Sleek

  Ferreira, J., Gherghina, C., He, G., Qin, S. & Chin, W-N., 18 Mar 2014, In: International Journal on Software Tools for Technology Transfer. p. -

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  202 Downloads (Pure)

• Automated Verification of Shape and Size Properties Via Separation Logic

  Nguyen, H. H., David, C., Qin, S. & Chin, W-N., 2007, Verification, Model Checking, and Abstract Interpretation. Cook, B. & Podelski, A. (eds.). Springer Berlin Heidelberg, p. 251-266

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  204 Downloads (Pure)

• Automated verification of shape, size and bag properties via user-defined predicates in separation logic

  Chin, W-N., David, C., Nguyen, H. H. & Qin, S., Aug 2012, In: Science of Computer Programming. 77, 9, p. 1006-1036

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  104 Downloads (Pure)

• Automated Verification of Shape, Size and Bag Properties

  Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, Proceedings IEEE international conference on engineering complex computer systems. California: IEEE, p. 307-317

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  170 Downloads (Pure)

• Automated tracking to measure behavioural changes in pigs for health and welfare monitoring

  Matthews, S., Miller, A., Plotz, T. & Kyriazakis, I., 14 Dec 2017, In: Scientific Reports. 7, 17582.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated Specification Inference in a Combined Domain via User-Defined Predicates

  Qin, S., He, G., Chin, W-N., Craciun, F., He, M. & Ming, Z., 19 Jun 2017, In: Science of Computer Programming. p. -

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  176 Downloads (Pure)

• Automated Specification Discovery via User-Defined Predicates

  He, G., Qin, S., Chin, W-N. & Craciun, F., 2013, Lecture Notes in Computer Science . Vol. 8144. p. 397-414 Chapter 26. (Formal Methods and Software Engineering; vol. 8144).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  File
  168 Downloads (Pure)

• Automated Planning of Concrete Joint Layouts with 4D-BIM

  Sheikhkhoshkar, M., Rahimian, F., Kaveh, M. H., Hosseini, M. R. & Edwards, D., 30 Nov 2019, In: Automation in Construction. 107, 13 p., 102943.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  345 Downloads (Pure)

• Automated Operation With Redundant Ultrasonic Reactor Water Level Monitoring System

  Askari, V., 2009, p. 43-47.

  Research output: Contribution to conference › Paper › peer-review

• Automated Modular Verification for Relaxed Communication Protocols

  Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  231 Downloads (Pure)

• Automated measurement of anteroposterior diameter and foraminal widths in MRI images for lumbar spinal stenosis diagnosis

  Natalia, F., Meidia, H., Afriliana, N., Young, J. C., Yunus, R. E., Al-Jumaily, M., Al Kafri, A. & Sudirman, S., 2 Nov 2020, In: PLoS ONE.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated intelligent system for sound signalling device quality assurance

  Maniak, T., Jayne, C., Iqbal, R. & Doctor, F., 10 Feb 2015, In: Information Sciences. 294, p. 600-611 12 p.

  Research output: Contribution to journal › Article › peer-review