Graphical Reasoning in Compact Closed Categories for Quantum Computation

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

Pharmacometabolomics of Response to Sertraline and to Placebo in Major Depressive Disorder - Possible Role for Methoxyindole Pathway

10.1371/journal.pone.0068283PLoS ONE87-POLN

High Throughput Selection of Effective Serodiagnostics for Trypanosoma cruzi infection

The diagnosis of Trypanosoma cruzi infection (the cause of human Chagas disease) is difficult because the symptoms of the infection are often absent or non-specific, and because the parasites themselves are usually below the level of detection in the infected subjects. Therefore, diagnosis generally depends on the measurement of T. cruzi–specific antibodies produced in response to the infection. However, current methods to detect anti–T. cruzi antibodies are relatively poor. In this study, we have conducted a broad screen of >400 T. cruzi proteins to identify those proteins which are best able to detect anti–T. cruzi antibodies. Using a set of proteins selected by this screen, we were able to detect 100% of >100 confirmed positive human cases of T. cruzi infection, as well as suspect cases that were negative using existing tests. This protein panel was also able to detect apparent changes in infection status following drug treatment of individuals with chronic T. cruzi infection. The results of this study should allow for significant improvements in the detection of T. cruzi infection and better screening methods to avoid blood transfusion–related transmission of the infection, and offer a crucial tool for determining the success or failure of drug treatment and other intervention strategies to limit the impact of Chagas disease

The Alvarado score for predicting acute appendicitis: a systematic review

Background: The Alvarado score can be used to stratify patients with symptoms of suspected appendicitis; the validity of the score in certain patient groups and at different cut points is still unclear. The aim of this study was to assess the discrimination (diagnostic accuracy) and calibration performance of the Alvarado score. Methods: A systematic search of validation studies in Medline, Embase, DARE and The Cochrane library was performed up to April 2011. We assessed the diagnostic accuracy of the score at the two cut-off points: score of 5 (1 to 4 vs. 5 to 10) and score of 7 (1 to 6 vs. 7 to 10). Calibration was analysed across low (1 to 4), intermediate (5 to 6) and high (7 to 10) risk strata. The analysis focused on three sub-groups: men, women and children. Results: Forty-two studies were included in the review. In terms of diagnostic accuracy, the cut-point of 5 was good at 'ruling out' admission for appendicitis (sensitivity 99% overall, 96% men, 99% woman, 99% children). At the cut-point of 7, recommended for 'ruling in' appendicitis and progression to surgery, the score performed poorly in each subgroup (specificity overall 81%, men 57%, woman 73%, children 76%). The Alvarado score is well calibrated in men across all risk strata (low RR 1.06, 95% CI 0.87 to 1.28; intermediate 1.09, 0.86 to 1.37 and high 1.02, 0.97 to 1.08). The score over-predicts the probability of appendicitis in children in the intermediate and high risk groups and in women across all risk strata. Conclusions: The Alvarado score is a useful diagnostic 'rule out' score at a cut point of 5 for all patient groups. The score is well calibrated in men, inconsistent in children and over-predicts the probability of appendicitis in women across all strata of risk

Four Regional Marine Biodiversity Studies: Approaches and Contributions to Ecosystem-Based Management

We compare objectives and approaches of four regional studies of marine biodiversity: Gulf of Maine Area Census of Marine Life, Baltic Sea History of Marine Animal Populations, Great Barrier Reef Seabed Biodiversity Project, and Gulf of Mexico Biodiversity Project. Each program was designed as an "ecosystem" scale but was created independently and executed differently. Each lasted 8 to 10 years, including several years to refine program objectives, raise funding, and develop research networks. All resulted in improved baseline data and in new, or revised, data systems. Each contributed to the creation or evolution of interdisciplinary teams, and to regional, national, or international science-management linkages. To date, there have been differing extents of delivery and use of scientific information to and by management, with greatest integration by the program designed around specific management questions. We evaluate each research program's relative emphasis on three principal elements of biodiversity organization: composition, structure, and function. This approach is used to analyze existing ecosystem-wide biodiversity knowledge and to assess what is known and where gaps exist. In all four of these systems and studies, there is a relative paucity of investigation on functional elements of biodiversity, when compared with compositional and structural elements. This is symptomatic of the current state of the science. Substantial investment in understanding one or more biodiversity element(s) will allow issues to be addressed in a timely and more integrative fashion. Evaluating research needs and possible approaches across specific elements of biodiversity organization can facilitate planning of future studies and lead to more effective communication between scientists, managers, and stakeholders. Building a general approach that captures how various studies have focused on different biodiversity elements can also contribute to meta-analyses of worldwide experience in scientific research to support ecosystem-based management

Planet Hunters TESS III: Two transiting planets around the bright G dwarf HD 152843

We report on the discovery and validation of a two-planet system around a bright (V = 8.85 mag) early G dwarf (1.43 $R_{\odot}$, 1.15 $M_{\odot}$, TOI 2319) using data from NASA's Transiting Exoplanet Survey Satellite (TESS). Three transit events from two planets were detected by citizen scientists in the month-long TESS light curve (sector 25), as part of the Planet Hunters TESS project. Modelling of the transits yields an orbital period of \Pb\ and radius of $3.41 _{ - 0.12 } ^ { + 0.14 }$ $R_{\oplus}$ for the inner planet, and a period in the range 19.26-35 days and a radius of $5.83 _{ - 0.14 } ^ { + 0.14 }$ $R_{\oplus}$ for the outer planet, which was only seen to transit once. Each signal was independently statistically validated, taking into consideration the TESS light curve as well as the ground-based spectroscopic follow-up observations. Radial velocities from HARPS-N and EXPRES yield a tentative detection of planet b, whose mass we estimate to be $11.56 _{ - 6.14 } ^ { + 6.58 }$ $M_{\oplus}$, and allow us to place an upper limit of $27.5$ $M_{\oplus}$ (99 per cent confidence) on the mass of planet c. Due to the brightness of the host star and the strong likelihood of an extended H/He atmosphere on both planets, this system offers excellent prospects for atmospheric characterisation and comparative planetology