Find Research outputs

Search results

• A-Z of Lifelong Learning

  Tummons, J. & Ingleby, E., 2014

  Research output: Book/Report › Book

• A workshop for high school students on naive set theory

  Wegner, S-A., 2 Mar 2016, In: Eur. J. Sci. Math. Edu.. 2, 4, p. 193 ‐ 201 9 p.

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

• A working validation of English proficiency tests for small sample sizes

  Wang, S. C., Pao, W. K. S. & Jacob, S. M., 2006.

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

• A woman's place recurring: structuration, football fandom and sub-cultural subservience

  Dixon, K., 20 Nov 2014, (Submitted) In: Sport in Society. 18, 6, p. 636-651

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

  File
  547 Downloads (Pure)

• A wireless sensor network for intelligent building energy management based on multi communication standards- A case study

  Grindvoll, H., Vermesan, O., Crosbie, T., Bahr, R., Dawood, N. & Revel, G. M., 2012, In: Journal of Information Technology in Construction. 17, p. 43-61

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

  File
  303 Downloads (Pure)

• A wireless sensor network for intelligent building energy managementbased on multi communication standards-A case study

  Grindvoll, H., Vermesan, O., Crosbie, T., Bahr, R., Dawood, N. & Revel, G. M., 1 May 2012, In: Electronic Journal of Information Technology in Construction. 17, p. 43-62 20 p.

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

  42 Citations (Scopus)

• A web comic strip creator for educational comics with assessable learning objectives

  Lazarinis, F. & Pearson, E., 22 Jun 2012, Intelligent Tutoring Systems - 11th International Conference, ITS 2012, Proceedings. p. 701-702 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7315 LNCS).

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

• A web accessibility auditing instrument to assist novice evaluators

  Bailey, C. & Pearson, E. J., 2009, Proceedings of world conference on e-learning in corporate, government, healthcare, and higher education 2009. Association for the Advancement of Computing in Education, p. 1527 - 1531

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

  File
  13 Downloads (Pure)

• A Web3D enabled information integration framework for facility management

  Rasys, E., Hodds, M., Dawood, N. & Kassem, M., 2013.

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

• Avoiding stiffness: perspectives of agile technology diffusion

  Ezcan, V., Goulding, J., Rahimian, F. & Kuruoglu, M., 28 Jul 2015.

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

• Avoiding or restricting defectors in public goods games?

  Han, T. A., Pereira, L. M. & Lenaerts, T., 6 Feb 2015, In: Journal of the Royal Society Interface. p. -

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

  Open Access

  File
  89 Downloads (Pure)

• A Voice for Animals in Need - Illustration as reportage

  Dover, A., 2019

  Research output: Non-textual form › Web publication/site

• A VLSI-based parallel architecture for block-matching motion estimation in video coding applications

  Xu, D., Noras, J. & Booth, W., 2001, Progress in computer research. Columbus, F. (ed.). Nova Science Publishers

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

• 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
  88 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
  12 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
  68 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
  373 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
  48 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
  11 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
  197 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
  159 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 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
  41 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
  93 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
  13 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
  50 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
  189 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
  141 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 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)

  37 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
  213 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
  88 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
  225 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
  130 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
  185 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
  191 Downloads (Pure)