Discovery - University of Dundee - Online Publications

Library & Learning Centre

College of Art, Science and Engineering

  1. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 23 Jun 2015 Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150, p. 227-242 16 p.

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

  2. Realizability models for a linear dependent PCF

    Brunel, A. & Gaboardi, M. 20 Jun 2015 In : Theoretical Computer Science. 585, p. 55-70 16 p.

    Research output: Contribution to journalArticle

  3. Hopf bifurcation in a gene regulatory network model: Molecular movement causes oscillations

    Chaplain, M., Ptashnyk, M. & Sturrock, M. 15 Jun 2015 In : Mathematical Models and Methods in Applied Sciences. 25, 6, p. 1179-1215 37 p.

    Research output: Contribution to journalArticle

  4. From coronal observations to MHD simulations, the building blocks for 3D models of solar flares (Invited Review)

    Janvier, M., Aulanier, G. & Démoulin, P. 10 Jun 2015 In : Solar Physics. 710

    Research output: Contribution to journalArticle

  5. Learning person-person interaction in collective activity recognition

    Chang, X., Zheng, W. S. & Zhang, J. 1 Jun 2015 In : IEEE Transactions on Image Processing. 24, 6, p. 1905-1918 14 p., 7055886

    Research output: Contribution to journalArticle

  6. Use of copper slag and washed copper slag as sand in concrete: a state-of-the-art review

    Lye, C. Q., Koh, S. K., Mangabhai, R. & Dhir, R. K. 1 Jun 2015 In : Magazine of Concrete Research. 67, 12, p. 665-679 15 p.

    Research output: Contribution to journalArticle

  7. A numerical study on the density driven circulation in the Yellow Sea Cold Water Mass

    Zhou, C., Dong, P. & Li, G. Jun 2015 In : Journal of Ocean University of China. 14, 3, p. 457-463 7 p.

    Research output: Contribution to journalArticle

  8. Editorial

    Knappett, J. Jun 2015 In : International Journal of Physical Modelling in Geotechnics. 15, 2, p. 58-59 2 p.

    Research output: Contribution to journalEditorial

  9. Individual variability analysis of fluorescence parameters measured in skin with different levels of nutritive blood flow

    Dunaev, A. V., Dremin, V. V., Zherebtsov, E. A., Rafailov, I. E., Litvinova, K. S., Palmer, S. G., Stewart, N. A., Sokolovski, S. G. & Rafailov, E. U. Jun 2015 In : Medical Engineering & Physics. 37, 6, p. 574-583 10 p.

    Research output: Contribution to journalArticle

  10. Multiscale modelling of cancer progression and treatment control: the role of intracellular heterogeneities in chemotherapy treatment

    Chaplain, M. A. J. & Powathil, G. G. Jun 2015 In : Biophysical Reviews and Letters. 10, 2, p. 97-114 18 p.

    Research output: Contribution to journalArticle

Previous 1...4 5 6 7 8 9 10 11 ...497 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy