Increasing and Detecting Memory Address Congruence

A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence information at compile-time enables new classes of program optimization. In this paper, we present methods for forcing congruence among the dynamic addresses of a memory reference. We also introduce a compiler algorithm for detecting this property. Our transformations do not require interprocedural analysis and introduce almost no overhead. As a result, they can be incorporated into real compilation systems. On average, our transformations are able to achieve a five-fold increase in the number of congruent memory operations. We are then able to detect 95% of these references. This success is invaluable in providing performance gains in a variety of areas. When congruence information is incorporated into a vectorizing compiler, we can increase the performance of a G4 AltiVec processor up to a factor of two. Using the same methods, we are able to reduce energy consumption in a data cache by as much as 35%.Singapore-MIT Alliance (SMA

The role of the right temporoparietal junction in perceptual conflict: detection or resolution?

The right temporoparietal junction (rTPJ) is a polysensory cortical area that plays a key role in perception and awareness. Neuroimaging evidence shows activation of rTPJ in intersensory and sensorimotor conflict situations, but it remains unclear whether this activity reflects detection or resolution of such conflicts. To address this question, we manipulated the relationship between touch and vision using the so-called mirror-box illusion. Participants' hands lay on either side of a mirror, which occluded their left hand and reflected their right hand, but created the illusion that they were looking directly at their left hand. The experimenter simultaneously touched either the middle (D3) or the ring finger (D4) of each hand. Participants judged, which finger was touched on their occluded left hand. The visual stimulus corresponding to the touch on the right hand was therefore either congruent (same finger as touch) or incongruent (different finger from touch) with the task-relevant touch on the left hand. Single-pulse transcranial magnetic stimulation (TMS) was delivered to the rTPJ immediately after touch. Accuracy in localizing the left touch was worse for D4 than for D3, particularly when visual stimulation was incongruent. However, following TMS, accuracy improved selectively for D4 in incongruent trials, suggesting that the effects of the conflicting visual information were reduced. These findings suggest a role of rTPJ in detecting, rather than resolving, intersensory conflict

Symmetry Detection of Rational Space Curves from their Curvature and Torsion

We present a novel, deterministic, and efficient method to detect whether a given rational space curve is symmetric. By using well-known differential invariants of space curves, namely the curvature and torsion, the method is significantly faster, simpler, and more general than an earlier method addressing a similar problem. To support this claim, we present an analysis of the arithmetic complexity of the algorithm and timings from an implementation in Sage.Comment: 25 page

Why are we not flooded by involuntary thoughts about the past and future? Testing the cognitive inhibition dependency hypothesis

© The Author(s) 2018In everyday life, involuntary thoughts about future plans and events occur as often as involuntary thoughts about the past. However, compared to involuntary autobiographical memories (IAMs), such episodic involuntary future thoughts (IFTs) have become a focus of study only recently. The aim of the present investigation was to examine why we are not constantly flooded by IFTs and IAMs given that they are often triggered by incidental cues while performing undemanding activities. One possibility is that activated thoughts are suppressed by the inhibitory control mechanism, and therefore depleting inhibitory control should enhance the frequency of both IFTs and IAMs. We report an experiment with a between-subjects design, in which participants in the depleted inhibition condition performed a 60-min high-conflict Stroop task before completing a laboratory vigilance task measuring the frequency of IFTs and IAMs. Participants in the intact inhibition condition performed a version of the Stroop task that did not deplete inhibitory control. To control for physical and mental fatigue resulting from performing the 60-min Stroop tasks in experimental conditions, participants in the control condition completed only the vigilance task. Contrary to predictions, the number of IFTs and IAMs reported during the vigilance task, using the probe-caught method, did not differ across conditions. However, manipulation checks showed that participants’ inhibitory resources were reduced in the depleted inhibition condition, and participants were more tired in the experimental than in the control conditions. These initial findings suggest that neither inhibitory control nor physical and mental fatigue affect the frequency of IFTs and IAMs.Peer reviewedFinal Published versio

A rapid and scalable method for multilocus species delimitation using Bayesian model comparison and rooted triplets

Multilocus sequence data provide far greater power to resolve species limits than the single locus data typically used for broad surveys of clades. However, current statistical methods based on a multispecies coalescent framework are computationally demanding, because of the number of possible delimitations that must be compared and time-consuming likelihood calculations. New methods are therefore needed to open up the power of multilocus approaches to larger systematic surveys. Here, we present a rapid and scalable method that introduces two new innovations. First, the method reduces the complexity of likelihood calculations by decomposing the tree into rooted triplets. The distribution of topologies for a triplet across multiple loci has a uniform trinomial distribution when the 3 individuals belong to the same species, but a skewed distribution if they belong to separate species with a form that is specified by the multispecies coalescent. A Bayesian model comparison framework was developed and the best delimitation found by comparing the product of posterior probabilities of all triplets. The second innovation is a new dynamic programming algorithm for finding the optimum delimitation from all those compatible with a guide tree by successively analyzing subtrees defined by each node. This algorithm removes the need for heuristic searches used by current methods, and guarantees that the best solution is found and potentially could be used in other systematic applications. We assessed the performance of the method with simulated, published and newly generated data. Analyses of simulated data demonstrate that the combined method has favourable statistical properties and scalability with increasing sample sizes. Analyses of empirical data from both eukaryotes and prokaryotes demonstrate its potential for delimiting species in real cases

Quark-Gluon Plasma: Status of Heavy Ion Physics

Lattice quantum chromodynamics (QCD), defined on a discrete space time lattice, leads to a spectacular non-perturbative prediction of a new state of matter, called quark-gluon plasma (QGP), at sufficiently high temperatures or equivalently large energy densities. The experimental programs of CERN, Geneva and BNL, New York of relativistic heavy ion collisions are expected to produce such energy densities, thereby providing us a chance to test the above prediction. After a brief introduction of the necessary theoretical concepts, I will present a critical review of the experimental results already obtained by the various experiments in order to examine whether QGP has already been observed by them.Comment: 11 Pages, LaTeX, Plenary talk given at 6th Workshop in High Energy Physics Phenomenology (WHEPP 6), Chennai (Madras), India, 3-15 Jan 2000 To appear in Pramana, Journal of Physic

How attention and knowledge modulate memory: The differential impact of cognitive conflicts on subsequent memory—A review of a decade of research

In order to cope with cognitive conflicts, attention and knowledge are required. In some conditions, cognitive conflicts can boost subsequent memory and in other conditions, they can attenuate subsequent memory. The goal of the present study is to provide a narrative review of studies from the last decade in which Stroop or flanker conflicts, task switching, perceptual disfluency or semantic incongruence were manipulated at study. We propose an integrative framework considering attentional mechanisms and knowledge structures. Attentional mechanisms can refer to conflict resolution, which is required to explain the memory benefit for incongruent stimuli in Stroop and Flanker paradigms. Attentional mechanisms can also refer to attention allocation, which is required to explain the memory cost for targets and the memory benefit for task-irrelevant distractors in task-switching paradigms. Moreover, attention allocation policies can also account for the inconsistent results for perceptual disfluency manipulations. Prior knowledge is required to explain effects of semantic congruency and incongruency: Information that is expected, or congruent with prior knowledge, is better remembered, namely by pre-existing schemata. Moreover, information that is unexpected or incongruent with prior knowledge attracts attention and is better remembered. The impact of prior knowledge on memory performance thus results in a U-shape function. We integrate the findings according to this framework and suggest directions for future research

Evaluative priming in the pronunciation task a preregistered replication and extension

We replicated and extended a study by Spruyt and Hermans (2008) in which picture primes engendered an evaluative-priming effect on the pronunciation of target words. As preliminary steps, we assessed data reproducibility of the original study, conducted Pilot Study I to identify highly semantically related prime-target pairs, reanalyzed the original data excluding such pairs, conducted Pilot Study II to demonstrate that we can replicate traditional associative priming effects in the pronunciation task, and conducted Pilot Study III to generate relatively unrelated sets of prime pictures and target words. The main study comprised three between-participants conditions: (1) a close replication of the original study, (2) the same condition excluding highly related prime-target pairs, and (3) a condition based on the relatively unrelated sets of prime pictures and target words developed in Pilot Study III. There was little evidence for an evaluative priming effect independent of semantic relatedness