Analogical proportions and the factorization of information in distributive lattices

International audienceAnalogical proportions are statements involving four enti- ties, of the form 'A is to B as C is to D'. They play an important role in analogical reasoning. Their formalization has received much attention from different researchers in the last decade, in particular in a proposi- tional logic setting. Analogical proportions have also been algebraically defined in terms of factorization, as a generalization of geometric nu- merical proportions (that equate ratios). In this paper, we define and study analogical proportions in the general setting of lattices, and more particularly of distributive lattices. The decomposition of analogical pro- portions in canonical proportions is discussed in details, as well as the resolution of analogical proportion equations, which plays a crucial role in reasoning. The case of Boolean lattices, which reflects the logical mod- eling, and the case corresponding to entities described in terms of gradual properties, are especially considered for illustration purposes

La proportion analogique dans les groupes. Application aux permutations et aux matrices.

Ce rapport de recherche étudie la notion de proportion analogique entre quatre éléments d'un groupe, en respectant les axiomes proposés par Lepage [1] et en suivant aussi la notion de factorisation, donnée comme fondamentale par Stroppa et Yvon pour dénir la proportion analogique [2]. On montre d'abord qu'en général, l'équation analogique n'a pas de solution dans un groupe non commutatif. On s'intéresse ensuite aux conditions que doivent respecter trois éléments pour qu'il existe un quatrième en proportion analogique avec eux. Ces conditions sont présentées de diérentes manières, que l'on démontre comme équivalentes. On dénit ensuite la notion de dissemblance analogique à partir d'une distance sur le groupe. On s'intéresse ensuite au cas particulier du groupe des permutations sur un ensemble à n éléments. On caractérise les conditions d'existence et on montre comment construire des proportions analogiques à partir de deux éléments et on en dénombre les cas possibles. On présente une distance sur le groupe et on en déduit une dissimilarité analogique entre quatre permutations. Pour terminer, on étudie le groupe des matrices inversibles. On caractérise les conditions d'existence et on montre comment construire des proportions analogiques à partir de deux matrices. Quelques cas particuliers sont présentés. Enn, on dénit une dissimilarité analogique entre quatre matrices

Évaluation expérimentale d'un système statistique de synthèse de la parole, HTS, pour la langue française

Les travaux présentés dans cette thèse se situent dans le cadre de la synthèse de la parole à partir du texte et, plus précisément, dans le cadre de la synthèse paramétrique utilisant des règles statistiques. Nous nous intéressons à l'influence des descripteurs linguistiques utilisés pour caractériser un signal de parole sur la modélisation effectuée dans le système de synthèse statistique HTS. Pour cela, deux méthodologies d'évaluation objective sont présentées. La première repose sur une modélisation de l'espace acoustique, généré par HTS par des mélanges gaussiens (GMM). En utilisant ensuite un ensemble de signaux de parole de référence, il est possible de comparer les GMM entre eux et ainsi les espaces acoustiques générés par les différentes configurations de HTS. La seconde méthodologie proposée repose sur le calcul de distances entre trames acoustiques appariées pour pouvoir évaluer la modélisation effectuée par HTS de manière plus locale. Cette seconde méthodologie permet de compléter les diverses analyses en contrôlant notamment les ensembles de données générées et évaluées. Les résultats obtenus selon ces deux méthodologies, et confirmés par des évaluations subjectives, indiquent que l'utilisation d'un ensemble complexe de descripteurs linguistiques n'aboutit pas nécessairement à une meilleure modélisation et peut s'avérer contre-productif sur la qualité du signal de synthèse produit.The work presented in this thesis is about TTS speech synthesis and, more particularly, about statistical speech synthesis for French. We present an analysis on the impact of the linguistic contextual factors on the synthesis achieved by the HTS statistical speech synthesis system. To conduct the experiments, two objective evaluation protocols are proposed. The first one uses Gaussian mixture models (GMM) to represent the acoustical space produced by HTS according to a contextual feature set. By using a constant reference set of natural speech stimuli, GMM can be compared between themselves and consequently acoustic spaces generated by HTS. The second objective evaluation that we propose is based on pairwise distances between natural speech and synthetic speech generated by HTS. Results obtained by both protocols, and confirmed by subjective evaluations, show that using a large set of contextual factors does not necessarily improve the modeling and could be counter-productive on the speech quality.RENNES1-Bibl. électronique (352382106) / SudocSudocFranceF

Corpus design for expressive speech: impact of the utterance length

