This thesis investigates the implications of positive polarity for grammar. The empirical focus is on two positive polarity particles in Sinhala, an Indo-Aryan language spoken in Sri Lanka. Sinhala has two particles -hari and -da that systematically appear across disjunction, indefinite and question constructions. Traditionally, these particles have been called Q-particles (i.e. Hagstrom (1998); Cable (2010); Slade (2011); a.m.o). They have so far been analyzed in terms of either Q-question/-uantifier operators (Kishimoto (2005)) or choice function variables (cf. Hagstrom (1998); Cable (2010); Slade (2011)). This thesis presents new data pertaining to the distribution and interpretation of disjunctions and indefinites formed with the two particles in contexts of negation, modals, quantifiers and intensional operators, that none of the previous accounts has captured. It proposes to analyze the grammar of the two particles based on their positive polarity character associated with exhaustivity (cf. Spector (2014); Nicolae (2017)). It claims that we can account for a wide range of grammatical phenomena such as ignorance inferences, scope or non/specificity effects, free/no choice implicatures and de re/dicto readings of -hari and -da disjunctions/indefinites in matrix and overt modal/quantifier contexts based on a distribution requirement (DR) derived by way of exhaustification with respect to alternatives of a disjunction or indefinite. The thesis casts its proposal in a hybrid system of lexical (cf. Levinson (2000); Chierchia (2004)) and grammatical (cf. Fox (2007); Chierchia et al. (2012)) approaches borrowing insights from both approaches. It also utilizes a hybrid framework of Hamblin semantics (cf. Hamblin (1973); Kratzer and Shimoyama (2002); Alonso-Ovalle (2006)) to keep domain alternatives separated and application of an alternative sensitive exhaustivity (Exh) operator (cf. the grammatical approach) to derive implicatures. Obligatory exhaustivity is treated as a morphological requirement/ lexical property of the particles -hari and -da represented by an uninterpretable exhaustivity [unExh] feature. Then, this lexical property is factored into the grammar by way of the Exh operator carrying an equivalent interpretable exhaustivity [inExh] feature placed in the syntactic structure of a -hari and -da disjunction/indefinite construction at LF. “Inclusivity” and “exclusivity” components of the particles -hari and -da that have consequences for distribution requirements are derived by way of different morpho-syntactic requirements of the particles -hari and -da. Thus, this thesis proposes a fully compositional/grammatical account all the way from the bottom to the top in the derivations.

This study explores a category of expressions akin to not yet, already, still and no longer, called PhasalPolarity (PhP) expressions and builds on the work of Löfgren (2018). PhP expressions encode the domainsof phasal values, polarity and speaker expectations and have previously been described in Europeanlanguages (van der Auwera: 1998) and in a small, genealogically diverse sample (van Baar: 1997).Using reference grammars as the primary source of information the aim of this study is to describe PhPexpressions in Bantu languages. The results confirm the findings in Löfgren (2018), the distribution andbehaviour of PhP expression in Bantu differs from both European languages and the genetically diversesample of van Baar. The markers are found to be morphologically diverse and the verbal morphotax indicatesthat the markers are, or are in the process of, being incorporated into the tense-aspect systemsof their respective language. Furthermore, the cross-linguistic frequency of PhP expressions seem tohave areal or genealogical tendencies.

