1. |
| Professor A Bundy | University of Edinburgh | Ontology Evolution in Physics | 381,408 |
2. |
| Professor M Gordon | University of Cambridge | Expressive Multi-theory Reasoning for Interactive Verification | 247,158 |
3. |
| Professor LC Paulson | University of Cambridge | Automated Formal Proofs for Polynomial and Transcendental Problems | 86,405 |
4. |
| Professor A Tyrrell | University of York | Self-healing Cellular Architectures for Biologically-inspired Highly Reliable Electronic Systems | 393,001 |
4. |
| Professor AG Pipe | University of the West of England | Self-healing Cellular Architectures for Biologically-inspired Highly Reliable Electronic Systems | 387,649 |
5. |
| Professor J Ming | Queen's University of Belfast | Corpus-Based Speech Separation | 312,394 |
6. |
| Dr M Lapata | University of Edinburgh | Global Inference for Summarization Using Integer Linear Programming | 269,809 |
7. |
| Professor RJ Langley | University of Sheffield | MINIATURISED LOW FREQUENCY ANTENNAS INTEGRATED WITH BAND GAP STRUCTURES | 317,985 |
8. |
| Professor I Horrocks | University of Oxford | HermiT: Reasoning with Large Ontologies | 480,412 |
9. |
| Dr I Pratt-Hartmann | The University of Manchester | Arithmetic Circuits in Mathematical Logic | 40,055 |
10. |
| Dr B coecke | University of Oxford | Complexity and Decidability in Unconventional Computational Models | 174,422 |
11. |
| Professor H Broersma | Durham University | Structural Vulnerability Measures for Networks and Graphs | 493,476 |
12. |
| Professor B Mulgrew | University of Edinburgh | Exploiting Diversity Gain Through MIMO Radar and Sonar Signal Processing | 193,786 |
12. |
| Professor Y Petillot | Heriot-Watt University | Exploiting Diversity Gain Through MIMO Radar and Sonar Signal Processing | 96,500 |
13. |
| | | Financial Deferral | |
14. |
| | | Financial Deferral | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
18. |
| | | Not Funded | |
19. |
| | | Not Funded | |
19. |
| | | Not Funded | |
20. |
| | | Not Funded | |
21. |
| | | Not Funded | |
21. |
| | | Not Funded | |
22. |
| | | Not Funded | |
23. |
| | | Not Funded | |
24. |
| | | Not Funded | |
25. |
| | | Not Funded | |
25. |
| | | Not Funded | |
25. |
| | | Not Funded | |
26. |
| | | Not Funded | |
27. |
| | | Not Funded | |
28. |
| | | Not Funded | |
29. |
| | | Not Funded | |
30. |
| | | Not Funded | |
30. |
| | | Not Funded | |
31. |
| | | Not Funded | |
31. |
| | | Not Funded | |
32. |
| | | Not Funded | |
33. |
| | | Not Funded | |
33. |
| | | Not Funded | |
34. |
| | | Not Funded | |
35. |
| | | Not Funded | |
36. |
| | | Not Funded | |
37. |
| | | Not Funded | |
38. |
| | | Not Funded | |
38. |
| | | Not Funded | |
39. |
| | | Not Funded | |
40. |
| | | Not Funded | |
40. |
| | | Not Funded | |
41. |
| | | Not Funded | |
42. |
| | | Not Funded | |
43. |
| | | Not Funded | |
44. |
| | | Not Funded | |
45. |
| | | Not Funded | |
45. |
| | | Not Funded | |
46. |
| | | Not Funded | |
47. |
| | | Not Funded | |
48. |
| | | Not Funded | |
49. |
| | | Not Funded | |
0. |
| | | Invited Resubmission | |
0. |
| | | Invited Resubmission | |
0. |
| | | Deferred For Additional Reviewers | |