Thomas W. Kelsey

According to our database, Thomas W. Kelsey authored at least 30 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The prospect of artificial intelligence to personalize assisted reproductive technology.

Simon Hanassab, Ali Abbara, Arthur C. Yeung, Margaritis Voliotis, Krasimira Tsaneva-Atanasova, Tom W. Kelsey, Geoffrey H. Trew, Scott M. Nelson, Thomas Heinis, Waljit S. Dhillo

npj Digit. Medicine, 2024

2020

Efficient identification of patients eligible for clinical studies using case-based reasoning on Scottish Health Research register (SHARE).

Wen Shi, Tom W. Kelsey, Frank M. Sullivan

BMC Medical Informatics Decis. Mak., 2020

2019

Representation learning for minority and subtle activities in a smart home environment.

Andrea Rosales Sanabria, Thomas W. Kelsey, Simon Dobson, Juan Ye

J. Ambient Intell. Smart Environ., 2019

Representation Learning for Minority and Subtle Activities in a Smart Home Environment.

Andrea Rosales Sanabria, Thomas W. Kelsey, Juan Ye

Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

2014

Qualitative modelling via constraint programming.

Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent

Constraints An Int. J., 2014

Web-Scale Distributed eScience AI Search across Disconnected and Heterogeneous Infrastructures.

Tom W. Kelsey, Martin McCaffery, Lars Kotthoff

Proceedings of the 10th IEEE International Conference on e-Science, 2014

2013

Ovarian volume throughout life: a validated normative model

Thomas W. Kelsey, Sarah K. Dodwell, A. Graham Wilkinson, Tine Greve, Claus Y. Andersen, Richard A. Anderson, W. Hamish B. Wallace

CoRR, 2013

2012

Qualitative Modelling via Constraint Programming: Past, Present and Future

Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent

CoRR, 2012

A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures

Lars Kotthoff, Tom W. Kelsey, Martin McCaffery

CoRR, 2012

The Semigroups of Order 10.

Andreas Distler, Christopher Jefferson, Tom W. Kelsey, Lars Kotthoff

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Exact Closest String as a Constraint Satisfaction Problem.

Tom W. Kelsey, Lars Kotthoff

Proceedings of the International Conference on Computational Science, 2011

2010

Proliferating cell nuclear antigen (PCNA) allows the automatic identification of follicles in microscopic images of human ovarian tissue

Thomas W. Kelsey, Benedicta Caserta, Luis Castillo, W. Hamish B. Wallace, Francisco Cóppola Gonzálvez

CoRR, 2010

The Exact Closest String Problem as a Constraint Satisfaction Problem

Tom W. Kelsey, Lars Kotthoff

CoRR, 2010

Machine science in biomedicine: Practicalities, pitfalls and potential.

Thomas W. Kelsey, W. Hamish B. Wallace

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010

2009

The monoids of orders eight, nine & ten.

Andreas Distler, Tom W. Kelsey

Ann. Math. Artif. Intell., 2009

Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media.

C. Xiong, Thomas W. Kelsey, Stephen A. Linton, Ulf Leonhardt

Proceedings of the Computer Mathematics, 2009

2008

The Monoids of Order Eight and Nine.

Andreas Distler, Tom W. Kelsey

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Search in the patience game 'Black Hole'.

Ian P. Gent, Christopher Jefferson, Tom W. Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim

AI Commun., 2007

Groupoids and Conditional Symmetry.

Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal

Proceedings of the Principles and Practice of Constraint Programming, 2007

2005

Hidden verification for computational mathematics.

Hanne Gottliebsen, Tom W. Kelsey, Ursula Martin

J. Symb. Comput., 2005

Symmetry and Consistency.

Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal

Proceedings of the Principles and Practice of Constraint Programming, 2005

Conditional Symmetry Breaking.

Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Design Verification for Control Engineering.

Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Tractable Symmetry Breaking Using Restricted Search Trees.

Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

New Developments in Symmetry Breaking in Search Using Computational Group Theory.

Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

Generic SBDD Using Computational Group Theory.

Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Groups and Constraints: Symmetry Breaking during Search.

Ian P. Gent, Warwick Harvey, Tom W. Kelsey

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.

Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom W. Kelsey, Ursula Martin, Sam Owre

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

Formal Methods for Extensions to CAS.

Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton

Proceedings of the FM'99 - Formal Methods, 1999

1998

Lightweight Formal Methods for Computer Algebra Systems.

Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998