Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent and distri...

In genome-wide association studies, high-level statistical analyses rely on the validity of the called genotypes, and different genotype calling algorithms (GCAs) have been proposed. We compared the GCAs Bayesian robust linear modeling using Mahalanobis distance (BRLMM), Chiamo++, and JAPL using the autosomal single-nucleotide polymorphisms (SNPs) from the 500 k Affymetrix Array Set data of the...

Alarm calling is common in many species. A prevalent assumption is that calling puts the vocalizing individual at increased risk of predation. If calling is indeed costly, we need special explanations for its evolution and maintenance. In some, but not all species, callers vocalize away from safety and thus may be exposed to an increased risk of predation. However, for species that emit bouts w...

Drawing on research into telecommunications in the region by Helga Tawil-Souri (2013, 2015), this essay focuses literary, cultural and political implications of telephony Israel-Palestine. Analysing telephone Mourid Barghouti's I Saw Ramallah (2000) Was Born There, Here (2011), argue that memoirs exile are structured an impossible logic where picking up phone means not getting through. Demonstr...

The main aim of this work was to investigate the possibility that in territorial males of a species present throughout the year on their territory with their mate, there are manifest differences in the call functions within the call period. I listened monthly to dusk call displays of 17 Eagle Owl Bubo bubo males from early October to mid-February. Two different call periods exist in this specie...

Observations of alarm calling behaviour in putty-nosed monkeys are suggestive of a link with human language evolution. However, as is often the case in studies of animal behaviour and cognition, competing theories are under-determined by the available data. We argue that computational modelling, and in particular the use of individual-based simulations, is an effective way to reduce the size of...

The ability to modify vocalizations to compensate for environmental noise is critical for successful communication in a dynamic acoustic environment. Many marine species rely on sound for vital life functions including communication, navigation and feeding. The impacts of significant increases in ocean noise levels from human activities are a current area of concern for the conservation of mari...

This study provides redescriptions of two small cicada species, Yoyetta landsboroughi (Distant) and Y. tristrigata (Goding and Froggatt), from eastern Australia, based on a detailed morphological examination of available material. The status of Y. toowoombae (Distant) is re-examined and it is now formally recognised to be a junior synonym of Y. landsboroughi. Four new species of Yoyetta are des...

Male crickets (Orthoptera: Gryllidae) compete for females through direct physical aggression (ALEXANDER, 1961; BURK, 1983; BOAKE, 1984; DIXON & CADE, 1986) and acoustic signalling behaviour (ALEXANDER, 1975; CADE, 1979a). Females respond phonotactically to the calling songs of conspecific males by walking or flying to them (WALKER, 1957; ZARETSKY, 1972; ULAGARAJ & WALKER, 1973; PAUL, 1976; POPO...

Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its functional argument? We show that existing methods based on preservation of invariants and relational parametricity are insufficient for this purpose and thus define a new notion that captures purity in the sense that for any functional ...