Towards an efficient prover for the C1 paraconsistent logic

The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no description of a theorem prover based on the KE method for the C1 paraconsistent logic. Paraconsistent logics have several applications, such as in robot control and medicine. These applications could benefit from the existence of such a prover. We present a sound and complete KE system for C1, an informal specification of a strategy for the C1 prover as well as problem families that can be used to evaluate provers for C1. The C1 KE system and the strategy described in this paper will be used to implement a KE based prover for C1, which will be useful for those who study and apply paraconsistent logics.Comment: 16 page

Novas abordagens para o rastreio do cancro do colo do útero e para a prática clínica

Tese de mestrado, Biologia (Microbiologia Aplicada), 2009, Universidade de Lisboa, Faculdade de CiênciasA infecção persistente por um dos 15 Vírus do Papiloma Humano (HPV) de alto risco é considerada um factor necessário, mas não suficiente, para o desenvolvimento do cancro do colo do útero. Nos últimos anos, tem-se assistido a uma intensa procura de novos métodos moleculares de diagnóstico que permitam diferenciar entre as mulheres cujas lesões vão progredir para carcinoma invasivo e aquelas cujas lesões regredirão espontaneamente. No presente trabalho, foram desenvolvidas e implementadas metodologias de PCR em tempo real para a quantificação da carga viral, o estudo do estado físico do genoma viral na célula hospedeira e a quantificação dos transcritos dos oncogenes virais do HPV 16 e 18, com vista à identificação de indicadores de prognóstico para o desenvolvimento do cancro do colo do útero. A quantificação do DNA do HPV 16 e 18 permitiu identificar uma correlação positiva entre a carga viral e a gravidade da lesão. O estudo do estado físico do DNA do HPV 16 e 18, embora não tenha permitido estabelecer uma relação prognóstica entre o estado físico do DNA viral e o tipo de lesão, permitiu constatar que a integração do DNA do HPV 16 é um acontecimento precoce e que as formas exclusivamente integradas do HPV 18 aumentam com a gravidade da lesão. A quantificação do RNAm do E7 do HPV 16 permitiu estabelecer uma associação positiva entre a expressão dos transcritos virais e o grau da lesão. No caso do HPV 18, o pequeno número de casos estudados não permitiu estabelecer uma correlação. De acordo com os resultados obtidos, para além da tipificação dos HPV de alto risco, a quantificação da carga viral poderá ser um importante biomarcador para a identificação precoce dos casos com maior probabilidade de progressão e desenvolvimento de carcinoma do colo do útero e lesões percursoras.Persistant infection with one of the 15 high-risk human papillomaviruses (HPV) is a necessary but insufficient cause of cervical cancer development. In the last few years, there has been an intense pursuit for new molecular diagnostic methods that allow the differentiation between women whose lesions are destined to progress to invasive carcinoma and those whose lesions will spontaneously regress. In the present study real-time PCR methodologies for viral load quantification, for the assessment of the physical status of HPV DNA in the host genome and for the quantification of viral oncogene transcripts of HPV 16 and 18, were developed and implemented, aiming at finding prognostic indicators for the development of cervical cancer. Although the study of HPV 16 and 18 physical did not allow the establishment of a prognostic association between viral DNA physical status and lesion grade, it did allow the conclusion that HPV 16 DNA integration is an early event and that HPV 18 integrated-only forms increased with lesion severity. HPV 16 E7 mRNA quantification allowed the determination of a positive correlation between the level of viral transcripts expression and lesion grade. In the case of HPV 18, due to small sample size, no correlation was established. According to the results obtained, viral load, in addition to high-risk HPV testing, could become an important biomarker for the early identification of cases with increased probability of progression and development of cervical carcinoma and precursor lesions

Essays on information asymmetry and financial institutions

