Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)

Evidence-based approach to thrombophilia testing

Thrombophilia can be identified in about half of all patients presenting with VTE. Testing has increased tremendously for various indications, but whether the results of such tests help in the clinical management of patients has not been settled. I use evidence from observational studies to conclude that testing for hereditary thrombophilia generally does not alter the clinical management of patients with VTE, with occasional exceptions for women at fertile age. Because testing for thrombophilia only serves limited purpose this should not be performed on a routine basis

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewriting systems containing such rules is proved by treating them as equational term rewriting systems and considering E-critical pairs and/or termination modulo E. In contrast, our method is based solely on usual critical pairs and it also (partially) works even if the system is not terminating modulo E. We first present confluence criteria for term rewriting systems whose rewrite rules can be partitioned into a terminating part and a possibly non-terminating part. We then give a reduction-preserving completion procedure so that the applicability of the criteria is enhanced. In contrast to the well-known Knuth-Bendix completion procedure which preserves the equivalence relation of the system, our completion procedure preserves the reduction relation of the system, by which confluence of the original system is inferred from that of the completed system

Bacterial flagellar motors and osmoelectric molecular rotation by an axially transmembrane well and turnstile mechanism

AbstractBacterial ion-driven flagellar motors are the smallest known rotatory mechanical devices, natural or artificial, their overall diameter being only about 25 nm or one millionth of an inch. They are unique in the fields of biology and engineering. This paper develops a possible osmoelectric or local electrokinetic mechanism of molecular rotatory motion in bilayer membranes, which may help to explain how bacterial flagellar motors work, and may incidentally encourage new developments in the bioenergetics and biomechanics of enzyme, osmoenzyme and porter action

Maternal and neonatal bleeding complications in relation to peripartum management in hemophilia carriers:A systematic review

