Knowledge-Based Synthesis of Distributed Systems Using Event Structures

To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a high-level language that makes it easy for designers to specify their goals. We consider a high-level specification language that results from adding knowledge to a fragment of Nuprl specifically tailored for specifying distributed protocols, called event theory. We then show how high-level knowledge-based programs can be synthesized from the knowledge-based specifications using a proof development system such as Nuprl. Methods of Halpern and Zuck then apply to convert these knowledge-based protocols to ordinary protocols. These methods can be expressed as heuristic transformation tactics in Nuprl.Comment: A preliminary version of this paper appeared in Proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004, pp. 449-46

Losing the Ability in Activities of Daily Living in the Oldest Old: A Hierarchic Disability Scale from the Newcastle 85+ Study

Objectives: To investigate the order in which 85 year olds develop difficulty in performing a wide range of daily activities covering basic personal care, household care and mobility. Design: Cross-sectional analysis of baseline data from a cohort study. Setting: Newcastle upon Tyne and North Tyneside, UK. Participants: Individuals born in 1921, registered with participating general practices. Measurements: Detailed health assessment including 17 activities of daily living related to basic personal care, household care and mobility. Questions were of the form ‘Can you … ’ rather than ‘Do you… ’ Principal Component Analysis (PCA) was used to confirm a single underlying dimension for the items and Mokken Scaling was used to determine a subsequent hierarchy. Validity of the hierarchical scale was assessed by its associations with known predictors of disability. Results: 839 people within the Newcastle 85+ study for whom complete information was available on self-reported Activities of Daily Living (ADL). PCA confirmed a single underlying dimension; Mokken scaling confirmed a hierarchic scale where ‘Cutting toenails ’ was the first item with which participants had difficulty and ‘feeding ’ the last. The ordering of loss differed between men and women. Difficulty with ‘shopping ’ and ‘heavy housework ’ were reported earlier by women whilst men reported ‘walking 400 yards ’ earlier. Items formed clusters corresponding to strength, balance, lower and upper bod

Incongruous consultation behaviour: results from a UK-wide population survey

<p>Abstract</p> <p>Background</p> <p>Symptom characteristics are strong drivers of care seeking. Despite this, incongruous consultation behaviour occurs and has implications for both individuals and health-care services. The aim of this study was to determine how frequently incongruous consultation behaviour occurs, to examine whether it is more common for certain types of symptoms and to identify the factors associated with being an incongruous consulter.</p> <p>Methods</p> <p>An age and sex stratified random sample of 8,000 adults was drawn from twenty UK general practices. A postal questionnaire was used to collect detailed information on the presence and characteristics of 25 physical and psychological symptoms, actions taken to manage the symptoms, general health, attitudes to symptom management and demographic/socio-economic details. Two types of incongruous consultation behaviour were examined: i) consultation with a GP for symptoms self-rated as low impact and ii) no consultation with a GP for symptoms self-rated as high impact.</p> <p>Results</p> <p>A fifth of all symptoms experienced resulted in consultation behaviour which was incongruous based on respondents' own rating of the symptoms' impact. Low impact consultations were not common, although symptoms indicative of a potentially serious condition resulted in a higher proportion of low impact consultations. High impact non-consultations were more common, although there was no clear pattern in the type of associated symptoms. Just under half of those experiencing symptoms in the previous two weeks were categorised as an incongruous consulter (low impact consulter: 8.3%, high impact non-consulter: 37.1%). Employment status, having a chronic condition, poor health, and feeling that reassurance or advice from a health professional is important were associated with being a low impact consulter. Younger age, employment status, being an ex-smoker, poor health and feeling that not wasting the GPs time is important were associated with being a high impact non-consulter.</p> <p>Conclusions</p> <p>This is one of the first studies to examine incongruous consultation behaviour for a range of symptoms. High impact non-consultations were common and may have important health implications, particularly for symptoms indicative of serious disease. More research is now needed to examine incongruous consultation behaviour and its impact on both the public's health and health service use.</p

Effects of temporal correlations in social multiplex networks

Multi-layered networks represent a major advance in the description of natural complex systems, and their study has shed light on new physical phenomena. Despite its importance, however, the role of the temporal dimension in their structure and function has not been investigated in much detail so far. Here we study the temporal correlations between layers exhibited by real social multiplex networks. At a basic level, the presence of such correlations implies a certain degree of predictability in the contact pattern, as we quantify by an extension of the entropy and mutual information analyses proposed for the single-layer case. At a different level, we demonstrate that temporal correlations are a signature of a ‘multitasking’ behavior of network agents, characterized by a higher level of switching between different social activities than expected in a uncorrelated pattern. Moreover, temporal correlations significantly affect the dynamics of coupled epidemic processes unfolding on the network. Our work opens the way for the systematic study of temporal multiplex networks and we anticipate it will be of interest to researchers in a broad array of fields

