Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Serosurvey of Coxiella burnetii (Q fever) in Dromedary Camels (Camelus dromedarius) in Laikipia County, Kenya

Dromedary camels (Camelus dromedarius) are an important protein source for people in semi-arid and arid regions of Africa. In Kenya, camel populations have grown dramatically in the past few decades resulting in the potential for increased disease transmission between humans and camels. An estimated four million Kenyans drink unpasteurized camel milk, which poses a disease risk. We evaluated the seroprevalence of a significant zoonotic pathogen, Coxiella burnetii (Q fever), among 334 camels from nine herds in Laikipia County, Kenya. Serum testing revealed 18.6% positive seroprevalence of Coxiella burnetii (n = 344). Increasing camel age was positively associated with C. burnetii seroprevalence (OR = 5.36). Our study confirmed that camels living in Laikipia County, Kenya, have been exposed to the zoonotic pathogen, C. burnetii. Further research to evaluate the role of camels in disease transmission to other livestock, wildlife and humans in Kenya should be conducted

Breast cancer risk reduction:is it feasible to initiate a randomised controlled trial of a lifestyle intervention programme (ActWell) within a national breast screening programme?

BackgroundBreast cancer is the most commonly diagnosed cancer and the second cause of cancer deaths amongst women in the UK. The incidence of the disease is increasing and is highest in women from least deprived areas. It is estimated that around 42% of the disease in post-menopausal women could be prevented by increased physical activity and reductions in alcohol intake and body fatness. Breast cancer control endeavours focus on national screening programmes but these do not include communications or interventions for risk reductionThis study aimed to assess the feasibility of delivery, indicative effects and acceptability of a lifestyle intervention programme initiated within the NHS Scottish Breast Screening Programme (NHSSBSP).MethodsA 1:1 randomised controlled trial (RCT) of the 3 month ActWell programme (focussing on body weight, physical activity and alcohol) versus usual care conducted in two NHSSBSP sites between June 2013 and January 2014. Feasibility assessments included recruitment, retention, and fidelity to protocol. Indicative outcomes were measured at baseline and 3 month follow-up (body weight, waist circumference, eating and alcohol habits and physical activity. At study end, a questionnaire assessed participant satisfaction and qualitative interviews elicited women¿s, coaches and radiographers¿ experiences. Statistical analysis used Chi squared tests for comparisons in proportions and paired t tests for comparisons of means. Linear regression analyses were performed, adjusted for baseline values, with group allocation as a fixed effectResultsA pre-set recruitment target of 80 women was achieved within 12 weeks and 65 (81%) participants (29 intervention, 36 control) completed 3 month assessments. Mean age was 58¿±¿5.6 years, mean BMI was 29.2¿±¿7.0 kg/m2 and many (44%) reported a family history of breast cancer.The primary analysis (baseline body weight adjusted) showed a significant between group difference favouring the intervention group of 2.04 kg (95%CI ¿3.24 kg to ¿0.85 kg). Significant, favourable between group differences were also detected for BMI, waist circumference, physical activity and sitting time. Women rated the programme highly and 70% said they would recommend it to others.ConclusionsRecruitment, retention, indicative results and participant acceptability support the development of a definitive RCT to measure long term effects.Trial registrationThe trial was registered with Current Controlled Trials (ISRCTN56223933)

Localization of AQP5 during development of the mouse submandibular salivary gland

Aquaporin 5 (AQP5) is known to be central for salivary fluid secretion. A study of the temporal-spatial distribution of AQP5 during submandibular gland (SMG) development and in adult tissues might offer further clues to its unknown role during development. In the present work, SMGs from embryonic day (E) 14.5–18.5 and postnatal days (P) 0, 2, 5, 25, and 60 were immunostained for AQP5 and analyzed using light microscopy. Additional confocal and transmission electron microscopy were performed on P60 glands. Our results show that AQP5 expression first occurs in a scattered pattern in the late canalicular stage and becomes more prominent and organized in the terminal tubuli/pro-acinar cells towards birth. Additional apical membrane staining in the entire intralobular duct is found just prior to birth. During postnatal development, AQP5 is expressed in both the luminal and lateral membrane of pro-acinar/acinar cells. AQP5 is also detected in the basal membrane of acinar cells at P25 and P60. In the intercalated ducts at P60, the male glands show apical staining in the entire segment, while only the proximal region is positive in the female glands. These results demonstrate an evolving distribution of AQP5 during pre- and postnatal development in the mouse SMGs