Folhas apresentam grande diversidade morfológica como resultado de diferentes padrões de desenvolvimento. Embora a forma plana das folhas típicas seja eficiente para sua função de fotossíntese, algumas espécies de Aizoaceae também desenvolveram folhas teretes, com simetria radial e lâmina abaxializada. Para entender os mecanismos de desenvolvimento responsáveis pela geração desses padrões, investigamos a ontogênese de folhas com diferentes morfologias no grupo. Neste trabalho, descrevemos o desenvolvimento foliar em espécies de Aizoaceae, incluindo indivíduos com folhas planas e teretes, utilizando as técnicas usuais de anatomia vegetal. Todas as espécies analisadas têm folhas com base bifacial estabelecida em estágios iniciais de desenvolvimento; no entanto, as espécies com folhas de terete possuem lâminas unifaciais. Com interesse no papel do gene ARP recente duplicado em Aizoaceae, nós investigamos a possível correlação entre o evento de duplicação e o surgimento da morfologia da folha abaxializada em Aizoaceae. Detectamos, por meio de hibridização in situ, que ARP é expresso em todo o primórdio foliar, sugerindo que, em Aizoaceae, este gene está envolvido principalmente na determinação do destino das células foliares. Além disso, demonstramos que a expressão dos ortólogos de ARP em Aizoaceae são capazes de recuperar o fenótipo selvagem de Arabidopsis as1, indicando um alto grau de conservação funcional do gene, mesmo em folhas com uma morfologia tão distinta / Leaves exhibit great morphological diversity as a result of different patterns of development. Although the flat shape of typical leaves is efficient for their photosynthesis function, some Aizoaceae species have also evolved terete leaves, with radial symmetry and abaxialized lamina. In order to understand the development mechanisms responsible for generating such patterns, we investigate the ontogenesis of leaves with different morphologies in the group. In this work, we describe development in Aizoaceae species, including individuals with flat and terete leaves, processed according to usual techniques in plant anatomy. We found that all species have leaves with bifacial base established in early stages of development; however, terete leaved species have unifacial leaf blades. Interested in the role of the recent duplicated ARP gene in Aizoaceae, we investigate the possible correlation between the duplication event and the emergence of the abaxialized leaf morphology in Aizoaceae. We detected, by in situ hybridization assays, that ARP is expressed throughout the leaf primordium, suggesting that in Aizoaceae this gene is involved in the determination of leaf cell fate. In addition, we have shown that the expression of ARP orthologs of Aizoaceae is capable of recovering the wild-type phenotype of Arabidopsis as1, indicating a high degree of functional conservation of the gene, even in leaves with such a distinct morphology

