Skip to main content

Research Repository

Advanced Search

Outputs (109)

Performance on a tablet-based visual-spatial-motor task is compromised in adults and children with dyslexia: implications for the development of a novel screening tool (2014)
Presentation / Conference Contribution
Willis, A., Piotrowska, B., Bannach-Brown, A., MacLean, R. D. J., & Kerridge, J. (2014, March). Performance on a tablet-based visual-spatial-motor task is compromised in adults and children with dyslexia: implications for the development of a novel screen

Many adults and children with dyslexia also have problems with lower-level sensory, attentional, or motor tasks. In particular, there may be problems with auditory processing1, visual motion processing2-3, visual-spatial attention4, and motor control... Read More about Performance on a tablet-based visual-spatial-motor task is compromised in adults and children with dyslexia: implications for the development of a novel screening tool.

Verifying the CPA Networking Stack using SPIN/Promela. (2013)
Presentation / Conference Contribution
Chalmers, K., & Kerridge, J. (2013). Verifying the CPA Networking Stack using SPIN/Promela. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013 (39-56)

This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applications works under the conditions defined for it. The model itself focuses... Read More about Verifying the CPA Networking Stack using SPIN/Promela..

RDF recipes for context-aware interoperability in pervasive systems. (2012)
Presentation / Conference Contribution
Kosek, A., Syed, A., & Kerridge, J. (2012). RDF recipes for context-aware interoperability in pervasive systems. In Proceedings of IEEE Symposium on Computers and Communications (1017-1022). https://doi.org/10.1109/ISCC.2010.5546647

Nowadays home automation systems integrate many devices from security system, heating, ventilation and air conditioning system, lighting system or audio-video systems. Every time a new device is installed, problems with connecting it to other devices... Read More about RDF recipes for context-aware interoperability in pervasive systems..

Experiments in Multicore and Distributed Parallel Processing using JCSP (2011)
Presentation / Conference Contribution
Kerridge, J. (2011). Experiments in Multicore and Distributed Parallel Processing using JCSP. In J. F. Broenink, F. R. Barnes, J. Kerridge, P. H. Welch, A. T. Sampson, & J. B. Pedersen (Eds.), Communicating Process Architectures 2011 (131-142). https://do

It is currently very difficult to purchase any form of computer system be it, notebook, laptop, desktop server or high performance computing system that does not contain a multicore processor. Yet the designers of applications, in general, have very... Read More about Experiments in Multicore and Distributed Parallel Processing using JCSP.

Evaluating an emergent behaviour algorithm in JCSP for energy conservation in lighting systems. (2011)
Presentation / Conference Contribution
Kosek, A., Syed, A., & Kerridge, J. (2011, June). Evaluating an emergent behaviour algorithm in JCSP for energy conservation in lighting systems. Presented at 33rd Communicating Process Architecture (CPA) conference

Since the invention of the light bulb, artificial light is accompanying people all around the world every day and night. As the light bulb itself evolved a lot through years, light control systems are still switch-based and require users to make most... Read More about Evaluating an emergent behaviour algorithm in JCSP for energy conservation in lighting systems..

Application of CoSMoS parallel design patterns to a pedestrian simulation. (2009)
Presentation / Conference Contribution
Clayton, S., Urquhart, N. B., & Kerridge, J. (2009). Application of CoSMoS parallel design patterns to a pedestrian simulation. In R. Wyrzykowski, J. Dongarra, K. Karczewski, & J. Wasniewski (Eds.), Parallel Processing and Applied Mathematics (505-512). h

In this paper, we discuss the implementation of a simple pedestrian simulation that uses a multi agent based design pattern developed by the CoSMoS research group. Given the nature of Multi Agent Systems (MAS), parallel processing techniques are inev... Read More about Application of CoSMoS parallel design patterns to a pedestrian simulation..

An application of CoSMoS design methods to pedestrian simulation. (2009)
Presentation / Conference Contribution
Clayton, S., Urquhart, N., & Kerridge, J. (2009). An application of CoSMoS design methods to pedestrian simulation. In P. H. Welch, H. Roebbers, J. F. Broenink, F. R. M. Barnes, C. G. Ritson, A. T. Sampson, …B. Vinter (Eds.), Communicating Process Archi

In this paper, we discuss the implementation of a simple pedestrian simulation that uses a multi agent based design pattern developed by the CoSMoS research group. Given the nature of Multi Agent Systems (MAS), parallel processing techniques are inev... Read More about An application of CoSMoS design methods to pedestrian simulation..

An investigation into distributed channel mobility support for Communicating Process Architectures. (2009)
Presentation / Conference Contribution
Chalmers, K., & Kerridge, J. (2009). An investigation into distributed channel mobility support for Communicating Process Architectures. In P. H. Welch, F. R. M. Barnes, G. S. Stiles, J. F. Broenink, H. Roebbers, & A. T. Sampson (Eds.), Communicating Proc

Localised mobile channel support is now a feature of Communicating Process Architecture (CPA) based frameworks, from JCSP and C++CSP to occam-pi. Distributed mobile channel support has also been attempted in JCSP Networking and occam-pi via the pony... Read More about An investigation into distributed channel mobility support for Communicating Process Architectures..

JCSP agents-based service discovery for pervasive computing. (2009)
Presentation / Conference Contribution
Kosek, A., Kerridge, J., Syed, A., & Armitage, A. (2009). JCSP agents-based service discovery for pervasive computing. In P. H. Welch, H. Roebbers, J. F. Broenink, F. R. M. Barnes, C. G. Ritson, A. T. Sampson, & G. S. Vinter (Eds.), Communicating Process

Device and service discovery is a very important topic when considering pervasive environments. The discovery mechanism is required to work in networks with dynamic topology and on limited software, and be able to accept different device descriptions... Read More about JCSP agents-based service discovery for pervasive computing..

Let's Meander Through a Measured Space (2009)
Book Chapter
Kerridge, J. (2009). Let's Meander Through a Measured Space. In Exploration of Space, Technology, and Spatiality: Interdisciplinary Perspectives (17-25). IGI Global. https://doi.org/10.4018/978-1-60566-020-2.ch002

This chapter concerns the question of how people navigate through a space in which other people are also present. Issues addressed include how the space itself affects the way people navigate, how this is changed by the presence of others in the spac... Read More about Let's Meander Through a Measured Space.