The von Neumann Minimax Theorem and its relatives and a study of externality in on-line auctions

This work consists of a theoretical part and an experimental one. The first part provides a simple treatment of the celebrated von Neumann minimax theorem as formulated by Nikaid6 and Sion. It also discusses its relationships with fundamental theorems of convex analysis. The second part is about externality in sponsored search auctions. It shows that in these auctions, advertisers have externality effects on each other which influence their bidding behavior. It proposes Hal R.Varian model and shows how adding externality to this model will affect its properties. In order to have a better understanding of the interaction among advertisers in on-line auctions, it studies the structure of the Google advertisements networ.k and shows that it is a small-world scale-free network.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.

Propuestas de una metodología para justificar pasos peatonales a desnivel utilizando la distribución probabilística de Poisson

Tesis (Maestría en Ciencias con Especialidad en Ingeniería de Tránsito) UANL

Obtención del módulo de elasticidad y razón de Poisson en diferentes grados de acero al silicio

Tesis (Maestría en Ciencias de la Ingeniería Mecánica con Especialidad en Materiales) - U.A.N.L, 2000

Obtención del módulo de elasticidad y razón de Poisson en diferentes grados de acero al manganeso

Tesis (Maestro en Ciencias de la Ingeniería Mecánica con Especialidad en Materiales) UANL, 2000.

A Representation Theorem for Domains with Discrete and Continuous Variables.

This paper proves a new representation theorem for domains with both discrete and continuous variables. The result generalizes Debreu's well-known representation theorem on connected domains. A strengthening of the standard continuity axiom is used in order to guarantee the existence of a representation. A generalization of the main theorem and an application of the more general result are also presented.

Arrow's Theorem in Spatial Environments

In spatial environments, we consider social welfare functions satisfying Arrow's requirements. i.e., weak Pareto and independence of irrelevant alternatives. When the policy space os a one-dimensional continuum, such a welfare function is determined by a collection of 2n strictly quasi-concave preferences and a tie-breaking rule. As a corrollary, we obtain that when the number of voters is odd, simple majority voting is transitive if and only if each voter's preference is strictly quasi-concave. When the policy space is multi-dimensional, we establish Arrow's impossibility theorem. Among others, we show that weak Pareto, independence of irrelevant alternatives, and non-dictatorship are inconsistent if the set of alternatives has a non-empty interior and it is compact and convex.

Harsanyi’s Social Aggregation Theorem : A Multi-Profile Approach with Variable-Population Extensions

This paper provides new versions of Harsanyi’s social aggregation theorem that are formulated in terms of prospects rather than lotteries. Strengthening an earlier result, fixed-population ex-ante utilitarianism is characterized in a multi-profile setting with fixed probabilities. In addition, we extend the social aggregation theorem to social-evaluation problems under uncertainty with a variable population and generalize our approach to uncertain alternatives, which consist of compound vectors of probability distributions and prospects.

Algoritmos de filtrado estocástico para sistemas polinomiales con ruido de Poisson.

Tesis (Doctor en Ingeniería Física Industrial) UANL, 2012.

Propriétés anesthésiques et analgésiques de l’eugénol chez la grenouille (Xenopus laevis), le poisson (Oncorhynchus mykiss) et le rat (Rattus norvegicus)

