427 research outputs found

    On the Complexity of Searching in Trees: Average-case Minimization

    Full text link
    We focus on the average-case analysis: A function w : V -> Z+ is given which defines the likelihood for a node to be the one marked, and we want the strategy that minimizes the expected number of queries. Prior to this paper, very little was known about this natural question and the complexity of the problem had remained so far an open question. We close this question and prove that the above tree search problem is NP-complete even for the class of trees with diameter at most 4. This results in a complete characterization of the complexity of the problem with respect to the diameter size. In fact, for diameter not larger than 3 the problem can be shown to be polynomially solvable using a dynamic programming approach. In addition we prove that the problem is NP-complete even for the class of trees of maximum degree at most 16. To the best of our knowledge, the only known result in this direction is that the tree search problem is solvable in O(|V| log|V|) time for trees with degree at most 2 (paths). We match the above complexity results with a tight algorithmic analysis. We first show that a natural greedy algorithm attains a 2-approximation. Furthermore, for the bounded degree instances, we show that any optimal strategy (i.e., one that minimizes the expected number of queries) performs at most O(\Delta(T) (log |V| + log w(T))) queries in the worst case, where w(T) is the sum of the likelihoods of the nodes of T and \Delta(T) is the maximum degree of T. We combine this result with a non-trivial exponential time algorithm to provide an FPTAS for trees with bounded degree

    Memorandum on Mississippi House Bill 1523

    Get PDF
    As legal scholars with expertise in matters of religious freedom, civil rights, and the interaction between those fields, we offer our opinion on the scope and meaning of Mississippi House Bill 1523, which was signed into law today by Governor Phil Bryant. Specifically, we wish to call attention to language in the law that we believe conflicts with the Establishment Clause of the U.S. Constitution. We share the view of Justice Kennedy when he expressed that “a bare . . . desire to harm a politically unpopular group cannot constitute a legitimate governmental interest,” and would add that neither can such a desire be justified in the name of religious liberty. HB 1523 presents a conflict with First Amendment religious freedom doctrine by providing for religious exemptions that will meaningfully harm the rights of others, particularly LGBT Mississippians

    Haplotype structure and selection of the MDM2 oncogene in humans

    Get PDF
    The MDM2 protein is an ubiquitin ligase that plays a critical role in regulating the levels and activity of the p53 protein, which is a central tumor suppressor. A SNP in the human MDM2 gene (SNP309 T/G) occurs at frequencies dependent on demographic history and has been shown to have important differential effects on the activity of the MDM2 and p53 proteins and to associate with altered risk for the development of several cancers. In this report, the haplotype structure of the MDM2 gene is determined by using 14 different SNPs across the gene from three different population samples: Caucasians, African Americans, and the Ashkenazi Jewish ethnic group. The results presented in this report indicate that there is a substantially reduced variability of the deleterious SNP309 G allele haplotype in all three populations studied, whereas multiple common T allele haplotypes were found in all three populations. This observation, coupled with the relatively high frequency of the G allele haplotype in both and Caucasian and Ashkenazi Jewish population data sets, suggests that this haplotype could have undergone a recent positive selection sweep. An entropy-based selection test is presented that explicitly takes into account the correlations between different SNPs, and the analysis of MDM2 reveals a significant departure from the standard assumptions of selective neutrality

    Preemption Sealing for Efficient Concurrency Testing

    Full text link

    Conceivable security risks and authentication techniques for smart devices

    Get PDF
    With the rapidly escalating use of smart devices and fraudulent transaction of users’ data from their devices, efficient and reliable techniques for authentication of the smart devices have become an obligatory issue. This paper reviews the security risks for mobile devices and studies several authentication techniques available for smart devices. The results from field studies enable a comparative evaluation of user-preferred authentication mechanisms and their opinions about reliability, biometric authentication and visual authentication techniques

    Superconducting Accelerating Cavity Pressure Sensitivity Analysis and Stiffening

    Get PDF
    The Soreq Applied Research Accelerator Facility (SARAF) design is based on a 40 MeV 5 mA light ions superconducting RF linac. Phase-I of SARAF delivers up to 2 mA CW proton beams in an energy range of 1.5 - 4.0 MeV. The maximum beam power that we have reached is 5.7 kW. Today, the main limiting factor to reach higher ion energy and beam power is related to the HWR sensitivity to the liquid helium coolant pressure fluctuations. The HWR sensitivity to helium pressure is about 60 Hz/mbar. The cavities had been designed, a decade ago, to be soft in order to enable tuning of their novel shape. However, the cavities turned out to be too soft. In this work we found that increasing the rigidity of the cavities in the vicinity of the external drift tubes may reduce the cavity sensitivity by a factor of three. A preliminary design to increase the cavity rigidity is presented

    Disruption in A-to-I Editing Levels Affects C. elegans Development More Than a Complete Lack of Editing

    Get PDF
    A-to-I RNA editing, catalyzed by ADAR proteins, is widespread in eukaryotic transcriptomes. Studies showed that, in C. elegans, ADR-2 can actively deaminate dsRNA, whereas ADR-1 cannot. Therefore, we set out to study the effect of each of the ADAR genes on the RNA editing process. We performed comprehensive phenotypic, transcriptomics, proteomics, and RNA binding screens on worms mutated in a single ADAR gene. We found that ADR-1 mutants exhibit more-severe phenotypes than ADR-2, and some of them are a result of non-editing functions of ADR-1. We also show that ADR-1 significantly binds edited genes and regulates mRNA expression, whereas the effect on protein levels is minor. In addition, ADR-1 primarily promotes editing by ADR-2 at the L4 stage of development. Our results suggest that ADR-1 has a significant role in the RNA editing process and in altering editing levels that affect RNA expression; loss of ADR-1 results in severe phenotypes
    • …
    corecore