S&T School Leadership


TitleS&T School Leadership
AlternativeS&T - Leadshp
FacultyFaculty of Science and Technology

Latest research outputs

Sort by Date Title
Freud and Jung: the creation of the psychoanalytic universe
Henderson, D. 2015. Freud and Jung: the creation of the psychoanalytic universe. Psychodynamic Practice. 21 (2), pp. 161-172. https://doi.org/10.1080/14753634.2015.1010306

Article

Freud and Jung: the creation of the psychoanalytic universe
Henderson, D. 2015. Freud and Jung: the creation of the psychoanalytic universe.

Digital or visual media

Influence of footwear choice, velocity and surfaces on tibial accelerations experienced by field hockey participants during running
Greenhalgh, A., Sinclair, J., Leat, A. and Chockalingam, N. 2012. Influence of footwear choice, velocity and surfaces on tibial accelerations experienced by field hockey participants during running. Footwear Science. 4 (3), pp. 213-219. https://doi.org/10.1080/19424280.2012.696725

Article

Influence of surface on impact shock experienced during a fencing lunge
Greenhalgh, A., Bottoms, L. and Sinclair, J. 2012. Influence of surface on impact shock experienced during a fencing lunge. Journal of Applied Biomechanics. 29 (4), pp. 463-467.

Article

Differences in tibiocalcaneal kinematics measured with skin- and shoe-mounted markers
Sinclair, J., Greenhalgh, A., Taylor, P., Edmundson, C., Brooks, D. and Hobbs, S. 2013. Differences in tibiocalcaneal kinematics measured with skin- and shoe-mounted markers. Human Movement. 14 (1), pp. 64-69. https://doi.org/10.2478/humo-2013-0005

Article

Investigation of localised pressure applied to the foot through the uppers of footwear during sports specific movements
Greenhalgh, A., Sinclair, J. and Chockalingam, N. 2012. Investigation of localised pressure applied to the foot through the uppers of footwear during sports specific movements. Human Movement. 13 (4), pp. 350-354. https://doi.org/10.2478/v10038-012-0041-2

Article

Gender differences in the kinetics and kinematics of distance running: implications for footwear design
Sinclair, J., Greenhalgh, A., Edmundson, C., Brooks, D. and Hobbs, S. 2012. Gender differences in the kinetics and kinematics of distance running: implications for footwear design. International Journal of Sports Science and Engineering. 6 (2), pp. 118-128.

Article

The effect of shoe toe box shape and volume on forefoot interdigital and plantar pressures in healthy females
Branthwaite, H., Chockalingam, N. and Greenhalgh, A. 2013. The effect of shoe toe box shape and volume on forefoot interdigital and plantar pressures in healthy females. Journal of Foot and Ankle Research. 6 (28). https://doi.org/10.1186/1757-1146-6-28

Article

The influence of different force and pressure measuring transducers on lower extremity kinematics measured during walking
Greenhalgh, A., Taylor, P. and Sinclair, J. 2014. The influence of different force and pressure measuring transducers on lower extremity kinematics measured during walking. Gait & Posture. 40 (3), pp. 476-479. https://doi.org/10.1016/j.gaitpost.2014.05.003

Article

A comparison of center of pressure variables recorded during running in barefoot, minimalist footwear, and traditional running shoes in the female population
Greenhalgh, A., Hampson, J., Thain, P. and Sinclair, J. 2014. A comparison of center of pressure variables recorded during running in barefoot, minimalist footwear, and traditional running shoes in the female population. The Foot and Ankle Online Journal. 7 (3), p. 6. https://doi.org/10.3827/faoj.2014.0703.0006

Article

The influence of barefoot and barefoot-inspired footwear on the kinetics and kinematics of running in comparison to conventional running shoes
Sinclair, J., Greenhalgh, A., Brooks, D., Edmundson, C. and Hobbs, S. 2013. The influence of barefoot and barefoot-inspired footwear on the kinetics and kinematics of running in comparison to conventional running shoes. Footwear Science. 5 (1), pp. 45-53. https://doi.org/10.1080/19424280.2012.693543

Article

The role of resilience and value for effective co-design of information systems
Barn, B., Barn, R. and Primiero, G. 2014. The role of resilience and value for effective co-design of information systems. in: Proceedings of the Conference of the International Association for Computing and Philosophy (IACAP 14) Springer Synthese Library.

Book chapter

Can organisational theory and multi-agent systems influence next generation enterprise modelling?
Barn, B., Clark, T. and Kulkarni, V. 2015. Can organisational theory and multi-agent systems influence next generation enterprise modelling? Holzinger, A., Cardoso, J., Cordeiro, J., Libourel, T., Maciaszek, L. and van Sinderen, M. (ed.) 9th International Conference on Software Engineering and Applications. Vienna, Austria 29 - 31 Aug 2014 Cham Springer. https://doi.org/10.1007/978-3-319-25579-8_12

Conference paper

