Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.

Established cardiovascular disease and CVD risk factors in a primary care population of middle-aged Irish men and women

Contemporary Irish data on the prevalence of major cardiovascular disease (CVD) risk factors are sparse. The primary aims of this study were (1) to estimate the prevalence of major cardiovascular disease risk factors, including Type 2 Diabetes Mellitus, in the general population of men and women between the ages of 50 and 69 years; and (2) to estimate the proportion of individuals in this age group at high absolute risk of cardiovascular disease events on the basis of pre-existing cardiovascular disease or as defined by the Framingham equation. Participants were drawn from the practice lists of 17 general practices in Cork and Kerry using stratified random sampling. A total of 1018 people attended for screening (490 men, 48%) from 1473 who were invited, a response rate of 69.1%. Cardiovascular disease risk factors and glucose intolerance are common in the population of men and women aged between 50 and 69 years. Almost half the participants were overweight and a further quarter met current international criteria for obesity, one of the highest recorded prevalence rates for obesity in a European population sample. Forty per cent of the population reported minimal levels of physical activity and 19% were current cigarette smokers. Approximately half the sample had blood pressure readings consistent with international criteria for the diagnosis of hypertension, but only 38% of these individuals were known to be hypertensive. Eighty per cent of the population sample had a cholesterol concentration in excess of 5 mmol/l. Almost 4% of the population had Type 2 Diabetes Mellitus, of whom 30% were previously undiagnosed. A total of 137 participants (13.5%) had a history or ECG findings consistent with established cardiovascular disease. Of the remaining 881 individuals in the primary prevention population, a total of 20 high-risk individuals (19 male) had a risk of a coronary heart disease event 30% over ten years according to the Framingham risk equation, giving an overall population prevalence of 2.0% (95% CI 1.3 - 3.0). At a risk level 20% over ten years, an additional 91 individuals (8.9%) were identified. Thus a total of 24.4% of the population were at risk either through pre-existing CVD (13.5%) or an estimated 10-year risk exceeding 20% according to the Framingham risk equation (10.9%). Thus a substantial proportion of middle-aged men are at high risk of CVD. The findings emphasise the scale of the CVD epidemic in Ireland and the need for ongoing monitoring of risk factors at the population level and the need to develop preventive strategies at both the clinical and societal level.

Evaluation of an epithelial plasticity biomarker panel in men with localized prostate cancer.

BACKGROUND: Given the potential importance of epithelial plasticity (EP) to cancer metastasis, we sought to investigate biomarkers related to EP in men with localized prostate cancer (PC) for the association with time to PSA recurrence and other clinical outcomes after surgery. METHODS: Men with localized PC treated with radical prostatectomy at the Durham VA Medical Center and whose prostatectomy tissues were included in a tissue microarray (TMA) linked to long-term outcomes. We performed immunohistochemical studies using validated antibodies against E-cadherin and Ki-67 and mesenchymal biomarkers including N-cadherin, vimentin, SNAIL, ZEB1 and TWIST. Association studies were conducted for each biomarker with baseline clinical/pathologic characteristics an risk of PSA recurrence over time. RESULTS: Two hundred and five men contributed TMA tissue and had long-term follow-up (median 11 years). Forty-three percent had PSA recurrence; three died of PC. The majority had high E-cadherin expression (86%); 14% had low/absent E-cadherin expression. N-cadherin was rarely expressed (<4%) and we were unable to identify an E-to-N-cadherin switch as independently prognostic. No associations with clinical risk group, PSA recurrence or Gleason sum were noted for SNAIL, ZEB1, vimentin or TWIST, despite heterogeneous expression between patients. We observed an association of higher Ki-67 expression with Gleason sum (P=0.043), National Comprehensive Cancer Network risk (P=0.013) and PSA recurrence (hazard ratio 1.07, P=0.016). CONCLUSIONS: The expression of EP biomarkers in this cohort of men with a low risk of PC-specific mortality was not associated with aggressive features or PSA relapse after surgery.

The genetic basis of infertility in men.

Subfertility in men is a heterogeneous syndrome, its pathophysiology remaining unknown in the majority of affected men. A large number of genes and loci are associated with sterility in experimental animals, but the human homologues of most of these genes have not been characterized. A British study suggested that, in a large proportion of men with idiopathic infertility, the disorder is inherited as an autosomal recessive trait; this provocative hypothesis needs confirmation. Because normal germ cell development requires the temporally and spatially co-ordinated expression of a number of gene products at the hypothalamic, pituitary and testicular levels, it is safe to predict that a large number of autosomal, as well as X- and Y-linked, genes will probably be implicated in different subsets of male subfertility.

