Bounded Arithmetic in Free Logic

One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are easier to handle. To show this, we first prove that Buss' theories prove consistencies of induction-free fragments of our theories whose formulae have bounded complexity. Next, we prove that although our theories are based on an apparently weaker logic, we can interpret theories in Buss' hierarchy by our theories using a simple translation. Finally, we investigate finitistic G\"odel sentences in our systems in the hope of proving that a theory in a lower level of Buss' hierarchy cannot prove consistency of induction-free fragments of our theories whose formulae have higher complexity

Inhibition of GSK3 abolishes bacterial-induced periodontal bone loss in mice

The tissue destruction that characterizes periodontitis is driven by the host response to bacterial pathogens. Inhibition of glycogen synthase kinase 3β (GSK3β) in innate cells leads to suppression of Toll-like receptor (TLR)-initiated proinflammatory cytokines under nuclear factor kappa-light-chain-enhancer of activated B cells (NF-κB) p65 transcriptional control and promotion of cyclic adenosine monophosphate response element-binding (CREB)-dependent gene activation. Therefore, we hypothesized that the cell permeable GSK3-specific inhibitor, SB216763, would protect against alveolar bone loss induced by the key periodontal pathogen, Porphyromonas gingivalis (P. gingivalis), in a murine model. B6129SF2/J mice either were infected orally with P. gingivalis ATCC 33277; or treated with SB216763 and infected with P. gingivalis; sham infected; or exposed to vehicle only (dimethyl sulfoxide [DMSO]); or to GSK3 inhibitor only (SB216763). Alveolar bone loss and local (neutrophil infiltration and interleukin [IL]-17) and systemic (tumor necrosis factor [TNF], IL-6, Il-1β and IL-12/IL-23 p40) inflammatory indices also were monitored. SB216763 unequivocally abrogated mean P. gingivalis–induced bone resorption, measured at 14 predetermined points on the molars of defleshed maxillae as the distance from the cementoenamel junction to the alveolar bone crest (p < 0.05). The systemic cytokine response, the local neutrophil infiltration and the IL-17 expression were suppressed (p < 0.001). These data confirm the relevance of prior in vitro phenomena and establish GSK3 as a novel, efficacious therapeutic preventing periodontal disease progression in a susceptible host. These findings also may have relevance to other chronic inflammatory diseases and the systemic sequelae associated with periodontal infections

On the origin of interface states at oxide/III-nitride heterojunction interfaces

The energy spectrum of interface state density, D-it(E), was determined at oxide/III-N heterojunction interfaces in the entire band gap, using two complementary photo-electric methods: (i) photo-assisted capacitance-voltage technique for the states distributed near the midgap and the conduction band (CB) and (ii) light intensity dependent photo-capacitance method for the states close to the valence band (VB). In addition, the Auger electron spectroscopy profiling was applied for the characterization of chemical composition of the interface region with the emphasis on carbon impurities, which can be responsible for the interface state creation. The studies were performed for the AlGaN/GaN metal-insulator-semiconductor heterostructures (MISH) with Al2O3 and SiO2 dielectric films and AlxGa1-x layers with x varying from 0.15 to 0.4 as well as for an Al2O3/InAlN/GaN MISH structure. For all structures, it was found that: (i) D-it(E) is an U-shaped continuum increasing from the midgap towards the CB and VB edges and (ii) interface states near the VB exhibit donor-like character. Furthermore, D-it(E) for SiO2/AlxGa1-x/GaN structures increased with rising x. It was also revealed that carbon impurities are not present in the oxide/III-N interface region, which indicates that probably the interface states are not related to carbon, as previously reported. Finally, it was proven that the obtained D-it(E) spectrum can be well fitted using a formula predicted by the disorder induced gap state model. This is an indication that the interface states at oxide/III-N interfaces can originate from the structural disorder of the interfacial region. Furthermore, at the oxide/barrier interface we revealed the presence of the positive fixed charge (Q(F)) which is not related to D-it(E) and which almost compensates the negative polarization charge (Q(pol)(-))

Sustainable Forest Management Preferences of Interest Groups in Three Regions with Different Levels of Industrial Forestry: An Exploratory Attribute-Based Choice Experiment

The challenge of sustainable forest management is to integrate diverse and sometimes conflicting management objectives. In order to achieve this goal, we need a better understanding of the aspects influencing the preferences of diverse groups and how these groups make trade-offs between different attributes of SFM. We compare the SFM preferences of interest groups in regions with different forest use histories based on the reasoning that the condition of the forest reflects the forest use history of the area. The condition of the forest also shapes an individual’s forest values and attitudes. These held values and attitudes are thought to influence SFM preferences. We tested whether the SFM preferences vary amongst the different interest groups within and across regions. We collected data from 252 persons using a choice experiment approach, where participants chose multiple times among different options described by a combination of attributes that are assigned different levels. The novelty of our approach was the use of choice experiments in the assessment of regional preference differences. Given the complexity of interregional comparison and the small sample size, this was an exploratory study based on a purposive rather than random sample. Nevertheless, our results suggest that the aggregation of preferences of all individuals within a region does not reveal all information necessary for forest management planning since opposing viewpoints could cancel each other out and lead to an interpretation that does not reflect possibly polarised views. Although based on a small\ud sample size, the preferences of interest groups within a region are generally statistically significantly different from each other; however preferences of interest groups across regions are also significantly different. This illustrates the potential importance of assessing heterogeneity by region and by group

Multianalyte Sensing Of Addictive Over-the-counter (otc) Drugs

