Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to satisfiability. The Herbrand and Skolemization theorems therefore take various forms, applying either to the left or right of the consequence relation, and to restricted classes of formulas.

Limit theorems for nondegenerate U-statistics of continuous semimartingales

This paper presents the asymptotic theory for nondegenerate U-statistics of high frequency observations of continuous Itô semimartingales. We prove uniform convergence in probability and show a functional stable central limit theorem for the standardized version of the U-statistic. The limiting process in the central limit theorem turns out to be conditionally Gaussian with mean zero. Finally, we indicate potential statistical applications of our probabilistic results.

Multifractional Poisson process, multistable subordinator and related limit theorems

We introduce a multistable subordinator, which generalizes the stable subordinator to the case of time-varying stability index. This enables us to define a multifractional Poisson process. We study properties of these processes and establish the convergence of a continuous-time random walk to the multifractional Poisson process.

Urinary soluble HLA-DR is a potential biomarker for acute renal transplant rejection

BACKGROUND.: Urine is a potentially rich source of biomarkers for monitoring kidney dysfunction. In this study, we have investigated the potential of soluble human leukocyte antigen (sHLA)-DR in the urine for noninvasive monitoring of renal transplant patients. METHODS.: Urinary soluble HLA-DR levels were measured by sandwich enzyme-linked immunosorbent assay in 103 patients with renal diseases or after renal transplantation. sHLA-DR in urine was characterized by Western blotting and mass spectrometry. RESULTS.: Acute graft rejection was associated with a significantly elevated level of urinary sHLA-DR (P<0.0001), compared with recipients with stable graft function or healthy individuals. A receiver operating characteristic curve analysis showed the area under the curve to be 0.88 (P<0.001). At a selected threshold, the sensitivity was 80% and specificity was 98% for detection of acute renal transplant rejection. sHLA-DR was not exosomally associated and was of lower molecular weight compared with the HLA-DR expressed as heterodimer on the plasma membrane of antigen-presenting cells. CONCLUSIONS.: sHLA-DR excreted into urine is a promising indicator of renal transplant rejection.

A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Redox-Switching in a Viologen-type Adlayer: An Electrochemical Shell-Isolated Nanoparticle Enhanced Raman Spectroscopy Study on Au(111)-(1 x 1) Single Crystal Electrodes

We reported the first application of in situ shell-isolated nanoparticle enhanced Raman spectroscopy (SHINERS) to an interfacial redox reaction under electrochemical conditions. We construct gap-mode sandwich structures composed of a thiol-terminated HS-6V6H viologen adlayer immobilized on a single crystal Au(111)-(1x1) electrode and covered by Au(60 nm)@SlO(2) core shell nanoparticles acting as plasmonic antennas. We observed high-quality, potential-dependent Raman spectra of the three viologen species V(2+),V(+center dot) and V(0) on a well-defined Au(111) substrate surface and could map their potential-dependent evolution. Comparison with experiments on powder samples revealed an enhancement factor of the nonresonant Raman modes of similar to 3 x 10(5), and up to 9 x 10(7) for the resonance modes. The study illustrates the unique capability of SHINERS and its potential in the entire field of electrochemical surface science to explore structures and reaction pathways on well-defined substrate surfaces, such as single crystals, for molecular, (electro-)- catalytic, bioelectrochemical systems up to fundamental double layer studies at electrified solid/liquid interfaces.

Evaluation of two fully automated novel enzyme-linked immunosorbent assays for the determination of human adiponectin in serum

