Tom Kelsey

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 1

Top Topics

Clinical Studies

Semi Structured

Top Venues

BMC Medical Informatics Decis. Mak.

Publications

Wen Shi, Tom Kelsey, Frank M. Sullivan
Efficient identification of patients eligible for clinical studies using case-based reasoning on Scottish Health Research register (SHARE). BMC Medical Informatics Decis. Mak. 20 (1) (2020)
Tom Kelsey, Martin McCaffery, Lars Kotthoff
Web-Scale Distributed eScience AI Search across Disconnected and Heterogeneous Infrastructures. eScience (2014)
Lars Kotthoff, Tom Kelsey, Martin McCaffery
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures CoRR (2012)
Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff
The Semigroups of Order 10. CP (2012)
Tom Kelsey, Lars Kotthoff
Exact Closest String as a Constraint Satisfaction Problem. ICCS (2011)
Tom Kelsey, Lars Kotthoff
The Exact Closest String Problem as a Constraint Satisfaction Problem CoRR (2010)
Andreas Distler, Tom Kelsey
The monoids of orders eight, nine & ten. Ann. Math. Artif. Intell. 56 (1) (2009)
Andreas Distler, Tom Kelsey
The Monoids of Order Eight and Nine. AISC/MKM/Calculemus (2008)
Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
Search in the patience game 'Black Hole'. AI Commun. 20 (3) (2007)
Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal
Groupoids and Conditional Symmetry. CP (2007)
Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
Symmetry and Consistency. CP (2005)
Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
Conditional Symmetry Breaking. CP (2005)
Hanne Gottliebsen, Tom Kelsey, Ursula Martin
Hidden verification for computational mathematics. J. Symb. Comput. 39 (5) (2005)
Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
New Developments in Symmetry Breaking in Search Using Computational Group Theory. AISC (2004)
Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Design Verification for Control Engineering. IFM (2004)
Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton
Tractable Symmetry Breaking Using Restricted Search Trees. ECAI (2004)
Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton
Generic SBDD Using Computational Group Theory. CP (2003)
Ian P. Gent, Warwick Harvey, Tom Kelsey
Groups and Constraints: Symmetry Breaking during Search. CP (2002)
Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. TPHOLs (2001)
Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton
Formal Methods for Extensions to CAS. World Congress on Formal Methods (1999)
Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin
Lightweight Formal Methods for Computer Algebra Systems. ISSAC (1998)