On the bend number of circular-arc graphs as edge intersection graphs of paths on a grid

Golumbic, Lipshteyn and Stern \cite{Golumbic-epg} proved that every graph can be represented as the edge intersection graph of paths on a grid (EPG graph), i.e., one can associate with each vertex of the graph a nontrivial path on a rectangular grid such that two vertices are adjacent if and only if the corresponding paths share at least one edge of the grid. For a nonnegative integer $k$, $B_k$-EPG graphs are defined as EPG graphs admitting a model in which each path has at most $k$ bends. Circular-arc graphs are intersection graphs of open arcs of a circle. It is easy to see that every circular-arc graph is a $B_4$-EPG graph, by embedding the circle into a rectangle of the grid. In this paper, we prove that every circular-arc graph is $B_3$-EPG, and that there exist circular-arc graphs which are not $B_2$-EPG. If we restrict ourselves to rectangular representations (i.e., the union of the paths used in the model is contained in a rectangle of the grid), we obtain EPR (edge intersection of path in a rectangle) representations. We may define $B_k$-EPR graphs, $k\geq 0$, the same way as $B_k$-EPG graphs. Circular-arc graphs are clearly $B_4$-EPR graphs and we will show that there exist circular-arc graphs that are not $B_3$-EPR graphs. We also show that normal circular-arc graphs are $B_2$-EPR graphs and that there exist normal circular-arc graphs that are not $B_1$-EPR graphs. Finally, we characterize $B_1$-EPR graphs by a family of minimal forbidden induced subgraphs, and show that they form a subclass of normal Helly circular-arc graphs

A Logic with Reverse Modalities for History-preserving Bisimulations

We introduce event identifier logic (EIL) which extends Hennessy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifiers to keep track of events. We show that this logic corresponds to hereditary history-preserving (HH) bisimulation equivalence within a particular true-concurrency model, namely stable configuration structures. We furthermore show how natural sublogics of EIL correspond to coarser equivalences. In particular we provide logical characterisations of weak history-preserving (WH) and history-preserving (H) bisimulation. Logics corresponding to HH and H bisimulation have been given previously, but not to WH bisimulation (when autoconcurrency is allowed), as far as we are aware. We also present characteristic formulas which characterise individual structures with respect to history-preserving equivalences.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Lessons Learned: Recommendations for Establishing Critical Periodic Scientific Benchmarking

The dependence of life scientists on software has steadily grown in recent years. For many tasks, researchers have to decide which of the available bioinformatics software are more suitable for their specific needs. Additionally researchers should be able to objectively select the software that provides the highest accuracy, the best efficiency and the highest level of reproducibility when integrated in their research projects. Critical benchmarking of bioinformatics methods, tools and web services is therefore an essential community service, as well as a critical component of reproducibility efforts. Unbiased and objective evaluations are challenging to set up and can only be effective when built and implemented around community driven efforts, as demonstrated by the many ongoing community challenges in bioinformatics that followed the success of CASP. Community challenges bring the combined benefits of intense collaboration, transparency and standard harmonization. Only open systems for the continuous evaluation of methods offer a perfect complement to community challenges, offering to larger communities of users that could extend far beyond the community of developers, a window to the developments status that they can use for their specific projects. We understand by continuous evaluation systems as those services which are always available and periodically update their data and/or metrics according to a predefined schedule keeping in mind that the performance has to be always seen in terms of each research domain. We argue here that technology is now mature to bring community driven benchmarking efforts to a higher level that should allow effective interoperability of benchmarks across related methods. New technological developments allow overcoming the limitations of the first experiences on online benchmarking e.g. EVA. We therefore describe OpenEBench, a novel infra-structure designed to establish a continuous automated benchmarking system for bioinformatics methods, tools and web services. OpenEBench is being developed so as to cater for the needs of the bioinformatics community, especially software developers who need an objective and quantitative way to inform their decisions as well as the larger community of end-users, in their search for unbiased and up-to-date evaluation of bioinformatics methods. As such OpenEBench should soon become a central place for bioinformatics software developers, community-driven benchmarking initiatives, researchers using bioinformatics methods, and funders interested in the result of methods evaluation.Preprin

Robotic Navigation based in Statics Patterns using the CMUcam3 Embedded System

