When are prime formulae characteristic?

In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic formulae, are exactly the consistent and prime ones. This paper presents general, sufficient conditions guaranteeing that characteristic formulae are exactly the consistent and prime ones. It is shown that the given conditions apply to the logics characterizing all the semantics in van Glabbeek's branching-time spectrum

Distinct RNA profiles in subpopulations of extracellular vesicles: apoptotic bodies, microvesicles and exosomes

Introduction: In recent years, there has been an exponential increase in the number of studies aiming to understand the biology of exosomes, as well as other extracellular vesicles. However, classification of membrane vesicles and the appropriate protocols for their isolation are still under intense discussion and investigation. When isolating vesicles, it is crucial to use systems that are able to separate them, to avoid cross-contamination. Method: EVs released from three different kinds of cell lines: HMC-1, TF-1 and BV-2 were isolated using two centrifugation-based protocols. In protocol 1, apoptotic bodies were collected at 2,000×g, followed by filtering the supernatant through 0.8 µm pores and pelleting of microvesicles at 12,200×g. In protocol 2, apoptotic bodies and microvesicles were collected together at 16,500×g, followed by filtering of the supernatant through 0.2 µm pores and pelleting of exosomes at 120,000×g. Extracellular vesicles were analyzed by transmission electron microscopy, flow cytometry and the RNA profiles were investigated using a Bioanalyzer®. Results: RNA profiles showed that ribosomal RNA was primary detectable in apoptotic bodies and smaller RNAs without prominent ribosomal RNA peaks in exosomes. In contrast, microvesicles contained little or no RNA except for microvesicles collected from TF-1 cell cultures. The different vesicle pellets showed highly different distribution of size, shape and electron density with typical apoptotic body, microvesicle and exosome characteristics when analyzed by transmission electron microscopy. Flow cytometry revealed the presence of CD63 and CD81 in all vesicles investigated, as well as CD9 except in the TF-1-derived vesicles, as these cells do not express CD9. Conclusions: Our results demonstrate that centrifugation-based protocols are simple and fast systems to distinguish subpopulations of extracellular vesicles. Different vesicles show different RNA profiles and morphological characteristics, but they are indistinguishable using CD63-coated beads for flow cytometry analysis

Subbarrel patterns in somatosensory cortical barrels can emerge from local dynamic instabilities

Complex spatial patterning, common in the brain as well as in other biological systems, can emerge as a result of dynamic interactions that occur locally within developing structures. In the rodent somatosensory cortex, groups of neurons called "barrels" correspond to individual whiskers on the contralateral face. Barrels themselves often contain subbarrels organized into one of a few characteristic patterns. Here we demonstrate that similar patterns can be simulated by means of local growth-promoting and growth-retarding interactions within the circular domains of single barrels. The model correctly predicts that larger barrels contain more spatially complex subbarrel patterns, suggesting that the development of barrels and of the patterns within them may be understood in terms of some relatively simple dynamic processes. We also simulate the full nonlinear equations to demonstrate the predictive value of our linear analysis. Finally, we show that the pattern formation is robust with respect to the geometry of the barrel by simulating patterns on a realistically shaped barrel domain. This work shows how simple pattern forming mechanisms can explain neural wiring both qualitatively and quantitatively even in complex and irregular domains. © 2009 Ermentrout et al

Selective serotonin reuptake inhibitors in the treatment of generalized anxiety disorder

Selective serotonin reuptake inhibitors have proven efficacy in the treatment of panic disorder, obsessive–compulsive disorder, post-traumatic stress disorder and social anxiety disorder. Accumulating data shows that selective serotonin reuptake inhibitor treatment can also be efficacious in patients with generalized anxiety disorder. This review summarizes the findings of randomized controlled trials of selective serotonin reuptake inhibitor treatment for generalized anxiety disorder, examines the strengths and weaknesses of other therapeutic approaches and considers potential new treatments for patients with this chronic and disabling anxiety disorder

MTN-001: Randomized Pharmacokinetic Cross-Over Study Comparing Tenofovir Vaginal Gel and Oral Tablets in Vaginal Tissue and Other Compartments