Toward overcoming accidental complexity in organisational decision-making
Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2015. Toward overcoming accidental complexity in organisational decision-making. ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems. Ottawa, Canada 30 Sep - 02 Oct 2015 IEEE. pp. 368-377 https://doi.org/10.1109/MODELS.2015.7338268

Conference item

A conceptual framework for enterprise agility
Nwokeji, J., Clark, T., Barn, B. and Kulkarni, V. 2015. A conceptual framework for enterprise agility. Shin, D. (ed.) 30th Annual ACM Symposium on Applied Computing. Salamanca, Spain 13 - 17 Apr 2015 Association for Computing Machinery (ACM). pp. 1242-1244 https://doi.org/10.1145/2695664.2699495

Conference paper

Using a projectional editor to implement interactive model navigation and view control
Clark, T. and Barn, B. 2015. Using a projectional editor to implement interactive model navigation and view control. Hammoudi, S., Pires, L., Desfray, P., Filipe, J. and Filipe, J. (ed.) 3rd International Conference on Model-Driven Engineering and Software Development. Loire Valley, France 09 - 11 Feb 2015 SCITEPRESS - Science and Technology Publications. pp. 338-345

Conference paper

Enabling seamless V2I communications towards developing cooperative automotive applications in VANET systems
Ghosh, A., Paranthaman, V., Mapp, G., Gemikonakli, O. and Loo, J. 2015. Enabling seamless V2I communications towards developing cooperative automotive applications in VANET systems. IEEE Communications Magazine. 53 (12), pp. 80-86. https://doi.org/10.1109/MCOM.2015.7355570

Article

The presentation of self in otherworldly life
Coulson, M. and Barnett, J. 2015. The presentation of self in otherworldly life. in: Attrill, A. (ed.) Cyberpsychology Oxford Oxford University Press (OUP). pp. 108-124

Book chapter

Towards cyber-physical systems as services: the ASIP protocol
Bordoni, M., Bottone, M., Fields, B., Gorogiannis, N., Margolis, M., Primiero, G. and Raimondi, F. 2015. Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). Florence, Italy 17 - 17 May 2015 IEEE. pp. 52-55 https://doi.org/10.1109/SEsCPS.2015.18

Conference paper

Minimizing transitive trust threats in software management systems
Boender, J., Primiero, G. and Raimondi, F. 2015. Minimizing transitive trust threats in software management systems. 13th Annual Conference on Privacy, Security and Trust (PST 2015). Izmir, Turkey 21 - 23 Jul 2015 IEEE. pp. 191-198 https://doi.org/10.1109/PST.2015.7232973

Conference paper

BaProbSDN: A probabilistic-based QoS routing mechanism for software defined networks
Al-Jawad, A., Trestian, R., Shah, P. and Gemikonakli, O. 2015. BaProbSDN: A probabilistic-based QoS routing mechanism for software defined networks. 1st IEEE Conference on Network Softwarization (NetSoft 2015). London, United Kingdom 13 - 17 Apr 2015 IEEE. pp. 1-5 https://doi.org/10.1109/NETSOFT.2015.7116128

Conference paper

Symbolic model-checking for resource-bounded ATL
Alechina, N., Logan, B., Nguyen, H., Raimondi, F. and Mostarda, L. 2015. Symbolic model-checking for resource-bounded ATL. 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. Istanbul, Turkey 04 - 08 May 2015 International Foundation for Autonomous Agents and Multiagent Systems. pp. 1809-1810

Conference paper

What constitutes a "reasonable belief" in consent to sex? A thematic analysis
Gray, J. 2015. What constitutes a "reasonable belief" in consent to sex? A thematic analysis. Journal of Sexual Aggression. 21 (3), pp. 357-353. https://doi.org/10.1080/13552600.2014.900122

Article

On the coverage and power allocation for downlink in heterogeneous wireless cellular networks
Vien, Q., Akinbote, T., Nguyen, H., Trestian, R. and Gemikonakli, O. 2015. On the coverage and power allocation for downlink in heterogeneous wireless cellular networks. IEEE International Conference on Communications (ICC 2015). London, UK 08 - 12 Jun 2015 IEEE. pp. 4641-4646 https://doi.org/10.1109/ICC.2015.7249055

Conference paper

Coastal risk assessment framework guidance document
Viavattene, C., Jiménez, J., Owen, D., Priest, S., Parker, D., Micou, P. and Ly, S. 2015. Coastal risk assessment framework guidance document.

Project report

Citizen observatories as facilitators of change in water governance? Experiences from three European cases
Wehn, U., McCarthy, S., Lanfranchi, V. and Tapsell, S. 2015. Citizen observatories as facilitators of change in water governance? Experiences from three European cases. Environmental Engineering and Management Journal. 14 (9), pp. 2073-2086.

Article

