Find Research outputs

Search results

• Conference contribution

  Towards a program logic for C11 release-sequences

  He, M., Qin, S. & Ferreira, J., 4 Dec 2018, Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018. Institute of Electrical and Electronics Engineers Inc., 8560730. (Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018; vol. 2018-January).

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

• Towards a shared vocabulary for interactive digital storytelling: A workshop at ICIDS 2010

  Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2010, Interactive Storytelling: ICIDS 2010. Aylett, R., Lim, M. Y., Louchart, S., Petta, P. & Riedl, M. (eds.). Springer, p. 293-294 2 p. (Lecture Notes in Computer Science; vol. 6432).

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

• Towards a unified theory for interactive digital storytelling - Classifying artifacts: A workshop at ICIDS 2011

  Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2011, Interactive Storytelling: ICIDS 2011. Si, M., Thue, D., André, E., Lester, J. C., Tanenbaum, J. & Zammitto, V. (eds.). Springer, p. 360-361 2 p. (Lecture Notes in Computer Science; vol. 7069).

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

• Towards combining reactive and proactive cloud elasticity on running HPC applications

  Rodrigues, V. F., Da Rosa Righi, R., Da Costa, C. A., Singh, D., Munoz, V. M. & Chang, V., 31 Mar 2018, IoTBDS 2018 - Proceedings of the 3rd International Conference on Internet of Things, Big Data and Security. Munoz, V. M., Walters, R., Firouzi, F., Wills, G. & Chang, V. (eds.). SciTePress, p. 261-268 8 p. (IoTBDS 2018 - Proceedings of the 3rd International Conference on Internet of Things, Big Data and Security; vol. 2018-March).

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

  1 Citation (Scopus)

• Towards complete specifications with an error calculus

  Le, Q. L., Sharma, A., Craciun, F. & Chin, W. N., 9 Sep 2013, NASA Formal Methods - 5th International Symposium, NFM 2013, Proceedings. p. 291-306 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7871 LNCS).

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

• Towards emotional regulation through neurofeedback

  Cavazza, M., Charles, F., Aranyi, G., Porteous, J., Gilroy, S. W., Raz, G., Keynan, N. J., Cohen, A., Jackont, G., Jacob, Y., Soreq, E., Klovatch, I. & Hendler, T., 2014, AH '14: Proceedings of the 5th Augmented Human International Conference. 42

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

  Open Access

• Towards Encoding Background Knowledge with Temporal Extent into Neural Networks

  Anh, H. T. & Marques, N. C., 2010, Knowledge Science, Engineering and Management. KSEM 2010. Bi, Y. & Williams, MA. (eds.). Springer, p. 63-75 (Lecture Notes in Computer Science; vol. 6291).

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

• Towards mapping the evolving space of interactive digital narrative

  Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2013, Interactive Storytelling. ICIDS 2013. Koenitz, H., Sezen, T. I., Ferri, G., Haahr, M., Sezen, D. & C̨atak, G. (eds.). Springer, p. 285-286 2 p. (Lecture Notes in Computer Science).

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

• Towards sparse rule base generation for fuzzy rule interpolation

  Tan, Y., Li, J., Wonders, M., Fei, C., Shum, H. & Yang, L., 10 Nov 2016, 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, p. 110-117 8 p.

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

  Open Access

  File
  141 Downloads (Pure)

• Towards the Innovation of High-tech Small-medium Enterprises (SMEs): The Interview Approach

  Xue, W., Chang, V., Chen, Y. & Xu, Q., 5 May 2020, FEMIB 2020 - Proceedings of the 2nd International Conference on Finance, Economics, Management and IT Business. Baudier, P., Arami, M. & Chang, V. (eds.). SciTePress, p. 129-135 7 p. (FEMIB 2020 - Proceedings of the 2nd International Conference on Finance, Economics, Management and IT Business).

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

  Open Access

  File
  14 Downloads (Pure)

• Towards ‘verifying’ a water treatment system

  Wang, J., Sun, J., Jia, Y., Qin, S. & Xu, Z., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer Verlag, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 10951 LNCS).

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

• Transformability in post-earthquake houses: towards a more sustainable design approach in Iran

  Parva, M., Dola, K. & Rahimian, F., 2012, 2nd International Conference on Socio-Political and Technological Dimensions of Climate Change, Hotel-Marriott Putrajaya.

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

  Open Access

  File
  25 Downloads (Pure)

• Translational slip failures on slope incorporating unsaturated soil mechanics

  Huang, W., Leong, E. C. & Rahardjo, H., 14 Oct 2015, Unsaturated Soil Mechanics - from theory to practice: Proceedings of the 6th Asia Pacific Conference on Unsaturated Soils (Guilin, China, 23-26 October 2015). Chen, Z., Wei, C., Sun, D. & Xu, X. (eds.). Routledge Taylor & Francis Group

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

