University of Sheffield: Description of the LaSIE System as Used for MUC-6

more generally, natural languag e engineering. LaSIE is a single, integrated system that builds up a unified model of a text which is then used t

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

How to organize secondary capital city regions: Institutional drivers of locational policy coordination

We analyze locational policy coordination in the metropolitan regions of secondary capital cities. Secondary capital cities - defined as capitals that are not the primary economic city of their nation states - serve as the political center of their nation states; however, they must simultaneously explore new ways to develop their own regional economies. Locational policies, and their regional coordination, aim to strengthen the economic competitiveness of metropolitan regions. Our comparison of the metropolitan regions of Bern, Ottawa–Gatineau, The Hague, and Washington, D.C., reveals that vertical institutional fragmentation, together with high local tax autonomy, create an unlevel playing field, which prompts jurisdictions to behave fiercely in regional tax competition. These findings are troubling for secondary capital cities given their propensity to be located in fragmented metropolitan regions and the capital city‐specific local tax autonomy constraints imposed on them

Incidence and cost of medication harm in older adults following hospital discharge: a multicentre prospective study in the UK

Aims Polypharmacy is increasingly common in older adults, placing them at risk of medication-related harm (MRH). Patients are particularly vulnerable to problems with their medications in the period following hospital discharge due to medication changes, and poor information transfer between hospital and primary care. The aim of this study was to investigate the incidence, severity, preventablitiy and cost of medication-relate harm (MRH) in older adults in England post-discharge. Methods An observational multicentre prospective cohort study recruited 1280 older adults (median age 82 years) from five teaching hospitals in Southern England, UK. Participants were followed up for eight weeks by senior pharmacists, using 3 data sources (hospital readmission review, participant telephone interview and primary care records), to identify MRH and associate health service utilisation. Results Four hundred and thirteen participants (37%) experienced MRH (556 MRH events per 1000 discharges). Three hundred and thirty-six (81%) cases were serious, and 214 (52%) potentially preventable. Four participants experienced fatal MRH. The most common MRH events were gastrointestinal (n=158, 25%) and neurological (n=111, 18%). Medicine classes associate with the highest risk of MRH were opiates, antibiotics, and benzodiazepines. Three hundred and twenty-eight (79%) participants with MRH sought healthcare over the eight-week follow-up. The incidence of MRH associated hospital readmission was 78 per 10000 discharges. Post-dischare MRH in older adults is estimated to cost the National Health Service £396 million annually, f which £243 million is potentially preventable. Conclusions MRH is common in older adults following hospital discharge, and results in substantial use of healthcare resources

Corporate governance compliance and disclosure in the banking sector: using data from Japan

Using regression model this study investigates which characteristics of a bank is associated with the extent of corporate governance disclosure in Japan. The findings suggest that on average 8 banks out of a sample of 46 disclose optimal corporate governance information. The regression model results reveal in general that non-executive directors, cross-ownership, capital adequacy ratio and type of auditors are associated with the extent of corporate governance disclosure. Of these four variables, non-executive directors have a more significant impact on the extent of disclosure contrary to total assets and audit firms of banks in the context of Japan. The findings of this paper are relevant for corporate regulators, professional associations and developers of corporate governance code when designing or updating corporate governance code

Roy-Steiner-equation analysis of pion-nucleon scattering

We review the structure of Roy-Steiner equations for pion-nucleon scattering, the solution for the partial waves of the t-channel process $\pi\pi\to \bar N N$, as well as the high-accuracy extraction of the pion-nucleon S-wave scattering lengths from data on pionic hydrogen and deuterium. We then proceed to construct solutions for the lowest partial waves of the s-channel process $\pi N\to \pi N$ and demonstrate that accurate solutions can be found if the scattering lengths are imposed as constraints. Detailed error estimates of all input quantities in the solution procedure are performed and explicit parameterizations for the resulting low-energy phase shifts as well as results for subthreshold parameters and higher threshold parameters are presented. Furthermore, we discuss the extraction of the pion-nucleon $\sigma$-term via the Cheng-Dashen low-energy theorem, including the role of isospin-breaking corrections, to obtain a precision determination consistent with all constraints from analyticity, unitarity, crossing symmetry, and pionic-atom data. We perform the matching to chiral perturbation theory in the subthreshold region and detail the consequences for the chiral convergence of the threshold parameters and the nucleon mass.Comment: 101 pages, 28 figures; journal versio