Como intuito de contribuir para a elucidação do mecanismo de quimi-excitação da reação peroxi-oxalato, a transformação quimiluminescente mais eficiente conhecida que envolve a versão intermolecular do mecanismo \"Chemically Initiated Electron Exchange Luminescence\" - CIEEL, foram efetuados estudos cinéticos e determinados os rendimentos quânticos de quimi-excitação desta reação em diferentes solventes e misturas de solventes. A cinética da reação de oxalato de bis-2,4,6-triclorofenila com peróxido de hidrogênio, catalisada por imidazol foi estudada na presença de 9,10-difenilantraceno como ativador (ACT) em diferentes solventes. O comportamento das constantes de velocidade observados em função da polaridade e viscosidade dos solventes indica que o mecanismo dos passos iniciais desta transformação até a formação do intermediário de alta energia (IAE) não sofre modificações drásticas em função das propriedades de solventes, permitindo a escolha de solventes e misturas de solventes adequados para o estudo do mecanismo de quimi-excitação do sistema. A influência da viscosidade sobre os rendimentos quânticos singlete (Φs) e os rendimentos quânticos singlete na concentração infinita do ACT (Φs∞ - obtidos de gráficos duplo recíprocos entre os (Φs) e a [ACT]) foi estudada em misturas entre acetato de etila e ftalato dimetilico (que possuem viscosidades diferentes e parâmetros de polaridade similares, além de levarem a rendimentos quânticos altos), indicando um aumento considerável dos rendimentos quânticos singlete com o aumento da viscosidade do meio. Os dados foram tratados com base nos modelos colisional e friccional, obtendo indicação clara da operação de um efeito de gaiola do solvente no processo de quimi-excitação da reação neste sistema de alta eficiência. A influência da polaridade do meio sobre os parâmetros de quimi-excitação da reação peroxi-oxalato foi analisada, de maneira análoga, em misturas entre tolueno e acetato de etila e entre acetato etila e acetona. Os rendimentos quânticos singlete aumentam inicialmente em função da polaridade do meio até um valor máximo, a partir do qual eles sofrem diminuição com o aumento da polaridade. Este comportamento indica a melhor solvatação dos pares de íons radicais pelo aumento da polaridade de solvente levando ao aumento dos rendimentos, entretanto, polaridades maiores do meio podem levar à formação de pares de íons separados por solvente e íons separados, desta maneira diminuindo a eficiência da quimi-excitação. Os parâmetros de quimiluminescência da reação peroxi-oxalato foram ainda estudados em uma série de solventes puros com diferentes valores de polaridade e viscosidade. Os rendimentos quânticos obtidos foram correlacionados com os parâmetros de viscosidade, polaridade e polarizabilidade, utilizando-se uma regressão linear múltipla. Deste ajuste se pode confirmar que a viscosidade exerce a maior influência sobre os rendimentos quânticos e o aumento da polaridade contribui também para maiores rendimentos, entretanto, os parâmetros de ajuste contêm erros muito grandes devido à dispersão dos valores. Contrariamente, o aumento da polarizabilidade do meio parece diminuir a eficiência de quimi-excitação. / In order to contribute to the elucidation of the chemiexcitation mechanism of peroxyoxalate reaction, the most efficient chemiluminescence reaction known that involves the intermolecular \"Chemically Initiated Electron Exchange Luminescence\" - CIEEL mechanism, kinetically studies were performed and chemiexcitation quantum yields determined in different solvents and solvent mixtures. The reaction kinetics of bis(2,4,6-trichlorophenyl) oxalate with hydrogen peroxide catalyzed by imidazole in the presence of 9,10-diphenylanthracene as an activator (ACT) was studied in different solvents. The behavior of the observed rate constants in function of solvents polarity and viscosity indicates that the initials reaction steps leading to high energy intermediate formation (HEI) do not change drastically in function of the solvent properties, allowing to choose suitable solvents and solvent mixtures for a study of its the chemiexcitation mechanism. The viscosity influence on the singlet quantum yields (Φs) and singlet quantum yields at infinite ACT concentration (Φs∞ - obtained from double reciprocal plots between Φs and [ACT]) was studied in mixtures of ethyl acetate and dimethyl phthalate (which have different viscosities and similar polarity parameters), indicating a considerable increasing in singlet quantum yields with the increasing of medium viscosity. Data were analyzed by the collisional and the free volume model, which clearly indicates the occurrence of a solvent cage effect in the chemiexcitation process of this high efficient system. The influence of medium polarity on the chemiexcitation parameters of the peroxyoxalate reaction were studied, in a similar way, in mixtures of toluene and ethyl acetate and in mixtures of ethyl acetate and acetone. Singlet quantum yields increase in function of medium polarity for low polar solvents, reaching a maximum value, where a further polarity increase leads to a decrease in quantum yields. This behavior indicates better solvation of radical íon pairs by solvent polarity increase, leading to increased quantum yields, however, higher solvent polarities can lead to the formation of solvent separated ion pairs and individually solvate ions, thereby decreasing chemi-excitation efficiency. Chemiluminescence parameters of the peroxyoxalate reaction were also studied in pure solvents with different viscosities and polarities. The obtained singlet quantum yields were correlated with viscosity, polarity and polarizability parameters by multiple linear regression analysis. The correlations obtained show that viscosity exerts the most significant influence on the quantum yields and an increase in solvent polarity also contributes to higher quantum yields; however, these fitting parameters possess high standard deviations due to the considerable dispersion of quantum yield values. Contrary, an increase in medium polarizability appears to decrease the chemi-excitation efficiency.

