In this work we propose an extension of the MooZ formal speciication language with support for parameterized packages. This enhances MooZ's capabilities for software reuse and maintenance in the large. We discuss several design issues for MooZ's structuring mechanisms: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition, packages and classe...

To better understand how elephant seals (Mirounga angustirostris) use negative buoyancy to reduce energy metabolism and prolong dive duration, we modelled the energetic cost of transit and deep foraging dives in an elephant seal. A numerical integration technique was used to model the effects of swim speed, descent and ascent angles, and modes of locomotion (i.e. stroking and gliding) on diving...

Ten years of Tropical Rainfall Measuring Mission precipitation radar data are used to study the physical properties of the precipitating cloud systems that account for the summer rainfall of tropical and subtropical South America. Radar echoes in the continental subtropics tend to be of an intensely convective nature, especially at the eastern foothills of the Andes where diurnally forced deep ...

We introduce the first g-mode pulsator found to reside on the classical blue horizontal branch. One year of Kepler observations of KIC 1718290 reveals a rich spectrum of low-amplitude modes with periods between one and twelve hours, most of which follow a regular spacing of 276.3 s. This mode structure strongly resembles that of the V1093 Her pulsators, with only a slight shift towards longer p...

Bacterial genomes evolve through mutations, rearrangements or horizontal gene transfer. Besides the core genes encoding essential metabolic functions, bacterial genomes also harbour a number of accessory genes acquired by horizontal gene transfer that might be beneficial under certain environmental conditions. The horizontal gene transfer contributes to the diversification and adaptation of mic...

A major challenge toward large-scale integration of nanowires is the control over their alignment and position. A possible solution to this challenge is the guided growth process, which enables the synthesis of well-aligned horizontal nanowires that grow according to specific epitaxial or graphoepitaxial relations with the substrate. However, the guided growth of horizontal nanowires was demons...