• Tutor accessibility support kit (TASK): A suite of staff development resources for inclusive online learning design

  Papadopoulos, G., Pearson, E. & Green, S., 1 Dec 2011, Proceedings of the Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education, ASCILITE 2011. p. 974-988 15 p.

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

  1 Citation (Scopus)

• Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

  Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Qin, S., Chen, H. & Sui, Y., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM

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

  Open Access

  File
  420 Downloads (Pure)

• Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment

  Almousa, O., Mödersheim, S., Modesti, P. & Viganò, L., 2015, Proceedings, Part II, Computer Security - ESORICS 2015. Pernul, G., Ryan, P. Y. A. & Weippl, E. R. (eds.). Springer, Vol. 9327. p. 209-229 21 p. (Lecture Notes in Computer Science).

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

  Open Access

  File
  134 Downloads (Pure)

• UK social housing organizations: change, restructuring and reorientation

  Ward, C. & Preece, D., 2011, Changes and new directions in human services. Berg, E. (ed.). Luleå: Luleå University of Technology

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

  Open Access

  File
  25 Downloads (Pure)

• Ultrasonic Cross-Correlation Flow Measurement: Theory, Noise Contamination Mechanisms, and a Noise Mitigation Technique

  Jenkins, D. M., Lysak, P. D., Capone, D. E., Brown, W. L. & Askari, V., 15 Nov 2006, 14th International Conference on Nuclear Engineering. ASM International, Vol. Volume 2: Thermal Hydraulics. p. 575-581

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

• Understanding the Role of Knowledge Management in Higher Education Partnerships through Experts

  Elezi, E. & Bamber, C., 7 Sep 2018, 19th European Conference on Knowledge Management . Bolisani, E., Di Maria, E. & Scarso, E. (eds.).

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

• Under the influence: Using natural language in interactive storytelling

  Cavazza, M., Charles, F. & Mead, S., 2002, IFIP conference proceedings. Nakatsu, R. & Hoshino, J. (eds.). Wolters Kluwer Medknow Publications, Vol. 240. p. 3-11

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

  Open Access

  File
  85 Downloads (Pure)

• Unifying theories of programming that distinguish nontermination and abort

  Hayes, I. J., Dunne, S. E. & Meinicke, L., 2010, Mathematics of programme construction. Bolduc, C., Desharnais, J. & Ktari, B. (eds.). Berlin: Springer Verlag, p. 178-194 (Lecture note in computer science; 6120).

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

  Open Access

  File
  197 Downloads (Pure)

• Uplink performance optimization of ultra dense Wi-Fi networks using AP-managed TPC

  Afaqui, M. S. I., Brown, S. & Farrell, R., 21 May 2018, 2018 Wireless Days (WD). IEEE, p. 104-106

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

• Usability evaluation of web office applications in collaborative writing

  Khan, M. A., Israr, N. & Hassan, S., 21 Apr 2010, ISMS 2010 - UKSim/AMSS 1st International Conference on Intelligent Systems, Modelling and Simulation. p. 146-151 6 p. 5416105

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

• User-acceptance and flow in two gaming platforms used for exercise

  Robinson, J., Van Schaik, P., MacSween, A., Dixon, J. & Martin, D., 4 Aug 2011, International Conference on Virtual Rehabilitation, ICVR 2011. Thalmann, D. (ed.). IEEE, 5971853

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

  Open Access

  File
  1 Citation (Scopus)

  147 Downloads (Pure)

• User capability in an adaptive world

  Dodd, R., Green, S. & Pearson, E., 24 Dec 2009, 1st ACM SIGMM International Workshop on Media Studies and Implementations that Help Improving Access to Disabled Users, MSIADU'09, Co-located with the 2009 ACM International Conf. Multimedia, MM'09. p. 79-87 9 p.

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

• User-contributory case-based reasoning for digital forensic investigations

  Horsman, G., Laing, C. & Vickers, P., 26 Nov 2012, Proceedings - 3rd International Conference on Emerging Security Technologies, EST 2012. p. 103-106 4 p. 6328012

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• User interaction in mixed reality interactive storytelling

  Cavazza, M., Martin, O., Charles, F., Marichal, X. & Mead, S., 2003, Proceedings of the 2nd IEEE/ACM International Symposium on Mixed and Augmented Reality. Washington, DC: IEEE, 2 p.

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

  Open Access

  File
  167 Downloads (Pure)

• Users acting in mixed reality interactive storytelling

  Cavazza, M., Martin, O., Charles, F., Mead, S. & Marichal, X., 2003, Virtual storytelling. Berlin: Springer, Vol. 2897. p. 189-197 (Lecture notes in computer science; vol. 2897).

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

  Open Access

  File
  172 Downloads (Pure)

• Using affective trajectories to describe states of flow in interactive art

  Gilroy, S. W., Cavazza, M. & Benayoun, M., 2009, ACM international conference proceeding series. p. 165-172

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

  File
  203 Downloads (Pure)