The thesis consists of three chapters that investigate informational asymmetry mechanisms surrounding financial institutions. In the first chapter, my co-authors and I develop a theoretical model to analyse the effect of competition on the conflict of interest arising from the issuer pay compensation model of the credit rating industry. We find that relative to monopoly, rating agencies are more likely to inflate ratings under competition, resulting in lower expected welfare. These results do not depend on the presence of ratings shopping, but instead focus on the trade-off between maintaining reputation (to increase profits in the future) and inflating ratings today (to increase current profits). In the second chapter, I document a direct link between stock mispricing, as proxied by mutual fund flow-driven price pressure, and corporate investment. One standard deviation increase in stock price pressure leads to an increase of 1.3 percent in investment. High price pressure firms with high investments have lower future stock returns and lower future operational performance than high price pressure firms with low investments. Investment sensitivity to price pressure is stronger for firms that are less financially constrained, firms with high churn rates (shorter horizon) and firms with high R&D intensity (with more opaque assets). Finally, investment sensitivity to price pressure remains positive and significant for firms that do not engage in seasoned equity offerings around the investment period, suggesting there is a channel between stock price pressure and corporate investment that is independent of external financing. The third chapter documents a pronounced market timing ability of institutional investors when it comes to selling individual stocks. Based on more than 8 million institutional trades over the period 1999 to 2009, my co-authors and I document that (i) large (block) sales of institutional investors correlate with future negative excess returns, while stock purchases do not predict positive excess returns at the stock level,(ii) the one-sided successful market timing of block liquidations is more pronounced if the block represents a larger share of the investor portfolio or/and the stock capitalization, (iii) international investors have a weaker one-sided timing ability for block liquidations. The evidence strongly supports the hypothesis that proximity of block holding investors to management provides important inside information advantages

Exploring common but untapped fungal strains from olive trees to be used as biocontrol agents or plant-growth promoting

