Formal Specification and Automatic Verification of Conditional Commitments

Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols

Effect of vitamin B17 on experimentally induced colon cancer in adult male albino rat

Background: Colon cancer is considered to be the third most common cancer worldwide. At diagnosis of colon cancer, 3.7–11% developed bone metastasis. Diet based strategies are important for prevention and treatment of colon cancer. This study investigated the effect of vitamin B17 on a DMH induced rat model of colon cancer. Materials and methods: Eighty young adult male albino rats were divided into five groups: group I (control group), group II (vitamin B17), group III (colon cancer), group IV (protected) and group V (treated). Distal colon sections were prepared for light and scanning electron microscopic examination. Lumbar vertebrae specimens were prepared for light microscopic study. Morphometric and statistical analysis were done. Results: In comparison with the control, both colon cancer and treated groups showed invasion of the colonic tissue by pleomorphic branching colonic glands of variable shapes and sizes lined with dysplastic elongated hyperchromatic nuclei with frequent mitotic figures or stratified multi-layered crowded nuclei with an extremely significant (p < 0.0001) reduction of goblet cell number when compared to the control together with major pathological bone changes were observed in colon cancer and the treated groups. Conclusions: While the protected group showed impressive improvement of all previously mentioned diameters

Vitamin C attenuates the toxic effect of nutmeg on primary visual occipital cortex in rats

Background: Nutmeg is neurotoxic in rats and possibly neurotoxic also in hu- mans. The aim of this study is to investigate the effect of nutmeg on the primary visual occipital cortex of adult male rat and to evaluate the possible protective role of vitamin C.  Materials and methods: Fifty Sprague-Dawley adults male rats were randomly divided into three main groups; control, nutmeg-treated (500 and 1000 mg/kg/ /day) and protected groups (nutmeg + vitamin C [500 mg/kg/day]). All rats were treated orally by gavage for 5 days per week for 6 weeks. At the end of the experiment, primary visual occipital cerebral cortex was subjected to histological, immunohistochemical and genetic analyses.  Results: Our results revealed toxic effects of nutmeg on the primary visual occipital cerebral cortex in adult male albino rat. This was indicated by histopathological alterations, including pyknotic nuclei surrounded with vacuolations by light micro- scopic studies and degenerations of organelles by electron microscopic studies. In addition, we detected an increase in immunoreactivity for GFAP and caspase-3 by immunohistochemical assessments. Apoptotic bands appeared in genetic studies. Co-administration of vitamin C ameliorated nutmeg-induced toxic alterations on the primary visual occipital cerebral cortex.  Conclusions: Nutmeg administration caused histopathological and genetic changes in the primary visual occipital cerebral cortex in adult male albino rats. These changes were improved by co-administration of vitamin C.

Dual targeting of CD19 and CD22 against B-ALL using a novel high-sensitivity aCD22 CAR

CAR T cells recognizing CD19 effectively treat relapsed and refractory B-ALL and DLBCL. However, CD19 loss is a frequent cause of relapse. Simultaneously targeting a second antigen, CD22, may decrease antigen escape, but is challenging: its density is approximately 10-fold less than CD19, and its large structure may hamper immune synapse formation. The characteristics of the optimal CD22 CAR are underexplored. We generated 12 distinct CD22 antibodies and tested CARs derived from them to identify a CAR based on the novel 9A8 antibody, which was sensitive to low CD22 density and lacked tonic signaling. We found no correlation between affinity or membrane proximity of recognition epitope within Ig domains 3–6 of CD22 with CART function. The optimal strategy for CD19/CD22 CART co-targeting is undetermined. Co-administration of CD19 and CD22 CARs is costly; single CARs targeting CD19 and CD22 are challenging to construct. The co-expression of two CARs has previously been achieved using bicistronic vectors. Here, we generated a dual CART product by co-transduction with 9A8-41BBζ and CAT-41BBζ (obe-cel), the previously described CD19 CAR. CAT/9A8 CART eliminated single- and double-positive target cells in vitro and eliminated CD19- tumors in vivo. CAT/9A8 CART is being tested in a phase I clinical study (NCT02443831)