BACKGROUND: In contrast to RIA, recently available ELISAs provide the potential for fully automated analysis of adiponectin. To date, studies reporting on the diagnostic characteristics of ELISAs and investigating on the relationship between ELISA- and RIA-based methods are rare. METHODS: Thus, we established and evaluated a fully automated platform (BEP 2000; Dade-Behring, Switzerland) for determination of adiponectin levels in serum by two different ELISA methods (competitive human adiponectin ELISA; high sensitivity human adiponectin sandwich ELISA; both Biovendor, Czech Republic). Further, as a reference method, we also employed a human adiponectin RIA (Linco Research, USA). Samples from 150 patients routinely presenting to our cardiology unit were tested. RESULTS: ELISA measurements could be accomplished in less than 3 h, measurement of RIA had a duration of 24 h. The ELISAs were evaluated for precision, analytical sensitivity and specificity, linearity on dilution and spiking recovery. In the investigated patients, type 2 diabetes, higher age and male gender were significantly associated with lower serum adiponectin concentrations. Correlations between the ELISA methods and the RIA were strong (competitive ELISA, r=0.82; sandwich ELISA, r=0.92; both p<0.001). However, Deming regression and Bland-Altman analysis indicated lack of agreement of the 3 methods preventing direct comparison of results. The equations of the regression lines are: Competitive ELISA=1.48 x RIA-0.88; High sensitivity sandwich ELISA=0.77 x RIA+1.01. CONCLUSIONS: Fully automated measurement of adiponectin by ELISA is feasible and substantially more rapid than RIA. The investigated ELISA test systems seem to exhibit analytical characteristics allowing for clinical application. In addition, there is a strong correlation between the ELISA methods and RIA. These findings might promote a more widespread use of adiponectin measurements in clinical research.

A novel secretin receptor splice variant potentially useful for early diagnosis of pancreatic carcinoma

BACKGROUND ; AIMS: Pancreatic and bile duct carcinomas represent highly aggressive malignancies that evolve from secretin receptor-rich ductular cells. With premessenger RNA splicing abnormalities common in cancer, we evaluated whether an abnormal secretin receptor spliceoform were present, characterized it, and developed a serum assay for it. METHODS: Cancer cell lines and healthy and neoplastic tissue were studied by nested reverse-transcription polymerase chain reaction and sequencing. A promising spliceoform was isolated and characterized, and monoclonal antibodies were raised to 2 distinct regions. A dual antibody enzyme-linked immunosorbent assay was developed and applied to blinded serum samples from 26 patients with pancreatic carcinoma, 10 patients with chronic pancreatitis, and 14 controls. RESULTS: Each of 9 pancreatic cancer specimens and no normal tissue expressed a secretin receptor variant with exons 3 and 4 deleted. This encoded a 111-residue peptide with its first 43 residues identical to wild-type receptor, but, subsequent to a shift in coding frame and early truncation, the next 68 residues were unique in the transcriptome/proteome. This nonfunctional soluble protein did not bind or signal in response to secretin and was secreted from transfected MiaPaCa-2 cells. Elevated serum levels of this variant were present in 69% of pancreatic cancer patients, 60% of chronic pancreatitis patients, and 1 of 14 controls. CONCLUSIONS: We identified a novel abnormal spliceoform of the secretin receptor in pancreatic and bile duct cancers and developed a dual antibody sandwich enzyme-linked immunosorbent assay to measure it in the circulation. Initial application of this assay in patients with pancreatic cancer and chronic pancreatitis was promising, but additional validation will be required to evaluate its clinical utility.

Systemic response of the GH/IGF-I axis in timely versus delayed fracture healing

The GH-IGF axis has profound effects on the local and systemic regulation of bone metabolism and may be important for quality of fracture healing. To test the hypothesis that deficiency of the GH/IGF axis may play a role in the pathogenesis of fracture non-union we investigated whether alterations of serum concentrations of the GH-IGF axis could be related to failed fracture healing compared to timely fracture healing in trauma patients. Serum probes were prospectively collected from 186 patients with surgical treatment of long bone fractures up to 6 months after surgery. Samples from 14 patients with atrophic type of non-union have been compared to 14 matched patients with normal bone healing. Postoperative time courses of serum concentrations have been analyzed using commercially available chemiluminescence sandwich assays (GH), fully automated assay systems (IGF-I, IGFBP-3) or sandwich immunometric assays (ALS). Comparison between both collectives revealed significantly lower serum concentrations of GH dependent ALS during early (1st week after surgery) and of both IGFBP-3 and ALS during late stages of fracture healing (6 and 8 weeks after surgery) in non-union patients, coinciding clinically with failed fracture healing. Tendentially lower serum levels of IGF-I in the non-union group over the entire investigation period were statistically not significant. We have been able to show time courses of serum concentrations of the GH/IGF-I axis during normal and failed fracture healing in humans. An impairment of the GH/IGF-I axis might be involved in the biochemical mechanisms determining delayed or failed fracture healing.