Background: Oral and vaginal preparations of tenofovir as pre-exposure prophylaxis (PrEP) for human immunodeficiency virus (HIV) infection have demonstrated variable efficacy in men and women prompting assessment of variation in drug concentration as an explanation. Knowledge of tenofovir concentration and its active form, tenofovir diphosphate, at the putative vaginal and rectal site of action and its relationship to concentrations at multiple other anatomic locations may provide key information for both interpreting PrEP study outcomes and planning future PrEP drug development. Objective: MTN-001 was designed to directly compare oral to vaginal steady-state tenofovir pharmacokinetics in blood, vaginal tissue, and vaginal and rectal fluid in a paired cross-over design. Methods and Findings: We enrolled 144 HIV-uninfected women at 4 US and 3 African clinical research sites in an open label, 3-period crossover study of three different daily tenofovir regimens, each for 6 weeks (oral 300 mg tenofovir disoproxil fumarate, vaginal 1% tenofovir gel [40 mg], or both). Serum concentrations after vaginal dosing were 56-fold lower than after oral dosing (p<0.001). Vaginal tissue tenofovir diphosphate was quantifiable in ≥90% of women with vaginal dosing and only 19% of women with oral dosing. Vaginal tissue tenofovir diphosphate was ≥130-fold higher with vaginal compared to oral dosing (p<0.001). Rectal fluid tenofovir concentrations in vaginal dosing periods were higher than concentrations measured in the oral only dosing period (p<0.03). Conclusions: Compared to oral dosing, vaginal dosing achieved much lower serum concentrations and much higher vaginal tissue concentrations. Even allowing for 100-fold concentration differences due to poor adherence or less frequent prescribed dosing, vaginal dosing of tenofovir should provide higher active site concentrations and theoretically greater PrEP efficacy than oral dosing; randomized topical dosing PrEP trials to the contrary indicates that factors beyond tenofovir's antiviral effect substantially influence PrEP efficacy. Trial Registration: ClinicalTrials.gov NCT00592124

Energy- and flux-budget (EFB) turbulence closure model for the stably stratified flows. Part I: Steady-state, homogeneous regimes

We propose a new turbulence closure model based on the budget equations for the key second moments: turbulent kinetic and potential energies: TKE and TPE (comprising the turbulent total energy: TTE = TKE + TPE) and vertical turbulent fluxes of momentum and buoyancy (proportional to potential temperature). Besides the concept of TTE, we take into account the non-gradient correction to the traditional buoyancy flux formulation. The proposed model grants the existence of turbulence at any gradient Richardson number, Ri. Instead of its critical value separating - as usually assumed - the turbulent and the laminar regimes, it reveals a transition interval, 0.1< Ri <1, which separates two regimes of essentially different nature but both turbulent: strong turbulence at Ri<<1; and weak turbulence, capable of transporting momentum but much less efficient in transporting heat, at Ri>1. Predictions from this model are consistent with available data from atmospheric and lab experiments, direct numerical simulation (DNS) and large-eddy simulation (LES).Comment: 40 pages, 6 figures, Boundary-layer Meteorology, resubmitted, revised versio

Spin polarization versus lifetime effects at point contacts between superconducting niobium and normal metals

Point-contact Andreev reflection spectroscopy is used to measure the spin polarization of metals but analysis of the spectra has encountered a number of serious challenges, one of which is the difficulty to distinguish the effects of spin polarization from those of the finite lifetime of Cooper pairs. We have recently confirmed the polarization-lifetime ambiguity for Nb-Co and Nb-Cu contacts and suggested to use Fermi surface mismatch, the normal reflection due to the difference of Fermi wave vectors of the two electrodes, to solve this dilemma. Here we present further experiments on contacts between superconducting Nb and the ferromagnets Fe and Ni as well as the noble metals Ag and Pt that support our previous results. Our data indicate that the Nb - normal metal interfaces have a transparency of up to about 80 per cent and a small, if not negligible, spin polarization.Comment: 7 pages, 2 figures, submitted to Proceedings of the 26th Conference on Low Temperature Physic

Robot life: simulation and participation in the study of evolution and social behavior.

This paper explores the case of using robots to simulate evolution, in particular the case of Hamilton's Law. The uses of robots raises several questions that this paper seeks to address. The first concerns the role of the robots in biological research: do they simulate something (life, evolution, sociality) or do they participate in something? The second question concerns the physicality of the robots: what difference does embodiment make to the role of the robot in these experiments. Thirdly, how do life, embodiment and social behavior relate in contemporary biology and why is it possible for robots to illuminate this relation? These questions are provoked by a strange similarity that has not been noted before: between the problem of simulation in philosophy of science, and Deleuze's reading of Plato on the relationship of ideas, copies and simulacra

What traits are carried on mobile genetic elements, and why?

Although similar to any other organism, prokaryotes can transfer genes vertically from mother cell to daughter cell, they can also exchange certain genes horizontally. Genes can move within and between genomes at fast rates because of mobile genetic elements (MGEs). Although mobile elements are fundamentally self-interested entities, and thus replicate for their own gain, they frequently carry genes beneficial for their hosts and/or the neighbours of their hosts. Many genes that are carried by mobile elements code for traits that are expressed outside of the cell. Such traits are involved in bacterial sociality, such as the production of public goods, which benefit a cell's neighbours, or the production of bacteriocins, which harm a cell's neighbours. In this study we review the patterns that are emerging in the types of genes carried by mobile elements, and discuss the evolutionary and ecological conditions under which mobile elements evolve to carry their peculiar mix of parasitic, beneficial and cooperative genes