Middlesex University London

Title	Middlesex University London
Alternative	MDX
Campus	London

Latest research outputs

Sort by Date Title

Modeling human behaviour with higher order logic: insider threats

Boender, J., Ivanova, M., Kammueller, F. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014). Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers. pp. 31-39 https://doi.org/10.1109/STAST.2014.13

Conference paper

A typed natural deduction calculus to reason about secure trust

Primiero, G. and Raimondi, F. 2014. A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST). Toronto, Canada 23 - 24 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 379-382 https://doi.org/10.1109/PST.2014.6890963

Conference paper

A neuro-computational approach to PP attachment ambiguity resolution

Nadh, K. and Huyck, C. 2012. A neuro-computational approach to PP attachment ambiguity resolution. Neural Computation. 24 (7), pp. 1906-1925. https://doi.org/10.1162/NECO_a_00298

Article

A review of cell assemblies

Huyck, C. and Passmore, P. 2013. A review of cell assemblies. Biological Cybernetics. 107 (3), pp. 263-288. https://doi.org/10.1007/s00422-013-0555-5

Article

Compensatory Hebbian learning for categorisation in simulated biological neural nets

Huyck, C. and Mitchell, I. 2013. Compensatory Hebbian learning for categorisation in simulated biological neural nets. Biologically Inspired Cognitive Architectures. 6 (5), pp. 3-7. https://doi.org/10.1016/j.bica.2013.06.003

Article

Decidable model-checking for a resource logic with production of resources

Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2014. Decidable model-checking for a resource logic with production of resources. 21st European Conference on Artificial Intelligence (ECAI-2014). Prague, Czech Republic 18 - 22 Aug 2014 Prague, Czech Republic IOS Press. pp. 9-14 https://doi.org/10.3233/978-1-61499-419-0-9

Conference paper

Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Rungta, N., Brat, G., Clancey, W., Linde, C., Raimondi, F., Seah, C. and Shafto, M. 2013. Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS 2013. Naples, Italy 28 - 30 May 2013 Association for computing machinery. pp. 27-37 https://doi.org/10.1145/2494493.2494498

Conference paper

A synergistic and extensible framework for multi-agent system verification

Hunter, J., Raimondi, F., Rungta, N. and Stocker, R. 2013. A synergistic and extensible framework for multi-agent system verification. AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems. Saint Paul, Minnesota, USA. 06 - 10 May 2013 Richland, SC International Foundation for Autonomous Agents and Multiagent Systems. pp. 869-876

Conference paper

Domain types: abstract-domain selection based on variable usage

Apel, S., Beyer, D., Friedberger, K., Raimondi, F. and von Rhein, A. 2013. Domain types: abstract-domain selection based on variable usage. Hardware and Software: Verification and Testing. 8244 (1), pp. 262-278. https://doi.org/10.1007/978-3-319-03077-7_18

Article

An exploratory study to identify risk factors for the development of capecitabine-induced palmar plantar erythrodysesthesia (PPE)

Law, A., Dyson, S. and Anthony, D. 2015. An exploratory study to identify risk factors for the development of capecitabine-induced palmar plantar erythrodysesthesia (PPE). Journal of Advanced Nursing. 71 (8), pp. 1825-1832. https://doi.org/10.1111/jan.12639

Article

Introducing Binary Decision Diagrams in the explicit-state verification of Java code

von Rhein, A., Apel, S. and Raimondi, F. 2011. Introducing Binary Decision Diagrams in the explicit-state verification of Java code. The Java Pathfinder Workshop (co-located with ASE 2011). Oread, Lawrence, Kansas 12 Nov 2011

Conference paper

Supporting communication in information centric networks using the location/ID split protocol and time released caching

Aiash, M., Mapp, G. and Kallash, M. 2015. Supporting communication in information centric networks using the location/ID split protocol and time released caching. 2015 International Conference on Cloud Computing (ICCC). Riyadh, Saudi Arabia 26 - 29 Apr 2015 Institute of Electrical and Electronics Engineers. pp. 233-238 https://doi.org/10.1109/CLOUDCOMP.2015.7149657

Conference paper

A taxonomy of errors for information systems

Primiero, G. 2014. A taxonomy of errors for information systems. Minds and Machines. 24 (3), pp. 249-273. https://doi.org/10.1007/s11023-013-9307-5

Article

'What works' in reducing sexual harassment and sexual offences on public transport nationally and internationally: a rapid evidence assessment

Gekoski, A., Gray, J., Horvath, M., Edwards, S., Emirali, A. and Adler, J. 2015. 'What works' in reducing sexual harassment and sexual offences on public transport nationally and internationally: a rapid evidence assessment. London Middlesex University; British Transport Police; Department for Transport.

Project report

Context-awareness to increase inclusion of people with DS in society

Kramer, D., Augusto, J. and Clark, T. 2014. Context-awareness to increase inclusion of people with DS in society. AAAI 14: Workshop on Artificial Intelligence Applied to Assistive Technologies and Smart Environments (ATSE 2014). Quebec City, Quebec, Canada 27 - 31 Jul 2014 Association for the Advancement of Artificial Intelligence (AAAI). pp. 27-31

Conference paper

Quantitative verification of implantable cardiac pacemakers over hybrid heart models

Chen, T., Diciolla, M., Kwiatkowska, M. and Mereacre, A. 2014. Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation. 236, pp. 87-101. https://doi.org/10.1016/j.ic.2014.01.014

Article

Factors perceived to influence exercise adherence in women with breast cancer participating in an exercise programme during adjuvant chemotherapy: a focus group study

