Find Research outputs

Search results

• Conference contribution

  A feasibility study on regeneration capture on a seaport electrified gantry crane

  Short, M., Hassan, F., Kidd, A., Amrouche, F., Segovia, E., Coleman, D. & Walker, M., 12 Oct 2022, 2022 26th International Conference on Circuits, Systems, Communications and Computers (CSCC). IEEE, p. 196-203

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

• Affective interactive narrative in the CALLAS Project

  Charles, F., Lemercier, S., Vogt, T., Bee, N., Mancini, M., Urbain, J., Price, M., André, E., Pélachaud, C. & Cavazza, M., 2007, 4th international conference on virtual storytelling proceedings. Springer Berlin, p. 210-213

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

  Open Access

  File
  144 Downloads (Pure)

• Affect recognition from speech

  Zhang, L. & Francisco, V., 2009, Artificial intelligence in education - Building learning systems that care: From knowledge representation to affective modelling. IOS Press, p. 683 - 685

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

  File
  13 Downloads (Pure)

• A formal soundness proof of region-based memory management for object-oriented paradigm

  Craciun, F., Qin, S. & Chin, W-N., 2008, Formal methods and software engineering. Springer Verlag, p. 126-146

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

  Open Access

  File
  85 Downloads (Pure)

• A Framework for Construction Workspace Management: A Serious Game Engine Approach

  Chavada, R. D., Kassem, M., Dawood, N. N. & Naji, K. K., 2012, Computing in Civil Engineering (2012): proceedings of the 2012 ASCE international conference on computing in civil engineering, American Society of Civil Engineers. American Society of Civil Engineers (ASCE), p. 57-64

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

  Open Access

  File
  226 Downloads (Pure)

• A Framework for Digital Twinning of Masonry Arch Bridges

  Muhit, I., Kawabe, D., Loverdos, D., Liu, B., Yukihiro, Y., Kim, C-W. & Sarhosis, V., Jul 2023, Eighth International Symposium on Life-Cycle Civil Engineering. Biondini, F. & Frangopol, D. M. (eds.). Taylor and Francis Group, p. 817-824

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

  Open Access

  File
  19 Downloads (Pure)

• A Framework for Improving Business and Technical Operations within Timber Frame Self-Build Housing Sector by Applying an Integrated VR/AR and BIM Approach

  Potseluyko, L. & Rahimian, F., 18 Sept 2019, Construction and Management in Architecture, Engineering, Construction and Operations (AECO): 36th CIB W78 2019 Conference ICT in Design. Kumar, B., Rahimian, F., Greenwood, D. & Hartmann, T. (eds.). p. 539 548 p.

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

  Open Access

  File
  141 Downloads (Pure)

• A framework of a virtual earthworks activities model (4D-ERCON) for road construction projects

  Shah, R. K. & Dawood, N. N., 2008, Proceedings of the 8th international conference on construction applications of virtual reality (CONVR 2008). p. 222-242

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

• A Generalized Ground Motion Model for selection of consistent Mainshock-Aftershock Ground Motion Sequences using Deep Neural Networks

  Fayaz, J. & Galasso, C., 30 Jun 2022, 12th National Conference of Earthquake Engineering (12NCEE).

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

• Agents’ interaction in virtual storytelling

  Cavazza, M., Charles, F. & Mead, S., 2001, Intelligent Virtual Agents. Springer Berlin, p. 156-170 (Lecture notes in computer science; vol. 2190).

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

  Open Access

  File
  199 Downloads (Pure)

• Agile development of a metamodel in Eiffel

  Paige, R. F., Brooke, P. J. & Ostroff, J. S., 2004, Proceedings 15th International Symposium on Software Reliability Engineering. IEEE

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

• Agile formal method engineering

  Brooke, P. J. & Paige, R. F., 2005, Lecture notes in computer science. Vol. 3771.

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

• A health and safety perspective on environmental niches of community acquired infectious agents

  Connolly, S. S., Pasari, Y. & Connolly, S. N., 2010, Proceedings of the 20th international conference FAIM. p. 412-416

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

• A heap model for java bytecode to support separation logic

  Luo, C., He, G. & Qin, S., 2008, Proceedings APSEC 2008. IEEE Computer Society, p. 127-134

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

  Open Access

  File
  167 Downloads (Pure)

• A Hierarchical Self-Organising Fuzzy Logic-Based On-Line Advisor for the Management of Cardiac Septic Patients

  Mahfouf, M., King, O., Denaï, M. A., Ross, J. J. & Lu, Q., 1 Jan 2011, World Congress, Volume 18, Part 1. Bittanti, S., Cenedese, A. & Zampieri, S. (eds.). IFAC, Vol. 18. p. 575-580 (IFAC-PapersOnLine).

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

  Open Access

  File
  145 Downloads (Pure)

• A high performance CMOS band-gap reference circuit design

  Wendan Xu, W., Xu, D. & French, I., 2005, Proceedings of the 2005 IEEE international workshop on VLSI design and video technology, IWVDVT 2005. p. 32-35

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

  Open Access

  File
  321 Downloads (Pure)