Uma reação relativamente simples vem auxiliando cada vez mais uma variedade de aplicações analíticas na determinação de diversos compostos. A reação peroxioxalato, que produz o fenômeno de quimiluminescência, pode identificar compostos como peróxido de hidrogênio e compostos orgânicos fluorescentes presentes em diferentes meios. O estudo dessa reação em líquidos iônicos utilizados como solvente se torna cada vez mais interessante, por se tratar de solventes verdes, beneficiando assim o meio ambiente. Neste projeto, foi estudado a reação de oxalato de bis(2,4,6-triclorofenila) (TCPO) com peróxido de hidrogênio, em 1,2-dimetoxietano (DME), carbonato de propileno (CP) e misturas binárias de líquido iônico e DME, catalisada por imidazol. Dois líquidos iônicos (LIs) foram utilizados, sendo eles o tetrafluoroborato de 1-butil-3-metilimidazólio (BuMeImBF4) e o tetrafluoroborato de 1-decil-3-metilimidazólio (DecMeImBF4). As misturas binárias foram preparadas com até 50% de sua composição constituída de LI, definindo assim diferentes condições experimentais no estudo da reação, podendo ser aproveitado em futuras aplicações analíticas. Estudos cinéticos mostraram que o imidazol age não somente como catalisador básico mas também nucleofílico, tanto nos solventes orgânicos puros quanto nos meios contendo LI. Nos solventes puros e nas misturas binárias destes com líquidos iónicos determinaram-se os valores das constantes de velocidade observadas (kobs) e os rendimentos quânticos singlete (ΦS). Os valores de kobs se tornam maiores nas misturas contendo LI em sua composição, entretanto, os valores de ΦS não sofrem alteração significativa, mostrando uma leve tendência de diminuição. A determinação dos parâmetros de polaridade e viscosidade das misturas binárias DME/LI mostra que ambos aumentam com o aumento da concentração do LI. A baixa sensibilidade dos rendimentos quânticos à composição dos meios DME/LI pode ser entendida por um efeito de composição da viscosidade e polaridade do meio. Enquanto o aumento da viscosidade deve aumentar a eficiência de quimiexcitação, o aumento da polaridade pode levar à diminuição do rendimento devido a separação dos íons radicais envolvidos no passo de quimiexcitação ocorrendo pelo mecanismo CIEEL (Chemically Initiated Electron Exchange Luminescence). De acordo com os estudos realizados, foi demonstrado que a reação peroxioxalato pode ser conduzida em meios contendo líquidos iônicos, favorecendo assim uma maior utilização destes solventes verdes. / A relatively simple chemical reaction has increasingly shown utility in a variety of analytical applications for the determination of various compounds. The peroxyoxalate reaction, which produces the chemiluminescence phenomenon, can be used to identify and quantify several compounds, such as hydrogen peroxide and fluorescent organic compounds in different reaction media. The study of this reaction in media containing ionic liquids is of increasing interest, because of its possible utilization as \"green\", environmental compatible, solvents in analytical assays. In this project, the kinetics of the imidazole catalyzed reaction of bis(2,4,6- trichlorophenyl) oxalate (TCPO) with hydrogen peroxide in 1,2-dimethoxyethane (DME), propylene carbonate (CP) and binary mixtures of ionic liquids and DME, is studied, using the two ionic liquids (LIs) 1-butyl-3-methylimidazolium tetrafluoroborate (BuMeImBF4) and 1- decyl-3-methylimidazolium tetrafluoroborate (DecMeImBF4). The binary mixtures were prepared with up to 50% of their composition consisting of LI, thus, defining different experimental conditions in the study of the reaction, which could be used in future analytical applications. Kinetic studies show that imidazole acts not only as base, but also studied as nucleophilic catalyst, in molecular solvents as well as in LI-containing media. In the binary mixtures studied, the values of the observed rate constants (kobs) and singlet quantum yields (ΦS) were determined. The kobs values are higher in mixtures containing LIs in their composition, however, ΦS values do not change significantly, showing only a slight tendency to decrease. The determination of the polarity and viscosity parameters of the binary DME / LI mixtures shows that both increase with increasing LI concentration. The low sensitivity of quantum yields to the composition of the DME / LI media can be understood by a combined medium effect of the viscosity and polarity. While increased viscosity should increase the efficiency of chemiexcitation, increased polarity may lead to decreased quantum yields due to separation of the radical ions involved in the chemiexcitation step occurring by the Chemically Initiated Electron Exchange Luminescence (CIEEL) mechanism. According to the studies, it has been demonstrated that the peroxyoxalate reaction can be conducted in media containing ionic liquids, indicating that analyical assays with the peroxyoxalate reaction migt be performed in these \"green\" solvents.

