Find Research outputs

Search results

• An Axiomatic Value Model for Isabelle/UTP

  Zeyda, F., Foster, S. & Freitas, L., 2016.

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

  Open Access

  File
  76 Downloads (Pure)

• An A-Z of 21st Century Allergies and a Selection of Ideas to Combat Them Super Fast (Short Story)

  Perks, S., Dec 2015, Transactions of Desire (Volume 2): Are You Allergic to the 21st Century?. HOME Publishing, p. 159 171 p.

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

  File
  2 Downloads (Pure)

• AnBx: Automatic Generation and Verification of Security Protocols Implementations

  Modesti, P., 25 Feb 2016, (E-pub ahead of print) Foundations and Practice of Security . García-Alfaro, J., Kranakis, E. & Bonfante, G. (eds.). Springer, Vol. 9482. p. 156-173 18 p. (Lecture Notes in Computer Science).

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

  Open Access

  File
  107 Downloads (Pure)

• AnBx - Security Protocols Design and Verification

  Bugliesi, M. & Modesti, P., 2010, Revised Selected Papers, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop. Armando, A. & Lowe, G. (eds.). Springer, Vol. 6186. p. 164-184 21 p. (Lecture Notes in Computer Science).

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

  File
  41 Downloads (Pure)

• Ancient role of vasopressin/oxytocin-type neuropeptides as regulators of feeding revealed in an echinoderm

  Odekunle, E. A., Semmens, D. C., Martynyuk, N., Tinoco, A. B., Garewal, A. K., Patel, R. R., Blowes, L. M., Zandawala, M., Delroisse, J., Slade, S. E., Scrivens, J. H., Egertová, M. & Elphick, M. R., 31 Jul 2019, In: BMC Biology. 17, 1, p. 60 60.

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

  Open Access

  File
  88 Downloads (Pure)

• 'And For The Time Being', 'Two Meters', 'Castaways'

  Beagrie, B., 14 May 2020, 1 p. Strands Publishers.

  Research output: Other contribution

  Open Access

  File
  20 Downloads (Pure)

• And Then we Saw The Daughter of the Minotaur

  Beagrie, B., 22 Apr 2020, Middlesbrough: The Black Light Engine Room. 28 p.

  Research output: Book/Report › Book

• And the World Changed: Contemporary Stories by Pakistani Women, ed. by M. Shamsie

  Clements, M., 22 Jul 2011, In: Wasafiri. 26, 3

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

• An edge-based smoothed tetrahedron finite element method (ES-T-FEM) for 3D static and dynamic problems

  He, Z. C., Li, G. Y., Zhong, Z., Cheng, A. G., Zhang, G. Y., Liu, G. R., Li, E. & Zhou, Z., 1 Jan 2013, In: Computational Mechanics. 52, 1, p. 221-236 16 p.

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

• An edge-based smoothed tetrahedron finite element method (ES-T-FEM) for thermomechanical problems

  Li, E., He, Z. C. & Xu, X., 9 Sep 2013, In: International Journal of Heat and Mass Transfer. 66, p. 723-732 10 p.

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

• An educational tool to support the accessibility evaluation process

  Bailey, C. & Pearson, E., 16 Jul 2010, W4A 2010 - International Cross Disciplinary Conference on Web Accessibility Raleigh 2010. 1806003

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

• An efficient abnormal beat detection scheme from ECG signals using neural network and ensemble classifiers

  Pandit, D., Zhang, L., Aslam, N., Liu, C., Hossain, A. & Chattopadhyay, S., 8 Apr 2014, SKIMA 2014 - 8th International Conference on Software, Knowledge, Information Management and Applications. Institute of Electrical and Electronics Engineers Inc., 7083561

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

• An efficient algorithm for nonlinear active noise control of impulsive noise

  He, Z. C., Ye, H. H. & Li, Q. B. E., 1 May 2019, In: Applied Acoustics. 148, p. 366-374 9 p.

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

  Open Access

  File
  106 Downloads (Pure)

• An efficient algorithm for phase change problem in tumor treatment using αfEM

  Li, E., Liu, G. R., Tan, V. & He, Z. C., 1 Oct 2010, In: International Journal of Thermal Sciences. 49, 10, p. 1954-1967 14 p.

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

• An efficient algorithm to analyze wave propagation in fluid/solid and solid/fluid phononic crystals

  Li, Q. B. E., He, Z. C., Wang, G. & Liu, G. R., 1 May 2018, In: Computer Methods in Applied Mechanics and Engineering. 333, p. 421-442 22 p.

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

  Open Access

  File
  207 Downloads (Pure)

