Probabilistic Assignments of Identical Indivisible Objects and Uniform Probabilistic Rules.

We consider a probabilistic approach to the problem of assigning k indivisible identical objects to a set of agents with single-peaked preferences. Using the ordinal extension of preferences, we characterize the class of uniform probabilistic rules by Pareto efficiency, strategy-proofness, and no-envy. We also show that in this characterization no-envy cannot be replaced by anonymity. When agents are strictly risk averse von-Neumann-Morgenstern utility maximizers, then we reduce the problem of assigning k identical objects to a problem of allocating the amount k of an infinitely divisible commodity.

Macroemesures in Computable General Equilibrium Models: a Probabilistic Treatment with an Application to Morocco.

With the help of an illustrative general equilibrium (CGE) model of the Moroccan Economy, we test for the significance of simulation results in the case where the exact macromesure is not known with certainty. This is done by computing lower and upper bounds for the simulation resukts, given a priori probabilities attached to three possible closures (Classical, Johansen, Keynesian). Our Conclusion is that, when there is uncertainty on closures several endogenous changes lack significance, which, in turn, limit the use of the model for policy prescriptions.

Prediction of the clinical response to psychostimulant by the basal and reactive salivary cortisol in children with ADHD.

Le trouble du déficit de l’attention/hyperactivité (TDA/H) est un des troubles comportementaux le plus commun chez les enfants. TDAH a une étiologie complexe et des traitements efficaces. Le médicament le plus prescrit est le méthylphénidate, un psychostimulant qui bloque le transporteur de la dopamine et augmente la disponibilité de la dopamine dans la fente synaptique. Des études précliniques et cliniques suggèrent que le cortisol peut potentialiser les effets de la dopamine. Un dysfonctionnement du système hypothalamo-hypophyso-surrénalien (HHS) est associé avec plusieurs maladies psychiatriques comme la dépression, le trouble bipolaire, et l’anxiété. Nous avons fait l’hypothèse que le cortisol influence l’efficacité du traitement des symptômes du TDAH par le méthylphénidate. L’objectif de cette étude est de mesurer les niveaux de cortisol le matin au réveil et en réponse à une prise de sang dans un échantillon d’enfants diagnostiqué avec TDAH âgé de 8 ans. Le groupe était randomisé dans un protocole en chassé croisé et en double aveugle avec trois doses de méthylphénidate et un placebo pour une période de quatre semaines. Les enseignants et les parents ont répondu aux questionnaires SWAN et à une échelle d’évaluation des effets secondaires. Les résultats ont démontrés qu’un niveau de cortisol élevé au réveil prédit les sujets qui ne répondent pas au traitement du TDAH, si on se fie aux rapports des parents. En plus, la réactivité au stress élevé suggère un bénéfice additionnel d’une dose élevée de méthylphénidate selon les enseignants. Aussi, les parents rapportent une association entre la présence de troubles anxieux co-morbide avec le TDAH et une meilleure réponse à une dose élevée. Cette étude suggère qu’une forte réactivité de l’axe HHS améliore la réponse clinique à des doses élevées, mais qu’une élévation chronique du niveau de cortisol pourrait être un marqueur pour les non répondeurs. Les résultats de cette étude doivent être considérés comme préliminaires et nécessitent des tests plus approfondis des interactions possibles entre les médicaments utilisés pour traiter le TDAH et l’axe HHS.

Reactive Hyperemia as endothelial function determinant using plethysmography methods

L’atteinte de la fonction endothéliale représente une phase précoce de l’athérosclérose, un stade où les patients sont généralement asymptomatiques. Il existe donc un intérêt certain à détecter la dysfonction endothéliale. Nous avons développé une technique de mesure des variations de flot artériel au niveau des membres supérieurs, basée sur la spectroscopie proche infrarouge (NIRS). Cette approche permettrait d’étudier le niveau d’atteinte vasculaire et probablement de quantifier le degré de dysfonction endothéliale périphérique lors d’une hyperémie réactive. L'expérience a été exécutée sur deux cohortes de 13 et de 15 patients et a été comparée à la pléthysmographie par jauge de contrainte (SGP) qui est considérée comme une méthode de référence. Par la suite, nous avons caractérisé la réponse endothéliale par modélisation de la courbe hyperémique du flot artériel. Des études préliminaires avaient démontré que la réponse hyperémique adoptait majoritairement une forme bi-modale. Nous avons tenté de séparer les composantes endothéliales-dépendantes et endothéliales-indépendantes de l’hyperémie. La quantification des deux composantes de la réaction hyperémique permet de calculer un indice de la ‘santé’ du système endothélial local. Cet indice est nommé le ηfactor. Les résultats montrent une forte corrélation des mesures de flots entre la technique développée et la méthode de référence (r=0.91). Nous avons conclu que NIRS est une approche précise pour la mesure non-invasive du flot artériel. Nous avons obtenu une bonne répétabilité (ICC = 0.9313) pour le ηfactor indiquant sa robustesse. Cependant des études supplémentaires sont nécessaires pour valider la valeur de diagnostic du facteur défini. Mots clés: hyperémie réactive, réponse myogénique, oxyde nitrique, athérosclérose, spectroscopie proche infrarouge