Patterns of alcohol consumption and ischaemic heart disease in culturally divergent countries: The Prospective Epidemiological Study of Myocardial Infarction (PRIME)

Objective: To investigate the effect of alcohol intake patterns on ischaemic heart disease in two countries with contrasting lifestyles, Northern Ireland and France.
Design: Cohort data from the Prospective Epidemiological Study of Myocardial Infarction (PRIME) were analysed. Weekly alcohol consumption, incidence of binge drinking (alcohol >50 g on at least one day a week), incidence of regular drinking (at least one day a week, and alcohol <50 g if on only one occasion), volume of alcohol intake, frequency of consumption, and types of beverage consumed were assessed once at inclusion. All coronary events that occurred during the 10 year follow-up were prospectively registered. The relation between baseline characteristics and incidence of hard coronary events and angina events was assessed by Cox's proportional hazards regression analysis.
Setting: One centre in Northern Ireland (Belfast) and three centres in France (Lille, Strasbourg, and Toulouse).
Participants: 9778 men aged 50-59 free of ischaemic heart disease at baseline, who were recruited between 1991 and 1994.
Main outcome measures: Incident myocardial infarction and coronary death ("hard" coronary events), and incident angina pectoris.
Results: A total of 2405 men from Belfast and 7373 men from the French centres were included in the analyses, 1456 (60.5%) and 6679 (90.6%) of whom reported drinking alcohol at least once a week, respectively. Among drinkers, 12% (173/1456) of men in Belfast drank alcohol every day compared with 75% (5008/6679) of men in France. Mean alcohol consumption was 22.1 g/day in Belfast and 32.8 g/day in France. Binge drinkers comprised 9.4% (227/2405) and 0.5% (33/7373) of the Belfast and France samples, respectively. A total of 683 (7.0%) of the 9778 participants experienced ischaemic heart disease events during the 10 year follow-up: 322 (3.3%) hard coronary events and 361 (3.7%) angina events. Annual incidence of hard coronary events per 1000 person years was 5.63 (95% confidence interval 4.69 to 6.69) in Belfast and 2.78 (95% CI 2.41 to 3.20) in France. After multivariate adjustment for classic cardiovascular risk factors and centre, the hazard ratio for hard coronary events compared with regular drinkers was 1.97 (95% CI 1.21 to 3.22) for binge drinkers, 2.03 (95% CI 1.41 to 2.94) for never drinkers, and 1.57 (95% CI 1.11 to 2.21) for former drinkers for the entire cohort. The hazard ratio for hard coronary events in Belfast compared with in France was 1.76 (95% CI 1.37 to 2.67) before adjustment, and 1.09 (95% CI 0.79 to 1.50) after adjustment for alcohol patterns and wine drinking. Only wine drinking was associated with a lower risk of hard coronary events, irrespective of the country.
Conclusions: Regular and moderate alcohol intake throughout the week, the typical pattern in middle aged men in France, is associated with a low risk of ischaemic heart disease, whereas the binge drinking pattern more prevalent in Belfast confers a higher risk.

Quality of life in men receiving radiotherapy and neo-adjuvant androgen deprivation for prostate cancer:Results from a prospective longitudinal study

Aim. To report a study measuring the quality of life and side effects in men receiving radiotherapy and hormone ablation for prostate cancer up to 1year after treatment. Background. Prostate cancer incidence is increasing with the result that more men are living longer with the disease and the side effects of treatment. It is important to know the effects this has on their quality of life. Design. Survey. Method. Between September 2006-September 2007, all men who were about to undergo radical conformal radiotherapy ± neo-adjuvant androgen deprivation for localized prostate cancer were invited to participate in the study; 149 men were recruited. They completed the European Organization on Research and Treatment of Cancer quality of life questionnaire C-30 and Prostate Cancer module PR25 at four time-points. Results. At 4-6weeks after radiotherapy, participants experienced the biggest relative decline in global quality of life, social, physical, and role functioning and an increase in treatment side effects. At 6months postradiotherapy the majority of men experienced an improvement in their side effects. However, a minority of men were experiencing severe side effects of radiotherapy at 1year post-treatment. Single men and men who had a low quality of life prior to radiotherapy, reported a lower quality of life at 1year after treatment in comparison to married men. Conclusion. Men with prostate cancer suffer limitations due to the symptoms they experience and disruption to their quality of life. It is essential that nurses develop and deliver follow-up care which is flexible and appropriate to the individual needs of these men. © 2012 Blackwell Publishing Ltd.

