Research Output

A local scale dynamic stock model for high resolution thermal demand

Simpson, S. A., Jenkins, D. P. & Patidar, S., Jun 2014.

Research output: Contribution to conferencePaper

A logically saturated extension of λ¯μμ~

Mamane, L. E., Geuvers, H. & McKinna, J., 2009, Intelligent Computer Mathematics. CICM 2009. Springer, p. 405-421 17 p. (Lecture Notes in Computer Science; vol. 5625).

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

A logic-based integration of active and deductive databases

Fernandes, A. A. A., Williams, H. & Paton, N. W., 1997, In : New Generation Computing. 15, 2, p. 205-244 40 p.

Research output: Contribution to journalArticle

21 Citations (Scopus)

A lower bound for the power of periodic solutions of the defocusing discrete nonlinear Schrödinger equation

Cuevas, J., Eilbeck, J. & Karachalios, N., Mar 2008, In : Dynamics of Partial Differential Equations. 5, 1, p. 69-85 17 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

A low frequency potential scattering description of acoustic propagation in dispersions

Harlen, O. G., Povey, M. J. W., Qiu, Y. & Sleeman, B. D., 2001, In : SIAM Journal on Applied Mathematics. 61, p. 1906-1931 26 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

Alterations in proteolytic activity at low pH and its association with invasion: A theoretical model

Webb, S. D., Sherratt, J. A. & Fish, R. G., 1999, In : Clinical and Experimental Metastasis. 17, 5, p. 397-407 11 p.

Research output: Contribution to journalArticle

46 Citations (Scopus)
2 Citations (Scopus)

Alternative spatial growth and decay for constrained motion in an elastic cylinder

Knops, R. J. & Payne, L. E., Jun 2005, In : Mathematics and Mechanics of Solids. 10, 3, p. 281-310 30 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)

AM: a case study in AI methodology

Ritchie, G. D. & Hanna, F. K., Aug 1984, In : Artificial Intelligence. 23, 3, p. 249-268 20 p.

Research output: Contribution to journalArticle

A machine-checked proof of the average-case complexity of quicksort in coq

Van Der Weegen, E. & McKinna, J., 2009, Types for Proofs and Programs. TYPES 2008. Springer, p. 256-271 16 p. (Lecture Notes in Computer Science; vol. 5497).

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

4 Citations (Scopus)

A macroscopic model of phase coarsening

Hills, R. N. & Roberts, P. H., 1990, In : International Journal of Non-Linear Mechanics. 25, 4, p. 319-329 11 p.

Research output: Contribution to journalArticle

A mathematical biologist’s guide to absolute and convective instability

Sherratt, J. A., Dagbovie, A. S. & Hilker, F. M., 1 Jan 2014, In : Bulletin of Mathematical Biology. 76, 1, p. 1-26 26 p.

Research output: Contribution to journalLiterature review

16 Citations (Scopus)

A Mathematical model for collagen fibre formation during foetal and adult dermal wound healing.

Dale, P. D., Sherratt, J. A. & Maini, P. K., 1996, In : Proceedings of the Royal Society B: Biological Sciences. 263, p. 653-660 8 p.

Research output: Contribution to journalArticle

60 Citations (Scopus)

A mathematical model for diffusion-induced grain boundary motion

Penrose, O., 2003, Free Boundary Problems: Theory and Applications. Vol. 147. p. 237-254 18 p. (ISNM International Series of Numerical Mathematics; vol. 147).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

A Mathematical Model for Fibroblast and Collagen Orientation

Dallon, J. C. & Sherratt, J. A., 1998, In : Bulletin of Mathematical Biology. 60, p. 101-129 29 p.

Research output: Contribution to journalArticle

39 Citations (Scopus)

A mathematical model for fibro-proliferative wound healing disorders.

Olsen, L., Sherratt, J. A. & Maini, P. K., 1996, In : Bulletin of Mathematical Biology. 58, p. 787-808 22 p.

Research output: Contribution to journalArticle

33 Citations (Scopus)

A Mathematical Model for Flash Sintering

Hewitt, I. J., Lacey, A. A. & Todd, R. I., 2 Oct 2015, In : Mathematical Modelling of Natural Phenomena. 10, 6, p. 77-89 13 p.

Research output: Contribution to journalArticle

Open Access
File
20 Citations (Scopus)
38 Downloads (Pure)

