Find Research outputs

Search results

• 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
  221 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
  162 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
  1 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
  46 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
  100 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
  13 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)

  83 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
  15 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
  52 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
  195 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
  146 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)

  47 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
  225 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
  93 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
  232 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
  137 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

• 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
  192 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
  196 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
  96 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
  154 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
  165 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
  151 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
  312 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
  209 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

• Automated Game-Theoretic Verification of Security Systems

  Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

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

  Open Access

  File
  204 Downloads (Pure)

• Automated Extension of Narrative Planning Domains with Antonymic Operators

  Porteous, J., Lindsay, A., Read, J., Truran, M. & Cavazza, M., 2015.

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

  Open Access

  File
  87 Downloads (Pure)

• Automated computational cognitive-modeling: goal-specific analysis for large websites

  Van Schaik, P., Muzahir, R. H. & Lockyer, M., 2 Apr 2015, In: ACM Transactions on Computer-Human Interaction. 22, 3, p. - 29 p., 14.

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

  Open Access

  File
  98 Downloads (Pure)

• Automated and interconnected facility management system: an open IFC cloud-based BIM solutions

  Matarneh, S., Elghaish, F., Rahimian, F., Dawood, N. & Edwards, D. J., 1 Sep 2022, (Accepted/In press) In: Automation in Construction.

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

• Authors' reply to comment by Grant et al

  Ryan, C., McDonough, S., Kirwan, J. P., Leveille, S. & Martin, D. J., 1 Jan 2014, In: European Journal of Pain (United Kingdom). 18, 6, 1 p.

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

• Authoring Plan-based Narratives via a Social Network

  Porteous, J., Charles, F. & Cavazza, M., 2013.

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

• Authentic learning in healthcare: Challenges and opportunities

  Chesterton, P., 1 Sep 2021.

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

• Austerity and the rise of hostility towards marginalized groups

  Smith, C., 2016, Occupational Therapies Without Borders: integrating justice with practice. Pollard, N. & Sakellariou, D. (eds.). 2nd ed. Edinburgh: Elsevier

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

• A Uses And Gratifications Exploration Of Young Women's Instagram Usage

  Rodgers, J. & Dee, G., 5 Jul 2019.

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

• Au Revoir to “Sacred Cows”? Assessing the Impact of the Nouvelle Droite in Britain

  Copsey, N., 1 Jul 2013, In: Democracy and Security. 9, 3, p. 287-303

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