A supramolecular sensor array composed of two fluorescent cucurbit[n]uril-type receptors (probe 1 and probe 2) displaying complementary selectivities was tested for its ability to detect and quantify drug-related amines. The fluorimetric titration of the individual probes showed highly variable and cross-reactive analyte-dependent changes in fluorescence. An excellent ability to recognize a variety of analytes was demonstrated in qualitative as well as quantitative assays. Importantly, a successful quantitative analysis of several analytes of interest was achieved in mixtures and in human urine. The throughput and sensitivity surpass those of the current state-of-the-art methods that usually require analyte solid-phase extraction (SPE). These results open up the opportunity for new applications of cucurbit[n]uril-type receptors in sensing and pave the way for the development of simple high-throughput assays for various drugs in the near future

Identifying Alternative Hyper-Splicing Signatures in MG-Thymoma by Exon Arrays

BACKGROUND: The vast majority of human genes (>70%) are alternatively spliced. Although alternative pre-mRNA processing is modified in multiple tumors, alternative hyper-splicing signatures specific to particular tumor types are still lacking. Here, we report the use of Affymetrix Human Exon Arrays to spot hyper-splicing events characteristic of myasthenia gravis (MG)-thymoma, thymic tumors which develop in patients with MG and discriminate them from colon cancer changes. METHODOLOGY/PRINCIPAL FINDINGS: We combined GO term to parent threshold-based and threshold-independent ad-hoc functional statistics with in-depth analysis of key modified transcripts to highlight various exon-specific changes. These denote alternative splicing in MG-thymoma tumors compared to healthy human thymus and to in-house and Affymetrix datasets from colon cancer and healthy tissues. By using both global and specific, term-to-parent Gene Ontology (GO) statistical comparisons, our functional integrative ad-hoc method allowed the detection of disease-relevant splicing events. CONCLUSIONS/SIGNIFICANCE: Hyper-spliced transcripts spanned several categories, including the tumorogenic ERBB4 tyrosine kinase receptor and the connective tissue growth factor CTGF, as well as the immune function-related histocompatibility gene HLA-DRB1 and interleukin (IL)19, two muscle-specific collagens and one myosin heavy chain gene; intriguingly, a putative new exon was discovered in the MG-involved acetylcholinesterase ACHE gene. Corresponding changes in spliceosome composition were indicated by co-decreases in the splicing factors ASF/SF(2) and SC35. Parallel tumor-associated changes occurred in colon cancer as well, but the majority of the apparent hyper-splicing events were particular to MG-thymoma and could be validated by Fluorescent In-Situ Hybridization (FISH), Reverse Transcription-Polymerase Chain Reaction (RT-PCR) and mass spectrometry (MS) followed by peptide sequencing. Our findings demonstrate a particular alternative hyper-splicing signature for transcripts over-expressed in MG-thymoma, supporting the hypothesis that alternative hyper-splicing contributes to shaping the biological functions of these and other specialized tumors and opening new venues for the development of diagnosis and treatment approaches

Operation and performance of the CMS silicon strip tracker with proton-proton collisions at the CERN LHC

Salient aspects of the commissioning, calibration, and performance of the CMS silicon strip tracker are discussed, drawing on experience during operation with proton-proton collisions delivered by the CERN LHC. The data were obtained with a variety of luminosities. The operating temperature of the strip tracker was changed several times during this period and results are shown as a function of temperature in several cases. Details of the system performance are presented, including occupancy, signal-to-noise ratio, Lorentz angle, and single-hit spatial resolution. Saturation effects in the APV25 readout chip preamplifier observed during early Run 2 are presented, showing the effect on various observables and the subsequent remedy. Studies of radiation effects on the strip tracker are presented both for the optical readout links and the silicon sensors. The observed effects are compared to simulation, where available, and they generally agree well with expectations

Trace elements in hemodialysis patients: a systematic review and meta-analysis

<p>Abstract</p> <p>Background</p> <p>Hemodialysis patients are at risk for deficiency of essential trace elements and excess of toxic trace elements, both of which can affect health. We conducted a systematic review to summarize existing literature on trace element status in hemodialysis patients.</p> <p>Methods</p> <p>All studies which reported relevant data for chronic hemodialysis patients and a healthy control population were eligible, regardless of language or publication status. We included studies which measured at least one of the following elements in whole blood, serum, or plasma: antimony, arsenic, boron, cadmium, chromium, cobalt, copper, fluorine, iodine, lead, manganese, mercury, molybdenum, nickel, selenium, tellurium, thallium, vanadium, and zinc. We calculated differences between hemodialysis patients and controls using the differences in mean trace element level, divided by the pooled standard deviation.</p> <p>Results</p> <p>We identified 128 eligible studies. Available data suggested that levels of cadmium, chromium, copper, lead, and vanadium were higher and that levels of selenium, zinc and manganese were lower in hemodialysis patients, compared with controls. Pooled standard mean differences exceeded 0.8 standard deviation units (a large difference) higher than controls for cadmium, chromium, vanadium, and lower than controls for selenium, zinc, and manganese. No studies reported data on antimony, iodine, tellurium, and thallium concentrations.</p> <p>Conclusion</p> <p>Average blood levels of biologically important trace elements were substantially different in hemodialysis patients, compared with healthy controls. Since both deficiency and excess of trace elements are potentially harmful yet amenable to therapy, the hypothesis that trace element status influences the risk of adverse clinical outcomes is worthy of investigation.</p