Understanding the ability of koalas to respond to changes in their environment is critical for conservation of the species and their habitat. We monitored the behavioural response of koalas to declining food resources in manna gum (Eucalyptus viminalis) woodland at Cape Otway, Victoria, Australia, from September 2011 to November 2013. Over this period, koala population density increased from 10...

We apply the Painlevé test for integrability to the new discrete nonlinear Schrödinger equation introduced by Leon and Manna. Since the singular expansions of solutions of this equation turn out to contain non-dominant logarithmic terms, we conclude that the studied equation is nonintegrable. This result supports the recent observation of Levi and Yamilov that the Leon–Manna equation does not a...

The paper presents a, relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves on previous temporal systems, such as [MPS3a] and [MP83b]? in that it reduces the validity of progra,m properties into pure assertional reasoning, not involving additional tempora,l rea.soning. The proof system is based on the classific...