La polarité apico-basale des cellules épithéliales est requise pour le développement de l’épithélium, le maintien de son intégrité et sa fonction. Elle est définie par les relations dynamiques d’un réseau de protéines de polarité qui se localisent asymétriquement et s’excluent mutuellement pour déterminer les différents domaines corticaux. Le complexe Crumbs (Crb) est un déterminant clé du domaine apical, essentiel et suffisant pour sa définition. Patj, une protéine contenant un domaine L27 et 4 domaines PDZ, a été identifiée comme faisant partie biochimiquement du complexe Crb (via Stardust), mais sa fonction reste à préciser. Au cours de ma thèse j’ai analysé la fonction Patj chez la drosophile. La mutation Patj est létale et induit une perte de Crb de la membrane apicale dans l’épithélium folliculaire, mais pas dans l’embryon. La fonction de Patj est donc tissu spécifique. J’ai pu mettre en évidence que Patj régule positivement Crb et que les domaines PDZ1 ou PDZ4 associés au domaine L27 sont suffisants pour la fonction de Patj. J’ai de plus tenté de déterminer comment Patj régule Crb à l’échelle moléculaire. Tout d’abord, l’analyse fonctionnelle in vivo suggère que Patj régulerait la stabilité de Crb indirectement en favorisant le recrutement d’autres déterminants du domaine apical au sein du complexe. Ensuite, des approches biochimiques et génétiques ont permis de montrer qu’en plus d’interagir indirectement avec Crb, Patj interagit aussi directement via ces domaines PDZ1 et PDZ4. Ces données permettent de proposer un modèle mécanistique dans lequel Patj en liant à la fois Sdt et Crb formerait des dimères de Crb, qui en association avec sa dimèrisation extracellulaire déjà connue permettrait la formation d’oligomères de Crb à la membrane apicale. L’oligomérisation de Crb favoriserait son activité de déterminant apical. De plus, j’ai observé une redondance entre Patj et Lin-7, un autre membre du complexe Crb, dans la polarité apico-basale, une telle fonction pour Lin-7 n’ayant pas encore été reportée. Ainsi, mes travaux apportent de nouveaux éléments pour la compréhension de la polarité épithéliale. / Apico-basal polarity is required for epithelium development, function and integrity. Polarization is defined by a network of polarity proteins that are localized asymmetrically and the dynamic interplay between them. Crb is a key determinant of the apical domain, necessary and sufficient for its identity. Patj, a protein containing a L27 domain and four PDZs domains, has been identified as a core component of the Crb complex, as it interacts with Crb through Sdt. But its function remains elusive. During my thesis I investigated Patj function in Drosophila. Patj mutation is lethal and induces a decrease of Crb from the apical domain in the follicular epithelium, but not in embryonic epithelium. Thus, Patj function is tissue-specific. Patj positively regulates Crb, and the PDZ1 or PDZ4 together with the L27 domain of Patj are sufficient for its function. Then, I focused on the molecular mechanism underlying Crb regulation. In vivo analysis suggests that Patj regulates Crb stability indirectly by modulating its ability to recruit apical proteins. Biochemical and genetics analyses allow showing that in addition of its indirect interaction through Sdt, Patj interacts directly with Crb through its PDZ1 and PDZ4. Extra-cellular dimerisation of Crb is involved in a feedback promoting its apical localization. Patj with Crb direct interaction could participate to this feedback via an intra- cellular dimerisation, allowing Crumbs oligomerisation at the apical membrane. In addition, I have seen that Patj is redundant with Lin-7, another core component of Crb complex, for apico- basal polarity. In conclusion my thesis work provides new clues for the understanding of epithelial polarity regulation.

