Model inference for spreadsheets

Many errors in spreadsheet formulas can be avoided if spreadsheets are built automati- cally from higher-level models that can encode and enforce consistency constraints in the generated spreadsheets. Employing this strategy for legacy spreadsheets is dificult, because the model has to be reverse engineered from an existing spreadsheet and existing data must be transferred into the new model-generated spreadsheet. We have developed and implemented a technique that automatically infers relational schemas from spreadsheets. This technique uses particularities from the spreadsheet realm to create better schemas. We have evaluated this technique in two ways: First, we have demonstrated its appli- cability by using it on a set of real-world spreadsheets. Second, we have run an empirical study with users. The study has shown that the results produced by our technique are comparable to the ones developed by experts starting from the same (legacy) spreadsheet data. Although relational schemas are very useful to model data, they do not t well spreadsheets as they do not allow to express layout. Thus, we have also introduced a mapping between relational schemas and ClassSheets. A ClassSheet controls further changes to the spreadsheet and safeguards it against a large class of formula errors. The developed tool is a contribution to spreadsheet (reverse) engineering, because it lls an important gap and allows a promising design method (ClassSheets) to be applied to a huge collection of legacy spreadsheets with minimal effort.We would like to thank Orlando Belo for his help on running and analyzing the empirical study. We would also like to thank Paulo Azevedo for his help in conducting the statistical analysis of our empirical study. We would also like to thank the anonymous reviewers for their suggestions which helped us to improve the paper. This work is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-010048. The first author was also supported by FCT grant SFRH/BPD/73358/2010

An N-Acetyl Cysteine Ruthenium Tricarbonyl Conjugate Enables Simultaneous Release of CO and Ablation of Reactive Oxygen Species.

We have designed and synthesised a [Ru(CO)3 Cl2 (NAC)] pro-drug that features an N-acetyl cysteine (NAC) ligand. This NAC carbon monoxide releasing molecule (CORM) conjugate is able to simultaneously release biologically active CO and to ablate the concurrent formation of reactive oxygen species (ROS). Complexes of the general formulae [Ru(CO)3 (L)3 ](2+) , including [Ru(CO)3 Cl(glycinate)] (CORM-3), have been shown to produce ROS through a water-gas shift reaction, which contributes significantly, for example, to their antibacterial activity. In contrast, NAC-CORM conjugates do not produce ROS or possess antibacterial activity. In addition, we demonstrate the synergistic effect of CO and NAC both for the inhibition of nitric oxide (formation) and in the expression of tumour-necrosis factor (TNF)-α. This work highlights the advantages of combining a CO-releasing scaffold with the anti-oxidant and anti-inflammatory drug NAC in a unique pro-drug.We thank the EU (Marie Curie CIG to G.J.L.B.), FCT Portugal (FCT Investigator to G.J.L.B.; SFRH/BPD/95253/2013 to J.D.S.) and the EPSRC for funding. The NMR spectrometers are part of The National NMR Facility, supported by Fundação para a Ciência e a Tecnologia (RECI/BBB-BQB/0230/2012). G.J.L.B. is a Royal Society University Research Fellow.This is the final version of the article. It first appeared from Wiley via http://dx.doi.org/10.1002/chem.20150247

NFAT5 Is Activated by Hypoxia: Role in Ischemia and Reperfusion in the Rat Kidney

