Polynomial Synthesis of Asynchronous Automata

Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes with a distributed control structure called asynchronous automaton. This paper gives a polynomial algorithm for the synthesis of a non-deterministic asynchronous automaton from a regular Mazurkiewicz trace language. This new construction is based on an unfolding approach that improves the complexity of Zielonka's and Pighizzini's techniques in terms of the number of states.Comment: The MOdelling and VErification (MOVE) tea

Witnessing single-photon entanglement with local homodyne measurements: analytical bounds and robustness to losses

Single-photon entanglement is one of the primary resources for quantum networks, including quantum repeater architectures. Such entanglement can be revealed with only local homodyne measurements through the entanglement witness presented in [Morin et al. Phys. Rev. Lett. 110, 130401 (2013)]. Here, we provide an extended analysis of this witness by introducing analytical bounds and by reporting measurements confirming its great robustness with regard to losses. This study highlights the potential of optical hybrid methods, where discrete entanglement is characterized through continuous-variable measurements

Witnessing trustworthy single-photon entanglement with local homodyne measurements

Single-photon entangled states, i.e. states describing two optical paths sharing a single photon, constitute the simplest form of entanglement. Yet they provide a valuable resource in quantum information science. Specifically, they lie at the heart of quantum networks, as they can be used for quantum teleportation, swapped and purified with linear optics. The main drawback of such entanglement is the difficulty in measuring it. Here, we present and experimentally test an entanglement witness allowing one not only to say whether a given state is path-entangled but also that entanglement lies in the subspace where the optical paths are each filled with one photon at most, i.e. refers to single-photon entanglement. It uses local homodyning only and relies on no assumption about the Hilbert space dimension of the measured system. Our work provides a simple and trustful method for verifying the proper functioning of future quantum networks.Comment: published versio

Purely magnetic tunnelling between radial magnetic wells

This article is devoted to the semiclassical spectral analysis of the magnetic Laplacian in two dimensions. Assuming that the magnetic field is positive and has two symmetric radial wells, we establish an accurate tunnelling formula, that is a one-term estimate of the spectral gap between the lowest two eigenvalues. This gap is exponentially small when the semiclassical parameter goes to zero, but positive

拡張されたガウス・マルコフ確率場による確率的画像処理に関する研究

Tohoku University田中和

Implication des systèmes glutamatergiques dans les complications motrices de la maladie de Parkinson

Tableau d'honneur de la Faculté des études supérieures et postdorales, 2014-2015Une hyperactivité de la transmission glutamatergique striatale est rapportée dans la maladie de Parkinson (MP) et les dyskinésies (DIL) induites par la L-3,4-dihydroxyphénylalanine (L-DOPA). Les récepteurs glutamatergiques métabotropiques de type 5 (mGlu5) représentent une nouvelle cible thérapeutique intéressante afin de prévenir le développement des DIL. L’objectif du projet était de vérifier si l’ajout d’un antagoniste du récepteur mGlu5 au traitement à la L-DOPA pouvait maintenir l’activité antiparkinsonienne de la L-DOPA, tout en réduisant ou en empêchant le développement des complications motrices chez le modèle de singe femelle lésé au 1-méthyl-4-phényl-1,2,3,6-tétrahydropyridine (MPTP). Par la suite, nous avons investigué les mécanismes impliqués dans le développement des DIL en évaluant les modifications moléculaires associées à la transmission dopaminergique, glutamatergique et sérotoninergique dans les ganglions de la base du cerveau. Lors de traitements aigus chez des singes déjà dyskinétiques, les antagonistes des récepteurs mGlu5 (MPEP, MTEP et AFQ056) en combinaison à la L-DOPA ont réduit l’intensité des DIL tout en maintenant l’effet antiparkinsonien de la L-DOPA. Dans un traitement chronique de novo d’un mois, l’ajout de MPEP avec la L-DOPA a réduit le développement des DIL (72%) et la détérioration de fin de dose, sans affecter l’effet antiparkinsonien de la L-DOPA par rapport au groupe L-DOPA seul. Dans les ganglions de la base du cerveau de ces animaux, l’addition de MPEP à la L-DOPA a prévenu l’augmentation des récepteurs glutamatergiques post-synaptiques mGlu5, NMDA NR1/NR2B et AMPA, tout en prévenant la baisse de l’autorécepteur mGlu2/3. MPEP a également prévenu la diminution du niveau des récepteurs dopaminergiques D2, sans toutefois affecter les récepteurs D1. MPEP a aussi normalisé les niveaux d’ARNm des neuropeptides enképhaline et dynorphine, et les niveaux de phosphorylation des protéines de signalisation ERK1/2 et Akt/GSK3. Finalement, l’effet antidyskinétique de MPEP a été associé à des niveaux plus faibles des récepteurs sérotoninergiques 5-HT2A et 5-HT1B, sans toutefois affecter les récepteurs 5-HT1A et le transporteur de la sérotonine. Nos résultats suggèrent que la réduction des complications motrices induites par la L-DOPA avec l’utilisation d’un antagoniste du récepteur mGlu5 est également associée à la normalisation de plusieurs marqueurs et récepteurs des systèmes glutamatergiques, dopaminergiques et sérotoninergiques.Overactivity of brain striatal glutamate neurotransmission has been implicated in Parkinson’s disease (PD) and L-3,4-Dihydroxyphenylalanine(L-Dopa)-induced dyskinesias (LID). Striatal metabotropic glutamate receptors type 5 (mGlu5) are abundant in the striatum and provide specific targets to modulate glutamatergic activity in order to prevent the development of LID. The aim of this project was to investigate if the addition of an mGlu5 receptor antagonist to L-DOPA could maintain the antiparkinsonian effect of L-DOPA, and also decrease or prevent the development of LID in female monkeys lesioned with 1-methyl-4-phenyl-1,2,3,6-tetrahydropyridine (MPTP). Then, we have investigated the mechanisms involved in the development of LID by evaluating the molecular changes associated to dopamine, glutamate and serotonin neurotransmission in the brain basal ganglia. In acute treatments of already dyskinetic monkeys, the treatment with mGlu5 receptor antagonists (MPEP, MTEP and AFQ056) in combination with L-DOPA reduced the intensity of LID while the antiparkinsonian effect of L-DOPA remained unchanged. In a de novo chronic treatment of one month, the addition of the mGlu5 receptor antagonist MPEP to L-DOPA reduced the development of LID (72%) and wearing-off as compared to the group treated with L-DOPA alone, while MPEP did not affect the antiparkinsonian effect of L-DOPA. In the brain basal ganglia of these monkeys, the addition of MPEP to L-DOPA treatment prevented the increase of postsynaptic mGlu5, NMDA NR1/NR2B and AMPA glutamate receptors, while this treatment prevented the decrease of mGlu2/3 presynaptic autoreceptors. Moreover, MPEP prevented the decrease of D2 dopamine receptors, but it did not affect the D1 dopamine receptors. MPEP also prevented the increase of striatal preproenkephalin/preprodynorphin mRNA levels and phosphorylated proteins ERK1/2 and Akt/GSK3. Finally, the antidyskinetic effect of MPEP was associated with lower levels of 5-HT2A and 5-HT1B serotonin receptors while 5-HT1A receptors and brain serotonin transporter (SERT) remained unaffected. These results suggest that the prevention of the development of motor complications with an mGlu5 receptor antagonist was associated with the normalization of important markers and receptors of glutamate, dopamine and serotonin neurotransmission, supporting the therapeutic use of an mGlu5 receptor antagonist to treat LID