• A high precision and low noise S/H circuit design for video signal sampling

  Lai, X., Xu, D., Hu, L. & Wang, H., 2004, Proceedings of the 2004 11th IEEE International Conference on electronics, circuits and systems. p. 310-313

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

  Open Access

  File
  164 Downloads (Pure)

• A hybrid EDF algorithm for implementing resource-constrained real-time control applications

  Abugchem, F., Short, M. & Xu, D., 2012, Proceedings of ETFA 2012 - IEEE International Conference on Emerging Technology & Factory Automation, 17-21 September 2012, Krakow, Poland.. IEEE

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

• A hybrid model of distributed leadership theory: Federated leadership

  McCauley-Smith, C., 9 Sept 2014, BAM2014 Conference Proceedings. The British Academy of Management , 22 p.

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

  Open Access

  File
  191 Downloads (Pure)

• AI-based animation for interactive storytelling

  Cavazza, M., Charles, F. & Mead, S., 2001, Proceedings of computer animation. Ko, H-S. (ed.). Washington: IEEE, p. 113-120

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

• Air-flow sensing for vehicle length estimation in autonomous driving applications

  Matvejev, R., Muhammad, Y. & Muhammad, N., 7 Sept 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE

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

  Open Access

  File
  84 Downloads (Pure)

• A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems

  Mu, C., 11 Dec 2020, IEEE Theoretical Aspects of Software Engineering (TASE) 2020. IEEE, p. 185-192

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

  Open Access

  File
  40 Downloads (Pure)

• Al-based world behaviour for emergent narratives

  Lugrin, J-L. & Cavazza, M. O., 2006, Proceedings of the 2006 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology,. ACM

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

• A Learning Design Framework to Support Children with Learning Disabilities Incorporating Gamification Techniques

  Shaban, A. & Pearson, E., 9 May 2019, Conference on Human Factors in Computing Systems - Proceedings: Weaving The Threads of CHI. p. 1-6 7 p. 3312806. (Conference on Human Factors in Computing Systems - Proceedings).

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

  Open Access

  File
  721 Downloads (Pure)

• Algebraic Semantics for C++11 Memory Model

  Xiao, L., Zhu, H., He, M. & Qin, S., 10 Aug 2022, 2022 IEEE 46th Annual Computers, Software, and Applications Conference: Proceedings . Va Leong, H., Sarvestani, S. S., Teranishi, Y., Cuzzocrea, A., Kashiwazaki, H., Towey, D., Yang, J-J. & Shahriar, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1513-1518 6 p. (Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022).

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

• Alkylphenols and light aromatic hydrocarbons in oilfield waters are produced in source rocks, not from petroleum hydrolysis

  Aplin, A. C., Love, G. D., Dale, J. D., Bennett, B., Taylor, G. & Larter, S. R., 15 Aug 2002, Geochimica et Cosmochimica Acta. Elsevier, Vol. 66.

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

• Alleviating the risk of sewer flooding using Fuzzy Logic in a real time control system- an experimental study

  Abdel-Aal, M., Shepherd, W., Mounce, S., Ostojin, S., Schellart, A., Shucksmith, J., Skipworth, P. & Tait, S., 2016, 8th International Conference on Sewer Processes & Networks.. Rotterdam, 4 p.

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

  Open Access

• A low cost and flexible approach to CAN conformance testing

  Sheikh, I. & Short, M., 1 Dec 2009, ICINCO 2009 - 6th International Conference on Informatics in Control, Automation and Robotics, Proceedings. The International Federation of Automatic Control (IFAC), p. 97-104 8 p. (ICINCO 2009 - 6th International Conference on Informatics in Control, Automation and Robotics, Proceedings; vol. 1 ICSO).

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

  2 Citations (Scopus)

• A low power supply and high frequency driver design for DC-DC converter applications

  Xu, D., Xu, W. & Zhang, J., 2005, Proceedings of the 2005 IEEE international workshop on VLSI design and video technology. p. 28-31

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

  Open Access

  File
  173 Downloads (Pure)

• Alternative reality: A new platform for virtual reality art

  Cavazza, M., Hartley, S., Lugrin, J-L. & Le Bras, M., 2003, Proceedings of the ACM symposium on virtual reality software and technology. New York: ACM, p. 100-107

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

  Open Access

  File
  248 Downloads (Pure)

• Alternative reality: Qualitative physics for digital arts

  Cavazza, M., Hartley, S., Lugrin, J-L. & Le Bras, M., 2003, Proceedings of the 17th international workshop on qualitative reasoning. p. 47-54

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

  Open Access

  File
  48 Downloads (Pure)

• A Memetic Multi-Agent Demonstration Learning Approach with Behavior Prediction

  Hou, Y., Zeng, Y. & Ong, Y. S., 9 May 2016, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems. Jonker, C. M., Marsella, S., Thaangarajah, J. & Tuyls, K. (eds.). ACM, p. 539-547

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

  Open Access

  File
  47 Downloads (Pure)

