E-LIB Suche - Ergebnisse für: Hughes, Dominic A

1

Levelling the playing field through the London Network of t..:

Matthews, Jessie ; Dobra, Rebecca ; Wilson, Gemma...
Contemporary Clinical Trials Communications. 39 (2024) - p. 101301 , 2024

Link: https://doi.org/10.1016/..

2

News article:

Hughes, Dominic
Journal of Cystic Fibrosis. 23 (2024) 3 - p. 371-372 , 2024

Link: https://doi.org/10.1016/..

3

An invisible threat? Aspergillus positive cultures and co-i..:

Hughes, Dominic A ; Rosenthal, Mark ; Cuthbertson, Leah...
Journal of Cystic Fibrosis. 22 (2023) 2 - p. 320-326 , 2023

Link: https://doi.org/10.1016/..

4

Clinical characteristics of Pseudomonas and Aspergillus co-..:

Hughes, Dominic A. ; Archangelidi, Olga ; Coates, Matthew...
Journal of Cystic Fibrosis. 21 (2022) 1 - p. 129-135 , 2022

Link: https://doi.org/10.1016/..

5

A Short extension to multiple breath washout provides addit..:

Short, Christopher ; Semple, Thomas ; Saunders, Clare...
Journal of Cystic Fibrosis. 21 (2022) 1 - p. 146-154 , 2022

Link: https://doi.org/10.1016/..

6

Eradication success for non-tuberculous mycobacteria in chi..:

Hughes, Dominic A. ; Bokobza, Idan ; Carr, Siobhán B.
European Respiratory Journal. 57 (2021) 5 - p. 2003636 , 2021

Link: https://doi.org/10.1183/..

7

Combinatorial proofs and decomposition theorems for first-o..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Hughes, Dominic J. D. ; Straßburger, Lutz ; Wu, Jui-Hsuan - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

8

Unsupervised Extractive Text Summarization with Distance-Au..:

, In: Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval,

Liu, Jingzhou ; Hughes, Dominic J. D. ; Yang, Yiming - p. 2313-2317 , 2021

Link: https://dl.acm.org/doi/1..

9

Intuitionistic proofs without syntax:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Heijltjes, Willem B. ; Hughes, Dominic J. D. ; Straßburger, Lutz - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

10

Unification nets : canonical proof net quantifiers:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Hughes, Dominic J. D. - p. 540-549 , 2018

Link: https://dl.acm.org/doi/1..

11

King's Variceal Prediction Score: A Novel Noninvasive Marke..:

Witters, Peter ; Hughes, Dominic ; Karthikeyan, Palaniswamy...
Journal of Pediatric Gastroenterology and Nutrition. 64 (2017) 4 - p. 518-523 , 2017

Link: https://doi.org/10.1097/..

12

Conflict nets : Efficient locally canonical MALL proof n..:

, In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science,

Hughes, Dominic ; Heijltjes, Willem - p. 437-446 , 2016

Link: https://dl.acm.org/doi/1..

13

Complexity Bounds for Sum-Product Logic via Additive Proof ..:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Heijltjes, Willem ; Hughes, Dominic J. D. - p. 80-91 , 2015

Link: https://dl.acm.org/doi/1..

14

Simple free star-autonomous categories and full coherence:

Hughes, Dominic J.D.
Journal of Pure and Applied Algebra. 216 (2012) 11 - p. 2386-2410 , 2012

Link: https://doi.org/10.1016/..

15

Delayed Hepato-Spleno-Renal Bypass for Renal Salvage Follow..:

Hamish, Maher ; Geroulakos, George ; Hughes, Dominic A....
Journal of Endovascular Therapy. 17 (2010) 3 - p. 326-331 , 2010

Link: https://doi.org/10.1583/..