Loading…
Building Specifications in the Event-B Institution
Farrell, Marie, Monahan, Rosemary, Power, James F.
Published in Logical methods in computer science (09.11.2022)
Published in Logical methods in computer science (09.11.2022)
Get full text
Journal Article
Loading…
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Farrell, Marie, Mavrakis, Nikos, Ferrando, Angelo, Dixon, Clare, Gao, Yang
Published in Frontiers in robotics and AI (27.01.2022)
Published in Frontiers in robotics and AI (27.01.2022)
Get full text
Journal Article
Loading…
CSP2Turtle: Verified Turtle Robot Plans
MacConville, Dara, Farrell, Marie, Luckcuck, Matt, Monahan, Rosemary
Published in Robotics (Basel) (01.04.2023)
Published in Robotics (Basel) (01.04.2023)
Get full text
Journal Article
Loading…
An Overview of Verification and Validation Challenges for Inspection Robots
Fisher, Michael, Cardoso, Rafael C., Collins, Emily C., Dadswell, Christopher, Dennis, Louise A., Dixon, Clare, Farrell, Marie, Ferrando, Angelo, Huang, Xiaowei, Jump, Mike, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt, Luo, Shan, Page, Vincent, Papacchini, Fabio, Webster, Matt
Published in Robotics (Basel) (01.06.2021)
Published in Robotics (Basel) (01.06.2021)
Get full text
Journal Article
Loading…
Abstract 4743: Preclinical studies characterize tumor type sensitivity to FASN inhibition and the mechanism and efficacy of novel drug combinations with TVB-2640
Heuer, Timothy S., Ventura, Richard, Lai, Julie, Waszczuk, Joanna, Rubio, Claudia, Hammonds, Glenn, O’ Farrell, Marie, Buckley, Douglas, Kemble, George
Published in Cancer research (Chicago, Ill.) (15.07.2016)
Published in Cancer research (Chicago, Ill.) (15.07.2016)
Get full text
Journal Article
Loading…
Cultural variations in wellbeing, burnout and substance use amongst medical students in twelve countries
Molodynski, Andrew, Lewis, Thomas, Kadhum, Murtaza, Farrell, Sarah Marie, Lemtiri Chelieh, Maha, Falcão De Almeida, Telma, Masri, Rawan, Kar, Anindya, Volpe, Umberto, Moir, Fiona, Torales, Julio, Castaldelli-Maia, João Mauricio, Chau, Steven W. H., Wilkes, Chris, Bhugra, Dinesh
Published in International review of psychiatry (Abingdon, England) (17.02.2021)
Published in International review of psychiatry (Abingdon, England) (17.02.2021)
Get full text
Journal Article
Loading…
Loading…
Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems
Smrčka, Aleš, Sangchoolie, Behrooz, Mingozzi, Emanuele, de la Vara, Jose Luis, Farrell, Marie, Barbosa, Raul, Baglum, Cem, Yayan, Ugur, Ergun, Salih, Kanak, Alper
Published in Open research Europe (2023)
Published in Open research Europe (2023)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Poor medical student welfare—a growing threat to healthcare
Molodynski, Andrew, Farrell, Sarah Marie, Bhugra, Dinesh, Okasha, Tarek
Published in Middle East Current Psychiatry (20.08.2021)
Published in Middle East Current Psychiatry (20.08.2021)
Get full text
Journal Article
Loading…
Loading…
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Luckcuck, Matt, Farrell, Marie, Dennis, Louise A., Dixon, Clare, Fisher, Michael
Published in ACM computing surveys (30.09.2020)
Published in ACM computing surveys (30.09.2020)
Get full text
Journal Article
Loading…
Managing acute collapse in pregnant women
Lombaard, Hennie, Soma-Pillay, Priya, Farrell, El-Marie
Published in Best practice & research. Clinical obstetrics & gynaecology (01.06.2009)
Published in Best practice & research. Clinical obstetrics & gynaecology (01.06.2009)
Get full text
Journal Article