The current hypothesis postulates that NFAT5 activation in the kidney's inner medulla is due to hypertonicity, resulting in cell protection. Additionally, the renal medulla is hypoxic (10–18 mmHg); however there is no information about the effect of hypoxia on NFAT5. Using in vivo and in vitro models, we evaluated the effect of reducing the partial pressure of oxygen (PO2) on NFAT5 activity. We found that 1) Anoxia increased NFAT5 expression and nuclear translocation in primary cultures of IMCD cells from rat kidney. 2) Anoxia increased transcriptional activity and nuclear translocation of NFAT5 in HEK293 cells. 3) The dose-response curve demonstrated that HIF-1α peaked at 2.5% and NFAT5 at 1% of O2. 4) At 2.5% of O2, the time-course curve of hypoxia demonstrated earlier induction of HIF-1α gene expression than NFAT5. 5) siRNA knockdown of NFAT5 increased the hypoxia-induced cell death. 6) siRNA knockdown of HIF-1α did not affect the NFAT5 induction by hypoxia. Additionally, HIF-1α was still induced by hypoxia even when NFAT5 was knocked down. 7) NFAT5 and HIF-1α expression were increased in kidney (cortex and medulla) from rats subjected to an experimental model of ischemia and reperfusion (I/R). 7) Experimental I/R increased the NFAT5-target gene aldose reductase (AR). 8) NFAT5 activators (ATM and PI3K) were induced in vitro (HEK293 cells) and in vivo (I/R kidneys) with the same timing of NFAT5. 8) Wortmannin, which inhibits ATM and PI3K, reduces hypoxia-induced NFAT5 transcriptional activation in HEK293 cells. These results demonstrate for the first time that NFAT5 is induced by hypoxia and could be a protective factor against ischemic damage

An environmental evaluation of food waste downstream management options: a hybrid LCA approach

Food waste treatment methods have been typically analysed using current energy generation conditions. To correctly evaluate treatment methods, they must be compared under existing and potential decarbonisation scenarios. This paper holistically quantifies the environmental impacts of three food waste downstream management options—incineration, composting, and anaerobic digestion (AD). Methods The assessment was carried out using a novel hybrid input–output-based life cycle assessment method (LCA), for 2014, and in a future decarbonised economy. The method introduces expanded system boundaries which reduced the level of incompleteness, a previous limitation of process-based LCA. Results Using the 2014 UK energy mix, composting achieved the best score for seven of 14 environmental impacts, while AD scored second best for ten. Incineration had the highest environmental burdens in six impacts. Uncertainties in the LCA data made it difficult determine best treatment option. There was significant environmental impact from capital goods, meaning current treatment facilities should be used for their full lifespan. Hybrid IO LCA’s included additional processes and reduced truncation error increasing overall captured environmental impacts of composting, AD, and incineration by 26, 10 and 26%, respectively. Sensitivity and Monte Carlo analysis evaluate the methods robustness and illustrate the uncertainty of current LCA methods. Major implication: hybrid IO-LCA approaches must become the new norm for LCA. Conclusion This study provided a deeper insight of the overall environmental performance of downstream food waste treatment options including ecological burdens associated with capital goods. Keywords Anaerobic digestion Incineration Composting Food waste Hybrid life cycle assessment Capital good

Survival trends for small intestinal cancer in England and Wales, 1971–1990: national population-based study

This population-based study examines prognostic factors and survival trends among adults (15–99 years) diagnosed with small intestinal cancer in England and Wales during 1971–1990 and followed up to 1995. During this period, the 1- and 5-year age-standardised relative survival rates for small intestinal cancers combined were 42% and 23%, respectively. Duodenal tumours, adenocarcinomas, men, patients with advanced age and the most deprived patients had the poorest prognosis. For all small bowel tumours combined, the excess risk of death fell significantly by 6–9% every 4 years over the 20-year period (adjusted excess hazard ratio (EHR) 0.91 at 1 year after diagnosis, 0.94 at 5 years). For duodenal tumours, the EHR fell by about 14% (95% CI 5–22%) every 4 years between 1979 and 1990, and a similar trend for jejunal tumours was of borderline significance. Further population-based investigations linking survival data to individual data on diagnostic methods and types of treatment are needed

Columnar cell lesions of the canine mammary gland: pathological features and immunophenotypic analysis

