Elicitable distortion risk measures: A concise proof

Elicitability has recently been discussed as a desirable property for risk measures. Kou and Peng (2014) showed that an elicitable distortion risk measure is either a Value-at-Risk or the mean. We give a concise alternative proof of this result, and discuss the conflict between comonotonic additivity and elicitability.

Computed Ultrasound Tomography in Echo Mode for Imaging Speed of Sound Using Pulse-Echo Sonography: Proof of Principle

The limitations of diagnostic echo ultrasound have motivated research into novel modalities that complement ultrasound in a multimodal device. One promising candidate is speed of sound imaging, which has been found to reveal structural changes in diseased tissue. Transmission ultrasound tomography shows speed of sound spatially resolved, but is limited to the acoustically transparent breast. We present a novel method by which speed-of-sound imaging is possible using classic pulse-echo equipment, facilitating new clinical applications and the combination with state-of-the art diagnostic ultrasound. Pulse-echo images are reconstructed while scanning the tissue under various angles using transmit beam steering. Differences in average sound speed along different transmit directions are reflected in the local echo phase, which allows a 2-D reconstruction of the sound speed. In the present proof-of-principle study, we describe a contrast resolution of 0.6% of average sound speed and a spatial resolution of 1 mm (laterally) × 3 mm (axially), suitable for diagnostic applications.

First-in-Human Proof-of-Concept Study: Intralesional Administration of BQ788, an Endothelin Receptor B Antagonist, to Melanoma Skin Metastases

BACKGROUND This first-in-human proof-of-concept study aimed to check whether safety and preclinical results obtained by intratumoral administration of BQ788, an endothelin receptor B (EDNRB) antagonist, can be repeated in human melanoma patients. METHODS Three patients received a single intralesional BQ788 application of 3 mg. After 3-7 days, the lesions were measured and removed for analysis. The administered dose was increased to a cumulative dosage of 8 mg in patient 4 (4 × 2.0 mg, days 0-3; lesion removed on day 4) and to 10 mg in patient 5 (3 × 3.3 mg, days 0, 3, and 10; lesion removed after 14 days). Control lesions were simultaneously treated with phosphate-buffered saline (PBS). All samples were processed and analyzed without knowledge of the clinical findings. RESULTS No statistical evaluation was possible because of the number of patients (n = 5) and the variability in the mode of administration. No adverse events were observed, regardless of administered dose. All observations were in accordance with results obtained in preclinical studies. Accordingly, no difference in degree of tumor necrosis was detected between BQ788- and PBS-treated samples. In addition, both EDNRB and Ki67 showed decreased expression in patients 2 and 5 and, to a lesser extent, in patient 1. Similarly, decreased expression of EDNRB mRNA in patients 2 and 5 and of BCL2A1 and/or PARP3 in patients 2, 3, and 5 was found. Importantly, semiquantitatively scored immunohistochemistry for CD31 and CD3 revealed more blood vessels and lymphocytes, respectively, in BQ788-treated tumors of patients 2 and 4. Also, in all patients, we observed inverse correlation in expression levels between EDNRB and HIF1A. Finally, in patient 5 (the only patient treated for longer than 1 week), we observed inhibition in lesion growth, as shown by size measurement. CONCLUSION The intralesional applications of BQ788 were well tolerated and showed signs of directly and indirectly reducing the viability of melanoma cells.

A novel organ-slice culturing system to simulate meniscal repair: Proof of concept using a synovium-based pool of meniscoprogenitor cells.

