Liveness-Based Garbage Collection for Lazy Languages

We consider the problem of reducing the memory required to run lazy first-order functional programs. Our approach is to analyze programs for liveness of heap-allocated data. The result of the analysis is used to preserve only live data---a subset of reachable data---during garbage collection. The result is an increase in the garbage reclaimed and a reduction in the peak memory requirement of programs. While this technique has already been shown to yield benefits for eager first-order languages, the lack of a statically determinable execution order and the presence of closures pose new challenges for lazy languages. These require changes both in the liveness analysis itself and in the design of the garbage collector. To show the effectiveness of our method, we implemented a copying collector that uses the results of the liveness analysis to preserve live objects, both evaluated (i.e., in WHNF) and closures. Our experiments confirm that for programs running with a liveness-based garbage collector, there is a significant decrease in peak memory requirements. In addition, a sizable reduction in the number of collections ensures that in spite of using a more complex garbage collector, the execution times of programs running with liveness and reachability-based collectors remain comparable

Role of dorsomedial striatum neuronal ensembles in incubation of methamphetamine craving after voluntary abstinence

Abstract We recently developed a rat model of incubation of methamphetamine craving after choice-based voluntary abstinence. Here, we studied the role of dorsolateral striatum (DLS) and dorsomedial striatum (DMS) in this incubation. We trained rats to self-administer palatable food pellets (6 d, 6 h/d) and methamphetamine (12 d, 6 h/d). We then assessed relapse to methamphetamine seeking under extinction conditions after 1 and 21 abstinence days. Between tests, the rats underwent voluntary abstinence (using a discrete choice procedure between methamphetamine and food; 20 trials/d) for 19 d. We used in situ hybridization to measure the colabeling of the activity marker Fos with Drd1 and Drd2 in DMS and DLS after the tests. Based on the in situ hybridization colabeling results, we tested the causal role of DMS D1 and D2 family receptors, and DMS neuronal ensembles in "incubated" methamphetamine seeking, using selective dopamine receptor antagonists (SCH39166 or raclopride) and the Daun02 chemogenetic inactivation procedure, respectively. Methamphetamine seeking was higher after 21 d of voluntary abstinence than after 1 d (incubation of methamphetamine craving). The incubated response was associated with increased Fos expression in DMS but not in DLS; Fos was colabeled with both Drd1 and Drd2 DMS injections of SCH39166 or raclopride selectively decreased methamphetamine seeking after 21 abstinence days. In Fos-lacZ transgenic rats, selective inactivation of relapse test-activated Fos neurons in DMS on abstinence day 18 decreased incubated methamphetamine seeking on day 21. Results demonstrate a role of DMS dopamine D1 and D2 receptors in the incubation of methamphetamine craving after voluntary abstinence and that DMS neuronal ensembles mediate this incubation. SIGNIFICANCE STATEMENT: In human addicts, abstinence is often self-imposed and relapse can be triggered by exposure to drug-associated cues that induce drug craving. We recently developed a rat model of incubation of methamphetamine craving after choice-based voluntary abstinence. Here, we used classical pharmacology, in situ hybridization, immunohistochemistry, and the Daun02 inactivation procedure to demonstrate a critical role of dorsomedial striatum neuronal ensembles in this new form of incubation of drug craving

Role of dopamine in dorsal medial prefrontal cortex in yohimbine-induced reinstatement of food seeking in rats

In humans, relapse to maladaptive eating habits during dieting is often provoked by stress.Weadapted a drug relapse-reinstatement model to study the role of stress in relapse to food seeking (Nair et al., Prog. Neurobiol., 2009). In our model, the anxiogenic drug yohimbine, an alpha-2 adrenoceptor antagonist, that causes stress-like responses in humans and laboratory animals, reliably reinstates food seeking.Werecently found that yohimbine-induced reinstatement of food seeking is attenuated by systemic injections of SCH23390 (a D1-family receptor antagonist) but not clonidine (an alpha-2 adrenoceptor agonist). Here, we studied the role of the medial prefrontal cortex (mPFC) in yohimbine-induced reinstatement. We trained food-restricted rats to lever-press for 35% high-fat pellets every other day (9–15 3 h sessions). We then extinguished the food-reinforced operant responding for 10–14 days by removing the pellets. Subsequently, we tested the effect of systemic injections of yohimbine (0, 2 mg/kg) on reinstatement of food seeking. In Exp. 1we found that yohimbine-induced reinstatement was associated with strong induction of Fos (a marker of neuronal activity) in the dorsal mPFC and weaker Fos induction in the ventral mPFC. In Exp. 2 we found that dorsal but not ventral mPFC injections of the D1-family receptor antagonist SCH23390 (0.5, 1.0g/side) decreased yohimbine-induced reinstatement of food seeking. Our data indicate a critical role of dorsal mPFC dopamine in reinstatement food seeking induced by the pharmacological stressor yohimbine

