Reasoning about goal-directed real-time teleo-reactive programs

The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks such as action systems, timed automata and TLA+, and allows programs to be more compact and descriptive of their intended behaviour. Teleo-reactive programs are particularly useful for implementing controllers for autonomous agents that must react robustly to their dynamically changing environments. In this paper, we develop a real-time logic that is based on Duration Calculus and use this logic to formalise the semantics of teleo-reactive programs. We develop rely/guarantee rules that facilitate reasoning about a program and its environment in a compositional manner. We present several theorems for simplifying proofs of teleo-reactive programs and present a partially mechanised method for proving progress properties of goal-directed agents. © 2013 British Computer Society

Heat or Insulation: Behavioral Titration of Mouse Preference for Warmth or Access to a Nest

In laboratories, mice are housed at 20–24°C, which is below their lower critical temperature (≈30°C). This increased thermal stress has the potential to alter scientific outcomes. Nesting material should allow for improved behavioral thermoregulation and thus alleviate this thermal stress. Nesting behavior should change with temperature and material, and the choice between nesting or thermotaxis (movement in response to temperature) should also depend on the balance of these factors, such that mice titrate nesting material against temperature. Naïve CD-1, BALB/c, and C57BL/6 mice (36 male and 36 female/strain in groups of 3) were housed in a set of 2 connected cages, each maintained at a different temperature using a water bath. One cage in each set was 20°C (Nesting cage; NC) while the other was one of 6 temperatures (Temperature cage; TC: 20, 23, 26, 29, 32, or 35°C). The NC contained one of 6 nesting provisions (0, 2, 4, 6, 8, or 10g), changed daily. Food intake and nest scores were measured in both cages. As the difference in temperature between paired cages increased, feed consumption in NC increased. Nesting provision altered differences in nest scores between the 2 paired temperatures. Nest scores in NC increased with increasing provision. In addition, temperature pairings altered the difference in nest scores with the smallest difference between locations at 26°C and 29°C. Mice transferred material from NC to TC but the likelihood of transfer decreased with increasing provision. Overall, mice of different strains and sexes prefer temperatures between 26–29°C and the shift from thermotaxis to nest building is seen between 6 and 10 g of material. Our results suggest that under normal laboratory temperatures, mice should be provided with no less than 6 grams of nesting material, but up to 10 grams may be needed to alleviate thermal distress under typical temperatures

BCAA catabolism in brown fat controls energy homeostasis through SLC25A44.

Branched-chain amino acid (BCAA; valine, leucine and isoleucine) supplementation is often beneficial to energy expenditure; however, increased circulating levels of BCAA are linked to obesity and diabetes. The mechanisms of this paradox remain unclear. Here we report that, on cold exposure, brown adipose tissue (BAT) actively utilizes BCAA in the mitochondria for thermogenesis and promotes systemic BCAA clearance in mice and humans. In turn, a BAT-specific defect in BCAA catabolism attenuates systemic BCAA clearance, BAT fuel oxidation and thermogenesis, leading to diet-induced obesity and glucose intolerance. Mechanistically, active BCAA catabolism in BAT is mediated by SLC25A44, which transports BCAAs into mitochondria. Our results suggest that BAT serves as a key metabolic filter that controls BCAA clearance via SLC25A44, thereby contributing to the improvement of metabolic health

Primary Squamous Cell Carcinoma of the Liver: An Uncommon Finding in Contrast-Enhanced Ultrasonography Imaging

Primary squamous cell carcinoma (SCC) of the liver is rare tumor with an unfavorable prognosis. We report a case of advanced primary SCC of the liver arising adjacent to a nonparasitic liver cyst, invading into the right diaphragm and the right lung tissue. Contrast-enhanced ultrasonography (CE-US) demonstrated unique enhancement in the late vascular phase, which was incompatible with those observed in hepatocellular carcinoma, cholangiocellular carcinoma, or metastatic adenocarcinoma. The patient underwent surgical resection of the tumor followed by systemic chemotherapy with 5-fluorouracil (5-FU) and cisplatin (CDDP), while radiation chemotherapy was not applied because of relatively poor performance status. Although postoperative image analysis revealed no recurrence 4 months later, the patient died 13 months after the operation from recurrence. Immunohistological analysis of the resected specimen revealed that this SCC contained many capillary endothelial vessels expressing CD31 or CD34, possibly reflecting the unique imaging pattern in the late vascular phase of CE-US, which has been reported in choangiolocellular carcinoma. In addition, we reviewed which kind of treatment would be suitable for advanced hepatic primary SCC in the literature. From the review, it could be proposed that a combination of radiation therapy, systemic chemotherapy (5-FU and CDDP) and surgical resection, if possible, is appropriate for advanced primary SCC of the liver

Enrichment analysis of Alu elements with different spatial chromatin proximity in the human genome

