The integration of rapid qualitative research in clinical trials: reflections from the ward-based goal-directed fluid therapy (GDFT) in acute pancreatitis feasibility trial

Background: There has been an increase in the integration of qualitative studies in randomised controlled trials. The purpose of this article is to reflect on our experience of carrying out a rapid qualitative study during a feasibility trial of goal-directed fluid therapy (GDFT) in patients with acute pancreatitis, including our sharing of emerging findings and the use of these findings by the trial team. / Methods: The study was designed as a rapid feedback evaluation and combined interviews with staff and patients who took part in the trial. / Findings: The rapid qualitative study pointed to common problems in trial recruitment among multiple sites, where lack of engagement of clinical teams across sites might impact negatively on patient recruitment. The article describes how the use of rapid feedback loops can be used as the trial is ongoing to inform changes in implementation. It also covers the potential challenges of working rapidly and collaborative with the trial team. / Conclusions: Rapid feedback evaluations can be used to generate findings across all stages of trial design and delivery. Additional research is required to explore the implementation of this research design in other settings and trial designs

Interfacing Coq + SSReflect with GAP

Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It allows Coq to issue OpenMath requests to a local or remote GAP instances and represent server responses as Coq terms.PreprintPeer reviewe