• An efficient approach for service function chain deployment

  Liao, D., Zhu, G., Li, Y., Sun, G. & Chang, V., 21 Mar 2018, ICEIS 2018: Proceedings of the 20th International Conference on Enterprise Information Systems. Hammoudi, S., Smialek, M., Camp, O. & Filipe, J. (eds.). SciTePress

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

• An efficient combined deep neural network based malware detection framework in 5G environment

  Lu, N., Li, D., Shi, W., Vijayakumar, P., Piccialli, F. & Chang, V., 22 Apr 2021, In: Computer Networks. 189, 107932.

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

• An efficient data compression algorithm for real-time monitoring applications in healthcare

  Latif, J., Mehryar, P., Hou, L. & Ali, Z., 16 Jun 2020, 2020 5th International Conference on Computer and Communication Systems, ICCCS 2020. Institute of Electrical and Electronics Engineers Inc., p. 71-75 5 p. 9118600. (2020 5th International Conference on Computer and Communication Systems, ICCCS 2020).

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

• An Efficient Finite Element Algorithm in Elastography

  Li, E. & Liao, W. H., 3 May 2016, In: International Journal of Applied Mechanics. 8, 3, 1650037.

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

• An efficient method for extracting web news content

  Sun, J., Tang, L., Liao, D. & Chang, V., 8 Mar 2018, Proceedings of 2017 International Conference on Engineering and Technology, ICET 2017.

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

• An efficient object recognition scheme for a prototype component inspection

  Sarkodie-Gyan, T. & Campbell, A. W., 1 Mar 1997, In: Mechatronics. 7, 2, p. 185-197 13 p.

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

  10 Citations (Scopus)

• An electrochemical method for sensitive and rapid detection of FAM134B protein in colon cancer samples.

  Islam, F., Haque, M. H., Yadav, S., Islam, M. N., Gopalan, V., Nguyen, N-T., Lam, A. K. & Shiddiky, M. J. A., 9 Mar 2017, In: Scientific Reports. 7, 133.

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

• An Electrochemical Method for the Detection of Disease-Specific Exosomes

  Yadav, S., Boriachek, K., Islam, M. N., Lobb, R., Moller, A., Hill, M. M., Al Hossain, M. S., Nguyen, N-T. & Shiddiky, M. J. A., 13 Apr 2017, In: ChemElectroChem. 4, 4, p. 967-971

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

• An electromyographical study to investigate the effects of patellar taping on the vastus medialis/vastus lateralis ratio in asymptomatic participants

  Ryan, C. & Rowe, P. J., 1 Dec 2006, In: Physiotherapy Theory and Practice. 22, 6, p. 309-315 7 p.

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

• An electromyographic exploratory study comparing the difference in the onset of hamstring and quadriceps contraction in patients with anterior knee pain

  Patil, S., Dixon, J., White, L. C., Jones, A. P. & Hui, A. C. W., 1 Oct 2011, In: Knee. 18, 5, p. 329-332

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

• An embedded prototype of a residential smart appliance scheduling system

  Ogwumike, C., Short, M. & Abugchem, F., 7 Nov 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-November. 7733613

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

• An embodied conversational agent as a lifestyle advisor

  Smith, C. C., Charlton, D. D., Zhang, L. L., Cavazza, M. O. M., Hakulinen, J. J. & Turunen, M. M., 2008, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: : demo papers. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1713-1714

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

• An emotionally responsive AR art installation

  Gilroy, S., Cavazza, M., Chaignon, R., Mäkelä, S-M., Niiranen, M., André, E., Vogt, T., Billinghurst, M., Seichter, H. & Benayoun, M., 2007. 6 p.

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

  Open Access

  File
  67 Downloads (Pure)

• An Empirical Analysis of Neurofeedback Using PID Control Systems

  Zeyda, F., Aranyi, G., Charles, F. & Cavazza, M., 9 Oct 2015.

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

  Open Access

• An Empirical Investigation of the Lived Experience of Service Productivity of Bank Executives Working as ‘Official Knowledge Workers’ in the Nigerian Banking Sector: Lived Experience of Service Productivity

  Olekanma, O. & Soomro, Z., 5 Sep 2020, BAM2020 Conference in the Cloud Proceedings. UK: The British Academy of Management , p. 719 -744 25 p.

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

• An Empirical Research on the Investment Strategy of Stock Market based on Deep Reinforcement Learning model

  Li, Y., Ni, P. & Chang, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 52-58 7 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

• An energy-efficient membrane rotating biological contactor for wastewater treatment

  Waqas, S., Bilad, M. R., Man, Z., Suleman, H., Md Nordin, N. A. H., Jaafar, J., Othman, M. H. D. & Elma, M., 1 Feb 2021, In: Journal of Cleaner Production. 282, 124544.

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