Automates à contraintes semilinéaires = Automata with a semilinear constraint

Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.

Role of Reactive Gliosis and Neuroinflammation in Experimental Glaucoma

Le glaucome est la principale cause de cécité irréversible dans le monde. Chez les patients atteints de cette pathologie, la perte de la vue résulte de la mort sélective des cellules ganglionnaires (CGR) de la rétine ainsi que de la dégénérescence axonale. La pression intraoculaire élevée est considérée le facteur de risque majeur pour le développement de cette maladie. Les thérapies actuelles emploient des traitements pharmacologiques et/ou chirurgicaux pour diminuer la pression oculaire. Néanmoins, la perte du champ visuel continue à progresser, impliquant des mécanismes indépendants de la pression intraoculaire dans la progression de la maladie. Il a été récemment démontré que des facteurs neuroinflammatoires pourraient être impliqués dans le développement du glaucome. Cette réponse est caractérisée par une régulation positive des cytokines pro-inflammatoires, en particulier du facteur de nécrose tumorale alpha (TNFα). Cependant, le mécanisme par lequel le processus neuroinflammatoire agit sur la mort neuronale reste à clarifier. L’hypothèse principale de ce doctorat propose que les facteurs pro-inflammatoires comme le TNFα et la phosphodiestérase 4 (PDE4) interagissent avec les mécanismes moléculaires de la mort neuronale, favorisant ainsi la survie et la protection des CGRs au cours du glaucome. Dans la première partie de ma thèse, J’ai utilisé un modèle in vivo de glaucome chez des rats Brown Norway pour montrer que l’expression du TNFα est augmentée après l'induction de l'hypertension oculaire. L'hypothèse spécifique de cette étude suggère que les niveaux élevés de TNFα provoquent la mort des CGRs en favorisant l'insertion de récepteurs AMPA perméables au calcium (CP-AMPAR) à la membrane cytoplasmique. Pour tester cette hypothèse, j’ai utilisé un inhibiteur sélectif de la forme soluble du TNFα, le XPro1595. L'administration de cet agent pharmacologique a induit une protection significative des somas et des axones des neurones rétiniens. L'évaluation de la perméabilité au cobalt a montré que le TNFα soluble est impliqué dans l'insertion de CP-AMPAR à la membrane des CGRs lors du glaucome. L’exposition des neurones à une pression oculaire élevée est à l’origine de la hausse de la densité membranaire des CP-AMPARs, grâce à une diminution de l’expression de la sous-unité GluA2. La présence de GluA2 au sein du récepteur ne permet pas l’entrée du calcium à l’intérieur de la cellule. L'administration intraoculaire d’antagonistes spécifiques des CP-AMPARs promeut la protection des somas et des axones des CGRs. Ces résultats montrent que les CP-AMPARs jouent un rôle important dans la pathologie du glaucome. Dans la deuxième partie de ma thèse, j’ai caractérisé l'effet neuroprotecteur d’un inhibiteur de la PDE4, l’ibudilast, dans notre modèle de glaucome. L'hypothèse spécifique s’oriente vers une atténuation de la réponse neuroinflammatoire et de la gliose par l’administration d’ibudilast, favorisant ainsi la protection neuronale. Les résultats montrent que dans les rétines glaucomateuses, l’ibudilast diminue la gliose et l'expression de plusieurs facteurs tels que le TNFα, l'interleukine-1β (IL-1β), l’interleukine-6 (IL-6) et le facteur inhibiteur de la migration des macrophages (MIF). Chez les rats glaucomateux, nous avons observé une expression notable de PDE4A dans les cellules de Müller, qui est en corrélation avec l'accumulation de l’AMP cyclique (AMPc) dans ces cellules après un traitement d’ibudilast. Finalement, nous avons démontré que la protection des CGRs via l’administration d’ibudilast est un mécanisme dépendent de l’AMPc et de la protéine kinase A (PKA). En conclusion, les résultats présentés dans cette thèse identifient deux mécanismes différents impliqués dans la perte des CGRs au cours du glaucome. Ces mécanismes pourraient fournir des perspectives potentielles pour le développement de nouvelles stratégies de traitement du glaucome.