Incompleteness of relational simulations in the blocking paradigm

Refinement is the notion of development between formal specifications For specifications given in a relational formalism downward and upward simulations are the standard method to verify that a refinement holds their usefulness based upon their soundness and joint completeness This is known to be true for total relational specifications and has been claimed to hold for partial relational specifications in both the non-blocking and blocking interpretations In this paper we show that downward and upward simulations in the blocking interpretation where domains are guards are not Jointly complete This contradicts earlier claims in the literature We illustrate this with an example (based on one recently constructed by Reeves and Streader) and then construct a proof to show why Joint completeness fails in general (C) 2010 Elsevier B V All rights reserve

Dietary intake in post-menopausal women

Si has been suggested as an essential element, and may be important in optimal bone, skin and cardiovascular health. However, there are few estimates of dietary Si intakes in man, especially in a UK population. Following the development of a UK food composition database for Si, the aim of the present study was to investigate dietary intakes of Si amongst healthy women aged over 60 years and to identify important food sources of Si in their diet. Healthy, post-menopausal female subjects (&gt;60 years of age; n 209) were recruited from the general population around Dundee, Scotland as part of an unrelated randomised controlled intervention study where dietary intake was assessed using a self-administered, semi-quantitative food-frequency questionnaire at five time-points over a 2-year period. Food composition data on the Si content of UK foods was used to determine the Si content of food items on the food-frequency questionnaire. Mean Si intake was 18&middot;6 (sd 4&middot;6) mg and did not vary significantly across the 2 years of investigation. Cereals provided the greatest amount of Si in the diet (about 30%), followed by fruit, beverages (hot, cold and alcoholic beverages combined) and vegetables; together these foods provided over 75% about Si intake. Si intakes in the UK appear consistent with those reported previously for elderly women in Western populations, but lower than those reported for younger women or for men.<br /

The Union Canal

No abstrac

Beyond deficiency:Potential benefits of increased intakesof vitamin K for bone and vascular health

Vitamin K is wellknown for its role in the synthesisof a number of blood coagulationfactors.During recent years vitaminK-dependent proteins werediscovered to be of vital importancefor bone and vascular health.Recommendations for dietary vitaminK intake have been made onthe basis of the hepatic requirementsfor the synthesis of bloodcoagulation factors.Accumulatingevidence suggests that the requirementsfor other functions thanblood coagulation may be higher.This paper is the result of a closedworkshop (Paris,November 2002)in which a number of Europeanvitamin K experts reviewed theavailable data and formulated theirstandpoint with respect to recommendeddietary vitamin K intakeand the use of vitamin K-containingsupplements

Genomic and Epigenomic Instability, Fragile Sites, Schizophrenia and Autism

Increasing evidence links genomic and epigenomic instability, including multiple fragile sites regions to neuropsychiatric diseases including schizophrenia and autism. Cancer is the only other disease associated with multiple fragile site regions, and genome and epigenomic instability is a characteristic of cancer. Research on cancer is far more advanced than research on neuropsychiatric disease; hence, insight into neuropsychiatric disease may be derived from cancer research results. Towards this end, this article will review the evidence linking schizophrenia and other neuropsychiatric diseases (especially autism) to genomic and epigenomic instability, and fragile sites. The results of studies on genetic, epigenetic and environmental components of schizophrenia and autism point to the importance of the folate-methionine-transulfuration metabolic hub that is diseases also perturbed in cancer. The idea that the folate-methionine-transulfuration hub is important in neuropsychiatric is exciting because this hub present novel targets for drug development, suggests some drugs used in cancer may be useful in neuropsychiatric disease, and raises the possibility that nutrition interventions may influence the severity, presentation, or dynamics of disease