• A method for reducing the risk of errors in digital forensic investigations

  Horsman, G., Laing, C. & Vickers, P., 1 Oct 2012, Communications and Multimedia Security - 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Proceedings. p. 99-106 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7394 LNCS).

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

• A Methodology for Protocol Verification Applied to EMV 1

  Freitas, L., Modesti, P. & Emms, M., 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer, Vol. 11254. p. 180-197 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  Open Access

  File
  110 Downloads (Pure)

• A model for analysing the challenges and opportunities in co-production

  Simpson, D., Crawford, K. & Mathews, I., 26 Jun 2013, University of Lincoln.

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

• A Modelling Tool to Investigate the Effect of Electric Vehicle Charging on Low Voltage Networks

  Lacey, G., Putrus, G., Bentley, E., Johnston, D., Walker, S. & Jiang, T., 2013, 2013 World Electric Vehicle Symposium and Exhibition (EVS27). Barcelona , Spain: IEEE

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

  Open Access

• A Modular Theory of Object Orientation in Higher-Order UTP

  Zeyda, F., Santos, T., Cavalcanti, A. & Sampaio, A., 10 May 2014, FM 2014: Formal Methods. Springer, Vol. 8442. p. 627-642 (Lecture Notes in Computer Science).

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

  Open Access

• A multi-perspective digital library to facilitate integrating teaching research methods across the computing curriculum

  Applin, A. G., Holz, H. J., Joel, W., Okoye, I., Deibel, K., Grasser, B., Oates, B. J. & Wood, G., 2007, ITiCSE 2007 proceedings. New York: ACM

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

• An Adaptable Personal Learning Environment for e-Learning and e-Assessment

  Green, S., Nacheva-Skopalik, L. & Pearson, E., 1 Dec 2008, Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech'08. 54

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

• An adaptive proportional resonant controller for single phase PV grid connected inverter based on band-pass filter technique

  Khalfalla, H., Ethni, S., Al-Greer, M., Pickert, V. & Armstrong, M., 1 May 2017, 11th IEEE International Conference on Compatibility, Power Electronics and Power Engineering, CPE-POWERENG 2017. Institute of Electrical and Electronics Engineers Inc., p. 436-441 6 p. 7915211

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

  Open Access
  1 Citation (Scopus)

• An algebraic approach to hardware/software partitioning

  Qin, S. & He, J., 2000, ICECS 2000: 7th IEEE international conference on electronics, circuits & systems. IEEE, Vol. 1. p. 273-276

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

  Open Access

  File
  152 Downloads (Pure)

• An alternative model of concurrency for Eiffel

  Brooke, P. J. & Paige, R. F., 2006, Proceedings of the Symposium on concurrency, real-time, and distribution in Eiffel-like languages. The ARTIST Network of Excellence, the University of York, and the University of Teesside

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

• Analysing clinical guidelines' contents with deontic and rhetorical structures

  Georg, G., Hernault, H., Cavazza, M. O., Prendinger, H. & Ishizuka, M., 2009, Lecture notes in computer science. Springer, Vol. 5651.

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

• Analysing memory resource bounds for low-level programs

  Chin, W-N., Nguyen, H. H., Popeea, C. & Qin, S., 2008, Proceedings of the 7th international symposium on Memory management. ACM, p. 151-160

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

• Analysis and optimisation of disassembly depth distribution: an application in electronic device redesign to reduce environmental impact at end-of-life

  Giudice, F. & Kassem, M., 2008, Proceedings of the DESIGN 2008. The Design Society, p. 377-386

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

• Analysis of co-authorship network and the correlation between academic performance and social network measures

  Xu, Q. & Chang, V., 1 Nov 2020, IoTBDS 2020 - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security. Wills, G., Kacsuk, P. & Chang, V. (eds.). SciTePress, p. 359-366 8 p. (IoTBDS 2020 - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security).

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

  Open Access

  File
  94 Downloads (Pure)

• Analysis of interaction patterns and scaffolding practices in online discussion forums

  Jacob, S. M. & Sam, H. K., 20 Dec 2010, ICDLE 2010 - 2010 4th International Conference on Distance Learning and Education, Proceedings. p. 115-118 4 p. 5606025

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

• Analysis of Lithium-ion Battery Cells Degradation Based on Different Manufacturers

  Gailani, A., Mokidm, R., El-Dalahmeh, MA., El-Dalahmeh, MD. & Al-Greer, M., 1 Sept 2020, 2020 55th International Universities Power Engineering Conference (UPEC). Institute of Electrical and Electronics Engineers Inc.

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

• Analysis of the skills gap and training requirements within the maintenance function

  Adgar, A. & Baglee, D., 2008, Proceedings of CM2008/MFPT2008. Oxford: Coxmoor Publishing Company

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

• Analysis of three trusted friends' vulnerability in facebook

  Noor, A. K. & Razzaque, M. A., 1 Jan 2014, Proceedings - 2013 International Conference on Advanced Computer Science Applications and Technologies, ACSAT 2013. IEEE Computer Society, p. 300-303 4 p. 6836595. (Proceedings - 2013 International Conference on Advanced Computer Science Applications and Technologies, ACSAT 2013).

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