Dark homogeneous streak dermoscopic pattern correlating with specific KIT mutations in melanoma

Mutations driving melanoma growth have diagnostic, prognostic, and therapeutic implications. Traditional classification systems do not correlate optimally with underlying melanoma growth-promoting mutations. Our objective was to determine whether unique dermoscopic growth patterns directly correlate with driving mutations. OBSERVATIONS: We evaluated common driving mutations in 4 different dermoscopic patterns (rhomboidal, negative pigmented network, polygonal, and dark homogeneous streaks) of primary cutaneous melanomas; 3 melanomas per pattern were tested. Three of the 4 patterns lacked common mutations in BRAF, NRAS, KIT, GNAQ, and HRAS. One pattern, the dark homogeneous streaks pattern, had unique KIT mutations in the second catalytic domain of KIT in exon 17 for all 3 samples tested. Two tumors with the dark homogeneous streaks pattern turned out to be different primary melanomas from the same patient and had different sequence mutations but had an impact on the same KIT domain. CONCLUSIONS AND RELEVANCE: While future study is required, these results have multiple implications. (1) The underlying melanoma-driving mutations may give rise to specific dermoscopic growth patterns, (2) BRAF/NRAS mutations in early melanomas may not be as common as previously thought, and (3) patients may be predisposed to developing specific driving mutations giving rise to melanomas or nevi of similar growth patterns

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study

Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficult to implement correctly, especially when considering the relaxed memory ordering models commonly employed by today’s multiprocessors. The formal verification of such implementations is challenging as well because the high degree of concurrency leads to a large number of possible executions. In this case study, we develop a SAT-based bounded verification method and apply it to a representative example, a well-known two-lock concurrent queue algorithm. We first formulate a correctness criterion that specifically targets failures caused by concurrency; it demands that all concurrent executions be observationally equivalent to some serial execution. Next, we define a relaxed memory model that conservatively approximates several common shared-memory multiprocessors. Using commit point specifications, a suite of finite symbolic tests, a prototype encoder, and a standard SAT solver, we successfully identify two failures of a naive implementation that can be observed only under relaxed memory models. We eliminate these failures by inserting appropriate memory ordering fences into the code. The experiments confirm that our approach provides a valuable aid for desigining and implementing concurrent data types

Checking bounded reachability in asynchronous systems by symbolic event tracing

This report presents a new symbolic technique for checking reachability properties of asynchronous systems by reducing the problem to satisfiability in restrained difference logic. The analysis is bounded by fixing a finite set of potential events, each of which may occur at most once in any order. The events are specified using high-level Petri nets. The logic encoding describes the space of possible causal links between events rather than possible sequences of states as in Bounded Model Checking. Independence between events is exploited intrinsically without partial order reductions, and the handling of data is symbolic. On a family of benchmarks, the proposed approach is consistently faster than Bounded Model Checking. In addition, this report presents a compact encoding of the restrained subset of difference logic in propositional logic

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions

Abstract. The state explosion problem is one of the core bottlenecks in the model checking of concurrent software. We show how to ameliorate the problem by combining the ability of partial order techniques to reduce the state space of the concurrent program with the power of symbolic model checking to explore large state spaces. Our new verification methodology involves translating the given concurrent program into a circuit-based model which gives us the flexibility to then employ any model checking technique of choice – either SAT or BDD-based – for verifying a broad range of linear time properties, not just safety. The reduction in the explored state-space is obtained by statically augmenting the symbolic encoding of the program by additional constraints. These constraints restrict the scheduler to choose from a minimal conditional stubborn set of transitions at each state. Another key contribution of the paper, is a new method for detecting transactions on-the-fly which takes into account patterns of lock acquisition and yields better reductions than existing methods which rely on a lockset based analysis. Moreover unlike existing techniques, identifying on-the-fly transactions does not require the program to follow a lock discipline in accessing shared variables. We have applied our techniques to the Daisy test bench and shown the existence of several bugs.

Validity and Reliability of Dermoscopic Criteria Used to Differentiate Nevi From Melanoma: A Web-Based International Dermoscopy Society Study.

IMPORTANCE: The comparative diagnostic performance of dermoscopic algorithms and their individual criteria are not well studied. OBJECTIVES: To analyze the discriminatory power and reliability of dermoscopic criteria used in melanoma detection and compare the diagnostic accuracy of existing algorithms. DESIGN, SETTING, AND PARTICIPANTS: This was a retrospective, observational study of 477 lesions (119 melanomas [24.9%] and 358 nevi [75.1%]), which were divided into 12 image sets that consisted of 39 or 40 images per set. A link on the International Dermoscopy Society website from January 1, 2011, through December 31, 2011, directed participants to the study website. Data analysis was performed from June 1, 2013, through May 31, 2015. Participants included physicians, residents, and medical students, and there were no specialty-type or experience-level restrictions. Participants were randomly assigned to evaluate 1 of the 12 image sets. MAIN OUTCOMES AND MEASURES: Associations with melanoma and intraclass correlation coefficients (ICCs) were evaluated for the presence of dermoscopic criteria. Diagnostic accuracy measures were estimated for the following algorithms: the ABCD rule, the Menzies method, the 7-point checklist, the 3-point checklist, chaos and clues, and CASH (color, architecture, symmetry, and homogeneity). RESULTS: A total of 240 participants registered, and 103 (42.9%) evaluated all images. The 110 participants (45.8%) who evaluated fewer than 20 lesions were excluded, resulting in data from 130 participants (54.2%), 121 (93.1%) of whom were regular dermoscopy users. Criteria associated with melanoma included marked architectural disorder (odds ratio [OR], 6.6; 95% CI, 5.6-7.8), pattern asymmetry (OR, 4.9; 95% CI, 4.1-5.8), nonorganized pattern (OR, 3.3; 95% CI, 2.9-3.7), border score of 6 (OR, 3.3; 95% CI, 2.5-4.3), and contour asymmetry (OR, 3.2; 95% CI, 2.7-3.7) (P < .001 for all). Most dermoscopic criteria had poor to fair interobserver agreement. Criteria that reached moderate levels of agreement included comma vessels (ICC, 0.44; 95% CI, 0.40-0.49), absence of vessels (ICC, 0.46; 95% CI, 0.42-0.51), dark brown color (ICC, 0.40; 95% CI, 0.35-0.44), and architectural disorder (ICC, 0.43; 95% CI, 0.39-0.48). The Menzies method had the highest sensitivity for melanoma diagnosis (95.1%) but the lowest specificity (24.8%) compared with any other method (P < .001). The ABCD rule had the highest specificity (59.4%). All methods had similar areas under the receiver operating characteristic curves. CONCLUSIONS AND RELEVANCE: Important dermoscopic criteria for melanoma recognition were revalidated by participants with varied experience. Six algorithms tested had similar but modest levels of diagnostic accuracy, and the interobserver agreement of most individual criteria was poor

