Formalization of Transform Methods using HOL Light

Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

Pneumococcal carriage in sub-Saharan Africa--a systematic review.

BACKGROUND: Pneumococcal epidemiology varies geographically and few data are available from the African continent. We assess pneumococcal carriage from studies conducted in sub-Saharan Africa (sSA) before and after the pneumococcal conjugate vaccine (PCV) era. METHODS: A search for pneumococcal carriage studies published before 2012 was conducted to describe carriage in sSA. The review also describes pneumococcal serotypes and assesses the impact of vaccination on carriage in this region. RESULTS: Fifty-seven studies were included in this review with the majority (40.3%) from South Africa. There was considerable variability in the prevalence of carriage between studies (I-squared statistic = 99%). Carriage was higher in children and decreased with increasing age, 63.2% (95% CI: 55.6-70.8) in children less than 5 years, 42.6% (95% CI: 29.9-55.4) in children 5-15 years and 28.0% (95% CI: 19.0-37.0) in adults older than 15 years. There was no difference in the prevalence of carriage between males and females in 9/11 studies. Serotypes 19F, 6B, 6A, 14 and 23F were the five most common isolates. A meta-analysis of four randomized trials of PCV vaccination in children aged 9-24 months showed that carriage of vaccine type (VT) serotypes decreased with PCV vaccination; however, overall carriage remained the same because of a concomitant increase in non-vaccine type (NVT) serotypes. CONCLUSION: Pneumococcal carriage is generally high in the African continent, particularly in young children. The five most common serotypes in sSA are among the top seven serotypes that cause invasive pneumococcal disease in children globally. These serotypes are covered by the two PCVs recommended for routine childhood immunization by the WHO. The distribution of serotypes found in the nasopharynx is altered by PCV vaccination

Mid- and long-term clinical results of surgical therapy in unicameral bone cysts

<p>Abstract</p> <p>Background</p> <p>Unicameral (or simple) bone cysts (UBC) are benign tumours most often located in long bones of children and adolescents. Pathological fractures are common, and due to high recurrence rates, these lesions remain a challenge to treat. Numerous surgical procedures have been proposed, but there is no general consensus of the ideal treatment. The aim of this investigation therefore was to study the long-term outcome after surgical treatment in UBC.</p> <p>Methods</p> <p>A retrospective analysis of 46 patients surgically treated for UBC was performed for short and mid-term outcome. Clinical and radiological outcome parameters were studied according to a modified Neer classification system. Long-term clinical information was retrieved via a questionnaire at a minimum follow-up of 10 years after surgery.</p> <p>Results</p> <p>Forty-six patients (17 female, 29 male) with a mean age of 10.0 ± 4.8 years and with histopathologically confirmed diagnosis of UBC were included. Pathological fractures were observed in 21 cases (46%). All patients underwent surgery for UBC (35 patients underwent curettage and bone grafting as a primary therapy, 4 curettage alone, 3 received corticoid instillation and 4 decompression by cannulated screws). Overall recurrence rate after the first surgical treatment was 39% (18/46), second (17.4% of all patients) and third recurrence (4.3%) were frequently observed and were addressed by revision surgery. Recurrence was significantly higher in young and in male patients as well as in active cysts. After a mean of 52 months, 40 out of 46 cysts were considered healed. Prognosis was significantly better when recurrence was observed later than 30 months after therapy. After a mean follow-up of 15.5 ± 6.2 years, 40 patients acknowledged clinically excellent results, while five reported mild and casual pain. Only one patient reported a mild limitation of range of motion.</p> <p>Conclusions</p> <p>Our results suggest satisfactory overall long-term outcome for the surgical treatment of UBC, although short-and mid-term observation show a considerable rate of recurrence independent of the surgical technique.</p

Human Herpesvirus 8 (HHV8) Sequentially Shapes the NK Cell Repertoire during the Course of Asymptomatic Infection and Kaposi Sarcoma

