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.

The prothrombin time/international normalized ratio (PT/INR) Line: derivation of local INR with commercial thromboplastins and coagulometers--two independent studies

The WHO scheme for prothrombin time (PT) standardization has been limited in application, because of its difficulties in implementation, particularly the need for mandatory manual PT testing and for local provision of thromboplastin international reference preparations (IRP).

Genomic analysis of non-splenic marginal zone lymphomas (MZL) indicates similarities between nodal and extranodal MZL and supports their derivation from memory B-cells

Three distinct categories of marginal zone lymphomas (MZLs) are currently recognized, principally based on their site of occurrence. They are thought to represent unique entities, but the relationship of one subtype with another is poorly understood. We investigated 17 non-splenic MZLs (seven nodal, 10 extranodal) by gene expression profiling to distinguish between subtypes and determine their cell of origin. Our findings suggest biological inter-relatedness of these entities despite occurrence at different locations and associations with possibly different aetiologies. Furthermore, the expression profiles of non-splenic MZL were similar to memory B cells.

Minimal assumption derivation of a weak Clauser-Horne inequality

According to Bell's theorem a large class of hidden-variable models obeying Bell's notion of local causality (LC) conflict with the predictions of quantum mechanics. Recently, a Bell-type theorem has been proven using a weaker notion of LC, yet assuming the existence of perfectly correlated event types. Here we present a similar Bell-type theorem without this latter assumption. The derived inequality differs from the Clauser-Horne inequality by some small correction terms, which render it less constraining.

Potentially avoidable 30-day hospital readmissions in medical patients: derivation and validation of a prediction model

IMPORTANCE Because effective interventions to reduce hospital readmissions are often expensive to implement, a score to predict potentially avoidable readmissions may help target the patients most likely to benefit. OBJECTIVE To derive and internally validate a prediction model for potentially avoidable 30-day hospital readmissions in medical patients using administrative and clinical data readily available prior to discharge. DESIGN Retrospective cohort study. SETTING Academic medical center in Boston, Massachusetts. PARTICIPANTS All patient discharges from any medical services between July 1, 2009, and June 30, 2010. MAIN OUTCOME MEASURES Potentially avoidable 30-day readmissions to 3 hospitals of the Partners HealthCare network were identified using a validated computerized algorithm based on administrative data (SQLape). A simple score was developed using multivariable logistic regression, with two-thirds of the sample randomly selected as the derivation cohort and one-third as the validation cohort. RESULTS Among 10 731 eligible discharges, 2398 discharges (22.3%) were followed by a 30-day readmission, of which 879 (8.5% of all discharges) were identified as potentially avoidable. The prediction score identified 7 independent factors, referred to as the HOSPITAL score: h emoglobin at discharge, discharge from an o ncology service, s odium level at discharge, p rocedure during the index admission, i ndex t ype of admission, number of a dmissions during the last 12 months, and l ength of stay. In the validation set, 26.7% of the patients were classified as high risk, with an estimated potentially avoidable readmission risk of 18.0% (observed, 18.2%). The HOSPITAL score had fair discriminatory power (C statistic, 0.71) and had good calibration. CONCLUSIONS AND RELEVANCE This simple prediction model identifies before discharge the risk of potentially avoidable 30-day readmission in medical patients. This score has potential to easily identify patients who may need more intensive transitional care interventions.

Rosette-forming glioneuronal tumor of the cerebellum in statu nascendi: an incidentally detected diminutive example indicates derivation from the internal granule cell layer

Rosette-forming glioneuronal tumor (RGNT) is a recently introduced, indolent neoplasm composed of diminutive circular aggregates of neurocytic-like cells on a noninfiltrative astrocytic background, typically located in the cerebellar midline The traded concept of RGNT being derived from site-specific periventricular precursors may be questioned in the face of extracerebellar examples as well as ones occurring in combination with other representatives of the glioneuronal family. We describe a hitherto not documented example of asymptomatic RGNT discovered during autopsy of a 74-year-old male. Located in the tuberal vermis, this lesion of 6 mm diameter consisted of several microscopic nests of what were felt to represent nascent stages of RGNT, all of them centered on the internal granular layer, and ranging from mucoid dehiscences thereof to fully evolved - if small - tumor foci. Molecular genetic analysis revealed a missense mutation in Exon 20 of the PIK3CA gene involving an A→G transition at Nucleotide 3140. On the other hand, neither codeletion of chromosomes 1p/19q nor pathogenic mutations of IDH1/2 were detected. By analogy with in situ paradigms in other organs, we propose that this tumor is likely to have arisen from the internal granular layer, rather than the plate of the 4th ventricle. A suggestive departure from the wholesale argument of "undifferentiated precursors", this finding also indirectly indicates that a subset of non-classical RGNTs - in particular extracerebellar examples, whose origin cannot be mechanistically accounted for by either of the above structures - may possibly reflect an instance of phenotypic convergence, rather than a lineage-restricted entity.

Derivation and validation of multimarker prognostication for normotensive patients with acute symptomatic pulmonary embolism.

RATIONALE Not all patients with acute pulmonary embolism (PE) have a high risk of an adverse short-term outcome. OBJECTIVES This prospective cohort study aimed to develop a multimarker prognostic model that accurately classifies normotensive patients with PE into low and high categories of risk of adverse medical outcomes. METHODS The study enrolled 848 outpatients from the PROTECT (PROgnosTic valuE of Computed Tomography) study (derivation cohort) and 529 patients from the Prognostic Factors for Pulmonary Embolism (PREP) study (validation cohort). Investigators assessed study participants for a 30-day complicated course, defined as death from any cause, hemodynamic collapse, and/or adjudicated recurrent PE. MEASUREMENTS AND MAIN RESULTS A complicated course occurred in 63 (7.4%) of the 848 normotensive patients with acute symptomatic PE in the derivation cohort and in 24 patients (4.5%) in the validation cohort. The final model included the simplified Pulmonary Embolism Severity Index, cardiac troponin I, brain natriuretic peptide, and lower limb ultrasound testing. The model performed similarly in the derivation (c-index of 0.75) and validation (c-index of 0.85) cohorts. The combination of the simplified Pulmonary Embolism Severity Index and brain natriuretic peptide testing showed a negative predictive value for a complicated course of 99.1 and 100% in the derivation and validation cohorts, respectively. The combination of all modalities had a positive predictive value for the prediction of a complicated course of 25.8% in the derivation cohort and 21.2% in the validation cohort. CONCLUSIONS For normotensive patients who have acute PE, we derived and validated a multimarker model that predicts all-cause mortality, hemodynamic collapse, and/or recurrent PE within the following 30 days.

The nature of syntactic impairment in autism

This paper presents a first exploration of the syntactic abilities of autistic children using the framework of truncation theory (Rizzi 1993-4, 2000). It is the first step of an ongoing research project aiming to (a) provide a complete map of syntax in autism, for such work has never been attempted from a sound linguistic perspective (b) develop a targeted remediation program to enhance syntactic abilities of autistic children. Recently, a growing body of work has emphasized the existence of a causal relation between the acquisition of complex syntax (embedding) and the development of a theory of mind (in normally-developing, deaf and autistic children). Early identification and remediation of syntactic deficits is therefore crucial not only to enhance cognitive abilites related to theory of mind, but also because of the critical period hypothesis for language acquisition.