Alimentation des tortues terrestres herbivores

Chez les tortues, la plupart des affections rencontrées sont directement ou indirectement liées à un défaut dans les conditions d’entretien et notamment à une alimentation inadéquate. Les ouvrages de référence ne proposent généralement que des rations qualitatives déterminées empiriquement. Ce travail se veut une synthèse bibliographique des différents travaux qui ont été menés sur les tortues terrestres herbivores, dont le but est de dégager les paramètres physiologiques sous-jacents au processus de digestion de ces reptiles. Dans un premier temps sera abordé les bases anatomiques et physiologiques de l’appareil digestif des Chéloniens avant de voir les caractéristiques de cette digestion. Finalement, nous verrons les besoins nutritionnels ainsi que les apports recommandées en vu d’élaborer une ration ménagère

Est-ce que les récentes bonifications des politiques sociales et familiales ont eu un impact sur le taux de fécondité?

Face au déclin démographique, le gouvernement québécois mit de l'avant des politiques cherchant à accroître le taux de natalité depuis plusieurs années. Également, il bonifia certaines d'entre elles pour tenter d'influencer un peu plus le nombre de naissance. Cette recherche s'intéresse aux programmes orchestrés et/ou bonifiés par le gouvernement québécois depuis 1993 jusqu'à 2008. L'objectif de cette recherche est de savoir si les bonifications apportées aux politiques sociales et familiales influencèrent positivement la fécondité. La recherche emploie des données longitudinales provenant des panels un à cinq de l'Enquête sur la dynamique du travail et du revenu de Statistique Canada. Seules les femmes âgées de 25 à 38 ans entrent dans l'échantillon utilisé par le modèle à effets aléatoires et par le population averaged, dont la variable dépendante présente une non-linéarité. Les politiques avant 1997, dont le baby-bonus, se révèlent efficaces pour améliorer la probabilité de donner naissance, ainsi que la combinaison des garderies subventionnées, du Soutien aux enfants et du RQAP. Toutefois, il s'avère plus difficile de déterminer les impacts individuels du Soutien aux enfants et du RQAP, mais étant donné que les garderies subventionnées n'eurent pratiquement pas d'impact significatif à elles seules, il est probable que ces deux mesures-là soient plutôt favorables à la fécondité. Mais en raison de l'inconvénient de ne pouvoir pondérer les régressions, les résultats obtenus ne s'appliquent qu'à l'échantillon. On ne peut donc pas les inférer à la population dans son ensemble. \ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : données longitudinales, indice synthétique de fécondité, naissances, politiques familiales, politiques sociales