695 research outputs found

    Mozambique's Future: Modeling Population and Sustainable Development Challenges

    Get PDF
    What are the prospects for sustainable development over the next 20 years in Mozambique? Although it looks as if much of the development prospects are determined by such inherently unpredictable events as war, peace, and weather calamities, there are also many changes and patterns which have a long-term stability and which change only slowly over time. For example, socio-demographic changes, such as labor force skills, and population health have a long momentum. These are very important indicators for the economic development potential of a country. Also, although it is impossible to predict a particular year of heavy rains or droughts, there are long time series of weather from which we can calculate the country's vulnerability to single- or multiple-year weather disasters. To focus our efforts in answering this bold question, we concentrate on four issues: (1) Can poverty be erased in the next 20 years? (2) How will school enrollment lead to higher skills in the labor force by 2020? (3) What role will water play in development, in particular, water provision by rain to rural areas, and infrastructure to cities? (4) And, most importantly, what will be the impacts of the HIV/AIDS pandemic in the next decades

    Beyond representing orthology relations by trees

    Get PDF
    Reconstructing the evolutionary past of a family of genes is an important aspect of many genomic studies. To help with this, simple relations on a set of sequences called orthology relations may be employed. In addition to being interesting from a practical point of view they are also attractive from a theoretical perspective in that e.\,g.\,a characterization is known for when such a relation is representable by a certain type of phylogenetic tree. For an orthology relation inferred from real biological data it is however generally too much to hope for that it satisfies that characterization. Rather than trying to correct the data in some way or another which has its own drawbacks, as an alternative, we propose to represent an orthology relation δ\delta in terms of a structure more general than a phylogenetic tree called a phylogenetic network. To compute such a network in the form of a level-1 representation for δ\delta, we formalize an orthology relation in terms of the novel concept of a symbolic 3- dissimilarity which is motivated by the biological concept of a ``cluster of orthologous groups'', or COG for short. For such maps which assign symbols rather that real values to elements, we introduce the novel {\sc Network-Popping} algorithm which has several attractive properties. In addition, we characterize an orthology relation δ\delta on some set XX that has a level-1 representation in terms of eight natural properties for δ\delta as well as in terms of level-1 representations of orthology relations on certain subsets of XX

    Solving NP-hard Problems on \textsc{GaTEx} Graphs: Linear-Time Algorithms for Perfect Orderings, Cliques, Colorings, and Independent Sets

    Full text link
    The class of Ga\mathsf{Ga}lled-T\mathsf{T}ree Ex\mathsf{Ex}plainable (GaTEx\mathsf{GaTEx}) graphs has recently been discovered as a natural generalization of cographs. Cographs are precisely those graphs that can be uniquely represented by a rooted tree where the leaves correspond to the vertices of the graph. As a generalization, GaTEx\mathsf{GaTEx} graphs are precisely those that can be uniquely represented by a particular rooted acyclic network, called a galled-tree. This paper explores the use of galled-trees to solve combinatorial problems on GaTEx\mathsf{GaTEx} graphs that are, in general, NP-hard. We demonstrate that finding a maximum clique, an optimal vertex coloring, a perfect order, as well as a maximum independent set in GaTEx\mathsf{GaTEx} graphs can be efficiently done in linear time. The key idea behind the linear-time algorithms is to utilize the galled-trees that explain the GaTEx\mathsf{GaTEx} graphs as a guide for computing the respective cliques, colorings, perfect orders, or independent sets

    Resolving Prime Modules: The Structure of Pseudo-cographs and Galled-Tree Explainable Graphs

    Full text link
    The modular decomposition of a graph GG is a natural construction to capture key features of GG in terms of a labeled tree (T,t)(T,t) whose vertices are labeled as "series" (11), "parallel" (00) or "prime". However, full information of GG is provided by its modular decomposition tree (T,t)(T,t) only, if GG is a cograph, i.e., GG does not contain prime modules. In this case, (T,t)(T,t) explains GG, i.e., {x,y}E(G)\{x,y\}\in E(G) if and only if the lowest common ancestor lcaT(x,y)\mathrm{lca}_T(x,y) of xx and yy has label "11". Pseudo-cographs, or, more general, GaTEx graphs GG are graphs that can be explained by labeled galled-trees, i.e., labeled networks (N,t)(N,t) that are obtained from the modular decomposition tree (T,t)(T,t) of GG by replacing the prime vertices in TT by simple labeled cycles. GaTEx graphs can be recognized and labeled galled-trees that explain these graphs can be constructed in linear time. In this contribution, we provide a novel characterization of GaTEx graphs in terms of a set FGT\mathfrak{F}_{\mathrm{GT}} of 25 forbidden induced subgraphs. This characterization, in turn, allows us to show that GaTEx graphs are closely related to many other well-known graph classes such as P4P_4-sparse and P4P_4-reducible graphs, weakly-chordal graphs, perfect graphs with perfect order, comparability and permutation graphs, murky graphs as well as interval graphs, Meyniel graphs or very strongly-perfect and brittle graphs. Moreover, we show that every GaTEx graph as twin-width at most 1.Comment: 18 pages, 3 figure

    Three-way symbolic tree-maps and ultrametrics

    Get PDF
    Three-way dissimilarities are a generalization of (two-way) dissimilarities which can be used to indicate the lack of homogeneity or resemblance between any three objects. Such maps have applications in cluster analysis and have been used in areas such as psychology and phylogenetics, where three-way data tables can arise. Special examples of such dissimilarities are three-way tree-metrics and ultrametrics, which arise from leaf-labelled trees with edges labelled by positive real numbers. Here we consider three-way maps which arise from leaf-labelled trees where instead the interior vertices are labelled by an arbitrary set of values. For unrooted trees, we call such maps three-way symbolic tree-maps; for rooted trees, we call them three-way symbolic ultrametrics since they can be considered as a generalization of the (two-way) symbolic ultrametrics of Bocker and Dress. We show that, as with two- and three-way tree-metrics and ultrametrics, three-way symbolic tree-maps and ultrametrics can be characterized via certain k-point conditions. In the unrooted case, our characterization is mathematically equivalent to one presented by Gurvich for a certain class of edge-labelled hypergraphs. We also show that it can be decided whether or not an arbitrary three-way symbolic map is a tree-map or a symbolic ultrametric using a triplet-based approach that relies on the so-called BUILD algorithm for deciding when a set of 3-leaved trees or triplets can be displayed by a single tree. We envisage that our results will be useful in developing new approaches and algorithms for understanding 3-way data, especially within the area of phylogenetics

    Potentiation of thrombus instability: a contributory mechanism to the effectiveness of antithrombotic medications

    Get PDF
    © The Author(s) 2018The stability of an arterial thrombus, determined by its structure and ability to resist endogenous fibrinolysis, is a major determinant of the extent of infarction that results from coronary or cerebrovascular thrombosis. There is ample evidence from both laboratory and clinical studies to suggest that in addition to inhibiting platelet aggregation, antithrombotic medications have shear-dependent effects, potentiating thrombus fragility and/or enhancing endogenous fibrinolysis. Such shear-dependent effects, potentiating the fragility of the growing thrombus and/or enhancing endogenous thrombolytic activity, likely contribute to the clinical effectiveness of such medications. It is not clear how much these effects relate to the measured inhibition of platelet aggregation in response to specific agonists. These effects are observable only with techniques that subject the growing thrombus to arterial flow and shear conditions. The effects of antithrombotic medications on thrombus stability and ways of assessing this are reviewed herein, and it is proposed that thrombus stability could become a new target for pharmacological intervention.Peer reviewedFinal Published versio

    Testing foundations of quantum mechanics with photons

    Full text link
    The foundational ideas of quantum mechanics continue to give rise to counterintuitive theories and physical effects that are in conflict with a classical description of Nature. Experiments with light at the single photon level have historically been at the forefront of tests of fundamental quantum theory and new developments in photonics engineering continue to enable new experiments. Here we review recent photonic experiments to test two foundational themes in quantum mechanics: wave-particle duality, central to recent complementarity and delayed-choice experiments; and Bell nonlocality where recent theoretical and technological advances have allowed all controversial loopholes to be separately addressed in different photonics experiments.Comment: 10 pages, 5 figures, published as a Nature Physics Insight review articl

    Network Representation and Modular Decomposition of Combinatorial Structures: A Galled-Tree Perspective

    Full text link
    In phylogenetics, reconstructing rooted trees from distances between taxa is a common task. B\"ocker and Dress generalized this concept by introducing symbolic dated maps δ:X×XΥ\delta:X \times X \to \Upsilon, where distances are replaced by symbols, and showed that there is a one-to-one correspondence between symbolic ultrametrics and labeled rooted phylogenetic trees. Many combinatorial structures fall under the umbrella of symbolic dated maps, such as 2-dissimilarities, symmetric labeled 2-structures, or edge-colored complete graphs, and are here referred to as strudigrams. Strudigrams have a unique decomposition into non-overlapping modules, which can be represented by a modular decomposition tree (MDT). In the absence of prime modules, strudigrams are equivalent to symbolic ultrametrics, and the MDT fully captures the relationships δ(x,y)\delta(x,y) between pairs of vertices x,yx,y in XX through the label of their least common ancestor in the MDT. However, in the presence of prime vertices, this information is generally hidden. To provide this missing structural information, we aim to locally replace the prime vertices in the MDT to obtain networks that capture full information about the strudigrams. While starting with the general framework of prime-vertex replacement networks, we then focus on a specific type of such networks obtained by replacing prime vertices with so-called galls, resulting in labeled galled-trees. We introduce the concept of galled-tree explainable (GATEX) strudigrams, provide their characterization, and demonstrate that recognizing these structures and reconstructing the labeled networks that explain them can be achieved in polynomial time
    corecore