Outputs (25)

Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine (2022)
Presentation / Conference Contribution

The improvement of this paper takes advantage of the existing formal method called Stream X-Machine by optimizing the theory and applying it to practice in a large-scale system. This optimized formal approach called Communicating Stream X-Machine (CS... Read More about Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine.

Protecting private information in the digital era: making the most effective use of the availability of the actions under the GDPR/DPA and the tort of misuse of private information (2022)
Journal Article

Globally, enhanced data protection schemes are being introduced in the face of threats to privacy in the digital era. In England and Wales protection from one such threat – from unconsented-to disclosures of private information online - is covered by... Read More about Protecting private information in the digital era: making the most effective use of the availability of the actions under the GDPR/DPA and the tort of misuse of private information.

Simulation and experimental analysis of hovering and flight of a quadrotor (2017)
Presentation / Conference Contribution

Quadcopters were the first heavier than air vertical take-off landing vehicles. Quadrotors have become increasingly popular in the recent years finding a great variety of applications in different fields such as surveillance and small goods transport... Read More about Simulation and experimental analysis of hovering and flight of a quadrotor.

Thermal management of downhole measuring tools using thermoelectric cooling; A numerical and experimental investigation (2016)
Presentation / Conference Contribution

Vertical seismic profiling (VSP) is a common geophysical technology used in oil and gas investigation in deep wells. VSP provides high resolution and dependable results but is subjected to high temperatures and harsh well environments. As these wells... Read More about Thermal management of downhole measuring tools using thermoelectric cooling; A numerical and experimental investigation.

Exploiting diverse distance metrics for surrogate-based optimisation of ordering problems (2016)
Presentation / Conference Contribution

Surrogate-assisted optimisation has proven success in the continuous domain, but only recently begun to be explored for other representations, in particular permutations. The use of Gaussian kernel-based models has been proposed, but only tested on s... Read More about Exploiting diverse distance metrics for surrogate-based optimisation of ordering problems.