Facial reconstruction

Search LJMU Research Online

Browse Repository | Browse E-Theses

Items where Author is "Fisher, M"

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 10.

Article

Koay, KL, Webster, M, Dixon, C, Gainer, P, Syrdal, D, Fisher, M and Dautenhahn, K (2021) Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12 (1). pp. 402-422. ISSN 2080-9778

Page, V, Dadswell, C, Webster, M, Jump, M and Fisher, M (2021) Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions. Robotics, 10 (3). ISSN 2218-6581

Cardoso, R, Kourtis, G, Dennis, LA, Dixon, C, Farrell, M, Fisher, M and Webster, M (2021) A Review of Verification and Validation for Space Autonomous Systems. Current Robotics Reports. ISSN 2662-4087

Fisher, M, Cardoso, RC, Collins, EC, Dadswell, C, Dennis, LA, Dixon, C, Farrell, M, Ferrando, A, Huang, X, Jump, M, Kourtis, G, Lisitsa, A, Luckcuck, M, Luo, S, Page, V, Papacchini, F and Webster, M (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2). ISSN 2218-6581

Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2020) Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. Journal of Computational Science, 45. ISSN 1877-7503

Webster, M, Western, D, Araiza-Illan, D, Dixon, C, Eder, K, Fisher, M and Pipe, AG (2019) A Corroborative Approach to Verification and Validation of Human--Robot Teams. The International Journal of Robotics Research, 39 (1). pp. 73-99. ISSN 0278-3649

Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2019) Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76. ISSN 1863-2122

Griffin, R, Psarelli, EE, Cox, TF, Khedr, M, Milan, AM, Davison, AS, Hughes, AT, Usher, JL, Taylor, S, Loftus, N, Daroszewska, A, West, E, Jones, A, Briggs, M, Fisher, M, McCormick, M, Judd, S, Vinjamuri, S, Sireau, N, Dillon, JP , Devine, JM, Hughes, G, Harrold, J, Barton, GJ, Jarvis, JC, Gallagher, JA and Ranganath, LR (2018) Data on items of AKUSSI in Alkaptonuria collected over three years from the United Kingdom National Alkaptonuria Centre and the impact of nitisinone. Data in Brief, 20. pp. 1620-1628. ISSN 2352-3409

Ranganath, LR, Khedr, M, Milan, AM, Davison, AS, Hughes, AT, Usher, JL, Taylor, S, Loftus, N, Daroszewska, A, West, E, Jones, A, Briggs, M, Fisher, M, McCormick, M, Judd, S, Vinjamuri, S, Griffin, R, Psarelli, EE, Cox, TF, Sireau, N , Dillon, JP, Devine, JM, Hughes, G, Harrold, J, Barton, GJ, Jarvis, JC and Gallagher, JA (2018) Nitisinone arrests ochronosis and decreases rate of progression of Alkaptonuria: Evaluation of the effect of nitisinone in the United Kingdom National Alkaptonuria Centre. Molecular Genetics and Metabolism, 125 (1/2). pp. 127-134. ISSN 1096-7192

Webster, M, Dixon, C, Fisher, M, Salem, M, Saunders, J, Koay, KL, Dautenhahn, K and Saez-Pons, J (2015) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196. ISSN 2168-2291

This list was generated on Sat Dec 4 00:51:00 2021 UTC.