Picture of fish in sea

Open Access research that uses mathematical models to solve ecological problems...

Solving a variety of ecological and biological problems is the focus of marine population modelling research conducted within the Department of Mathematics & Statistics. Here research deploys mathematical models to better understanding issues relating to fish stock management, ecosystem dynamics, ocean currents, and the effects of multispecies interactions within diverse marine ecosystems.

Research work in marine population modelling interfaces with a number of other key research specialisms, including mathematical biology, epidemiology and statistical informatics, where investigations are improving human understanding of the behaviour of infectious diseases, particularly in relation to animal infections; but also the modelling of complex biological processes such as antibiotic prodcution in actinobacteria.

Explore some of the Open Access research from Mathematics & Statistics. Or explore all of Strathclyde's Open Access research...

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2019 | 2018 | 2017 | 2015
Number of items: 5.

2019

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2019) Quotienting the delay monad by weak bisimilarity. Mathematical Structures in Computer Science, 29 (1). pp. 67-92. ISSN 0960-1295

2018

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. In: International Conference on Functional Programming 2018, 2018-09-23 - 2018-09-29.

2017

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò (2017) Formalizing restriction categories. Journal of Formalized Reasoning, 10 (1). pp. 1-36. ISSN 1972-5787

Allais, Guillaume and Chapman, James and McBride, Conor and McKinna, James; Bertot, Yves and Vafeiadis, Viktor, eds. (2017) Type-and-scope safe programs and their proofs. In: CPP 2017. ACM, New York, NY, FRA. ISBN 9781450347051

2015

Chapman, James and Uustalu, Tarmo and Veltri, Niccolò; (2015) Quotienting the delay monad by weak bisimilarity. In: Theoretical Aspects of Computing - ICTAC 2015. Lecture Notes in Computer Science, 9399 . Springer, Switzerland, pp. 110-125. ISBN 978-3-319-25149-3

This list was generated on Thu Jul 9 00:42:05 2020 BST.