Submitted by Marilene Donadel (marilene.donadel@unioeste.br) on 2019-03-22T20:26:53Z No. of bitstreams: 1 Taianne_Santos_2018.pdf: 3173420 bytes, checksum: 18942f680866870efd7ed25716d1d429 (MD5) / Made available in DSpace on 2019-03-22T20:26:53Z (GMT). No. of bitstreams: 1 Taianne_Santos_2018.pdf: 3173420 bytes, checksum: 18942f680866870efd7ed25716d1d429 (MD5) Previous issue date: 2018-12-13 / This work reports the use of two oxazolonic derivatives, 4- (4- (N, N) dimethylaminobenzylidene) -2-phenyl-1,3-oxazol-5 (4H) -one (AZA2) and 4- (4- nitrobenzylidene) -2-phenyl-1,3-oxazol-5 (4H) -one (AZA8) as fluorescent probes in the detection of histamine. However, these compounds showed low reactivity of the oxazolonic nucleus against the analyte under mild conditions. Therefore, taking advantage of the absorptive and emissive properties of the oxazolonic derivatives, it was thought to use these derivatives as solvatochromic probes in the investigation of pure solvents. Thus, in addition to the aforementioned derivatives (AZA2 and AZA8), two further derivatives for this purpose were also tested for 4- (4-methoxy-benzylidene) -2-phenyl-1,3-oxazol-5 (4H) - (AZA10) and 4- (3-chlorobenzylidene) -2-phenyl-4H-oxazol-5-one (AZA13). Using the multiparametric strategies of KamletAbboud-Taft (KAT) and Catalán, it was verified that the parameter that has the greatest influence on the solvatocromic behavior was the polarizability. / Este trabalho relata inicialmente o emprego de dois derivados oxazolônicos, 4-(4-(N,N)-dimetilaminobenzilideno)-2-fenil-1,3-oxazol-5(4H)-ona (AZA2) e 4-(4-nitrobenzilideno)-2-fenil-1,3-oxazol-5(4H)-ona (AZA8) como sondas fluorescentes na detecção de histamina. Entretanto esses compostos apresentaram baixa reatividade do núcleo oxazolônico frente ao analito em condições amenas. Logo, aproveitando-se das propriedades absortivas e emissivas dos derivados oxazolônicos, pensou-se na utilização destes derivados como sondas solvatocrômicas na investigação de solventes puros. Assim, além dos derivados já mencionados (AZA2 e AZA8), foram testados também mais dois outros derivados para esta finalidade, o 4- (4-metoxi-benzilideno) -2-fenil-1,3oxazol-5 (4H) –ona (AZA10) e 4- (3-clorobenzilideno) -2-fenil-4H-oxazol-5-ona (AZA13). Utilizando-se das estratégias multiparamétricas de KamletAbboud-Taft (KAT) e Catalán, verificou-se que o parâmetro que possui maior influência no comportamento solvatocrômico foi a polarizabilidade.

Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2016-11-29T11:29:01Z No. of bitstreams: 1 Gabriela Serfaty.pdf: 2014763 bytes, checksum: c3647437aeb6d7ed7a59b9789cf067e6 (MD5) / Made available in DSpace on 2016-11-29T11:29:01Z (GMT). No. of bitstreams: 1 Gabriela Serfaty.pdf: 2014763 bytes, checksum: c3647437aeb6d7ed7a59b9789cf067e6 (MD5) Previous issue date: 2016-10-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work investigates the listening of suffering in psychiatry, taking into account its politics thickness. Such thickness proposes thinking suffering as a nomadic character that invites us to experience other kinds of suffering that are not submitted to the polarization regime, that leads, historically, the field of psychiatry. It is known that the insistence on capturing this character inside the fields of knowledge withdraws its affirmative power. This operation, performed very often by psychiatry, gives to suffering a strictly negative place, which justifies submitting it to the nomination, medicalization and "disposal", enclosing it into diagnostic categories. We can think of suffering as something invented according to the needs of each era - result of several versions, impossible to be totalized. For a minor listening takes us beyond the polarization game, inhabiting this between, which is the incorporation of biological and social, where suffering can be asserted without anchoring into a single truth. The proposal is to fish other thicknesses of psychological distress, which change according to the context, and bring news of worlds to come / Este trabalho procura investigar a escuta do sofrimento na psiquiatria levando em consideração sua espessura política. Trata-se de investigar outros modos de sofrer que não estejam submetidos ao regime de polarização que rege, historicamente, o campo da psiquiatria. Sabe-se que a insistência em capturar o sofrimento no interior de campos de saber retira dele sua potência afirmativa. Esta operação, executada com muita frequência pela psiquiatria, confere ao sofrimento um lugar estritamente negativo, o que justifica submetê-lo à nomeação, medicalização e “eliminação”, enclausurando-o em categorias diagnósticas. Podemos pensar o sofrimento como algo inventado de acordo com as necessidades de cada época – fruto de diversas versões, impossível de ser totalizado. Por uma escuta menor nos transporta para além do jogo da polarização, habitando este entre, que é a incorporação do biológico e do social, onde o sofrimento pode ser afirmado sem que se ancore em uma única verdade. A proposta é explorar outras dimensões do sofrimento psíquico, que se modificam de acordo com o contexto, e que trazem notícias de mundos por vir