Imaging Cyclic AMP Changes in Pancreatic Islets of Transgenic Reporter Mice

Cyclic AMP (cAMP) and Ca2+ are two ubiquitous second messengers in transduction pathways downstream of receptors for hormones, neurotransmitters and local signals. The availability of fluorescent Ca2+ reporter dyes that are easily introduced into cells and tissues has facilitated analysis of the dynamics and spatial patterns for Ca2+ signaling pathways. A similar dissection of the role of cAMP has lagged because indicator dyes do not exist. Genetically encoded reporters for cAMP are available but they must be introduced by transient transfection in cell culture, which limits their utility. We report here that we have produced a strain of transgenic mice in which an enhanced cAMP reporter is integrated in the genome and can be expressed in any targeted tissue and with tetracycline induction. We have expressed the cAMP reporter in β-cells of pancreatic islets and conducted an analysis of intracellular cAMP levels in relation to glucose stimulation, Ca2+ levels, and membrane depolarization. Pancreatic function in transgenic mice was normal. In induced transgenic islets, glucose evoked an increase in cAMP in β-cells in a dose-dependent manner. The cAMP response is independent of (in fact, precedes) the Ca2+ influx that results from glucose stimulation of islets. Glucose-evoked cAMP responses are synchronous in cells throughout the islet and occur in 2 phases suggestive of the time course of insulin secretion. Insofar as cAMP in islets is known to potentiate insulin secretion, the novel transgenic mouse model will for the first time permit detailed analyses of cAMP signals in β-cells within islets, i.e. in their native physiological context. Reporter expression in other tissues (such as the heart) where cAMP plays a critical regulatory role, will permit novel biomedical approaches

Laparoscopy in management of appendicitis in high-, middle-, and low-income countries: a multicenter, prospective, cohort study.

BACKGROUND: Appendicitis is the most common abdominal surgical emergency worldwide. Differences between high- and low-income settings in the availability of laparoscopic appendectomy, alternative management choices, and outcomes are poorly described. The aim was to identify variation in surgical management and outcomes of appendicitis within low-, middle-, and high-Human Development Index (HDI) countries worldwide. METHODS: This is a multicenter, international prospective cohort study. Consecutive sampling of patients undergoing emergency appendectomy over 6 months was conducted. Follow-up lasted 30 days. RESULTS: 4546 patients from 52 countries underwent appendectomy (2499 high-, 1540 middle-, and 507 low-HDI groups). Surgical site infection (SSI) rates were higher in low-HDI (OR 2.57, 95% CI 1.33-4.99, p = 0.005) but not middle-HDI countries (OR 1.38, 95% CI 0.76-2.52, p = 0.291), compared with high-HDI countries after adjustment. A laparoscopic approach was common in high-HDI countries (1693/2499, 67.7%), but infrequent in low-HDI (41/507, 8.1%) and middle-HDI (132/1540, 8.6%) groups. After accounting for case-mix, laparoscopy was still associated with fewer overall complications (OR 0.55, 95% CI 0.42-0.71, p < 0.001) and SSIs (OR 0.22, 95% CI 0.14-0.33, p < 0.001). In propensity-score matched groups within low-/middle-HDI countries, laparoscopy was still associated with fewer overall complications (OR 0.23 95% CI 0.11-0.44) and SSI (OR 0.21 95% CI 0.09-0.45). CONCLUSION: A laparoscopic approach is associated with better outcomes and availability appears to differ by country HDI. Despite the profound clinical, operational, and financial barriers to its widespread introduction, laparoscopy could significantly improve outcomes for patients in low-resource environments. TRIAL REGISTRATION: NCT02179112

Global economic burden of unmet surgical need for appendicitis

