The Lambek calculus with iteration: two variants

Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural interpretation, we present two lines of calculi. The first one is a fragment of infinitary action logic and includes an omega-rule for introducing iteration to the antecedent. We also consider a version with infinite (but finitely branching) derivations and prove equivalence of these two versions. In Kleene algebras, this line of calculi corresponds to the *-continuous case. For the second line, we restrict our infinite derivations to cyclic (regular) ones. We show that this system is equivalent to a variant of action logic that corresponds to general residuated Kleene algebras, not necessarily *-continuous. Finally, we show that, in contrast with the case without division operations (considered by Kozen), the first system is strictly stronger than the second one. To prove this, we use a complexity argument. Namely, we show, using methods of Buszkowski and Palka, that the first system is $\Pi_1^0$-hard, and therefore is not recursively enumerable and cannot be described by a calculus with finite derivations

Thermal inactivation and conformational lock studies on glucose oxidase

In this study, the dissociative thermal inactivation and conformational lock theories are applied for the homodimeric enzyme glucose oxidase (GOD) in order to analyze its structure. For this purpose, the rate of activity reduction of glucose oxidase is studied at various temperatures using b-D-glucose as the substrate by incubation of enzyme at various temperatures in the wide range between 40 and 70 �C using UV–Vis spectrophotometry. It was observed that in the two ranges of temperatures, the enzyme has two different forms. In relatively low temperatures, the enzyme is in its dimeric state and has normal activity. In high temperatures, the activity almost disappears and it aggregates. The above achievements are confirmed by dynamic light scattering. The experimental parameter ‘‘n’’ as the obvious number of conformational locks at the dimer interface of glucose oxidase is obtained by kinetic data, and the value is near to two. To confirm the above results, the X-ray crystallography structure of the enzyme, GOD (pdb, 1gal), was also studied. The secondary and tertiary structures of the enzyme to track the thermal inactivation were studied by circular dichroism and fluorescence spectroscopy, respectively. We proposed a mechanism model for thermal inactivation of GOD based on the absence of the monomeric form of the enzyme by circular dichroism and fluorescence spectroscopy

Low Clinical Burden of 2009 Pandemic Influenza A (H1N1) Infection during Pregnancy on the Island of La Réunion

BACKGROUND: Pregnant women have been identified as a group at risk, both for respiratory complications than for the admissions to the Intensive Care Unit (ICU) during the 2009 H1N1 influenza pandemic (pdm). The purpose of this prospective register-based cohort-study was to characterize the clinical virulence of the pdm (H1N1/09)v during pregnancy in La Réunion. METHODS/PRINCIPAL FINDINGS: Over a twelve-week pdm wave (13 July to 3 October 2009), 294 pregnant women presented with an influenza-like illness (ILI) to one of the three maternity departments of the South Reunion area, Indian Ocean. Out of these, 278 were checked by RT-PCR for influenza viruses (157 positive and 121 negative, of whom, 141 with pdm flu and 132 with ILIs of non pdm origin, 5 untyped). The median body temperature was higher in women experiencing pdm flu than in those with non pdm ILI (38.9 degrees C versus 38.3 degrees C, P<0.0001), without evidence linked to circulating viremia. Oseltamivir was given for 86% of pdm flu cases in a median time inferior than 48 hrs (range 0-7 days). The hospitalization rate for pdm flu was of 60% and not associated with underlying conditions. Six viral pneumonia and fourteen asthma attacks were observed among 84 hospitalized pdm flu cases, of whom, only one led to the ICU for an acute lung injury. No maternal death occurred during the pdm wave. None adverse pregnancy outcome was associated with pdm flu. No congenital birth defect, nor early-onset neonatal influenza infection was attributable to pdm flu exposure. CONCLUSIONS/SIGNIFICANCE: This report mitigates substantially the presumed severity of pandemic H1N1/09 influenza infection during pregnancy. The reasons for which the clinical burden of H1N1/09 influenza virus may differ worldwide raise questions about a differential local viral-strain effect and public health preparedness, notably in timely access to special care and antiviral treatments

