L-Fuzzy Relations in Coq

Heyting categories, a variant of Dedekind categories, and Arrow categories provide a convenient framework for expressing and reasoning about fuzzy relations and programs based on those methods. In this thesis we present an implementation of Heyting and arrow categories suitable for reasoning and program execution using Coq, an interactive theorem prover based on Higher-Order Logic (HOL) with dependent types. This implementation can be used to specify and develop correct software based on L-fuzzy relations such as fuzzy controllers. We give an overview of lattices, L-fuzzy relations, category theory and dependent type theory before describing our implementation. In addition, we provide examples of program executions based on our framework.

The Relative Age Effect in Minor Ice Hockey: Investigating the 'Underdog Effect'

Abstract The Relative Age Effect (RAE), defined as a skewed birth date distribution, has been identified as a known phenomenon in minor ice hockey. The purpose of this study was to investigate the relationship between the RAE, physical measurements, and skating ability/in-game performance in forty-four youth male ice hockey players competing in the same age cohort. Physical anthropometrics, grip strength, in-game performance and skating abilities were measured. An RAE was found in the sample (χ2(3, N = 44) = 12.18, p = 0.007). Players born in the first half of the age cohort had longer leg length (F(1,42) =4.49 , p = 0.04), larger body mass (F(1,42) = 3.90, p = 0.05), and stronger grip strength (F(1,42) = 7.58, p = 0.009). Performance scores were negatively associated with grip strength (r = -.443, p = 0.003). Findings suggest that adequate skill development can help relatively younger players overcome physical maturity disadvantages.

An Abstract Algebraic Theory of L-Fuzzy Relations for Relational Databases

Classical relational databases lack proper ways to manage certain real-world situations including imprecise or uncertain data. Fuzzy databases overcome this limitation by allowing each entry in the table to be a fuzzy set where each element of the corresponding domain is assigned a membership degree from the real interval [0…1]. But this fuzzy mechanism becomes inappropriate in modelling scenarios where data might be incomparable. Therefore, we become interested in further generalization of fuzzy database into L-fuzzy database. In such a database, the characteristic function for a fuzzy set maps to an arbitrary complete Brouwerian lattice L. From the query language perspectives, the language of fuzzy database, FSQL extends the regular Structured Query Language (SQL) by adding fuzzy specific constructions. In addition to that, L-fuzzy query language LFSQL introduces appropriate linguistic operations to define and manipulate inexact data in an L-fuzzy database. This research mainly focuses on defining the semantics of LFSQL. However, it requires an abstract algebraic theory which can be used to prove all the properties of, and operations on, L-fuzzy relations. In our study, we show that the theory of arrow categories forms a suitable framework for that. Therefore, we define the semantics of LFSQL in the abstract notion of an arrow category. In addition, we implement the operations of L-fuzzy relations in Haskell and develop a parser that translates algebraic expressions into our implementation.

L-Fuzzy Structured Query Language

Lattice valued fuzziness is more general than crispness or fuzziness based on the unit interval. In this work, we present a query language for a lattice based fuzzy database. We define a Lattice Fuzzy Structured Query Language (LFSQL) taking its membership values from an arbitrary lattice L. LFSQL can handle, manage and represent crisp values, linear ordered membership degrees and also allows membership degrees from lattices with non-comparable values. This gives richer membership degrees, and hence makes LFSQL more flexible than FSQL or SQL. In order to handle vagueness or imprecise information, every entry into an L-fuzzy database is an L-fuzzy set instead of crisp values. All of this makes LFSQL an ideal query language to handle imprecise data where some factors are non-comparable. After defining the syntax of the language formally, we provide its semantics using L-fuzzy sets and relations. The semantics can be used in future work to investigate concepts such as functional dependencies. Last but not least, we present a parser for LFSQL implemented in Haskell.

Papers relative to mexican affairs: communicated to the Senate june 16, 1864

UANL

Relative Uncertainty and Additively Representable Set Rankings

This paper proposes a definition of relative uncertainty aversion for decision models under complete uncertainty. It is shown that, for a large class of decision rules characterized by a set of plausible axioms, the new criterion yields a complete ranking of those rules with respect to the relative degree of uncertainty aversion they represent. In addition, we address a combinatorial question that arises in this context, and we examine conditions for the additive representability of our rules.

