Rassenonderzoek witte asperge seizoen 2001-2002

In 2000 zijn twee nieuwe rassenproeven witte asperge aangelegd in Meterik, Nederland (PPO) en in Geel, België (PDLT). Er zijn 10 dezelfde rassen aangeplant op beide plaatsen. De rassen zijn gezaaid bij plantenkwekerij de Kemp in Meterik in 1999. Het sortiment bestaat uit de Hollandse rassen Backlim, Gijnlim, Thielim, Grolim afkomstig van Asparagus BV te Horst en de Duitse rassen Eposs, Ramada, Ramos, Ravel , Rally (96013) en Rapsody (96071) afkomstig van SWD Saatsucht. De Nederlandse rassen worden verkocht door Nunhem en de Duitse door Royal Sluis

Interaction and observation: categorical semantics of reactive systems trough dialgebras

We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules. In this model, interaction is built-in, and semantic equivalence arises from it, instead of being determined by a (possibly difficult) understanding of the side effects of a component in isolation. Behavioural equivalence in dialgebras is determined by how a given process interacts with the others, and the obtained observations. We develop a technique to inter-define categories of dialgebras of different functors, that in particular permits us to compare a standard coalgebraic semantics and its dialgebraic counterpart. We exemplify the framework using the CCS and the pi-calculus. Remarkably, the dialgebra giving semantics to the pi-calculus does not require the use of presheaf categories

Personalised service? Changing the role of the government librarian

Investigates the feasibility of personalised information service in a government department. A qualitative methodology explored stakeholder opinions on the remit, marketing, resourcing and measurement of the service. A questionnaire and interviews gathered experiences of personalised provision across the government sector. Potential users were similarly surveyed to discuss how the service could meet their needs. Data were analysed using coding techniques to identify emerging theory. Lessons learned from government librarians centred on clarifying requirements, balancing workloads and selective marketing. The user survey showed low usage and awareness of existing specialist services, but high levels of need and interest in services repackaged as a tailored offering. Fieldwork confirmed findings from the literature on the scope for adding value through information management advice, information skills training and substantive research assistance and the need to understand business processes and develop effective partnerships. Concluding recommendations focus on service definition, strategic marketing, resource utilisation and performance measurement

Metastable liquid-liquid phase transition in a single-component system with only one crystal phase and no density anomaly

We investigate the phase behavior of a single-component system in 3 dimensions with spherically-symmetric, pairwise-additive, soft-core interactions with an attractive well at a long distance, a repulsive soft-core shoulder at an intermediate distance, and a hard-core repulsion at a short distance, similar to potentials used to describe liquid systems such as colloids, protein solutions, or liquid metals. We showed [Nature {\bf 409}, 692 (2001)] that, even with no evidences of the density anomaly, the phase diagram has two first-order fluid-fluid phase transitions, one ending in a gas--low-density liquid (LDL) critical point, and the other in a gas--high-density liquid (HDL) critical point, with a LDL-HDL phase transition at low temperatures. Here we use integral equation calculations to explore the 3-parameter space of the soft-core potential and we perform molecular dynamics simulations in the interesting region of parameters. For the equilibrium phase diagram we analyze the structure of the crystal phase and find that, within the considered range of densities, the structure is independent of the density. Then, we analyze in detail the fluid metastable phases and, by explicit thermodynamic calculation in the supercooled phase, we show the absence of the density anomaly. We suggest that this absence is related to the presence of only one stable crystal structure.Comment: 15 pages, 21 figure

Most Colorectal Cancer Survivors Live a Large Proportion of Their Remaining Life in Good Health

Purpose Colorectal cancer (CRC) diagnosis reduces life expectancy and decreases patients’ well-being. We sought to assess the determinants of health and functional status and estimate the proportion of remaining life that CRC survivors would spend in good health. Methods Using Sullivan method, healthy life expectancy was calculated based on survival data of 14,849 CRC survivors within a population-based cancer registry in southern Netherlands and quality of life information among a random sample of these survivors (n = 1,291). Results: Overall, albeit short life expectancy (LE at age 50 = 12 years for males and 13 years for females), most CRC survivors spent a large proportion of their remaining life in good health (74 and 77 %, for males and females, respectively). Long-term survivors may expect to live a normal life span (LE at age 50 = 30 years) and spent a large proportion of the remaining life in good health (78 %). In distinction, those with stage IV CRC had less than 2 years to live and spent more than half of their remaining life in poor health. Conclusions: Most CRC patients may expect no compromise on living a healthy life, underlining the importance of early detection. On the other hand, the high proportion of non-healthy years among stage IV CRC survivors confirms the importance of early detection and palliative care. Electronic supplementary material The online version of this article (doi:10.1007/s10552-012-0010-2) contains supplementary material, which is available to authorized users

