Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters
2016

Proof nets and semi-*-autonomous categories

Heijltjes, W. & Strassburger, L., 1 Jun 2016, In : Mathematical Structures in Computer Science. 26, 5, p. 789-828 40 p.

Research output: Contribution to journalArticle

2014

No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete

Heijltjes, W. & Houston, R., 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. New York : Association for Computing Machinery, 10 p. 50

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
16 Citations (Scopus)
80 Downloads (Pure)
2016

Conflict nets: efficient locally canonical MALL proof nets

Hughes, D. & Heijltjes, W., 2 Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
6 Citations (Scopus)
86 Downloads (Pure)

Proof equivalence in MLL is PSPACE-complete

Heijltjes, W. & Houston, R., 31 Dec 2016, In : Logical Methods in Computer Science. 12, 1, p. 1-34 34 p.

Research output: Contribution to journalArticle

Open Access
4 Citations (Scopus)
43 Downloads (Pure)
2018

Detecting Sacral Nerve Signals For Artificial Bladder Control In Spinal Cord Injury: A New Cuff Electrode Design

Granger, N., Metcalfe, B., Grego, T., Sadrafshari, S., Donaldson, N. & Taylor, J., 2018.

Research output: Contribution to conferencePoster

Open Access
File
48 Downloads (Pure)
2020

Selective Recording of Urinary Bladder Fullness from the Extradural Sacral Roots

Metcalfe, B., Granger, N., Prager, J., Sadrafshari, S., Grego, T., Taylor, J. & Donaldson, N., 10 Apr 2020, (Acceptance date) Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Stochastic Methods for the Neutron Transport Equation II: Almost sure growth.

Horton, E., Kyprianou, A. & Harris, S., 4 Mar 2020, (Acceptance date) In : Annals of Applied Probability.

Research output: Contribution to journalArticle

Open Access
2016

A Logic for the Compliance Budget

Anderson, G., McCusker, G. & Pym, D., 2016, Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
90 Downloads (Pure)
2014

Individual motives for choosing self-employment in the UK: Does region matter?

Dawson, C., Henley, A. & Latrielle, P., May 2014, In : Regional Studies. 48, 5, p. 804-822 19 p.

Research output: Contribution to journalArticle

Open Access
File
18 Citations (Scopus)
129 Downloads (Pure)
2017
Open Access
File
7 Citations (Scopus)
239 Downloads (Pure)
2016

Absence management of migrant agency workers in the food manufacturing sector

Hopkins, B., Dawson, C. & Veliziotis, M., 2016, In : The International Journal of Human Resource Management. 27, 10, p. 1082-1100 20 p.

Research output: Contribution to journalArticle

Open Access
File
7 Citations (Scopus)
165 Downloads (Pure)
2019

Getting into the ‘Giving Habit’: The Dynamics of Volunteering in the UK

Dawson, C., Baker, P. & Dowell, D., 1 Oct 2019, In : Voluntas. 30, 5, p. 1006-1021 16 p.

Research output: Contribution to journalArticle

Open Access
3 Citations (Scopus)
2013

An initial assessment of the environmental impact of grocery products

Fisher, K., James, K., Sheane, R., Nippress, J., Allen, S. R., Cherruault, J., Fishwick, M., Lillywhite, R. & Sarrouy, C., Mar 2013, Banbury: Waste and Resources Action Programme. 135 p.

Research output: Book/ReportCommissioned report

Open Access

Residential Heat Pumps: POSTnote 426

Allen, S. R. & Wentworth, J., 16 Jan 2013, POST-PN-426 ed. London: Parliamentary Office of Science and Technology . 4 p. (POSTnotes)

Research output: Book/ReportCommissioned report

Open Access
2012

Measuring Energy Security: POSTnote 399

Allen, S. R., 23 Jan 2012, 399 ed. London: Parliamentary Office of Science and Technology . 4 p. (POSTnotes)

Research output: Book/ReportCommissioned report

Open Access
2020

Entrance laws at the origin of self-similar Markov processes in high dimensions

