A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewriting systems containing such rules is proved by treating them as equational term rewriting systems and considering E-critical pairs and/or termination modulo E. In contrast, our method is based solely on usual critical pairs and it also (partially) works even if the system is not terminating modulo E. We first present confluence criteria for term rewriting systems whose rewrite rules can be partitioned into a terminating part and a possibly non-terminating part. We then give a reduction-preserving completion procedure so that the applicability of the criteria is enhanced. In contrast to the well-known Knuth-Bendix completion procedure which preserves the equivalence relation of the system, our completion procedure preserves the reduction relation of the system, by which confluence of the original system is inferred from that of the completed system

Нове видання з історії становлення кодикографії та бібліографії стародруків України

Розглядається монографічне видання, яке вперше комплексно представ-ляє загальний стан колекційних рукописних та книжкових фондів бібліотек і музеїв в Україні в другій половині ХІХ – 30-х роках ХХ ст.; формування та діяльність наукових центрів з вивчення історії книги в Україні у період, коли археографічна діяльність досягла найвищого рівня свого розвитку.Рассматривается монографическое издание, которое впервые комплексно представляет общее состояние коллекционных рукописных и книжных фондов библиотек и музеев в Украине во второй половине ХіХ – 30-х годах ХХ ст.; формирование и деятельность научных центров по изучению истории книги в Украине в период, когда археографическая деятельность достигла наивысшего уровня своего развития.The consideration of the monographic edition which for the firs time represents in complex the general condition of collection hand-written and book funds of libraries and museums in Ukraine in the second half of ХIХ–30-th years of ХХ century, the formation and activity of scientific centres on studying book history in Ukraine at the period of the highest level of the archaeographic activity development

Relative contribution of various chronic diseases and multi-morbidity to potential disability among Dutch elderly

BACKGROUND: The amount of time spent living with disease greatly influences elderly people’s wellbeing, disability and healthcare costs, but differs by disease, age and sex. METHODS: We assessed how various single and combined diseases differentially affect life years spent living with disease in Dutch elderly men and women (65+) over their remaining life course. Multistate life table calculations were applied to age and sex-specific disease prevalence, incidence and death rates for the Netherlands in 2007. We distinguished congestive heart failure, coronary heart disease (CHD), breast and prostate cancer, colon cancer, lung cancer, diabetes, COPD, stroke, dementia and osteoarthritis. RESULTS: Across ages 65, 70, 75, 80 and 85, CHD caused the most time spent living with disease for Dutch men (from 7.6 years at age 65 to 3.7 years at age 85) and osteoarthritis for Dutch women (from 11.7 years at age 65 to 4. 8 years at age 85). Of the various co-occurrences of disease, the combination of diabetes and osteoarthritis led to the most time spent living with disease, for both men (from 11.2 years at age 65 to 4.9 -years at age 85) and women (from 14.2 years at age 65 to 6.0 years at age 85). CONCLUSIONS: Specific single and multi-morbid diseases affect men and women differently at different phases in the life course in terms of the time spent living with disease, and consequently, their potential disability. Timely sex and age-specific interventions targeting prevention of the single and combined diseases identified could reduce healthcare costs and increase wellbeing in elderly people

Participant music listening behaviours in interactive multimedia music instruction

While emerging technologies such as interactive multimedia are increasingly being employed in computerised music instruction, understanding of participant music listening behaviours in interactive multimedia music instruction is currently very limited. With the aim of elucidating music listening behaviour, the central concern of this work is to identify and explain participant interactions with the audio components of interactive multimedia music instruction. The investigation employs a novel documentation procedure, which extends the application of digital audio recording technology, to provide a finely calibrated analysis of the audio activity of a sample of 20 undergraduate music education majors during individual sessions with two commercially-available interactive multimedia music instruction programs. Graphically-based Sound Activity Profiles, which the researcher developed specifically for the current investigation, characterise and summarise participant interactions with audio components, while an analysis of questionnaire responses and follow-up interview transcripts provides supplementary information that further explains participants' music listening behaviours. The results of the investigation show that music listening behaviours during the study sessions were highly variable. While extensive participant interaction with music examples occasionally reflected attentive music listening behaviours, many study sessions were characterised by brief, fragmentary music excerpts and lengthy periods of silence. Participants spent as little as five percent of their session time listening to music and as much as 88 percent of the session time in silence. A substantial number of the study cohort frequently interrupted the music examples they had activated. Participants' perceptions of the extent of their interaction with music examples were frequently inaccurate, as subjects often substantially overestimated the amount of session time they had spent listening to music. The study findings suggest that many interactive multimedia music instruction participants would benefit from interventions that elicit more extensive and prolonged interaction with music examples. Accordingly, recommendations include a call for research to develop and test software designs that incorporate automated monitoring of session audio activity so that dynamic on-screen information about music listening behaviour can be provided to interactive multimedia music instruction participants. Such information may encourage participants to modify inappropriate music listening behaviours

