Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

Constraint Programming (CP) has proved an effective paradigm to model and solve difficult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by data uncertainty. Existing CP approaches that accommodate uncertainty are less suited to uncertainty arising due to incomplete and erroneous data, because they do not build reliable models and solutions guaranteed to address the user's genuine problem as she perceives it. Other fields such as reliable computation offer combinations of models and associated methods to handle these types of uncertain data, but lack an expressive framework characterising the resolution methodology independently of the model. We present a unifying framework that extends the CP formalism in both model and solutions, to tackle ill-defined combinatorial problems with incomplete or erroneous data. The certainty closure framework brings together modelling and solving methodologies from different fields into the CP paradigm to provide reliable and efficient approches for uncertain constraint problems. We demonstrate the applicability of the framework on a case study in network diagnosis. We define resolution forms that give generic templates, and their associated operational semantics, to derive practical solution methods for reliable solutions.Comment: Revised versio

Recurrence and survival outcomes after anatomic segmentectomy versus lobectomy for clinical stage I non- Small-cell lung cancer: a propensity-matched analysis

Purpose: Although anatomic segmentectomy has been considered a compromised procedure by many surgeons, recent retrospective, single-institution series have demonstrated tumor recurrence and patient survival rates that approximate those achieved by lobectomy. The primary objective of this study was to use propensity score matching to compare outcomes after these anatomic resection approaches for stage I non-small-cell lung cancer. Patients and Methods: A retrospective data set including 392 segmentectomy patients and 800 lobectomy patients was used to identify matched segmentectomy and lobectomy cohorts (n = 312 patients per group) using a propensity score matching algorithm that accounted for confounding effects of preoperative patient variables. Primary outcome variables included freedom from recurrence and overall survival. Factors affecting survival were assessed by Cox regression analysis and Kaplan-Meier estimates. Results: Perioperative mortality was 1.2% in the segmentectomy group and 2.5% in the lobectomy group (P = .38). At a mean follow-up of 5.4 years, comparing segmentectomy with lobectomy, no differences were noted in locoregional (5.5% v 5.1%, respectively; P = 1.00), distant (14.8% v 11.6%, respectively; P = .29), or overall recurrence rates (20.2% v 16.7%, respectively; P = .30). Furthermore, when comparing segmentectomy with lobectomy, no significant differences were noted in 5-year freedom from recurrence (70% v 71%, respectively; P = .467) or 5-year survival (54% v 60%, respectively; P = .258). Segmentectomy was not found to be an independent predictor of recurrence (hazard ratio, 1.11; 95% CI, 0.87 to 1.40) or overall survival (hazard ratio, 1.17; 95% CI, 0.89 to 1.52). Conclusion: In this large propensity-matched comparison, lobectomy was associated with modestly increased freedom from recurrence and overall survival, but the differences were not statistically significant. These results will need further validation by prospective, randomized trials (eg, Cancer and Leukemia Group B 140503 trial)

A method for single pair mating in an obligate parasitic nematode

Parasitic nematode species have extremely high levels of genetic diversity, presenting a number of experimental challenges for genomic and genetic work. Consequently, there is a need to develop inbred laboratory strains with reduced levels of polymorphism. The most efficient approach to inbred line development is single pair mating, but this is challenging for obligate parasites where the adult sexual reproductive stages are inside the host, and thus difficult to experimentally manipulate. This paper describes a successful approach to single pair mating of a parasitic nematode, Haemonchus contortus. The method allows for polyandrous mating behaviour and involves the surgical transplantation of a single adult male worm with multiple immature adult females directly into the sheep abomasum. We used a panel of microsatellite markers to monitor and validate the single pair mating crosses and to ensure that the genotypes of progeny and subsequent filial generations were consistent with those expected from a mating between a single female parent of known genotype and a single male parent of unknown genotype. We have established two inbred lines that both show a significant overall reduction in genetic diversity based on microsatellite genotyping and genome-wide single nucleotide polymorphism. There was an approximately 50% reduction in heterozygous SNP sites across the genome in the MHco3.N1 line compared with the MoHco3(ISE) parental strain. The MHco3.N1 inbred line has subsequently been used to provide DNA template for whole genome sequencing of H. contortus. This work provides proof of concept and methodologies for forward genetic analysis of obligate parasitic nematodes

The dynamics of ovine gastrointestinal nematode infections within ewe and lamb cohorts on three Scottish sheep farms

