Diversity of Tanaidacea (Crustacea: Peracarida) in the World's Oceans – How Far Have We Come?

Tanaidaceans are small peracarid crustaceans which occur in all marine habitats, over the full range of depths, and rarely into fresh waters. Yet they have no obligate dispersive phase in their life-cycle. Populations are thus inevitably isolated, and allopatric speciation and high regional diversity are inevitable; cosmopolitan distributions are considered to be unlikely or non-existent. Options for passive dispersion are discussed. Tanaidaceans appear to have first evolved in shallow waters, the region of greatest diversification of the Apseudomorpha and some tanaidomorph families, while in deeper waters the apseudomorphs have subsequently evolved two or three distinct phyletic lines. The Neotanaidomorpha has evolved separately and diversified globally in deep waters, and the Tanaidomorpha has undergone the greatest evolution, diversification and adaptation, to the point where some of the deep-water taxa are recolonizing shallow waters. Analysis of their geographic distribution shows some level of regional isolation, but suffers from inclusion of polyphyletic taxa and a general lack of data, particularly for deep waters. It is concluded that the diversity of the tanaidomorphs in deeper waters and in certain ocean regions remains to be discovered; that the smaller taxa are largely understudied; and that numerous cryptic species remain to be distinguished. Thus the number of species currently recognized is likely to be an order of magnitude too low, and globally the Tanaidacea potentially rival the Amphipoda and Isopoda in diversity

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Skeletal muscle ATP synthesis and cellular H+ handling measured by localized 31P-MRS during exercise and recovery

31P magnetic resonance spectroscopy (MRS) is widely used for non-invasive investigation of muscle metabolism dynamics. This study aims to extend knowledge on parameters derived from these measurements in detail and comprehensiveness: proton (H+) efflux, buffer capacity and the contributions of glycolytic (L) and oxidative (Q) rates to ATP synthesis were calculated from the evolutions of phosphocreatine (PCr) and pH. Data are reported for two muscles in the human calf, for each subject and over a wide range of exercise intensities. 22 subjects performed plantar flexions in a 7T MR-scanner, leading to PCr changes ranging from barely noticeable to almost complete depletion, depending on exercise protocol and muscle studied by localized MRS. Cytosolic buffer capacity was quantified for the first time non-invasively and individually, as was proton efflux evolution in early recovery. Acidification started once PCr depletion reached 60–75%. Initial and end-exercise L correlated with end-exercise levels of PCr and approximately linear with pH. Q calculated directly from PCr and pH derivatives was plausible, requiring fewer assumptions than the commonly used ADP-model. In conclusion, the evolution of parameters describing cellular energy metabolism was measured over a wide range of exercise intensities, revealing a relatively complete picture of muscle metabolism

Evaluating the Effects of Cutoffs and Treatment of Long-range Electrostatics in Protein Folding Simulations

The use of molecular dynamics simulations to provide atomic-level descriptions of biological processes tends to be computationally demanding, and a number of approximations are thus commonly employed to improve computational efficiency. In the past, the effect of these approximations on macromolecular structure and stability has been evaluated mostly through quantitative studies of small-molecule systems or qualitative observations of short-timescale simulations of biological macromolecules. Here we present a quantitative evaluation of two commonly employed approximations, using a test system that has been the subject of a number of previous protein folding studies–the villin headpiece. In particular, we examined the effect of (i) the use of a cutoff-based force-shifting technique rather than an Ewald summation for the treatment of electrostatic interactions, and (ii) the length of the cutoff used to determine how many pairwise interactions are included in the calculation of both electrostatic and van der Waals forces. Our results show that the free energy of folding is relatively insensitive to the choice of cutoff beyond 9 Å, and to whether an Ewald method is used to account for long-range electrostatic interactions. In contrast, we find that the structural properties of the unfolded state depend more strongly on the two approximations examined here

Low pH immobilizes and kills human leukocytes and prevents transmission of cell-associated HIV in a mouse model

