École normale supérieure de Cachan

About: École normale supérieure de Cachan is a education organization based out in Cachan, Île-de-France, France. It is known for research contribution in the topics: Decidability & Finite element method. The organization has 2717 authors who have published 5585 publications receiving 175925 citations.

The paraventricular thalamus controls a central amygdala fear circuit.

Abstract: Appropriate responses to an imminent threat brace us for adversities. The ability to sense and predict threatening or stressful events is essential for such adaptive behaviour. In the mammalian brain, one putative stress sensor is the paraventricular nucleus of the thalamus (PVT), an area that is readily activated by both physical and psychological stressors. However, the role of the PVT in the establishment of adaptive behavioural responses remains unclear. Here we show in mice that the PVT regulates fear processing in the lateral division of the central amygdala (CeL), a structure that orchestrates fear learning and expression. Selective inactivation of CeL-projecting PVT neurons prevented fear conditioning, an effect that can be accounted for by an impairment in fear-conditioning-induced synaptic potentiation onto somatostatin-expressing (SOM(+)) CeL neurons, which has previously been shown to store fear memory. Consistently, we found that PVT neurons preferentially innervate SOM(+) neurons in the CeL, and stimulation of PVT afferents facilitated SOM(+) neuron activity and promoted intra-CeL inhibition, two processes that are critical for fear learning and expression. Notably, PVT modulation of SOM(+) CeL neurons was mediated by activation of the brain-derived neurotrophic factor (BDNF) receptor tropomysin-related kinase B (TrkB). As a result, selective deletion of either Bdnf in the PVT or Trkb in SOM(+) CeL neurons impaired fear conditioning, while infusion of BDNF into the CeL enhanced fear learning and elicited unconditioned fear responses. Our results demonstrate that the PVT-CeL pathway constitutes a novel circuit essential for both the establishment of fear memory and the expression of fear responses, and uncover mechanisms linking stress detection in PVT with the emergence of adaptive behaviour.

Native language, spoken language, translation and trade

Abstract: We construct new series for common native language and common spoken language for 195 countries, which we use together with series for common official language and linguis-tic proximity in order to draw inferences about (1) the aggregate impact of all linguistic factors on bilateral trade, (2) whether the linguistic influences come from ethnicity and trust or ease of communication, and (3) in so far they come from ease of communication, to what extent trans-lation and interpreters play a role. The results show that the impact of linguistic factors, all together, is at least twice as great as the usual dummy variable for common language, resting on official language, would say. In addition, ease of communication is far more important than ethnicity and trust. Further, so far as ease of communication is at work, translation and inter-preters are extremely important. Finally, ethnicity and trust come into play largely because of immigrants and their influence is otherwise difficult to detect.

TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

Abstract: This paper presents the TGV tool, which allows for the automatic synthesis of conformance test cases from a formal specification of a (non-deterministic) reactive system. TGV was developed by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhones-Alpes. The paper describes the main elements of the underlying testing theory, which is based on a model of transitions system which distinguishes inputs, outputs and internal actions, and is based on the concept of conformance relation. The principles of the test synthesis process, as well as the main algorithms, are explained. We then describe the main characteristics of the TGV tool and refer to some industrial experiments that have been conducted to validate the approach. As a conclusion, we describe some ongoing work on test synthesis.

Optimality of Gaussian Attacks in Continuous Variable Quantum Cryptography

Abstract: We analyze the asymptotic security of the family of Gaussian modulated quantum key distribution protocols for continuous-variables systems. We prove that the Gaussian unitary attack is optimal for all the considered bounds on the key rate when the first and second momenta of the canonical variables involved are known by the honest parties.

Traffic congestion pricing methodologies and technologies

Abstract: This paper reviews the methods and technologies for congestion pricing of roads. Congestion tolls can be implemented at scales ranging from individual lanes on single links to national road networks. Tolls can be differentiated by time of day, road type and vehicle characteristics, and even set in real time according to current traffic conditions. Conventional toll booths have largely given way to electronic toll collection technologies. The main technology categories are roadside-only systems employing digital photography, tag & beacon systems that use short-range microwave technology, and in-vehicle-only systems based on either satellite or cellular network communications. The best technology choice depends on the application. The rate at which congestion pricing is implemented, and its ultimate scope, will depend on what technology is used and on what other functions and services it can perform.