Mother-to-child transmission of HIV: a simulation-based approach for the evaluation of intervention strategies

Mother-to-child transmission (MTCT) of HIV is the most significant source of HIV infection in children below the age of 15 years. In 2000 alone, about 600 000 new infections occurred, the vast majority from mothers living in developing countries who were not aware of their HIV-positive status. To date, at least 4.3 million children have died from AIDS. In this paper, we discuss the development of an operational model that can be used to evaluate intervention options for the prevention of MTCT of HIV. The problem was approached by defining suitable pregnancy risk groups, prevention options and the required model outputs to evaluate different intervention strategies. The method chosen to approach the problem was a discrete-event, three-phase simulation, built in Visual Basic, with a stochastic semi-Markov structure. The developed model takes individual pregnant women through each stage of their pregnancy, labour and birth. Different intervention strategies may be modelled at any time, including short-course antiretroviral drugs and cessation of breastfeeding. The model is demonstrated with data from Botswana, which has one of the highest HIV-infection rates in the world.     

Finite Hurwitz braid group actions for Artin groups

We prove that (with two possible exceptions) the Hurwitz braid group action on the sequence of standard generators of an irreducible Artin group has a finite orbit if and only if the Artin group is of finite type (i.e., the corresponding Coxeter group is finite).     

The Computable Dimension of I-Trees of Infinite Height

We study computable trees with distinguished initial subtree (briefly, I-trees). It is proved that all I-trees of infinite height are computably categorical, and moreover, they all have effectively infinite computable dimension.     

The spectral measure of a Jacobi matrix in terms of the Fourier transform of the perturbation

We study the spectral properties of Jacobi matrices. By combining Killip's technique [12] with the technique of Killip and Simon [13] we obtain a result relating the properties of the elements of Jacobi matrices and the corresponding spectral measures. This theorem is a natural extension of a recent result of Laptev-Naboko-Safronov [17]. The author thanks Sergei Naboko for useful discussions and Barry Simon for pointing out the conjecture.     

On the characterisation of paired monotone metrics

Hasegawa and Petz introduced the notion of paired monotone metrics. They also gave a characterisation theorem showing that Wigner-Yanase-Dyson metrics are the only members of the paired family. In this paper we show that the characterisation theorem holds true under hypotheses that are more general than those used in the above quoted references.     

Natural Operators Lifting Vector Fields to Bundles of Weil Contact Elements

Let A be a Weil algebra. The bijection between all natural operators lifting vector fields from m-manifolds to the bundle functor K ^A of Weil contact elements and the subalgebra of fixed elements SA of the Weil algebra A is determined and the bijection between all natural affinors on K ^A and SA is deduced. Furthermore, the rigidity of the functor K ^A is proved. Requisite results about the structure of SA are obtained by a purely algebraic approach, namely the existence of nontrivial SA is discussed.     

Representing the mean residual life in terms of the failure rate

In survival or reliability studies, the mean residual life or life expectancy is an important characteristic of the model. Whereas the failure rate can be expressed quite simply in terms of the mean residual life and its derivative, the inverse problem—namely that of expressing the mean residual life in terms of the failure rate—typically involves an integral of a complicated expression. In this paper, we obtain simple expressions for the mean residual life in terms of the failure rate for certain classes of distributions which subsume many of the standard cases. Several results in the literature can be obtained using our approach. Additionally, we develop an expansion for the mean residual life in terms of Gaussian probability functions for a broad class of ultimately increasing failure rate distributions. Some examples are provided to illustrate the procedure.     

TGF-β1 induction of the adenine nucleotide translocator 1 in astrocytes occurs through Smads and Sp1 transcription factors

Background  

The adenine nucleotide translocator 1 (Ant1) is an inner mitochondrial membrane protein involved with energy mobilization during oxidative phosphorylation. We recently showed that rodent Ant1 is upregulated by transforming growth factor-beta (TGF-β) in reactive astrocytes following CNS injury. In the present study, we describe the molecular mechanisms by which TGF-β1 regulates Ant1 gene expression in cultured primary rodent astrocytes.