Colonic perforation following mild abdominal trauma in a patient with Crohn's disease: a case report

Colonic perforation following mild abdominal trauma in patients with Crohn's disease is a rare occurrence. We present a case of a 21 year old Crohn's sufferer, who presented to the emergency department with signs of shock and peritonitis following minor abdominal trauma. A computed tomography (CT) scan revealed ascending colonic perforation and he underwent a subsequent right hemicolectomy. This is the first UK report of a patient with inflammatory bowel disease suffering colonic perforation following minimal trauma

POD for optimal control of the Cahn-Hilliard system using spatially adapted snapshots

The present work considers the optimal control of a convective Cahn-Hilliard system, where the control enters through the velocity in the transport term. We prove the existence of a solution to the considered optimal control problem. For an efficient numerical solution, the expensive high-dimensional PDE systems are replaced by reduced-order models utilizing proper orthogonal decomposition (POD-ROM). The POD modes are computed from snapshots which are solutions of the governing equations which are discretized utilizing adaptive finite elements. The numerical tests show that the use of POD-ROM combined with spatially adapted snapshots leads to large speedup factors compared with a high-fidelity finite element optimization

Linear Superiorization for Infeasible Linear Programming

Linear superiorization (abbreviated: LinSup) considers linear programming (LP) problems wherein the constraints as well as the objective function are linear. It allows to steer the iterates of a feasibility-seeking iterative process toward feasible points that have lower (not necessarily minimal) values of the objective function than points that would have been reached by the same feasiblity-seeking iterative process without superiorization. Using a feasibility-seeking iterative process that converges even if the linear feasible set is empty, LinSup generates an iterative sequence that converges to a point that minimizes a proximity function which measures the linear constraints violation. In addition, due to LinSup's repeated objective function reduction steps such a point will most probably have a reduced objective function value. We present an exploratory experimental result that illustrates the behavior of LinSup on an infeasible LP problem.Comment: arXiv admin note: substantial text overlap with arXiv:1612.0653

Ascaroside Expression in Caenorhabditis elegans Is Strongly Dependent on Diet and Developmental Stage

Background: The ascarosides form a family of small molecules that have been isolated from cultures of the nematode Caenorhabditis elegans. They are often referred to as “dauer pheromones” because most of them induce formation of long-lived and highly stress resistant dauer larvae. More recent studies have shown that ascarosides serve additional functions as social signals and mating pheromones. Thus, ascarosides have multiple functions. Until now, it has been generally assumed that ascarosides are constitutively expressed during nematode development. Methodology/Principal Findings: Cultures of C. elegans were developmentally synchronized on controlled diets. Ascarosides released into the media, as well as stored internally, were quantified by LC/MS. We found that ascaroside biosynthesis and release were strongly dependent on developmental stage and diet. The male attracting pheromone was verified to be a blend of at least four ascarosides, and peak production of the two most potent mating pheromone components, ascr#3 and asc#8 immediately preceded or coincided with the temporal window for mating. The concentration of ascr#2 increased under starvation conditions and peaked during dauer formation, strongly supporting ascr#2 as the main population density signal (dauer pheromone). After dauer formation, ascaroside production largely ceased and dauer larvae did not release any ascarosides. These findings show that both total ascaroside production and the relative proportions of individual ascarosides strongly correlate with these compounds' stage-specific biological functions. Conclusions/Significance: Ascaroside expression changes with development and environmental conditions. This is consistent with multiple functions of these signaling molecules. Knowledge of such differential regulation will make it possible to associate ascaroside production to gene expression profiles (transcript, protein or enzyme activity) and help to determine genetic pathways that control ascaroside biosynthesis. In conjunction with findings from previous studies, our results show that the pheromone system of C. elegans mimics that of insects in many ways, suggesting that pheromone signaling in C. elegans may exhibit functional homology also at the sensory level. In addition, our results provide a strong foundation for future behavioral modeling studies

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

Comparing the performance of cluster random sampling and integrated threshold mapping for targeting trachoma control, using computer simulation.