The use of plant growth promoting microorganisms, which act directly promoting growth or indirectly as agents of biocontrol of diseases, has been gaining importance as a sustainable tool for increasing agricultural production. In this regard, microorganisms that live in association with plants, either on the surface (epiphytes) or inside (endophytes) their tissues, are seen as the most promising. These beneficial properties have been seen mainly at the level of fungi of the order Phaeomoniellales. Therefore, in this work a collection of fourteen isolates of this order previously obtained from olive leaves was characterized. In particular, we proceeded to their molecular identification using a multi-locus approach and to the evaluation of their biotechnological potential to act as biocontrol agent and plant growth promoting fungi in olive tree. The phylogenetic analysis of six loci, namely internal transcribed spacer region (ITS), actin (ACT), chitin synthase 1 (CHS-1), beta tubulin (β-tubulin), translation elongation factor 1-alpha (TEF-1α) and histone H3 (HIS), allowed to assigned isolates into Phaeomoniellales (eight isolates) and Eurotiales (five isolates) order. Curiously, three of the identified species (Celerioriella umnquma, Pseudophaeomoniella globosa and Pseudophaeomoniella oleae) were reported for the first time in Portugal. The same analysis indicated that five isolates, assigned to Penicillium, were previously misidentified. Penicillium species separation was better when ACT, β-tubulin and/or ITS are simultaneously used; while ITS, TEF-1α and β-tubulin was the best set of loci for resolving Pseudophaeomoniella species. The five Penicillium strains were screened for their ability to produce compounds frequently associated to biocontrol and plant growth promotion traits. Although none of the isolates were able to reduce significantly the in vitro growth of the causal agent of olive anthracnose, Colletotrichum fioriniae, it was found that some isolates increased significantly the production of cellulase, amylase and siderophores, when challenged by the pathogen. All five Penicillium isolates were able to solubilize phosphate and to produce indole acetic acid (IAA). Overall, N172, N162 (Penicillium sp. 2) and N299 (Penicillium sp. 3) isolates were the most promising as biocontrol agents and plant growth promotors. Their effect in in planta assays must be conducted in the future.A utilização de microrganismos promotores do crescimento das plantas, que atuam diretamente promovendo o crescimento ou indiretamente como agentes de biocontrolo, têm vindo a ganhar importância como instrumento sustentável para aumentar a produção agrícola. Neste âmbito, os microrganismos que colonizam as plantas, quer na sua superfície (epífitos) quer no interior dos seus tecidos (endófitos), são vistos como os mais promissores. Estas propriedades benéficas foram observadas principalmente ao nível dos fungos da ordem Phaeomoniellales. Assim, neste trabalho caracterizou-se uma coleção de catorze isolados desta ordem previamente obtidos a partir de folhas de oliveira. Em particular, procedeu-se à sua identificação molecular utilizando uma abordagem multi-locus e à avaliação do seu potencial biotecnológico como agente de biocontrolo e promotor de crescimento na oliveira. A análise filogenética de seis loci, nomeadamente região espaçadora transcrita interna (ITS), actina (ACT), quitina sintase 1 (CHS-1), beta tubulina (β-tubulina), fator de alongamento de tradução 1-alfa (TEF-1α) e histona H3 (HIS), permitiu classificar os isolados na ordem Phaeomoniellales (oito isolados) e Eurotiales (cinco isolados). Curiosamente, três das espécies identificadas (Celerioriella umnquma, Pseudophaeomoniella globosa e Pseudophaeomoniella oleae) foram reportadas, pela primeira vez, em Portugal. A mesma análise indicou que cinco isolados, classificados como sendo Penicillium, foram previamente mal identificados. A separação das espécies de Penicillium foi melhor quando os loci ACT, β-tubulina e/ou ITS foram simultaneamente utilizados; enquanto que a combinação ITS, TEF-1α e β-tubulina foi a melhor para separar as espécies de Pseudophaeomoniella. Os cinco isolados de Penicillium foram estudados quanto à sua capacidade de produzir compostos frequentemente associados ao biocontrolo e à promoção de crescimento das plantas. Apesar de nenhum dos isolados ter mostrado capacidade de reduzir significativamente o crescimento do agente causal da gafa, Colletotrichum fioriniae, em condições in vitro, verificou-se que alguns isolados aumentaram significativamente a produção de celulase, amilase e sideróforos, quando estimulados pelo agente patogénico. Todos os cinco isolados de Penicillium foram capazes de solubilizar fosfato e de produzir ácido indolacético (IAA). No geral, N172, N162 (Penicillium sp. 2) e N299 (Penicillium sp. 3) parecem ser os isolados mais promissores como agentes de biocontrolo e promotores de crescimento das plantas. O seu efeito em ensaios com plantas deve ser testado no futuro

INSECTS AS HUMAN FOOD: AN OVERVIEW

Although insects and the products elaborated and/or eliminated by them are used as food source by three thousand traditional societies in over 120 countries, current attitudes of repugnance regarding the con­sumption of edible insects cause that a considerable amount of animal protein becomes unavailable to those individuals who suffer from pro­tein deficiencies. Considering the nutritional qualities that insects have, they should be considered as renewable resources available for sustainable exploitation aiming at reducing the problem of malnutrition and hunger in many parts of the world. Keywords: Entomophagy, food safety, renewable resources, culture, insects.Aunque los insectos y los productos elaborados y/o eliminados por ellos sean utilizados como fuente de alimento por tres mil grupos étnicos en más de 120 países, las actitudes comunes de repugnancia hacía al consumo de insectos comestibles provoca que una cantidad considerable de proteína animal esté indisponible para aquellos individuos que sufren de deficiencias proteicas. Observándose las cualidades nutricionales que los insectos poseen, se debería considerarlos como recursos renovables disponibles para ex­ploración sostenida, así disminuyendo el problema de mala nutrición y el hambre en muchas partes del mundo. Palabras-clave: Entomofagia, seguridad alimentaria, recursos renovables, cultura, insectos.Although insects and the products elaborated and/or eliminated by them are used as food source by three thousand traditional societies in over 120 countries, current attitudes of repugnance regarding the con­sumption of edible insects cause that a considerable amount of animal protein becomes unavailable to those individuals who suffer from pro­tein deficiencies. Considering the nutritional qualities that insects have, they should be considered as renewable resources available for sustainable exploitation aiming at reducing the problem of malnutrition and hunger in many parts of the world. Keywords: Entomophagy, food safety, renewable resources, culture, insects.Embora os insetos e os produtos elaborados e/ou eliminados por eles se­jam usados como fonte de alimento por três mil grupos étnicos em mais de 120 países, as atitudes comuns de repugnância direcionadas ao consumo de insetos comestíveis levam a que uma quantidade considerável de proteína animal fique indisponível para aqueles indivíduos que sofrem de deficiências proteicas. Observando as qualidades nutricionais que os insetos possuem, eles deveriam ser considerados como recursos renováveis disponíveis para exploração sustentável, assim diminuindo o problema de desnutrição e fome em muitas partes do mundo. Palavras-chave: Entomofagia, segurança alimentar, recursos renováveis, cultura, insetos