BACKGROUND: Both cell-associated and cell-free HIV virions are present in semen and cervical secretions of HIV-infected individuals. Thus, topical microbicides may need to inactivate both cell-associated and cell-free HIV to prevent sexual transmission of HIV/AIDS. To determine if the mild acidity of the healthy vagina and acid buffering microbicides would prevent transmission by HIV-infected leukocytes, we measured the effect of pH on leukocyte motility, viability and intracellular pH and tested the ability of an acidic buffering microbicide (BufferGel(®)) to prevent the transmission of cell-associated HIV in a HuPBL-SCID mouse model. METHODS: Human lymphocyte, monocyte, and macrophage motilities were measured as a function of time and pH using various acidifying agents. Lymphocyte and macrophage motilities were measured using video microscopy. Monocyte motility was measured using video microscopy and chemotactic chambers. Peripheral blood mononuclear cell (PBMC) viability and intracellular pH were determined as a function of time and pH using fluorescent dyes. HuPBL-SCID mice were pretreated with BufferGel, saline, or a control gel and challenged with HIV-1-infected human PBMCs. RESULTS: Progressive motility was completely abolished in all cell types between pH 5.5 and 6.0. Concomitantly, at and below pH 5.5, the intracellular pH of PBMCs dropped precipitously to match the extracellular medium and did not recover. After acidification with hydrochloric acid to pH 4.5 for 60 min, although completely immotile, 58% of PBMCs excluded ethidium homodimer-1 (dead-cell dye). In contrast, when acidified to this pH with BufferGel, a microbicide designed to maintain vaginal acidity in the presence of semen, only 4% excluded dye at 10 min and none excluded dye after 30 min. BufferGel significantly reduced transmission of HIV-1 in HuPBL-SCID mice (1 of 12 infected) compared to saline (12 of 12 infected) and a control gel (5 of 7 infected). CONCLUSION: These results suggest that physiologic or microbicide-induced acid immobilization and killing of infected white blood cells may be effective in preventing sexual transmission of cell-associated HIV

Stationary Black Holes: Uniqueness and Beyond

The spectrum of known black-hole solutions to the stationary Einstein equations has been steadily increasing, sometimes in unexpected ways. In particular, it has turned out that not all black-hole-equilibrium configurations are characterized by their mass, angular momentum and global charges. Moreover, the high degree of symmetry displayed by vacuum and electro-vacuum black-hole spacetimes ceases to exist in self-gravitating non-linear field theories. This text aims to review some developments in the subject and to discuss them in light of the uniqueness theorem for the Einstein-Maxwell system.Comment: Major update of the original version by Markus Heusler from 1998. Piotr T. Chru\'sciel and Jo\~ao Lopes Costa succeeded to this review's authorship. Significantly restructured and updated all sections; changes are too numerous to be usefully described here. The number of references increased from 186 to 32

Threat-sensitive anti-predator defence in precocial wader, the northern lapwing Vanellus vanellus

Birds exhibit various forms of anti-predator behaviours to avoid reproductive failure, with mobbing—observation, approach and usually harassment of a predator—being one of the most commonly observed. Here, we investigate patterns of temporal variation in the mobbing response exhibited by a precocial species, the northern lapwing (Vanellus vanellus). We test whether brood age and self-reliance, or the perceived risk posed by various predators, affect mobbing response of lapwings. We quantified aggressive interactions between lapwings and their natural avian predators and used generalized additive models to test how timing and predator species identity are related to the mobbing response of lapwings. Lapwings diversified mobbing response within the breeding season and depending on predator species. Raven Corvus corax, hooded crow Corvus cornix and harriers evoked the strongest response, while common buzzard Buteo buteo, white stork Ciconia ciconia, black-headed gull Chroicocephalus ridibundus and rook Corvus frugilegus were less frequently attacked. Lapwings increased their mobbing response against raven, common buzzard, white stork and rook throughout the breeding season, while defence against hooded crow, harriers and black-headed gull did not exhibit clear temporal patterns. Mobbing behaviour of lapwings apparently constitutes a flexible anti-predator strategy. The anti-predator response depends on predator species, which may suggest that lapwings distinguish between predator types and match mobbing response to the perceived hazard at different stages of the breeding cycle. We conclude that a single species may exhibit various patterns of temporal variation in anti-predator defence, which may correspond with various hypotheses derived from parental investment theory

Decreased renal function in overweight and obese prepubertal children

BACKGROUND: Obesity is a potentially modifiable risk factor for the development and progression of kidney disease, both in adults and children. We aim to study the association of obesity and renal function in children, by comparing estimated glomerular filtration rate (eGFR) in nonoverweight and overweight/obese children. Secondarily, we aim to evaluate the accuracy of equations on eGFR estimation when compared to 24-h urinary creatinine clearance (CrCl). METHODS: Cross-sectional study of 313 children aged 8-9 y, followed in the birth cohort Generation XXI (Portugal). Creatinine and cystatin C, GFR estimated by several formulas and CrCl were compared in 163 nonoverweight and 150 overweight/obese, according to World Health Organization growth reference. RESULTS: Overweight/obese children had significantly lower eGFR, estimated by all methods, except for CrCl and revised Schwartz formula. Despite all children having renal function in the normal range, eGFR decreased significantly with BMI z-score (differences ranging from -4.3 to -1.1 ml/min/1.73 m(2) per standard deviation of BMI). The Zappitelli combined formula presented the closest performance to CrCl, with higher correlation coefficients and higher accuracy values. CONCLUSION: Young prepubertal children with overweight/obesity already present significantly lower GFR estimations that likely represent some degree of renal impairment associated with the complex deleterious effects of adiposity