Reduction of Interpolants for Logic Synthesis

Abstract—Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig Interpolation produces solutions quickly to challenging problems such as synthesizing functional dependencies and performing bounded model-checking. Unfortunately, the quality of the solutions is often poor. When interpolants are used to synthesize functional dependencies, the resulting structure of the functions may be unnecessarily complex. In most applications to date, interpolants have been generated directly from the proofs of unsatisfiability that are provided by SAT solvers. In this work, we propose efficient methods based on incremental SAT solving for modifying resolution proofs in order to obtain more compact interpolants. This, in turn, reduces the cost of the logic that is generated for functional dependencies. I

Fellows as teachers: a model to enhance pediatric resident education

Pressures on academic faculty to perform beyond their role as educators has stimulated interest in complementary approaches in resident medical education. While fellows are often believed to detract from resident learning and experience, we describe our preliminary investigations utilizing clinical fellows as a positive force in pediatric resident education. Our objectives were to implement a practical approach to engage fellows in resident education, evaluate the impact of a fellow-led education program on pediatric resident and fellow experience, and investigate if growth of a fellowship program detracts from resident procedural experience.This study was conducted in a neonatal intensive care unit (NICU) where fellows designed and implemented an education program consisting of daily didactic teaching sessions before morning clinical rounds. The impact of a fellow-led education program on resident satisfaction with their NICU experience was assessed via anonymous student evaluations. The potential value of the program for participating fellows was also evaluated using an anonymous survey.The online evaluation was completed by 105 residents. Scores were markedly higher after the program was implemented in areas of teaching excellence (4.44 out of 5 versus 4.67, p<0.05) and overall resident learning (3.60 out of 5 versus 4.61, p<0.001). Fellows rated the acquisition of teaching skills and enhanced knowledge of neonatal pathophysiology as the most valuable aspects of their participation in the education program. The anonymous survey revealed that 87.5% of participating residents believed that NICU fellows were very important to their overall training and education.While fellows are often believed to be a detracting factor to residency training, we found that pediatric resident attitudes toward the fellows were generally positive. In our experience, in the specialty of neonatology a fellow-led education program can positively contribute to both resident and fellow learning and satisfaction. Further investigation into the value of utilizing fellows as a positive force in resident education in other medical specialties appears warranted

Isolation and fine mapping of Rps6: An intermediate host resistance gene in barley to wheat stripe rust

A plant may be considered a nonhost of a pathogen if all known genotypes of a plant species are resistant to all known isolates of a pathogen species. However, if a small number of genotypes are susceptible to some known isolates of a pathogen species this plant maybe considered an intermediate host. Barley (Hordeum vulgare) is an intermediate host for Puccinia striiformis f. sp. tritici (Pst), the causal agent of wheat stripe rust. We wanted to understand the genetic architecture underlying resistance to Pst and to determine whether any overlap exists with resistance to the host pathogen, Puccinia striiformis f. sp. hordei (Psh). We mapped Pst resistance to chromosome 7H and show that host and intermediate host resistance is genetically uncoupled. Therefore, we designate this resistance locus Rps6. We used phenotypic and genotypic selection on F2:3 families to isolate Rps6 and fine mapped the locus to a 0.1 cM region. Anchoring of the Rps6 locus to the barley physical map placed the region on two adjacent fingerprinted contigs. Efforts are now underway to sequence the minimal tiling path and to delimit the physical region harbouring Rps6. This will facilitate additional marker development and permit identification of candidate genes in the region

Probing quantum gravity using photons from a flare of the active galactic nucleus Markarian 501 observed by the MAGIC telescope

We analyze the timing of photons observed by the MAGIC telescope during a flare of the active galactic nucleus Mkn 501 for a possible correlation with energy, as suggested by some models of quantum gravity (QG), which predict a vacuum refractive index \simeq 1 + (E/M_{QGn})^n, n = 1,2. Parametrizing the delay between gamma-rays of different energies as \Delta t =\pm\tau_l E or \Delta t =\pm\tau_q E^2, we find \tau_l=(0.030\pm0.012) s/GeV at the 2.5-sigma level, and \tau_q=(3.71\pm2.57)x10^{-6} s/GeV^2, respectively. We use these results to establish lower limits M_{QG1} > 0.21x10^{18} GeV and M_{QG2} > 0.26x10^{11} GeV at the 95% C.L. Monte Carlo studies confirm the MAGIC sensitivity to propagation effects at these levels. Thermal plasma effects in the source are negligible, but we cannot exclude the importance of some other source effect.Comment: 12 pages, 3 figures, Phys. Lett. B, reflects published versio

