We investigate the first order predicate logic of probability and establish the game theoretic tools to prove that this language does not support unnesting of the probability operator. This is contrasted with the probabilistic propositional logic where an unnesting algorithm exists.

In combinatorics there is a well-known duality between non-nesting and non-crossing objects. In algebra there are many objects which are standard, for example Standard Young Tableaux, Standard Monomials, Standard Bitableaux. We adopt a point of view that these standard objects are really non-nesting, and we find their non-crossing counterparts.

A significant correlation was shown in Rockland-Swiss albino mice between the number of fetuses and maternal nest-building performance as assessed by the amount of nesting material gathered into the cage. The greater the number of fetuses, the more nesting material was gathered. A significant correlation first appeared on Day 4 and was maintained until Day 18 of gestation.

So little is known about the early life history of leatherback turtles (Dermochelys coriacea) from hatchling to adulthood that this period has been termed the 'lost years'. For critically endangered eastern Pacific leatherback populations, continued and rapid declines underscore the urgent need to develop conservation strategies across all life stages. We investigate leatherback hatchling dispe...

Housing conditions represent an important environmental variable playing a critical role in the assessment of mouse behaviour. In the present study the effects of isolation and nesting material on the behaviour of female C57BL/6J mice were evaluated. The mice were subjected to different rearing conditions from weaning (at the age of 3 weeks). The study groups were group- and single-housed mice,...