Kyprianou, A., Rivero Mercado, V., Sengul, B. & Yang, T., 3 Jul 2020, In : Transactions of the American Mathematical Society. 57 p.

Research output: Contribution to journalArticle

Open Access
File
8 Downloads (Pure)
2019

Intuitionistic proofs without syntax

Heijltjes, W., Hughes, D. & Strassburger, L., 6 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. IEEE, Vol. 2019. 13 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)
12 Downloads (Pure)

A gradient estimate for nonlocal minimal graphs

Cozzi, M. & Cabré, X., 1 Apr 2019, In : Duke Mathematical Journal. 168, 5, p. 775-848 74 p.

Research output: Contribution to journalArticle

Open Access
8 Citations (Scopus)

On the growth of nonlocal catenoids

Cozzi, M. & Valdinoci, E., 9 Jan 2019, (Acceptance date) In : Rendiconti Lincei. Matematica e Applicazioni.

Research output: Contribution to journalArticle

A games model of bunched implications

McCusker, G. & Pym, D., 2007, Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings. Duparc, J. & Henzinger, T. A. (eds.). Berlin, Germany: Springer, Vol. 4646. p. 573-588 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2002

A fully abstract relational model of syntactic control of interference

McCusker, G., 2002, Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Bradfield, J. (ed.). Berlin, Germany: Springer, Vol. 2471. p. 247-261

Research output: Chapter in Book/Report/Conference proceedingChapter

14 Citations (Scopus)
2019

How persistent is generalised trust?

Dawson, C., 1 Jun 2019, In : Sociology. 53, 3, p. 590-599 10 p.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)
33 Downloads (Pure)
2012

"Push" versus "pull" entrepreneurship: An ambiguous distinction?

Dawson, C. & Henley, A., Sep 2012, In : International Journal of Entrepreneurial Behaviour & Research. 18, 6, p. 697-719 22 p.

Research output: Contribution to journalArticle

89 Citations (Scopus)
2014

Understanding official data sources: Final report for the low pay commission

Ritchie, F., Whittard, D. & Dawson, C. G., 2014, Low Pay Commission. 106 p.

Research output: Book/ReportCommissioned report

1998

A fully abstract game semantics for general references

Abramsky, S., Honda, K. & McCusker, G., 1 Jan 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. IEEE, Vol. 1998-June. p. 334-344 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

121 Citations (Scopus)
2008

Entrepreneurial Aspirations and Activity amongst Students: A Comparative Study for Wales: Final Report to the Welsh Assembly Government

Henley, A., De Cock, C., Latreille, P., Dawson, C. G. & Humphreys, I., Oct 2008, Welsh Assembly.

Research output: Book/ReportCommissioned report

File
45 Downloads (Pure)
2013

Research360: Faculty-Industry Data Requirements Report

Pink, C. J., Cope, J., Jordan, K. M. & Jones, K., Jul 2013, (Unpublished) Bath: University of Bath. 50 p.

Research output: Book/ReportOther report

File
76 Downloads (Pure)
2010
69 Citations (Scopus)
2007

The influence of carbohydrate and protein ingestion during recovery from prolonged exercise on subsequent endurance performance

Betts, J., Williams, C., Duffy, K. & Gunner, F., 2007, In : Journal of Sports Sciences. 25, 13, p. 1449-1460 12 p.

Research output: Contribution to journalArticle

51 Citations (Scopus)
2012

Love, eye contact and the developmental origins of empathy v. psychopathy

Dadds, M. R., Allen, J. L., Oliver, B. R., Faulkner, N., Legge, K., Moul, C., Woolgar, M. & Scott, S., 1 Mar 2012, In : British Journal of Psychiatry. 200, 3, p. 191-196 6 p.

Research output: Contribution to journalArticle

77 Citations (Scopus)
2013

Prevention of anxiety disorders

Allen, J. L., Creswell, C. & Murray, L., 31 Dec 2013, Cognitive Behaviour Therapy for Children and Families, Third Edition. Cambridge University Press, p. 323-334 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
2008

Severe life events and chronic adversities as antecedents to anxiety in children: A matched control study