• An Enhanced Hybrid Content-Based Video Coding Scheme for Low Bit-Rate Applications

  Xu, W., Lai, X., Xu, D. & Tsoligkas, N. A. N., 1 Feb 2014, In: International Journal of Signal Processing, Image Processing and Pattern Recognition. 7, 1, p. 45-52 8 p.

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

• A neoliberal security complex? Markets, privatisation and justice

  Papanicolaou, G., 1 Jan 2012, Organising Neoliberalism: Markets, Privatisation and Justice. Whitehead, P. & Crawshaw, P. (eds.). Anthem Press, p. 105-134 30 p.

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

• A Neoliberal security complex?

  Papanicolaou, G., 1 Sep 2012, Anthem Press.

  Research output: Book/Report › Book

• An EPSS for lifelong learning in relation to psychological research methods

  Barker, P., Van Schaik, P. & Pearson, R., 13 Jun 2005, In: International Journal of Continuing Engineering Education and Life-Long Learning. 15, 1-2, p. 19-29 11 p.

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• An ES-FEM for accurate analysis of 3D mid-frequency acoustics using tetrahedron mesh

  He, Z. C., Li, G. Y., Zhong, Z., Cheng, A. G., Zhang, G. Y., Li, E. & Liu, G. R., 1 Sep 2012, In: Computers and Structures. 106-107, p. 125-134 10 p.

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

• An ethical framework for big data and smart cities

  Chang, V., 15 Jan 2021, In: Technological Forecasting and Social Change. 165, 120559.

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

• An ethnographic study of the consequences of social and structural forces on children: the case of two low-income Beirut suburbs

  Abi Ghanem, D., Oct 2003, In: Environment and Urbanization. 15, 2, p. 249-260

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

• A network-based ranking approach to discover places visited by tourists from geo-located tweets

  Cortesi, N., Gotti, K., Psaila, G., Burini, F., Lwin, K. T. & Hossain, A., 19 Feb 2018, In: 2017 11th International Conference on Software, Knowledge, Information Management and Applications (SKIMA). 8 p.

  Research output: Contribution to journal › Conference article › peer-review

• An Evaluation of a Healthy Living Centre: Implications for evidence based health promotion and the role of the health psychologist

  Mulholland, E., 2005.

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

• An Evaluation of Assessing the Functional Movement Screen™ from Video Playback

  Portas, M., Meek, D., Gregson, W. & Drust, B., 2015, In: International Journal of Coaching Science. p. -

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

• An Evaluation of EV Battery Cycle life and its impact on the Use of EV Batteries to Provide Support to a Smart Grid

  Lacey, G., Putrus, G. & Walker, S., 24 Feb 2014.

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

• An evaluation of the contribution of the key roles and champions towards the objectives of the Cheshire Living Well Dying Well Public Health Programme

  Dinsdale, S., Carlebach, S., Hall, D. & Shucksmith, J., 2014

  Research output: Book/Report › Commissioned report

• An Evaluation of the Implementation of Maternal Obesity Pathways of Care: A Mixed Methods Study with Data Integration

  Heslehurst, N., Dinsdale, S., Sedgewick, G., Simpson, H., Sen, S., Summerbell, C. D. C. & Rankin, J., 27 May 2015, In: PLoS ONE. 10, 5

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

  Open Access

  File
  77 Downloads (Pure)

• An evaluation of the independence of the Health of the Nation Outcome Scales

  Williams, B., Speak, B., Hay, P. & Muncer, S., 17 Aug 2014, In: Australasian Psychiatry. p. -

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

  Open Access

• An evaluation of the information needs of people with adolescent idiopathic scoliosis at the point of first diagnosis at the hospital clinic: Final Report

  Bettany-Saltikov, J., Wellburn, S., Watson, P., Arai, L., Robinson, E. & Hamilton, S., 2011, Teesside University.

  Research output: Book/Report › Commissioned report

  File
  40 Downloads (Pure)

• An evaluation of the North Yorkshire tier 2 lifestyle weight management programme for adults.

  Ells, L., Watson, P., Carlebach, S., Jones, D., Machaira, T. & Whittaker, V., 2016

  Research output: Book/Report › Commissioned report

• An evaluation of the Tees Community Equipment Service (TCES)

  Carlebach, S. & Hamilton, S., 2012

  Research output: Book/Report › Commissioned report

• An Evaluation of the Tees Healthy Living Pharmacy Pilot Scheme

  Mohan, L., McNaughton, R. & Shucksmith, J., 2013, Teesside University. 52 p.

  Research output: Book/Report › Commissioned report