General-elimination stability

General-elimination harmony articulates Gentzen's idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies' test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett's notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable.Publisher PDFPeer reviewe

Ionization of Rydberg atoms by blackbody radiation

We have studied an ionization of alkali-metal Rydberg atoms by blackbody radiation (BBR). The results of the theoretical calculations of ionization rates of Li, Na, K, Rb and Cs Rydberg atoms are presented. Calculations have been performed for nS, nP and nD states which are commonly used in a variety of experiments, at principal quantum numbers n=8-65 and at the three ambient temperatures of 77, 300 and 600 K. A peculiarity of our calculations is that we take into account the contributions of BBR-induced redistribution of population between Rydberg states prior to photoionization and field ionization by extraction electric field pulses. The obtained results show that these phenomena affect both the magnitude of measured ionization rates and shapes of their dependences on n. A Cooper minimum for BBR-induced transitions between bound Rydberg states of Li has been found. The calculated ionization rates are compared with our earlier measurements of BBR-induced ionization rates of Na nS and nD Rydberg states with n=8-20 at 300 K. A good agreement for all states except nS with n>15 is observed. Useful analytical formulas for quick estimation of BBR ionization rates of Rydberg atoms are presented. Application of BBR-induced ionization signal to measurements of collisional ionization rates is demonstrated.Comment: 36 pages, 16 figures. Paper is revised following NJP referees' comments and suggestion

Antibody recognition of the glycoprotein g of viral haemorrhagic septicemia virus (VHSV) purified in large amounts from insect larvae

<p>Abstract</p> <p>Background</p> <p>There are currently no purification methods capable of producing the large amounts of fish rhabdoviral glycoprotein G (gpG) required for diagnosis and immunisation purposes or for studying structure and molecular mechanisms of action of this molecule (ie. pH-dependent membrane fusion). As a result of the unavailability of large amounts of the gpG from viral haemorrhagic septicaemia rhabdovirus (VHSV), one of the most dangerous viruses affecting cultured salmonid species, research interests in this field are severely hampered. Previous purification methods to obtain recombinant gpG from VHSV in <it>E. coli</it>, yeast and baculovirus grown in insect cells have not produced soluble conformations or acceptable yields. The development of large-scale purification methods for gpGs will also further research into other fish rhabdoviruses, such as infectious haematopoietic necrosis virus (IHNV), spring carp viremia virus (SVCV), hirame rhabdovirus (HIRRV) and snakehead rhabdovirus (SHRV).</p> <p>Findings</p> <p>Here we designed a method to produce milligram amounts of soluble VHSV gpG. Only the transmembrane and carboxy terminal-deleted (amino acid 21 to 465) gpG was efficiently expressed in insect larvae. Recognition of G21-465 by ß-mercaptoethanol-dependent neutralizing monoclonal antibodies (N-MAbs) and pH-dependent recognition by sera from VHSV-hyperimmunized or VHSV-infected rainbow trout (<it>Oncorhynchus mykiss</it>) was demonstrated.</p> <p>Conclusions</p> <p>Given that the purified G21-465 conserved some of its most important properties, this method might be suitable for the large-scale production of fish rhabdoviral gpGs for use in diagnosis, fusion and antigenicity studies.</p

Ascending aortic aneurysm and aortic valve dysfunction in bicuspid aortic valve disease

