Radiation damage in silicon first semiannual report, oct. 15, 1963 - apr. 15, 1964

Observed paramagnetic center, effects of impurities on radiation damage of silicon, and low energy proton bombardment of silicon and gallium arsenide solar cell

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

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

An accretion disk model for periodic timing variations of pulsars

The long-term, highly periodic and correlated variations in both the pulse shape and the rate of slow-down of two isolated pulsars (PSRs) PSR B1828-11 and PSR B1642-03 were discovered recently. This phenomenon may provide evidence for "free precession" as suggested in the literature. Some authors presented various kinds of models to explain this phenomenon within the framework of free precession. Here we present an accretion disk model for this precession phenomenon instead. Under reasonable parameters, the observed phenomenon can be explained by an isolated pulsar with a fossil disk. This may link radio pulsars and anomalous X-ray pulsars (AXPs) and present an indirect evidence for the existence of the fossil disk in nature.Comment: 4 pages, 2 figures, to appear in A&A Lette

Integrated Reasoning and Proof Choice Point Selection in the Jahob System – Mechanisms for Program Survival

In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, and verification system. In contrast to many such systems, which use a monolithic reasoning approach, Jahob provides a general integrated reasoning framework, which enables multiple automated reasoning systems to work together to prove the desired program correctness properties. We have used Jahob to prove the full functional correctness of a collection of linked data structure implementations. The automated reasoning systems are able to automatically perform the vast majority of the reasoning steps required for this verification. But there are some complex verification conditions that they fail to prove. We have therefore developed a proof language, integrated into the underlying imperative Java programming language, that developers can use to control key choice points in the proof search space. Once the developer has resolved these choice points, the automated reasoning systems are able to complete the verification. This approach appropriately leverages both the developer’s insight into the high-level structure of the proof and the ability of the automated reasoning systems to perform the mechanical steps required to prove the verification conditions. Building on Jahob’s success with this challenging program verification problem, we contemplate the possibility of verifying the complete absence of fatal errors in large software systems. We envision combining simple techniques that analyze the vast majority of the program with heavyweight techniques that analyze those more sophisticated parts of the program that may require arbitrarily sophisticated reasoning. Modularity mechanisms such as abstract data types enable the sound division of the program for this purpose. The goal is not a completely correct program, but a program that can survive any remaining errors to continue to provide acceptable service

Magnetic and superconducting properties of Cd2Re2O7: Cd NMR and Re NQR

We report Cd NMR and Re NQR studies on Cd2Re2O7, the first superconductor among pyrochlore oxides Tc=1 K. Re NQR spectrum at zero magnetic field below 100 K rules out any magnetic or charge order. The spin-lattice relaxation rate below Tc exhibits a pronounced coherence peak and behaves within the weak-coupling BCS theory with nearly isotropic energy gap. Cd NMR results point to moderate ferromagnetic enhancement at high temperatures followed by rapid decrease of the density of states below the structural transition temperature of 200 K.Comment: 4 pages, 4 figure

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

Stress-Induced Reinstatement of Drug Seeking: 20 Years of Progress

In human addicts, drug relapse and craving are often provoked by stress. Since 1995, this clinical scenario has been studied using a rat model of stress-induced reinstatement of drug seeking. Here, we first discuss the generality of stress-induced reinstatement to different drugs of abuse, different stressors, and different behavioral procedures. We also discuss neuropharmacological mechanisms, and brain areas and circuits controlling stress-induced reinstatement of drug seeking. We conclude by discussing results from translational human laboratory studies and clinical trials that were inspired by results from rat studies on stress-induced reinstatement. Our main conclusions are (1) The phenomenon of stress-induced reinstatement, first shown with an intermittent footshock stressor in rats trained to self-administer heroin, generalizes to other abused drugs, including cocaine, methamphetamine, nicotine, and alcohol, and is also observed in the conditioned place preference model in rats and mice. This phenomenon, however, is stressor specific and not all stressors induce reinstatement of drug seeking. (2) Neuropharmacological studies indicate the involvement of corticotropin-releasing factor (CRF), noradrenaline, dopamine, glutamate, kappa/dynorphin, and several other peptide and neurotransmitter systems in stress-induced reinstatement. Neuropharmacology and circuitry studies indicate the involvement of CRF and noradrenaline transmission in bed nucleus of stria terminalis and central amygdala, and dopamine, CRF, kappa/dynorphin, and glutamate transmission in other components of the mesocorticolimbic dopamine system (ventral tegmental area, medial prefrontal cortex, orbitofrontal cortex, and nucleus accumbens). (3) Translational human laboratory studies and a recent clinical trial study show the efficacy of alpha-2 adrenoceptor agonists in decreasing stress-induced drug craving and stress-induced initial heroin lapse

Stressor- and Corticotropin releasing Factor-induced Reinstatement and Active Stress-related Behavioral Responses are Augmented Following Long-access Cocaine Self-administration by Rats

Rationale Stressful events during periods of drug abstinence likely contribute to relapse in cocaine-dependent individuals. Excessive cocaine use may increase susceptibility to stressor-induced relapse through alterations in brain corticotropin-releasing factor (CRF) responsiveness. Objectives This study examined stressor- and CRF-induced cocaine seeking and other stress-related behaviors in rats with different histories of cocaine self-administration (SA). Materials and methods Rats self-administered cocaine under short-access (ShA; 2 h daily) or long-access (LgA; 6 h daily) conditions for 14 days or were provided access to saline and were tested for reinstatement by a stressor (electric footshock), cocaine or an icv injection of CRF and for behavioral responsiveness on the elevated plus maze, in a novel environment and in the light–dark box after a 14- to 17-day extinction/withdrawal period. Results LgA rats showed escalating patterns of cocaine SA and were more susceptible to reinstatement by cocaine, EFS, or icv CRF than ShA rats. Overall, cocaine SA increased activity in the center field of a novel environment, on the open arms of the elevated plus maze, and in the light compartment of a light–dark box. In most cases, the effects of cocaine SA were dependent on the pattern/amount of cocaine intake with statistically significant differences from saline self-administering controls only observed in LgA rats. Conclusions When examined after several weeks of extinction/ withdrawal, cocaine SA promotes a more active pattern of behavior during times of stress that is associated with a heightened susceptibility to stressor-induced cocaine-seeking behavior and may be the consequence of augmented CRF regulation of addiction-related neurocircuitry