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

Variable binding, symmetric monoidal closed theories, and bigraphs

This paper investigates the use of symmetric monoidal closed (SMC) structure for representing syntax with variable binding, in particular for languages with linear aspects. In our setting, one first specifies an SMC theory T, which may express binding operations, in a way reminiscent from higher-order abstract syntax. This theory generates an SMC category S(T) whose morphisms are, in a sense, terms in the desired syntax. We apply our approach to Jensen and Milner's (abstract binding) bigraphs, which are linear w.r.t. processes. This leads to an alternative category of bigraphs, which we compare to the original.Comment: An introduction to two more technical previous preprints. Accepted at Concur '0

Regina Lectures on Fat Points

These notes are a record of lectures given in the Workshop on Connections Between Algebra and Geometry at the University of Regina, May 29--June 1, 2012. The lectures were meant as an introduction to current research problems related to fat points for an audience that was not expected to have much background in commutative algebra or algebraic geometry (although sections 8 and 9 of these notes demand somewhat more background than earlier sections).Comment: 32 pages, 3 figure

HPV testing in primary screening of older women

Certain types of the human papilloma virus (HPV) are well established as the primary cause of cervical cancer. Several studies have shown that HPV testing can improve the detection rate of high-grade cervical intraepithelial neoplasia (CIN), but these have been carried out primarily in younger women. In this study we evaluated the role of HPV testing as an adjunct to cytology in women aged 35 or over. An additional aim was to evaluate commercially available kits for HPV testing. A total of 2988 eligible women aged 34 or more attending for a routine smear in 40 general practitioner practices received HPV testing in addition to routine cytology, after having given written informed consent. Samples were assayed by polymerase chain reaction (PCR) and two versions of the Hybrid Capture test for HPV, and women were invited for colposcopy if there was any cytological abnormality (including borderline smears) or the PCR test was positive. Any apparent abnormality was biopsied and loop-excision was performed as necessary. CIN was judged by histology; 42 women had high-grade CIN, of which six were cytology negative (86% sensitivity for borderline or worse) and three had a borderline smear (79% sensitivity for mild dyskaryosis or worse). The positive predictive value of a borderline smear was only 3.1%. Eleven high-grade lesions were negative by the PCR HPV test (sensitivity 74%). The first generation Hybrid Capture II test had a similar sensitivity but an unacceptably high false positive rate (18.3%), while the newer Hybrid Capture II microtitre kit had a 95% sensitivity and a 2.3% positivity rate in normal women when used at a 2 pg ml−1 cut-off (positive predictive value 27%). Cytology performed very well in this older cohort of women. The newer Hybrid Capture II microtitre test may be a useful adjunct, especially if the results reported here are reproducible in other studies. A combined screening test offers the possibility of greater protection and/or longer screening intervals, which could reduce the overall cost of the screening programme. © 1999 Cancer Research Campaig

Immunotherapy with allotumour mRNA-transfected dendritic cells in androgen-resistant prostate cancer patients

Here, we present results from a clinical trial employing a new vaccination method using dendritic cells (DCs) transfected with mRNA from allogeneic prostate cancer cell lines (DU145, LNCaP and PC-3). In all, 20 patients were enrolled and 19 have completed vaccination. Each patient received at least four weekly injections with 2 × 107 transfected DCs either intranodally or intradermally. Safety and feasibility of vaccination were determined. Immune responses were measured as delayed-type hypersensitivity and by in vitro immunoassays including ELISPOT and T-cell proliferation in pre- and postvaccination peripheral blood samples. Serum prostate-specific antigen (PSA) levels and bone scans were monitored. No toxicity or serious adverse events related to vaccinations were observed. A total of 12 patients developed a specific immune response to tumour mRNA-transfected DCs. In total, 13 patients showed a decrease in log slope PSA. This effect was strengthened by booster vaccinations. Clinical outcome was significantly related to immune responses (n=19, P=0.002, r=0.68). Vaccination with mRNA-transfected DCs is safe and results in cellular immune responses specific for antigens encoded by mRNA derived from the prostate cancer cell lines. The observation that in some patients vaccination affected the PSA level suggests that this approach may become useful as a treatment modality for prostate cancer patients

The driver mutational landscape of ovarian squamous cell carcinomas arising in mature cystic teratoma

Purpose. We sought to identify the genomic abnormalities in squamous cell carcinomas (SCC) arising in ovarian mature cystic teratoma (MCT), a rare gynaecological malignancy of poor prognosis. Experimental design. We performed copy number, mutational state and zygosity analysis of 151 genes in SCC arising in MCT (n=25) using next-generation sequencing. The presence of high/intermediate risk HPV genotypes was assessed by quantitative PCR. Genomic events were correlated with clinical features and outcome Results. MCT had a low mutation burden with a mean of only 1 mutation per case. Zygosity analyses of MCT indicated four separate patterns, suggesting that MCT can arise from errors at various stages of oogenesis. A total of 244 abnormalities were identified in 79 genes in MCT-associated SCC, and the overall mutational burden was high (mean 10.2 mutations per megabase). No SCC was positive for HPV. The most frequently altered genes in SCC were TP53 (20/25 cases, 80%), PIK3CA (13/25 cases, 52%) and CDKN2A (11/25 cases, 44%). Mutation in TP53 was associated with improved overall survival. In 8/20 cases with TP53 mutations, two or more variants were identified, which were bi-allelic. Conclusions. Ovarian SCC arising in MCT has a high mutational burden with TP53 mutation the most common abnormality. The presence TP53 mutation is a good prognostic factor. SCC arising in MCT share similar mutation profiles to other SCC. Given their rarity, they should be included in basket studies that recruit patients with SCC of other organs

Pseudoneoplastic lesions of the testis and paratesticular structures

Pseudotumors or tumor-like proliferations (non-neoplastic masses) and benign mimickers (non-neoplastic cellular proliferations) are rare in the testis and paratesticular structures. Clinically, these lesions (cysts, ectopic tissues, and vascular, inflammatory, or hyperplastic lesions) are of great interest for the reason that, because of the topography, they may be relevant as differential diagnoses. The purpose of this paper is to present an overview of the pseudoneoplasic entities arising in the testis and paratesticular structures; emphasis is placed on how the practicing pathologist may distinguish benign mimickers and pseudotumors from true neoplasia. These lesions can be classified as macroscopic or microscopic mimickers of neoplasia