BACKGROUND: The relationship of aortic valve dysfunction and ascending aortic aneurysm is unclear in adults with bicuspid aortic valve disease. METHODS: We retrospectively studied 134 consecutive out-patients (98 men, 36 women aged 43+/-18years) with bicuspid aortic valve disease. To investigate the relationship of ascending aortic aneurysm and aortic valve dysfunction we exclusively considered severe pathologies that required treatment by surgical or percutaneous intervention. RESULTS: Of 134 patients, 39 had aortic valve dysfunction without concomitant ascending aortic aneurysm which had been treated previously with isolated valve surgery or percutaneous valvuloplasty comprising 25 patients with aortic stenosis (19%) and 14 patients with aortic regurgitation (10%). Conversely, 26 patients had ascending aortic aneurysm which had been treated previously with aortic surgery (19%). Of these, ascending aortic aneurysm was associated with severe aortic stenosis in 13 patients and with severe aortic regurgitation in 7 patients, whereas aneurysm was unrelated to severe aortic valve dysfunction in the remaining 6 patients including 2 without any degree of aortic valve dysfunction. The maximal aortic diameters were similar at the time of aortic surgery irrespective of presence of severe aortic valve dysfunction (P=.527). Other characteristics of patients with ascending aortic aneurysm were also similar irrespective of presence or type of aortic valve dysfunction. CONCLUSION: The majority of patients with bicuspid aortic valve disease exhibit ascending aortic aneurysm in conjunction with severe aortic valve dysfunction. However, in our study 6 of 134 (5%) of persons with bicuspid aortic valve disease developed ascending aortic aneurysm without aortic valve dysfunction

Holographic renormalization and supersymmetry

Holographic renormalization is a systematic procedure for regulating divergences in observables in asymptotically locally AdS spacetimes. For dual boundary field theories which are supersymmetric it is natural to ask whether this defines a supersymmetric renormalization scheme. Recent results in localization have brought this question into sharp focus: rigid supersymmetry on a curved boundary requires specific geometric structures, and general arguments imply that BPS observables, such as the partition function, are invariant under certain deformations of these structures. One can then ask if the dual holographic observables are similarly invariant. We study this question in minimal N = 2 gauged supergravity in four and five dimensions. In four dimensions we show that holographic renormalization precisely reproduces the expected field theory results. In five dimensions we find that no choice of standard holographic counterterms is compatible with supersymmetry, which leads us to introduce novel finite boundary terms. For a class of solutions satisfying certain topological assumptions we provide some independent tests of these new boundary terms, in particular showing that they reproduce the expected VEVs of conserved charges.Comment: 70 pages; corrected typo

Structural basis for CRISPR RNA-guided DNA recognition by Cascade

The CRISPR (clustered regularly interspaced short palindromic repeats) immune system in prokaryotes uses small guide RNAs to neutralize invading viruses and plasmids. In Escherichia coli, immunity depends on a ribonucleoprotein complex called Cascade. Here we present the composition and low-resolution structure of Cascade and show how it recognizes double-stranded DNA (dsDNA) targets in a sequence-specific manner. Cascade is a 405-kDa complex comprising five functionally essential CRISPR-associated (Cas) proteins (CasA1B2C6D1E1) and a 61-nucleotide CRISPR RNA (crRNA) with 5′-hydroxyl and 2′,3′-cyclic phosphate termini. The crRNA guides Cascade to dsDNA target sequences by forming base pairs with the complementary DNA strand while displacing the noncomplementary strand to form an R-loop. Cascade recognizes target DNA without consuming ATP, which suggests that continuous invader DNA surveillance takes place without energy investment. The structure of Cascade shows an unusual seahorse shape that undergoes conformational changes when it binds target DNA.

Randomised, non-comparative phase II study of weekly docetaxel with cisplatin and 5-fluorouracil or with capecitabine in oesophagogastric cancer: the AGITG ATTAX trial

