Covers of acts over monoids II

In 1981 Edgar Enochs conjectured that every module has a flat cover and finally proved this in 2001. Since then a great deal of effort has been spent on studying different types of covers, for example injective and torsion free covers. In 2008, Mahmoudi and Renshaw initiated the study of flat covers of acts over monoids but their definition of cover was slightly different from that of Enochs. Recently, Bailey and Renshaw produced some preliminary results on the `other' type of cover and it is this work that is extended in this paper. We consider free, divisible, torsion free and injective covers and demonstrate that in some cases the results are quite different from the module case

A 2k2k-Vertex Kernel for Maximum Internal Spanning Tree

We consider the parameterized version of the maximum internal spanning tree problem, which, given an $n$-vertex graph and a parameter $k$, asks for a spanning tree with at least $k$ internal vertices. Fomin et al. [J. Comput. System Sci., 79:1-6] crafted a very ingenious reduction rule, and showed that a simple application of this rule is sufficient to yield a $3k$-vertex kernel. Here we propose a novel way to use the same reduction rule, resulting in an improved $2k$-vertex kernel. Our algorithm applies first a greedy procedure consisting of a sequence of local exchange operations, which ends with a local-optimal spanning tree, and then uses this special tree to find a reducible structure. As a corollary of our kernel, we obtain a deterministic algorithm for the problem running in time $4^k \cdot n^{O(1)}$

Normally-off GaN transistors for power applications

Normally-off high voltage GaN-HFETs for switching applications are presented. Normally-off operation with threshold voltages of 1 V and more and with 5 V gate swing has been obtained by using p-type GaN as gate. Different GaN-based buffer types using doping and backside potential barriers have been used to obtain blocking strengths up to 1000 V. The increase of the dynamic on-state resistance is analyzed for the different buffer types. The best trade-off between low dispersion and high blocking strength was obtained for a modified carbon-doped GaN-buffer that showed a 2.6x increase of the dynamic on-state resistance for 500 V switching as compared to switching from 20 V off-state drain bias. Device operation up to 200 °C ambient temperature without any threshold voltage shift is demonstrated

The placental transport of [³H]vitamin K₁ in rats

In this paper we describe the placental transport of [3H]vitamin K1 in pregnant rats during the first 24 h after the oral administration of the vitamin. Vitamin K1 in the fetal livers ranged from 0.13% (3 h) to 2% (24 h) of the values found in the corresponding maternal livers. In spite of the low placental transfer of vitamin K, we found no accumulation of coagulation factor precursors in the fetal rat liver microsomes as could be expected in vitamin K deficiency. Moreover, we could not demonstrate any difference between adult and fetal rat liver microsomes with regard to the sensitivity for warfarin. From these results we conclude that a substantial placental barrier exists for the transport of pharmacological amounts of vitamin K1 but that under physiological conditions sufficient vitamin K1 appears to be present in the fetal liver to ensure a full carboxylation reaction. The vitamin K-dependent carboxylase activity rate of adult and fetal rat liver microsomes was comparable, indicating that the newborn rat has an adequate carboxylating system

On a Linear Program for Minimum-Weight Triangulation

Minimum-weight triangulation (MWT) is NP-hard. It has a polynomial-time constant-factor approximation algorithm, and a variety of effective polynomial- time heuristics that, for many instances, can find the exact MWT. Linear programs (LPs) for MWT are well-studied, but previously no connection was known between any LP and any approximation algorithm or heuristic for MWT. Here we show the first such connections: for an LP formulation due to Dantzig et al. (1985): (i) the integrality gap is bounded by a constant; (ii) given any instance, if the aforementioned heuristics find the MWT, then so does the LP.Comment: To appear in SICOMP. Extended abstract appeared in SODA 201

Bioassays to Monitor Taspase1 Function for the Identification of Pharmacogenetic Inhibitors

Background: Threonine Aspartase 1 (Taspase1) mediates cleavage of the mixed lineage leukemia (MLL) protein and leukemia provoking MLL-fusions. In contrast to other proteases, the understanding of Taspase1's (patho)biological relevance and function is limited, since neither small molecule inhibitors nor cell based functional assays for Taspase1 are currently available. Methodology/Findings: Efficient cell-based assays to probe Taspase1 function in vivo are presented here. These are composed of glutathione S-transferase, autofluorescent protein variants, Taspase1 cleavage sites and rational combinations of nuclear import and export signals. The biosensors localize predominantly to the cytoplasm, whereas expression of biologically active Taspase1 but not of inactive Taspase1 mutants or of the protease Caspase3 triggers their proteolytic cleavage and nuclear accumulation. Compared to in vitro assays using recombinant components the in vivo assay was highly efficient. Employing an optimized nuclear translocation algorithm, the triple-color assay could be adapted to a high-throughput microscopy platform (Z'factor = 0.63). Automated high-content data analysis was used to screen a focused compound library, selected by an in silico pharmacophor screening approach, as well as a collection of fungal extracts. Screening identified two compounds, N-[2-[(4-amino-6-oxo-3H-pyrimidin-2-yl)sulfanyl]ethyl]benzenesulfonamideand 2-benzyltriazole-4,5-dicarboxylic acid, which partially inhibited Taspase1 cleavage in living cells. Additionally, the assay was exploited to probe endogenous Taspase1 in solid tumor cell models and to identify an improved consensus sequence for efficient Taspase1 cleavage. This allowed the in silico identification of novel putative Taspase1 targets. Those include the FERM Domain-Containing Protein 4B, the Tyrosine-Protein Phosphatase Zeta, and DNA Polymerase Zeta. Cleavage site recognition and proteolytic processing of these substrates were verified in the context of the biosensor. Conclusions: The assay not only allows to genetically probe Taspase1 structure function in vivo, but is also applicable for high-content screening to identify Taspase1 inhibitors. Such tools will provide novel insights into Taspase1's function and its potential therapeutic relevance

Multilingual assessment of early child development: Analyses from repeated observations of children in Kenya.

In many low- and middle-income countries, young children learn a mother tongue or indigenous language at home before entering the formal education system where they will need to understand and speak a countrys official language(s). Thus, assessments of children before school age, conducted in a nations official language, may not fully reflect a childs development, underscoring the importance of test translation and adaptation. To examine differences in vocabulary development by language of assessment, we adapted and validated instruments to measure developmental outcomes, including expressive and receptive vocabulary. We assessed 505 2-to-6-year-old children in rural communities in Western Kenya with comparable vocabulary tests in three languages: Luo (the local language or mother tongue), Swahili, and English (official languages) at two time points, 5-6 weeks apart, between September 2015 and October 2016. Younger children responded to the expressive vocabulary measure exclusively in Luo (44%-59% of 2-to-4-year-olds) much more frequently than did older children (20%-21% of 5-to-6-year-olds). Baseline receptive vocabulary scores in Luo (β = 0.26, SE = 0.05, p < 0.001) and Swahili (β = 0.10, SE = 0.05, p = 0.032) were strongly associated with receptive vocabulary in English at follow-up, even after controlling for English vocabulary at baseline. Parental Luo literacy at baseline (β = 0.11, SE = 0.05, p = 0.045) was associated with child English vocabulary at follow-up, while parental English literacy at baseline was not. Our findings suggest that multilingual testing is essential to understanding the developmental environment and cognitive growth of multilingual children