O problema de fatorar e decompor funções Booleanas é Σ-completo2 para funções gerais. Algoritmos eficientes e exatos podem ser criados para classes de funções existentes como funções read-once, disjoint-support decomposable e read-polarity-once. Uma forma fatorada é chamada de read-once (RO) se cada variável aparece uma única vez. Uma função Booleana é RO se existe uma forma fatorada RO que a representa. Por exemplo, a função representada por =12+134+135 é uma função RO, pois pode ser fatorada em =1(2+3(4+5)). Uma função Booleana f(X) pode ser decomposta usando funções mais simples g e h de forma que ()=ℎ((1),2) sendo X1, X2 ≠ ∅, e X1 ∪ X2 = X. Uma decomposição disjunta de suporte (disjoint-support decomposition – DSD) é um caso especial de decomposição funcional, onde o conjunto de entradas X1 e X2 não compartilham elementos, i.e., X1 ∩ X2 = ∅. Por exemplo, a função =12̅̅̅3+123̅̅̅ 4̅̅̅+12̅̅̅4 é DSD, pois existe uma decomposição tal que =1(2⊕(3+4)). Uma forma read-polarity-once (RPO) é uma forma fatorada onde cada polaridade (positiva ou negativa) de uma variável aparece no máximo uma vez. Uma função Booleana é RPO se existe uma forma fatorada RPO que a representa. Por exemplo, a função =1̅̅̅24+13+23 é RPO, pois pode ser fatorada em =(1̅̅̅4+3)(1+2). Esta tese apresenta quarto novos algoritmos para síntese de funções Booleanas. A primeira contribuição é um método de síntese para funções read-once baseado em uma estratégia de divisão-e-conquista. A segunda contribuição é um algoritmo top-down para síntese de funções DSD baseado em soma-de-produtos, produto-de-somas e soma-exclusiva-de-produtos. A terceira contribuição é um método bottom-up para síntese de funções DSD baseado em diferença Booleana e cofatores. A última contribuição é um novo método para síntese de funções RPO que é baseado na análise de transições positivas e negativas. / The problem of factoring and decomposing Boolean functions is Σ-complete2 for general functions. Efficient and exact algorithms can be created for an existing class of functions known as read-once, disjoint-support decomposable and read-polarity-once functions. A factored form is called read-once (RO) if each variable appears only once. A Boolean function is RO if it can be represented by an RO form. For example, the function represented by =12+134+135 is a RO function, since it can be factored into =1(2+3(4+5)). A Boolean function f(X) can be decomposed using simpler subfunctions g and h, such that ()=ℎ((1),2) being X1, X2 ≠ ∅, and X1 ∪ X2 = X. A disjoint-support decomposition (DSD) is a special case of functional decomposition, where the input sets X1 and X2 do not share any element, i.e., X1 ∩ X2 = ∅. Roughly speaking, DSD functions can be represented by a read-once expression where the exclusive-or operator (⊕) can also be used as base operation. For example, =1(2⊕(4+5)). A read-polarity-once (RPO) form is a factored form where each polarity (positive or negative) of a variable appears at most once. A Boolean function is RPO if it can be represented by an RPO factored form. For example the function =1̅̅̅24+13+23 is RPO, since it can factored into =(1̅̅̅4+3)(1+2). This dissertation presents four new algorithms for synthesis of Boolean functions. The first contribution is a synthesis method for read-once functions based on a divide-and-conquer strategy. The second and third contributions are two algorithms for synthesis of DSD functions: a top-down approach that checks if there is an OR, AND or XOR decomposition based on sum-of-products, product-of-sums and exclusive-sum-of-products inputs, respectively; and a method that runs in a bottom-up fashion and is based on Boolean difference and cofactor analysis. The last contribution is a new method to synthesize RPO functions which is based on the analysis of positive and negative transition sets. Results show the efficacy and efficiency of the four proposed methods.