International audienceVoice corpus plays a crucial role in the quality of the synthetic speech generation, specially under a length constraint. Creating a new voice is costly and the recording script selection for an expressive TTS task is generally considered as an optimization problem in order to achieve a rich and parsimonious corpus. In order to vocalize a given book using a TTS system, we investigate four script selection approaches. Based on preliminary observations, we simply propose to select shortest utterances of the book and compare the achievements of this method with state of the art ones for two books, with different utterance lengths and styles, using two kinds of concatenation based TTS systems. The study of the TTS costs indicates that selecting the shortest utterances could result in better synthetic quality, which is confirmed by a perceptual test. By investigating usual criteria for corpus design in literature like unit coverage or distribution similarity of units, it turns out that they are not pertinent metrics in the framework of this study

Analogical proportions in a lattice of sets of alignments built on the common subwords in a finite language

International audienceWe define the locally maximal subwords and locally min- imal superwords common to a finite set of words. We also define the corresponding sets of alignments. We give a partial order relation between such sets of alignments, as well as two operations between them. We show that the constructed family of sets of alignments has the lattice structure. The study of analogical proportion in lattices gives hints to use this structure as a machine learning basis, aiming at inducing a generalization of the set of words

Stationary Solution to the Fluid Queue Fed by an M/M/1 Queue

We consider an infinite capacity buffer receiving fluid at a rate depending on the state of an M/M/1 queue. We obtain a new analytic expression for the joint stationary distribution of the buffer level and the state of the M/M/1 queue. This expression is obtained by the use of generating functions which are explicitly inverted. The case of a finite capacity fluid queue is also considered

Files d'attente fluides en environnement markovien

RENNES1-BU Sciences Philo (352382102) / SudocSudocFranceF

RE: Circulating Adipokines and Inflammatory Markers and Postmenopausal Breast Cancer Risk

International audienceObesity is a risk factor for breast cancer in postmenopausal women. In their recent article, Gunter et al. found that associations between breast cancer risk and circulating levels of adipokines were null to modest. Importantly, they underscored that adipokines primarily function in a paracrine manner. Hence, adipokine plasma levels might be a poor surrogate for breast tissue levels (1). This is reminiscent of the situation observed with vitamin D. Obesity is inversely associated with vitamin D levels (2), and vitamin D inadequacy is observed in postmenopausal women (2). Moreover, 1,25-dihydroxyvitamin D (1,25D), the active metabolite of vitamin D, limits adipose tissue inflammation and suppresses leptin stimulation of cancer growth (3). As for adipokines, studies that have investigated the association between circulating levels of vitamin D and breast cancer risk gave mixed results (4,5). Could vitamin D and adipokines be two faces of the same coin? Vitamin D is barely active and requires two successive hydroxylations to produce 1,25D. The first hydroxylation is catalyzed in the liver by CYP2R1, the second one in the kidney by CYP27B1. This is the vitamin D endocrine system in which 1,25D is released in blood circulation and controls calcium homeostasis and skeletal health. Circulating 25(OH)-vitamin D levels between 50 and 75 nmol/L are considered indicative of vitamin D sufficiency. A paradigm shift recently occurred with the discovery of autocrine/paracrine vitamin D signaling in many tissues. In autocrine/paracrine systems, molecules are produced, act, and are degraded locally. Therefore, the autocrine/paracrine vitamin D signaling does not affect circulating levels of vitamin D metabolites. Two important features of the autocrine/paracrine vitamin D system are: 1) the regulation of CYP2R1 and CYP27B1 expression by inflammatory stimuli (6) and 2) the local storage of vitamin D in fat tissue (6). Hence, hydroxylated metabolites of vitamin D can be produced locally in response to inflammatory stimuli if sufficient local storage of vitamin D exists. Note that vitamin

Difficultés d'interprétation du taux d'HbA1c (situations en physiologie et en pathologie. A propos d'un cas clinique.)

STRASBOURG-Medecine (674822101) / SudocPARIS-BIUM (751062103) / SudocSudocFranceF

Proportions analogiques et factorisation de l'information dans les treillis distributifs

National audienceLes proportions analogiques sont des énoncés portant sur quatre entités de la forme "A est à B comme C est à D". Elles jouent un rôle important en raisonnement analogique. Leur formalisation a été l'objet de différents travaux dans la dernière décade, en particulier dans le cadre de la logique propositionnelle. Les proportions analogiques ont été aussi définies algébriquement en termes de factorisation, comme une généralisation des proportions numériques géométriques. Dans cet article, on définit et étudie les proportions analogiques dans le cadre général des treillis, et plus particulièrement des treillis distributifs. La décomposition des proportions analogiques en proportions canoniques est discutée en détail, tout comme la résolution d' équations sur des proportions analogiques, qui joue un rôle crucial dans le raisonnement. Le cas des treillis booléens, qui reflète la modélisation logique, et le cas correspondant à des entités d écrites en termes de propriétés graduelles, sont aussi considérés à des fins d'illustration