Proof-Pattern Recognition and Lemma Discovery in ACL2

We present a novel technique for combining statistical machine learning for proof-pattern recognition with symbolic methods for lemma discovery. The resulting tool, ACL2(ml), gathers proof statistics and uses statistical pattern-recognition to pre-processes data from libraries, and then suggests auxiliary lemmas in new proofs by analogy with already seen examples. This paper presents the implementation of ACL2(ml) alongside theoretical descriptions of the proof-pattern recognition and lemma discovery methods involved in it

A rare case of giant leiomyosarcoma in a filarial scrotum: a case report

Giant leiomyosarcoma of scrotum is a rare tumour. A case of scrotum leiomyosarcoma is presented in a 67 year old patient with scrotal filariasis which was managed successfully with total scrotectomy with bilateral orchidectomy, degloved penis reconstructed with rotation advancement supra pubic fasciocutaneous flap. We made a literature search proving the rarity of this lesion type. Only 36 cases have been described and the first case in a filarial scrotu

Environmental correlates of geographic divergence in a phenotypic trait: A case study using bat echolocation

Divergence in phenotypic traits may arise from the interaction of different evolutionary forces, including different kinds of selection (e.g., ecological), genetic drift, and phenotypic plasticity. Sensory systems play an important role in survival and reproduction, and divergent selection on such systems may result in lineage diversification. Such diversification could be largely influenced by selection in different environments as a result of isolation by environment (IbE). We investigated this process using geographic variation in the resting echolocation frequency of the horseshoe bat species, Rhinolophus damarensis, as a test case. Bats were sampled along a latitudinal gradient ranging from 16°S to 32°S in the arid western half of southern Africa. We measured body size and peak resting frequencies (RF) from handheld individual bats. Three hypotheses for the divergence in RF were tested: (1) James’ Rule, (2) IbE, and (3) genetic drift through isolation by distance (IbD) to isolate the effects of body size, local climatic conditions, and geographic distance, respectively, on the resting frequency of R. damarensis. Our results did not support genetic drift because there was no correlation between RF variation and geographic distance. Our results also did not support James’ Rule because there was no significant relationship between (1) geographic distances and RF, (2) body size and RF, or (3) body size and climatic variables. Instead, we found support for IbE in the form of a correlation between RF and both region and annual mean temperature, suggesting that RF variation may be the result of environmental discontinuities. The environmental discontinuities coincided with previously reported genetic divergence. Climatic gradients in conjunction with environmental discontinuities could lead to local adaptation in sensory signals and directed dispersal such that gene flow is restricted, allowing lineages to diverge. However, our study cannot exclude the role of processes like phenotypic plasticity in phenotypic variation

Разработка и особенности применения аэромобильного пожарно-спасательного комплекса контейнерного типа для защиты объектов жизнеобеспечения от угрозы подтопления

В статье рассмотрена необходимость применения аэромобильного пожарноспасательного комплекса контейнерного типа в ЧС, который позволит значительно повысить уровень защиты различных объектов жизнеобеспечения от угрозы подтопления за счет минимизации сроков доставки комплекса к месту развертывания, сокращения времени установки и развертывания водозащитной дамбы, уменьшения материальных затрат на возведение самой дамбы и экономии людских и машинных ресурсов.The article considers the necessity of using a container-type airmobile fire-and-rescue complex in the emergency situation that will significantly increase the level of protection of various life support facilities from the threat of flooding by minimizing the delivery time of the complex to the site of deployment, reducing the installation time and deploying a water-protective dam, reducing the material costs of erection the dam itself and the economy of human and machine resources

Whole-genome sequencing of bladder cancers reveals somatic CDKN1A mutations and clinicopathological associations with mutation burden

Bladder cancers are a leading cause of death from malignancy. Molecular markers might predict disease progression and behaviour more accurately than the available prognostic factors. Here we use whole-genome sequencing to identify somatic mutations and chromosomal changes in 14 bladder cancers of different grades and stages. As well as detecting the known bladder cancer driver mutations, we report the identification of recurrent protein-inactivating mutations in CDKN1A and FAT1. The former are not mutually exclusive with TP53 mutations or MDM2 amplification, showing that CDKN1A dysfunction is not simply an alternative mechanism for p53 pathway inactivation. We find strong positive associations between higher tumour stage/grade and greater clonal diversity, the number of somatic mutations and the burden of copy number changes. In principle, the identification of sub-clones with greater diversity and/or mutation burden within early-stage or low-grade tumours could identify lesions with a high risk of invasive progression