• Using automated state space planning for effective management of visual information and learner’s attention in virtual reality

  Ladeinde, O., Razzaque, M. A. & Han, T. A., 24 Aug 2019, (E-pub ahead of print) Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer-Verlag, Vol. 1038. p. 24-40 17 p. 231009. (Advances in Intelligent Systems and Computing; vol. 1038).

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

  Open Access

  File
  97 Downloads (Pure)

• Using a web-based repository to support group projects

  Lockyer, M. A., Griffiths, G., Hebbron, B. & Oates, B. J., 1 Dec 2003, Proceedings of the IASTED International Conference on Computers and Advanced Technology in Education. p. 467-472 6 p.

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

• Using fNIRS for Prefrontal-Asymmetry Neurofeedback: Methods and Challenges

  Aranyi, G., Cavazza, M. & Charles, F., 7 Oct 2015, Symbiotic Interaction: 4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings. Springer International Publishing AG, Vol. 9359.

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

• Using intention recognition in a simulation platform to assess physical activity levels of an office building

  Zeng, Y., Zhang, Z., Han, T. A., Spears, I. R. & Qin, S., 12 May 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. Durfee, E., Winikoff, M., Larson, K. & Das, S. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1817-1819 3 p.

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

• Using IT/ICT as a new medium toward implementation of interactive architectural communication cultures

  Pour Rahimian, F., Ibrahim, R. & Baharudin, M. N., 2008, International Symposium on Information Technology TSIM. IEEE

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

  Open Access

• Using lead Protection on Patients

  Cosson, P., 19 Apr 2018, Practical Radiation Protection in Diagnostic Radiology. British Institute of Radiology

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

• Using location-labeling for privacy protection in Location-Based Services

  Liao, D., Li, H., Anand, V., Chang, V., Sun, G. & Yu, H., 25 Apr 2016, IoTBD 2016 - Proceedings of the International Conference on Internet of Things and Big Data. Chang, V., Ramachandran, M., Munoz, V. M., Wills, G. & Walters, R. (eds.). p. 299-306

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

• Using meta-agents to build MAS middleware

  Lynch, S., 14 Jul 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 2. p. 385-388 4 p.

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

• Using real occupancy in retrofit decision-making: Reducing the performance gap in low utilisation higher education buildings

  Oliver, S., Seyedzadeh, S. & Rahimian, F., 18 Sep 2019, Construction and Management in Architecture, Engineering, Construction and Operations (AECO): 36th CIB W78 2019 Conference ICT in Design. University of Northumbria, Newcastle-upon-Tyne., p. 676 688 p.

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

  Open Access

  File
  77 Downloads (Pure)

• Verification and validation testing of a real-time fault-detection system for mission-critical rotating equipment

  Short, M., Twiddle, J. & Schwartz, M., 2011, Proceedings: Advances in industrial asset integrity management.

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

• Verifying BPEL-Like Programs with Hoare Logic

  Luo, C., Qin, S. & Qiu, Z., 2008, Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE

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

• Verifying safety policies with size properties and alias controls

  Chin, W-N., Khoo, S-C., Qin, S., Popeea, C. & Nguyen, H. H., 2005, Proceedings - 27th international conference on software engineering. New York: ACM, p. 186-195

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

  Open Access

  File
  166 Downloads (Pure)

• Verifying SeVeCom using set-based abstraction

  Mödersheim, S. & Modesti, P., 12 Aug 2011, IEEE International Wireless Communications and Mobile Computing Conference, IWCMC 2011, Istanbul, Turkey, 4-8 July, 2011. IEEE, p. 1164-1169 6 p.

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

  File
  113 Downloads (Pure)

• Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

  Zou, L., Zhany, N., Wang, S., Fränzle, M. & Qin, S., 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE

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

• Video tracking of Tuohy needle for an enhanced epidural simulator user interface

  Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2 B. V02BT02A039

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

• Virtual hip replacement simulator for 3D printed implants

  Vaughan, N. & Dubey, V., 31 Oct 2017, Conference Proceedings Frontiers in Biomedical Devices. American Society of Mechanical Engineers(ASME), 2 p.

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

  Open Access

• Virtual Pipeline Technology in Nigeria: Technical and Economic Analysis

  Ikpeka, P. & Ikiensikimama, S., 2 Aug 2016, SPE Nigeria Annual International Conference and Exhibition. 15 p.

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

• Virtual radiographic environments become a reality

  Cosson, P., 6 Jun 2004, Proceedings of the United Kingdom Radiological Congress. British Institute of Radiology

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

• Virtual Reality Applications in Architecture: Bill of Quantities & Virtual Reality

  Davidson, J., Fowler, J., Pantazis, C., Sannino, M., Walker, J. & Rahimian, F., 30 Jun 2018, Creative Construction Conference 2018.

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

  Open Access

• Virtual reality based enhanced visualization of epidural insertion

  Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2012, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2. p. 1413-1418 6 p.

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

• Virtual unreality: Storytelling in virtual environments

  Cavazza, M., 2003, Proceedings of the ACM symposium on virtual reality software and technology. New York: ACM, p. 4-6

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

  Open Access

  File
  155 Downloads (Pure)