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: 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2009 | 2008
Number of items: 23.

2020

van Heerdt, Gerco and Kupke, Clemens and Rot, Jurriaan and Silva, Alexandra; Goubault-Larrecq, Jean and König, Barbara, eds. (2020) Learning weighted automata over principal ideal domains. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer, IRL, pp. 602-621. ISBN 978-3-030-45231-5

Kupke, Clemens and Rot, Jurriaan (2020) Expressive logics for coinductive predicates. In: Computer Science Logic, 2020-01-13 - 2020-01-16.

2019

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2019) Compositional game theory with mixed strategies : probabilistic open games using a distributive law. In: Applied category theory conference 2019, 2019-07-15 - 2019-07-19.

Barlocco, Simone and Kupke, Clemens and Rot, Jurriaan; Bojańczyk, Mikołaj and Simpson, Alex, eds. (2019) Coalgebra learning via duality. In: Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer, Cham, Switzerland, pp. 62-79. ISBN 9783030171278

Enqvist, Sebastian and Hansen, Helle Hvid and Kupke, Clemens and Venema, Yde and Marti, Johannes; (2019) Completeness for game logic. In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. ACM, New York, NY, CAN. (In Press)

2018

Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik (2018) A compositional treatment of iterated open games. Theoretical Computer Science, 741. pp. 48-57. ISSN 0304-3975

Hansen, Helle Hvid and Kupke, Clemens and Marti, Johannes and Venema, Yde; Madeira, Alexandre and Benevides, Mário, eds. (2018) Parity games and automata for game logic. In: Dynamic Logic. New Trends and Applications. Lecture Notes in Computer Science . Springer, Cham, pp. 115-132.

2017

Barlocco, Simone and Kupke, Clemens; Artemov, Sergei and Nerode, Anil, eds. (2017) Angluin learning via logic. In: Logical Foundations of Computer Science. Lecture Notes in Computer Science . Springer, USA, pp. 72-90. ISBN 9783319720555

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan (2017) Stream differential equations : specification formats and solution methods. Logical Methods in Computer Science, 13 (1). pp. 1-52. ISSN 1860-5974

2016

Bezhanishvili, Nick and Kupke, Clemens; Cantone, Domenico and Delzanno, Giorgio, eds. (2016) Games for topological fixpoint logic. In: Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification. Electronic Proceedings in Theoretical Computer Science, ITA, pp. 46-60.

2015

Hansen, Helle Hvid and Kupke, Clemens; Matthes, Ralph and Mio, Matteo, eds. (2015) Weak completeness of coalgebraic dynamic logics. In: Proceedings Tenth International Workshop on Fixed Points in Computer Science. Electronic Proceedings in Theoretical Computer Science, Berlin, pp. 90-104.

Kupke, Clemens and Pattinson, Dirk and Schröder, Lutz (2015) Reasoning with global assumptions in arithmetic modal logics. In: 20th International Symposium on Fundamentals of Computation Theory, 2015-08-17 - 2015-08-19.

2014

Kupke, Clemens and Hansen, Helle Hvid and Leal, Raul Andres; Diaz, Josep and Lanese, Ivan and Sangiorgi, Davide, eds. (2014) Strong completeness for iteration-free coalgebraic dynamic logics. In: Theoretical Computer Science. Lecture Notes in Computer Science, 8705 . Springer, pp. 281-295. ISBN 978-3-662-44601-0

Gottlob, Georg and Hernich, Andre and Kupke, Clemens and Lukasiewicz, Thomas; Baral, Chitta and De Giacomo, Giuseppe and Eiter, Thomas, eds. (2014) Stable model semantics for guarded existential rules and description logics. In: Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence (AAAI), 258−267. ISBN 9781577356578

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan and Winter, Joost; van Breugel, Frank and Kashefi, Elham and Palamidessi, Catuscia and Rutten, Jan, eds. (2014) A final coalgebra for k-regular sequences. In: Horizons of the Mind. Springer: Lecture Notes in Computer Science, pp. 363-383. ISBN 978-3-319-06879-4

2013

Cuenca Grau, Bernardo and Horrocks, Ian and Krötzsch, Markus and Kupke, Clemens and Magka, Despoina and Motik, Boris and Wang, Zhe (2013) Acyclicity notions for existential rules and their application to query answering in ontologies. Journal of Artificial Intelligence Research, 47. pp. 741-808. ISSN 1076-9757

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre; (2013) Well-Founded Semantics for Extended Datalog and Ontological Reasoning. In: Proceedings of the 32nd Symposium on Principles of Database Systems. ACM, New York, NY, New York, pp. 225-236. ISBN 978-1-4503-2066-5

2012

Bezhanishvili, N. and Kupke, Clemens and Panangaden, Prakash; Ong, Luke and de Queiroz, Ruy, eds. (2012) Minimization via duality. In: Logic, Language, Information and Computation. Lecture Notes in Computer Science, 7456 . Springer, ARG, pp. 191-205. ISBN 9783642326202

Kupke, Clemens and Kurz, Alexander and Venema, Yde (2012) Completeness for the coalgebraic cover modality. Logical Methods in Computer Science, 8 (3). 2. ISSN 1860-5974

Kupke, Clemens and Gottlob, Georg and Lukasiewicz, Thomas and Hernich, Andre; (2012) Equality-friendly well-founded semantics and applications to description logics. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI), CAN, pp. 757-764. ISBN 978-1-57735-568-7

2011

Cirstea, Corina and Kupke, Clemens and Pattinson, Dirk (2011) EXPTIME tableaux for the coalgebraic mu-calculus. Logical Methods in Computer Science, 7 (3). 3. ISSN 1860-5974

2009

Hansen, Helle Hvid and Kupke, Clemens and Pacuit, Eric (2009) Neighbourhood structures : bisimilarity and basic model theory. Logical Methods in Computer Science, 5 (2). 2. ISSN 1860-5974

2008

Kupke, Clemens and Venema, Yde (2008) Coalgebraic automata theory : basic results. Logical Methods in Computer Science, 4 (4). 10. ISSN 1860-5974

This list was generated on Fri Jul 10 10:04:14 2020 BST.