ARRDC3 suppresses breast cancer progression by negatively regulating integrin β4

Large-scale genetic analyses of human tumor samples have been used to identify novel oncogenes, tumor suppressors and prognostic factors, but the functions and molecular interactions of many individual genes have not been determined. In this study we examined the cellular effects and molecular mechanism of the arrestin family member, ARRDC3, a gene preferentially lost in a subset of breast cancers. Oncomine data revealed that the expression of ARRDC3 decreases with tumor grade, metastases and recurrences. ARRDC3 overexpression represses cancer cell proliferation, migration, invasion, growth in soft agar and in vivo tumorigenicity, whereas downregulation of ARRCD3 has the opposite effects. Mechanistic studies showed that ARRDC3 functions in a novel regulatory pathway that controls the cell surface adhesion molecule, β-4 integrin (ITGβ4), a protein associated with aggressive tumor behavior. Our data indicates ARRDC3 directly binds to a phosphorylated form of ITGβ4 leading to its internalization, ubiquitination and ultimate degradation. The results identify the ARRCD3-ITGβ4 pathway as a new therapeutic target in breast cancer and show the importance of connecting genetic arrays with mechanistic studies in the search for new treatments

Integrin-Blocking Antibodies Delay Keratinocyte Re-Epithelialization in a Human Three-Dimensional Wound Healing Model

The α6β4 integrin plays a significant role in tumor growth, angiogenesis and metastasis through modulation of growth factor signaling, and is a potentially important therapeutic target. However, α6β4-mediated cell-matrix adhesion is critical in normal keratinocyte attachment, signaling and anchorage to the basement membrane through its interaction with laminin-5, raising potential risks for targeted therapy. Bioengineered Human Skin Equivalent (HSE), which have been shown to mimic their normal and wounded counterparts, have been used here to investigate the consequences of targeting β4 to establish toxic effects on normal tissue homeostasis and epithelial wound repair. We tested two antibodies directed to different β4 epitopes, one adhesion-blocking (ASC-8) and one non-adhesion blocking (ASC-3), and determined that these antibodies were appropriately localized to the basal surface of keratinocytes at the basement membrane interface where β4 is expressed. While normal tissue architecture was not altered, ASC-8 induced a sub-basal split at the basement membrane in non-wounded tissue. In addition, wound closure was significantly inhibited by ASC-8, but not by ASC-3, as the epithelial tongue only covered 40 percent of the wound area at 120 hours post-wounding. These results demonstrate β4 adhesion-blocking antibodies may have adverse effects on normal tissue, whereas antibodies directed to other epitopes may provide safer alternatives for therapy. Taken together, we conclude that these three-dimensional tissue models provide a biologically relevant platform to identify toxic effects induced by candidate therapeutics, which will allow generation of findings that are more predictive of in vivo responses early in the drug development process

Curcumin Prevents Palmitoylation of Integrin β4 in Breast Cancer Cells

We thank Dr. Tak yee Aw for technical assistance and critical discussion of the manuscript. This study is supported by American Cancer Society (RSG-09-091-01-CSM: JC) and NIH-NCI (R01CA163657-01A1: JC).Curcumin has been shown to mitigate cancer phenotypes such as invasive migration, proliferation, and survival by disrupting numerous signaling pathways. Our previous studies showed that curcumin inhibits integrin β4 (ITG β4)-dependent migration by blocking interaction of this integrin with growth factor receptors in lipid rafts. In the current study, we investigated the possibility that curcumin inhibits ITG β4 palmitoylation, a post-translational modification required for its lipid raft localization and signaling activity. We found that the levels of ITG β4 palmitoylation correlated with the invasive potential of breast cancer cells, and that curcumin effectively reduced the levels of ITG β4 palmitoylation in invasive breast cancer cells. Through studies of ITG β4 palmitoylation kinetics, we concluded curcumin suppressed palmitoylation independent of growth factor-induced phosphorylation of key ITG β4 Ser and Tyr residues. Rather, curcumin blocked autoacylation of the palmitoyl acyltransferase DHHC3 that is responsible for ITG β4 palmitoylation. Moreover, these data reveal that curcumin is able to prevent the palmitoylation of a subset of proteins, but not indiscriminately bind to and block all cysteines from modifications. Our studies reveal a novel paradigm for curcumin to account for much of its biological activity, and specifically, how it is able to suppress the signaling function of ITG β4 in breast cancer cells.Yeshttp://www.plosone.org/static/editorial#pee