The search of a precise measure of what hardness of SAT instances means for state-of-the-art solvers is a relevant research question. Among others, the space complexity of tree-like resolution (also called hardness), the minimal size of strong backdoors and of cycle-cutsets, and the treewidth can be used for this purpose. We propose the use of the tree-like space complexity as a solid candidate...

Glucagon-like peptide-2 (GLP-2) is a nutrient-dependent, proglucagon-derived gut hormone that shows promise for the treatment of short bowel syndrome (SBS). Our objective was to investigate how combination GLP-2 + enteral nutrients (EN) affects intestinal adaption in a rat model that mimics severe human SBS and requires parenteral nutrition (PN). Male Sprague-Dawley rats were assigned to one of...

We have previously shown that one of two chicken engrailed-like genes, chick En-2, is expressed in a restricted region of the early chick embryo brain: the mes/metencephalon (Gardner et al. 1988). In this study, we examine the role of the cellular environment in regulation of engrailed-like (En) protein expression in quail-chick chimeric embryos. Two types of transplant surgery were performed a...

PURPOSE To characterize the optical coherence tomography (OCT) angiography, en face OCT, and microperimetry features of paracentral acute middle maculopathy in both the acute phase and after resolution, and to propose a classification of distinct subtypes of this entity. DESIGN Retrospective observational case series. METHODS Clinical histories, high-resolution digital color imaging, spectr...

In the data privacy context, specifically, in statistical disclosure control techniques, microaggregation is a well-known microdata protection method, ensuring the confidentiality of each individual. In this paper, we propose a new approach of microaggregation to deal with semantic sets of categorical data, like text documents. This method relies on the WordNet framework that provides complete ...