Currently, there is no consensus on the optimal management to prevent postpartum hemorrhage (PPH) in hemophilia carriers. We aimed to evaluate peripartum management strategies in relation to maternal and neonatal bleeding outcomes by performing an extensive database search up to August 2020. Seventeen case-reports/series and 11 cohort studies were identified of overall 'poor' quality describing 502 deliveries. The PPH incidence in the individual patient data was 63%; 44% for those women receiving prophylaxis to correct coagulation and 77% for those without (OR 0.23, CI 0.09-0.58) and in cohort data 20.3% (26.8% (11/41) vs. 19.4% (55/284) (OR: 1.53, 95% CI: 0.72-3.24), respectively. Peripartum management strategies mostly consisted of clotting factor concentrates, rarely of desmopressin or plasma. Tranexamic acid appears promising in preventing secondary PPH, but was not used consistently. Neonatal bleeding was described in 6 affected male neonates, mostly after instrumental delivery or emergency CS, but insufficient information was provided to reliably investigate neonatal outcome in relation to management. The high PPH risk seems apparent, at most mildly attenuated by prophylactic treatment. Prospective cohort studies are needed to determine the optimal perinatal management in hemophilia.Thrombosis and Hemostasi

DESORPTION BEHAVIOUR OF POLYCYCLIC AROMATIC HYDROCARBONS IN HARBOUR SLUDGE FROM THE PORT OF ROTTERDAM, THE NETHERLANDS

Abstract. Desorption of eight polycyclic aromatic hydrocarbons (PAH) from two harbour sludges from the Port of Rotterdam, the Netherlands, was studied by column elution experiments. When water moves in a sludge layer desorbing contaminants like PAH can be dispersed in the environment. Separation of liquid and solid phase in batches of sludge, stored for more than three years, by ultra-centrifugation at 4 • C yielded equilibrium partition coefficients. Temperature effects could not account for the observed differences with reported literature values. The differences are attributed to the contact time of PAH in the sediment. Laboratory data reported in the literature were often obtained after short contact times and therefore may not represent equilibrium partitioning. Our values represent contact times in excess of three years and are therefore more representative for the field conditions. Partition coefficients obtained from column elution experiments were slightly above those obtained from the batch experiments. During column elution of the sludge from the Beneden Merwede sorption equilibrium was absent for the lighter compounds. This is attributed to the presence of a large portion of immobile water in the columns. Elution in the Beerkanaal columns occurred at near sorption equilibrium although pore water velocities were higher. Assuming that desorption is diffusion controlled, observed desorption in both materials could be explained. The non-equilibrium desorption in the Beneden Merwede sludge for phenanthrene, and to a lesser extent for anthracene and fluoranthene, could be described by a diffusion limited model assuming spherical particles

Homeomorphic Embedding for Online Termination of Symbolic Methods

Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of techniques for program analysis, specialisation, transformation, and verification. In this paper we survey and discuss this use of homeomorphic embedding and clarify the advantages of such an approach over one using well-founded orders. We also discuss various extensions of the homeomorphic embedding relation. We conclude with a study of homeomorphic embedding in the context of metaprogramming, presenting some new (positive and negative) results and open problems

Stage-Specific Inhibition of MHC Class I Presentation by the Epstein-Barr Virus BNLF2a Protein during Virus Lytic Cycle

gamma-herpesvirus Epstein-Barr virus (EBV) persists for life in infected individuals despite the presence of a strong immune response. During the lytic cycle of EBV many viral proteins are expressed, potentially allowing virally infected cells to be recognized and eliminated by CD8+ T cells. We have recently identified an immune evasion protein encoded by EBV, BNLF2a, which is expressed in early phase lytic replication and inhibits peptide- and ATP-binding functions of the transporter associated with antigen processing. Ectopic expression of BNLF2a causes decreased surface MHC class I expression and inhibits the presentation of indicator antigens to CD8+ T cells. Here we sought to examine the influence of BNLF2a when expressed naturally during EBV lytic replication. We generated a BNLF2a-deleted recombinant EBV (ΔBNLF2a) and compared the ability of ΔBNLF2a and wild-type EBV-transformed B cell lines to be recognized by CD8+ T cell clones specific for EBV-encoded immediate early, early and late lytic antigens. Epitopes derived from immediate early and early expressed proteins were better recognized when presented by ΔBNLF2a transformed cells compared to wild-type virus transformants. However, recognition of late antigens by CD8+ T cells remained equally poor when presented by both wild-type and ΔBNLF2a cell targets. Analysis of BNLF2a and target protein expression kinetics showed that although BNLF2a is expressed during early phase replication, it is expressed at a time when there is an upregulation of immediate early proteins and initiation of early protein synthesis. Interestingly, BNLF2a protein expression was found to be lost by late lytic cycle yet ΔBNLF2a-transformed cells in late stage replication downregulated surface MHC class I to a similar extent as wild-type EBV-transformed cells. These data show that BNLF2a-mediated expression is stage-specific, affecting presentation of immediate early and early proteins, and that other evasion mechanisms operate later in the lytic cycle

Profiling Microglia From Alzheimer's Disease Donors and Non-demented Elderly in Acute Human Postmortem Cortical Tissue

Microglia are the tissue-resident macrophages of the central nervous system (CNS). Recent studies based on bulk and single-cell RNA sequencing in mice indicate high relevance of microglia with respect to risk genes and neuro-inflammation in Alzheimer's disease (AD). Here, we investigated microglia transcriptomes at bulk and single-cell levels in non-demented elderly and AD donors using acute human postmortem cortical brain samples. We identified seven human microglial subpopulations with heterogeneity in gene expression. Notably, gene expression profiles and subcluster composition of microglia did not differ between AD donors and non-demented elderly in bulk RNA sequencing nor in single-cell sequencing

Genetic risk profiles for depression and anxiety in adult and elderly cohorts

The first generation of genome-wide association studies (GWA studies) for psychiatric disorders has led to new insights regarding the genetic architecture of these disorders. We now start to realize that a larger number of genes, each with a small contribution, are likely to explain the heritability of psychiatric diseases. The contribution of a large number of genes to complex traits can be analyzed with genome-wide profiling. In a discovery sample, a genetic risk profile for depression was defined based on a GWA study of 1738 adult cases and 1802 controls. The genetic risk scores were tested in two population-based samples of elderly participants. The genetic risk profiles were evaluated for depression and anxiety in the Rotterdam Study cohort and the Erasmus Rucphen Family (ERF) study. The genetic risk scores were significantly associated with different measures of depression and explained up to ∼0.7% of the variance in depression in Rotterdam Study and up to ∼1% in ERF study. The genetic score for depression was also significantly associated with anxiety explaining up to 2.1% in Rotterdam study. These findings suggest the presence of many genetic loci of small effect that influence both depression and anxiety. Remarkably, the predictive value of these profiles was as large in the sample of elderly participants as in the middle-aged samples