Search Results - "Farrell, Marie"

Building Specifications in the Event-B Institution by Farrell, Marie, Monahan, Rosemary, Power, James F.

“…This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and…”
Get full text

CSP2Turtle: Verified Turtle Robot Plans by MacConville, Dara, Farrell, Marie, Luckcuck, Matt, Monahan, Rosemary

“…Software verification is an important approach to establishing the reliability of critical systems. One important area of application is in the field of…”
Get full text

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal by Farrell, Marie, Mavrakis, Nikos, Ferrando, Angelo, Dixon, Clare, Gao, Yang

“…Active debris removal in space has become a necessary activity to maintain and facilitate orbital operations. Current approaches tend to adopt autonomous…”
Get full text

Abstract 4743: Preclinical studies characterize tumor type sensitivity to FASN inhibition and the mechanism and efficacy of novel drug combinations with TVB-2640 by Heuer, Timothy S., Ventura, Richard, Lai, Julie, Waszczuk, Joanna, Rubio, Claudia, Hammonds, Glenn, O’ Farrell, Marie, Buckley, Douglas, Kemble, George

“…Abstract Tumor cells have an increased dependence on FASN-synthesized palmitate compared to non-tumor cells, which obtain many of their required lipids from…”
Get full text

An Overview of Verification and Validation Challenges for Inspection Robots by 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

“…The advent of sophisticated robotics and AI technology makes sending humans into hazardous and distant environments to carry out inspections increasingly…”
Get full text

Cultural variations in wellbeing, burnout and substance use amongst medical students in twelve countries by 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

“…High levels of stress, burnout, and symptoms of poor mental health have been well known among practicing doctors for a number of years. Indeed, many health…”
Get full text

Co‐teaching in a mainstream post‐primary mathematics classroom: an evaluation of models of co‐teaching from the perspective of the teachers by Carty, Audrey, Marie Farrell, Ann

“…This article examines the use of a range of co‐teaching models when teaching mathematics. The approaches suggested have potential for all students, but in this…”
Get full text

Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems by Smrčka, Aleš, Sangchoolie, Behrooz, Mingozzi, Emanuele, de la Vara, Jose Luis, Farrell, Marie, Barbosa, Raul, Baglum, Cem, Yayan, Ugur, Ergun, Salih, Kanak, Alper

“…Verification and validation (V&V) are complex processes combining different approaches and incorporating many different methods including many activities…”
Get full text

The Current State of Deep Brain Stimulation for Chronic Pain and Its Context in Other Forms of Neuromodulation by Farrell, Sarah Marie, Green, Alexander, Aziz, Tipu

“…Chronic intractable pain is debilitating for those touched, affecting 5% of the population. Deep brain stimulation (DBS) has fallen out of favour as the…”
Get full text

Poor medical student welfare—a growing threat to healthcare by Molodynski, Andrew, Farrell, Sarah Marie, Bhugra, Dinesh, Okasha, Tarek

“…[...]we know that we will need ever-increasing numbers of doctors to continue to deliver care to a global population of 7.64 billion people (and growing fast),…”
Get full text

The Use of Neuromodulation for Symptom Management by Farrell, Sarah Marie, Green, Alexander, Aziz, Tipu

“…Pain and other symptoms of autonomic dysregulation such as hypertension, dyspnoea and bladder instability can lead to intractable suffering. Incorporation of…”
Get full text

Managing acute collapse in pregnant women by Lombaard, Hennie, Soma-Pillay, Priya, Farrell, El-Marie

“…The most important causes of acute collapse in pregnancy are pulmonary embolism, amniotic fluid embolism, acute coronary syndrome, thrombosed mechanical…”
Get full text

A formal approach to finding inconsistencies in a metamodel by Wu, Hao, Farrell, Marie

“…Checking the consistency of a metamodel involves finding a valid metamodel instance that provably meets the set of constraints that are defined over the…”
Get full text

Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE): Preface by Luckcuck, Matt, Farrell, Marie

Get full text

Proceedings Third Workshop on Formal Methods for Autonomous Systems: Preface by Farrell, Marie, Luckcuck, Matt

Get full text

Evaluating the Chief Nurse Executive: Reflections on the Process by Farrell, Marie P.

“…Performance improvement of chief nurse executives (CNEs) is an integral part of a healthcare organization's program of continuous improvement. However, the…”
Get full text

THU-336 Combination of fatty acid synthase (FASN) inhibitor and thyroid hormone receptor beta (THRb) agonist resmetirom shows synergistic improvement of NAFLD activity score (NAS) within 6-weeks in diet-induced obese mice with biopsy-confirmed MASH by Tsai, Wen-Wei, Nielsen, Malte H., Feigh, Michael, Martins, Eduardo, Kemble, George, Farrell, Marie O’

Get full text

GS-011 Denifanstat, a fatty acid synthase (FASN) inhibitor, shows significant fibrosis improvement and MASH resolution in FASCINATE-2, a Ph2b 52 week international, randomized, double blind, placebo-controlled trial in patients with F2 or F3 fibrosis by Loomba, Rohit, Martins, Eduardo, Grimmer, Katharine, Tsai, Wen-Wei, O' Farrell, Marie, McCulloch, William, Kemble, George, Bedossa, Pierre, Cobiella, Jose, Lawitz, Eric, Rudraraju, Madhavi, Harrison, Stephen A.

Get full text

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems: Preface by Luckcuck, Matt, Farrell, Marie, Gleirscher, Mario, Schwammberger, Maike

Get full text

Proceedings Second Workshop on Formal Methods for Autonomous Systems: Preface by Luckcuck, Matt, Farrell, Marie, Fisher, Michael

Get full text