Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots

A graph environment must be explored by a collection of mobile robots. Some of the robots, a priori unknown, may turn out to be unreliable. The graph is weighted and each node is assigned a deadline. The exploration is successful if each node of the graph is visited before its deadline by a reliable robot. The edge weight corresponds to the time needed by a robot to traverse the edge. Given the number of robots which may crash, is it possible to design an algorithm, which will always guarantee the exploration, independently of the choice of the subset of unreliable robots by the adversary? We find the optimal time, during which the graph may be explored. Our approach permits to find the maximal number of robots, which may turn out to be unreliable, and the graph is still guaranteed to be explored. We concentrate on line graphs and rings, for which we give positive results. We start with the case of the collections involving only reliable robots. We give algorithms finding optimal times needed for exploration when the robots are assigned to fixed initial positions as well as when such starting positions may be determined by the algorithm. We extend our consideration to the case when some number of robots may be unreliable. Our most surprising result is that solving the line exploration problem with robots at given positions, which may involve crash-faulty ones, is NP-hard. The same problem has polynomial solutions for a ring and for the case when the initial robots' positions on the line are arbitrary. The exploration problem is shown to be NP-hard for star graphs, even when the team consists of only two reliable robots

Will all scientists working on snails and the diseases they transmit please stand up?

Copyright © 2012 Adema et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.No abstract available

Assessment of H2_{2}S in vivo using the newly developed mitochondria-targeted mass spectrometry probe MitoA

Hydrogen sulfide (H$_{2}$S) is produced endogenously in vivo and has multiple effects on signaling pathways and cell function. Mitochondria can be both an H$_{2}$S source and sink, and many of the biological effects of H$_{2}$S relate to its interactions with mitochondria. However, the significance of mitochondrial H$_{2}$S is uncertain, in part due to the difficulty of assessing changes in its concentration in vivo Although a number of fluorescent H$_{2}$S probes have been developed these are best suited to cells in culture and cannot be used in vivo To address this unmet need we have developed a mitochondria-targeted H$_{2}$S probe, MitoA, which can be used to assess relative changes in mitochondrial H$_{2}$S levels in vivo MitoA comprises a lipophilic triphenylphosphonium (TPP) cation coupled to an aryl azide. The TPP cation leads to the accumulation of MitoA inside mitochondria within tissues in vivo There, the aryl azido group reacts with H$_{2}$S to form an aryl amine (MitoN). The extent of conversion of MitoA to MitoN thus gives an indication of the levels of mitochondrial H$_{2}$S in vivo Both compounds can be detected sensitively by liquid chromatography tandem mass spectrometry (LC-MS/MS) analysis of the tissues, and quantified relative to deuterated internal standards. Here we describe the synthesis and characterization of MitoA and show that it can be used to assess changes in mitochondrial H$_{2}$S levels in vivo As a proof of principle we used MitoA to show that H$_{2}$S levels increase in vivo during myocardial ischemia.This work was supported in part by Medical Research Council UK Grant MC_U105663142, Wellcome Trust Investigator award 110159/Z/15/Z (to M. P. M.), Biotechnology and Biological Sciences Research Council Grant BB/I012826/1, Wellcome Trust Investigator award 110158/Z/15/Z (to R. C. H.), and a Consejo Nacional de Ciencia y Technología studentship (to C. B.-G.)

Integrated treatment of first episode psychosis with online training (e-learning): study protocol for a randomised controlled trial

BackgroundThe integrated treatment of first episode psychosis has been shown to improve functionality and negative symptoms in previous studies. In this paper, we describe a study of integrated treatment (individual psychoeducation complementary to pharmacotherapy) versus treatment as usual, comparing results at baseline with those at 6-month re-assessment (at the end of the study) for these patients, and online training of professionals to provide this complementary treatment, with the following objectives: 1) to compare the efficacy of individual psychoeducation as add-on treatment versus treatment as usual in improving psychotic and mood symptoms; 2) to compare adherence to medication, functioning, insight, social response, quality of life, and brain-derived neurotrophic factor, between both groups; and 3) to analyse the efficacy of online training of psychotherapists.Methods/designThis is a single-blind randomised clinical trial including patients with first episode psychosis from hospitals across Spain, randomly assigned to either a control group with pharmacotherapy and regular sessions with their psychiatrist (treatment as usual) or an intervention group with integrated care including treatment as usual plus a psychoeducational intervention (14 sessions). Training for professionals involved at each participating centre was provided by the coordinating centre (University Hospital of Álava) through video conferences. Patients are evaluated with an extensive battery of tests assessing clinical and sociodemographic characteristics (Positive and Negative Syndrome Scale, State-Trait Anxiety Inventory, Liebowitz Social Anxiety Scale, Hamilton Rating Scale for Depression, Scale to Assess Unawareness of Mental Disorders, Strauss and Carpenter Prognostic Scale, Global Assessment of Functioning Scale, Morisky Green Adherence Scale, Functioning Assessment Short Test, World Health Organization Quality of Life instrument WHOQOL-BREF (an abbreviated version of the WHOQOL-100), and EuroQoL questionnaire), and brain-derived neurotrophic factor levels are measured in peripheral blood at baseline and at 6 months. The statistical analysis, including bivariate analysis, linear and logistic regression models, will be performed using SPSS.DiscussionThis is an innovative study that includes the assessment of an integrated intervention for patients with first episode psychosis provided by professionals who are trained online, potentially making it possible to offer the intervention to more patients.Trial registrationNCT01783457 clinical trials.gov. Date of registration in primary registry 23 January 2013

Ectoparasite activity during incubation increases microbial growth on avian eggs

