Research output per year
Research output per year
Search results
-
2020
The challenges and prospects of the intersection of humanities and data science: A White Paper from The Alan Turing Institute.
McGillivray, B., Alex, B., Ames, S., Armstrong, G., Beavan, D., Ciula, A., Colavizza, G., Cummings, J., David, D. R., Farquhar, A., Hengchen, S., Lang, A., Loxley, J., Goudarouli, E., Nanni, F., Nini, A., Nyhan, J., Osborne, N., Poibeau, T., Ridge, M., & 5 others, Aug 2020, The Alan Turing Institute, p. 1, 30 p.Research output: Working paper › Discussion paper
Open Access -
2014
Minimal information for reusable scientific software
Chue Hong, N., 21 Jul 2014.Research output: Working paper › Discussion paper
Open AccessFile -
2000
Automatic guidance of program synthesis proofs
Bundy, A., 2000, (Unpublished).Research output: Working paper › Discussion paper
File -
1998
Adversarial Planning in Complex Domains
Willmott, S., Bundy, A., Levine, J. & Richardson, J., 1998, (Unpublished) (DAI Research Paper No.889).Research output: Working paper › Discussion paper
File -
1996
Rippling: greatest hits
Bundy, A., 4 Apr 1996, (Unpublished).Research output: Working paper › Discussion paper
File -
1992
How to solve it by induction
Bundy, A., Aug 1992, (Unpublished) (DAI Research Paper 600).Research output: Working paper › Discussion paper
File -
1976
The role of inference in the solving of mechanics problems
Bundy, A., 1976, (Unpublished) (DAI Working Paper No. 16).Research output: Working paper › Discussion paper
File