Transposable elements (TEs) have no longer been totally considered as “junk DNA” for quite a time since the continual discoveries of their multifunctional roles in eukaryote genomes. As one of the most important and abundant TEs that still active in human genome, Alu, a SINE family, has demonstrated its indispensable regulatory functions at sequence level, but its spatial roles are still unclear. Technologies based on 3C(chromosomeconformation capture) have revealed the mysterious three-dimensional structure of chromatin, and make it possible to study the distal chromatin interaction in the genome. To find the role TE playing in distal regulation in human genome, we compiled the new released Hi-C data, TE annotation, histone marker annotations, and the genome-wide methylation data to operate correlation analysis, and found that the density of Alu elements showed a strong positive correlation with the level of chromatin interactions (hESC: r=0.9, P<2.2×1016; IMR90 fibroblasts: r = 0.94, P < 2.2 × 1016) and also have a significant positive correlation withsomeremote functional DNA elements like enhancers and promoters (Enhancer: hESC: r=0.997, P=2.3×10−4; IMR90: r=0.934, P=2×10−2; Promoter: hESC: r = 0.995, P = 3.8 × 10−4; IMR90: r = 0.996, P = 3.2 × 10−4). Further investigation involving GC content and methylation status showed the GC content of Alu covered sequences shared a similar pattern with that of the overall sequence, suggesting that Alu elements also function as the GC nucleotide and CpG site provider. In all, our results suggest that the Alu elements may act as an alternative parameter to evaluate the Hi-C data, which is confirmed by the correlation analysis of Alu elements and histone markers. Moreover, the GC-rich Alu sequence can bring high GC content and methylation flexibility to the regions with more distal chromatin contact, regulating the transcription of tissue-specific genes

Psychometric properties of two physical activity questionnaires, the AQuAA and the PASE, in cancer patients

Background: This study aimed to evaluate the reliability and validity of two self-report physical activity (PA) questionnaires - the AQuAA (Activity Questionnaire for Adults and Adolescents) and PASE (Physical Activity Scale for the Elderly) - in cancer patients. Methods: Test-retest reliability was determined by administering the questionnaires twice within 5 days. Intraclass correlation coefficient (ICC), standard error of measurement (SEM) and smallest detectable difference (SDD) were calculated. Construct validity was determined by comparing the questionnaire results with ActiGraph accelerometer scores using Spearman correlation coefficients (r(s)) and ICCs. Content validity was examined using the Three-Step Test-Interview (TSTI). Results: Reliability for the AQuAA scores were fair to excellent (ICC = 0.57 to 0.78). Reliability for the PASE scores ranged from good to excellent (ICC = 0.67 to 0.90). Correlations between the ActiGraph and the AQuAA and the PASE were low (r(s) = 0.05 and 0.16 respectively, and ICC = -0.001 to 0.44). The TSTI showed that participants experienced difficulties with the examples provided with the questions, the perceptions of intensity level of PA, and with recalling the time spent on PA. Conclusions: Both questionnaires showed good to excellent test-retest reliability for most scores. Construct validity of both questionnaires was low, as indicated by the low correlations with the ActiGraph. Except for a few difficulties that participants perceived when filling out the questionnaires, the content validity of both questionnaires was goo

Increased risk of malignancies in a population-based study of 818 soft-tissue sarcoma patients

Soft-tissue sarcomas (STS) have been associated with various rare cancer syndromes and occur at increased frequencies in survivors of childhood cancer. Also adult patients with STS have been suggested to be at an increased risk of additional malignancies. After exclusion of syndrome-associated and radiation-induced sarcomas, we studied multiple primary malignancies in a population-based cohort of 818 patients with primary STS of the extremities and the trunk wall. In total, 203 other malignancies developed in 164 (20%) patients median 10 (0–32) years before and median 4 (0–35) years after the sarcoma diagnosis. Standardised morbidity ratios (SMRs) were determined for primary malignancies following a STS. Hereby individuals who had developed a STS were identified to be at increased risk of second primary malignancies (SMR for all malignant tumours=1.3; 95% CI=1.0–1.5; P=0.02) with STS being the only specific tumour type that occurred at an increased risk (SMR=17.6; 95% CI=8.1–33.5; P<0.001). Hence, this population-based series demonstrates a high frequency of second primary tumours among STS patients and indicates a particularly increased risk of developing a new STS

Identifying related cancer types based on their incidence among people with multiple cancers

BACKGROUND: There are several reasons that someone might be diagnosed with more than one primary cancer. The aim of this analysis was to determine combinations of cancer types that occur more often than expected. The expected values in previous analyses are based on age-and-gender-adjusted risks in the population. However, if cancer in people with multiple primaries is somehow different than cancer in people with a single primary, then the expected numbers should not be based on all diagnoses in the population. METHODS: In people with two or more cancer types, the probability that a specific type is diagnosed was determined as the number of diagnoses for that cancer type divided by the total number of cancer diagnoses. If two types of cancer occur independently of one another, then the probability that someone will develop both cancers by chance is the product of the individual probabilities for each type. The expected number of people with both cancers is the number of people at risk multiplied by the separate probabilities for each cancer. We performed the analysis on records of cancer diagnoses in British Columbia, Canada between 1970 and 2004. RESULTS: There were 28,159 people with records of multiple primary cancers between 1970 and 2004, including 1,492 people with between three and seven diagnoses. Among both men and women, the combinations of esophageal cancer with melanoma, and kidney cancer with oral cancer, are observed more than twice as often as expected. CONCLUSION: Our analysis suggests there are several pairs of primary cancers that might be related by a shared etiological factor. We think that our method is more appropriate than others when multiple diagnoses of primary cancer are unlikely to be the result of therapeutic or diagnostic procedures