Vibration effects on heat transfer in cryogenic systems Quarterly progress report, Jul. 1 - Sep. 30, 1967

Water test apparatus used to determine vibration effects on heat transfer in cryogenic system

Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi

Worst-case analysis of heap allocations

Abstract. In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst-case execution time and the worst-case memory consumption. In this paper, we present an analysis to determine the worst-case heap allocations of tasks. The analysis builds upon techniques that are well established for worst-case execution time analysis. The difference is that the cost function is not the execution time of instructions in clock cycles, but the allocation in bytes. In contrast to worst-case execution time analysis, worst-case heap allocation analysis is not processor dependent. However, the cost function depends on the object layout of the runtime system. The analysis is evaluated with several real-time benchmarks to establish the usefulness of the analysis, and to compare the memory consumption of different object layouts.

Teaching People to Read Comics: The Impact of a Visual Literacy Intervention on Comprehension of Educational Comics

Evidence suggests that children’s abilities to comprehend information can vary, which may lead to miscommunication and impact on future life outcomes. Previous research suggests that visual literacy interventions may be helpful for children who need to interpret visual sources of information. Recently there has been renewed interest in the potential of comics as assistive tools in pedagogical settings, which are a highly visual medium. However, no research has yet investigated whether a visual literacy intervention can assist children in their comprehension of comics. The current experiment set out to determine if a visual literacy intervention constructed around comics would improve comprehension of educational comics in primary school children. The study consisted of a pre- and post-intervention procedure. Previous comic reading experience was included as a variable. In each session, comprehension and inferential understanding was assessed. Both comprehension and inferential understanding improved following the comics literacy intervention. These results demonstrate that visual literacy instruction can enhance comprehension of educational comics. Findings can be applied to educational settings and have potential for improving educational outcomes

Shape Analysis in the Absence of Pointers and Structure

discover properties of dynamic and/or mutable structures. We ask, “Is there an equivalent to shape analysis for purely functional programs, and if so, what ‘shapes ’ does it discover? ” By treating binding environments as dynamically allocated structures, by treating bindings as addresses, and by treating value environments as heaps, we argue that we can analyze the “shape ” of higher-order functions. To demonstrate this, we enrich an abstract-interpretive control-flow analysis with principles from shape analysis. In particular, we promote “anodization ” as a way to generalize both singleton abstraction and the notion of focusing, and we promote “binding invariants ” as the analog of shape predicates. Our analysis enables two optimizations known to be beyond the reach of control-flow analysis (globalization and super-β inlining) and one previously unknown optimization (higher-order rematerialization).

Evaluation of a minimally invasive glucose biosensor for continuous tissue monitoring

We describe here a minimally invasive glucose biosensor based on a microneedle array electrode fabricated from an epoxy-based negative photoresist (SU8 50) and designed for continuous measurement in the dermal compartment with minimal pain. These minimally invasive, continuous monitoring sensor devices (MICoMS) were produced by casting the structures in SU8 50, crosslinking and then metallising them with platinum or silver to obtain the working and reference electrodes, respectively. The metallised microneedle array electrodes were subsequently functionalised by entrapping glucose oxidase in electropolymerised polyphenol (PP) film. Sensor performance in vitro showed that glucose concentrations down to 0.5 mM could be measured with a response times (T90) of 15 s. The effect of sterilisation by Co60 irradiation was evaluated. In preparation for further clinical studies, these sensors were tested in vivo in a healthy volunteer for a period of 3–6 h. The sensor currents were compared against point measurements obtained with a commercial capillary blood glucometer. The epoxy MICoMS devices showed currents values that could be correlated with these

Multigene prognostic tests in breast cancer: past, present, future

There is growing consensus that multigene prognostic tests provide useful complementary information to tumor size and grade in estrogen receptor (ER)-positive breast cancers. The tests primarily rely on quantification of ER and proliferation-related genes and combine these into multivariate prediction models. Since ER-negative cancers tend to have higher proliferation rates, the prognostic value of current multigene tests in these cancers is limited. First-generation prognostic signatures (Oncotype DX, MammaPrint, Genomic Grade Index) are substantially more accurate to predict recurrence within the first 5 years than in later years. This has become a limitation with the availability of effective extended adjuvant endocrine therapies. Newer tests (Prosigna, EndoPredict, Breast Cancer Index) appear to possess better prognostic value for late recurrences while also remaining predictive of early relapse. Some clinical prediction problems are more difficult to solve than others: there are no clinically useful prognostic signatures for ER-negative cancers, and drug-specific treatment response predictors also remain elusive. Emerging areas of research involve the development of immune gene signatures that carry modest but significant prognostic value independent of proliferation and ER status and represent candidate predictive markers for immune-targeted therapies. Overall metrics of tumor heterogeneity and genome integrity (for example, homologue recombination deficiency score) are emerging as potential new predictive markers for platinum agents. The recent expansion of high-throughput technology platforms including low-cost sequencing of circulating and tumor-derived DNA and RNA and rapid reliable quantification of microRNA offers new opportunities to build extended prediction models across multiplatform data