BACKGROUND: Docetaxel administered 3-weekly with cisplatin and 5-fluorouracil leads to better survival than does standard therapy in patients with oesophagogastric cancer, but leads to high rates of haematological toxicity. Weekly docetaxel is associated with less haematological toxicity. This randomised phase II study tested weekly docetaxel-based combination chemotherapy regimens, with the aim of maintaining their activity while reducing toxicity. METHODS: Patients with histologically confirmed metastatic oesophageal or gastric carcinoma were randomised to receive weekly docetaxel (30 mg m(-2)) on days 1 and 8, cisplatin (60 mg m(-2)) on day 1, and 5-fluorouracil (200 mg m(-2) per day) continuously, every 3 weeks (weekly TCF, wTCF); or docetaxel (30 mg m(-2)) on days 1 and 8 and capecitabine (1600 mg m(-2) per day) on days 1-14, every 3 weeks (weekly TX, wTX). RESULTS: A total of 106 patients were enrolled (wTCF, n=50; wTX, n=56). Response rates, the primary end point, were 47% with wTCF and 26% with wTX. Rates of febrile neutropenia were low in each arm. Median progression-free and overall survival times were 5.9 and 11.2 months for wTCF and 4.6 and 10.1 months for wTX, respectively. CONCLUSION: Weekly TCF and TX have encouraging activity and less haematological toxicity than TCF administered 3-weekly. Weekly docetaxel-based combination regimens warrant further evaluation in this disease

Cetuximab plus oxaliplatin/leucovorin/5-fluorouracil in first-line metastatic gastric cancer: a phase II study of the Arbeitsgemeinschaft Internistische Onkologie (AIO)

BACKGROUND: Cetuximab enhances the efficacy of chemotherapy in several cancer types. This trial assessed the activity of cetuximab and chemotherapy in advanced gastric cancer. METHODS: Patients with previously untreated, metastatic, gastric cancer received cetuximab 400 mg m(-2) at first infusion followed by weekly infusions of 250 mg m(-2) combined with FUFOX (oxaliplatin 50 mg m(-2), 5-FU 2000 mg m(-2), and DL-folinic acid 200 mg m(-2) d1, 8, 15 and 22 qd36). The primary endpoint was tumour response. RESULTS: Overall, 52 patients were enrolled. The most common grade 3/4 toxicities were diarrhoea (33%), and skin toxicity (24%). Efficacy was evaluable in 46 patients who showed a response rate of 65% (CI 95%: 50-79%) including four complete responses. Time to progression (TTP) was 7.6 months (CI 95%: 5.0-10.1 months) and overall survival (OS) was 9.5 months (CI 95%: 7.9-11.1 months). Epidermal growth factor receptor (EGFR) was detectable in 60% of tumours but showed no correlation with treatment outcome. A KRAS mutation was found in only 1 of 32 (3%) tumour samples analysed. CONCLUSION: Cetuximab plus FUFOX showed an interesting high response rate in metastatic gastric cancer. Cetuximab plus platinum-fluoropyrimidine chemotherapy is at present being investigated in a phase III randomised controlled trial

TRY plant trait database - enhanced coverage and open access

Plant traits-the morphological, anatomical, physiological, biochemical and phenological characteristics of plants-determine how plants respond to environmental factors, affect other trophic levels, and influence ecosystem properties and their benefits and detriments to people. Plant trait data thus represent the basis for a vast area of research spanning from evolutionary biology, community and functional ecology, to biodiversity conservation, ecosystem and landscape management, restoration, biogeography and earth system modelling. Since its foundation in 2007, the TRY database of plant traits has grown continuously. It now provides unprecedented data coverage under an open access data policy and is the main plant trait database used by the research community worldwide. Increasingly, the TRY database also supports new frontiers of trait-based plant research, including the identification of data gaps and the subsequent mobilization or measurement of new data. To support this development, in this article we evaluate the extent of the trait data compiled in TRY and analyse emerging patterns of data coverage and representativeness. Best species coverage is achieved for categorical traits-almost complete coverage for 'plant growth form'. However, most traits relevant for ecology and vegetation modelling are characterized by continuous intraspecific variation and trait-environmental relationships. These traits have to be measured on individual plants in their respective environment. Despite unprecedented data coverage, we observe a humbling lack of completeness and representativeness of these continuous traits in many aspects. We, therefore, conclude that reducing data gaps and biases in the TRY database remains a key challenge and requires a coordinated approach to data mobilization and trait measurements. This can only be achieved in collaboration with other initiatives