L'eugénol (2-methoxy-4-(2-propenyl) phénol), produit dérivé du clou de girofle (Eugenia aromatica), fut tout d’abord utilisé en application topique à des fins d’analgésie dentaire. Il produit également une anesthésie chirurgicale lorsque administré en immersion chez les poissons. L’eugénol agit sur les récepteurs vanilloïdes, sensibles à la chaleur, aux protons et à certaines molécules lipidiques. Ces récepteurs jouent un rôle important dans le mécanisme de l’inflammation et de l’hyperalgésie. L’eugénol pourrait également produire ses effets par antagonisme des récepteurs glutamaergiques (NMDA) et par son activation des récepteurs GABAergiques. Considérant que l’eugénol produit des effets analgésiques et anesthésiques, des études de pharmacocinétique et de pharmacodynamie furent réalisées chez la grenouille (Xenopus laevis), le poisson (Oncorhynchus mykiss) et le rat (Rattus norvegicus). Les résultats démontrent que l’eugénol administré par immersion à une dose efficace permet d’atteindre une anesthésie chirurgicale chez les grenouilles (350 mg/L) et les poissons (75 mg/L). Suite à des analyses plasmatiques par LC/MS/MS, la pharmacocinétique des grenouilles, des poissons et des rats montre que la drogue est éliminée et qu’il pourrait y avoir une recirculation entérohépathique plus importante chez la grenouille et le rat. La longue demi-vie chez le rat suggère aussi une accumulation dans les tissus après des administrations répétées. Suite à l’administration intraveineuse d’une dose de 20 mg/kg chez le rat, l’eugénol induit une anesthésie chirurgicale pour une très courte période de temps variant autour de 167 s. Les résultats de sensibilité thermique confirment l’efficacité de l’eugénol pour réduire l’hyperalgésie induite chez des rats neuropathiques. L’effet pharmacologique de l’eugénol a démontré une augmentation progressive constante de l’analgésie sur une période de cinq jours de traitements journaliers. En conclusion, l’eugénol possède des propriétés analgésiques et anesthésiques chez la grenouille africaine à griffes (Xenopus laevis), le poisson (Oncorhynchus mykiss) et le rat (Rattus norvegicus).

Approximation de la distribution a posteriori d'un modèle Gamma-Poisson hiérarchique à effets mixtes

La méthode que nous présentons pour modéliser des données dites de "comptage" ou données de Poisson est basée sur la procédure nommée Modélisation multi-niveau et interactive de la régression de Poisson (PRIMM) développée par Christiansen et Morris (1997). Dans la méthode PRIMM, la régression de Poisson ne comprend que des effets fixes tandis que notre modèle intègre en plus des effets aléatoires. De même que Christiansen et Morris (1997), le modèle étudié consiste à faire de l'inférence basée sur des approximations analytiques des distributions a posteriori des paramètres, évitant ainsi d'utiliser des méthodes computationnelles comme les méthodes de Monte Carlo par chaînes de Markov (MCMC). Les approximations sont basées sur la méthode de Laplace et la théorie asymptotique liée à l'approximation normale pour les lois a posteriori. L'estimation des paramètres de la régression de Poisson est faite par la maximisation de leur densité a posteriori via l'algorithme de Newton-Raphson. Cette étude détermine également les deux premiers moments a posteriori des paramètres de la loi de Poisson dont la distribution a posteriori de chacun d'eux est approximativement une loi gamma. Des applications sur deux exemples de données ont permis de vérifier que ce modèle peut être considéré dans une certaine mesure comme une généralisation de la méthode PRIMM. En effet, le modèle s'applique aussi bien aux données de Poisson non stratifiées qu'aux données stratifiées; et dans ce dernier cas, il comporte non seulement des effets fixes mais aussi des effets aléatoires liés aux strates. Enfin, le modèle est appliqué aux données relatives à plusieurs types d'effets indésirables observés chez les participants d'un essai clinique impliquant un vaccin quadrivalent contre la rougeole, les oreillons, la rub\'eole et la varicelle. La régression de Poisson comprend l'effet fixe correspondant à la variable traitement/contrôle, ainsi que des effets aléatoires liés aux systèmes biologiques du corps humain auxquels sont attribués les effets indésirables considérés.

Développement de l’activité rythmique chez l’embryon du poisson-zébré

