This paper presents a Live Sequence Chart (LSC) to automata transformation algorithm that enables the verification of communication protocol implementations. Using this LSC to automata transformation a communication protocol implementation can be verified using a single verification run as opposed to previous techniques that rely on a three stage verification approach. The novelty and simplicit...

Linear Shaped Charges (LSCs) have been assumed to function in the same manner as Conical Shaped Charges (CSCs) in the published literature that describes a metallic jet process for penetration. However, based on the facts that the LSC liner is composed of flat surfaces instead of the curved cone shaped liner of a CSC and the LSC detonation propagation is perpendicular to the penetrator projecti...

The photophysical properties of fluorescent dyes are key determinants in the performance of luminescent solar concentrators (LSCs). First-generation dyes--coumarin, perylenes, and rhodamines--used in LSCs suffer from both concentration quenching in the solid-state and small Stokes shifts which limit the current LSC efficiencies to below theoretical limits. Here we show that fluorophores that ex...

The compromise between light absorption and reabsorption losses limits the potential light conversion efficiency of luminescent solar concentrators (LSCs). Current approaches do not fully address both issues. By using the excitation energy transfer (EET) strategy with a donor chromophore that exhibits aggregation-induced emission (AIE) behaviour, it is shown that both transmission and reabsorpt...

The immunophenotype of lymphoid cytologic samples obtained by laser scanning cytometry (LSC) and flow cytometry (FC) was compared in 72 cases composed of a series of 23 cases with simultaneous LSC and FC immunophenotyping and a second series of 49 cases in which nonsimultaneous immunophenotyping was performed. In both series, no discordance in the population immunophenotype was found that would...

Multidrug resistance is a major challenge to cancer chemotherapy. The multidrug resistance phenotype is associated with the overexpression of the adenosine triphosphate (ATP)-driven transmembrane efflux pumps in cancer cells. Here, we report a lipid membrane-coated silica-carbon (LSC) hybrid nanoparticle that targets mitochondria through pyruvate, to specifically produce reactive oxygen species...

Acute myeloid leukemia is a clonal malignant disorder derived from a small number of leukemic stem cells (LSCs). Rearrangements of the mixed lineage leukemia (MLL) gene are found in acute myeloid leukemia associated with poor prognosis. The upregulation of Hox genes is critical for LSC induction and maintenance, but is unlikely to support malignancy and the high LSC frequency observed in MLL le...

Abstract Background Abdominal and laparoscopic sacro-colpopexy (LSC) is considered the standard surgical option for management of a symptomatic apical pelvic organ prolapse (POP). Women who have their uterus, whom an LSC indicated, can sacro-hysteropexy (LSH), supra-cervical hysterectomy sacro-cervicopexy (LSCH + LSC) or total (TLH LSC). The main aim this study was to compare clinical patient r...

Data objects which differ significantly from the remaining data objects are referred to as outliers. Density-based algorithms for mining outliers are very effective in detecting all forms of outliers, where data objects with fewer neighbors are likely to be outliers than are those with more neighbors. However, existing density-based algorithms engage in huge repetitive computation and compariso...

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...