Shortened time interval between colorectal cancer diagnosis and risk testing for hereditary colorectal cancer is not related to higher psychological distress

Current diagnostic practices have shortened the interval between colorectal cancer (CRC) diagnosis and genetic analysis for Lynch syndrome by MSI-testing. We studied the relation of time between MSI-testing since CRC diagnosis (MSI–CRC interval) and psychological distress. We performed a cross-sectional study in 89 patients who had previously been treated for CRC. Data were collected during MSI-testing after genetic counseling. Psychological distress was measured with the IES, the SCL-90 and the POMS; social issues with the ISS, ISB and the ODHCF. The median time of MSI–CRC interval was 24 months (range 0–332), with 23% of the patients diagnosed less than 12 months and 42% more than 36 months prior to MSI-testing. In 34% of the patients cancer specific distress was high (IES scores >26). Mean psychopathology (SCL-90) scores were low, mean mood states (POMS) scores were moderate. Interval MSI–CRC was not related to psychological distress. High cancer specific distress was reported by 24% of patients diagnosed with CRC less than 12 months ago versus 39 and 35% by those diagnosed between 12 and 36 months and more than 36 months ago respectively. Distress was positively related to female gender (P = 0.04), religiousness (P = 0.01), low social support (P = 0.02) and difficulties with family communication (P < 0.001). Shortened time interval between CRC diagnosis and MSI-testing is not associated with higher psychological distress. Females, religious persons, those having low social support and those reporting difficulties communicating hereditary colorectal cancer with relatives are at higher risk for psychological distress

Psychological individual differences as predictors of refugees’ local language proficiency

Learning the local language is important for the successful integration of immigrants. Previous research has identified a number of sociodemographic factors that are associated with the effectiveness of local language acquisition among immigrants, but little is known about the influence of psychological differences on immigrants’ local language acquisition. In the present research, individual differences in general mental ability (GMA), work search intention, and personality traits Conscientiousness and Openness were studied among recently arrived Syrian (n = 1054) and Eritrean (n = 500) refugees in the Netherlands. The results revealed that in addition to the effects of age of arrival, local length of stay, premigration educational attainment, and psychological distress, GMA and work search intention were positively associated with refugees’ local language proficiency. Additionally, work search intention was found to strengthen the effect of GMA on local language proficiency. No positive linear effects were observed for Conscientiousness and Openness. Some evidence was found for curvilinear relationships between psychological predictors and local language proficiency. Implications are discussed

Decreased blood–brain barrier P-glycoprotein function in the progression of Parkinson’s disease, PSP and MSA

Decreased blood–brain barrier (BBB) efflux function of the P-glycoprotein (P-gp) transport system could facilitate the accumulation of toxic compounds in the brain, increasing the risk of neurodegenerative pathology such as Parkinson’s disease (PD). This study investigated in vivo BBB P-gp function in patients with parkinsonian neurodegenerative syndromes, using [11C]-verapamil PET in PD, PSP and MSA patients. Regional differences in distribution volume were studied using SPM with higher uptake interpreted as reduced P-gp function. Advanced PD patients and PSP patients had increased [11C]-verapamil uptake in frontal white matter regions compared to controls; while de novo PD patients showed lower uptake in midbrain and frontal regions. PSP and MSA patients had increased uptake in the basal ganglia. Decreased BBB P-gp function seems a late event in neurodegenerative disorders, and could enhance continuous neurodegeneration. Lower [11C]-verapamil uptake in midbrain and frontal regions of de novo PD patients could indicate a regional up-regulation of P-gp function

Time-restricted feeding improves adaptation to chronically alternating light-dark cycles

Disturbance of the circadian clock has been associated with increased risk of cardio-metabolic disorders. Previous studies showed that optimal timing of food intake can improve metabolic health. We hypothesized that time-restricted feeding could be a strategy to minimize long term adverse metabolic health effects of shift work and jetlag. In this study, we exposed female FVB mice to weekly alternating light-dark cycles (i.e. 12 h shifts) combined with ad libitum feeding, dark phase feeding or feeding at a fixed clock time, in the original dark phase. In contrast to our expectations, long-term disturbance of the circadian clock had only modest effects on metabolic parameters. Mice fed at a fixed time showed a delayed adaptation compared to ad libitum fed animals, in terms of the similarity in 24 h rhythm of core body temperature, in weeks when food was only available in the light phase. This was accompanied by increased plasma triglyceride levels and decreased energy expenditure, indicating a less favorable metabolic state. On the other hand, dark phase feeding accelerated adaptation of core body temperature and activity rhythms, however, did not improve the metabolic state of animals compared to ad libitum feeding. Taken together, restricting food intake to the active dark phase enhanced adaptation to shifts in the light-dark schedule, without significantly affecting metabolic parameters