El Che vive: memory, cinema,art andpolitics

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Inglês: Estudos Linguísticos e Literários, Florianópolis, 2020.Che Guevara, morto há mais de cinquenta anos, surpreende por seu persistente ressurgimento através de imagens. Essa fascinação pelas imagens de Che se explica pelo conceito da ansiedade de lembrar e não-lembrar, fruto da demanda de rememoração e redenção ? no sentido Benjaminiano (LÖWY; BENJAMIN, 2005) ?, a qual é expressa através do olhar fantasmagórico de Che. Tal olhar fantasmagórico é ambivalente podendo potencialmente levar a imaginações artísticas e ações emancipatórias que recriem Che, ou a apropriações capitalistas ou outras formas de tentar controlar as imagens de Che. Na tese, são criadas algumas pontes entre o Marxismo e o pensamento decolonial, tal como entre o conceito de ação criativa Arendtiana (1998), da consciência antecipatória de Bloch (1996) e a cosmovisão ancestral (WILSON, 2001; LACLAU, 2016; ANZALDUA, 2012), e no entendimento amplo do conceito de alienação/fetiche. Diversos exemplos contemporâneos de imaginações artísticas e ações emancipatórias são discutidos, desafiando a retórica de suposta irrelevância política das imagens de Che. Tentativas de apropriação por corporações capitalistas, por um movimento nazista e por um artista gráfico também são discutidos a partir de uma redefinição ampla da teoria da alienação. Um conto e dois poemas de minha autoria sobre Che também são discutidos na tese, assim como cinco filmes: The Last Hours of Che Guevara (THE LAST HOURS, 2016), El Dia que Me Quieras (EL DIA, 1997), El Che de los Gays (EL CHE DE LOS GAYS, 2004), Personal Che (PERSONAL CHE, 2007), and Che! (1969).Abstract:Che Guevara, who died more than fifty years ago, keeps resurging through images. This fascination with Che's images is explained by the concept of the anxiety of remembering and non-remembering, caused by the demand for remembrance and redemption ? in the Benjaminian sense (LÖWY; BENJAMIN, 2005) ?, which is expressed through Che's ghostly look. Such a ghostly look is ambivalent and can potentially lead to artistic imaginations and emancipatory actions that recreate Che, or to capitalist appropriations or other ways of trying to control Che's images. In this doctoral dissertation, some bridges are created between Marxism and decolonial thought, such as between the Arendt?s concept of creative action (ARENDT, 1998), Bloch's anticipatory consciousness (BLOCH, 1996) and cosmovision (WILSON, 2001; LACLAU, 2016; ANZALDUA , 2012), and in the broad understanding of the concept of alienation / fetish. Several contemporary examples of artistic imaginations and emancipatory actions are discussed, challenging the rhetoric of supposed political irrelevance of Che's images. Attempts at appropriation by capitalist corporations, by a Nazi movement and by a graphic artist are also discussed from a plural redefinition of the theory of alienation. A short story and two poems of my own about Che are also discussed in the dissertation, as well as five films: The Last Hours of Che Guevara (THE LAST HOURS, 2016), El Dia que Me Quieras (EL DIA, 1997), El Che de los Gays (EL CHE DE LOS GAYS, 2004), Personal Che (PERSONAL CHE, 2007), and Che! (1969)