We thank Estefanía López for lab work, and Tomás Pérez-Contreras and Emilio Pagani-Núñez for facilitating collection of some of the flies used in manipulations. We also thank Ángela Martínez-García for help with management of ARISA data and Natalia Juárez and Deseada Parejo for the pictures of owls and roller clutches, respectively. We appreciate the comments provided by Dr. Adèle Mennerat and five anonymous referees on earlier versions of the manuscript.All applicable international, national, and/or institutional guidelines for the care and use of animals were followed.While direct detrimental effects of parasites on hosts are relatively well documented, other more subtle but potentially important effects of parasitism are yet unexplored. Biological activity of ectoparasites, apart from skin injuries and blood-feeding, often results in blood remains, or parasite faeces that accumulate and modify the host environment. In this way, ectoparasite activities and remains may increase nutrient availability that may favour colonization and growth of microorganisms including potential pathogens. Here, by the experimental addition of hematophagous flies (Carnus hemapterus, a common ectoparasite of birds) to nests of spotless starlings Sturnus unicolor during incubation, we explore this possible side effect of parasitism which has rarely, if ever, been investigated. Results show that faeces and blood remains from parasitic flies on spotless starling eggshells at the end of incubation were more abundant in experimental than in control nests. Moreover, eggshell bacterial loads of different groups of cultivable bacteria including potential pathogens, as well as species richness of bacteria in terms of Operational Taxonomic Units (OTUs), were also higher in experimental nests. Finally, we also found evidence of a link between eggshell bacterial loads and increased embryo mortality, which provides indirect support for a bacterial-mediated negative effect of ectoparasitism on host offspring. Trans-shell bacterial infection might be one of the main causes of embryo death and, consequently, this hitherto unnoticed indirect effect of ectoparasitism might be widespread in nature and could affect our understanding of ecology and evolution of host-parasite interactionsFinancial support was provided by Spanish Ministerio de Economía y Competitividad and FEDER (CGL2013-48193-C3-1-P, CGL2013-48193-C3-2-P), by JAE programme to DMG and MRR, and by Juan de la Cierva and Ramón y Cajal programmes to GT. All procedures were conducted under licence from the Environmental Department of the Regional Government of Andalucía, Spain (reference SGYB/FOA/AFR)

Ontology-based end-user visual query formulation: Why, what, who, how, and which?

Value creation in an organisation is a time-sensitive and data-intensive process, yet it is often delayed and bounded by the reliance on IT experts extracting data for domain experts. Hence, there is a need for providing people who are not professional developers with the flexibility to pose relatively complex and ad hoc queries in an easy and intuitive way. In this respect, visual methods for query formulation undertake the challenge of making querying independent of users’ technical skills and the knowledge of the underlying textual query language and the structure of data. An ontology is more promising than the logical schema of the underlying data for guiding users in formulating queries, since it provides a richer vocabulary closer to the users’ understanding. However, on the one hand, today the most of world’s enterprise data reside in relational databases rather than triple stores, and on the other, visual query formulation has become more compelling due to ever-increasing data size and complexity—known as Big Data. This article presents and argues for ontology-based visual query formulation for end-users; discusses its feasibility in terms of ontology-based data access, which virtualises legacy relational databases as RDF, and the dimensions of Big Data; presents key conceptual aspects and dimensions, challenges, and requirements; and reviews, categorises, and discusses notable approaches and systems

O6-Methylguanine-DNA methyltransferase protein expression by immunohistochemistry in brain and non-brain systemic tumours: systematic review and meta-analysis of correlation with methylation-specific polymerase chain reaction

Background: The DNA repair protein O6-Methylguanine-DNA methyltransferase (MGMT) confers resistance to alkylating agents. Several methods have been applied to its analysis, with methylation-specific polymerase chain reaction (MSP) the most commonly used for promoter methylation study, while immunohistochemistry (IHC) has become the most frequently used for the detection of MGMT protein expression. Agreement on the best and most reliable technique for evaluating MGMT status remains unsettled. The aim of this study was to perform a systematic review and meta-analysis of the correlation between IHC and MSP. Methods A computer-aided search of MEDLINE (1950-October 2009), EBSCO (1966-October 2009) and EMBASE (1974-October 2009) was performed for relevant publications. Studies meeting inclusion criteria were those comparing MGMT protein expression by IHC with MGMT promoter methylation by MSP in the same cohort of patients. Methodological quality was assessed by using the QUADAS and STARD instruments. Previously published guidelines were followed for meta-analysis performance. Results Of 254 studies identified as eligible for full-text review, 52 (20.5%) met the inclusion criteria. The review showed that results of MGMT protein expression by IHC are not in close agreement with those obtained with MSP. Moreover, type of tumour (primary brain tumour vs others) was an independent covariate of accuracy estimates in the meta-regression analysis beyond the cut-off value. Conclusions Protein expression assessed by IHC alone fails to reflect the promoter methylation status of MGMT. Thus, in attempts at clinical diagnosis the two methods seem to select different groups of patients and should not be used interchangeably

PI3Kinase signaling in glioblastoma

Glioblastoma (GBM) is the most common primary tumor of the CNS in the adult. It is characterized by exponential growth and diffuse invasiveness. Among many different genetic alterations in GBM, e.g., mutations of PTEN, EGFR, p16/p19 and p53 and their impact on aberrant signaling have been thoroughly characterized. A major barrier to develop a common therapeutic strategy is founded on the fact that each tumor has its individual genetic fingerprint. Nonetheless, the PI3K pathway may represent a common therapeutic target to most GBM due to its central position in the signaling cascade affecting proliferation, apoptosis and migration. The read-out of blocking PI3K alone or in combination with other cancer pathways should mainly focus, besides the cytostatic effect, on cell death induction since sublethal damage may induce selection of more malignant clones. Targeting more than one pathway instead of a single agent approach may be more promising to kill GBM cells