Les circuits neuronaux peuvent générer une panoplie de rythmes. Nous pouvons séparer les mécanismes de création de ces rythmes en deux grands types. Le premier consiste de circuits contrôlés par des cellules « pacemakers », ayant une activité rythmique intrinsèque, comme dans le ganglion stomatogastique des crustacés. Le deuxième consiste de circuits multi-neuronaux connectés par un réseau synaptique qui permet une activité rythmique sans la présence de neurones pacemakers, tel que démontré pour les circuits de la nage chez plusieurs vertébrés. Malgré nos connaissances des mécanismes de rhythmogénèse chez les vertébrés adultes, les mécanismes de la création et la maturation de ces circuits locomoteurs chez les embryons restent encore inconnus. Nous avons étudié cette question à l’aide du poisson-zébré où les embryons débutent leur activité motrice par des contractions spontanées alternantes à 17 heures post-fertilisation (hpf). Des études ont démontré que cette activité spontanée n’est pas sensible aux antagonistes de la transmission synaptique chimique et ne requiert pas le rhombencéphale. Après 28 hpf, les embryons commencent à nager et se propulser en réponse au toucher. Des études antérieures on démontré que l’apparition de la nage nécessite le rhombencéphale et la transmission synaptique chimique. Cette thèse explore la possibilité que ces changements comportementaux représentent la progression d’un circuit contrôle par un pacemaker à un circuit ou le rythme provient d’un circuit distribué. En mesurant le groupement des contractions de l’activité spontanée, plutôt que la fréquence moyenne, nous avons découvert une nouvelle forme d’activité spontanée qui débute à 22 hpf. Cette activité consiste de deux contractions alternantes à succession très rapide. Contrairement à l’activité spontanée présente dès 17 hpf cette nouvelle forme d’activité requiert le rhombencéphale et la transmission synaptique chimique, comme démontré pour la nage qui apparait à 28 hpf. Cette forme de comportement intermédiaire représente potentiellement une étape transitoire lors de la maturation des circuits moteurs.

Profil et déterminants comportemental et physiologique de l’ascension à la dominance en milieu naturel chez les femelles d’une espèce de poisson hautement sociale

Malgré le fait que le statut social soit reconnu comme ayant une forte influence sur l’aptitude, les facteurs affectant le statut social et les changements de ce statut demeurent peu connus. De plus, les études sur la dominance ayant un lien avec l’agressivité portent rarement sur des femelles. Nous étudierons ces aspects en utilisant Neolamprologus pulcher, un poisson à reproduction coopérative du lac Tanganyika. La probabilité d’ascension sociale était manipulée sur le terrain et les changements physiologiques et comportementaux, ainsi que le niveau plasmatique de testostérone, associé avec l’ascension à la dominance de femelles subordonnées étaient caractérisés. Le degré de coopération et la masse étaient supérieurs chez les femelles ascendantes par rapport aux femelles non-ascendantes d’un même groupe social. Après une semaine d’ascension sociale, les femelles ascendantes ne différaient pas comportementalement, mais différaient physiologiquement des femelles dominantes. Les femelles dominantes, ascendantes et subordonnées ne différaient pas quant au niveau de testostérone plasmatique. Comprendre les bénéfices des comportements coopératifs pour les subordonnés a longtemps posé un problème évolutif. Nos résultats impliquent que les comportements coûteux métaboliquement peuvent avoir été sélectionnés en améliorant l’aptitude future via l’héritage du territoire et du statut social. De plus, le degré de coopération pourrait être un signal de qualité détecté par les compétiteurs et les collaborateurs.

Caractérisation fonctionnelle chez le poisson zèbre de l'isoforme protéique WNK1/HSN2 mutée dans la neuropathie héréditaire sensitive et autonome de type 2