Village sermons on the chief articles of faith, &c., on the christian character, and on some of the relative duties...

UANL

Relative Egalitarianism and Related Criteria

We reconsider the problem of aggregating individual preference orderings into a single social ordering when alternatives are lotteries and individual preferences are of the von Neumann-Morgenstern type. Relative egalitarianism ranks alternatives by applying the leximin ordering to the distributions of (0-1) normalized utilities they generate. We propose an axiomatic characterization of this aggregation rule and discuss related criteria.

Portée et limites du principe de non refoulement de l'article 33 de la Convention relative au statut des réfugiés dans le contexte du traitement extraterritorial des demandes de statut de réfugié

Depuis quelques années, les États adoptent des politiques qui cherchent à séparer l’admission des réfugiés sur le territoire d’un État et l’attribution du statut de réfugié. En Europe, ce genre de politique est désigné par le terme externalisation. Cependant, par souci d’objectivité, nous avons choisi d’employer le terme extraterritorial. En effet, l’expression externalisation comporte en elle-même la critique de son objet. En Europe, aucune politique qui dissocie l’attribution du statut de réfugié et l’entrée sur le territoire d’un État n’a été mise en place, toutefois, cette idée fait partie des réflexions institutionnelles et elle reste un objectif de l’agenda européen. Ce mémoire cherche donc à analyser la proposition de traitement extraterritorial des demandes de statut de réfugié, faite en Europe, au regard de l’obligation la plus contraignante au sein du droit international des réfugiés : le principe de non refoulement. En ce sens, il sera nécessaire d'analyser l'étendue ainsi que les limites du principe de non refoulement, au regard de l’interprétation et de la mise en œuvre qui en sont faites. Ce mémoire démontrera que derrière une vive polémique sur la question, la proposition de traitement extraterritorial des demandes de statut de réfugié est compatible avec l’article 33 alinéa 1 de la Convention relative au statut des réfugiés.

Changements sociaux, instabilité et bien-être psychologique : le rôle de la trajectoire de la privation relative

Les comparaisons temporelles sont essentielles pour s’évaluer. Plusieurs études se sont intéressées aux conséquences négatives d’être insatisfait à la suite de comparaisons temporelles désavantageuses (c.-à.-d., à la privation relative). Peu d’étude a toutefois examiné l’évolution de ce sentiment d’insatisfaction. Le présent mémoire propose que ressentir différents niveaux d’insatisfaction au fil du temps, soit une trajectoire instable d’insatisfaction, affecte négativement le bien-être psychologique. Trois études expérimentales ont été menées. Les résultats révèlent que percevoir une trajectoire instable d’insatisfaction affecte négativement le bien-être psychologique. Une quatrième étude corrélationnelle a été menée au Kirghizstan afin d’examiner si les perceptions d’insatisfaction et d’instabilité mesurées à fil de l’histoire d’un groupe sont associées au bien-être psychologique lors de changements sociaux. Les résultats suggèrent que percevoir un haut niveau d’instabilité et d’insatisfaction au fil du temps est associé négativement au bien-être. Les implications théoriques et méthodologiques sont discutées.

The left atrial ganglionated plexus : its function and pathways relative to atrial fibrillation surgery

