433 research outputs found

    The play's the thing

    Get PDF
    For very understandable reasons phenomenological approaches predominate in the field of sensory urbanism. This paper does not seek to add to that particular discourse. Rather it takes Rorty’s postmodernized Pragmatism as its starting point and develops a position on the role of multi-modal design representation in the design process as a means of admitting many voices and managing multidisciplinary collaboration. This paper will interrogate some of the concepts underpinning the Sensory Urbanism project to help define the scope of interest in multi-modal representations. It will then explore a range of techniques and approaches developed by artists and designers during the past fifty years or so and comment on how they might inform the question of multi-modal representation. In conclusion I will argue that we should develop a heterogeneous tool kit that adopts, adapts and re-invents existing methods because this will better serve our purposes during the exploratory phase(s) of any design project that deals with complexity

    Relationship of EMAST and Microsatellite Instability Among Patients with Rectal Cancer

    Get PDF
    Elevated microsatellite instability at selected tetranucleotide repeats (EMAST) is a genetic signature identified in 60% of sporadic colon cancers and may be linked with heterogeneous expression of the DNA mismatch repair (MMR) protein hMSH3. Unlike microsatellite instability-high (MSI-H) in which hypermethylation of hMLH1 occurs followed by multiple susceptible gene mutations, EMAST may be associated with inflammation and subsequent relaxation of MMR function with the biological consequences not known. We evaluated the prevalence of EMAST and MSI in a population-based cohort of rectal cancers, as EMAST has not been previously determined in rectal cancers. We analyzed 147 sporadic cases of rectal cancer using five tetranucleotide microsatellite markers and National-Cancer-Institute-recommended MSI (mononucleotide and dinucleotide) markers. EMAST and MSI determinations were made on analysis of DNA sequences of the polymerase chain reaction products and determined positive if at least two loci were found to have frame-shifted repeats upon comparison between normal and cancer samples from the same patient. We correlated EMAST data with race, gender, and tumor stage and examined the samples for lymphocyte infiltration. Among this cohort of patients with rectal cancer (mean age 62.2 ± 10.3 years, 36% female, 24% African American), 3/147 (2%) showed MSI (three males, two African American) and 49/147 (33%) demonstrated EMAST. Rectal tumors from African Americans were more likely to show EMAST than Caucasians (18/37, 49% vs. 27/104, 26%, p = 0.014) and were associated with advanced stage (18/29, 62% EMAST vs. 18/53, 37%, non-EMAST p = 0.02). There was no association between EMAST and gender. EMAST was more prevalent in rectal tumors that showed peri-tumoral infiltration compared to those without (30/49, 60% EMAST vs. 24/98, 25% non-EMAST, p = 0.0001). EMAST in rectal cancer is common and MSI is rare. EMAST is associated with African-American race and may be more commonly seen with metastatic disease. The etiology and consequences of EMAST are under investigation, but its association with immune cell infiltration suggests that inflammation may play a role for its development

    BART Inhibits Pancreatic Cancer Cell Invasion by PKCα Inactivation through Binding to ANX7

    Get PDF
    A novel function for the binder of Arl two (BART) molecule in pancreatic cancer cells is reported. BART inhibits invasiveness of pancreatic cancer cells through binding to a Ca2+-dependent, phosphorylated, guanosine triphosphatase (GTPase) membrane fusion protein, annexin7 (ANX7). A tumor suppressor function for ANX7 was previously reported based on its prognostic role in human cancers and the cancer-prone mouse phenotype ANX7(+/−). Further investigation demonstrated that the BART–ANX7 complex is transported toward cell protrusions in migrating cells when BART supports the binding of ANX7 to the protein kinase C (PKC) isoform PKCα. Recent evidence has suggested that phosphorylation of ANX7 by PKC significantly potentiates ANX7-induced fusion of phospholipid vesicles; however, the current data suggest that the BART–ANX7 complex reduces PKCα activity. Knocking down endogenous BART and ANX7 increases activity of PKCα, and specific inhibitors of PKCα significantly abrogate invasiveness induced by BART and ANX7 knockdown. These results imply that BART contributes to regulating PKCα activity through binding to ANX7, thereby affecting the invasiveness of pancreatic cancer cells. Thus, it is possible that BART and ANX7 can distinctly regulate the downstream signaling of PKCα that is potentially relevant to cell invasion by acting as anti-invasive molecules

    A foundation for runtime monitoring

    Get PDF
    Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitor-ing, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the modal μ-calculus) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated.peer-reviewe

    Early glandular neoplasia of the lung

    Get PDF
    Although bronchogenic carcinomas progress through a very well defined sequence of metaplasia, dysplasia and carcinoma in situ, very little is known about the early progression of glandular neoplasms of the lung. In particular, the early precursor lesion from which fully malignant adenocarcinomas arise has effectively eluded recognition, at least until recently. Several lines of evidence now implicate atypical adenomatous hyperplasia (AAH) as an initial morphologic stage in multistep lung tumorigenesis. Despite its small size, AAH can be appreciated at the light microscopic level and characterized at the molecular genetic level. Indeed, the genetic characterization of AAH promises to further our understanding of lung cancer development and might facilitate the design of novel strategies for early detection of lung cancer

    A Foundation for Runtime Monitoring

    Get PDF
    Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitoring, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the mmucalc) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated
    corecore