Este artículo presenta un método de navegación Robótico basado en patrones estáticos usando técnicas de visión artificial implementadas sobre el sistema embebido CMUcam3, además presenta un análisis de procesamiento de cómputo para este sistema embebido. El patrón a determinar es una línea negra con cruces, guiando al agente robótico a través de ésta. Luego de la adquisición de las imágenes mediante la CMUcam3, se utiliza un algoritmo de segmentación basado en umbral, se determina el esqueleto de los patrones y luego se aplica la transformada de Hough lineal para determinar, las líneas, los ángulos y los tipos de cruces. Debido a que la transformada de Hough lineal es un método que requiere alto procesamiento, en este trabajo, se limita el rango de los ángulos y se normaliza su espacio de acumulaciones. En los resultados obtenidos se pudo determinar que el método desarrollado para la navegación es preciso y confiable, ya que en un 87% de los segmentos de decisión se pudo determinar correctamente el tipo de cruce y el ángulo de corrección. Él sistema embebido CMUcam3 logró procesar una imagen entre 0.15 y 0.28 segundos, dependiendo del tipo de cruce que encuentre.This paper presents a method based on static patterns for robotic navigation using computer vision techniques implemented on CMUcam3 embedded system, also presents an analysis of computational complexity for this embedded system. The pattern to be determined is a black line with intersections, driving the robotic agent over the line. A segmentation algorithm based in threshold is used after the images acquisition by the CMUcam3, then defines the thinning patterns and then the linear Hough transform is applied to determine the lines, the angles and the type of the intersections. Due to the linear Hough transform is a method that requires high processing, in this project, the range of the angles are limited and the accumulation space is normalized. The results showthat the method developed for the navigation is accurate and reliable, because in 87% of the decision segments it could determine correctly the type of intersection and the correction angle. The CMUcam3 embedded system succeeded to process an image between 0.15 and 0.28 seconds, depending of the type of the intersection

Cost-effectiveness of introducing a rotavirus vaccine in developing countries: The case of Mexico

<p>Abstract</p> <p>Background</p> <p>In developing countries rotavirus is the leading cause of severe diarrhoea and diarrhoeal deaths in children under 5. Vaccination could greatly alleviate that burden, but in Mexico as in most low- and middle-income countries the decision to add rotavirus vaccine to the national immunisation program will depend heavily on its cost-effectiveness and affordability. The objective of this study was to assess the cost-effectiveness of including the pentavalent rotavirus vaccine in Mexico's national immunisation program.</p> <p>Methods</p> <p>A cost-effectiveness model was developed from the perspective of the health system, modelling the vaccination of a hypothetical birth cohort of 2 million children monitored from birth through 60 months of age. It compares the cost and disease burden of rotavirus in an unvaccinated cohort of children with one vaccinated as recommended at 2, 4, and 6 months.</p> <p>Results</p> <p>Including the pentavalent vaccine in the national immunisation program could prevent 71,464 medical visits (59%), 5,040 hospital admissions (66%), and 612 deaths from rotavirus gastroenteritis (70%). At US$10 per dose and a cost of administration of US$13.70 per 3-dose regimen, vaccination would cost US$122,058 per death prevented, US$4,383 per discounted life-year saved, at a total net cost of US$74.7 million dollars to the health care system. Key variables influencing the results were, in order of importance, case fatality, vaccine price, vaccine efficacy, serotype prevalence, and annual loss of efficacy. The results are also very sensitive to the discount rate assumed when calculated per life-year saved.</p> <p>Conclusion</p> <p>At prices below US$15 per dose, the cost per life-year saved is estimated to be lower than one GNP per capita and hence highly cost effective by the WHO Commission on Macroeconomics and Health criteria. The cost-effectiveness estimates are highly dependent upon the mortality in the absence of the vaccine, which suggests that the vaccine is likely to be significantly more cost-effective among poorer populations and among those with less access to prompt medical care – such that poverty reduction programs would be expected to reduce the future cost-effectiveness of the vaccine.</p

Rare disease research workflow using multilayer networks elucidates the molecular determinants of severity in Congenital Myasthenic Syndromes

\ua9 The Author(s) 2024.Exploring the molecular basis of disease severity in rare disease scenarios is a challenging task provided the limitations on data availability. Causative genes have been described for Congenital Myasthenic Syndromes (CMS), a group of diverse minority neuromuscular junction (NMJ) disorders; yet a molecular explanation for the phenotypic severity differences remains unclear. Here, we present a workflow to explore the functional relationships between CMS causal genes and altered genes from each patient, based on multilayer network community detection analysis of complementary biomedical information provided by relevant data sources, namely protein-protein interactions, pathways and metabolomics. Our results show that CMS severity can be ascribed to the personalized impairment of extracellular matrix components and postsynaptic modulators of acetylcholine receptor (AChR) clustering. This work showcases how coupling multilayer network analysis with personalized -omics information provides molecular explanations to the varying severity of rare diseases; paving the way for sorting out similar cases in other rare diseases