A mathematical model for lymphangiogenesis in normal and diabetic wounds

Bianchi, A., Painter, K. J. & Sherratt, J. A., 21 Oct 2015, In : Journal of Theoretical Biology. 383, p. 61-86 26 p.

Research output: Contribution to journalArticle

Open Access
File
9 Citations (Scopus)
69 Downloads (Pure)

A mathematical model for modulated differential scanning calorimetry

Lacey, A. A., Nikolopoulos, C. & Reading, M., 1997, In : Journal of Thermal Analysis. 50, 1-2, p. 279-333 55 p.

Research output: Contribution to journalArticle

49 Citations (Scopus)

A mathematical model for pattern formation in biological systems

Catalano, G., Eilbeck, J. C., Monroy, A. & Parisi, E., Aug 1981, In : Physica D: Nonlinear Phenomena. 3, 3, p. 439-456 18 p.

Research output: Contribution to journalArticle

A mathematical model for spatially varying extracellular matrix alignment

Dallon, J. C. & Sherratt, J. A., Aug 2000, In : SIAM Journal on Applied Mathematics. 61, 2, p. 506-527 22 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)
79 Citations (Scopus)

A mathematical model of Alzheimer's disease and the ApoE gene

Macdonald, A. S. & Pritchard, D., 2000, In : ASTIN Bulletin: The Journal of the IAA. 30, p. 69-110 42 p.

Research output: Contribution to journalArticle

18 Citations (Scopus)

A mathematical model of serious and minor criminal activity

Lacey, A. A. & Tsardakas, M., Jun 2016, In : European Journal of Applied Mathematics. 27, 3, p. 403-421 19 p.

Research output: Contribution to journalArticle

Open Access
File
3 Citations (Scopus)
63 Downloads (Pure)

A Mathematical Model of the Rainwater Flows in a Green Roof

Adley, C., Cooker, M., Fay, G., Hewitt, I., Lacey, A. A., Melgrem, N., Robinson, M. & Vynnycky, M., 2014, In : Mathematics-in-Industry Case Studies. 6, p. 1-21 21 p.

Research output: Contribution to journalArticle

Open Access
File
53 Downloads (Pure)

A matrix model for a noncommutative formulation of the D = 11 supermembrane compactified torus

Boulton, L., García del Moral, M. P., Martín, I. & Restuccia, A., Nov 2003, In : Revista Mexicana de Fisica. 49, Suppl. 3, p. 108-110 3 p.

Research output: Contribution to journalArticle

A maximum likelihood estimation framework for delay logistic differential equation model

Mahmoud, A. A., Dass, S. C. & Muthuvalu, M. S., 1 Nov 2016, In : AIP Conference Proceedings. 1787, 1, 080001.

Research output: Contribution to journalArticle

A maximum likelihood estimation framework for the exponential Differential Equation Model

Mahmoud, A. A., Dass, S. C. & Muthuvalu, M. S., 11 Jan 2016, 2015 International Conference on Computer, Control, Informatics and its Applications (IC3INA). Latifah, A. L. (ed.). IEEE, p. 23-27 5 p.

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

1 Citation (Scopus)

Ambient and wearable sensing for gait classification in pervasive healthcare environments

ElSayed, M., Alsebai, A., Salaheldin, A., El Gayar, N. & ElHelw, M., 23 Aug 2010, 12th IEEE International Conference on e-Health Networking, Application and Services. IEEE, 5556563

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

5 Citations (Scopus)

Ambient Assisted Living and Ambient Intelligence for Health

Caballero-Gil, P., Georgieva, L., Brankovic, L. & Burmester, M., 20 Jun 2018, In : Mobile Information Systems. 2018, 7560465.

Research output: Contribution to journalEditorial

Open Access
File
2 Citations (Scopus)
16 Downloads (Pure)

A mean-field equation of motion for the dynamic Ising model

Penrose, O., Jun 1991, In : Journal of Statistical Physics. 63, 5-6, p. 975-986 12 p.

Research output: Contribution to journalArticle

A measure of surface variability in the lamina cribrosa in glaucoma

Morgan-Davis, J., Taylor, N. K., Aspinall, P. A. & Azuarro-Blanco, A., 2002.

Research output: Contribution to conferencePaper

A mechanistic model of gas-condensate flow in pores