<p>Abstract</p> <p>Background</p> <p>It has been suggested that columnar cell lesions indicate an alteration of the human mammary gland involved in the development of breast cancer. They have not previously been described in canine mammary gland. The aim of this paper is describe the morphologic spectrum of columnar cell lesions in canine mammary gland specimens and their association with other breast lesions.</p> <p>Methods</p> <p>A total of 126 lesions were subjected to a comprehensive morphological review based upon the human breast classification system for columnar cell lesions. The presence of preinvasive (epithelial hyperplasia and in situ carcinoma) and invasive lesions was determined and immunophenotypic analysis (estrogen receptor (ER), progesterone receptor (PgR), high molecular weight cytokeratin (34βE-12), E-cadherin, Ki-67, HER-2 and P53) was perfomed.</p> <p>Results</p> <p>Columnar cell lesions were identified in 67 (53.1%) of the 126 canine mammary glands with intraepithelial alterations. They were observed in the terminal duct lobular units and characterized at dilated acini may be lined by several layers of columnar epithelial cells with elongated nuclei. Of the columnar cell lesions identified, 41 (61.2%) were without and 26 (38.8%) with atypia. Association with ductal hyperplasia was observed in 45/67 (67.1%). Sixty (89.5%) of the columnar cell lesions coexisted with neoplastic lesions (20 in situ carcinomas, 19 invasive carcinomas and 21 benign tumors). The columnar cells were ER, PgR and E-cadherin positive but negative for cytokeratin 34βE-12, HER-2 and P53. The proliferation rate as measured by Ki-67 appeared higher in the lesions analyzed than in normal TDLUs.</p> <p>Conclusions</p> <p>Columnar cell lesions in canine mammary gland are pathologically and immunophenotypically similar to those in human breast. This may suggest that dogs are a suitable model for the comparative study of noninvasive breast lesions.</p

Improved Control of Tuberculosis and Activation of Macrophages in Mice Lacking Protein Kinase R

Host factors that microbial pathogens exploit for their propagation are potential targets for therapeuic countermeasures. No host enzyme has been identified whose genetic absence benefits the intact mammalian host in vivo during infection with Mycobacterium tuberculosis (Mtb), the leading cause of death from bacterial infection. Here, we report that the dsRNA-dependent protein kinase (PKR) is such an enzyme. PKR-deficient mice contained fewer viable Mtb and showed less pulmonary pathology than wild type mice. We identified two potential mechanisms for the protective effect of PKR deficiency: increased apoptosis of macrophages in response to Mtb and enhanced activation of macrophages in response to IFN-gamma. The restraining effect of PKR on macrophage activation was explained by its mediation of a previously unrecognized ability of IFN-gamma to induce low levels of the macrophage deactivating factor interleukin 10 (IL10). These observations suggest that PKR inhibitors may prove useful as an adjunctive treatment for tuberculosis

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Jet energy measurement with the ATLAS detector in proton-proton collisions at root s=7 TeV

The jet energy scale and its systematic uncertainty are determined for jets measured with the ATLAS detector at the LHC in proton-proton collision data at a centre-of-mass energy of √s = 7TeV corresponding to an integrated luminosity of 38 pb-1. Jets are reconstructed with the anti-kt algorithm with distance parameters R=0. 4 or R=0. 6. Jet energy and angle corrections are determined from Monte Carlo simulations to calibrate jets with transverse momenta pT≥20 GeV and pseudorapidities {pipe}η{pipe}<4. 5. The jet energy systematic uncertainty is estimated using the single isolated hadron response measured in situ and in test-beams, exploiting the transverse momentum balance between central and forward jets in events with dijet topologies and studying systematic variations in Monte Carlo simulations. The jet energy uncertainty is less than 2. 5 % in the central calorimeter region ({pipe}η{pipe}<0. 8) for jets with 60≤pT<800 GeV, and is maximally 14 % for pT<30 GeV in the most forward region 3. 2≤{pipe}η{pipe}<4. 5. The jet energy is validated for jet transverse momenta up to 1 TeV to the level of a few percent using several in situ techniques by comparing a well-known reference such as the recoiling photon pT, the sum of the transverse momenta of tracks associated to the jet, or a system of low-pT jets recoiling against a high-pT jet. More sophisticated jet calibration schemes are presented based on calorimeter cell energy density weighting or hadronic properties of jets, aiming for an improved jet energy resolution and a reduced flavour dependence of the jet response. The systematic uncertainty of the jet energy determined from a combination of in situ techniques is consistent with the one derived from single hadron response measurements over a wide kinematic range. The nominal corrections and uncertainties are derived for isolated jets in an inclusive sample of high-pT jets. Special cases such as event topologies with close-by jets, or selections of samples with an enhanced content of jets originating from light quarks, heavy quarks or gluons are also discussed and the corresponding uncertainties are determined. © 2013 CERN for the benefit of the ATLAS collaboration