Distribution of Corbicula fluminea (Müller, 1774) in the invaded range: a geographic approach with notes on species traits variability

Corbicula fluminea is considered one of the most important non-native invasive species (NIS) in aquatic systems mainly due to its widespread distribution and ecological and economic impacts. This species is known to negatively affect native bivalves, also with severe effects on biodiversity and ecosystem functioning. Throughout an exhaustive bibliographic survey and with the aid of Geographic Information Systems tools, this study tracks the species dispersion from its native range, including the description of important physical and environmental barriers. Additional analyses were conducted to examine possible influences of latitudinal/ temperature gradients on important traits (e.g. life span, maximum and mean body length, growth at the end of first year). Altitude and winter minimum temperature appear to be delaying the invasion worldwide, but it seems inevitable that the species will spread across the globe. Latitude and summer temperature show a relationship with growth and life span. Overall, the information gathered in this review may be relevant to forecast future distribution patterns of this NIS, and to anticipate the possible implementation of effective management measures. Moreover, it may constitute a valuabletool inthe prediction of population responses to an increasingly changing environment.This research was supported by FCT (Portuguese Foundation for Science and Technology), through a PhD grant attributed to D. Crespo (SFRH/BD/80252/2011), a post-doc grant attributed to S. Leston (SFRH/BPD/91828/2012) and M Dolbeth (SFRH/BPD/41117/2007) and BIOCHANGED project (PTDC/MAR/111901/2009), subsidized by the European Social Fund and MCTES (Ministério da Ciência, Tecnologia e Ensino Superior) National Funds, through the POPH (Human Potential Operational Programme), QREN (National Strategic Reference Framework) and COMPETE (Programa Operacional Factores de Competitividade).info:eu-repo/semantics/publishedVersio

Sub-Lethal Irradiation of Human Colorectal Tumor Cells Imparts Enhanced and Sustained Susceptibility to Multiple Death Receptor Signaling Pathways

Background: Death receptors (DR) of the TNF family function as anti-tumor immune effector molecules. Tumor cells, however, often exhibit DR-signaling resistance. Previous studies indicate that radiation can modify gene expression within tumor cells and increase tumor cell sensitivity to immune attack. The aim of this study is to investigate the synergistic effect of sub-lethal doses of ionizing radiation in sensitizing colorectal carcinoma cells to death receptor-mediated apoptosis. Methodology/Principal Findings: The ability of radiation to modulate the expression of multiple death receptors (Fas/ CD95, TRAILR1/DR4, TRAILR2/DR5, TNF-R1 and LTbR) was examined in colorectal tumor cells. The functional significance of sub-lethal doses of radiation in enhancing tumor cell susceptibility to DR-induced apoptosis was determined by in vitro functional sensitivity assays. The longevity of these changes and the underlying molecular mechanism of irradiation in sensitizing diverse colorectal carcinoma cells to death receptor-mediated apoptosis were also examined. We found that radiation increased surface expression of Fas, DR4 and DR5 but not LTbR or TNF-R1 in these cells. Increased expression of DRs was observed 2 days post-irradiation and remained elevated 7-days post irradiation. Sub-lethal tumor cell irradiation alone exhibited minimal cell death, but effectively sensitized three of three colorectal carcinoma cells to both TRAIL and Fasinduced apoptosis, but not LTbR-induced death. Furthermore, radiation-enhanced Fas and TRAIL-induced cell death lasted as long as 5-days post-irradiation. Specific analysis of intracellular sensitizers to apoptosis indicated that while radiation di

Work stress, nonwork stress, and health

This paper examines the interface between work stress and nonwork stress and how it relates to health. Results indicate that the way people feel at work is largely a function of conditions at work. Similarly, the way people feel outside of work is largely a function of things that occur outside the job. Both work and nonwork stress are independently associated with physical and mental health, although the relationship between nonwork stress and health is slightly stronger. Excessive demands or stresses in one domain can interfere with life in the other. Such conflict operates equally in both directions. When present it can be an added source of stress and adversely affect health. Taken together these findings suggest that the stress people experience at work is not simply a reflection of their “personal problems.” This has implications for the design of health promotion and stress prevention programs in the workplace.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44811/1/10865_2004_Article_BF00846832.pd