Odour-mediated orientation of beetles is influenced by age, sex and morph

The behaviour of insects is dictated by a combination of factors and may vary considerably between individuals, but small insects are often considered en masse and thus these differences can be overlooked. For example, the cowpea bruchid Callosobruchus maculatus F. exists naturally in two adult forms: the active (flight) form for dispersal, and the inactive (flightless), more fecund but shorter-lived form. Given that these morphs show dissimilar biology, it is possible that they differ in odour-mediated orientation and yet studies of this species frequently neglect to distinguish morph type, or are carried out only on the inactive morph. Along with sex and age of individual, adult morph could be an important variable determining the biology of this and similar species, informing studies on evolution, ecology and pest management. We used an olfactometer with motion-tracking to investigate whether the olfactory behaviour and orientation of C. maculatus towards infested and uninfested cowpeas and a plant-derived repellent compound, methyl salicylate, differed between morphs or sexes. We found significant differences between the behaviour of male and female beetles and beetles of different ages, as well as interactive effects of sex, morph and age, in response to both host and repellent odours. This study demonstrates that behavioural experiments on insects should control for sex and age, while also considering differences between adult morphs where present in insect species. This finding has broad implications for fundamental entomological research, particularly when exploring the relationships between physiology, behaviour and evolutionary biology, and the application of crop protection strategies

The kinases MSK1 and MSK2 act as negative regulators of Toll-like receptor signaling

The kinases MSK1 and MSK2 are activated 'downstream' of the p38 and Erk1/2 mitogen-activated protein kinases. Here we found that MSK1 and MSK2 were needed to limit the production of proinflammatory cytokines in response to stimulation of primary macrophages with lipopolysaccharide. By inducing transcription of the mitogen-activated protein kinase phosphatase DUSP1 and the anti-inflammatory cytokine interleukin 10, MSK1 and MSK2 exerted many negative feedback mechanisms. Deficiency in MSK1 and MSK2 prevented the binding of phosphorylated transcription factors CREB and ATF1 to the promoters of the genes encoding interleukin 10 and DUSP1. Mice doubly deficient in MSK1 and MSK2 were hypersensitive to lipopolysaccharide-induced endotoxic shock and showed prolonged inflammation in a model of toxic contact eczema induced by phorbol 12-myristate 13-acetate. Our results establish MSK1 and MSK2 as key components of negative feedback mechanisms needed to limit Toll-like receptor-driven inflammation.</p

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies generated by permutation of rules. This paper addresses the issues of defining such sequent calculi for Pure Type Systems (PTS, which were originally presented in natural deduction style) and then organizing their rules for effective proof-search. We introduce the idea of Pure Type Sequent Calculus with meta-variables (PTSCalpha), by enriching the syntax of a permutation-free sequent calculus for propositional logic due to Herbelin, which is strongly related to natural deduction and already well adapted to proof-search. The operational semantics is adapted from Herbelin's and is defined by a system of local rewrite rules as in cut-elimination, using explicit substitutions. We prove confluence for this system. Restricting our attention to PTSC, a type system for the ground terms of this system, we obtain the Subject Reduction property and show that each PTSC is logically equivalent to its corresponding PTS, and the former is strongly normalising iff the latter is. We show how to make the logical rules of PTSC into a syntax-directed system PS for proof-search, by incorporating the conversion rules as in syntax-directed presentations of the PTS rules for type-checking. Finally, we consider how to use the explicitly scoped meta-variables of PTSCalpha to represent partial proof-terms, and use them to analyse interactive proof construction. This sets up a framework PE in which we are able to study proof-search strategies, type inhabitant enumeration and (higher-order) unification