Pulmonary long-term consequences of COVID-19 infections after hospital discharge

Objectives: COVID-19 survivors are reporting residual abnormalities after discharge from the hospital. Limited information is available about this stage of recovery or the lingering effects of the virus on pulmonary function and inflammation. The aim of this study was to describe lung function and to identify biomarkers in serum and induced sputum samples from patients recovering from COVID-19 hospitalisation. Methods: Patients admitted to Spanish hospitals with laboratory-confirmed COVID-19 infection by a real-time PCR (RT-PCR) assay for severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) were recruited for this study. Each hospital screened their lists of discharged patients at least 45 days after symptom onset. SARS-CoV-2-infected patients were divided into mild/moderate and severe disease groups according to the severity of their symptoms during hospitalisation. Patients’ epidemiological and medical histories, comorbidities, chronic treatments, and laboratory parameters were evaluated. Pulmonary function tests, the standardised 6-minute walk test (6 MWT) and chest computed tomography (CT) were also performed. The levels of proteases, their inhibitors, and shed receptors were measured in serum and induced sputum samples. Results: A total of 100 patients with respiratory function tests were included in this study. The median number of days after the onset of symptoms was 104 (IQR 89.25, 126.75). COVID-19 was severe in 47% (47/100) of patients. CT was normal in 48% (48/100) of patients. Lung function was normal (FEV1 ≥80%, FVC ≥80%, FEV1/FVC ≥0.7, and diffusing capacity for carbon monoxide [DLCO] ≥80%) in 92% (92/100), 94% (94/100), 100% (100/100) and 48% (48/100) of patients, respectively. Multivariate analysis showed that a DLCO <80% (OR 5.92; 95%CI 2.28-15.37; p <0.0001) and a lower serum LDH level (OR 0.98; 95%CI 0.97-0.99) were associated with the severe disease group of SARS-CoV-2 during hospital stay. Conclusions: A diffusion deficit (DLCO <80%) was still present after hospital discharge and was associated with the most severe SARS-CoV-2 cases

Role of mitochondrial raft-like microdomains in the regulation of cell apoptosis

Lipid rafts are envisaged as lateral assemblies of specific lipids and proteins that dissociate and associate rapidly and form functional clusters in cell membranes. These structural platforms are not confined to the plasma membrane; indeed lipid microdomains are similarly formed at subcellular organelles, which include endoplasmic reticulum, Golgi and mitochondria, named raft-like microdomains. In addition, some components of raft-like microdomains are present within ER-mitochondria associated membranes. This review is focused on the role of mitochondrial raft-like microdomains in the regulation of cell apoptosis, since these microdomains may represent preferential sites where key reactions take place, regulating mitochondria hyperpolarization, fission-associated changes, megapore formation and release of apoptogenic factors. These structural platforms appear to modulate cytoplasmic pathways switching cell fate towards cell survival or death. Main insights on this issue derive from some pathological conditions in which alterations of microdomains structure or function can lead to severe alterations of cell activity and life span. In the light of the role played by raft-like microdomains to integrate apoptotic signals and in regulating mitochondrial dynamics, it is conceivable that these membrane structures may play a role in the mitochondrial alterations observed in some of the most common human neurodegenerative diseases, such as Amyotrophic lateral sclerosis, Huntington's chorea and prion-related diseases. These findings introduce an additional task for identifying new molecular target(s) of pharmacological agents in these pathologies

Charge separation relative to the reaction plane in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}= 2.76 TeV

Measurements of charge dependent azimuthal correlations with the ALICE detector at the LHC are reported for Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV. Two- and three-particle charge-dependent azimuthal correlations in the pseudo-rapidity range $|\eta| < 0.8$ are presented as a function of the collision centrality, particle separation in pseudo-rapidity, and transverse momentum. A clear signal compatible with a charge-dependent separation relative to the reaction plane is observed, which shows little or no collision energy dependence when compared to measurements at RHIC energies. This provides a new insight for understanding the nature of the charge dependent azimuthal correlations observed at RHIC and LHC energies.Comment: 12 pages, 3 captioned figures, authors from page 2 to 6, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/286

A note on comonotonicity and positivity of the control components of decoupled quadratic FBSDE

In this small note we are concerned with the solution of Forward-Backward Stochastic Differential Equations (FBSDE) with drivers that grow quadratically in the control component (quadratic growth FBSDE or qgFBSDE). The main theorem is a comparison result that allows comparing componentwise the signs of the control processes of two different qgFBSDE. As a byproduct one obtains conditions that allow establishing the positivity of the control process.Comment: accepted for publicatio