Gastrointestinal nematodes (GIN) are a serious concern for sheep producers worldwide. However, there is a paucity of evidence describing the epidemiology of GIN on modern UK sheep farms. The aim of this paper was to understand whether expected seasonal variations of infection are still found in ewes and lambs under varying management strategies in temperate climates. Faecal egg counts (FEC) were conducted on freshly voided samples collected from groups of ewes and lambs every third week for twelve months on three farms in southeast Scotland. The patterns of egg output have been described here in relation to management practices undertaken on the farms. Despite changes in farming practice and climatic conditions, the findings complement historical studies detailing the epidemiology of GIN. Findings include a periparturient rise in ewe FEC on two of the farms, while lambing time treatment appeared to suppress this on the third farm. On the same two farms lamb FEC increased during the summer, reaching a peak in the autumn. The work also highlights how the ad hoc use of anthelmintics does little to impact these patterns

History and symptom taking in contact lens fitting and aftercare.

AIM: To appraise history and symptom taking for contact lens consultations, to determine current practice and to make recommendations for best practice. METHOD: The peer reviewed academic literature was reviewed and the results informed a survey completed by 256 eye care practitioners (ECPs) on their current practice and influences. RESULTS: The last eye-test date, last contact lens aftercare (for existing wearers) and reason for visit are key questions for most ECPs. Detailed use of contact lens questions are more commonly applied in aftercares than when refitting patients who have previously discontinued wear (87% vs 56% use), whereas questions on ocular and general history, medication and lifestyle were generally more commonly utilised for new patients than in aftercares (72% vs 50%). 75% of ECPs requested patients bring a list of their medication to appointments. Differential diagnosis questioning was thorough in most ECPs (87% of relevant questions asked). Attempts to optimise compliance included oral instruction (95% always) and written patient instructions (95% at least sometimes). Abbreviations were used by 39% of respondents (26% used ones provided by a professional body). CONCLUSION: There is scope for more consistency in history and symptom taking for contact lens consultations and recommendations are made

Detection of conjugation related type four secretion machinery in Aeromonas culicicola

BACKGROUND: Aeromonas sp. can now be considered relatively common enteropathogens due to the increase of diseases in humans. Aeromonas culicicola is a gram negative rod-shaped bacterium isolated for the first time from the mosquito mid-gut, but subsequently detected in other insects and waters also. Our previous study discovered that A. culicicola harbors three plasmids, which we designated as pAc3249A, pAc3249B and pAc3249C. We investigated and report here the existence and genetic organization of a Conjugal Type IV Secretion System (TFSS) in pAc3249A. METHODOLOGY/PRINCIPLE FINDING: The complete operon is 11,061 bp in length and has G+C content of 47.20% code for 12 ORFs. The gene order and orientation were similar to those found in other bacteria with some differences. We have designated this system as AcTra for Aeromonas culicicola transfer system. BLAST results of ORFs and phylogenetic analysis showed significant similarity towards the respective proteins of the IncI2 plasmid R721 of E. coli. Other bioinformatics studies have been performed to predict conserved motifs/domains, signal peptides, transmembrane helices, etc. of the ORFs. CONCLUSIONS/SIGNIFICANCE: BLAST results of ORFs and phylogenetic analysis showed significant similarity towards the respective proteins of the IncI2 plasmid R721 of E. coli

Meta-analysis of genome-wide association studies of HDL cholesterol response to statins

BACKGROUND: In addition to lowering low density lipoprotein cholesterol (LDL-C), statin therapy also raises high density lipoprotein cholesterol (HDL-C) levels. Inter-individual variation in HDL-C response to statins may be partially explained by genetic variation.METHODS AND RESULTS: We performed a meta-analysis of genome-wide association studies (GWAS) to identify variants with an effect on statin-induced high density lipoprotein cholesterol (HDL-C) changes. The 123 most promising signals with p&lt;1×10(-4) from the 16 769 statin-treated participants in the first analysis stage were followed up in an independent group of 10 951 statin-treated individuals, providing a total sample size of 27 720 individuals. The only associations of genome-wide significance (p&lt;5×10(-8)) were between minor alleles at the CETP locus and greater HDL-C response to statin treatment.CONCLUSIONS: Based on results from this study that included a relatively large sample size, we suggest that CETP may be the only detectable locus with common genetic variants that influence HDL-C response to statins substantially in individuals of European descent. Although CETP is known to be associated with HDL-C, we provide evidence that this pharmacogenetic effect is independent of its association with baseline HDL-C levels.</p

Pharmacogenetic meta-analysis of genome-wide association studies of LDL cholesterol response to statins

Statins effectively lower LDL cholesterol levels in large studies and the observed interindividual response variability may be partially explained by genetic variation. Here we perform a pharmacogenetic meta-analysis of genome-wide association studies (GWAS) in studies addressing the LDL cholesterol response to statins, including up to 18,596 statin-treated subjects. We validate the most promising signals in a further 22,318 statin recipients and identify two loci, SORT1/CELSR2/PSRC1 and SLCO1B1, not previously identified in GWAS. Moreover, we confirm the previously described associations with APOE and LPA. Our findings advance the understanding of the pharmacogenetic architecture of statin response