Software Engineering and Petri Nets

This booklet contains the proceedings of the Workshop on Software Engineering and Petri Nets (SEPN), held on June 26, 2000. The workshop was held in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN-2000), organised by the CPN group of the Department of Computer Science, University of Aarhus, Denmark. The SEPN workshop papers are available in electronic form via the web page:http://www.daimi.au.dk/pn2000/proceeding

Learning Quantum Systems

The future development of quantum technologies relies on creating and manipulating quantum systems of increasing complexity, with key applications in computation, simulation and sensing. This poses severe challenges in the efficient control, calibration and validation of quantum states and their dynamics. Although the full simulation of large-scale quantum systems may only be possible on a quantum computer, classical characterization and optimization methods still play an important role. Here, we review different approaches that use classical post-processing techniques, possibly combined with adaptive optimization, to learn quantum systems, their correlation properties, dynamics and interaction with the environment. We discuss theoretical proposals and successful implementations across different multiple-qubit architectures such as spin qubits, trapped ions, photonic and atomic systems, and superconducting circuits. This Review provides a brief background of key concepts recurring across many of these approaches with special emphasis on the Bayesian formalism and neural networks.Comment: Review. 20 pages, 4 figures and 2 boxes (reformatted

Thalamic inputs to dorsomedial striatum are involved in inhibitory control: evidence from the five-choice serial reaction time task in rats

Rationale Corticostriatal circuits are widely implicated in the top-down control of attention including inhibitory control and behavioural flexibility. However, recent neurophysiological evidence also suggests a role for thalamic inputs to striatum in behaviours related to salient, reward-paired cues. Objectives Here, we used designer receptors exclusively activated by designer drugs (DREADDs) to investigate the role of parafascicular (Pf) thalamic inputs to the dorsomedial striatum (DMS) using the five-choice serial reaction time task (5CSRTT) in rats. Methods The 5CSRTT requires sustained attention in order to detect spatially and temporally distributed visual cues and provides measures of inhibitory control related to impulsivity (premature responses) and compulsivity (perseverative responses). Rats underwent bilateral Pf injections of the DREADD vector, AAV2-CaMKIIa-HA-hM4D(Gi)-IRES-mCitrine. The DREADD agonist, clozapine N-oxide (CNO; 1 μl bilateral; 3 μM) or vehicle, was injected into DMS 1 h before behavioural testing. Task parameters were manipulated to increase attention load or reduce stimulus predictability respectively. Results We found that inhibition of the Pf-DMS projection significantly increased perseverative responses when stimulus predictability was reduced but had no effect on premature responses or response accuracy, even under increased attentional load. Control experiments showed no effects on locomotor activity in an open field. Conclusions These results complement previous lesion work in which the DMS and orbitofrontal cortex were similarly implicated in perseverative responses and suggest a specific role for thalamostriatal inputs in inhibitory control

Bose-Einstein Condensate in Weak 3d Isotropic Speckle Disorder

The effect of a weak three-dimensional (3d) isotropic laser speckle disorder on various thermodynamic properties of a dilute Bose gas is considered at zero temperature. First, we summarize the derivation of the autocorrelation function of laser speckles in 1d and 2d following the seminal work of Goodman. The goal of this discussion is to show that a Gaussian approximation of this function, proposed in some recent papers, is inconsistent with the general background of laser speckle theory. Then we propose a possible experimental realization for an isotropic 3d laser speckle potential and derive its corresponding autocorrelation function. Using a Fourier transform of that function, we calculate both condensate depletion and sound velocity of a Bose-Einstein condensate as disorder ensemble averages of such a weak laser speckle potential within a perturbative solution of the Gross-Pitaevskii equation. By doing so, we reproduce the expression of the normalfluid density obtained earlier within the treatment of Landau. This physically transparent derivation shows that condensate particles, which are scattered by disorder, form a gas of quasiparticles which is responsible for the normalfluid component

Long-Term Memory for Pavlovian Fear Conditioning Requires Dopamine in the Nucleus Accumbens and Basolateral Amygdala

The neurotransmitter dopamine (DA) is essential for learning in a Pavlovian fear conditioning paradigm known as fear-potentiated startle (FPS). Mice lacking the ability to synthesize DA fail to learn the association between the conditioned stimulus and the fear-inducing footshock. Previously, we demonstrated that restoration of DA synthesis to neurons of the ventral tegmental area (VTA) was sufficient to restore FPS. Here, we used a target-selective viral restoration approach to determine which mesocorticolimbic brain regions receiving DA signaling from the VTA require DA for FPS. We demonstrate that restoration of DA synthesis to both the basolateral amygdala (BLA) and nucleus accumbens (NAc) is required for long-term memory of FPS. These data provide crucial insight into the dopamine-dependent circuitry involved in the formation of fear-related memory