Translating model simulators to analysis models

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-78743-3_6Proceedings of 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008.We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph transformation rules. The approach is geared to the generation of transformations from Domain-Specific Visual Languages (DSVLs) into semantic domains with an explicit notion of transition, like for example Petri nets. The generated transformation is expressed in the form of operational triple graph grammar rules that transform the static information (initial model) and the dynamics (source rules and their execution control structure). We illustrate these techniques with a DSVL in the domain of production systems, for which we generate a transformation into Petri nets.Work sponsored by the Spanish Ministry of Science and Education, project MOSAIC (TSI2005-08225-C07-06

Gastric Helicobacter infection induces iron deficiency in the INS-GAS mouse

There is increasing evidence from clinical and population studies for a role of H. pylori infection in the aetiology of iron deficiency. Rodent models of Helicobacter infection are helpful for investigating any causal links and mechanisms of iron deficiency in the host. The aim of this study was to investigate the effects of gastric Helicobacter infection on iron deficiency and host iron metabolism/transport gene expression in hypergastrinemic INS-GAS mice. INS-GAS mice were infected with Helicobacter felis for 3, 6 and 9 months. At post mortem, blood was taken for assessment of iron status and gastric mucosa for pathology, immunohistology and analysis of gene expression. Chronic Helicobacter infection of INS- GAS mice resulted in decreased serum iron, transferrin saturation and hypoferritinemia and increased Total iron binding capacity (TIBC). Decreased serum iron concentrations were associated with a concomitant reduction in the number of parietal cells, strengthening the association between hypochlorhydria and gastric Helicobacter-induced iron deficiency. Infection with H. felis for nine months was associated with decreased gastric expression of iron metabolism regulators hepcidin, Bmp4 and Bmp6 but increased expression of Ferroportin 1, the iron efflux protein, iron absorption genes such as Divalent metal transporter 1, Transferrin receptor 1 and also Lcn2 a siderophore-binding protein. The INS-GAS mouse is therefore a useful model for studying Helicobacter-induced iron deficiency. Furthermore, the marked changes in expression of gastric iron transporters following Helicobacter infection may be relevant to the more rapid development of carcinogenesis in the Helicobacter infected INS-GAS model

The association of hydration status with physical signs, symptoms and survival in advanced cancer-The use of Bioelectrical Impedance Vector Analysis (BIVA) technology to evaluate fluid volume in palliative care: An observational study

Background Hydration in advanced cancer is a controversial area; however, current hydration assessments methods are poorly developed. Bioelectrical impedance vector analysis (BIVA) is an accurate hydration tool; however its application in advanced cancer has not been explored. This study used BIVA to evaluate hydration status in advanced cancer to examine the association of fluid status with symptoms, physical signs, renal biochemical measures and survival. Materials and methods An observational study of 90 adults with advanced cancer receiving care in a UK specialist palliative care inpatient unit was conducted. Hydration status was assessed using BIVA in addition to assessments of symptoms, physical signs, performance status, renal biochemical measures, oral fluid intake and medications. The association of clinical variables with hydration was evaluated using regression analysis. A survival analysis was conducted to examine the influence of hydration status and renal failure. Results The hydration status of participants was normal in 43 (47.8%), 'more hydrated' in 37 (41.1%) and 'less hydrated' in 10 (11.1%). Lower hydration was associated with increased symptom intensity (Beta = -0.29, p = 0.04) and higher scores for physical signs associated with dehydration (Beta = 10.94, p = 0.02). Higher hydration was associated with oedema (Beta = 2.55, p<0.001). Median survival was statistically significantly shorter in 'less hydrated' patients (44 vs. 68 days; p = 0.049) and in pre-renal failure (44 vs. 100 days; p = 0.003). Conclusions In advanced cancer, hydration status was associated with clinical signs and symptoms. Hydration status and pre-renal failure were independent predictors of survival. Further studies can establish the utility of BIVA as a standardised hydration assessment tool and explore its potential research application, in order to inform the clinical management of fluid balance in patients with advanced cancer

Netazepide inhibits expression of Pappalysin 2 in type-1 gastric neuroendocrine tumors

Background & Aims: In patients with autoimmune atrophic gastritis and achlorhydria, hypergastrinemia is associated with the development of type 1 gastric neuroendocrine tumors (gNETs). Twelve months of treatment with netazepide (YF476), an antagonist of the cholecystokinin B receptor (CCKBR or CCK2R), eradicated some type 1 gNETs in patients. We investigated the mechanisms by which netazepide induced gNET regression using gene expression profiling. Methods: We obtained serum samples and gastric corpus biopsy specimens from 8 patients with hypergastrinemia and type 1 gNETs enrolled in a phase 2 trial of netazepide. Control samples were obtained from 10 patients without gastric cancer. We used amplified and biotinylated sense-strand DNA targets from total RNA and Affymetrix (Thermofisher Scientific, UK) Human Gene 2.0 ST microarrays to identify differentially expressed genes in stomach tissues from patients with type 1 gNETs before, during, and after netazepide treatment. Findings were validated in a human AGS GR gastric adenocarcinoma cell line that stably expresses human CCK2R, primary mouse gastroids, transgenic hypergastrinemic INS-GAS mice, and patient samples. Results: Levels of pappalysin 2 (PAPPA2) messenger RNA were reduced significantly in gNET tissues from patients receiving netazepide therapy compared with tissues collected before therapy. PAPPA2 is a metalloproteinase that increases the bioavailability of insulin-like growth factor (IGF) by cleaving IGF binding proteins (IGFBPs). PAPPA2 expression was increased in the gastric corpus of patients with type 1 gNETs, and immunohistochemistry showed localization in the same vicinity as CCK2R-expressing enterochromaffin-like cells. Up-regulation of PAPPA2 also was found in the stomachs of INS-GAS mice. Gastrin increased PAPPA2 expression with time and in a dose-dependent manner in gastric AGS GR cells and mouse gastroids by activating CCK2R. Knockdown of PAPPA2 in AGS GR cells with small interfering RNAs significantly decreased their migratory response and tissue remodeling in response to gastrin. Gastrin altered the expression and cleavage of IGFBP3 and IGFBP5. Conclusions: In an analysis of human gNETS and mice, we found that gastrin up-regulates the expression of gastric PAPPA2. Increased PAPPA2 alters IGF bioavailability, cell migration, and tissue remodeling, which are involved in type 1 gNET development. These effects are inhibited by netazepide

Renal defects in KCNE1 knockout mice are mimicked by chromanol 293B in vivo: identification of a KCNE1-regulated K+ conductance in the proximal tubule

The kidney plays a critical role in regulating body fluid volume and blood pressure by conserving ions, solutes and water. Knowing the processes that underpin the handling of ions, solutes and water by the kidney is essential to our understanding of fluid and blood pressure regulation. Movement of ions is mediated by specific transport proteins found in the membranes of kidney cells. These proteins are regulated by additional proteins, called accessory proteins. In the current study, we have examined the role of the accessory protein KCNE1 in regulating a channel, KCNQ1, which is important in kidney function. We have observed that in the absence of KCNE1 the kidney has difficulty conserving sodium, chloride and water. However, by using specific inhibitors of these proteins we have also determined that although KCNE1 has a role in kidney function, the mechanism of its action is unlikely to be by regulating the protein KCNQ1. Abstract KCNE1 is a protein of low molecular mass that is known to regulate the chromanol 293B and clofilium-sensitive K + channel, KCNQ1, in a number of tissues. Previous work on the kidney of KCNE1 and KCNQ1 knockout mice has revealed that these animals have different renal phenotypes, suggesting that KCNE1 may not regulate KCNQ1 in the renal system. In the current study, in vivo clearance approaches and whole cell voltage-clamp recordings from isolated renal proximal tubules were used to examine the physiological role of KCNE1. Data from wild-type mice were compared to those from KCNE1 knockout mice. In clearance studies the KCNE1 knockout mice had an increased fractional excretion of Na +, Cl -, HCO 3 - and water. This profile was mimicked in wild-type mice by infusion of chromanol 293B, while chromanol was without effect in KCNE1 knockout animals. Clofilium also increased the fractional excretion of Na +, Cl - and water, but this was observed in both wild-type and knockout mice, suggesting that KCNE1 was regulating a chromanol-sensitive but clofilium-insensitive pathway. In whole cell voltage clamp recordings from proximal tubules, a chromanol-sensitive, K +-selective conductance was identified that was absent in tubules from knockout animals. The properties of this conductance were not consistent with its being mediated by KCNQ1, suggesting that KCNE1 regulates another K + channel in the renal proximal tubule. Taken together these data suggest that KCNE1 regulates a K +-selective conductance in the renal proximal tubule that plays a relatively minor role in driving the transport of Na +, Cl - and HCO 3 -. © 2011 The Authors. Journal compilation © 2011 The Physiological Society

Tomographic Probability Representation for States of Charge moving in Varying Field

The coherent and Fock states of a charge moving in varying homogeneous magnetic field are studied in the tomographic probability representation of quantum mechanics. The states are expressed in terms of quantum tomograms. The coherent states tomograms are shown to be described by normal distributions with varying dispersions and means. The Fock state tomograms are given in the form of probability distributions described by multivariable Hermite polynomials with time-dependent arguments.Comment: 12 pages, submitted to "Optics and Spectroscopy

Electrification Scenarios

n/

Risk factors and vectors for SARS-CoV-2 household transmission: a prospective, longitudinal cohort study

Background Despite circumstantial evidence for aerosol and fomite spread of SARS-CoV-2, empirical data linking either pathway with transmission are scarce. Here we aimed to assess whether the presence of SARS-CoV-2 on frequently-touched surfaces and residents' hands was a predictor of SARS-CoV-2 household transmission. Methods In this longitudinal cohort study, during the pre-alpha (September to December, 2020) and alpha (B.1.1.7; December, 2020, to April, 2021) SARS-CoV-2 variant waves, we prospectively recruited contacts from households exposed to newly diagnosed COVID-19 primary cases, in London, UK. To maximally capture transmission events, contacts were recruited regardless of symptom status and serially tested for SARS-CoV-2 infection by RT-PCR on upper respiratory tract (URT) samples and, in a subcohort, by serial serology. Contacts' hands, primary cases' hands, and frequently-touched surface-samples from communal areas were tested for SARS-CoV-2 RNA. SARS-CoV-2 URT isolates from 25 primary case-contact pairs underwent whole-genome sequencing (WGS). Findings From Aug 1, 2020, until March 31, 2021, 620 contacts of PCR-confirmed SARS-CoV-2-infected primary cases were recruited. 414 household contacts (from 279 households) with available serial URT PCR results were analysed in the full household contacts' cohort, and of those, 134 contacts with available longitudinal serology data and not vaccinated pre-enrolment were analysed in the serology subcohort. Household infection rate was 28·4% (95% CI 20·8–37·5) for pre-alpha-exposed contacts and 51·8% (42·5–61·0) for alpha-exposed contacts (p=0·0047). Primary cases' URT RNA viral load did not correlate with transmission, but was associated with detection of SARS-CoV-2 RNA on their hands (p=0·031). SARS-CoV-2 detected on primary cases' hands, in turn, predicted contacts' risk of infection (adjusted relative risk [aRR]=1·70 [95% CI 1·24–2·31]), as did SARS-CoV-2 RNA presence on household surfaces (aRR=1·66 [1·09–2·55]) and contacts' hands (aRR=2·06 [1·57–2·69]). In six contacts with an initial negative URT PCR result, hand-swab (n=3) and household surface-swab (n=3) PCR positivity preceded URT PCR positivity. WGS corroborated household transmission. Interpretation Presence of SARS-CoV-2 RNA on primary cases' and contacts' hands and on frequently-touched household surfaces associates with transmission, identifying these as potential vectors for spread in households. Funding National Institute for Health Research Health Protection Research Unit in Respiratory Infections, Medical Research Council