Meniscal injuries can occur secondary to trauma or be instigated by the changes in knee-joint function that are associated with aging, osteo- and rheumatoid arthritis, disturbances in gait and obesity. Sixty per cent of persons over 50 years of age manifest signs of meniscal pathology. The surgical and arthroscopic measures that are currently implemented to treat meniscal deficiencies bring only transient relief from pain and effect but a temporary improvement in joint function. Although tissue-engineering-based approaches to meniscal repair are now being pursued, an appropriate in-vitro model has not been conceived. The aim of this study was to develop an organ-slice culturing system to simulate the repair of human meniscal lesions in vitro. The model consists of a ring of bovine meniscus enclosing a chamber that represents the defect and reproduces its sequestered physiological microenvironment. The defect, which is closed with a porous membrane, is filled with fragments of synovial tissue, as a source of meniscoprogenitor cells, and a fibrin-embedded, calcium-phosphate-entrapped depot of the meniscogenic agents BMP-2 and TGF-ß1. After culturing for 2 to 6 weeks, the constructs were evaluated histochemically and histomorphometrically, as well as immunohistochemically for the apoptotic marker caspase 3 and collagen types I and II. Under the defined conditions, the fragments of synovium underwent differentiation into meniscal tissue, which bonded with the parent meniscal wall. Both the parent and the neoformed meniscal tissue survived the duration of the culturing period without significant cell losses. The concept on which the in-vitro system is based was thus validated. This article is protected by copyright. All rights reserved.

The Role of Cells in Meniscal Guided Tissue Regeneration: A Proof of Concept Study in a Goat Model.

OBJECTIVE Successful repair of defects in the avascular zone of meniscus remains a challenge in orthopedics. This proof of concept study aimed to investigate a guided tissue regeneration approach for treatment of tears in meniscus avascular zone in a goat model. DESIGN Full-depth longitudinal tear was created in the avascular zone of the meniscus and sutured. In the two treatment groups, porcine collagen membrane was wrapped around the tear without (CM) or with injection of expanded autologous chondrocytes (CM+cells), whereas in the control group the tear remained only sutured. Gait recovery was evaluated during the entire follow-up period. On explantation at 3 and 6 months, macroscopic gross inspection assessed healing of tears, degradation of collagen membrane, potential signs of inflammation, and osteoarthritic changes. Microscopic histology scoring criteria were developed to evaluate healing of tears, the cellular response, and the inflammatory response. RESULTS Gait recovery suggested protective effect of collagen membrane and was supported by macroscopical evaluation where improved tear healing was noted in both treated groups. Histology scoring in CM compared to suture group revealed an increase in tear margins contact, newly formed connective tissue between margins, and cell formations surrounded with new matrix after 3 months yet not maintained after 6 months. In contrast, in the CM+cells group these features were observed after 3 and 6 months. CONCLUSIONS A transient, short-term guided tissue regeneration of avascular meniscal tears occurred upon application of collagen membrane, whereas addition of expanded autologous chondrocytes supported more sustainable longer term tear healing.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

Is ultrasound perfusion imaging capable of detecting mismatch? A proof-of-concept study in acute stroke patients.

In this study, we compared contrast-enhanced ultrasound perfusion imaging with magnetic resonance perfusion-weighted imaging or perfusion computed tomography for detecting normo-, hypo-, and nonperfused brain areas in acute middle cerebral artery stroke. We performed high mechanical index contrast-enhanced ultrasound perfusion imaging in 30 patients. Time-to-peak intensity of 10 ischemic regions of interests was compared to four standardized nonischemic regions of interests of the same patient. A time-to-peak >3 s (ultrasound perfusion imaging) or >4 s (perfusion computed tomography and magnetic resonance perfusion) defined hypoperfusion. In 16 patients, 98 of 160 ultrasound perfusion imaging regions of interests of the ischemic hemisphere were classified as normal, and 52 as hypoperfused or nonperfused. Ten regions of interests were excluded due to artifacts. There was a significant correlation of the ultrasound perfusion imaging and magnetic resonance perfusion or perfusion computed tomography (Pearson`s chi-squared test 79.119, p < 0.001) (OR 0.1065, 95% CI 0.06-0.18). No perfusion in ultrasound perfusion imaging (18 regions of interests) correlated highly with diffusion restriction on magnetic resonance imaging (Pearson's chi-squared test 42.307, p < 0.001). Analysis of receiver operating characteristics proved a high sensitivity of ultrasound perfusion imaging in the diagnosis of hypoperfused area under the curve, (AUC = 0.917; p < 0.001) and nonperfused (AUC = 0.830; p < 0.001) tissue in comparison with perfusion computed tomography and magnetic resonance perfusion. We present a proof of concept in determining normo-, hypo-, and nonperfused tissue in acute stroke by advanced contrast-enhanced ultrasound perfusion imaging.