All Outputs (47)

Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions (2016)
Journal Article
Araiza-Illan, D., Western, D., Pipe, A. G., & Eder, K. (2016). Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions. Lecture Notes in Artificial Intelligence, 9716, 20-32. https://doi.org/10.1007/978-3-319-40379-3_3

© Springer International Publishing Switzerland 2016. Industries such as flexible manufacturing and home care will be transformed by the presence of robotic assistants. Assurance of safety and functional soundness for these robotic systems will requi... Read More about Systematic and realistic testing in simulation of control code for robots in collaborative human-robot interactions.

Coverage-driven verification — An approach to verify code for robots that directly interact with humans (2015)
Journal Article
Pipe, A., Araiza-Illan, D., Western, D., Pipe, A. G., & Eder, K. (2015). Coverage-driven verification — An approach to verify code for robots that directly interact with humans. Lecture Notes in Artificial Intelligence, 9434, 69-84. https://doi.org/10.1007/978-3-319-26287-1_5

© Springer International Publishing Switzerland 2015. Collaborative robots could transform several industries, such as manufacturing and healthcare, but they present a significant challenge to verification. The complex nature of their working environ... Read More about Coverage-driven verification — An approach to verify code for robots that directly interact with humans.

Telling non-linear stories with interval temporal logic (2015)
Journal Article
Thompson, M., Battle, S., & Padget, J. (2015). Telling non-linear stories with interval temporal logic. Lecture Notes in Artificial Intelligence, 9445, 370-373. https://doi.org/10.1007/978-3-319-27036-4_39

© Springer International Publishing Switzerland 2015. Authoring a consistent interactive narrative is difficult without exhaustively specifying all possible deviations from the main path of a story. When automatically generating new story paths, it i... Read More about Telling non-linear stories with interval temporal logic.

Follicular DEAs for two-way tactile communication (2015)
Journal Article
Knoop, L. E., Knoop, L. E., Rossiter, J., & Assaf, T. (2015). Follicular DEAs for two-way tactile communication. Proceedings of SPIE, 9430(January), 943027. https://doi.org/10.1117/12.2085592

© 2015 SPIE. Follicular structures in skin combine sensing and actuation in a soft and compliant continuous surface. We have developed a tactile display device inspired by this structure, using a Dielectric Elastomer Actuator (DEA). DEAs allow for co... Read More about Follicular DEAs for two-way tactile communication.

Run-time detection of faults in autonomous mobile robots based on the comparison of simulated and real robot behaviour (2014)
Journal Article
Millard, A. G., Timmis, J., & Winfield, A. F. (2014). Run-time detection of faults in autonomous mobile robots based on the comparison of simulated and real robot behaviour. Proceedings of the ... IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems, 3720-3725. https://doi.org/10.1109/IROS.2014.6943084

© 2014 IEEE. This paper presents a novel approach to the run-time detection of faults in autonomous mobile robots, based on simulated predictions of real robot behaviour. We show that although simulation can be used to predict real robot behaviour, d... Read More about Run-time detection of faults in autonomous mobile robots based on the comparison of simulated and real robot behaviour.

Development of a multi-block high-order DNS code for turbulent flow simulations (2014)
Journal Article
Castagna, J., & Yao, Y. (2014). Development of a multi-block high-order DNS code for turbulent flow simulations. IOP Conference Series: Materials Science and Engineering, 10(1), 012027. https://doi.org/10.1088/1757-899X/10/1/012027

© 2010 IOP Publishing Ltd. A high-order finite-differences direct numerical simulation code is developed for studying turbulent flows over complex geometries. The solver uses a global mapping based multi-block arrangement, with each block consisting... Read More about Development of a multi-block high-order DNS code for turbulent flow simulations.

Perception of own and robot engagement in human-robot interactions and their dependence on robotics knowledge (2013)
Journal Article
Hall, J., Tritton, T., Rowe, A., Pipe, A., Melhuish, C., & Leonards, U. (2014). Perception of own and robot engagement in human-robot interactions and their dependence on robotics knowledge. Robotics and Autonomous Systems, 62(3), 392-399. https://doi.org/10.1016/j.robot.2013.09.012

Communication between socially assistive robots and humans might be facilitated by intuitively understandable mechanisms. To investigate the effects of some key nonverbal gestures on a human's own engagement and robot engagement experienced by humans... Read More about Perception of own and robot engagement in human-robot interactions and their dependence on robotics knowledge.

