This paper presents a new soundness proof for concurrent separation logic (CSL) in terms of a standard operational semantics. The proof gives a direct meaning to CSL judgments, which can easily be adapted to accommodate extensions of CSL, such as permissions and storable locks, as well as more advanced program logics, such as RGSep. Further, it explains clearly why resource invariants should be...

Let %? be a separable Hubert space and !T c 3§(J%f) be an algebra of bounded operators. Say F is triangular if ^ n ^ * is a maximal abelian self-adjoint subalgebra (m.a.s.a.) of 3B{%?) and call this m.a.s.a. the diagonal of J7". A triangular algebra is maximal triangular if it is not properly contained in any triangular algebra. Triangular algebras of operators have been studied for 30 years no...

CONTEXT High-density lipoprotein (HDL) cholesterol is an inverse predictor of coronary atherosclerotic disease. Preliminary data have suggested that HDL infusions can induce atherosclerosis regression. OBJECTIVE To investigate the effects of reconstituted HDL on plaque burden as assessed by intravascular ultrasound (IVUS). DESIGN AND SETTING A randomized placebo-controlled trial was conduct...

BACKGROUND Community service-learning (CSL) has been proposed as one way to enrich medical and dental students' sense of social responsibility toward people who are marginalized in society. AIM We developed and implemented a new CSL option in the integrated medical/dental curriculum and assessed its educational impact. METHODS Focus groups, individual open-ended interviews, and a survey wer...

Mucoepidermoid carcinoma (MEC) is common in human salivary glands. Surgery is the preferred treatment method for MEC and chemotherapy is often administered following surgery as an adjuvant cancer treatment; however, chemotherapy does not completely prevent tumor recurrence. Emerging evidence has indicated the existence of cancer stem-like (CSL)-cells in tumors. CSL-cells are important in the de...

We establish the existence of a chiral spin liquid (CSL) as the exact ground state of the Kitaev model on a decorated honeycomb lattice, which is obtained by replacing each site in the familiar honeycomb lattice with a triangle. This CSL state spontaneously breaks time reversal symmetry but preserves other symmetries. There are two topologically distinct CSL's separated by a quantum critical po...

The grain boundary structure is usually described by the coincidence site lattice (CSL) model based on the misorientation of adjoining crystals. Therefore, the objective of the present investigation is to seek the correlation between CSL fraction and creep resistance of modified 9Cr–1Mo steel (P91) with and without boron addition. Results showed that CSL fraction increases with increase in heat...