Le symporteur sodium iodure (NIS), une glycoprotéine membranaire, connue pour son rôle dans la biosynthèse des hormones thyroïdiennes, catalyse le transport actif de l’iodure dans la thyroïde. Cette activité de transport lui confère des propriétés à la base du diagnostic, du suivi par imagerie radio-isotopique et du traitement par radiothérapie à l’iode 131 des cancers thyroïdiens. Plusieurs études ont montré une expression de NIS dans un grand nombre de cancers non-thyroïdiens, où il présente en général un défaut d’adressage membranaire. Nous avons identifié une nouvelle fonction biologique de NIS, indépendante de sa fonction de transport, dans la migration et l’invasion cellulaires via une activation de la GTPase RhoA connue pour son implication dans l’oncogenèse. Nous montrons également que NIS est une protéine associée aux jonctions serrées qui transite rapidement dans le cytoplasme ou au front de migration des cellules motiles. Cette étude révèle un nouveau rôle de NIS dans la carcinogenèse et dévoile certains facteurs qui gouvernent le trafic intracellulaire de NIS. / The Natrium iodide symporter (NIS) is a transmembrane glycoprotein known for its role in thyroid hormones biosynthesis, catalyzes active iodide transport in the thyroid. The iodide transport activity of NIS allows its clinical applications for diagnosis, follow-up using radio-isotopic imaging and treatment by 131I radiotherapy of thyroid cancers. Several studies described NIS expression in non thyroidal tumour tissues frequently displaying a cytoplasmic localization. In the current study, we reveal that, independently to its transport activity, NIS habors new biological functions in migration and invasion through RhoGTPase signalling pathway, a pathway involved in carcinogenesis. In addition, we establish that NIS is a tight junction-associated protein, which dynamically shuttles between tight junctions and cytoplasm during cell migration, and localizes at the leading edge of the metastatic cancer cells. Overall, these findings offer a novel appraisal of the potential role of NIS in carcinogenesis, and of the factors governing NIS intracellular trafficking.