Learn More
Worldwide, 100 million people are expected to die this century from the consequences of nicotine addiction, but nicotine is also known to enhance cognitive performance. Identifying the molecular mechanisms involved in nicotine reinforcement and cognition is a priority and requires the development of new in vivo experimental paradigms. The ventral tegmental(More)
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time tasks and the timeliness ensuring concern when tasks are executed in parallel. This approach is based on formal aspects of our real-time tasks model and on the definition of the(More)
Nicotine is the primary psychoactive component of tobacco. Its reinforcing and addictive properties depend on nicotinic acetylcholine receptors (nAChRs) located within the mesolimbic axis originating in the ventral tegmental area (VTA). The roles and oligomeric assembly of subunit α4- and subunit α6-containing nAChRs in dopaminergic (DAergic) neurons are(More)
Chronic nicotine exposure results in long-term homeostatic regulation of nicotinic acetylcholine receptors (nAChRs) that play a key role in the adaptative cellular processes leading to addiction. However, the relative contribution of the different nAChR subunits in this process is unclear. Using genetically modified mice and pharmacological manipulations,(More)
In order to study the functional role of the trans-synaptic neuronal interaction between glutamatergic afferents and mesolimbic dopaminergic neurons in internal reward processes, BALB/c male mice were unilaterally implanted with a guide-cannula, the tip of which was positioned 1.5 mm above the ventral tegmental area (VTA). On each day of the following(More)
Smoking is the most important preventable cause of mortality and morbidity worldwide. This nicotine addiction is mediated through the nicotinic acetylcholine receptor (nAChR), expressed on most neurons, and also many other organs in the body. Even within the ventral tegmental area (VTA), the key brain area responsible for the reinforcing properties of all(More)
We present ΣC, a programming model and language for high performance embedded manycores. The programming model is based on process networks with non determinism extensions and process behavior specifications. The language itself extends C, with parallelism, composition and process abstractions. It is intended to support architecture independent, high-level(More)
Previous studies have reported intravenous cocaine self-administration behavior in several strains of mice with the exception of BALB/cByJ, a strain considered a mouse model of high emotional reactivity. The present experiments further investigated acquisition of self-administration in BALB/cByJ mice using a low dose and a habituation session. Following(More)
Multiprocessor scheduling problems are hard because of the numerous constraints on valid schedules to take into account. This paper presents new schedule representations in order to overcome these difficulties, by allowing processors to be fractionally allocated. We prove that these representations are equivalent to the standard representations when(More)
BALB/c mice implanted with a bipolar electrode were trained in a shuttle-box to initiate and to terminate a continuous electrical stimulation applied in the lateral hypothalamus (LH) or in the mesencephalic central gray area (CG). Following stabilization of the baseline response latencies, the subjects were subcutaneously injected with isotonic NaCl or with(More)