Research output per year
Research output per year
Project Details
| Acronym | A Constraint Solver Synthesiser |
|---|---|
| Status | Finished |
| Effective start/end date | 1/10/09 → 30/09/14 |
Funding
- EPSRC: £929,075.79
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This project contributes towards the following SDG(s):
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Automatically improving constraint models in Savile Row
Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. & Spracklen, P., Oct 2017, In: Artificial Intelligence. 251, p. 35-61 27 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Generalized support and formal development of constraint propagators
Caldwell, J. L., Gent, I. P. & Nightingale, P. W., 31 Aug 2017, In: AI Communications. 30, 5, p. 325-346Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Adult dental anxiety: recent assessment approaches and psychological management in a dental practice setting
Humphris, G. M., Spyt, J., Herbison, A. & Kelsey, T., May 2016, In: Dental Update. 43, 4, p. 388-394 7 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Activities
-
Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17) (Event)
Kelsey, T. (Panel Member)
1 Jun 2016 → 30 Mar 2017Activity: Membership types › Membership of peer review panel or committee
-
Mathematical modelling of the ovarian reserve
Kelsey, T. (Speaker)
3 Oct 2015Activity: Talk or presentation types › Invited talk
-
Fertility: Its biology and preservation
Kelsey, T. (Speaker)
11 May 2015 → 15 May 2015Activity: Talk or presentation types › Invited talk