A longitudinal study of coping strategies in men receiving radiotherapy and neo-adjuvant androgen deprivation for prostate cancer: a quantitative and qualitative study.

Aim: This paper reports a study on how men cope with the side-effects of radiotherapy and neo-adjuvant androgen deprivation for prostate cancer up to 1 year after treatment.

Background: With early detection and improved treatments, prostate cancer survivors are living longer with the disease and the side-effects of treatment. How they cope affects their long-term physical and mental health.

Design: A prospective, longitudinal, exploratory design using both qualitative and quantitative methods was used in this study.

Method: Between September 2006–September 2007 149 men who were about to undergo radical radiotherapy ± androgen deprivation for localized prostate cancer in Northern Ireland were recruited to the study. They completed the Brief Cope scale at four time-points.

Results: Acceptance, positive reframing, emotional support, planning and, just getting on with it, were the most common ways of coping. Fewer men used coping strategies less at 6 months and 1 year after radiotherapy in comparison to pre-treatment and 4–6 weeks after radiotherapy. Interviews with these men demonstrated that men adapted to a new norm, with the support of their wives/partners and did not readily seek professional help. A minority of men used alcohol, behavioural disengagement and self blame as ways of coping.

Conclusion: Men used a variety of ways of coping to help them deal with radiotherapy and neo-adjuvant androgen deprivation for up to 12 months after radiotherapy. Interventions need to be developed to take account of the specific needs of partners of men with prostate cancer and single men who have prostate cancer.

Hazardous alcohol consumption is associated with increased levels of B-type natriuretic peptide: evidence from two population-based studies

Russia has very high mortality from cardiovascular disease (CVD), with evidence that heavy drinking may play a role. To throw further light on this association we have studied the association of alcohol with predictors of CVD risk including B-type natriuretic peptide (BNP). Levels of BNP increase primarily in response to abnormal cardiac chamber wall stretch which can occur both as a result of atherosclerosis as well as due to other types of damage to the myocardium. No previous population-based studies have investigated the association with alcohol. We analysed cross-sectional data on drinking behaviour in 993 men aged 25-60 years from the Izhevsk Family Study 2 (IFS2), conducted in the Russian city of Izhevsk in 2008-2009. Relative to non-drinkers, men who drank hazardously had an odds ratio (OR) of being in the top 20 % of the BNP distribution of 4.66 (95 % CI 2.13, 10.19) adjusted for age, obesity, waist-hip ratio, and smoking. Further adjustment for class of hypertension resulted in only slight attenuation of the effect, suggesting that this effect was not secondary to the influence of alcohol on blood pressure. In contrast hazardous drinking was associated with markedly raised ApoA1 and HDL cholesterol levels, but had little impact on levels of ApoB and LDL cholesterol. Similar but less pronounced associations were found in the Belfast (UK) component of the PRIME study conducted in 1991. These findings suggest that the association of heavy drinking with increased risk of cardiovascular disease may be partly due to alcohol-induced non-atherosclerotic damage to the myocardium.

Prevalence of cataract and pseudophakia/aphakia among adults in the United States.

OBJECTIVES:

To determine the prevalence of cataract and pseudophakia/aphakia in the United States and to project the expected change in these prevalence figures by 2020.

METHODS:

Summary prevalence estimates of cataract and of pseudophakia/aphakia were prepared separately for black, white, and Hispanic persons (for whom only cataract surgery data were available) in 5-year age intervals starting at 40 years for women and men. The estimates were based on a standardized definition of various types of cataract: cortical, greater than 25% of the lens involved; posterior subcapsular, present according to the grading system used in each study; and nuclear, greater than or equal to the penultimate grade in the system used. Data were collected from major population-based studies in the United States, and, where appropriate, Australia, Barbados, and Western Europe. The age-, gender-, and race/ethnicity-specific rates were applied to 2000 US Census data, and projected population figures for 2020, to obtain overall estimates.

RESULTS:

An estimated 20.5 million (17.2%) Americans older than 40 years have cataract in either eye, and 6.1 million (5.1%) have pseudophakia/aphakia. Women have a significantly (odds ratio = 1.37; 95% confidence interval, 1.26-1.50) higher age-adjusted prevalence of cataract than men in the United States. The total number of persons who have cataract is estimated to rise to 30.1 million by 2020; and for those who are expected to have pseudophakia/aphakia, to 9.5 million.

CONCLUSION:

The number of Americans affected by cataract and undergoing cataract surgery will dramatically increase over the next 20 years as the US population ages.

Profiles of drug users in Switzerland and effects of early-onset intensive use of alcohol, tobacco and cannabis on other illicit drug use.

QUESTIONS UNDER STUDY / PRINCIPLES: The main aim of this study was to investigate profiles of drug users, with a particular focus on illicit drugs other than cannabis, and to explore the effect of early-onset intensive use (drunkenness, daily smoking, high on cannabis) on profiles of illicit drug use. METHODS: Baseline data from a representative sample of 5,831 young Swiss men in the ongoing Cohort Study on Substance Use Risk Factors were used. Substance use (alcohol, tobacco, cannabis and 15 types of other illicit drug) and age of onset of intensive use were assessed. The Item Response Theory (IRT) and prevalence rates at different ages of onset were used to reveal different profiles of illicit drug use. RESULTS: In addition to cannabis, there were two profiles of other illicit drug use: (a) "softer" drug users (uppers, hallucinogens and inhaled drugs), among which ecstasy had the highest discriminatory potential (IRT slope = 4.68, standard error (SE) = 0.48; p <0.001); and (b) "harder" drug users (heroin, ketamine, gamma-hydroxybutyrate/gamma-hydroxylactone, research chemicals, crystal meth and spice), among which ketamine had the highest discriminatory potential (slope = 4.05; SE = 0.63; p <0.001). Onset of intensive use at the age of 12 years or younger also discriminated between these two profiles. CONCLUSION: Both the IRT model and the effect of onset of intensive use enabled two groups of illicit drugs to be identified. In particular, very early onset (at 12 years or younger) intensive use of any substance was a marker for later use of the second group of drugs.

The role of motivational systems in community service involvement : initiating and sustaining factors and quality of experience /

Community service participation can have a positive impact on development, especially for youth. Although researchers have found positive outcomes, there has been a notable decline in youth participation over the past few years (Statistics Canada, 2000). Given the positive outcomes and current decline, it has been argued that youth should be encouraged to get involved in service activities. In the present study, quantitative and qualitative data were collected to determine factors that would help youth to initiate and sustain service, along with examining the quality of their experience. Eighty-two university undergraduate students (23 men), ranging in age from 17-20 years completed a 60-minute self-report questionnaire. Initiating and sustaining factors, motivational systems (similar to approach and avoidance dimensions), activity dimensions {Structure, Supportive Social Environment), quality of experience {Positive, Stress-Challenge), and future intention to participate in community service were measured. Eight participants also completed a 20-minute telephone interview to complement and expand on the quantitative data collected. Some initiating and sustaining factors were specific to individuals higher on the avoidance dimension, while others were relevant to those higher on the approach dimension. Several factors also were important to individuals regardless of their motivational system orientation. Positive quality of experience was related positively to experiencing a supportive social environment. In addition, women rated their community service as more positive than did men. A predicted interaction between the avoidance dimension and Structure in predicting positive quality of experience was not supported; however, positive quality of experience was predicted by the interaction of the approach dimension and Structure. A tested interaction between the avoidance dimension and Supportive Social Environment in predicting positive quality of experience was not supported. Similarly, a predicted interaction between the approach dimension and Supportive Social Environment in predicting positive experience quality was not supported. However, Supportive Social Environment was positively related to positive quality of experience. No support was found for a mediational role for positive quality of experience or stress-challenge quality of experience in exploring the relation between motivational orientation and fiiture intention to engage in service activities. The results of this study suggest that participating in a service environment that is supportive and provides the opportunity for social interactions with others would promote positive quality of experience and help youth sustain involvement. Thus, to help youth have positive experiences and to remain active in service, it is important for service agencies to promote these types of environments. In addition, some initiating and sustaining factors were specific to youth higher on the avoidance dimension and some were relevant to youth higher on the approach dimension. Therefore, service agencies may need to consider using different recruitment and retention strategies, depending on the type of youth they wish to recruit.