La neuropathie humaine sensitive et autonome de type 2 (NHSA 2) est une pathologie héréditaire rare caractérisée par une apparition précoce des symptômes et une absence d’affectation motrice. Cette pathologie entraîne la perte de perception de la douleur, de la chaleur et du froid ainsi que de la pression (toucher) dans les membres supérieurs et inférieurs et est due à des mutations autosomales récessives confinées à l’exon HSN2 de la protéine kinase à sérine/thréonine WNK1 (with-no-lysine protein kinase 1). Cet exon spécifique permettrait de conférer une spécificité au système nerveux à l’isoforme protéique WNK1/HSN2. La kinase WNK1 est étudiée en détails, en particulier au niveau du rein, mais son rôle au sein du système nerveux demeure inconnu. Considérant le début précoce de la neuropathie et le manque d’innervation sensorielle révélé par des biopsies chez les patients NHSA2, notre hypothèse de recherche est que les mutations tronquantes menant à la NHSA de type 2 causent une perte de fonction de l’isoforme WNK1/HSN2 spécifique au système nerveux entraînant un défaut dans le développement du système nerveux sensoriel périphérique. Chez l’embryon du poisson zèbre, WNK1/HSN2 est exprimé au niveau des neuromastes de la ligne latérale postérieure, un système mécanosensoriel périphérique. Nous avons obtenu des embryons knockdown pour WNK1/HSN2 par usage d’oligonucléotides morpholino antisens (AMO). Nos trois approches AMO ont révélé des embryons présentant des défauts d’établissement au niveau de la ligne latérale postérieure. Afin de déterminer la voie pathogène impliquant l’isoforme WNK1/HSN2, nous nous sommes intéressés à l’interaction rapportée entre la kinase WNK1 et le co-transporteur neuronal KCC2. Ce dernier est une cible de phosphorylation de WNK1 et son rôle dans la promotion de la neurogenèse est bien connu. Nous avons détecté l’expression de KCC2 au niveau de neuromastes de la ligne latérale postérieure et observé une expression accrue de KCC2 chez les embryons knockdown pour WNK1/HSN2 à l’aide de RT-PCR semi-quantitative. De plus, une sur-expression d’ARN humain de KCC2 chez des embryons a produit des défauts dans la ligne latérale postérieure, phénocopiant le knockdown de WNK1/HSN2. Ces résultats furent validés par un double knockdown, produisant des embryons n’exprimant ni KCC2, ni WNK1/HSN2, dont le phénotype fut atténué. Ces résultats nous mènent à suggérer une voie de signalisation où WNK1/HSN2 est en amont de KCC2, régulant son activation, et possiblement son expression. Nous proposons donc que la perte de fonction de l’isoforme spécifique cause un débalancement dans les niveaux de KCC2 activée, menant à une prolifération et une différenciation réduites des progéniteurs neuronaux du système nerveux périphérique. Les défauts associés à la NHSA de type 2 seraient donc de nature développementale et non neurodégénérative.

A Generalization of a Theorem of Boyd and Lawton

Ce mémoire s’applique à étudier d’abord, dans la première partie, la mesure de Mahler des polynômes à une seule variable. Il commence en donnant des définitions et quelques résultats pertinents pour le calcul de telle hauteur. Il aborde aussi le sujet de la question de Lehmer, la conjecture la plus célèbre dans le domaine, donne quelques exemples et résultats ayant pour but de résoudre la question. Ensuite, il y a l’extension de la mesure de Mahler sur les polynômes à plusieurs variables, une démarche semblable au premier cas de la mesure de Mahler, et le sujet des points limites avec quelques exemples. Dans la seconde partie, on commence par donner des définitions concernant un ordre supérieur de la mesure de Mahler, et des généralisations en passant des polynômes simples aux polynômes à plusieurs variables. La question de Lehmer existe aussi dans le domaine de la mesure de Mahler supérieure, mais avec des réponses totalement différentes. À la fin, on arrive à notre objectif, qui sera la démonstration de la généralisation d’un théorème de Boyd-Lawton, ce dernier met en évidence une relation entre la mesure de Mahler des polynômes à plusieurs variables avec la limite de la mesure de Mahler des polynômes à une seule variable. Ce résultat a des conséquences en termes de la conjecture de Lehmer et sert à clarifier la relation entre les valeurs de la mesure de Mahler des polynômes à une variable et celles des polynômes à plusieurs variables, qui, en effet, sont très différentes en nature.