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

Field emission in ordered arrays of ZnO nanowires prepared by nanosphere lithography and extended Fowler-Nordheim analyses

A multistage chemical method based on nanosphere lithography was used to produce hexagonally patterned arrays of ZnO vertical nanowires, with 1 lm interspacing and aspect ratio 20, with a view to study the effects of emitter uniformity on the current emitted upon application of a dc voltage across a 250 lm vacuum gap. A new treatment, based on the use of analytical expressions for the image-potential correction functions, was applied to the linear region below 2000 V of the Fowler-Nordheim (FN) plot and showed the most suitable value of the work function / in the range 3.3–4.5 eV (conduction band emission) with a Schottky lowering parameter y ~ 0.72 and a field enhancement factor c in the 700–1100 range. A modeled c value of 200 was calculated for an emitter shape of a prolate ellipsoid of revolution and also including the effect of nanowire screening, in fair agreement with the experimental value. The Fowler-Nordheim current densities and effective emission areas were derived as 1011 Am2 and 1017 m2, respectively, showing that field emission likely takes place in an area of atomic dimensions at the tip of the emitter. Possible causes for the observed departure from linear FN plot behavior above 2000 V were discussed

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

Extensional and Intensional Strategies

This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a means for determining such a set. We characterize the class of extensional strategies that can be defined intensionally. We also give some hints towards a logical characterization of intensional strategies and propose a few challenging perspectives

Kansrijke scenario's Waalblok

Polder Het Waalblok ligt in de gemeente Westland tussen de kern van ’s-Gravenzande en de kust. De polder heeft een oppervlakte van 55 ha, waarvan het grootste gedeelte in gebruik is, en in de toekomst ook blijft, voor de glastuinbouw. Op dit ogenblik vinden er diverse herstructureringsinitiatieven in de glastuinbouw plaats. De telers in het gebied hebben toegezegd mee te werken aan de uitvoering ervan. Hiervoor is een gebiedsproces in gang gezet, waarbij tuinders, LTO, gemeente en hoogheemraadschap betrokken zijn. Genoemde partijen zetten in op de gezamenlijke oplossing van de opgaven in het gebied

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

Psychological distress in newly diagnosed colorectal cancer patients following microsatellite instability testing for Lynch syndrome on the pathologist’s initiative

According to the Dutch Guideline on Hereditary Colorectal Cancer published in 2008, patients with recently diagnosed colorectal cancer (CRC) should undergo microsatellite instability (MSI) testing by a pathologist immediately after tumour resection if they are younger than 50 years, or if a second CRC has been diagnosed before the age of 70 years, owing to the high risk of Lynch syndrome (MIPA). The aim of the present MIPAPS study was to investigate general distress and cancer-specific distress following MSI testing. From March 2007 to September 2009, 400 patients who had been tested for MSI after newly diagnosed CRC were recruited from 30 Dutch hospitals. Levels of general distress (SCL-90) and cancer-specific distress (IES) were assessed immediately after MSI result disclosure (T1) and 6 months later (T2). Response rates were 23/77 (30%) in the MSI-positive patients and 58/323 (18%) in the MSI-negative patients. Levels of general distress and cancer-specific distress were moderate. In the MSI-positive group, 27% of the patients had high general distress at T1 versus 18% at T2 (p = 0.5), whereas in the MSI-negative group, these percentage were 14 and 18% (p = 0.6), respectively. At T1 and T2, cancer-specific distress rates in the MSI-positive group and MSI-negative group were 39 versus 27% (p = 0.3) and 38 versus 36% (p = 1.0), respectively. High levels of general distress were correlated with female gender, low social support and high perceived cancer risk. Moderate levels of distress were observed after MSI testing, similar to those found in other patients diagnosed with CRC. Immediately after result disclosure, high cancer-specific distress was observed in 40% of the MSI-positive patients

A Participatory Return-to-Work Intervention for Temporary Agency Workers and Unemployed Workers Sick-Listed Due to Musculoskeletal Disorders: Results of a Randomized Controlled Trial

Introduction Within the labour force workers without an employment contract represent a vulnerable group. In most cases, when sick-listed, these workers have no workplace/employer to return to. Therefore, the aim of this study was to evaluate the effectiveness on return-to-work of a participatory return-to-work program compared to usual care for unemployed workers and temporary agency workers, sick-listed due to musculoskeletal disorders. Methods The workers, sick-listed for 2–8 weeks due to musculoskeletal disorders, were randomly allocated to the participatory return-to-work program (n = 79) or to usual care (n = 84). The new program is a stepwise procedure aimed at making a consensus-based return-to-work plan, with the possibility of a temporary (therapeutic) workplace. Outcomes were measured at baseline, 3, 6, 9 and 12 months. The primary outcome measure was time to sustainable first return-to-work. Secondary outcome measures were duration of sickness benefit, functional status, pain intensity, and perceived health. Results The median duration until sustainable first return-to-work was 161 days in the intervention group, compared to 299 days in the usual care group. The new return-to-work program resulted in a non-significant delay in RTW during the first 90 days, followed by a significant advantage in RTW rate after 90 days (hazard ratio of 2.24 [95% confidence interval 1.28–3.94] P = 0.005). No significant differences were found for the measured secondary outcomes. Conclusions The newly developed participatory return-to-work program seems to be a promising intervention to facilitate work resumption and reduce work disability among temporary agency workers and unemployed workers, sick-listed due to musculoskeletal disorders