Transgenerational plasticity and selection shape the adaptive potential of sticklebacks to salinity change

In marine climate change research, salinity shifts have been widely overlooked. While widespread desalination effects are expected in higher latitudes, salinity is predicted to increase closer to the equator. Here, we use the steep salinity gradient of the Baltic Sea as a space‐for time design to address effects of salinity change on populations. Additionally, genetic diversity, a prerequisite for adaptive responses, is reduced in Baltic compared to Atlantic populations. On the one hand, adaptive transgenerational plasticity (TGP) might buffer the effects of environmental change, which may be of particular importance under reduced genetic variation. On the other hand, physiological trade‐offs due to environmental stress may hamper parental provisioning to offspring thereby intensifying the impact of climate change across generations (non‐adaptive TGP). Here, we studied both hypothesis of adaptive and non‐adaptive TGP in the three‐spined stickleback (Gasterosteus aculeatus) fish model along the strong salinity gradient of the Baltic Sea in a space‐for‐time experiment. Each population tolerated desalination well, which was not altered by parental exposure to low salinity. Despite a common marine ancestor, populations locally adapted to low salinity lost their ability to cope with fully marine conditions, resulting in lower survival and reduced relative fitness. Negative transgenerational effects were evident in early life stages, but disappeared after selection via mortality occurred during the first 12‐30 days post hatch. Modeling various strengths of selection, we showed that non‐adaptive transgenerational plasticity accelerated evolution by increasing directional selection within the offspring generation. Qualitatively, when genetic diversity is large, we predict that such effects will facilitate rapid adaptation and population persistence, while below a certain threshold populations suffer a higher risk of local extinction. Overall, our results suggest that transgenerational plasticity and selection are not independent of each other and thereby highlight a current gap in TGP studies

Antineoplastic activity of idazoxan hydrochloride

Idazoxan hydrochloride (IDA) is a 241 molecular weight imidazoline and adrenoreceptor ligand. It binds to mitochondrial membranes and promotes apoptosis of pancreatic beta cells. Since IDA has not been tested against tumor cells, the purpose of our study was to determine if IDA has antineoplastic activity. We used the conversion of a soluble tetrazolium salt to an insoluble formazan precipitate and differential staining cytotoxicity assays to determine if IDA was cytotoxic to cell lines of murine lung cancer and human prostate cancer, as well as to a variety of fresh human tumor samples. We used flow cytometry to analyze cell death and calreticulin expression. IDA is cytotoxic to both cell lines and against aliquots of specimens of breast, gastric, lung, ovarian and prostate cancers as well as non-Hodgkin’s lymphoma. It produces apoptotic cell death and promotes calreticulin expression, suggesting that IDA might be immunomodulatory in vivo. We anticipate that IDA will be clinically useful in cancer treatment

Subcellular localization and expression of bamboo mosaic virus satellite RNA-encoded protein

The satellite RNA of bamboo mosaic virus (satBaMV) has a single open reading frame encoding a non-structural protein, P20, which facilitates long-distance movement of satBaMV in BaMV and satBaMV co-infected plants. Immunohistochemistry and immunoelectron microscopy revealed that the P20 protein accumulated in the cytoplasm and nuclei in co-infected cells. P20 and the helper virus coat protein (CP) were highly similar in their subcellular localization, except that aggregates of BaMV virions were not labelled with anti-P20 serum. The BaMV CP protein was fairly abundant in mesophyll cells, whilst P20 was more frequently detected in mesophyll cells and vascular tissues. The expression kinetics of the P20 protein was similar to but slightly earlier than that of CP in co-infected Bambusa oldhamii protoplasts and Nicotiana benthamiana leaves. However, satBaMV-encoded protein levels declined rapidly in the late phase of co-infection. During co-infection, in addition to the intact P20, a low-molecular-mass polypeptide of 16 kDa was identified as a P20 C-terminally truncated product; the possible method of generation of the truncated protein is discussed