Predicting the Clinical Outcome of Severe Falciparum Malaria in African Children: Findings From a Large Randomized Trial

Four predictors were independently associated with an increased risk of death: acidosis, cerebral manifestations of malaria, elevated blood urea nitrogen, or signs of chronic illness. The standard base deficit was found to be the single most relevant predictor of death

A systematic review of task- shifting for HIV treatment and care in Africa

BACKGROUND: Shortages of human resources for health (HRH) have severely hampered the rollout of antiretroviral therapy (ART) in sub-Saharan Africa. Current rollout models are hospital- and physician-intensive. Task shifting, or delegating tasks performed by physicians to staff with lower-level qualifications, is considered a means of expanding rollout in resource-poor or HRH-limited settings. METHODS: We conducted a systematic literature review. Medline, the Cochrane library, the Social Science Citation Index, and the South African National Health Research Database were searched with the following terms: task shift*, balance of care, non-physician clinicians, substitute health care worker, community care givers, primary healthcare teams, cadres, and nurs* HIV. We mined bibliographies and corresponded with authors for further results. Grey literature was searched online, and conference proceedings searched for abstracts. RESULTS: We found 2960 articles, of which 84 were included in the core review. 51 reported outcomes, including research from 10 countries in sub-Saharan Africa. The most common intervention studied was the delegation of tasks (especially initiating and monitoring HAART) from doctors to nurses and other non-physician clinicians. Five studies showed increased access to HAART through expanded clinical capacity; two concluded task shifting is cost effective; 9 showed staff equal or better quality of care; studies on non-physician clinician agreement with physician decisions was mixed, with the majority showing good agreement. CONCLUSIONS: Task shifting is an effective strategy for addressing shortages of HRH in HIV treatment and care. Task shifting offers high-quality, cost-effective care to more patients than a physician-centered model. The main challenges to implementation include adequate and sustainable training, support and pay for staff in new roles, the integration of new members into healthcare teams, and the compliance of regulatory bodies. Task shifting should be considered for careful implementation where HRH shortages threaten rollout programmes

Global Diversity of Ascidiacea

The class Ascidiacea presents fundamental opportunities for research in the fields of development, evolution, ecology, natural products and more. This review provides a comprehensive overview of the current knowledge regarding the global biodiversity of the class Ascidiacea, focusing in their taxonomy, main regions of biodiversity, and distribution patterns. Based on analysis of the literature and the species registered in the online World Register of Marine Species, we assembled a list of 2815 described species. The highest number of species and families is found in the order Aplousobranchia. Didemnidae and Styelidae families have the highest number of species with more than 500 within each group. Sixty percent of described species are colonial. Species richness is highest in tropical regions, where colonial species predominate. In higher latitudes solitary species gradually contribute more to the total species richness. We emphasize the strong association between species richness and sampling efforts, and discuss the risks of invasive species. Our inventory is certainly incomplete as the ascidian fauna in many areas around the world is relatively poorly known, and many new species continue to be discovered and described each year

Cryptococcal meningitis: A neglected NTD?

Although HIV/AIDS has been anything but neglected over the last decade, opportunistic infections (OIs) are increasingly overlooked as large scale donors shift their focus from acute care to prevention and earlier antiretroviral treatment (ART) initiation. Of these OIs, cryptococcal meningitis, a deadly invasive fungal infection, continues to affect hundreds of thousands of HIV patients with advanced disease each year and is responsible for an estimated 15%-20% of all AIDS-related deaths [1,2]. Yet cryptococcal meningitis ranks amongst the most poorly funded “neglected” diseases in the world, receiving 0.2% of available relevant research and development (RandD) funding according to Policy Cures’ 2016 G-Finder Report [3,4]