A APLICAÇÃO DE HERBICIDAS PRÉ-EMERGENTES NA MODALIDADE PLANTE-E-APLIQUE FAVORECE O CONTROLE DE CARURU E POAIA-BRANCA NA CULTURA DA SOJA

The use of pre-emergent herbicides offers a promising alternative for proper management of difficult-to-control weed species in soybeans, such as white-eye (Richardia brasiliensis Gomes), a glyphosate-tolerant species, and weeds in the Amaranthus genus (commonly referred to as pigweeds). Here, we aimed at determining whether weed control efficacy and crop selectivity are altered when pre-emergent herbicide applications take place either prior to, or right after crop sowing. To this end, field trials were conducted employing 10 preemergent herbicide treatments (plus an untreated control as well as an untreated, weed-free treatment), replicated four times and sprayed either before, or right after soybean sowing. Results indicate that the actual timing of pre-emergent herbicide spraying relative to soybean sowing significantly changed the weed control efficiency set forth by most herbicide active ingredients tested, with no change to their selectivity to crop plants whatsoever. Some herbicides (e.g. diclosulam, mesotrione, flumioxazin, and a flumioxazin + imazethapyr mixture), however, were equally effective for controlling white-eye and pigweeds regardless of application timing. Moreover, the only herbicide treatments allowing for satisfactory (>70%) control of all target weed species (white-eye, pigweeds, and black oats, Avena strigosa Schreb.) were flumioxazin and a flumioxazin + imazethapyr mixture. Spraying performed after sowing resulted in average yield gains of over 600 kg ha-1 relative to pre-sowing applications, possibly owing to better control of broadleaves. Altogether, this information is useful to soybean producers, as it does not lead to an increase in overall costs; instead, it only affects the timing of entry into the area for pre-emergent herbicide application.A utilização de herbicidas pré-emergentes oferece alternativa promissora para o manejo depopulações de plantas daninhas de difícil controle na cultura da soja, como aquelasapresentando tolerância ao herbicida glifosato como a poaia-branca (Richardia brasiliensis).Neste trabalho, objetivamos analisar avaliar possíveis diferenças na eficiência de controle eseletividade à soja quando pré-emergentes são aplicados anteriormente, ou logo após asemeadura da cultura. Para tal, conduziu-se experimento de campo empregando 10herbicidas pré-emergentes (além de testemunhas sem controle e capinadas), com 4repetições e aplicando-se os tratamentos antes ou após a semeadura da soja. Resultadosindicam que o momento de aplicação de herbicidas pré-emergentes em relação à semeadurada soja alterou significativamente a eficiência de controle de alguns ingredientes ativossobre plantas daninhas, porém não afetou a seletividade destes. Contudo, os herbicidasdiclosulam, mesotrione, flumioxazina, e a mistura flumioxazina + imazethapyr foramigualmente eficientes para o controle de poaia-branca e caruru, independentemente domomento de aplicação. Os únicos tratamentos com herbicidas que propiciaram controlesatisfatório (>70%) de todas as espécies avaliadas (poaia-branca, caruru e aveia-preta,Avena strigosa Schreb.) foram flumioxazina, e a mistura flumioxazin + imazethapyr.Aplicações em plante-e-aplique resultaram em ganhos produtivos médios de mais de 600 kgha-1 em relação ao aplique-e-plante, possivelmente devido ao controle superior de plantasdaninhas latifoliadas. Em conjunto, estas informações são úteis ao sojicultor, visto que nãoacarretam elevação no custo de manejo, somente afetando o momento de entrada na áreapara aplicação dos pré-emergentes