Distinct fos-expressing neuronal ensembles in the ventromedial prefrontal cortex mediate food reward and extinction memories

In operant learning, initial reward-associated memories are thought to be distinct from subsequent extinction-associated memories. Memories formed during operant learning are thought to be stored in “neuronal ensembles.” Thus, we hypothesize that different neuronal ensembles encode reward- and extinction-associated memories. Here, we examined prefrontal cortex neuronal ensembles involved in the recall of reward and extinction memories of food self-administration.Wefirst trained rats to lever press for palatable food pellets for 7 d (1 h/d) and then exposed them to 0, 2, or 7 daily extinction sessions in which lever presses were not reinforced. Twenty-four hours after the last training or extinction session, we exposed the rats to either a short 15 min extinction test session or left them in their homecage (a control condition). We found maximal Fos (a neuronal activity marker) immunoreactivity in the ventral medial prefrontal cortex of rats that previously received 2 extinction sessions, suggesting that neuronal ensembles in this area encode extinction memories. We then used the Daun02 inactivation procedure to selectively disrupt ventral medial prefrontal cortex neuronal ensembles that were activated during the 15 min extinction session following 0 (no extinction) or 2 prior extinction sessions to determine the effects of inactivating the putative food reward and extinction ensembles, respectively, on subsequent nonreinforced food seeking 2 d later. Inactivation of the food reward ensembles decreased food seeking, whereas inactivation of the extinction ensembles increased food seeking. Our results indicate that distinct neuronal ensembles encoding operant reward and extinction memories intermingle within the same cortical area

Long-Term Stability of an Area-Reversible Atom-Interferometer Sagnac Gyroscope

We report on a study of the long-term stability and absolute accuracy of an atom interferometer gyroscope. This study included the implementation of an electro-optical technique to reverse the vector area of the interferometer for reduced systematics and a careful study of systematic phase shifts. Our data strongly suggests that drifts less than 96 $\mu$deg/hr are possible after empirically removing shifts due to measured changes in temperature, laser intensity, and several other experimental parameters.Comment: 4 pages, 4 figures, submitted to PR

Indirect Detection of Kaluza-Klein Dark Matter from Latticized Universal Dimensions

We consider Kaluza-Klein dark matter from latticized universal dimensions. We motivate and investigate two different lattice models, where the models differ in the choice of boundary conditions. The models reproduce relevant features of the continuum model for Kaluza-Klein dark matter. For the model with simple boundary conditions, this is the case even for a model with only a few lattice sites. We study the effects of the latticization on the differential flux of positrons from Kaluza-Klein dark matter annihilation in the galactic halo. We find that for different choices of the compactification radius, the differential positron flux rapidly converges to the continuum model results as a function of the number of lattice sites. In addition, we consider the prospects for upcoming space-based experiments such as PAMELA and AMS-02 to probe the latticization effect.Comment: 25 pages, 9 figures, LaTeX. Final version published in JCA

Involvement of Noradrenergic Neurotransmission in the Stress- but not Cocaine-Induced Reinstatement of Extinguished Cocaine-Induced Conditioned Place Preference in Mice: Role for β-2 Adrenergic Receptors

The responsiveness of central noradrenergic systems to stressors and cocaine poses norepinephrine as a potential common mechanism through which drug re-exposure and stressful stimuli promote relapse. This study investigated the role of noradrenergic systems in the reinstatement of extinguished cocaine-induced conditioned place preference by cocaine and stress in male C57BL/6 mice. Cocaine- (15 mg/kg, i.p.) induced conditioned place preference was extinguished by repeated exposure to the apparatus in the absence of drug and reestablished by a cocaine challenge (15 mg/kg), exposure to a stressor (6-min forced swim (FS); 20–25°C water), or administration of the α-2 adrenergic receptor (AR) antagonists yohimbine (2 mg/kg, i.p.) or BRL44408 (5, 10 mg/kg, i.p.). To investigate the role of ARs, mice were administered the nonselective β-AR antagonist, propranolol (5, 10 mg/kg, i.p.), the α-1 AR antagonist, prazosin (1, 2 mg/kg, i.p.), or the α-2 AR agonist, clonidine (0.03, 0.3 mg/kg, i.p.) before reinstatement testing. Clonidine, prazosin, and propranolol failed to block cocaine-induced reinstatement. The low (0.03 mg/kg) but not high (0.3 mg/kg) clonidine dose fully blocked FS-induced reinstatement but not reinstatement by yohimbine. Propranolol, but not prazosin, blocked reinstatement by both yohimbine and FS, suggesting the involvement of β-ARs. The β-2 AR antagonist ICI-118551 (1 mg/kg, i.p.), but not the β-1 AR antagonist betaxolol (10 mg/kg, i.p.), also blocked FS-induced reinstatement. These findings suggest that stress-induced reinstatement requires noradrenergic signaling through β-2 ARs and that cocaine-induced reinstatement does not require AR activation, even though stimulation of central noradrenergic neurotransmission is sufficient to reinstate

