CRC for Sheep Industry Innovation and the University of New England, Armidale, NSW 1 Department of Agriculture and Food of Western Australia, South Perth, Western Australia, 6151, Australia Institute of Agriculture, University of Western Australia, Crawley, Western Australia, 6009, Australia School of Veterinary and Biomedical Sciences, Murdoch University, Murdoch, Western Australia 6150, Austr...

a Nicholas School of the Environment, Duke University Marine Laboratory, Beaufort, NC, U.S.A. b Pratt School of Engineering, Duke University, Durham, NC, U.S.A. c Cetacean Research Unit, Murdoch University, Murdoch, WA, Australia d Department of Biology, Hopkins Marine Station, Stanford University, Monterey, CA, U.S.A. e Fisheries and Wildlife, Marine Mammal Institute, Oregon State University, ...

Nominal rewriting is based on the observation that if we add support for alphaequivalence to first-order syntax using the nominal-set approach, then systems with binding, including higher-order reduction schemes such as lambda-calculus betareduction, can be smoothly represented. Nominal rewriting maintains a strict distinction between variables of the objectlanguage (atoms) and of the meta-lang...

We study the spectra of certain integro-differential equations arising in applications. Under some conditions on the kernel of the integral operator, we describe the non-real part of the spectrum. MSC Primary: 45K05, 35P20.

A sea-breeze event in south-west Western Australia is simulated using the Regional Atmospheric Modelling System (RAMS) version 6.0. The model is evaluated against high resolution soundings as well as station observations and is shown to reproduce the qualitative features of the sea-breeze well. Sensitivity tests are carried out to investigate the effects of historical land-cover change and chan...

In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...

In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...

Iris Murdoch (1919–99) was a philosopher and novelist who wrote extensively on the themes of love, goodness, religion, morality. In this article, we explore her notion ‘moral vision’; idea that morality is not just about how act make choices, but see world in much broader sense.