Exploring the experiences of male spousal caregivers for their wives with alzheimer disease in their homes : the lived experience and the men's perception of support groups /

This research is qualitative in nature and has explored, by means of interviews, the '^^ experiences of 10 men in their roles in caring for their spouses with Alzheimer Disease (see glossary) in their homes. Additional data were collected by attending 3 formal support group meetings and one informal meeting of a group of men who brought their wives to a support group meeting for their wives with AD. The data retrieved supported the assumption that education about the disease, utilization of formal community support services, and attendance at caregiver support groups or programs can assist healthy male caregivers in caring for their wives with AD in their homes.

The effectiveness of a computer program on career planning for university students

This study investigated the effectiveness of a computer program, PERSONAL CAREER DIRECTIONS (PC DIRECTIONS) (Anderson, Welborn, & Wright, 1983) on career planning and exploration for twenty-four Brock University students (18 women and 6 men) who requested career planning assistance at the Career/Placement Services of the Counselling Centre. A one-group pretest/posttest design was used in the study_ Progress in career planning and exploration was measured by Career Planning (CP) and Career Exploration (CE) scales of the Career Development Inventory (College and University Form) (Super, Thompson, Lindeman, Jordaan, & Myers, 1981). A paired samples 2-tailed t test for Career Development Attitudes (CDA) , the combined CP and CE scales, revealed the posttest scores were significantly higher than the pretest scores, t(23) = 3.74, 2 < .001. Student progress was also assessed by self-report lists of job titles which reflected positive changes after students used PC DIRECTIONS. In response to several questions, students' attitudes were more positive than negative toward the program. Implications are that PC DIRECTIONS is an effective component in promoting career planning for university students. Further studies may reveal that different types of students may benefit from different interventions in the career planning process.

Crisis or failure of hegemonic masculinities in David Lodge’s Campus Trilogy

This bachelor’s thesis examines the crisis of hegemonic masculinities in David Lodge’s Campus Trilogy. In the course of the thesis, I demonstrate that the male characters in the novels aspire to hegemonic ideals of masculinity, but that ultimately most of them fail in their aspirations. However, I also show that this does not lead to the abandonment of this pursuit, but merely to its reformulation and a continued attempt of male characters to aspire to this reformulated ideal. In order to achieve this, I conduct a close reading of the novels and based on this, first determine the predominant types of hegemonic masculinities in each novel, and then whether certain characters aspire to these hegemonic ideals. Next I analyze whether or not they are successful. This analysis is chiefly based on the sociological concept of hegemonic masculinities developed by Connell. With the help of this concept, this thesis shows that several types of masculinities can be identified in the novels and that these exist in hierarchical relation to each other. Furthermore, it shows that these aspirations and the ideals themselves are always prone to crises that are brought on by societal changes in their environment. However, it is also demonstrated that in most cases these crises do not lead to the collapse of the ideal or the failure of its pursuit, but rather to the reformulation and continuation of both.

Diurnal and seasonal cycles of cloud occurrences, types and radiative impact over West Africa

This study focuses on the occurrence and type of clouds observed in West Africa, a subject which has neither been much documented nor quantified. It takes advantage of data collected above Niamey in 2006 with the ARM mobile facility. A survey of cloud characteristics inferred from ground measurements is presented with a focus on their seasonal evolution and diurnal cycle. Four types of clouds are distinguished: high-level clouds, deep convective clouds, shallow convective clouds and mid-level clouds. A frequent occurrence of the latter clouds located at the top of the Saharan Air Layer is highlighted. High-level clouds are ubiquitous throughout the period whereas shallow convective clouds are mainly noticeable during the core of the monsoon. The diurnal cycle of each cloud category and its seasonal evolution is investigated. CloudSat and CALIPSO data are used in order to demonstrate that these four cloud types (in addition to stratocumulus clouds over the ocean) are not a particularity of the Niamey region and that mid-level clouds are present over the Sahara during most of the Monsoon season. Moreover, using complementary data sets, the radiative impact of each type of clouds at the surface level has been quantified in the shortwave and longwave domain. Mid-level clouds and anvil clouds have the largest impact respectively in longwave (about 15 W m−2) and the shortwave (about 150 W m−2). Furthermore, mid-level clouds exert a strong radiative forcing in Spring at a time when the other cloud types are less numerous.