Tom Kelsey, PhD, FRSM
Senior Research fellow, University of St AndrewsSt Andrews, United Kingdom
Research field: Computer and Information Science
Computational Biology
Medical Informatics
AI Search
Casimir Forces
Publications
-
Book (5)
-
Andreas Distler, Tom Kelsey (2008) Intelligent Computer Mathematics, 61-76. In Springer Berlin Heidelberg.
-
Ian P. Gent, Tom Kelsey, S. A. Linton et al. (2007) Principles and Practice of Constraint Programming – CP 2007, 823-830. In Springer Berlin Heidelberg.
-
Ian P. Gent, Tom Kelsey, Steve Linton et al. (2005) Principles and Practice of Constraint Programming - CP 2005, 256-270. In Springer-Verlag.
-
Ian P. Gent, Tom Kelsey, Steve Linton et al. (2005) Principles and Practice of Constraint Programming - CP 2005, 271-285. In Springer-Verlag.
-
Martin Dunstan, Tom Kelsey, Steve Linton et al. (1998) Lightweight formal methods for computer algebra systems, 80-87. In ACM Press.
-
-
Conference Proceedings (7)
-
Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy et al. (2004) Design Verification for Control Engineering., 21-35. In IFM.
-
Tom Kelsey, Steve Linton, Colva M. Roney-Dougal (2004) New Developments in Symmetry Breaking in Search Using Computational Group Theory., 199-210. In AISC.
-
Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey et al. (2004) Tractable Symmetry Breaking Using Restricted Search Trees., 211-215. In ECAI.
-
Ian P. Gent, Warwick Harvey, Tom Kelsey et al. (2003) Generic SBDD Using Computational Group Theory., 333-347. In CP.
-
Ian P. Gent, Warwick Harvey, Tom Kelsey (2002) Groups and Constraints: Symmetry Breaking during Search., 415-430. In CP.
-
Andrew Adams, Martin Dunstan, Hanne Gottliebsen et al. (2001) Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS., 27-42. In TPHOLs.
-
Martin Dunstan, Tom Kelsey, Ursula Martin et al. (1999) Formal Methods for Extensions to CAS., 1758-1777. In World Congress on Formal Methods.
-
-
Journal Article (7)
-
T. Kelsey, B. Caserta, L. Castillo et al. (2010) Proliferating Cell Nuclear Antigen (PCNA) allows the automatic identification of follicles in microscopic images of human ovarian tissue, 99-105. In Pathology and Laboratory Medicine International 2010 (2).Download PDF (1.52 MB)
-
Andreas Distler, Tom Kelsey (2009) The Monoids of Orders Eight, Nine & Ten, 3-25. In Annals of Mathematics and Artificial Intelligence 56 (1).
-
Ian P. Gent, Christopher Jefferson, Tom Kelsey et al. (2007) Search in the patience game 'Black Hole'., 211-226. In AI Commun. 20 (3).
-
Hanne Gottliebsen, Tom Kelsey, Ursula Martin (2005) Hidden verification for computational mathematics, 539-567. In Journal of Symbolic Computation 39 (5).
-
W Hamish B Wallace, Angela B Thomson, Frank Saran et al. (2005) Predicting age of ovarian failure after radiation to a field that includes the ovaries., 738-44. In International journal of radiation oncology, biology, physics 62 (3).
-
W Hamish Wallace, Thomas W Kelsey (2004) Ovarian reserve and reproductive age may be determined from measurement of ovarian volume by transvaginal sonography., 1612-7. In Human reproduction (Oxford, England) 19 (7).Download PDF (152.37 KB)
-
W H B Wallace, A B Thomson, T W Kelsey (2003) The radiosensitivity of the human oocyte., 117-21. In Human reproduction (Oxford, England) 18 (1).Download PDF (118.64 KB)
-
Awards and Grants
-
Aug 2009A Constraint Solver Synthesiser View website
Biographical Information
No biographical information added yet.
CV
Professional Experience
2003 - Present
Senior Research fellow at University of St Andrews
St Andrews, United Kingdom
Classes taught:
Logic, Specification & Verification
AI
Machines & Computation
Data Encoding
Graphs & Algorithms
St Andrews, United Kingdom
Classes taught:
Logic, Specification & Verification
AI
Machines & Computation
Data Encoding
Graphs & Algorithms
Education
Oct 1995 - Dec 1999
Sep 1994 - Sep 1994
University of Dundee
in Dundee, United Kingdom
MSc
MSc
Sep 1991 - Jul 1994
Heriot-Watt University
in Edinburgh, United Kingdom
BSc
BSc
Contact Information
| Webpage: | www.cs.st-andrews.ac.uk/~tom/ |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Tom is a member of
- Not a member of any groups yet.
Public groups Tom is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more