Power generation and contaminant removal in single chamber microbial fuel cells (SCMFCs) treating human urine (2013)
Journal Article
Greenman, J., Ieropoulos, I., Santoro, C., Ieropoulos, I., Greenman, J., Cristiani, P., …Li, B. (2013). Power generation and contaminant removal in single chamber microbial fuel cells (SCMFCs) treating human urine. International Journal of Hydrogen Energy, 38(26), 11543-11551. https://doi.org/10.1016/j.ijhydene.2013.02.070

The potential of single chamber microbial fuel cells (SCMFC) to treat raw, fresh human urine was investigated. The power generation (55 μW) of the SCMFCs with platinum (Pt)-based cathode was higher than those with Pt-free cathodes (23 μW) at the begi... Read More about Power generation and contaminant removal in single chamber microbial fuel cells (SCMFCs) treating human urine.

Increased power output from micro porous layer (MPL) cathode microbial fuel cells (MFC) (2013)
Journal Article
Ieropoulos, I., Greenman, J., Melhuish, C., Papaharalabos, G., Greenman, J., Melhuish, C., …Ieropoulos, I. (2013). Increased power output from micro porous layer (MPL) cathode microbial fuel cells (MFC). International Journal of Hydrogen Energy, 38(26), 11552-11558. https://doi.org/10.1016/j.ijhydene.2013.05.138

Microbial fuel cells are bio-electrochemical transducers that utilise microorganisms to generate electricity, through the oxidation of organic matter. They consist of a negative anode and a positive cathode, separated by an ion selective membrane. Th... Read More about Increased power output from micro porous layer (MPL) cathode microbial fuel cells (MFC).

Randomized algorithms and upper bounds for multiple domination in graphs and networks (2013)
Journal Article
Gagarin, A., Poghosyan, A., & Zverovich, V. (2013). Randomized algorithms and upper bounds for multiple domination in graphs and networks. Discrete Applied Mathematics, 161(4-5), 604-611. https://doi.org/10.1016/j.dam.2011.07.004

We consider four different types of multiple domination and provide new improved upper bounds for the k- and k-tuple domination numbers. They generalize two classical bounds for the domination number and are better than a number of known upper bounds... Read More about Randomized algorithms and upper bounds for multiple domination in graphs and networks.

Reactive coordination and adaptive lattice formation in mobile robotic surveillance swarms (2012)
Journal Article
Mullen, R. J., Mullen, R., Monekosso, D., Barman, S., & Remagnino, P. (2012). Reactive coordination and adaptive lattice formation in mobile robotic surveillance swarms. https://doi.org/10.1007/978-3-642-32723-0_17

We present here a set of decentralised control laws to facilitate lattice formation and reactive coordination and control of a swarm of mobile ground based robots. The control laws rely on local, indirect communication, which we implement in the form... Read More about Reactive coordination and adaptive lattice formation in mobile robotic surveillance swarms.

Biological indexes based reflectional asymmetry for classifying cutaneous lesions (2011)
Journal Article
Liu, Z., Smith, L., Sun, J., Smith, M., & Warr, R. (2011). Biological indexes based reflectional asymmetry for classifying cutaneous lesions. Lecture Notes in Artificial Intelligence, 6893 LNCS(PART 3), 124-132. https://doi.org/10.1007/978-3-642-23626-6_16

This paper proposes a novel reflectional asymmetry descriptor to quantize the asymmetry of the cutaneous lesions for the discrimination of malignant melanoma from benign nevi. A pigmentation elevation model of the biological indexes is first construc... Read More about Biological indexes based reflectional asymmetry for classifying cutaneous lesions.

Numerical study of gaseous reactive flow over a ram accelerator projectile in subdetonative velocity regime (2011)
Journal Article
Bengherbia, T., Yao, Y., Bauer, P., & Knowlen, C. (2011). Numerical study of gaseous reactive flow over a ram accelerator projectile in subdetonative velocity regime. European Physical Journal: Applied Physics, 55(1), 11102 -11113. https://doi.org/10.1051/epjap/2011100087

Computational fluid dynamics solutions of the Reynolds Averaged Navier-Stokes equations have been used to numerically predict the thrust of a thermally choked ram accelerator in subdetonative velocity regime. Studies were focused on a projectile oper... Read More about Numerical study of gaseous reactive flow over a ram accelerator projectile in subdetonative velocity regime.

