Tom W. Kelsey

23 papers A 7B 2Misc 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cross-domain neural alignment (CDNA): A deep supervised domain adaptation in human activity recognition using device-free sensing.
Multim. Tools Appl.
Muhammad Hassan, Tom W. Kelsey, Andrea Rosales Sanabria, Juan Ye
2024 J jnl
The prospect of artificial intelligence to personalize assisted reproductive technology.
npj Digit. Medicine
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
2020 J jnl
Efficient identification of patients eligible for clinical studies using case-based reasoning on Scottish Health Research register (SHARE).
BMC Medical Informatics Decis. Mak.
Wen Shi, Tom W. Kelsey, Frank M. Sullivan
2014 — conf
Web-Scale Distributed eScience AI Search across Disconnected and Heterogeneous Infrastructures.
eScience
Tom W. Kelsey, Martin McCaffery, Lars Kotthoff
2012 J jnl
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures
CoRR
Lars Kotthoff, Tom W. Kelsey, Martin McCaffery
2012 A conf
The Semigroups of Order 10.
CP
Andreas Distler, Christopher Jefferson, Tom W. Kelsey, Lars Kotthoff
2011 Misc conf
Exact Closest String as a Constraint Satisfaction Problem.
ICCS
Tom W. Kelsey, Lars Kotthoff
2010 J jnl
The Exact Closest String Problem as a Constraint Satisfaction Problem
CoRR
Tom W. Kelsey, Lars Kotthoff
2009 J jnl
The monoids of orders eight, nine & ten.
Ann. Math. Artif. Intell.
Andreas Distler, Tom W. Kelsey
2008 — conf
The Monoids of Order Eight and Nine.
AISC/MKM/Calculemus
Andreas Distler, Tom W. Kelsey
2007 A conf
Groupoids and Conditional Symmetry.
CP
Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal
2007 J jnl
Search in the patience game 'Black Hole'.
AI Commun.
Ian P. Gent, Christopher Jefferson, Tom W. Kelsey, Inês Lynce, Ian Miguel, Peter Nightingale, Barbara M. Smith, Armagan Tarim
2005 A conf
Conditional Symmetry Breaking.
CP
Ian P. Gent, Tom W. Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith
2005 J jnl
Hidden verification for computational mathematics.
J. Symb. Comput.
Hanne Gottliebsen, Tom W. Kelsey, Ursula Martin
2005 A conf
Symmetry and Consistency.
CP
Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal
2004 B conf
Design Verification for Control Engineering.
IFM
Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin
2004 Misc conf
New Developments in Symmetry Breaking in Search Using Computational Group Theory.
AISC
Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal
2004 A conf
Tractable Symmetry Breaking Using Restricted Search Trees.
ECAI
Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton
2003 A conf
Generic SBDD Using Computational Group Theory.
CP
Ian P. Gent, Warwick Harvey, Tom W. Kelsey, Steve Linton
2002 A conf
Groups and Constraints: Symmetry Breaking during Search.
CP
Ian P. Gent, Warwick Harvey, Tom W. Kelsey
2001 — conf
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS.
TPHOLs
Andrew Adams, Martin Dunstan, Hanne Gottliebsen, Tom W. Kelsey, Ursula Martin, Sam Owre
1999 — conf
Formal Methods for Extensions to CAS.
World Congress on Formal Methods
Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton
1998 B conf
Lightweight Formal Methods for Computer Algebra Systems.
ISSAC
Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin