Vocal tract allometry in a mammalian vocal learner

Acoustic allometry occurs when features of animal vocalisations can be predicted from body size measurements. Despite this being considered the norm, allometry sometimes breaks, resulting in species sounding smaller or larger than expected. A recent hypothesis suggests that allometry-breaking animals cluster into two groups: those with anatomical adaptations to their vocal tracts and those capable of learning new sounds (vocal learners). Here we test this hypothesis by probing vocal tract allometry in a proven mammalian vocal learner, the harbour seal (Phoca vitulina). We test whether vocal tract structures and body size scale allometrically in 68 individuals. We find that both body length and body weight accurately predict vocal tract length and one tracheal dimension. Independently, body length predicts vocal fold length while body weight predicts a second tracheal dimension. All vocal tract measures are larger in weaners than in pups and some structures are sexually dimorphic within age classes. We conclude that harbour seals do comply with allometric constraints, lending support to our hypothesis. However, allometry between body size and vocal fold length seems to emerge after puppyhood, suggesting that ontogeny may modulate the anatomy-learning distinction previously hypothesised as clear-cut. Species capable of producing non-allometric signals while their vocal tract scales allometrically, like seals, may then use non-morphological allometry-breaking mechanisms. We suggest that seals, and potentially other vocal learning mammals, may achieve allometry-breaking through developed neural control over their vocal organs

Inductive Proof Outlines for Monitors in Java

Abstract. The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based object-oriented language with the notion of multi-threading, where multiple threads can concurrently execute and exchange information via shared instance variables. Furthermore, each object can act as a monitor to assure mutual exclusion or to coordinate between threads. In this paper we present a sound and relatively complete assertional proof system for Java’s monitor concept, which generates verification conditions for a concurrent sublanguage JavaMT of Java. This work extends previous results by incorporating Java’s monitor methods

The osmotic pressure of charged colloidal suspensions: A unified approach to linearized Poisson-Boltzmann theory

We study theoretically the osmotic pressure of a suspension of charged objects (e.g., colloids, polyelectrolytes, clay platelets, etc.) dialyzed against an electrolyte solution using the cell model and linear Poisson-Boltzmann (PB) theory. From the volume derivative of the grand potential functional of linear theory we obtain two novel expressions for the osmotic pressure in terms of the potential- or ion-profiles, neither of which coincides with the expression known from nonlinear PB theory, namely, the density of microions at the cell boundary. We show that the range of validity of linearization depends strongly on the linearization point and proof that expansion about the selfconsistently determined average potential is optimal in several respects. For instance, screening inside the suspension is automatically described by the actual ionic strength, resulting in the correct asymptotics at high colloid concentration. Together with the analytical solution of the linear PB equation for cell models of arbitrary dimension and electrolyte composition explicit and very general formulas for the osmotic pressure ensue. A comparison with nonlinear PB theory is provided. Our analysis also shows that whether or not linear theory predicts a phase separation depends crucially on the precise definition of the pressure, showing that an improper choice could predict an artificial phase separation in systems as important as DNA in physiological salt solution.Comment: 16 pages, 5 figures, REVTeX4 styl

Effective Interactions and Volume Energies in Charged Colloids: Linear Response Theory

Interparticle interactions in charge-stabilized colloidal suspensions, of arbitrary salt concentration, are described at the level of effective interactions in an equivalent one-component system. Integrating out from the partition function the degrees of freedom of all microions, and assuming linear response to the macroion charges, general expressions are obtained for both an effective electrostatic pair interaction and an associated microion volume energy. For macroions with hard-sphere cores, the effective interaction is of the DLVO screened-Coulomb form, but with a modified screening constant that incorporates excluded volume effects. The volume energy -- a natural consequence of the one-component reduction -- contributes to the total free energy and can significantly influence thermodynamic properties in the limit of low-salt concentration. As illustrations, the osmotic pressure and bulk modulus are computed and compared with recent experimental measurements for deionized suspensions. For macroions of sufficient charge and concentration, it is shown that the counterions can act to soften or destabilize colloidal crystals.Comment: 14 pages, including 3 figure

Smoking cessation and bronchial epithelial remodelling in COPD: a cross-sectional study

<p>Abstract</p> <p>Background</p> <p>Chronic Obstructive Pulmonary Disease (COPD) is associated with bronchial epithelial changes, including squamous cell metaplasia and goblet cell hyperplasia. These features are partially attributed to activation of the epidermal growth factor receptor (EGFR). Whereas smoking cessation reduces respiratory symptoms and lung function decline in COPD, inflammation persists. We determined epithelial proliferation and composition in bronchial biopsies from current and ex-smokers with COPD, and its relation to duration of smoking cessation.</p> <p>Methods</p> <p>114 COPD patients were studied cross-sectionally: 99 males/15 females, age 62 ± 8 years, median 42 pack-years, no corticosteroids, current (n = 72) or ex-smokers (n = 42, median cessation duration 3.5 years), postbronchodilator FEV₁63 ± 9% predicted. Squamous cell metaplasia (%), goblet cell (PAS/Alcian Blue⁺) area (%), proliferating (Ki-67⁺) cell numbers (/mm basement membrane), and EGFR expression (%) were measured in intact epithelium of bronchial biopsies.</p> <p>Results</p> <p>Ex-smokers with COPD had significantly less epithelial squamous cell metaplasia, proliferating cell numbers, and a trend towards reduced goblet cell area than current smokers with COPD (p = 0.025, p = 0.001, p = 0.081, respectively), but no significant difference in EGFR expression. Epithelial features were not different between short-term quitters (<3.5 years) and current smokers. Long-term quitters (≥3.5 years) had less goblet cell area than both current smokers and short-term quitters (medians: 7.9% vs. 14.4%, p = 0.005; 7.9% vs. 13.5%, p = 0.008; respectively), and less proliferating cell numbers than current smokers (2.8% vs. 18.6%, p < 0.001).</p> <p>Conclusion</p> <p>Ex-smokers with COPD had less bronchial epithelial remodelling than current smokers, which was only observed after long-term smoking cessation (>3.5 years).</p> <p>Trial registration</p> <p>NCT00158847</p