High-level software-pipelining in LLVM

Software-pipelining is an important technique for increasing the instruction level parallelism of loops during compilation. Currently, the LLVM compiler infrastructure does not offer this optimization although some target specific implementations do exist. We have implemented a high-level method for software-pipelining within the LLVM framework. By implementing this within LLVM's optimization layer we have taken the first steps towards a target independent software-pipelining method

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

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

Stereotyping starlings are more 'pessimistic'.

Negative affect in humans and animals is known to cause individuals to interpret ambiguous stimuli pessimistically, a phenomenon termed 'cognitive bias'. Here, we used captive European starlings (Sturnus vulgaris) to test the hypothesis that a reduction in environmental conditions, from enriched to non-enriched cages, would engender negative affect, and hence 'pessimistic' biases. We also explored whether individual differences in stereotypic behaviour (repetitive somersaulting) predicted 'pessimism'. Eight birds were trained on a novel conditional discrimination task with differential rewards, in which background shade (light or dark) determined which of two covered dishes contained a food reward. The reward was small when the background was light, but large when the background was dark. We then presented background shades intermediate between those trained to assess the birds' bias to choose the dish associated with the smaller food reward (a 'pessimistic' judgement) when the discriminative stimulus was ambiguous. Contrary to predictions, changes in the level of cage enrichment had no effect on 'pessimism'. However, changes in the latency to choose and probability of expressing a choice suggested that birds learnt rapidly that trials with ambiguous stimuli were unreinforced. Individual differences in performance of stereotypies did predict 'pessimism'. Specifically, birds that somersaulted were more likely to choose the dish associated with the smaller food reward in the presence of the most ambiguous discriminative stimulus. We propose that somersaulting is part of a wider suite of behavioural traits indicative of a stress response to captive conditions that is symptomatic of a negative affective state

Memorandum on Mississippi House Bill 1523

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

RTVP-1 promotes mesenchymal transformation of glioma via a STAT-3/IL-6-dependent positive feedback loop

Glioblastomas (GBMs), the most aggressive primary brain tumors, exhibit increased invasiveness and resistance to anti-tumor treatments. We explored the role of RTVP-1, a glioma-associated protein that promotes glioma cell migration, in the mesenchymal transformation of GBM. Analysis of The Cancer Genome Atlas (TCGA) demonstrated that RTVP-1 expression was higher in mesenchymal GBM and predicted tumor recurrence and poor clinical outcome. ChiP analysis revealed that the RTVP-1 promoter binds STAT3 and C/EBPβ, two master transcription factors that regulate mesenchymal transformation of GBM. In addition, IL-6 induced RTVP-1 expression in a STAT3-dependent manner. RTVP-1 increased the migration and mesenchymal transformation of glioma cells. Similarly, overexpression of RTVP-1 in human neural stem cells induced mesenchymal differentiation, whereas silencing of RTVP-1 in glioma stem cells (GSCs) decreased the mesenchymal transformation and stemness of these cells. Silencing of RTVP-1 also increased the survival of mice bearing GSC-derived xenografts. Using gene array analysis of RTVP-1 silenced glioma cells we identified IL-6 as a mediator of RTVP-1 effects on the mesenchymal transformation and migration of GSCs, therefore acting in a positive feedback loop by upregulating RTVP-1 expression via the STAT3 pathway. Collectively, these results implicate RTVP-1 as a novel prognostic marker and therapeutic target in GBM

Haplotype structure and selection of the MDM2 oncogene in humans

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

Superconducting Accelerating Cavity Pressure Sensitivity Analysis and Stiffening

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

Conceivable security risks and authentication techniques for smart devices

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