Loss of AQP3 protein expression is associated with worse progression-free and cancer-specific survival in patients with muscle-invasive bladder cancer

Purpose Urothelial carcinoma has recently been shown to express several aquaporins (AQP), with AQP3 being of particular interest as its expression is reduced or lost in tumours of higher grade and stage. Loss of AQP3 expression was associated with worse progression-free survival (PFS) in patients with pT1 bladder cancer. The objective of this study was to investigate the prognostic value of AQP3 expression in patients with muscle-invasive bladder carcinoma (MIBC). Methods Retrospective single-centre analysis of the oncological outcome of patients following radical cystectomy (Cx) due to MIBC. Immunohistochemistry was used to assess AQP3 protein expression in 100 Cx specimens. Expression levels of AQP3 were related to clinicopathological variables. The impact of biomarker expression on progression-free, cancer-specific and overall survival was determined by multivariate Cox regression analysis (MVA). Results High expression of AQP3 by the tumour was associated with a statistically significantly improved PFS (75 vs. 19 %, p = 0.043) and CSS (75 vs. 18 %, p = 0.030) and, alongside lymph node involvement, was an independent predictor of PFS (HR 2.871, CI 1.066–7.733, p = 0.037), CSS (HR 3.325, CI 1.204–8.774, p = 0.019) and OS (HR 2.001, CI 1.014–3.947) in MVA. Conclusions Although the results of the study would be strengthened by a larger, more appropriately powered, prospective, multi-institutional study, our findings strongly suggest that AQP3 expression status may represent an independent predictor of PFS and CSS in MIBC and may help select patients in need for (neo-)adjuvant chemotherapy

The application of adjuvant autologous antravesical macrophage cell therapy vs. BCG in non-muscle invasive bladder cancer: a multicenter, randomized trial

<p>Abstract</p> <p>Introduction</p> <p>While adjuvant immunotherapy with Bacille Calmette Guérin (BCG) is effective in non-muscle-invasive bladder cancer (BC), adverse events (AEs) are considerable. Monocyte-derived activated killer cells (MAK) are discussed as essential in antitumoural immunoresponse, but their application may imply risks. The present trial compared autologous intravesical macrophage cell therapy (BEXIDEM^®) to BCG in patients after transurethral resection (TURB) of BC.</p> <p>Materials and methods</p> <p>This open-label trial included 137 eligible patients with TaG1-3, T1G1-2 plurifocal or unifocal tumours and ≥ 2 occurrences within 24 months and was conducted from June 2004 to March 2007. Median follow-up for patients without recurrence was 12 months. Patients were randomized to BCG or mononuclear cells collected by apheresis after ex vivo cell processing and activation (BEXIDEM). Either arm treatment consisted of 6 weekly instillations and 2 cycles of 3 weekly instillations at months 3 and 6. Toxicity profile (primary endpoint) and prophylactic effects (secondary endpoint) were assessed.</p> <p>Results</p> <p>Patient characteristics were evenly distributed. Of 73 treated with BCG and 64 with BEXIDEM, 85% vs. 45% experienced AEs and 26% vs. 14% serious AEs (SAE), respectively (p < 0.001). Recurrence occurred significantly less frequent with BCG than with BEXIDEM (12% vs. 38%; p < 0.001).</p> <p>Discussion</p> <p>This initial report of autologous intravesical macrophage cell therapy in BC demonstrates BEXIDEM treatment to be safe. Recurrence rates were significantly lower with BCG however. As the efficacy of BEXIDEM remains uncertain, further data, e.g. marker lesions studies, are warranted.</p> <p>Trial registration</p> <p>The trial has been registered in the ISRCTN registry <url>http://isrctn.org</url> under the registration number ISRCTN35881130.</p