Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories

Autor: Dunne, Ciarán, Wells, J. B.

A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper presents Isabelle/HOL support for GSTs, which are treated as type classes t

Externí odkaz: http://arxiv.org/abs/2207.12039

Adding an Abstraction Barrier to ZF Set Theory

Autor: Dunne, Ciarán, Wells, J. B., Kamareddine, Fairouz

Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discourse contains only sets, and hence every mathematical object must be a s

Externí odkaz: http://arxiv.org/abs/2005.13954

HLA typing of multiple sclerosis and optic neuritis patients and a cohort of 250 unrelated donors in the genetically homogenous Irish population

Autor: Dunne, Ciaran

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.444478

Designing Microcurricula-as-a-service: The case of large class, cross programme, and online asynchronous module

Autor: Abgaz, Yalemisew, Dunne, Ciaran

Repurposing higher-education curriculum to tailor to the needs of learners is becoming common in response to recent societal and technological changes. Designing existing and new modules into microcurriculum is taking place with the objective of deli

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cedbe3d4a5ae981fad9c44f215c1c63

Association between rheumatoid arthritis disease activity, progression of functional limitation and long term risk of orthopaedic surgery:Combined analysis of two prospective cohorts supports EULAR treat to target (T2T) DAS thresholds

Autor: Nikiphorou, Elena, Norton, Sam, Young, Adam, Carpenter, Lewis, Dixey, Josh, Walsh, David Andrew, Kiely, Patrick, Davies, Paul, Hill, Lynn, Gough, Andrew, Devlin, Joe, Emery, Paul, Waterhouse, Lynn, James, David, Tate, Helen, Boys, Cathy, Williams, Peter, White, Dora, Dart, Helen, Cox, Nigel, Stafford, Sue, Winfield, John, Seymour, Annie, Williams, Richard, Blunn, Karina, McDowell, Jackie, Prouse, Peter, Andrews, Sheryl, Wilson, Deborah, Magliano, Malgorzata, Perks, Ursula, Coulson, Amanda, Hassle, Andrew, Kirwan, Michele, Leone, Francesca, Dunne, Ciaran, Hawley, Lindsey, Creamer, Paul, Taylor, Julie, Wilmott, Wendy, Knights, Sally, Rowland-Axe, Rebecca, Green, Sandra, Simmons, Dawn, David, Joel, Cox, Maureen, Bukhari, Marwan, Evans, Bronwen, Batley, Michael, Oram, Catherine, Potter, Tanya

Publikováno v: Nikiphorou, E, Norton, S, Young, A, Carpenter, L, Dixey, J, Walsh, D A, Kiely, P, Davies, P, Hill, L, Gough, A, Devlin, J, Emery, P, Waterhouse, L, James, D, Tate, H, Boys, C, Williams, P, White, D, Dart, H, Cox, N, Stafford, S, Winfield, J, Seymour, A, Williams, R, Blunn, K, McDowell, J, Prouse, P, Andrews, S, Wilson, D, Magliano, M, Perks, U, Coulson, A, Hassle, A, Kirwan, M, Leone, F, Dunne, C, Hawley, L, Creamer, P, Taylor, J, Wilmott, W, Knights, S, Rowland-Axe, R, Green, S, Simmons, D, David, J, Cox, M, Bukhari, M, Evans, B, Batley, M, Oram, C & Potter, T 2016, ' Association between rheumatoid arthritis disease activity, progression of functional limitation and long term risk of orthopaedic surgery : Combined analysis of two prospective cohorts supports EULAR treat to target (T2T) DAS thresholds ', Annals of the Rheumatic Diseases, vol. 75, no. 12, pp. 2080-2086 . https://doi.org/10.1136/annrheumdis-2015-208669

Objectives To examine the association between disease activity in early rheumatoid arthritis (RA), functional limitation and long-term orthopaedic episodes.Methods Health Assessment Questionnaire (HAQ) disability scores were collected from two longit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2761::33a603b44720c6ece8c4a374b690041b
https://kclpure.kcl.ac.uk/en/publications/c611e392-eb3c-4197-8fc1-6d6979f102d8