On the satisfiability of indexed linear temporal logics
Chen, T., Song, F. and Wu, Z. 2015. On the satisfiability of indexed linear temporal logics. 26th International Conference on Concurrency Theory, CONCUR 2015. Madrid, Spain 01 - 04 Sep 2015 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. pp. 254-267 https://doi.org/10.4230/LIPIcs.CONCUR.2015.254

Conference paper

Packet arrival analysis in wireless sensor networks
Doddapaneni, K., Shah, P., Ever, E., Tasiran, A., Omondi, F., Mostarda, L. and Gemikonakli, O. 2015. Packet arrival analysis in wireless sensor networks. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2015. Gwangiu, South Korea 24 - 27 Mar 2015 IEEE. pp. 164-169 https://doi.org/10.1109/WAINA.2015.101

Conference paper

A framework for energy based performability models for wireless sensor networks
Omondi, F., Shah, P., Gemikonakli, O. and Ever, E. 2015. A framework for energy based performability models for wireless sensor networks. IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA-2015). Gwangju, South Korea 24 - 27 Mar 2015 IEEE. pp. 175-180 https://doi.org/10.1109/WAINA.2015.111

Conference paper

HiReD: a high-resolution multi-window visualisation environment for cluster-driven displays
Rooney, C. and Ruddle, R. 2015. HiReD: a high-resolution multi-window visualisation environment for cluster-driven displays. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Duisburg, Germany 23 - 26 Jun 2015 Association for Computing Machinery (ACM).

Conference paper

Software theory change for resilient near-complete specifications
Primiero, G. and Raimondi, F. 2015. Software theory change for resilient near-complete specifications. 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015). London, UK 02 - 05 Jun 2015 Elsevier. https://doi.org/10.1016/j.procs.2015.05.091

Conference paper

A framework for trustworthiness assessment based on fidelity in cyber and physical domains
De Florio, V. and Primiero, G. 2015. A framework for trustworthiness assessment based on fidelity in cyber and physical domains. 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015). London, UK 02 - 05 Jun 2015 Elsevier. https://doi.org/10.1016/j.procs.2015.05.092

Conference paper

Formalization of quantum protocols using Coq
Boender, J., Kammueller, F. and Nagarajan, R. 2015. Formalization of quantum protocols using Coq. The 12th International Workshop on Quantum Physics and Logic (QPL 2015). Oxford, United Kingdom 15 - 17 Jul 2015 pp. 71-83

Conference paper

Using simulation to address intrinsic complexity in multi-modelling of enterprises for decision making
Kulkarni, V., Barat, S., Clark, T. and Barn, B. 2015. Using simulation to address intrinsic complexity in multi-modelling of enterprises for decision making. Mittal, S., Moon, I. and Syriani, E. (ed.) SummerSim '15: 2015 Summer Simulation Multiconference. Chicago, Illinois, USA 26 - 29 Jul 2015 Society for Modeling and Simulation International. https://doi.org/10.5555/2874916.2874925

Conference paper

On the impact of video content type on the mobile video quality assessment and energy consumption
Trestian, R., Vien, Q., Nguyen, H. and Gemikonakli, O. 2015. On the impact of video content type on the mobile video quality assessment and energy consumption. 10th IEEE International Symposium on Broadband Multimedia Systems and Broadcasting. Ghent, Belgium 17 - 19 Jun 2015 https://doi.org/10.1109/BMSB.2015.7177206

Conference paper

ECO-M: energy-efficient cluster-oriented multimedia delivery in a LTE D2D environment
Trestian, R., Vien, Q., Nguyen, H. and Gemikonakli, O. 2015. ECO-M: energy-efficient cluster-oriented multimedia delivery in a LTE D2D environment. IEEE International Conference on Communications (ICC 2015). London, UK 08 - 12 Jun 2015 IEEE. pp. 55-61 https://doi.org/10.1109/ICC.2015.7248298

Conference paper

Towards relating delivery methods and examination success: lessons learned from the VALO LLP project case study
Rahanu, H., Georgiadou, E., Siakas, K., Ekert, D., Messanarz, R. and Abeysinghe, G. 2015. Towards relating delivery methods and examination success: lessons learned from the VALO LLP project case study. Journal of Software: Evolution and Process. 27 (8), pp. 555-564. https://doi.org/10.1002/smr.1726

Article

Foundational extensible corecursion: a proof assistant perspective
Blanchette, J., Popescu, A. and Traytel, D. 2015. Foundational extensible corecursion: a proof assistant perspective. 20th ACM SIGPLAN International Conference on Functional Programming (ICFP). Vancouver, Canada 31 Aug - 02 Sep 2015 Association for Computing Machinery (ACM). pp. 192-204 https://doi.org/10.1145/2784731.2784732

Conference 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.047

Article

On the perspective transformation for efficient relay placement in wireless multicast networks
Vien, Q., Nguyen, H., Barn, B. and Tran, X. 2015. On the perspective transformation for efficient relay placement in wireless multicast networks. IEEE Communications Letters. 19 (2), pp. 275-278. https://doi.org/10.1109/LCOMM.2014.2387163

Article