Compatible actions and non-abelian tensor products

For a pair of groups $G, H$ we study pairs of actions $G$ on $H$ and $H$ on $G$ such that these pairs are compatible and non-abelian tensor products $G \otimes H$ are defined.Comment: 9 page

Evaluation of recombinant proteins of Neospora caninum as vaccine candidates (in a mouse model)

Abortion, resulting from infections by the parasite Neospora caninum, is a major cause of economic loss to both the dairy and beef industries of cattle-producing countries of the world. Vaccination as a means of preventing abortion and/or infection represents a viable control strategy; indeed a commercial vaccine is available in some countries, albeit of unknown efficacy. The commercial vaccine is based on inactivated tachyzoites of N. caninum but other approaches based on lysates and recombinant antigens of N. caninum may also be feasible. In this study we have used an immunisation/challenge model of transplacental transmission, based on the Qs mouse with an Nc-Liverpool challenge, to investigate the vaccine potential of a number of formulations based on four recombinant proteins of N. caninum (GRA1, GRA2, MIC10, and p24B). All formulations studied were immunogenic in the mouse when assessed by ELISA using sonicated tachyzoite antigen as the target antigen. In one experiment, a mixture of MIC10 and p24B produced partial protection against transplacental transmission of N. caninum in this mouse model; in contrast a live infection of tachyzoites of NC-Nowra given before pregnancy always induces very high levels of protective immunity. The field of vaccines against Neospora-associated abortion in cattle is discussed. © 2008 Elsevier Ltd. All rights reserved

Economic appraisal of dabigatran as first-line therapy for stroke prevention in atrial fibrillation

Background. Dabigatran is an oral anticoagulant direct thrombin inhibitor recently registered in South Africa (SA) to reduce the risk of stroke and systemic embolism in patients with atrial fibrillation (AF). Owing to the price disparity between warfarin (the current gold standard for treatment of patients with AF) and dabigatran, we conducted an economic appraisal of the use of dabigatran compared with warfarin from a payer perspective in the South African private healthcare setting.Objectives. To estimate the cost-effectiveness (CE) and budget impact of dabigatran compared with warfarin for the prevention of strokein AF patients.Methods. A previously published Markov model was populated with SA cost and mortality data to estimate the CE and budget impact analysis of dabigatran over a lifetime horizon. The model population consisted of a cohort of patients of whom those aged younger than 80 years used dabigatran 150 mg twice daily and those older than 80 years 110 mg twice daily. Modelled outcomes included total cost, qualityadjusted life years (QALYs) and incremental CE ratio (ICER), with the effectiveness measured by QALYs gained.Results. Dabigatran compared with warfarin as first-line treatment was estimated to have an ICER of R93 290 and an average incrementalcost per beneficiary per month of R0.39 over a 5-year period. Conservative assumptions were made regarding the number of international normalised ratio monitoring tests for patients on warfarin, and the ICER is estimated to decrease by as much as 15.7% under less stringent assumptions. A robust sensitivity analysis was also performed.Conclusion. Dabigatran as first-line treatment compared with warfarin for the use of stroke prevention in patients with AF is deemed costeffectivewhen used in accordance with its registered indication in the SA private sector

Identification of differential pharyngeal cytokine profiles during HIV infection

Poster Presentation: no. P90BACKGROUND: Significantly higher pharyngeal shedding of Epstein-Barr virus (EBV) is observed during HIV infection. Increased EBV shedding in pharynx is not affected even during highly active antiretroviral theyrapy (HAART). EBV positive monocyte populations have been shown to carry EBV to pharyngeal mucosa. Human cytokine profiles are often altered to facilitate herpes virus infection. Thus pharyngeal cytokine profiles may influence EBV reactivation and shedding during HIV infection. Our objective was to compare 37 pharyngeal cytokine profiles of HIV-seropositive patients who were or were not receiving HAART therapy …published_or_final_versio

Pistons modeled by potentials

In this article we consider a piston modelled by a potential in the presence of extra dimensions. We analyze the functional determinant and the Casimir effect for this configuration. In order to compute the determinant and Casimir force we employ the zeta function scheme. Essentially, the computation reduces to the analysis of the zeta function associated with a scalar field living on an interval $[0,L]$ in a background potential. Although, as a model for a piston, it seems reasonable to assume a potential having compact support within $[0,L]$, we provide a formalism that can be applied to any sufficiently smooth potential.Comment: 10 pages, LaTeX. A typo in eq. (3.5) has been corrected. In "Cosmology, Quantum Vacuum and Zeta Functions: In Honour of Emilio Elizalde", Eds. S.D. Odintsov, D. Saez-Gomez, and S. Xambo-Descamps. (Springer 2011) pp 31

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

Comparison of human uterine cervical electrical impedance measurements derived using two tetrapolar probes of different sizes

BACKGROUND We sought to compare uterine cervical electrical impedance spectroscopy measurements employing two probes of different sizes, and to employ a finite element model to predict and compare the fraction of electrical current derived from subepithelial stromal tissue. METHODS Cervical impedance was measured in 12 subjects during early pregnancy using 2 different sizes of the probes on each subject. RESULTS Mean cervical resistivity was significantly higher (5.4 vs. 2.8 Ωm; p < 0.001) with the smaller probe in the frequency rage of 4–819 kHz. There was no difference in the short-term intra-observer variability between the two probes. The cervical impedance measurements derived in vivo followed the pattern predicted by the finite element model. CONCLUSION Inter-electrode distance on the probes for measuring cervical impedance influences the tissue resistivity values obtained. Determining the appropriate probe size is necessary when conducting clinical studies of resistivity of the cervix and other human tissues

Fold Designability, Distribution, and Disease

Fold designability has been estimated by the number of families contained in that fold. Here, we show that among orthologous proteins, sequence divergence is higher for folds with greater numbers of families. Folds with greater numbers of families also tend to have families that appear more often in the proteome and greater promiscuity (the number of unique “partner” folds that the fold is found with within the same protein). We also find that many disease-related proteins have folds with relatively few families. In particular, a number of these proteins are associated with diseases occurring at high frequency. These results suggest that family counts reflect how certain structures are distributed in nature and is an important characteristic associated with many human diseases