Tom Kelsey - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2020

Efficient identification of patients eligible for clinical studies using case-based reasoning on Scottish Health Research register (SHARE)Wen Shi, Tom Kelsey, Frank Sullivan. midm, 20(1):70, 2020. [doi]

2014

Web-Scale Distributed eScience AI Search across Disconnected and Heterogeneous InfrastructuresTom Kelsey, Martin McCaffery, Lars Kotthoff. eScience 2014: 39-46 [doi]

2012

The Semigroups of Order 10Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff. cp 2012: 883-899 [doi]

2011

Exact Closest String as a Constraint Satisfaction ProblemTom Kelsey, Lars Kotthoff. procedia, 4:1062-1071, 2011. [doi]

2009

The monoids of orders eight, nine & tenAndreas Distler, Tom Kelsey. AMAI, 56(1):3-21, 2009. [doi]

2008

The Monoids of Order Eight and NineAndreas Distler, Tom Kelsey. AISC 2008: 61-76 [doi]

2007

Groupoids and Conditional SymmetryIan P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. Roney-Dougal. cp 2007: 823-830 [doi]

Search in the patience game Black Hole Ian P. Gent, Christopher Jefferson, Tom Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim. aicom, 20(3):211-226, 2007. [doi]

2005

2004

2003

Generic SBDD Using Computational Group TheoryIan P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton. cp 2003: 333-347 [doi]

2002

Groups and Constraints: Symmetry Breaking during SearchIan P. Gent, Warwick Harvey, Tom Kelsey. cp 2002: 415-430 [doi]

2001

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVSAndrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom Kelsey, Ursula Martin, Sam Owre. tphol 2001: 27-42 [doi]

1999

Formal Methods for Extensions to CASMartin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton. FM 1999: 1758-1777 [doi]

1998

Lightweight Formal Methods for Computer Algebra SystemsMartin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin. issac 1998: 80-87 [doi]

Sign in or sign up to see more results.

runs on WebDSL