Bila E
(2020)
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
in Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
Krolewiecki A
(2022)
An adaptive phase II/III safety and efficacy randomized controlled trial of single day or three-day fixed-dose albendazole-ivermectin co-formulation versus albendazole for the treatment of Trichuris trichiura and other STH infections. ALIVE trial protocol.
in Gates open research
Bocchi L
(2022)
The Reversible Temporal Process Language
in Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
Hennigan B
(2016)
Discordance Between Resting and Hyperemic Indices of Coronary Stenosis Severity: The VERIFY 2 Study (A Comparative Study of Resting Coronary Pressure Gradient, Instantaneous Wave-Free Ratio and Fractional Flow Reserve in an Unselected Population Referred for Invasive Angiography).
in Circulation. Cardiovascular interventions
GBD 2017 Risk Factor Collaborators
(2018)
Global, regional, and national comparative risk assessment of 84 behavioural, environmental and occupational, and metabolic risks or clusters of risks for 195 countries and territories, 1990-2017: a systematic analysis for the Global Burden of Disease Study 2017.
in Lancet (London, England)
Mok DK
(2011)
Franck-Condon simulation, including anharmonicity, of the photodetachment spectrum of P2H(-): restricted-spin coupled-cluster single-double plus perturbative triple and unrestricted-spin coupled-cluster single-double plus perturbative triple -F12x potential energy functions of P2H and P2H(-).
in The Journal of chemical physics
Campello V
(2020)
Combining Multi-Sequence and Synthetic Images for Improved Segmentation of Late Gadolinium Enhancement Cardiac MRI
in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
Bila E
(2020)
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
in Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
Chartsias A
(2020)
Multimodal Cardiac Segmentation Using Disentangled Representation Learning
in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
Mathiot P
(2017)
Explicit representation and parametrised impacts of under ice shelf seas in the <i>z</i><sup>*</sup> coordinate ocean model NEMO 3.6
in Geoscientific Model Development
GBD 2017 Risk Factor Collaborators
(2018)
Global, regional, and national comparative risk assessment of 84 behavioural, environmental and occupational, and metabolic risks or clusters of risks for 195 countries and territories, 1990-2017: a systematic analysis for the Global Burden of Disease Study 2017.
in Lancet (London, England)
Mok DK
(2011)
Franck-Condon simulation, including anharmonicity, of the photodetachment spectrum of P2H(-): restricted-spin coupled-cluster single-double plus perturbative triple and unrestricted-spin coupled-cluster single-double plus perturbative triple -F12x potential energy functions of P2H and P2H(-).
in The Journal of chemical physics