Husebø, A., Karlsen, B., Allan, H., Søreide, J. and Bru, E. 2015. Factors perceived to influence exercise adherence in women with breast cancer participating in an exercise programme during adjuvant chemotherapy: a focus group study. Journal of Clinical Nursing. 24 (3-4), pp. 500-510. https://doi.org/10.1111/jocn.12633

Article

Exercise: a path to wellness during adjuvant chemotherapy for breast cancer?

Husebø, A., Allan, H., Karlsen, B., Soreide, J. and Bru, E. 2015. Exercise: a path to wellness during adjuvant chemotherapy for breast cancer? Cancer Nursing. 38 (5), pp. E13-E20. https://doi.org/10.1097/NCC.0000000000000205

Article

Supporting staff to respond effectively to informal complaints: findings from an action research study

Allan, H., Odelius, A., Hunter, B., Bryan, K., Knibb, W., Shawe, J. and Gallagher, A. 2015. Supporting staff to respond effectively to informal complaints: findings from an action research study. Journal of Clinical Nursing. https://doi.org/10.1111/jocn.12770

Article

Gatekeeping access to the midwifery unit: managing complaints by bending the rules

Allan, H., Odelius, A., Hunter, B., Bryan, K., Knibb, W. and Shawe, J. 2015. Gatekeeping access to the midwifery unit: managing complaints by bending the rules. Health. 19 (6), pp. 652-669. https://doi.org/10.1177/1363459314567791

Article

A needs analysis and testing battery for field hockey

Bishop, C., Brazier, J., Cree, J. and Turner, A. 2015. A needs analysis and testing battery for field hockey. Professional Strength and Conditioning. 36, pp. 15-26.

Article

Understanding interdependencies and tensions around cultural tourism in city destinations: the case of Nanjing, China

Su, R. 2012. Understanding interdependencies and tensions around cultural tourism in city destinations: the case of Nanjing, China. 6th World Conference for Graduate Research in Tourism, Hospitality and Leisure. Fethiye, Turkey 24 - 29 Apr 2012 pp. 1269-1276

Conference paper

Utopian youth justice?

Porteous, D. 2014. Utopian youth justice?

Other

The rationales of resilience in English and Dutch flood risk policies

Wiering, M., Green, C., Van Rijswick, H., Priest, S. and Keessen, A. 2015. The rationales of resilience in English and Dutch flood risk policies. Journal of Water and Climate Change. 6 (1), pp. 38-54. https://doi.org/10.2166/wcc.2014.017

Article

Do electrical stimulation enhance pressure ulcer healing in people living with spinal cord injuries: a meta-analysis and systematic review of randomised and non-randomised controlled trials

Liu, L., Moody, J. and Gall, A. 2015. Do electrical stimulation enhance pressure ulcer healing in people living with spinal cord injuries: a meta-analysis and systematic review of randomised and non-randomised controlled trials. 25th Conference of the European Wound Management Association (EWMA 2015). ExCeL London, UK 13 - 15 May 2015

Conference paper

English language skills requirements for internationally educated nurses working in the care industry: barriers to UK registration or institutionalised discrimination?

Allan, H. and Westwood, S. 2016. English language skills requirements for internationally educated nurses working in the care industry: barriers to UK registration or institutionalised discrimination? International Journal of Nursing Studies. 54, pp. 1-4. https://doi.org/10.1016/j.ijnurstu.2014.12.006

Article

National and international labour relations in oil and gas trans national corporations in Kazakhstan

Croucher, R. 2015. National and international labour relations in oil and gas trans national corporations in Kazakhstan. International Business Review. 24 (6), pp. 948-954. https://doi.org/10.1016/j.ibusrev.2015.02.009

Article

Carriers beware! – Circumstances in which navigation addresses conflicting liability regimes

Zhao, L. 2015. Carriers beware! – Circumstances in which navigation addresses conflicting liability regimes. The Journal of Navigation. 68 (4), pp. 784-790. https://doi.org/10.1017/S0373463315000247

Article

Night optimised care technology for users needing assisted lifestyles

Augusto, J., Mulvenna, M., Zheng, H., Wang, H., Martin, S., McCullagh, P. and Wallace, J. 2014. Night optimised care technology for users needing assisted lifestyles. Behaviour and Information Technology. 33 (12), pp. 1261-1277. https://doi.org/10.1080/0144929X.2013.816773

Article

Personalized smart environments to increase inclusion of people with Down's Syndrome

Augusto, J., Grimstad, T., Wichert, R., Schulze, E., Braun, A., Rødevand, G. and Ridley, V. 2013. Personalized smart environments to increase inclusion of people with Down's Syndrome. Augusto, J., Wichert, R., Collier, R., Keyson, D., Salah, A. and Tan, A. (ed.) International Joint Conference on Ambient Intelligence. Dublin, Ireland Springer International. https://doi.org/10.1007/978-3-319-03647-2_16

Conference paper

Reflections on ambient intelligence systems handling of user preferences and needs

Augusto, J. 2014. Reflections on ambient intelligence systems handling of user preferences and needs. The 10th International Conference on Intelligent Environments (IE'14). Shanghai, P.R. China 29 Jun - 04 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 369-371

Conference paper

MicroRNA target prediction based upon metastable RNA secondary structures

Souki, O., Day, L., Albrecht, A. and Steinhofel, K. 2015. MicroRNA target prediction based upon metastable RNA secondary structures. 3rd International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015). Granada, Spain 15 - 17 Apr 2015 Springer. pp. 456-467 https://doi.org/10.1007/978-3-319-16480-9_45

Middlesex University London

Latest research outputs

0

0

0

0

People