Allen, J. L., Rapee, R. M. & Sandberg, S., 1 Oct 2008, In : Journal of Abnormal Child Psychology. 36, 7, p. 1047-1056 10 p.

Research output: Contribution to journalArticle

42 Citations (Scopus)
2020

Disruptive behavior disorders

Allen, J. L., Hwang, S. & Huijding, J., 13 Jan 2020, The Encyclopedia of Child and Adolescent Development: Social Development in Adolescence. Hupp, S. & Jewell, J. (eds.). John Wiley and Sons Inc., Vol. 9. p. 1-13 13 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
2012

Research360 Progress Update

Cope, J. & Pink, C., 24 Oct 2012.

Research output: Contribution to conferencePoster

File
27 Downloads (Pure)

University of Bath Roadmap for EPSRC (Presentation)

Pink, C., 24 Oct 2012.

Research output: Contribution to conferenceOther

File
24 Downloads (Pure)
2016

Callous–unemotional (CU) traits in adolescent boys and response to teacher reward and discipline strategies

Allen, J. L., Morris, A. & Chhoa, C. Y., 2 Jul 2016, In : Emotional and Behavioural Difficulties. 21, 3, p. 329-342 14 p.

Research output: Contribution to journalArticle

Open Access
8 Citations (Scopus)
2012
21 Citations (Scopus)
2010

Maternal daily diary report in the assessment of childhood separation anxiety

Allen, J. L., Blatter-Meunier, J., Ursprung, A. & Schneider, S., 1 Mar 2010, In : Journal of Clinical Child and Adolescent Psychology. 39, 2, p. 252-259 8 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2017

To Your Health: health benefits of natural building materials

Walker, P., Thomson, A. & Maskell, D., 1 Nov 2017, New Carbon Architecture: Building to Cool the Planet. King, B. (ed.). New Society Publishers

Research output: Chapter in Book/Report/Conference proceedingChapter

2019

Straw bale construction

Maskell, D., Walker, P. & Thomson, A., 2019, Nonconventional and Vernacular Construction Materials: Characterisation, Properties and Applications. 2 ed. Woodhead Publishing, p. 189-216

Research output: Chapter in Book/Report/Conference proceedingChapter

2017

Intelligence

Allen, J., 24 Nov 2017, The Encyclopedia of Juvenile Delinquency and Justice. Wiley-Blackwell

Research output: Chapter in Book/Report/Conference proceedingChapter

2013
51 Citations (Scopus)
2014
Open Access
File
13 Citations (Scopus)
137 Downloads (Pure)
2004

The influence of carbohydrate-protein mixtures on recovery of endurance capacity

Betts, J. A., Williams, C., Grey, E. & Griffin, J., 2004, In : Medicine and Science in Sports and Exercise. 36, 5, p. S42-S42

Research output: Contribution to journalArticle

1 Citation (Scopus)
2011

Should protein be included in CHO-based sports supplements?

Betts, J. A. & Stevenson, E., Jul 2011, In : Medicine and Science in Sports and Exercise. 43, 7, p. 1244-1250 7 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)
2010

Carbohydrate and protein metabolism for endurance exercise: Where do we go from here?

Betts, J. A. & Zachwieja, J. J., May 2010, In : Medicine and Science in Sports and Exercise. 42, Supplement 1 5, p. 28 1 p.

Research output: Contribution to journalArticle

2020

Severely restricting energy intake for 24 h does not affect markers of bone metabolism markers at rest or in response to re-feeding

Clayton, D., James, L., Sale, C., Templeman, I., Betts, J. & Varley, I., 3 Feb 2020, In : European Journal of Nutrition.

Research output: Contribution to journalArticle

Open Access

The physiological responses to maximal eating in men: Physiological responses to maximal eating

Hengist, A., Edinburgh, R., Davies, R., Walhin, J-P., Buniam, J., James, L., Rogers, P. J., Gonzalez, J. & Betts, J., 6 Apr 2020, In : British Journal of Nutrition. p. 1-32

Research output: Contribution to journalArticle

Open Access
File
37 Downloads (Pure)