Background: There is a substantial gap in provision of adequate surgical care in many low-and middle-income countries. This study aimed to identify the economic burden of unmet surgical need for the common condition of appendicitis. Methods: Data on the incidence of appendicitis from 170 countries and two different approaches were used to estimate numbers of patients who do not receive surgery: as a fixed proportion of the total unmet surgical need per country (approach 1); and based on country income status (approach 2). Indirect costs with current levels of access and local quality, and those if quality were at the standards of high-income countries, were estimated. A human capital approach was applied, focusing on the economic burden resulting from premature death and absenteeism. Results: Excess mortality was 4185 per 100 000 cases of appendicitis using approach 1 and 3448 per 100 000 using approach 2. The economic burden of continuing current levels of access and local quality was US $92 492 million using approach 1 and$73 141 million using approach 2. The economic burden of not providing surgical care to the standards of high-income countries was $95 004 million using approach 1 and$75 666 million using approach 2. The largest share of these costs resulted from premature death (97.7 per cent) and lack of access (97.0 per cent) in contrast to lack of quality. Conclusion: For a comparatively non-complex emergency condition such as appendicitis, increasing access to care should be prioritized. Although improving quality of care should not be neglected, increasing provision of care at current standards could reduce societal costs substantially

Pooled analysis of WHO Surgical Safety Checklist use and mortality after emergency laparotomy

Background The World Health Organization (WHO) Surgical Safety Checklist has fostered safe practice for 10 years, yet its place in emergency surgery has not been assessed on a global scale. The aim of this study was to evaluate reported checklist use in emergency settings and examine the relationship with perioperative mortality in patients who had emergency laparotomy. Methods In two multinational cohort studies, adults undergoing emergency laparotomy were compared with those having elective gastrointestinal surgery. Relationships between reported checklist use and mortality were determined using multivariable logistic regression and bootstrapped simulation. Results Of 12 296 patients included from 76 countries, 4843 underwent emergency laparotomy. After adjusting for patient and disease factors, checklist use before emergency laparotomy was more common in countries with a high Human Development Index (HDI) (2455 of 2741, 89.6 per cent) compared with that in countries with a middle (753 of 1242, 60.6 per cent; odds ratio (OR) 0.17, 95 per cent c.i. 0.14 to 0.21, P <0001) or low (363 of 860, 422 per cent; OR 008, 007 to 010, P <0.001) HDI. Checklist use was less common in elective surgery than for emergency laparotomy in high-HDI countries (risk difference -94 (95 per cent c.i. -11.9 to -6.9) per cent; P <0001), but the relationship was reversed in low-HDI countries (+121 (+7.0 to +173) per cent; P <0001). In multivariable models, checklist use was associated with a lower 30-day perioperative mortality (OR 0.60, 0.50 to 073; P <0.001). The greatest absolute benefit was seen for emergency surgery in low- and middle-HDI countries. Conclusion Checklist use in emergency laparotomy was associated with a significantly lower perioperative mortality rate. Checklist use in low-HDI countries was half that in high-HDI countries.Peer reviewe

Carbapenem resistance expressed by Gram-negative bacilli isolated from a cohort of Libyan patients

