Modeling and Analyzing Faults to Improve Election Process Robustness

This paper presents an approach for continuous process improvement and illustrates its application to improving the robustness of election processes. In this approach, the Little-JIL process definition language is used to create a precise and detailed model of an election process. Given this process model and a potential undesirable event, or hazard, a fault tree is automatically derived. Fault tree analysis is then used to automatically identify combinations of failures that might allow the selected potential hazard to occur. Once these combinations have been identified, we iteratively improve the process model to increase the robustness of the election process against those combinations that seem the most likely to occur. We demonstrate this approach for the Yolo County election process. We focus our analysis on the ballot counting process and what happens when a discrepancy is found during the count. We identify two single points of failure (SPFs) in this process and propose process modifications that we then show remove these SPFs

Pre-Treatment With Glucagon-Like Peptide-1 Protects Against Ischemic Left Ventricular Dysfunction and Stunning Without a Detected Difference in Myocardial Substrate Utilization

AbstractObjectivesThis study sought to determine whether pre-treatment with intravenous glucagon-like peptide-1 (GLP-1)(7-36) amide could alter myocardial glucose use and protect the heart against ischemic left ventricular (LV) dysfunction during percutaneous coronary intervention.BackgroundGLP-1 has been shown to have favorable cardioprotective effects, but its mechanisms of action remain unclear.MethodsTwenty patients with preserved LV function and single-vessel left anterior descending coronary artery disease undergoing elective percutaneous coronary intervention were studied. A conductance catheter was placed into the LV, and pressure-volume loops were recorded at baseline, during 1-min low-pressure balloon occlusion (BO), and at 30-min recovery. Patients were randomized to receive an infusion of either GLP-1(7-36) amide at 1.2 pmol/kg/min or saline immediately after baseline measurements. Simultaneous coronary artery and coronary sinus blood sampling was performed at baseline and after BO to assess transmyocardial glucose concentration gradients.ResultsBO caused both ischemic LV dysfunction and stunning in the control group but not in the GLP-1 group. Compared with control subjects, the GLP-1 group had a smaller reduction in LV performance during BO (delta dP/dTmax, –4.3 vs. –19.0%, p = 0.02; delta stroke volume, –7.8 vs. –26.4%, p = 0.05), and improved LV performance at 30-min recovery. There was no difference in transmyocardial glucose concentration gradients between the 2 groups.ConclusionsPre-treatment with GLP-1(7-36) amide protects the heart against ischemic LV dysfunction and improves the recovery of function during reperfusion. This occurs without a detected change in myocardial glucose extraction and may indicate a mechanism of action independent of an effect on cardiac substrate use. (Effect of Glucgon-Like-Peptide-1 [GLP-1] on Left Ventricular Function During Percutaneous Coronary Intervention [PCI]; ISRCTN77442023

Human candidate gene polymorphisms and risk of severe malaria in children in Kilifi, Kenya: a case-control association study

Background: Human genetic factors are important determinants of malaria risk. We investigated associations between multiple candidate polymorphisms—many related to the structure or function of red blood cells—and risk for severe Plasmodium falciparum malaria and its specific phenotypes, including cerebral malaria, severe malaria anaemia, and respiratory distress. Methods: We did a case-control study in Kilifi County, Kenya. We recruited as cases children presenting with severe malaria to the high-dependency ward of Kilifi County Hospital. We included as controls infants born in the local community between Aug 1, 2006, and Sept 30, 2010, who were part of a genetics study. We tested for associations between a range of candidate malaria-protective genes and risk for severe malaria and its specific phenotypes. We used a permutation approach to account for multiple comparisons between polymorphisms and severe malaria. We judged p values less than 0·005 significant for the primary analysis of the association between candidate genes and severe malaria. Findings: Between June 11, 1995, and June 12, 2008, 2244 children with severe malaria were recruited to the study, and 3949 infants were included as controls. Overall, 263 (12%) of 2244 children with severe malaria died in hospital, including 196 (16%) of 1233 with cerebral malaria. We investigated 121 polymorphisms in 70 candidate severe malaria-associated genes. We found significant associations between risk for severe malaria overall and polymorphisms in 15 genes or locations, of which most were related to red blood cells: ABO, ATP2B4, ARL14, CD40LG, FREM3, INPP4B, G6PD, HBA (both HBA1 and HBA2), HBB, IL10, LPHN2 (also known as ADGRL2), LOC727982, RPS6KL1, CAND1, and GNAS. Combined, these genetic associations accounted for 5·2% of the variance in risk for developing severe malaria among individuals in the general population. We confirmed established associations between severe malaria and sickle-cell trait (odds ratio [OR] 0·15, 95% CI 0·11–0·20; p=2·61 × 10−58), blood group O (0·74, 0·66–0·82; p=6·26 × 10−8), and –α3·7-thalassaemia (0·83, 0·76–0·90; p=2·06 × 10−6). We also found strong associations between overall risk of severe malaria and polymorphisms in both ATP2B4 (OR 0·76, 95% CI 0·63–0·92; p=0·001) and FREM3 (0·64, 0·53–0·79; p=3·18 × 10−14). The association with FREM3 could be accounted for by linkage disequilibrium with a complex structural mutation within the glycophorin gene region (comprising GYPA, GYPB, and GYPE) that encodes for the rare Dantu blood group antigen. Heterozygosity for Dantu was associated with risk for severe malaria (OR 0·57, 95% CI 0·49–0·68; p=3·22 × 10−11), as was homozygosity (0·26, 0·11–0·62; p=0·002). Interpretation: Both ATP2B4 and the Dantu blood group antigen are associated with the structure and function of red blood cells. ATP2B4 codes for plasma membrane calcium-transporting ATPase 4 (the major calcium pump on red blood cells) and the glycophorins are ligands for parasites to invade red blood cells. Future work should aim at uncovering the mechanisms by which these polymorphisms can result in severe malaria protection and investigate the implications of these associations for wider health. Funding: Wellcome Trust, UK Medical Research Council, European Union, and Foundation for the National Institutes of Health as part of the Bill & Melinda Gates Grand Challenges in Global Health Initiative

Glucagon-like peptide-1 derived cardioprotection does not utilize a KATP-channel dependent pathway: mechanistic insights from human supply and demand ischemia studies.

BACKGROUND: Glucagon-like peptide-1 (7-36) amide (GLP-1) protects against stunning and cumulative left ventricular dysfunction in humans. The mechanism remains uncertain but GLP-1 may act by opening mitochondrial K-ATP channels in a similar fashion to ischemic conditioning. We investigated whether blockade of K-ATP channels with glibenclamide abrogated the protective effect of GLP-1 in humans. METHODS: Thirty-two non-diabetic patients awaiting stenting of the left anterior descending artery (LAD) were allocated into 4 groups (control, glibenclamide, GLP-1, and GLP-1 + glibenclamide). Glibenclamide was given orally prior to the procedure. A left ventricular conductance catheter recorded pressure-volume loops during a 1-min low-pressure balloon occlusion (BO1) of the LAD. GLP-1 or saline was then infused for 30-min followed by a further 1-min balloon occlusion (BO2). In a non-invasive study, 10 non-diabetic patients were randomized to receive two dobutamine stress echocardiograms (DSE) during GLP-1 infusion with or without oral glibenclamide pretreatment. RESULTS: GLP-1 prevented stunning even with glibenclamide pretreatment; the Δ % dP/dtmax 30-min post-BO1 normalized to baseline after GLP-1: 0.3 ± 6.8 % (p = 0.02) and GLP-1 + glibenclamide: -0.8 ± 9.0 % (p = 0.04) compared to control: -11.5 ± 10.0 %. GLP-1 also reduced cumulative stunning after BO2: -12.8 ± 10.5 % (p = 0.02) as did GLP-1 + glibenclamide: -14.9 ± 9.2 % (p = 0.02) compared to control: -25.7 ± 9.6 %. Glibenclamide alone was no different to control. Glibenclamide pretreatment did not affect global or regional systolic function after GLP-1 at peak DSE stress (EF 74.6 ± 6.4 vs. 74.0 ± 8.0, p = 0.76) or recovery (EF 61.9 ± 5.7 vs. 61.4 ± 5.6, p = 0.74). CONCLUSIONS: Glibenclamide pretreatment does not abrogate the protective effect of GLP-1 in human models of non-lethal myocardial ischemia. Trial registration Clinicaltrials.gov Unique Identifier: NCT02128022

Follicle size on day of trigger most likely to yield a mature oocyte

Funding: MRC, BBSRC and NIHR and supported by the NIHR/Wellcome Trust Imperial Clinical Research Facility and Imperial Biomedical Research Centre.Objective: To identify follicle sizes on the day of trigger most likely to yield a mature oocyte following hCG, GnRH agonist (GnRHa), or kisspeptin during IVF treatment. Design: Retrospective analysis to determine the size of follicles on day of trigger contributing most to the number of mature oocytes retrieved using generalized linear regression and random forest models applied to data from IVF cycles (2014–2017) in which either hCG, GnRHa, or kisspeptin trigger was used. Setting: HCG and GnRHa data were collected at My Duc Hospital, Ho Chi Minh City, Vietnam, and kisspeptin data were collected at Hammersmith Hospital, London, UK. Patients: Four hundred and forty nine women aged 18–38 years with antral follicle counts 4–87 were triggered with hCG (n = 161), GnRHa (n = 165), or kisspeptin (n = 173). Main outcome measure: Follicle sizes on the day of trigger most likely to yield a mature oocyte. Results: Follicles 12–19 mm on the day of trigger contributed the most to the number of oocytes and mature oocytes retrieved. Comparing the tertile of patients with the highest proportion of follicles on the day of trigger 12–19 mm, with the tertile of patients with the lowest proportion within this size range, revealed increases of 4.7 mature oocytes for hCG (P < 0.0001) and 4.9 mature oocytes for GnRHa triggering (P < 0.01). Using simulated follicle size profiles of patients with 20 follicles on the day of trigger, our model predicts that the number of oocytes retrieved would increase from a mean 9.8 (95% prediction limit 9.3–10.3) to 14.8 (95% prediction limit 13.3–16.3) oocytes due to the difference in follicle size profile alone. Conclusion: Follicles 12–19 mm on the morning of trigger administration were most likely to yield a mature oocyte following hCG, GnRHa, or kisspeptin.Publisher PDFPeer reviewe

Nanoscale phase-engineering of thermal transport with a Josephson heat modulator

Macroscopic quantum phase coherence has one of its pivotal expressions in the Josephson effect [1], which manifests itself both in charge [2] and energy transport [3-5]. The ability to master the amount of heat transferred through two tunnel-coupled superconductors by tuning their phase difference is the core of coherent caloritronics [4-6], and is expected to be a key tool in a number of nanoscience fields, including solid state cooling [7], thermal isolation [8, 9], radiation detection [7], quantum information [10, 11] and thermal logic [12]. Here we show the realization of the first balanced Josephson heat modulator [13] designed to offer full control at the nanoscale over the phase-coherent component of thermal currents. Our device provides magnetic-flux-dependent temperature modulations up to 40 mK in amplitude with a maximum of the flux-to-temperature transfer coefficient reaching 200 mK per flux quantum at a bath temperature of 25 mK. Foremost, it demonstrates the exact correspondence in the phase-engineering of charge and heat currents, breaking ground for advanced caloritronic nanodevices such as thermal splitters [14], heat pumps [15] and time-dependent electronic engines [16-19].Comment: 6+ pages, 4 color figure

Author Correction: Rapidly-migrating and internally-generated knickpoints can control submarine channel evolution (Nature Communications, (2020), 11, 1, (3129), 10.1038/s41467-020-16861-x)

© 2020, The Author(s). The original version of this Article contained an error in the labelling of the cross-section in Fig. 2g and the vertical axis in Fig. 2b. This has been corrected in both the PDF and HTML versions of the Article

The effects of kisspeptin on β-cell function, serum metabolites and appetite in humans

Aims: To investigate the effect of kisspeptin on glucose-stimulated insulin secretion and appetite in humans. Materials and methods: In 15 healthy men (age: 25.2 ± 1.1 years; BMI: 22.3 ± 0.5 kg m−2), we compared the effects of 1 nmol kg−1 h−1 kisspeptin versus vehicle administration on glucose-stimulated insulin secretion, metabolites, gut hormones, appetite and food intake. In addition, we assessed the effect of kisspeptin on glucose-stimulated insulin secretion in vitro in human pancreatic islets and a human β-cell line (EndoC-βH1 cells). Results: Kisspeptin administration to healthy men enhanced insulin secretion following an intravenous glucose load, and modulated serum metabolites. In keeping with this, kisspeptin increased glucose-stimulated insulin secretion from human islets and a human pancreatic cell line in vitro. In addition, kisspeptin administration did not alter gut hormones, appetite or food intake in healthy men. Conclusions: Collectively, these data demonstrate for the first time a beneficial role for kisspeptin in insulin secretion in humans in vivo. This has important implications for our understanding of the links between reproduction and metabolism in humans, as well as for the ongoing translational development of kisspeptin-based therapies for reproductive and potentially metabolic conditions

A holistic and comprensive data approach validates the distribution of the critically endangered flapper skate (Dipturus intermedius)

Morphological similarities between skates of the genus Dipturus in the north-eastern Atlantic and mediterranean have resulted in longstanding confusion, misidentification and misreporting. Current evidence indicates that the common skate is best explained as two species, the flapper skate (Dipturus intermedius) and the common blue skate (D. batis). However, some management and conservation initiatives developed prior to the separation continue to refer to common skate (as ‘D. batis’). This taxonomic uncertainty can lead to errors in estimating population viability, distribution range, and impact on fisheries management and conservation status. Here, we demonstrate how a concerted taxonomic approach, using molecular data and a combination of survey, angler and fisheries data, in addition to expert witness statements, can be used to build a higher resolution picture of the current distribution of D. intermedius. Collated data indicate that flapper skate has a more constrained distribution compared to the perceived distribution of the ‘common skate’, with most observations recorded from Norway and the western and northern seaboards of Ireland and Scotland, with occasional specimens from Portugal and the Azores. Overall, the revised spatial distribution of D. intermedius has significantly reduced the extant range of the species, indicating a possibly fragmented distribution range.acceptedVersio

Effect of an audiovisual message for tetanus booster vaccination broadcast in the waiting room

<p>Abstract</p> <p>Background</p> <p>General practitioners (GPs) often lack time and resources to invest in health education; audiovisual messages broadcast in the waiting room may be a useful educational tool. This work was designed to assess the effect of a message inviting patients to ask for a tetanus booster vaccination.</p> <p>Methods</p> <p>A quasi experimental study was conducted in a Belgian medical practice consisting of 6 GPs and 4 waiting rooms (total: 20,000 contacts/year). A tetanus booster vaccination audiovisual message was continuously broadcast for 6 months in 2 randomly selected waiting rooms (intervention group - 3 GPs) while the other 2 waiting rooms remained unequipped (control group - 3 GPs). At the end of the 6-month period, the number of vaccine adult-doses delivered by local pharmacies in response to GPs' prescriptions was recorded. As a reference, the same data were also collected retrospectively for the general practice during the same 6-month period of the previous year.</p> <p>Results</p> <p>During the 6-month reference period where no audiovisual message was broadcast in the 4 waiting rooms, the number of prescriptions presented for tetanus vaccines was respectively 52 (0.44%) in the intervention group and 33 (0.38%) in the control group (p = 0.50). By contrast, during the 6-month study period, the number of prescriptions differed between the two groups (p < 0.0001), rising significantly to 91 (0.79%) in the intervention group (p = 0.0005) while remaining constant in the control group (0.38% vs 0.39%; p = 0.90).</p> <p>Conclusions</p> <p>Broadcasting an audiovisual health education message in the GPs' waiting room was associated with a significant increase in the number of adult tetanus booster vaccination prescriptions delivered by local pharmacies.</p