|< 5 6 7 8 9 >|
CSV
publication icon
Puyol-Antón E (2020) Assessing the Impact of Blood Pressure on Cardiac Function Using Interpretable Biomarkers and Variational Autoencoders 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
publication icon
Qiu H (2020) Deep Learning for Cardiac Motion Estimation: Supervised vs. Unsupervised Training 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
publication icon
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
publication icon
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
publication icon
Lewis, L. "It's people's whole lives": Gender, class and the emotion work of user involvement in mental health services. Panel session, 'Service user and carer involvement in health services: organisational constraints in the gap between policy and practice'. in Seventh Biennial International Conference on Organisational Behaviour in Health Care, Mind the Gap: Policy and Practice in the Reform of Health Care, University of Birmingham.
publication icon
Kouzapas D (2015) Type Checking Privacy Policies in the p-calculus in Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
publication icon
Voinea A (2020) Typechecking Java Protocols with [St]Mungo 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
publication icon
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