S&T School Leadership
| Title | S&T School Leadership |
|---|---|
| Alternative | S&T - Leadshp |
| Faculty | Faculty of Science and Technology |
Latest research outputs
Sort by Date Title
The integration of mobile learning app-based quiz-games in higher education teaching of anatomical sciences
Wilkinson, K. 2017. The integration of mobile learning app-based quiz-games in higher education teaching of anatomical sciences. DProf thesis Middlesex UniversityDProf thesis
Exploring the efficacy of adaptive safety for social sustainability in construction supply chain management
O'Loughlin, M., Watt, J. and Lundy, L. 2017. Exploring the efficacy of adaptive safety for social sustainability in construction supply chain management. REA2017 Resilience Engineering Association Symposium 2017. Liege, Belgium 26 - 29 Jun 2017Conference poster
Understanding 3D mid-air hand gestures with interactive surfaces and displays: a systematic literature review
Groenewald, C., Anslow, C., Islam, J., Rooney, C., Passmore, P. and Wong, B. 2016. Understanding 3D mid-air hand gestures with interactive surfaces and displays: a systematic literature review. HCI 2016 - Fusion! 30th International BCS Human Computer Interaction Conference (HCI 2016). Bournemouth University, Poole, United Kingdom 11 - 15 Jul 2016 British Computer Society (BCS). pp. 1-13 https://doi.org/10.14236/ewic/HCI2016.43Conference paper
The application of a qualitative approach to adult attachment research: a short report
Bailey-Rodriguez, D., Frost, N. and Oskis, A. 2016. The application of a qualitative approach to adult attachment research: a short report. Quarterly.Article
A formalized general theory of syntax with bindings
Gheri, L. and Popescu, A. 2017. A formalized general theory of syntax with bindings. 8th International Conference Interactive Theorem Proving (ITP). Brasília, Brazil 26 - 29 Sep 2017 Springer. pp. 241-261 https://doi.org/10.1007/978-3-319-66107-0_16Conference paper
Foundational nonuniform (co)datatypes for higher-order logic
Blanchette, J., Meier, F., Popescu, A. and Traytel, D. 2017. Foundational nonuniform (co)datatypes for higher-order logic. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Reykjavik, Iceland 20 - 23 Jun 2017 IEEE. https://doi.org/10.1109/LICS.2017.8005071Conference paper
Soundness and completeness proofs by coinductive methods
Blanchette, J., Popescu, A. and Traytel, D. 2017. Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning. 58 (1), pp. 149-179. https://doi.org/10.1007/s10817-016-9391-3Article
Friends with benefits: implementing corecursion in foundational proof assistants
Blanchette, J., Bouzy, A., Lochbihler, A., Popescu, A. and Traytel, D. 2017. Friends with benefits: implementing corecursion in foundational proof assistants. 26th European Symposium on Programming, ESOP 2017. Uppsala, Sweden 22 - 29 Apr 2017 Springer. https://doi.org/10.1007/978-3-662-54434-1_5Conference paper
From types to sets by local type definitions in higher-order logic
Kunčar, O. and Popescu, A. 2016. From types to sets by local type definitions in higher-order logic. ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. https://doi.org/10.1007/978-3-319-43144-4_13Conference paper
Formal reasoning on infinite data values: an ongoing quest
Chen, T., Song, F. and Wu, Z. 2017. Formal reasoning on infinite data values: an ongoing quest. SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures. Chongqing, China 28 Mar - 02 Apr 2016 Springer. pp. 195-257 https://doi.org/10.1007/978-3-319-56841-6_6Conference paper
Model based analysis of insider threats
Chen, T., Han, T., Kammueller, F., Nemli, I. and Probst, C. 2016. Model based analysis of insider threats. 2016 International Conference on Cyber Security and Protection of Digital Services (Cyber Security). London, United Kingdom 13 - 14 Jun 2016 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CyberSecPODS.2016.7502350Conference paper
Managing software uninstall with negative trust
Primiero, G. and Boender, J. 2017. Managing software uninstall with negative trust. 11th IFIP WG 11.11 International Conference, IFIPTM 2017. Gothenburg, Sweden 12 - 16 Jun 2017 Springer. pp. 79-93 https://doi.org/10.1007/978-3-319-59171-1_7Conference paper
From raw data to agent perceptions for simulation, verification, and monitoring
Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66Conference paper
Trust and distrust in contradictory information transmission
Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0Article
Examining the interaction between fourth estate and Twitter: an exploratory case study
Barn, B., Barn, R., Raimondi, F. and Mukherjee, U. 2017. Examining the interaction between fourth estate and Twitter: an exploratory case study. HUSO 2017: Third International Conference on Human and Social Analytics. Nice, France 23 - 27 Jul 2017 International Academy, Research, and Industry Association (IARIA). pp. 11-17Conference paper
Symbolic verification of event–condition–action rules in intelligent environments
Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-zArticle
Staying alive: anima and objet a
Henderson, D. 2017. Staying alive: anima and objet a. in: Brown, R. (ed.) Re-Encountering Jung: Analytical Psychology and Contemporary Psychoanalysis Routledge. pp. 183-194Book chapter
Comprehending Isabelle/HOL's consistency
Kunčar, O. and Popescu, A. 2017. Comprehending Isabelle/HOL's consistency. Yang, H. (ed.) ESOP 2017: 26th European Symposium on Programming (ESOP). Uppsala, Sweden 22 - 29 Apr 2017 Berlin, Heidelberg Springer. https://doi.org/10.1007/978-3-662-54434-1_27Conference paper
Effect of sports vision exercise on visual perception and reading performance in 7- to 10-year-old developmental dyslexic children
Badami, R., Mahmoudi, S. and Baluch, B. 2016. Effect of sports vision exercise on visual perception and reading performance in 7- to 10-year-old developmental dyslexic children. Journal of Exercise Rehabilitation. 12 (6), pp. 604-609. https://doi.org/10.12965/jer.1632728.364Article
Dropout reasons in Iranian youth roller skaters
Heydari, H., Badami, R., Baluch, B. and Duffy, L. 2014. Dropout reasons in Iranian youth roller skaters. International journal of Science Culture and Sport. 2 (4), pp. 89-102. https://doi.org/10.14486/ijscs214Article
Algorithmic iteration for computational intelligence
Primiero, G. 2017. Algorithmic iteration for computational intelligence. Minds and Machines. 27 (3), pp. 521-543. https://doi.org/10.1007/s11023-017-9423-8Article
Promoting adaptive flood risk management: the role and potential of flood recovery mechanisms
Priest, S., Penning-Rowsell, E. and Suykens, C. 2016. Promoting adaptive flood risk management: the role and potential of flood recovery mechanisms. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160717005Conference paper
Flood risk management and ‘fairness’: aspirations and reality
Penning-Rowsell, E., Priest, S. and King, D. 2016. Flood risk management and ‘fairness’: aspirations and reality. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160724001Conference paper
Partnership approaches in flood risk management: lessons from the Eastern Alps
Thaler, T., Priest, S. and Fuchs, S. 2016. Partnership approaches in flood risk management: lessons from the Eastern Alps. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160720002Conference paper
Partnership Funding in flood risk management: multi-level stakeholder engagement - a question of roles and power
Thaler, T. and Priest, S. 2016. Partnership Funding in flood risk management: multi-level stakeholder engagement - a question of roles and power. FLOODrisk 2016 - 3rd European Conference on Flood Risk Management. Lyon, France 17 - 21 Oct 2016 EDP Sciences. https://doi.org/10.1051/e3sconf/20160720009Conference paper
The application of Tangible User Interfaces of teaching and learning in Higher Education
De Raffaele, C., Smith, S. and Gemikonakli, O. 2017. The application of Tangible User Interfaces of teaching and learning in Higher Education. in: Branch, J., Hayes, S., Hørsted, A. and Nygaard, C. (ed.) Innovative Teaching and Learning in Higher Education Oxfordshire, UK Libri Publishing. pp. 215-226Book chapter
Effects of electromagnetic fields emitted by GSM phones on working memory: a meta-analysis
Zubko, O., Gould, R., Gay, H., Cox, H., Coulson, M. and Howard, R. 2017. Effects of electromagnetic fields emitted by GSM phones on working memory: a meta-analysis. International Journal of Geriatric Psychiatry. 32 (2), pp. 125-135. https://doi.org/10.1002/gps.4581Article
A model-based approach to systematic reviews of research literature
Barat, S., Clark, T., Barn, B. and Kulkarni, V. 2017. A model-based approach to systematic reviews of research literature. ISEC 2017: Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 15-25 https://doi.org/10.1145/3021460.3021462Conference paper
Actor monitors for adaptive behaviour
Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. Actor monitors for adaptive behaviour. ISEC '17: 10th Innovations in Software Engineering Conference. Jaipur, India 05 - 07 Feb 2017 Association for Computing Machinery (ACM). pp. 85-95 https://doi.org/10.1145/3021460.3021469Conference paper
A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2017. A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making. MODELSWARD 2017: 5th International Conference on Model-Driven Engineering and Software Development. Porto, Portugal 19 - 21 Feb 2017 SCITEPRESS - Science and Technology Publications. pp. 605-616 https://doi.org/10.5220/0006216306050616Conference paper
ESL: an actor-based platform for developing emergent behaviour organisation simulations
Clark, T., Kulkarni, V., Barat, S. and Barn, B. 2017. ESL: an actor-based platform for developing emergent behaviour organisation simulations. Demazeau, Y., Davidsson, P., Bajo, J. and Vale, Z. (ed.) 15th International Conference on Practical Applications of Scalable Multi-Agent Systems. Porto, Portugal 21 - 23 Jun 2017 Cham Springer. https://doi.org/10.1007/978-3-319-59930-4_27Conference paper
Building a prototype VANET testbed to explore communication dynamics in highly mobile environments
Paranthaman, V., Ghosh, A., Mapp, G., Iniovosa, V., Shah, P., Nguyen, H., Gemikonakli, O. and Rahman, S. 2017. Building a prototype VANET testbed to explore communication dynamics in highly mobile environments. Guo, S., Wei, G., Xiang, Y., Lin, X. and Lorenz, P. (ed.) International Conference on Testbeds and Research Infrastructures (TridentCom 2016). Hangzhou, china 14 - 15 Jun 2016 Springer. pp. 81-90 https://doi.org/10.1007/978-3-319-49580-4_8Conference paper
Women’s experiences of child custody in the context of intimate partner violence and abuse
Scally, M., Horvath, M. and Adler, J. 2017. Women’s experiences of child custody in the context of intimate partner violence and abuse. British Psychology Society, Psychology of Women Section Annual Conference. Windsor, UK 12 - 14 Jul 2017Conference item
Enabling the effective teaching and learning of advanced robotics in higher education using an active TUI framework
De Raffaele, C., Smith, S. and Gemikonakli, O. 2017. Enabling the effective teaching and learning of advanced robotics in higher education using an active TUI framework. 3rd Africa and Middle East Conference on Software Engineering. Cairo, Egypt 12 - 13 Dec 2017 Association for Computing Machinery (ACM). pp. 7-12 https://doi.org/10.1145/3178298.3178299Conference paper
Explaining multi-threaded task scheduling using tangible user interfaces in higher educational contexts
De Raffaele, C., Smith, S. and Gemikonakli, O. 2017. Explaining multi-threaded task scheduling using tangible user interfaces in higher educational contexts. 2017 IEEE Global Engineering Education Conference (EDUCON). Athens, Greece 25 - 28 Apr 2017 IEEE. pp. 1383-1390 https://doi.org/10.1109/EDUCON.2017.7943028Conference paper
To safeguard microgreens from contamination form Salmonella species
Selvam, S., Marvasi, M. and Purchase, D. 2017. To safeguard microgreens from contamination form Salmonella species. 2017 Middlesex University Postgraduate Researchers Summer Conference. Middlesex University London, UK 28 - 29 Jun 2017Conference poster
Fitness analysis of tetracycline resistant and sensitive Shigella flexneri in lethal and sub-lethal concentrations of tetracycline in Thames river water microcosms
Maruzani, R., Shah, A., Pantoja Munoz, L. and Marvasi, M. 2017. Fitness analysis of tetracycline resistant and sensitive Shigella flexneri in lethal and sub-lethal concentrations of tetracycline in Thames river water microcosms. 2017 Middlesex University Postgraduate Researchers Summer Conference. Middlesex University London, UK 28 - 29 Jun 2017Conference poster
Potential use and perspectives of nitric oxide donors in agriculture
Marvasi, M. 2017. Potential use and perspectives of nitric oxide donors in agriculture. Journal of the Science of Food and Agriculture. 97 (4), pp. 1065-1072. https://doi.org/10.1002/jsfa.8117Article
Evaluation of the effectiveness of Eladi Keram for the treatment of acne vulgaris: a randomised controlled pilot study
Appiah, S., Lawley, B., Vu, M., Bell, C. and Jones, H. 2017. Evaluation of the effectiveness of Eladi Keram for the treatment of acne vulgaris: a randomised controlled pilot study. European Journal of Integrative Medicine. 12, pp. 38-43. https://doi.org/10.1016/j.eujim.2017.04.004Article
Deleuze and psychoanalysis
Henderson, D. 2017. Deleuze and psychoanalysis. The Spector of the Other in Analytical Psychology: International Association for Jungian Studies. Centre for the Book, Cape Town, South Africa 27 - 30 Jul 2017Conference paper
189901
total views35822
total downloads1868
views this month380
downloads this month