The contribution of innate immunity to immunosurveillance of the oncogenic Human Herpes Virus 8 (HHV8) has not been studied in depth. We investigated NK cell phenotype and function in 70 HHV8-infected subjects, either asymptomatic carriers or having developed Kaposi's sarcoma (KS). Our results revealed substantial alterations of the NK cell receptor repertoire in healthy HHV8 carriers, with reduced expression of NKp30, NKp46 and CD161 receptors. In addition, down-modulation of the activating NKG2D receptor, associated with impaired NK-cell lytic capacity, was observed in patients with active KS. Resolution of KS after treatment was accompanied with restoration of NKG2D levels and NK cell activity. HHV8-latently infected endothelial cells overexpressed ligands of several NK cell receptors, including NKG2D ligands. The strong expression of NKG2D ligands by tumor cells was confirmed in situ by immunohistochemical staining of KS biopsies. However, no tumor-infiltrating NK cells were detected, suggesting a defect in NK cell homing or survival in the KS microenvironment. Among the known KS-derived immunoregulatory factors, we identified prostaglandin E2 (PGE2) as a critical element responsible for the down-modulation of NKG2D expression on resting NK cells. Moreover, PGE2 prevented up-regulation of the NKG2D and NKp30 receptors on IL-15-activated NK cells, and inhibited the IL-15-induced proliferation and survival of NK cells. Altogether, our observations are consistent with distinct immunoevasion mechanisms that allow HHV8 to escape NK cell responses stepwise, first at early stages of infection to facilitate the maintenance of viral latency, and later to promote tumor cell growth through suppression of NKG2D-mediated functions. Importantly, our results provide additional support to the use of PGE2 inhibitors as an attractive approach to treat aggressive KS, as they could restore activation and survival of tumoricidal NK cells

Brain-Derived Neurotrophic Factor Ameliorates Brain Stem Cardiovascular Dysregulation during Experimental Temporal Lobe Status Epilepticus

Background: Status epilepticus (SE) is an acute, prolonged epileptic crisis with a mortality rate of 20–30%; the underlying mechanism is not completely understood. We assessed the hypothesis that brain stem cardiovascular dysregulation occurs during SE because of oxidative stress in rostral ventrolateral medulla (RVLM), a key nucleus of the baroreflex loop; to be ameliorated by brain-derived neurotrophic factor (BDNF) via an antioxidant action. Methodology/Principal Findings: In a clinically relevant experimental model of temporal lobe SE (TLSE) using Sprague-Dawley rats, sustained hippocampal seizure activity was accompanied by progressive hypotension that was preceded by a reduction in baroreflex-mediated sympathetic vasomotor tone; heart rate and baroreflex-mediated cardiac responses remained unaltered. Biochemical experiments further showed concurrent augmentation of superoxide anion, phosphorylated p47 phox subunit of NADPH oxidase and mRNA or protein levels of BDNF, tropomyosin receptor kinase B (TrkB), angiotensin AT1 receptor subtype (AT1R), nitric oxide synthase II (NOS II) or peroxynitrite in RVLM. Whereas pretreatment by microinjection bilaterally into RVLM of a superoxide dismutase mimetic (tempol), a specific antagonist of NADPH oxidase (apocynin) or an AT1R antagonist (losartan) blunted significantly the augmented superoxide anion or phosphorylated p47 phox subunit in RVLM, hypotension and the reduced baroreflex-mediated sympathetic vasomotor tone during experimental TLSE, pretreatment with a recombinant human TrkB-Fc fusion protein or an antisense bdn

Limits to modern contraceptive use among young women in developing countries: a systematic review of qualitative research