Le système nerveux autonome cardiaque est devenu une cible dans les thérapies ablatives de la fibrillation auriculaire. Nous avons étudié les voies de communication et la fonction des plexus ganglionnaires (PG) de l'oreillette gauche (PGOG) afin de clarifier la validité physiopathologique des méthodes de détection et des thérapies impliquant ces groupes de neuronnes. Méthodes: Vingt-deux chiens ont subi une double thoracotomie et ont été instrumentés avec des plaques auriculaires épidcardiques de multiélectrodes. Une stimulation électrique (2 mA, 15 Hz) des PGOG a été réalisée à l'état basal et successivement après: 1) une décentralisation vagale, 2) l'ablation par radiofréquence des plexus péri-aortiques et de la veine cave supérieure (Ao/VCS) et 3) l'ablation du PG de l'oreillette droite (PGOD). Ces procédures de dénervation ont été réalisées suivant une séquence antérograde (n = 17) ou rétrograde (n = 5). Résultats: Chez 17 des 22 animaux, la stimulation des PGOG a induit une bradycardie sinusale (149 ± 34 bpm vs 136 ± 28 bpm, p < 0.002) et des changements de repolarization (ΔREPOL) auriculaires isointégrales. Dans le groupe des ablations antérogrades, les réponses aux stimulations vagales ont été supprimées suite à la décentralisation vagale chez un seul animal, par l'ablation des plexus Ao/VCS dans 4 cas et par l'ablation du PGOG dans 5 autres animaux. Des changements ont persisté tout au long chez 2 chiens. La valeur de surface des ΔREPOL a diminué avec les dénervations séquentielles, passant de 365 ± 252 mm2 en basale à 53 ± 106 mm2 après l'ablation du PGOD (p < 0.03). Dans le groupe de dénervation rétrograde, les changements de repolarisation et chronotropiques ont été supprimés suite à l'ablation du PGOD chez deux chiens et suite à l'ablation Ao/VCS chez trois. La valeur de surface du ΔREPOL a aussi diminué après l'ablation du PGOD (269±144mm2 vs 124±158mm2, p<0.05). Conclusion: Les PGOD sont identifiables en préablation par la réponse bradycardique à la stimulation directe dans la plupart des cas. Le PGOD semble former la principale, mais non la seule, voie de communication avec le nœud sinusal. Ces résultats pourraient avoir des implications dans le traitement de la FA par méthodes ablatives.

Le changement de lidentité sociale : une question de discrimination ou de privation relative ?

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Clarté des attributions dans un contexte de changement social : la privation relative comme résultat d'un manque de clarté des attributions par rapport au changement social et ses impacts sur le bien-être psychologique

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Lignes d'argumentation de la littérature relative à la non-initiation, l'arrêt de traitement, et l'euthanasie de patients inaptes

Des décisions médicales en fin de vie sont souvent prises pour des patients inaptes. Nous avons souhaité connaître les argumentations éthiques entourant ces décisions difficiles. Notre objectif était de pouvoir comprendre et apprécier ces lignes d’argumentation. Pour atteindre cet objectif, nous avons répertorié et analysé les lignes argumentatives présentes dans des articles scientifiques, incluant les sections de correspondance et commentaires des journaux savants. Afin d’éviter que les résultats de notre analyse soient trop influencés par les caractéristiques d’un problème médical spécifique, nous avons décidé d’analyser des situations cliniques distinctes. Les sujets spécifiques étudiés sont la non-initiation du traitement antibiotique chez des patients déments souffrant de pneumonie, et l’euthanasie de nouveau-nés lourdement hypothéqués selon le protocole de Groningen. Notre analyse des lignes d’argumentation répertoriées à partir des débats entourant ces sujets spécifiques a révélé des caractéristiques communes. D’abord, les arguments avancés avaient une forte tendance à viser la normativité. Ensuite, les lignes d’argumentation répertoriées étaient principalement axées sur les patients inaptes et excluaient largement les intérêts d’autrui. Nous n’avons trouvé aucune des lignes d’argumentation à visée normative répertoriés concluante. De plus, nous avons trouvé que l’exclusion catégorique d’arguments visant l’intérêt d’autrui des considérations entrainait l’impossibilité d’ évaluer leur validité et de les exclure définitivement de l’argumentaire. Leur présence non-explicite et cachée dans les raisonnements motivant les décisions ne pouvait alors pas être exclue non plus. Pour mieux mettre en relief ces conclusions, nous avons rédigé un commentaire inspiré par les argumentaires avancés dans le contexte de l’arrêt de traitement de Terri Schiavo, patiente en état végétatif persistant. Nous pensons que l’utilisation d’un argumentaire qui viserait davantage à rendre les actions intelligibles, et sans visée normative immédiate, pourrait contribuer à une meilleure compréhension réciproque des participants au débat. Une telle argumentation nous semble aussi mieux adaptée à la complexité et l’unicité de chaque cas. Nous pensons qu’elle pourrait mieux décrire les motivations de tous les acteurs participant à la décision, et ainsi contribuer à une plus grande transparence. Cette transparence pourrait renforcer la confiance dans l’authenticité du débat, et ainsi contribuer à une meilleure légitimation de pratiques cliniques.