Jamiolahmady, M., Danesh, A., Tehrani, D. H. & Duncan, D. B., Oct 2000, In : Transport in Porous Media. 41, 1, p. 17-46 30 p.

Research output: Contribution to journalArticle

54 Citations (Scopus)

A mechanistic spatio-temporal framework for modelling individual-to-individual transmission—With an application to the 2014-2015 West Africa Ebola outbreak

Lau, M. S. Y., Gibson, G. J., Adrakey, H., McClelland, A., Riley, S., Zelner, J., Streftaris, G., Funk, S., Metcalf, J., Dalziel, B. D. & Grenfell, B. T., 30 Oct 2017, In : PLOS Computational Biology. 13, 10, e1005798.

Research output: Contribution to journalArticle

Open Access
File
4 Citations (Scopus)
22 Downloads (Pure)

A mechanochemical model for adult dermal wound contraction: on the permanence of the contracted tissue displacement profile

Olsen, L., Sherratt, J. A. & Maini, P. K., 1995, In : Journal of Theoretical Biology. 177, p. 113-128 16 p.

Research output: Contribution to journalArticle

A median run length-based double-sampling X¯ chart with estimated parameters for minimizing the average sample size

Teoh, W. L., Khoo, M. B. C., Castagliola, P. & Chakraborti, S., Sep 2015, In : International Journal of Advanced Manufacturing Technology. 80, 1-4, p. 411-426 16 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

A memetic algorithm for dynamic economic load dispatch optimization

Orike, S. & Corne, D. W., 10 Oct 2013, Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Dynamic and Uncertain Environments, CIDUE 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013. p. 92-99 8 p. 6595777

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

6 Citations (Scopus)

A method for the investigation of free and protein-bound N-nitrosoproline in beer

Johnson, P., Pfab, J. & Massey, R. C., 1988, In : Food Additives and Contaminants. 5, 2, p. 119-125 7 p.

Research output: Contribution to journalArticle

A method of deforming G-structures

Bunk, S., Oct 2015, In : Journal of Geometry and Physics. 96, p. 72-80 9 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

A Method of Secret Coding technique on Two Star Graphs

Maheswari, G. U., Arthy, J. & Jabbar, S., 19 Feb 2020, In : International Journal of Computer Applications . 177, 39, p. 11-15

Research output: Contribution to journalArticle

Open Access
File
52 Downloads (Pure)

A methodology for eliciting expert knowledge in virtual engineering environments

Ritchie, J. M., Simmons, J., Dewar, R. G. & Carpenter, I. D., 1999, p. 285-290. 6 p.

Research output: Contribution to conferencePaper

A methodology for eliciting product and process expert knowledge in immersive virtual environments

Ritchie, J. M., Simmons, J., Dewar, R. G. & Carpenter, I. D., 1999, p. CD rom.

Research output: Contribution to conferencePaper

Open Access
File
2 Citations (Scopus)
25 Downloads (Pure)

A Model Based Architecture for Intelligent Interface Agents

Jing, Y., Taylor, N. K. & Brown, K. E., 2001, p. 169-174. 6 p.

Research output: Contribution to conferencePaper

4 Citations (Scopus)

A model for agent mobility and interaction.

Oes-Marques, M. S., Mariano, P., Correia, L., Ribeiro, R., Abramov, V., Goossenaerts, J., Chli, M. & De Wilde, P., 2003.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

A model for an electropaint process

Aitchison, J. M., Lacey, A. A. & Shillor, M., Jul 1984, In : IMA Journal of Applied Mathematics. 33, 1, p. 17-31 15 p.

Research output: Contribution to journalArticle

A model for coronary Heart Disease and Stroke Applications to Critical illness Insurance Underwriting I: The Model

Macdonald, A. S., Waters, H. R. & Wekwete, C. T., 2005, In : North American Actuarial Journal. 9, 1, p. 41-56 16 p.

Research output: Contribution to journalArticle

A Model for Coronary Heart Disease and Stroke with Applications to Critial Illness Insurance Underwriting II: Applications

Macdonald, A. S., Waters, H. R. & Wekwete, C. T., 2005, In : North American Actuarial Journal. 9, 1, p. 13-40 28 p.

Research output: Contribution to journalArticle

A model for digital business ecosystem and topological analysis

Wang, J. & De Wilde, P., 2008, Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008. LOS ALAMITOS: IEEE, Vol. 2. p. 603-604 2 p.

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

2 Citations (Scopus)