Journal Article
| Johnston, BM and Jphnston, PR and Corney, SP and Kilpatrick, D, Non-Newtonian blood flow in human right coronary arteries: Transient simulations, Journal of Biomechanics, 39 pp. 1116-1128. ISSN 0021-9290 (2006) [Refereed Article] | |
| Johnston, PR and Kilpatrick, D, An asymptotic estimate for the effective radius of a concentric bipolar electrode, Mathematical Biosciencs, 161 pp. 65-82. ISSN 0025-5564 (1999) [Refereed Article] | |
| Delbourgo, R and Elliott, D and McAnally, DS, Dimensional renormalisation in [phi]3 theory: ladders and rainbows, Physics Review, 55D, (8) pp. 121-132. (1997) [Refereed Article] | |
| Benilov, ES and Sakov, PV, Dynamics of large-amplitude geostrophic flows over bottom topography, Nonlinear Processes in Geophysics, 4, (1) pp. 55-62. (1997) [Refereed Article] | |
| Holmes, WN, 0 and Counting, Mathematics Today, 32, (5/6) pp. 96. (1996) [Letter or Note in Journal] | |
| Fearnley-Sander, DP, Automated Theorem Proving and Its Prospects, PSYCHE:An Interdisciplinary Journal of Research on Consciousness, 2, (28) pp. 1-9. (1996) [Letter or Note in Journal] | |
| Benilov, ES, Beta induced translations of strong isolated eddies, Journal of Physical Oceanography, 26 pp. 223-229. (1996) [Refereed Article] | |
| Wotherspoon, SJ and Donaldson, JD, Finite differences and internal tides-representing the boundary, Deep-Sea Research I, 43, (6) pp. 949-958. (1996) [Refereed Article] | |
| Johnston, PR, Second order Overhouser elements for boundary element analysis, Mathematical and Computer Modelling, 23, (5) pp. 61-74. (1996) [Refereed Article] | |
| Blest, DC and Hallam, CB, The Design of Dice, Mathematics Today, 32, (1/2) pp. 8-13. (1996) [Refereed Article] | |
| Fearnley-Sander, DP, Book Review: QUAIFE, A. Automated Development of Fundamental Mathematical Theories, Kluwer Academic Publishers (1992), The Australian Computer Journal, 27, (1) pp. 29. (1995) [Letter or Note in Journal] | |
| Leon de la Barra, BA, On Undershoot in Siso Systems, IEEE Transactions on Automatic Control pp. 578-581. ISSN 0018-9286 (1994) [Refereed Article] | |
Review
| Kelarev, AV, A method for the compact coding of an image (N.Sh.Dzhikiya), Mathematical Reviews, 2002, (j) pp. 1 (2002) [Review Single Work] | |
| Kelarev, AV, An algebraic construction of codes for Slepian-Wolf source networks (T.Uyematsu), Mathematical Reviews, 2002, (m) pp. 1 (2002) [Review Single Work] | |
| Kelarev, AV, Finite state automata (B. Steinberg), Mathematical Reviews, 2002, (c) pp. 1 (2002) [Review Single Work] | |
| Kelarev, AV, Mathematics of information and coding (T.S.Han, K.Kobayashi), Mathematical Reviews, 2002, (m) pp. 1 (2002) [Review Single Work] | |
Conference Publication
| Purdon, PJ, Equational reasoning with limited knowledge, Proceedings of the Sixth Asian Technology Conference in Mathematics, 15-19 December, 2001, Melbourne, pp. 399-407. ISBN 0 86459 1829 (2001) [Refereed Conference] | |
| Fearnley-Sander, DP, A logic of definitional reasoning, CATS'96, Melbourne, pp. 81-89. (1996) [Refereed Conference] | |
| Bulmer, M, Inductive Equational Reasoning, PRICAI'96, Cairns, pp. 13-22. (1996) [Refereed Conference] | |
| Bulmer, M, Inductive Theories from Equational Systems, ISIS'96, Melbourne, pp. 260-268. (1996) [Refereed Conference] | |
| Fearnley-Sander, DP, Reasoning as theorizing, Workshop at Pacific Rim International Conference on Artificial Intelligence, Brisbane, pp. 13-23. (1996) [Non Refereed Conference] | |
Thesis
Other Public Output
| Blest, DC, Maths: The Slippery Slope, Directions in Education, Australian Council for Educational Leaders, Australia, 14, 7 (2005) [Magazine Article] | |
This list was generated on Sun Nov 22 18:39:56 2009.
|
