Search Results - "Hughes, Dominic"

Pseudomonas aeruginosa in the Cystic Fibrosis Airway: Does It Deserve Its Reputation as a Predatory "Bully"? by Hughes, Dominic A, Price, Henry, Rosenthal, Mark, Davies, Jane C

Get full text

Eradication success for non-tuberculous mycobacteria in children with cystic fibrosis by Hughes, Dominic A, Bokobza, Idan, Carr, Siobhán B

“…Non-tuberculous mycobacteria (NTM) are an emerging pathogen worldwide in both cystic fibrosis (CF) and non-CF pulmonary disease (PD), with reports suggesting…”
Get full text

Simple free star-autonomous categories and full coherence by Hughes, Dominic J.D.

“…This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg–Kelly–MacLane graphs and Trimble rewiring,…”
Get full text

Clinical characteristics of Pseudomonas and Aspergillus co-infected cystic fibrosis patients: A UK registry study by Hughes, Dominic A., Archangelidi, Olga, Coates, Matthew, Armstrong-James, Darius, Elborn, Stuart J., Carr, Siobhán B., Davies, Jane C.

“…•Aspergillus airway infection was associated with a 5.9% lower adjusted ppFEV1.•Aspergillus was linked to poorer clinical outcomes in people with CF.•9.1% of…”
Get full text

Combinatorial Proofs and Decomposition Theorems for First-order Logic by Hughes, Dominic J. D., Strasburger, Lutz, Wu, Jui-Hsuan

“…We uncover a close relationship between combinatorial and syntactic proofs for first-order logic (without equality). Whereas syntactic proofs are formalized in…”
Get full text

Intuitionistic proofs without syntax by Heijltjes, Willem B., Hughes, Dominic J. D., StraBburger, Lutz

“…We present Intuitionistic Combinatorial Proofs (ICPs), a concrete geometric semantics of intuitionistic logic based on the principles of the second author's…”
Get full text

An invisible threat? Aspergillus positive cultures and co-infecting bacteria in airway samples by Hughes, Dominic A, Rosenthal, Mark, Cuthbertson, Leah, Ramadan, Newara, Felton, Imogen, Simmonds, Nicholas J, Loebinger, Michael R, Price, Henry, Armstrong-James, Darius, Elborn, J Stuart, Cookson, William O, Moffatt, Miriam F, Davies, Jane C

“…•Pseudomonas/Aspergillus co-positive cultures are less common than expected in CF airway samples.•Increasing Pseudomonas culture density is associated with…”
Get full text

King's Variceal Prediction Score by Witters, Peter, Hughes, Dominic, Karthikeyan, Palaniswamy, Ramakrishna, Somashekara, Davenport, Mark, Dhawan, Anil, Grammatikopoulos, Tassos

“…ABSTRACT Background and Aims: Variceal haemorrhage can be a life‐threatening complication of chronic liver disease in children. There is limited evidence about…”
Get full text

Proofs without Syntax by Hughes, Dominic J. D.

“…Proofs are traditionally syntactic, inductively generated objects. This paper presents an abstract mathematical formulation of propositional calculus…”
Get full text

Levelling the playing field through the London Network of the UK clinical trials accelerator platform by Matthews, Jessie, Dobra, Rebecca, Wilson, Gemma, Allen, Lucy, Bossley, Cara, Brendell, Rebecca, Brugha, Rossa, Brown, Danielle, Brown, Sarah, Cadiente, Shenna, Cameron, Loren, Davies, Gwyneth, Dawson, Charlotte, Elborn, Stuart, Hughes, Dominic, Longmate, Jess, Macedo, Patricia, Pappas, Leonidas, Pao, Caroline, Round, Chris, Ruiz, Gary, Saunders, Clare, Shafi, Nadia, Simmonds, Nicholas, Waller, Michael, Watson, Danie, Davies, Jane C.

“…Cystic fibrosis (CF) is a multisystem, genetic disease with a significantly reduced life expectancy. Despite substantial progress in therapies in the last…”
Get full text

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets by Heijltjes, Willem, Hughes, Dominic J. D.

“…We investigate efficient algorithms for the additive fragment of linear logic. This logic is an internal language for categories with finite sums and products,…”
Get full text

News article by Hughes, Dominic

Get full text

News article

Get full text

Delayed Hepato-Spleno-Renal Bypass for Renal Salvage following Malposition of an Infrarenal Aortic Stent-Graft by Hamish, Maher, Geroulakos, George, Hughes, Dominic A., Moser, Steve, Shepherd, Amanda, Salama, Alan D.

“…Purpose: To report a salvage maneuver for accidental coverage of both renal arteries during endovascular aneurysm repair (EVAR) of an infrarenal aortic…”
Get full text

Selective Sampling of the Lower Airway in Children with Cystic Fibrosis: What Are We Missing? by Turnbull, Andrew, Hughes, Dominic, Davies, Jane

Get full text

Conflict nets: Efficient locally canonical MALL proof nets by Hughes, Dominic, Heijltjes, Willem

“…Proof nets for MLL (unit-free multiplicative linear logic) and ALL (unit-free additive linear logic) are graphical abstractions of proofs which are efficient…”
Get full text

1261 Standardising care for children admitted with Acute Wheeze: implementation of a new discharge bundle in a major Urban Hospital by White, Laura, Nanthakumaran, Madura, Senanayake, Upeka, Kumar, Meera, Hughes, Dominic, Latham, Sarah, Tomlin, Becky, Osinibi, Mira

“…AimsEpisodes of acute wheeze comprise a significant proportion of unplanned paediatric hospital admissions in the UK. The UK has amongst the highest…”
Get full text

Kingʼs Variceal Prediction Score: A Novel Noninvasive Marker of Portal Hypertension in Pediatric Chronic Liver Disease by Witters, Peter, Hughes, Dominic, Karthikeyan, Palaniswamy, Ramakrishna, Somashekara, Davenport, Mark, Dhawan, Anil, Grammatikopoulos, Tassos

“…BACKGROUND AND AIMS:Variceal haemorrhage can be a life-threatening complication of chronic liver disease in children. There is limited evidence about the…”
Get full text

Chronicity Counts: The Impact of Pseudomonas aeruginosa , Staphylococcus aureus , and Coinfection in Cystic Fibrosis by Mossop, Micaela, Ish-Horowicz, Jonathan, Hughes, Dominic, Dobra, Rebecca, Cunanan, Alessandra G, Rosenthal, Mark, Carr, Siobhán B, Ramadan, Newara, Nolan, Laura M, Davies, Jane C

Get full text

Towards Hilbert's 24th Problem: Combinatorial Proof Invariants by Hughes, Dominic J.D.

“…Proofs Without Syntax [Hughes, D.J.D. Proofs Without Syntax. Annals of Mathematics 2006 (to appear), http://arxiv.org/abs/math/0408282 (v3). August 2004…”
Get full text