Computational study of hole shape effect on film cooling performance (2011)
Journal Article
Yao, J., & Yao, Y. (2011). Computational study of hole shape effect on film cooling performance. Proceedings of the Institution of Mechanical Engineers, Part A: Journal of Power and Energy, 225(4), 505-519. https://doi.org/10.1177/0957650911399013

Film cooling effectiveness has been studied by using a computational approach based on solving the Reynolds-averaged Navier-Stokes equations. A wind tunnel test configuration is considered with a total of four cooling hole geometries as a cylindrical... Read More about Computational study of hole shape effect on film cooling performance.

A novel approach to thin-wall machining of aerospace structures- Stability margin prediction using a new damping modelling approach (2011)
Journal Article
Sim, W. M., Adetoro, O. B., & Wen, P. H. (2011). A novel approach to thin-wall machining of aerospace structures- Stability margin prediction using a new damping modelling approach. Advanced Materials Research, 223, 632-641. https://doi.org/10.4028/www.scientific.net/AMR.223.632

The eco-friendly and economic challenges are driving more and more aerostructure components with thin wall and deep pocket features. These features are getting thinner and deeper and become impractical during part manufacturing. Therefore, there is a... Read More about A novel approach to thin-wall machining of aerospace structures- Stability margin prediction using a new damping modelling approach.

On the numerical prediction of stability in thin wall machining (2010)
Journal Article
Adetoro, O. B., Vepa, R., Sim, W. M., & Wen, P. H. (2010). On the numerical prediction of stability in thin wall machining. Lecture Notes in Electrical Engineering, 60 LNEE, 681-690. https://doi.org/10.1007/978-90-481-8776-8_58

In this chapter, the numerical prediction of stability margin in thin wall machining is introduced. The Nyquist criterion is applied to the stability model presented by Adetoro, while a newly discovered damping prediction approach is presented, which... Read More about On the numerical prediction of stability in thin wall machining.

Numerical study of hole shape effect on blade cooling effectiveness (2010)
Journal Article
Yao, J., Sian, S., Yao, Y., & Davis, T. W. (2010). Numerical study of hole shape effect on blade cooling effectiveness. Modern Physics Letters B, 24(13), 1295-1298. https://doi.org/10.1142/S0217984910023463

Numerical study of hole shape effect on blade adiabatic cooling effectiveness has been carried out on four geometry models comprising a standard cylindrical hole, a cylindrical hole with an upstream ramp, a shaped diffuser, and a double console slot.... Read More about Numerical study of hole shape effect on blade cooling effectiveness.

Synthetic training data generation for activity monitoring and behavior analysis (2009)
Journal Article
Monekosso, D., & Remagnino, P. (2009). Synthetic training data generation for activity monitoring and behavior analysis. Lecture Notes in Artificial Intelligence, 5859 LNCS, 267-275. https://doi.org/10.1007/978-3-642-05408-2_31

This paper describes a data generator that produces synthetic data to simulate observations from an array of environment monitoring sensors. The overall goal of our work is to monitor the well-being of one occupant in a home. Sensors are embedded in... Read More about Synthetic training data generation for activity monitoring and behavior analysis.

CFD modelling of water injection for turbine blade cleaning (2009)
Journal Article
Yao, J., Yao, Y., Mason, P., Zhang, T., Heyes, F. J. G., & Roach, P. E. (2009). CFD modelling of water injection for turbine blade cleaning. Modern Physics Letters B, 23(3), 341-344. https://doi.org/10.1142/S0217984909018357

CFD modeling of water injection for turbine blade cleaning has been carried out to predict the water coverage on a stationary blade row, which will enable a better understanding on the interactions between hot-air flow and cold-water droplets. A gene... Read More about CFD modelling of water injection for turbine blade cleaning.

Direct numerical simulation of multiple jets in cross-flow (2009)
Journal Article
Yao, Y. (2009). Direct numerical simulation of multiple jets in cross-flow. Modern Physics Letters B, 23(3), 249-252. https://doi.org/10.1142/S0217984909018126

Direct numerical simulation has been performed to study flow interactions in multiple jets in cross-flow. Configurations considered are twin jets side-by-side and triple jets in tandem. Computations are carried out at the jet to cross-flow velocity r... Read More about Direct numerical simulation of multiple jets in cross-flow.