Fos-expressing neuronal ensemble in rat ventromedial prefrontal cortex encodes cocaine seeking but not food seeking in rats

Neuronal ensembles in ventromedial prefrontal cortex (vmPFC) play a role in both cocaine and palatable food seeking. However, it is unknown whether similar or different vmPFC neuronal ensembles mediate food and cocaine seeking. Here, we used the Daun02 inactivation procedure to assess whether the neuronal ensembles mediating food and cocaine seeking can be functionally distinguished. We trained male and female Fos-LacZ rats to self-administer palatable food pellets and cocaine on alternating days for 18 days. We then exposed the rats to a brief nonreinforced food- or cocaine-seeking test to induce Fos and β-gal in neuronal ensembles associated with food or cocaine seeking, respectively and infused Daun02 into vmPFC to ablate the β-gal-expressing ensembles. Two days later, we tested the rats for food or cocaine seeking under extinction conditions. Although inactivation of the food-seeking ensemble did not influence food or cocaine seeking, inactivation of the cocaine-seeking ensemble reduced cocaine seeking but not food seeking. Results indicate that the neuronal ensemble activated by cocaine seeking in vmPFC is functionally separate from the ensemble activated by food seeking

Searching for periodic sources with LIGO

We investigate the computational requirements for all-sky, all-frequency searches for gravitational waves from spinning neutron stars, using archived data from interferometric gravitational wave detectors such as LIGO. These sources are expected to be weak, so the optimal strategy involves coherent accumulaton of signal-to-noise using Fourier transforms of long stretches of data (months to years). Earth-motion-induced Doppler shifts, and intrinsic pulsar spindown, will reduce the narrow-band signal-to-noise by spreading power across many frequency bins; therefore, it is necessary to correct for these effects before performing the Fourier transform. The corrections can be implemented by a parametrized model, in which one does a search over a discrete set of parameter values. We define a metric on this parameter space, which can be used to determine the optimal spacing between points in a search; the metric is used to compute the number of independent parameter-space points Np that must be searched, as a function of observation time T. The number Np(T) depends on the maximum gravitational wave frequency and the minimum spindown age tau=f/(df/dt) that the search can detect. The signal-to-noise ratio required, in order to have 99% confidence of a detection, also depends on Np(T). We find that for an all-sky, all-frequency search lasting T=10^7 s, this detection threshhold is at a level of 4 to 5 times h(3/yr), where h(3/yr) is the corresponding 99% confidence threshhold if one knows in advance the pulsar position and spin period.Comment: 18 pages, LaTeX, 12 PostScript figures included using psfig. Submitted to Phys. Rev.

Doppler tomography of the transient X-ray binary Centaurus X-4 in quiescence

We present ESO-NTT low resolution spectroscopy of the neutron star X-ray transient Cen X-4 in quiescence over a complete orbital cycle. Our data reveal the presence of a K3-7 V companion which contributes 63% to the 5600-6900A flux and orbits the neutron star with a velocity semi-amplitude of K_2=145.8 +/- 1.0 km s^{-1}. This, combined with a previous determination of the inclination angle and mass ratio, yields a neutron star and companion mass of M_1=1.5 +/- 1.0 M_Sun and M_2=0.31 +/- 0.27 M_Sun, respectively. The mass donor is thus undermassive for the inferred spectral type indicating it is probably evolved, in agreement with previous studies. Doppler tomography of the H_alpha line shows prominent emission located on the companion and a slightly asymmetric accretion disc distribution similar to that seen in systems with precessing eccentric discs. Strong H_alpha emission from the companion can be explained by X-ray irradiation from the primary. No evidence is found for a hot spot in H_alpha, whereas one is revealed via Doppler tomography of the HeI lines. This can be interpreted as the hot spot and outer regions of the disc being at a higher temperature than in other systems.Comment: 9 pages, 5 figures, accepted for publication in A&