Asymmetric Combination of Logics is Functorial: A Survey

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations

Symbolic powers of monomial ideals and Cohen-Macaulay vertex-weighted digraphs

In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equality between its ordinary and symbolic powers. We give an effective characterization of the Cohen--Macaulay vertex-weighted oriented forests. For edge ideals of transitive weighted oriented graphs we show that Alexander duality holds. It is shown that edge ideals of weighted acyclic tournaments are Cohen--Macaulay and satisfy Alexander dualityComment: Special volume dedicated to Professor Antonio Campillo, Springer, to appea

Self‐medication and pain catastrophizing in patients with myofascial pain : are they related?

Evidence shows that acute symptoms of temporomandibular dysfunction (TMD) would eventually lead to chronicity and self‐medication would play a significant interfering role on such dynamics (Dias, Bastos, Alves, & Leite, 2019; Pastore, Goulart, Pastore, Prati, & de Moraes, 2018). Furthermore, some authors concluded that both propensity to catastrophize and depression contribute to the progression of chronic temporomandibular muscle and joint disorders (Velly et al., 2011). Hence, the aim of this study was to assess the relationship between the habit of self‐medicating and the propensity to catastrophize pain in a clinical population with myofascial pain (MP).© 2019 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd. All rights reservedinfo:eu-repo/semantics/publishedVersio

Postembryonic establishment of megabase-scale gene silencing in nucleolar dominance

Nucleolar dominance is an epigenetic phenomenon in plant and animal genetic hybrids that describes the expression of 45S ribosomal RNA genes (rRNA genes) inherited from only one progenitor due to the silencing of the other progenitor’s rRNA genes. rRNA genes are tandemly arrayed at nucleolus organizer regions (NORs) that span millions of basepairs, thus gene silencing in nucleolar dominance occurs on a scale second only to X-chromosome inactivation in female mammals. In Arabidopsis suecica, the allotetraploid hybrid of A. thaliana and A. arenosa, theA. thaliana –derived rRNA genes are subjected to nucleolar dominance and are silenced via repressive chromatin modifications. However, the developmental stage at which nucleolar dominance is established in A. suecica is currently unknown. We show that nucleolar dominance is not apparent in seedling cotyledons formed during embryogenesis but becomes progressively established during early postembryonic development in tissues derived from both the shoot and root apical meristems. The progressive silencing of A. thaliana rRNA genes correlates with the transition of A. thaliana NORs from a decondensed euchromatic state associated with histone H3 that is trimethylated on lysine 4 (H3K4me3) to a highly condensed heterochromatic state in which the NORs are associated with H3K9me2 and 5-methylcytosine-enriched chromocenters. In RNAi-lines in which the histone deacetylases HDA6 and HDT1 are knocked down, the developmentally regulated condensation and inactivation of A. thaliana NORs is disrupted. Collectively, these data demonstrate that HDA6 and HDT1 function in the postembryonic establishment of nucleolar dominance, a process which recurs in each generatio

Locus-Specific Ribosomal RNA Gene Silencing in Nucleolar Dominance

The silencing of one parental set of rRNA genes in a genetic hybrid is an epigenetic phenomenon known as nucleolar dominance. We showed previously that silencing is restricted to the nucleolus organizer regions (NORs), the loci where rRNA genes are tandemly arrayed, and does not spread to or from neighboring protein-coding genes. One hypothesis is that nucleolar dominance is the net result of hundreds of silencing events acting one rRNA gene at a time. A prediction of this hypothesis is that rRNA gene silencing should occur independent of chromosomal location. An alternative hypothesis is that the regulatory unit in nucleolar dominance is the NOR, rather than each individual rRNA gene, in which case NOR localization may be essential for rRNA gene silencing. To test these alternative hypotheses, we examined the fates of rRNA transgenes integrated at ectopic locations. The transgenes were accurately transcribed in all independent transgenic Arabidopsis thaliana lines tested, indicating that NOR localization is not required for rRNA gene expression. Upon crossing the transgenic A. thaliana lines as ovule parents with A. lyrata to form F1 hybrids, a new system for the study of nucleolar dominance, the endogenous rRNA genes located within the A. thaliana NORs are silenced. However, rRNA transgenes escaped silencing in multiple independent hybrids. Collectively, our data suggest that rRNA gene activation can occur in a gene-autonomous fashion, independent of chromosomal location, whereas rRNA gene silencing in nucleolar dominance is locus-dependent

Long Distance Dispersal and Connectivity in Amphi-Atlantic Corals at Regional and Basin Scales

Among Atlantic scleractinian corals, species diversity is highest in the Caribbean, but low diversity and high endemism are observed in various peripheral populations in central and eastern Atlantic islands and along the coasts of Brazil and West Africa. The degree of connectivity between these distantly separated populations is of interest because it provides insight into processes at both evolutionary and ecological time scales, such as speciation, recruitment dynamics and the persistence of coral populations. To assess connectivity in broadly distributed coral species of the Atlantic, DNA sequence data from two nuclear markers were obtained for six coral species spanning their distributional ranges. At basin-wide scales, significant differentiation was generally observed among populations in the Caribbean, Brazil and West Africa. Concordance of patterns in connectivity among co-distributed taxa indicates that extrinsic barriers, such as the Amazon freshwater plume or long stretches of open ocean, restrict dispersal of coral larvae from region to region. Within regions, dispersal ability appears to be influenced by aspects of reproduction and life history. Two broadcasting species, Siderastrea siderea and Montastraea cavernosa, were able to maintain gene flow among populations separated by as much as 1,200 km along the coast of Brazil. In contrast, brooding species, such as Favia gravida and Siderastrea radians, had more restricted gene flow along the Brazilian coast

Consequences Of On-Track Competition In Railways By Use Of Simulations

Institute of Transport and Logistics Studies. Faculty of Economics and Business. The University of Sydne

Online dispute resolution: an artificial intelligence perspective

Litigation in court is still the main dispute resolution mode. However, given the amount and characteristics of the new disputes, mostly arising out of electronic contracting, courts are becoming slower and outdated. Online Dispute Resolution (ODR) recently emerged as a set of tools and techniques, supported by technology, aimed at facilitating conflict resolution. In this paper we present a critical evaluation on the use of Artificial Intelligence (AI) based techniques in ODR. In order to fulfill this goal, we analyze a set of commercial providers (in this case twenty four) and some research projects (in this circumstance six). Supported by the results so far achieved, a new approach to deal with the problem of ODR is proposed, in which we take on some of the problems identified in the current state of the art in linking ODR and AI.The work described in this paper is included in TIARAC - Telematics and Artificial Intelligence in Alternative Conflict Resolution Project (PTDC/JUR/71354/2006), which is a research project supported by FCT (Science & Technology Foundation), Portugal. The work of Davide Carneiro is also supported by a doctoral grant by FCT (SFRH/BD/64890/2009).Acknowledgments. The work described in this paper is included in TIARAC - Telematics and Artificial Intelligence in Alternative Conflict Resolution Project (PTDC/JUR/71354/2006), which is a research project supported by FCT (Science & Technology Foundation), Portugal. The work of Davide Carneiro is also supported by a doctoral grant by FCT (SFRH/BD/64890/2009)