Background and objectives: Carbapenem-resistant Enterobacteriaceae (CRE) and other Gram-negative bacteria are among the most common pathogens responsible for both community and hospital acquired infection. The global spread of cephalosporinases in Enterobacteriaceae has led to the increased use of carbapenems resulting in the emergence and rapid spread of CRE. This has become an alarming public health concern, yet the condition in Libya remains unclear. The aim of this study was to obtain a better understanding of CRE strains prevalent in Libyan patients by investigating their phenotypic characteristics and antibiograms. Methods: Gram-negative bacterial species were collected from Misrata Central Hospital, Misrata Cancer Centre and Privet Pathology Laboratories. Clinical samples and swabs were obtained from hospitalised and non-hospitalised patients and from mechanical ventilation and suction machines. Patients who had received antibiotic therapy for at least three days prior to the study were excluded. The identification and characterization of the isolated species were achieved using the growth characteristics on MacConkey and blood agar, spot tests and API 20E or API 20NE biochemical testing systems. Screening for carbapenem resistance was performed using the disk diffusion method with carbapenem 10 μg and cephalosporin 30 μg disks and minimum inhibitory concentrations (MIC) determined using the Sensititre Gram-negative Xtra plate format (GNX2F). All strains demonstrating resistance or reduced susceptibility to one of the four carbapenems were subjected to carbapenememase activity detection using the RAPIDEC CARBA NP test, Modified Hodge test and carbapenem inactivation methods. Results: A total of one hundred and forty isolates representing fourteen bacterial species were isolated from 140 non-duplicated specimens. Clinical specimens included urine samples (96/140, 68.57%), sputum (15/140, 10.71%), surgical wound swabs (18/140, 12.85%), foot swabs from diabetes mellitus (DM) patients (6/140, 4.29%), ear swabs (3/140, 2.14%) and wound swabs (2/140, 1.43%). Thirty-four (24.29%) isolates demonstrated resistance to at least one of the four carbapenems with Klebsiella pneumoniae representing 73.53% (25 isolates) of all carbapenem resistant species, followed by 8.82% for Pseudomonas aeruginosa (3 isolates), 5.88% for both Proteus mirabilis (2 isolates) and Escherichia coli (2 isolates) and 2.94% for both Citrobacter koseri (1 isolate) and Rahnella aquatilis (1 isolate). The other isolates were either susceptible or cephalosporinase producers. Conclusion: This study has revealed the high rate of carbapenem resistance amongst Libyan patients and emphasizes the crucial need for accurate screening, identification and susceptibility testing to prevent further spread of nosocomial and community acquired resistance. This may be achieved through the establishment of antibiotic stewardship programmes along with firm infection control practices.National Research Foundation of South Africa; Libyan GovernmentWeb of Scienc

Mortality of emergency abdominal surgery in high-, middle- and low-income countries

Background: Surgical mortality data are collected routinely in high-income countries, yet virtually no low- or middle-income countries have outcome surveillance in place. The aim was prospectively to collect worldwide mortality data following emergency abdominal surgery, comparing findings across countries with a low, middle or high Human Development Index (HDI). Methods: This was a prospective, multicentre, cohort study. Self-selected hospitals performing emergency surgery submitted prespecified data for consecutive patients from at least one 2-week interval during July to December 2014. Postoperative mortality was analysed by hierarchical multivariable logistic regression. Results: Data were obtained for 10 745 patients from 357 centres in 58 countries; 6538 were from high-, 2889 from middle- and 1318 from low-HDI settings. The overall mortality rate was 1⋅6 per cent at 24 h (high 1⋅1 per cent, middle 1⋅9 per cent, low 3⋅4 per cent; P < 0⋅001), increasing to 5⋅4 per cent by 30 days (high 4⋅5 per cent, middle 6⋅0 per cent, low 8⋅6 per cent; P < 0⋅001). Of the 578 patients who died, 404 (69⋅9 per cent) did so between 24 h and 30 days following surgery (high 74⋅2 per cent, middle 68⋅8 per cent, low 60⋅5 per cent). After adjustment, 30-day mortality remained higher in middle-income (odds ratio (OR) 2⋅78, 95 per cent c.i. 1⋅84 to 4⋅20) and low-income (OR 2⋅97, 1⋅84 to 4⋅81) countries. Surgical safety checklist use was less frequent in low- and middle-income countries, but when used was associated with reduced mortality at 30 days. Conclusion: Mortality is three times higher in low- compared with high-HDI countries even when adjusted for prognostic factors. Patient safety factors may have an important role. Registration number: NCT02179112 (http://www.clinicaltrials.gov)