<p>Abstract</p> <p>Background</p> <p>Improving the reproductive health of young women in developing countries requires access to safe and effective methods of fertility control, but most rely on traditional rather than modern contraceptives such as condoms or oral/injectable hormonal methods. We conducted a systematic review of qualitative research to examine the limits to modern contraceptive use identified by young women in developing countries. Focusing on qualitative research allows the assessment of complex processes often missed in quantitative analyses.</p> <p>Methods</p> <p>Literature searches of 23 databases, including Medline, Embase and POPLINE^®, were conducted. Literature from 1970–2006 concerning the 11–24 years age group was included. Studies were critically appraised and meta-ethnography was used to synthesise the data.</p> <p>Results</p> <p>Of the 12 studies which met the inclusion criteria, seven met the quality criteria and are included in the synthesis (six from sub-Saharan Africa; one from South-East Asia). Sample sizes ranged from 16 to 149 young women (age range 13–19 years). Four of the studies were urban based, one was rural, one semi-rural, and one mixed (predominantly rural). Use of hormonal methods was limited by lack of knowledge, obstacles to access and concern over side effects, especially fear of infertility. Although often more accessible, and sometimes more attractive than hormonal methods, condom use was limited by association with disease and promiscuity, together with greater male control. As a result young women often relied on traditional methods or abortion. Although the review was limited to five countries and conditions are not homogenous for all young women in all developing countries, the overarching themes were common across different settings and contexts, supporting the potential transferability of interventions to improve reproductive health.</p> <p>Conclusion</p> <p>Increasing modern contraceptive method use requires community-wide, multifaceted interventions and the combined provision of information, life skills, support and access to youth-friendly services. Interventions should aim to counter negative perceptions of modern contraceptive methods and the dual role of condoms for contraception and STI prevention should be exploited, despite the challenges involved.</p

The development of descending projections from the brainstem to the spinal cord in the fetal sheep

<p>Abstract</p> <p>Background</p> <p>Although the fetal sheep is a favoured model for studying the ontogeny of physiological control systems, there are no descriptions of the timing of arrival of the projections of supraspinal origin that regulate somatic and visceral function. In the early development of birds and mammals, spontaneous motor activity is generated within spinal circuits, but as development proceeds, a distinct change occurs in spontaneous motor patterns that is dependent on the presence of intact, descending inputs to the spinal cord. In the fetal sheep, this change occurs at approximately 65 days gestation (G65), so we therefore hypothesised that spinally-projecting axons from the neurons responsible for transforming fetal behaviour must arrive at the spinal cord level shortly before G65. Accordingly we aimed to identify the brainstem neurons that send projections to the spinal cord in the mature sheep fetus at G140 (term = G147) with retrograde tracing, and thus to establish whether any projections from the brainstem were absent from the spinal cord at G55, an age prior to the marked change in fetal motor activity has occurred.</p> <p>Results</p> <p>At G140, CTB labelled cells were found within and around nuclei in the reticular formation of the medulla and pons, within the vestibular nucleus, raphe complex, red nucleus, and the nucleus of the solitary tract. This pattern of labelling is similar to that previously reported in other species. The distribution of CTB labelled neurons in the G55 fetus was similar to that of the G140 fetus.</p> <p>Conclusion</p> <p>The brainstem nuclei that contain neurons which project axons to the spinal cord in the fetal sheep are the same as in other mammalian species. All projections present in the mature fetus at G140 have already arrived at the spinal cord by approximately one third of the way through gestation. The demonstration that the neurons responsible for transforming fetal behaviour in early ontogeny have already reached the spinal cord by G55, an age well before the change in motor behaviour occurs, suggests that the projections do not become fully functional until well after their arrival at the spinal cord.</p

Regulation of immune cell function and differentiation by the NKG2D receptor

NKG2D is one of the most intensively studied immune receptors of the past decade. Its unique binding and signaling properties, expression pattern, and functions have been attracting much interest within the field due to its potent antiviral and anti-tumor properties. As an activating receptor, NKG2D is expressed on cells of the innate and adaptive immune system. It recognizes stress-induced MHC class I-like ligands and acts as a molecular sensor for cells jeopardized by viral infections or DNA damage. Although the activating functions of NKG2D have been well documented, recent analysis of NKG2D-deficient mice suggests that this receptor may have a regulatory role during NK cell development. In this review, we will revisit known aspects of NKG2D functions and present new insights in the proposed influence of this molecule on hematopoietic differentiation

Chondroitin sulfates and their binding molecules in the central nervous system

Chondroitin sulfate (CS) is the most abundant glycosaminoglycan (GAG) in the central nervous system (CNS) matrix. Its sulfation and epimerization patterns give rise to different forms of CS, which enables it to interact specifically and with a significant affinity with various signalling molecules in the matrix including growth factors, receptors and guidance molecules. These interactions control numerous biological and pathological processes, during development and in adulthood. In this review, we describe the specific interactions of different families of proteins involved in various physiological and cognitive mechanisms with CSs in CNS matrix. A better understanding of these interactions could promote a development of inhibitors to treat neurodegenerative diseases