Middlesex University London
| Title | Middlesex University London |
|---|---|
| Alternative | MDX |
| Campus | London |
Latest research outputs
Sort by Date Title
Cardinals in Isabelle/HOL
Blanchette, J., Popescu, A. and Taytel, D. 2014. Cardinals in Isabelle/HOL. 5th International Conference on Interactive Theorem Proving. Vienna, Austria 14 - 17 Jul 2014 Springer. pp. 111-127Conference paper
Term-generic logic
Popescu, A. and Roşu, G. 2015. Term-generic logic. Theoretical Computer Science. 577, pp. 1-24. https://doi.org/10.1016/j.tcs.2015.01.047Article
On malfunctioning software
Floridi, L., Fresco, N. and Primiero, G. 2015. On malfunctioning software. Synthese. 192 (4), pp. 1199-1220. https://doi.org/10.1007/s11229-014-0610-3Article
On the ontology of the computing process and the epistemology of the computed
Primiero, G. 2014. On the ontology of the computing process and the epistemology of the computed. Philosophy & Technology. 27 (3), pp. 485-489. https://doi.org/10.1007/s13347-014-0174-7Article
Facing computing as technique: towards a history and philosophy of computing
De Mol, L. and Primiero, G. 2014. Facing computing as technique: towards a history and philosophy of computing. Philosophy & Technology. 27 (3), pp. 321-326. https://doi.org/10.1007/s13347-014-0169-4Article
Programming the MIRTO robot with neurons
Huyck, C., Primiero, G. and Raimondi, F. 2014. Programming the MIRTO robot with neurons. Procedia Computer Science. 41, pp. 75-82. https://doi.org/10.1016/j.procs.2014.11.087Article
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.13Conference 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.6890963Conference 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_00298Article
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-5Article
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.003Article
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-9Conference 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.2494498Conference 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-876Conference 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_18Article
Implementing adaptation and reconfiguration strategies in heterogeneous WSN
Di Marco, A., Gallo, F., Gemikonakli, O., Mostarda, L. and Raimondi, F. 2013. Implementing adaptation and reconfiguration strategies in heterogeneous WSN. 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). Barcelona, Spain 25 - 28 Mar 2013 IEEE. pp. 477-483 https://doi.org/10.1109/AINA.2013.102Conference paper
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.12639Article
The anonymous subgraph problem
Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2013. The anonymous subgraph problem. Computers and Operations Research. 40 (4), pp. 973-979. https://doi.org/10.1016/j.cor.2012.11.018Article
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 2011Conference 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.7149657Conference 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-5Article
'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-31Conference 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.014Article
Cervical screening and the aftermath of childhood sexual abuse: are clinical staff trained to recognise and manage the effect this has on their patients?
Walker, J. and Allan, H. 2014. Cervical screening and the aftermath of childhood sexual abuse: are clinical staff trained to recognise and manage the effect this has on their patients? Journal of Clinical Nursing. 23 (13-14), pp. 1857-1865. https://doi.org/10.1111/jocn.12390Article
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.12633Article
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.0000000000000205Article
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.12770Article
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/1363459314567791Article
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-1276Conference 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.017Article
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 2015Conference 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.006Article
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.009Article
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/S0373463315000247Article
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.816773Article
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_16Conference 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-371Conference paper
0
total views0
total downloads0
views this month0
downloads this month