Multimarker RT–PCR assay for the detection of minimal residual disease in sentinel lymph nodes of breast cancer patients

The presence of metastases in lymph nodes is the most powerful prognostic factor in breast cancer patients. Routine histological examination of lymph nodes has limited sensitivity for the detection of breast cancer metastases. The aim of the present study was to develop a multimarker reverse transcriptase–polymerase chain reaction (RT—PCR) assay for the detection of minimal residual disease in sentinel nodes of breast cancer patients. RNA was extracted from 30 sentinel lymph nodes (SLN) obtained from 28 patients, three primary breast cancers (positive controls), three lymph nodes from patients with benign diseases, and peripheral blood lymphocytes of 10 healthy volunteers (negative controls). RT–PCR was performed using the following markers; cytokeratin (CK)-19, NY-BR-1 and mammaglobin B. RT–PCR results were compared to enhanced histopathologic examination and immunohistochemistry (IHC). All three positive controls showed strong PCR amplification for all three markers. None of the 13 negative controls was amplified by any of the three markers. Among the 30 SLN analysed, breast cancer metastases were detected in six SLNs by routine histology, in eight by IHC and in 15 by RT–PCR. We conclude that a multimarker RT–PCR assay probing for NY-BR-1, mammaglobin-B, and CK-19 is more sensitive compared to enhanced pathologic examination. This method may prove to be of value in breast cancer staging and prognosis evaluation

Serial detection of circulating tumour cells by reverse transcriptase-polymerase chain reaction assays is a marker for poor outcome in patients with malignant melanoma

BACKGROUND: Detection of circulating malignant cells (CMCs) through a reverse transcriptase-polymerase chain reaction (RT-PCR) assay seems to be a demonstration of systemic disease. We here evaluated the prognostic role of RT-PCR assays in serially-taken peripheral blood samples from patients with malignant melanoma (MM). METHODS: One hundred forty-nine melanoma patients with disease stage ranging from I to III were consecutively collected in 1997. A multi-marker RT-PCR assay was used on peripheral blood samples obtained at time of diagnosis and every 6 months during the first two years of follow-up (total: 5 samples). Univariate and multivariate analyses were performed after 83 months of median follow-up. RESULTS: Detection of at least one circulating mRNA marker was considered a signal of the presence of CMC (referred to as PCR-positive assay). A significant correlation was found between the rate of recurrences and the increasing number of PCR-positive assays (P = 0.007). Presence of CMC in a high number (≥2) of analysed blood samples was significantly correlated with a poor clinical outcome (disease-free survival: P = 0.019; overall survival: P = 0.034). Multivariate analysis revealed that presence of a PCR-positive status does play a role as independent prognostic factors for overall survival in melanoma patients, adding precision to the predictive power of the disease stage. CONCLUSION: Our findings indicated that serial RT-PCR assay may identify a high risk subset of melanoma patients with occult cancer cells constantly detected in blood circulation. Prolonged presence of CMCs seems to act as a surrogate marker of disease progression or a sign of more aggressive disease

Behavioral and Immune Responses to Infection Require Gαq- RhoA Signaling in C. elegans

Following pathogen infection the hosts' nervous and immune systems react with coordinated responses to the danger. A key question is how the neuronal and immune responses to pathogens are coordinated, are there common signaling pathways used by both responses? Using C. elegans we show that infection by pathogenic strains of M. nematophilum, but not exposure to avirulent strains, triggers behavioral and immune responses both of which require a conserved Gαq-RhoGEF Trio-Rho signaling pathway. Upon infection signaling by the Gαq pathway within cholinergic motorneurons is necessary and sufficient to increase release of the neurotransmitter acetylcholine and increase locomotion rates and these behavioral changes result in C. elegans leaving lawns of M. nematophilum. In the immune response to infection signaling by the Gαq pathway within rectal epithelial cells is necessary and sufficient to cause changes in cell morphology resulting in tail swelling that limits the infection. These Gαq mediated behavioral and immune responses to infection are separate, act in a cell autonomous fashion and activation of this pathway in the appropriate cells can trigger these responses in the absence of infection. Within the rectal epithelium the Gαq signaling pathway cooperates with a Ras signaling pathway to activate a Raf-ERK-MAPK pathway to trigger the cell morphology changes, whereas in motorneurons Gαq signaling triggers behavioral responses independent of Ras signaling. Thus, a conserved Gαq pathway cooperates with cell specific factors in the nervous and immune systems to produce appropriate responses to pathogen. Thus, our data suggests that ligands for Gq coupled receptors are likely to be part of the signals generated in response to M. nematophilum infection