The loss-limited electron energy in SN 1006: effects of the shock velocity and of the diffusion process

The spectral shape of the synchrotron X-ray emission from SN 1006 reveals the fundamental role played by radiative losses in shaping the high-energy tail of the electron spectrum. We analyze data from the XMM-Newton SN 1006 Large Program and confirm that in both nonthermal limbs the loss-limited model correctly describes the observed spectra. We study the physical origin of the observed variations of the synchrotron cutoff energy across the shell. We investigate the role played by the shock velocity and by the electron gyrofactor. We found that the cutoff energy of the syncrotron X-ray emission reaches its maximum value in regions where the shock has experienced its highest average speed. This result is consistent with the loss-limited framework. We also find that the electron acceleration in both nonthermal limbs of SN 1006 proceeds close to the Bohm diffusion limit, the gyrofactor being in the range 1.5-4. We finally investigate possible explanations for the low values of cutoff energy measured in thermal limbs.Comment: Accepted for publication in Astronomische Nachrichten. Proceedings of the XMM-Newton Science Workshop 201

In vivo whole-cell recording from morphologically identified mouse superior colliculus neurons

In vivo whole-cell recording when combined with morphological characterization after biocytin labeling is a powerful technique to study subthreshold synaptic processing in cell-type-identified neuronal populations. Here, we provide a step-by-step procedure for performing whole-cell recordings in the superior colliculus of urethane-anesthetized mice, a major visual processing region in the rodent brain. Two types of visual stimulation methods are described. While we focus on superior colliculus neurons, this protocol is applicable to other brain areas.Comment: 29 pages including 4 figure

Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Alternative axiomatics and complexity of deliberative STIT theories

We propose two alternatives to Xu's axiomatization of the Chellas STIT. The first one also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of the Chellas STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators is NP-complete in the single-agent case, and is NEXPTIME-complete in the multiagent case, both for the deliberative and the Chellas' STIT.Comment: Submitted to the Journal of Philosophical Logic; 13 pages excluding anne

Grounding power on actions and mental attitudes

International audienceThe main objective of this work is to develop a logic called IAL (Intentional Agency Logic) in which we can reason about mental states of agents, action occurrences, and agentive and group powers. IAL will be exploited for a formal analysis of different forms of power such as an agent i's power of achieving a certain result and an agent i's power over another agent j (alias social power)

The northwestern ejecta knot in SN 1006

International audienceAims. We want to probe the physics of fast collision-less shocks in supernova remnants. We are interested in the non-equilibration of temperatures and particle acceleration. Specifically, we aim to measure the oxygen temperature with regards to the electron temperature. In addition, we search for synchrotron emission in the northwestern thermal rim. Methods. This study is part of a dedicated deep observational project of SN 1006 using XMM-Newton, which provides us with the currently best resolution spectra of the bright northwestern oxygen knot. We aim to use the reflection grating spectrometer to measure the thermal broadening of the O vii line triplet by convolving the emission profile of the remnant with the response matrix.Results. The line broadening was measured as σe = 2.4 ± 0.3 eV, corresponding to an oxygen temperature of 275-63+72 keV. From the EPIC spectra we obtain an electron temperature of 1.35 ± 0.10 keV. The difference in temperature between the species provides further evidence of non-equilibration of temperatures in a shock. In addition, we find evidence of a bow shock that emits X-ray synchrotron radiation, which is at odds with the general idea that because of the magnetic field orientation only in the NE and SW region, X-ray synchrotron radiation should be emitted. We find an unusual Hα and X-ray synchrotron geometry, in that the Hα emission peaks downstream of the synchrotron emission. This may be an indication of a peculiar Hα shock in which the density is lower and the neutral fraction is higher than in other supernova remnants, resulting in a peak in Hα emission further downstream of the shock

The shape of the cutoff in the synchrotron emission of SN 1006 observed with XMM-Newton

International audienceContext. Synchrotron X-ray emission from the rims of young supernova remnants allows us to study the high-energy tail of the electrons accelerated at the shock front.Aims. The analysis of X-ray spectra can provide information on the physical mechanisms that limit the energy achieved by the electrons in the acceleration process. We aim at verifying whether the maximum electron energy in SN 1006 is limited by synchrotron losses and at obtaining information on the shape of the cutoff in the X-ray synchrotron emission. Methods. We analyzed the deep observations of the XMM-Newton SN 1006 Large Program. We performed spatially resolved spectral analysis of a set of small regions in the nonthermal limbs and studied the X-ray spectra by adopting models that assume different electron spectra.Results. We found out that a loss-limited model provides the best fit to all the spectra and this indicates that the shape of the cutoff in the electron momentum (p) distribution has the form exp [ − (p/pcut)2]. We also detected residual thermal emission from shocked ambient medium and confirmed the reliability of previous estimates of the post-shock density.Conclusions. Our results indicate that radiative losses play a fundamental role in shaping the electron spectrum in SN 1006

Preferences of Agents in Defeasible Logic

We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this setting we discuss patterns of agent behavior called agent types