Bile Acids Specifically Increase Hepatitis C Virus RNA-Replication

<div><h3>Background</h3><p>Hepatitis C virus (HCV) patients with high serum levels of bile acids (BAs) respond poorly to IFN therapy. BAs have been shown to increase RNA-replication of genotype 1 but not genotype 2a replicons. Since BAs modulate lipid metabolism including lipoprotein secretion and as HCV depends on lipids and lipoproteins during RNA-replication, virus production and cell entry, BAs may affect multiple steps of the HCV life cycle. Therefore, we analyzed the influence of BAs on individual steps of virus replication.</p> <h3>Methods</h3><p>We measured replication of subgenomic genotype (GT) 1b and 2a RNAs as well as full-length GT2a genomes in the presence of BAs using quantitative RT-PCR and luciferase assays. Cell entry was determined using HCV pseudoparticles (HCVpp). Virus assembly and release were quantified using a core-specific ELISA. Replicon chimeras were employed to characterize genotype-specific modulation of HCV by BAs. Lunet CD81/GFP-NLS-MAVS cells were used to determine infection of Con1 particles.</p> <h3>Results</h3><p>BAs increased RNA-replication of GT1b replicons up to 10-fold but had no effect on subgenomic GT2a replicons both in Huh-7 and HuH6 cells. They did not increase viral RNA translation, virus assembly and release or cell entry. Lowering replication efficiency of GT2a replicons rendered them susceptible to stimulation by BAs. Moreover, replication of full length GT1b with or without replication enhancing mutations and GT2a genomes were also stimulated by BAs.</p> <h3>Conclusions</h3><p>Bile acids specifically enhance RNA-replication. This is not limited to GT1, but also holds true for GT2a full length genomes and subgenomic replicons with low replication capacity. The increase of HCV replication by BAs may influence the efficacy of antiviral treatment in vivo and may improve replication of primary HCV genomes in cell culture.</p> </div

Functional Comparison of Innate Immune Signaling Pathways in Primates

Humans respond differently than other primates to a large number of infections. Differences in susceptibility to infectious agents between humans and other primates are probably due to inter-species differences in immune response to infection. Consistent with that notion, genes involved in immunity-related processes are strongly enriched among recent targets of positive selection in primates, suggesting that immune responses evolve rapidly, yet providing only indirect evidence for possible inter-species functional differences. To directly compare immune responses among primates, we stimulated primary monocytes from humans, chimpanzees, and rhesus macaques with lipopolysaccharide (LPS) and studied the ensuing time-course regulatory responses. We find that, while the universal Toll-like receptor response is mostly conserved across primates, the regulatory response associated with viral infections is often lineage-specific, probably reflecting rapid host–virus mutual adaptation cycles. Additionally, human-specific immune responses are enriched for genes involved in apoptosis, as well as for genes associated with cancer and with susceptibility to infectious diseases or immune-related disorders. Finally, we find that chimpanzee-specific immune signaling pathways are enriched for HIV–interacting genes. Put together, our observations lend strong support to the notion that lineage-specific immune responses may help explain known inter-species differences in susceptibility to infectious diseases

RNA interference approaches for treatment of HIV-1 infection

HIV/AIDS is a chronic and debilitating disease that cannot be cured with current antiretroviral drugs. While combinatorial antiretroviral therapy (cART) can potently suppress HIV-1 replication and delay the onset of AIDS, viral mutagenesis often leads to viral escape from multiple drugs. In addition to the pharmacological agents that comprise cART drug cocktails, new biological therapeutics are reaching the clinic. These include gene-based therapies that utilize RNA interference (RNAi) to silence the expression of viral or host mRNA targets that are required for HIV-1 infection and/or replication. RNAi allows sequence-specific design to compensate for viral mutants and natural variants, thereby drastically expanding the number of therapeutic targets beyond the capabilities of cART. Recent advances in clinical and preclinical studies have demonstrated the promise of RNAi therapeutics, reinforcing the concept that RNAi-based agents might offer a safe, effective, and more durable approach for the treatment of HIV/AIDS. Nevertheless, there are challenges that must be overcome in order for RNAi therapeutics to reach their clinical potential. These include the refinement of strategies for delivery and to reduce the risk of mutational escape. In this review, we provide an overview of RNAi-based therapies for HIV-1, examine a variety of combinatorial RNAi strategies, and discuss approaches for ex vivo delivery and in vivo delivery

