Mosquito larvae have been extensively used as models for the investigation of osmotic and ionic regulation in insects. They are phylogenetically well understood, and have colonized a wide variety of different environments, so that comparative studies have been possible on related species from widely differing habitats. Larval mosquitoes are easily obtained and reared in large numbers, are of co...

The 26 March 1872 Owens Valley earthquake is among the largest historical earthquakes in California. The felt area and maximum fault displacements have long been regarded as comparable to, if not greater than, those of the great San Andreas fault earthquakes of 1857 and 1906, but mapped surface ruptures of the latter two events were 2–3 times longer than that inferred for the 1872 rupture. The ...

Bahr and Hutton recently developed a new approach to calculating correct compilers directly from specifications of their correctness. However, the methodology only considers converging behaviour source language, which means that compiler could potentially produce arbitrary, erroneous code for programs diverge. In this article, we show how can naturally be extended support calculation address bo...