Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
Sociophysical Interactions: understanding the role of social and tangible technologies in maintaining good habits into old age. How can technology help us 'age well'? The project will study, design and evaluate novel information systems that integrate and support social engagement and physical activity in order to build foundational knowledge about these technologies and maintain the opportunities for social engagement and physical activity in our ageing population.
Improved design and operational efficiency of small wind turbines in unsteady flows. The purpose of this research is to improve the design and performance of small wind turbines for energy generation. The expected outcomes are novel control strategies and mechanical designs that account for unsteady aerodynamics and its effects on structural loads and power quality. Recommendations to improve current design standards will be made.
Biologically-inspired detection, pursuit and interception of moving objects by unmanned aircraft systems. Although it is well known that aggressive honeybees are very effective at detecting, pursuing and intercepting moving targets, this behaviour has never been studied quantitatively. This project will use high-speed video cinematography to investigate this behaviour, to develop visual algorithms for the detection of moving targets, and to create dynamical models of the mechanisms that control ....Biologically-inspired detection, pursuit and interception of moving objects by unmanned aircraft systems. Although it is well known that aggressive honeybees are very effective at detecting, pursuing and intercepting moving targets, this behaviour has never been studied quantitatively. This project will use high-speed video cinematography to investigate this behaviour, to develop visual algorithms for the detection of moving targets, and to create dynamical models of the mechanisms that control pursuit. The resulting algorithms will be incorporated into unmanned aerial vehicles for detecting, monitoring and tracking other objects in the sky, and their performance will be evaluated. The results will provide a better understanding of the biological basis of pursuit behaviour, as well as lead to novel technologies for aerial surveillance and safety.Read moreRead less
Efficient strategies for visually guided flight: from insects to drones. Flying in real environments, that are densely cluttered with obstacles, is a major challenge limiting the proliferation of aerial robotic technology yet flying insects such as honeybees accomplish this task with ease. This project will seek to uncover the salient vision-based flight-control strategies implemented by insects to deal with clutter. These will be used to develop sensory and information processing frameworks for ....Efficient strategies for visually guided flight: from insects to drones. Flying in real environments, that are densely cluttered with obstacles, is a major challenge limiting the proliferation of aerial robotic technology yet flying insects such as honeybees accomplish this task with ease. This project will seek to uncover the salient vision-based flight-control strategies implemented by insects to deal with clutter. These will be used to develop sensory and information processing frameworks for implementation in miniature robotic systems which will allow them to navigate autonomously in complex environments even when GPS positioning is denied. Such capabilities will expand the operational domain and potential applications for small autonomous vehicles while improving our knowledge of insect locomotion.Read moreRead less
'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will a ....'Fixed points': extending and deepening our understanding of mathematical and computational aspects of game theory. This work will extend and deepen our understanding of mathematical and computational aspects of game theory. It will produce computer code embodying new methods of solving systems of nonlinear equations, which is useful in many areas of applied research in economics, in other disciplines such as chemistry, and potentially in the analysis of business operations. The project will also deepen our understanding of the underlying mathematics of such systems, and of other mathematical foundations of economic research. One application will be a new measure of the relative power resulting from voting rules. Such measures assist the design of democratic institutions by allowing the designer to assess the fairness of the outcomes they produce.Read moreRead less
When every second counts: Multi-drone navigation in GPS-denied environments. The aim of this research is to develop a framework for multiple Unmanned Aerial Vehicles (UAV), that balances information sharing, exploration, localization, mapping, and other planning objectives thus allowing a team of UAVs to navigate in complex environments in time critical situations. This project expects to generate new knowledge in UAV navigation using an innovative approach by combining Simultaneous Localizatio ....When every second counts: Multi-drone navigation in GPS-denied environments. The aim of this research is to develop a framework for multiple Unmanned Aerial Vehicles (UAV), that balances information sharing, exploration, localization, mapping, and other planning objectives thus allowing a team of UAVs to navigate in complex environments in time critical situations. This project expects to generate new knowledge in UAV navigation using an innovative approach by combining Simultaneous Localization and Mapping (SLAM) algorithms with Partially Observable Markov Decision Processes (POMDP) and Deep Reinforcement learning. This should provide significant benefits, such as more responsive search and rescue inside collapsed buildings or underground mines, as well as fast target detection and mapping under the tree canopy. Read moreRead less
A process model of visual working memory. This project aims to develop a process model of encoding of items into memory. Working memory is central to almost all cognitive functions, but little is known about short-term memory for visual information. Progress in this area is slow because of a focus on models that do not specify the processes underlying memory, and no model explains the processes that would limit the number of items the memory can hold to four. A process model is expected to addre ....A process model of visual working memory. This project aims to develop a process model of encoding of items into memory. Working memory is central to almost all cognitive functions, but little is known about short-term memory for visual information. Progress in this area is slow because of a focus on models that do not specify the processes underlying memory, and no model explains the processes that would limit the number of items the memory can hold to four. A process model is expected to address fundamental issues in visual working memory.Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Framing and Enabling Children’s Active Play using Novel Technology. This project aims to address inactivity in the 3-5 age group through understanding and exploring innovative interactive active play experiences for children, with a view to increasing their physical activity over the long term. This project will be based on empirical research with real children undertaking real interactive experiences in real contexts, in order to understand issues around sustained engagement with these types of ....Framing and Enabling Children’s Active Play using Novel Technology. This project aims to address inactivity in the 3-5 age group through understanding and exploring innovative interactive active play experiences for children, with a view to increasing their physical activity over the long term. This project will be based on empirical research with real children undertaking real interactive experiences in real contexts, in order to understand issues around sustained engagement with these types of systems. We will design and develop solutions that may address the issues and test those interventions in a longitudinal manner. The outcome will be a framework which can be applied in a variety of situations and modalities by designers and developers of such systems, and feed into childhood technology guidelines.
Read moreRead less