Dysregulation of Gene Expression in a Lysosomal Storage Disease Varies between Brain Regions Implicating Unexpected Mechanisms of Neuropathology

The characteristic neurological feature of many neurogenetic diseases is intellectual disability. Although specific neuropathological features have been described, the mechanisms by which specific gene defects lead to cognitive impairment remain obscure. To gain insight into abnormal functions occurring secondary to a single gene defect, whole transcriptome analysis was used to identify molecular and cellular pathways that are dysregulated in the brain in a mouse model of a lysosomal storage disorder (LSD) (mucopolysaccharidosis [MPS] VII). We assayed multiple anatomical regions separately, in a large cohort of normal and diseased mice, which greatly increased the number of significant changes that could be detected compared to past studies in LSD models. We found that patterns of aberrant gene expression and involvement of multiple molecular and cellular systems varied significantly between brain regions. A number of changes revealed unexpected system and process alterations, such as up-regulation of the immune system with few inflammatory changes (a significant difference from the closely related MPS IIIb model), down-regulation of major oligodendrocyte genes even though white matter changes are not a feature histopathologically, and a plethora of developmental gene changes. The involvement of multiple neural systems indicates that the mechanisms of neuropathology in this type of disease are much broader than previously appreciated. In addition, the variation in gene dysregulation between brain regions indicates that different neuropathologic mechanisms may predominate within different regions of a diseased brain caused by a single gene mutation

A Genome-Wide Study of DNA Methylation Patterns and Gene Expression Levels in Multiple Human and Chimpanzee Tissues

The modification of DNA by methylation is an important epigenetic mechanism that affects the spatial and temporal regulation of gene expression. Methylation patterns have been described in many contexts within and across a range of species. However, the extent to which changes in methylation might underlie inter-species differences in gene regulation, in particular between humans and other primates, has not yet been studied. To this end, we studied DNA methylation patterns in livers, hearts, and kidneys from multiple humans and chimpanzees, using tissue samples for which genome-wide gene expression data were also available. Using the multi-species gene expression and methylation data for 7,723 genes, we were able to study the role of promoter DNA methylation in the evolution of gene regulation across tissues and species. We found that inter-tissue methylation patterns are often conserved between humans and chimpanzees. However, we also found a large number of gene expression differences between species that might be explained, at least in part, by corresponding differences in methylation levels. In particular, we estimate that, in the tissues we studied, inter-species differences in promoter methylation might underlie as much as 12%–18% of differences in gene expression levels between humans and chimpanzees

Think globally, measure locally: The MIREN standardized protocol for monitoring plant species distributions along elevation gradients

Climate change and other global change drivers threaten plant diversity in mountains worldwide. A widely documented response to such environmental modifications is for plant species to change their elevational ranges. Range shifts are often idiosyncratic and difficult to generalize, partly due to variation in sampling methods. There is thus a need for a standardized monitoring strategy that can be applied across mountain regions to assess distribution changes and community turnover of native and non-native plant species over space and time. Here, we present a conceptually intuitive and standardized protocol developed by the Mountain Invasion Research Network (MIREN) to systematically quantify global patterns of native and non-native species distributions along elevation gradients and shifts arising from interactive effects of climate change and human disturbance. Usually repeated every five years, surveys consist of 20 sample sites located at equal elevation increments along three replicate roads per sampling region. At each site, three plots extend from the side of a mountain road into surrounding natural vegetation. The protocol has been successfully used in 18 regions worldwide from 2007 to present. Analyses of one point in time already generated some salient results, and revealed region-specific elevational patterns of native plant species richness, but a globally consistent elevational decline in non-native species richness. Non-native plants were also more abundant directly adjacent to road edges, suggesting that disturbed roadsides serve as a vector for invasions into mountains. From the upcoming analyses of time series, even more exciting results can be expected, especially about range shifts. Implementing the protocol in more mountain regions globally would help to generate a more complete picture of how global change alters species distributions. This would inform conservation policy in mountain ecosystems, where some conservation policies remain poorly implemented