BACKGROUND: Implementation of trachoma control strategies requires reliable district-level estimates of trachomatous inflammation-follicular (TF), generally collected using the recommended gold-standard cluster randomized surveys (CRS). Integrated Threshold Mapping (ITM) has been proposed as an integrated and cost-effective means of rapidly surveying trachoma in order to classify districts according to treatment thresholds. ITM differs from CRS in a number of important ways, including the use of a school-based sampling platform for children aged 1-9 and a different age distribution of participants. This study uses computerised sampling simulations to compare the performance of these survey designs and evaluate the impact of varying key parameters. METHODOLOGY/PRINCIPAL FINDINGS: Realistic pseudo gold standard data for 100 districts were generated that maintained the relative risk of disease between important sub-groups and incorporated empirical estimates of disease clustering at the household, village and district level. To simulate the different sampling approaches, 20 clusters were selected from each district, with individuals sampled according to the protocol for ITM and CRS. Results showed that ITM generally under-estimated the true prevalence of TF over a range of epidemiological settings and introduced more district misclassification according to treatment thresholds than did CRS. However, the extent of underestimation and resulting misclassification was found to be dependent on three main factors: (i) the district prevalence of TF; (ii) the relative risk of TF between enrolled and non-enrolled children within clusters; and (iii) the enrollment rate in schools. CONCLUSIONS/SIGNIFICANCE: Although in some contexts the two methodologies may be equivalent, ITM can introduce a bias-dependent shift as prevalence of TF increases, resulting in a greater risk of misclassification around treatment thresholds. In addition to strengthening the evidence base around choice of trachoma survey methodologies, this study illustrates the use of a simulated approach in addressing operational research questions for trachoma but also other NTDs

Coinductive soundness of corecursive type class resolution

This work has been supported by the EPSRC grant “Coalgebraic Logic Programming for Type Inference” EP/K031864/1-2, EU Horizon 2020 grant “RePhrase: Refactoring Parallel Heterogeneous Resource-Aware Applications - a Software Engineering Approach” (ICT-644235), and by COST Action IC1202 (TACLe), supported by COST (European Cooperation in Science and Technology)Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where resolution does not terminate. This paper shows, for the first time, that corecursive type class resolution and its extensions are coinductively sound with respect to the greatest Herbrand models of logic programs and that they are inductively unsound with respect to the least Herbrand models. We establish incompleteness results for various fragments of the proof system.Postprin

The Limits of Anthropocene Narratives

The rapidly growing transdisciplinary enthusiasm about developing new kinds of Anthropocene stories is based on the shared assumption that the Anthropocene predicament is best made sense of by narrative means. Against this assumption, this article argues that the challenge we are facing today does not merely lie in telling either scientific, socio-political, or entangled Anthropocene narratives to come to terms with our current condition. Instead, the challenge lies in coming to grips with how the stories we can tell in the Anthropocene relate to the radical novelty of the Anthropocene condition about which no stories can be told. What we need to find are meaningful ways to reconcile an inherited commitment to narrativization and the collapse of storytelling as a vehicle of understanding the Anthropocene as our current predicament

Exploiting disorder for perfect focusing

We demonstrate experimentally that disordered scattering can be used to improve, rather than deteriorate, the focusing resolution of a lens. By using wavefront shaping to compensate for scattering, light was focused to a spot as small as one tenth of the diffraction limit of the lens. We show both experimentally and theoretically that it is the scattering medium, rather than the lens, that determines the width of the focus. Despite the disordered propagation of the light, the profile of the focus was always exactly equal to the theoretical best focus that we derived.Comment: 4 pages, 4 figure

Generalized iterated wreath products of symmetric groups and generalized rooted trees correspondence

Consider the generalized iterated wreath product $S_{r_1}\wr \ldots \wr S_{r_k}$ of symmetric groups. We give a complete description of the traversal for the generalized iterated wreath product. We also prove an existence of a bijection between the equivalence classes of ordinary irreducible representations of the generalized iterated wreath product and orbits of labels on certain rooted trees. We find a recursion for the number of these labels and the degrees of irreducible representations of the generalized iterated wreath product. Finally, we give rough upper bound estimates for fast Fourier transforms.Comment: 18 pages, to appear in Advances in the Mathematical Sciences. arXiv admin note: text overlap with arXiv:1409.060