Strategic bidding in electricity markets: an agent-based simulator with game theory for scenario analysis

Electricity markets are complex environments, involving a large number of different entities, with specific characteristics and objectives, making their decisions and interacting in a dynamic scene. Game-theory has been widely used to support decisions in competitive environments; therefore its application in electricity markets can prove to be a high potential tool. This paper proposes a new scenario analysis algorithm, which includes the application of game-theory, to evaluate and preview different scenarios and provide players with the ability to strategically react in order to exhibit the behavior that better fits their objectives. This model includes forecasts of competitor players’ actions, to build models of their behavior, in order to define the most probable expected scenarios. Once the scenarios are defined, game theory is applied to support the choice of the action to be performed. Our use of game theory is intended for supporting one specific agent and not for achieving the equilibrium in the market. MASCEM (Multi-Agent System for Competitive Electricity Markets) is a multi-agent electricity market simulator that models market players and simulates their operation in the market. The scenario analysis algorithm has been tested within MASCEM and our experimental findings with a case study based on real data from the Iberian Electricity Market are presented and discussed.

Optimal controllers with complex order derivatives

This paper studies the optimization of complex-order algorithms for the discrete-time control of linear and nonlinear systems. The fundamentals of fractional systems and genetic algorithms are introduced. Based on these concepts, complexorder control schemes and their implementation are evaluated in the perspective of evolutionary optimization. The results demonstrate not only that complex-order derivatives constitute a valuable alternative for deriving control algorithms, but also the feasibility of the adopted optimization strategy.

Towards a unified theory of health-disease: II. Holopathogenesis

This article presents a systematic framework for modeling several classes of illness-sickness-disease named as Holopathogenesis. Holopathogenesis is defined as processes of over-determination of diseases and related conditions taken as a whole, comprising selected facets of the complex object Health. First, a conceptual background of Holopathogenesis is presented as a series of significant interfaces (biomolecular-immunological, physiopathological-clinical, epidemiological-ecosocial). Second, propositions derived from Holopathogenesis are introduced in order to allow drawing the disease-illness-sickness complex as a hierarchical network of networks. Third, a formalization of intra- and inter-level correspondences, over-determination processes, effects and links of Holopathogenesis models is proposed. Finally, the Holopathogenesis frame is evaluated as a comprehensive theoretical pathology taken as a preliminary step towards a unified theory of health-disease.

Theory and phenomenology of two-higgs-doublet models

We discuss theoretical and phenomenological aspects of two-Higgs-doublet extensions of the Standard Model. In general, these extensions have scalar mediated flavour changing neutral currents which are strongly constrained by experiment. Various strategies are discussed to control these flavour changing scalar currents and their phenomenological consequences are analysed. In particular, scenarios with natural flavour conservation are investigated, including the so-called type I and type II models as well as lepton-specific and inert models. Type III models are then discussed, where scalar flavour changing neutral currents are present at tree level, but are suppressed by either a specific ansatz for the Yukawa couplings or by the introduction of family symmetries leading to a natural suppression mechanism. We also consider the phenomenology of charged scalars in these models. Next we turn to the role of symmetries in the scalar sector. We discuss the six symmetry-constrained scalar potentials and their extension into the fermion sector. The vacuum structure of the scalar potential is analysed, including a study of the vacuum stability conditions on the potential and the renormalization-group improvement of these conditions is also presented. The stability of the tree level minimum of the scalar potential in connection with electric charge conservation and its behaviour under CP is analysed. The question of CP violation is addressed in detail, including the cases of explicit CP violation and spontaneous CP violation. We present a detailed study of weak basis invariants which are odd under CP. These invariants allow for the possibility of studying the CP properties of any two-Higgs-doublet model in an arbitrary Higgs basis. A careful study of spontaneous CP violation is presented, including an analysis of the conditions which have to be satisfied in order for a vacuum to violate CP. We present minimal models of CP violation where the vacuum phase is sufficient to generate a complex CKM matrix, which is at present a requirement for any realistic model of spontaneous CP violation.

Development of procedures for the simulation of atmospheric flows over complex terrain, using OpenFOAM

The main purpose of this work was the development of procedures for the simulation of atmospheric ows over complex terrain, using OpenFOAM. For this aim, tools and procedures were developed apart from this code for the preprocessing and data extraction, which were thereafter applied in the simulation of a real case. For the generation of the computational domain, a systematic method able to translate the terrain elevation model to a native OpenFOAM format (blockMeshDict) was developed. The outcome was a structured mesh, in which the user has the ability to de ne the number of control volumes and its dimensions. With this procedure, the di culties of case set up and the high computation computational e ort reported in literature associated to the use of snappyHexMesh, the OpenFOAM resource explored until then for the accomplishment of this task, were considered to be overwhelmed. Developed procedures for the generation of boundary conditions allowed for the automatic creation of idealized inlet vertical pro les, de nition of wall functions boundary conditions and the calculation of internal eld rst guesses for the iterative solution process, having as input experimental data supplied by the user. The applicability of the generated boundary conditions was limited to the simulation of turbulent, steady-state, incompressible and neutrally strati ed atmospheric ows, always recurring to RaNS (Reynolds-averaged Navier-Stokes) models. For the modelling of terrain roughness, the developed procedure allowed to the user the de nition of idealized conditions, like an uniform aerodynamic roughness length or making its value variable as a function of topography characteristic values, or the using of real site data, and it was complemented by the development of techniques for the visual inspection of generated roughness maps. The absence and the non inclusion of a forest canopy model limited the applicability of this procedure to low aerodynamic roughness lengths. The developed tools and procedures were then applied in the simulation of a neutrally strati ed atmospheric ow over the Askervein hill. In the performed simulations was evaluated the solution sensibility to di erent convection schemes, mesh dimensions, ground roughness and formulations of the k - ε and k - ω models. When compared to experimental data, calculated values showed a good agreement of speed-up in hill top and lee side, with a relative error of less than 10% at a height of 10 m above ground level. Turbulent kinetic energy was considered to be well simulated in the hill windward and hill top, and grossly predicted in the lee side, where a zone of ow separation was also identi ed. Despite the need of more work to evaluate the importance of the downstream recirculation zone in the quality of gathered results, the agreement between the calculated and experimental values and the OpenFOAM sensibility to the tested parameters were considered to be generally in line with the simulations presented in the reviewed bibliographic sources.

How Complex, Probable, and Predictable is Genetically Driven Red Queen Chaos?

Coevolution between two antagonistic species has been widely studied theoretically for both ecologically- and genetically-driven Red Queen dynamics. A typical outcome of these systems is an oscillatory behavior causing an endless series of one species adaptation and others counter-adaptation. More recently, a mathematical model combining a three-species food chain system with an adaptive dynamics approach revealed genetically driven chaotic Red Queen coevolution. In the present article, we analyze this mathematical model mainly focusing on the impact of species rates of evolution (mutation rates) in the dynamics. Firstly, we analytically proof the boundedness of the trajectories of the chaotic attractor. The complexity of the coupling between the dynamical variables is quantified using observability indices. By using symbolic dynamics theory, we quantify the complexity of genetically driven Red Queen chaos computing the topological entropy of existing one-dimensional iterated maps using Markov partitions. Co-dimensional two bifurcation diagrams are also built from the period ordering of the orbits of the maps. Then, we study the predictability of the Red Queen chaos, found in narrow regions of mutation rates. To extend the previous analyses, we also computed the likeliness of finding chaos in a given region of the parameter space varying other model parameters simultaneously. Such analyses allowed us to compute a mean predictability measure for the system in the explored region of the parameter space. We found that genetically driven Red Queen chaos, although being restricted to small regions of the analyzed parameter space, might be highly unpredictable.

Two-loop stability of a complex singlet extended Standard Model

Motivated by the dark matter and the baryon asymmetry problems, we analyze a complex singlet extension of the Standard Model with a Z(2) symmetry (which provides a dark matter candidate). After a detailed two-loop calculation of the renormalization group equations for the new scalar sector, we study the radiative stability of the model up to a high energy scale (with the constraint that the 126 GeV Higgs boson found at the LHC is in the spectrum) and find it requires the existence of a new scalar state mixing with the Higgs with a mass larger than 140 GeV. This bound is not very sensitive to the cutoff scale as long as the latter is larger than 10(10) GeV. We then include all experimental and observational constraints/measurements from collider data, from dark matter direct detection experiments, and from the Planck satellite and in addition force stability at least up to the grand unified theory scale, to find that the lower bound is raised to about 170 GeV, while the dark matter particle must be heavier than about 50 GeV.

Strategic Bidding in Electricity Markets: An agent-based simulator with game theory for scenario analysis

Electricity markets are complex environments, involving a large number of different entities, with specific characteristics and objectives, making their decisions and interacting in a dynamic scene. Game-theory has been widely used to support decisions in competitive environments; therefore its application in electricity markets can prove to be a high potential tool. This paper proposes a new scenario analysis algorithm, which includes the application of game-theory, to evaluate and preview different scenarios and provide players with the ability to strategically react in order to exhibit the behavior that better fits their objectives. This model includes forecasts of competitor players’ actions, to build models of their behavior, in order to define the most probable expected scenarios. Once the scenarios are defined, game theory is applied to support the choice of the action to be performed. Our use of game theory is intended for supporting one specific agent and not for achieving the equilibrium in the market. MASCEM (Multi-Agent System for Competitive Electricity Markets) is a multi-agent electricity market simulator that models market players and simulates their operation in the market. The scenario analysis algorithm has been tested within MASCEM and our experimental findings with a case study based on real data from the Iberian Electricity Market are presented and discussed.

The role of complex chromosome translocations in leukemia

Resumo A tumorigénese é um processo de transformação celular que se desenrola tipicamente em várias etapas. Os diferentes níveis de evolução tumoral resultam da acumulação sucessiva de mutações genéticas numa célula normal que lhe conferem uma vantagem selectiva no respectivo meio tecidular. As mutações podem manifestar-se sob a forma de alterações nucleotídicas pontuais ao nível da sequência de DNA, levando a uma desregulação da função proteíca ou à formação de proteínas não-funcionais, ou através de alterações cromossómicas numéricas ou estruturais. Na leucemia, por exemplo, os genes híbridos que resultam de translocações cromossómicas desempenham um importante papel no processo tumorigénico. Estes genes são transcritos sob a forma de um RNA mensageiro de fusão, o qual é traduzido numa proteína híbrida com função oncogénica. Frequentemente, os subtipos de doença leucémica estão associados com translocações cromossómicas que envolvem 2 pontos de quebra recorrentes e específicos. É disto exemplo a leucemia mielóide crónica, em que uma translocação recíproca entre os cromossomas 9 e 22 conduz à formação de um gene de fusão BCR-ABL1. Em diferentes subtipos de doença, existe também uma pequena proporção de casos que apresenta translocações cromossómicas complexas, que envolvem um ou mais pontos de quebra adicionais em outras localizações genómicas além das que estão implicadas na formação dos genes de fusão. Por vezes, os pontos de quebra estão também associados a delecções extensas de material genético que se pensa terem uma função importante na tumorigénese. No entanto, o papel destas regiões genómicas no desenvolvimento tumoral não tem sido um motivo recorrente de estudo. Neste contexto, o objectivo desta dissertação foi o de determinar o potencial papel tumorigénico de alterações génicas adicionais ocorridas nos pontos de quebra de translocações cromossómicas complexas. Para a prossecução do objectivo proposto, foram estudados 5 rearranjos cromossómicos distintos associados com diferentes tipos de doença hematológica maligna, nomeadamente a leucemia linfoblástica aguda de células B (2 casos), leucemia mielóide aguda, neoplasma mieloproliferativo e síndrome mielodisplásico/neoplasma ieloproliferativo, não classificável. O mapeamento dos pontos de quebra foi efectuado utilizando a hibridação fluorescente in situ e diferentes metodologias de biologia molecular, tendo como base a informação inicial da análise citogenética. Em casos seleccionados, o papel dos novos genes candidatos foi avaliado in vitro utilizando modelos de linhas celulares, nomeadamente no que respeita às funções de controlo da proliferação celular e de regulação transcricional. De entre os 5 casos estudados, quatro deles evidenciaram translocações complexas envolvendo 3 cromossomas, nomeadamente t(12;21;5)(p13;q22;q13), t(12;6;15)(p13;p24~25;q22), t(9;11;19)(p22;q23;p13) e t(X;20;16)(p11;q13;q23). No caso remanescente, foi observada uma translocação dicêntrica dic(9;12)(p11;p11) acompanhada de delecções extensas em ambos os pontos de quebra. Nos casos com t(12;21;5) e t(9;11;19) as translocações estavam associadas com a presença de genes de fusão recorrentes, nomeadamente TV6(12p13)-RUNX1(21q22) e TLL(11q23)-MLLT3(9p22), indicando que se tratavam de rearranjos complexos das translocações t(12;21) e t(9;11) associadas com a leucemia linfoblástica aguda de células B e a leucemia mielóide aguda, respectivamente. O papel dos pontos de quebra adicionais foi estudado em detalhe no caso com t(9;11;19). Através da metodologia de long distance inverse-polymerase chain reaction, foram identificados os pontos de quebra na sequência de DNA dos 3 cromossomas envolvidos na translocação. Além dos pontos de quebra nos genes MLL e MLLT3, foi observado que o local de quebra no cromossoma 19 interrompeu a sequência de um novo gene, designado CCDC94,conduzindo à sua haplo-insuficiência nas células com t(9;11;19). Através de ensaios de reverse transcription-polymerase chain reaction verificámos que o gene CCDC94 é expresso ubiquitariamente em tecidos humanos normais. A análise informática da sequência prevista da proteína CCDC94 indicou uma elevada identidade de aminoácidos com a proteína cwf16, envolvida na regulação do ciclo celular da levedura Schizosaccharomyces pombe. Através da clonagem do DNA complementar de CCDC94 em vectores de expressão, e após a transfecção destes em culturas de linhas celulares in vitro, observámos que este gene codifica uma proteína de localização exclusivamente nuclear. A expressão ectópica da proteína CCDC94 diminuiu a progressão do ciclo celular e a proliferação das células em cultura. Inversamente, a supressão do transcrito do gene CCDC94 através de interferência de RNA conduziu a um aumento significativo da proliferação celular, confirmando que CCDC94 regula negativamente a proliferação e a progressão do ciclo celular. Estes resultados mostram que os pontos de quebra adicionais, presentes em translocações cromossómicas complexas em leucemia, podem resultar na haplo-insuficiência de genes controladores dos mecanismos proliferativos, cooperando desta forma com a acção das proteínas de fusão para proporcionar ao clone leucémico uma proliferação celular descontrolada. Nos restantes 3 casos estudados não foram identificados genes de fusão. Ao invés, todos aqueles apresentaram delecções de extensão variável associadas com os pontos de quebra cromossómicos. No caso com t(12;6;15), identificámos uma delecção de 1.2 megabases de DNA na banda 12p13 que resultou na eliminação de 9 genes incluindo ETV6 e CDKN1B. O gene ETV6 codifica um factor de transcrição que é essencial para a formação das diferentes linhagens hematopoiéticas na medula óssea, enquanto CDKN1B é traduzido numa proteína responsável por bloquear a entrada das células na fase G1 do ciclo celular e,consequentemente, por travar a proliferação celular. Neste contexto, os resultados obtidos indicam que a perda simultânea de ETV6 e de CDKN1B, através de uma translocação cromossómica complexa, constituiu uma acção cooperativa na leucemogénese. A mesma noção pode aplicar-se ao caso com dic(9;12), no qual pelo menos 2 genes que codificam para factores de transcrição importantes na linhagem hematopoiética, PAX5 no cromossoma 9 e ETV6 no cromossoma 12, estavam deleccionados como resultado do rearranjo cromossómico. Dado que o factor de transcrição PAX5 regula negativamente a expressão do gene FLT3, que desempenha uma função pró-proliferativa, é expectável que a haplo-insuficiência de PAX5 no caso com dic(9;12) terá tido como consequência uma elevação dos níveis de expressão de FLT3, contribuindo deste modo para uma proliferação celular aumentada. A t(X;20;16) foi identificada num doente com trombocitémia essencial (TE), uma doença que está intimamente relacionada com alterações de vias intracelulares reguladas por citocinas. Neste caso, através da utilização de um array genómico, identificámos a presença de pequenas delecções associadas com os pontos de quebra nos cromossomas 16 e 20. No cromossoma 16 apenas um gene, MAF, estava deleccionado, enquanto no cromossoma 20 a delecção tinha abrangido 3 genes. Dos genes deleccionados, dois deles, NFATC2 (20q13) e MAF (16q23), codificam proteínas que operam como reguladores transcricionais de citocinas hematopoiéticas. Dado que NFATC2 se localiza numa região que constitui um alvo frequente de delecções em neoplasmas ieloproliferativos, incluindo a trombocitémia essencial,efectuámos um estudo detalhado do papel deste gene na proliferação megacariocítica e na regulação da expressão de uma citocina hematopoiética (GM-CSF), implicada na maturação das diferentes linhagens mielóides. Utilizando um modelo de linha celular de trombocitémia essencial, verificámos que a supressão do transcrito do gene NFATC2 in vitro, por interferência de RNA, estava associada com um aumento da proliferação celular. Em concordância, o bloqueio da activação da proteína NFATC2 através de um inibidor específico da sua interacção com a calcineurina, conduziu a um aumento da proliferação celular in vitro. Utilizando a PCR quantitativa em tempo real, detectou-se um aumento da produção do RNA de GM-CSF em ambos os ensaios celulares, indicando que o factor de transcrição NFATC2 pode regular negativamente a expressão de GM-CSF em células de trombocitémia essencial. No geral, estes resultados mostram que a redução dos níveis fisiológicos do transcrito NFATC2, ou a redução da respectiva actividade proteica, estão relacionados com a proliferação de megacariocitos através do aumento da produção de GM-CSF. De acordo com estes resultados, verificámos que as células dos doentes com TE apresentam níveis mais baixos do transcrito NFATC2 do que a população normal. Dado que o factor de transcrição MAF desempenha igualmente um papel como regular transcricional de citocinas, é plausível que a haplo-insuficiência dos genes NFATC2 e MAF, resultante do rearranjo cromossómico complexo t(X;20;16), teve um efeito cooperativo importante na patogénese da trombocitémia essencial através da alteração do padrão normal de expressão das citocinas hematopoiéticas. Em síntese, efectuámos nesta dissertação um estudo citogenético de 4 translocações cromossómicas complexas incluindo t(12;21;5), t(12;6;15), t(9;11;19) e t(X;20;16), e de uma translocação dicêntrica dic(9;12), associadas com diferentes neoplasmas hematológicos. Em casos seleccionados efectuámos também um estudo molecular detalhado das regiões dos pontos de quebra. Esta análise permitiu-nos identificar 2 genes, CCDC94 no cromossoma 19 e NFATC2 no cromossoma 20, cuja haplo-insuficiência pode promover o aumento da proliferação celular das células leucémicas. A partir destes estudos podem ser retiradas 2 noções principais: (i) Os pontos de quebra adicionais, que ocorrem em translocações complexas associadas com a formação de genes de fusão, podem ter como consequência a desregulação de genes controladores da proliferação celular (e.g., CCDC94); (ii) As translocações complexas caracterizadas pela ausência de genes de fusão recorrentes poderão estar preferencialmente associadas com a presença de delecções, envolvendo um ou mais genes, nos pontos de quebra; nestas situações, serão necessários pelo menos 2 genes com funções celulares semelhantes (e.g., NFATC2 e MAF) ou complementares (e.g., ETV6 e CDKN1B) para, quando deleccionados, promoverem de forma cooperativa a leucemogénese. Nestes termos, o modelo de alterações genéticas sequenciais que caracteriza o desenvolvimento do cancro pode ser substituído por um modelo em que vários genes-alvo são simultaneamente desregulados pela formação de uma translocação cromossómica complexa, evitando deste modo a necessidade de ocorrência de alterações genéticas subsequentes.----------------------ABSTRACT: Tumourigenesis is a multistep process which results from the accumulation of successive genetic mutations in a normal cell. In leukemia for instance, recurrent translocations play a part in this process by generating fusion genes which lead to the production of hybrid proteins with an oncogenic role. However, a minor subset of chromosomal translocations referred to as complex or variant involves extra breakpoints at variable genome locations in addition to those implicated in the formation of fusion genes. We aimed to describe in this work the role, if any, of genes located at extra breakpoint locations or which are affected by breakpoint-adjacent deletions through the study of 5 leukemia patients.Two of the patients presented with TV6(12p13)-RUNX1(21q22) and MLL(11q23)- MLLT3(9p22) fusion genes as a result of a t(12;21;5) and a t(9;11;19), respectively. Detailed molecular characterization of the extra breakpoint at chromosome 19 in the latter case revealed that a novel ubiquitously expressed gene, CCDC94, with a potential role in cell cycle regulation, was disrupted by the breakpoint. We demonstrated using in vitro cellular assays that this gene codifies for a nuclear protein which negatively regulates cell cycle progression. These data shows that extra breakpoint locations of complex translocations may result in haplo-insufficiency of critical proliferation genes, thereby cooperating with the generation of hybrid proteins to provide unrestrained cell proliferation. In the other 3 patients there were reakpoint-associated deletions which precluded the formation of putative fusion genes. In a case with a t(12;6;15) we characterized a deletion at 12p13 which eliminated ETV6 and 8 other genes including CDKN1B. These findings indicate that concomitant loss of ETV6 and CDKN1B, which encodes a cyclin-dependent kinase inhibitor responsible for blocking entry of cells into the G1 phase of the cell cycle, acted cooperatively to promote leukemogenic proliferation. The same notion applied to a case with a dic(9;12) in which 2 genes encoding hematopoietic transcription factors - ETV6 and PAX5 (9p13)- were deleted as a result of breakpoint-adjacent deletions. Similarly, we found that 2 transcription factor genes involved in the regulation of cytokine expression, NFATC2 (20q13) and MAF (16q23), were involved in deletions contiguous to the breakpoints in a patient with a t(X;20;16). In vitro suppression of NFATC2 mRNA or inhibiton of NFATC2 protein activity enhanced cell proliferation as a result of an increase in the production of a myeloid-lineage stimulating hematopoietic cytokine, GM-CSF. These results suggest that haplo-insufficiency of NFATC2 and MAF genes had a cooperative effect in inducing cell proliferation as a result of a disregulation of cytokine production. Two main conclusions may be drawn from our studies: (i) In complex translocations associated with the production of fusion genes, additional breakpoints may cooperate in tumourigenesis by targeting genes that control cell proliferation; (ii) In complex translocations associated with small breakpoint-adjacent deletions, at least 2 genes with similar or complementary functions need to be deregulated to promote tumourigenesis.

Embracing transience and subjectivity in the conservation of complex contemporary artworks: contributions from ethnographic and psychological paradigms

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro, Perfil Ciências da Conservação Especialização em Arte Contemporânea

Three essays on game theory and bargaining

A PhD Dissertation, presented as part of the requirements for the Degree of Doctor of Philosophy from the NOVA - School of Business and Economics

Molecular tools in the diagnostic and epidemiology of infections caused by members of Mycobacterium avium Complex

Mycobacterium avium Complex (MAC) comprises microorganisms that affect a wide range of animals including humans. The most relevant are Mycobacterium avium subspecies hominissuis (Mah) with a high impact on public health affecting mainly immunocompromised individuals and Mycobacterium avium subspecies paratuberculosis (Map) causing paratuberculosis in animals with a high economic impact worldwide. In this work, we characterized 28 human and 67 porcine Mah isolates and evaluated the relationship among them by Multiple-Locus Variable number tandem repeat Analysis (MLVA). We concluded that Mah population presented a high genetic diversity and no correlations were inferred based on geographical origin, host or biological sample. For the first time in Portugal Map strains, from asymptomatic bovine faecal samples were isolated highlighting the need of more reliable and rapid diagnostic methods for Map direct detection. Therefore, we developed an IS900 nested real time PCR with high sensitivity and specificity associated with optimized DNA extraction methodologies for faecal and milk samples. We detected 83% of 155 faecal samples from goats, cattle and sheep, and 26% of 98 milk samples from cattle, positive for Map IS900 nested real time PCR. A novel SNPs (single nucleotide polymorphisms) assay to Map characterization based on a Whole Genome Sequencing analysis was developed to elucidate the genetic relationship between strains. Based on sequential detection of 14 SNPs and on a decision tree we were able to differentiate 14 phylogenetic groups with a higher discriminatory power compared to other typing methods. A pigmented Map strain was isolated and characterized evidencing for the first time to our knowledge the existence of pigmented Type C strains. With this work, we intended to improve the ante mortem direct molecular detection of Map, to conscientiously aware for the existence of Map animal infections widespread in Portugal and to contribute to the improvement of Map and Mah epidemiological studies.

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.

Convex and toric geometry to analyze complex dynamics in chemical reaction systems

Convex cone, toric variety, graph theory, electrochemical catalysis, oxidation of formic acid, feedback-loopsbifurcations, enzymatic catalysis, Peroxidase reaction, Shil'nikov chaos

Accuracy vs. simplicity: a complex trade-off

Inductive learning aims at finding general rules that hold true in a database. Targeted learning seeks rules for the predictions of the value of a variable based on the values of others, as in the case of linear or non-parametric regression analysis. Non-targeted learning finds regularities without a specific prediction goal. We model the product of non-targeted learning as rules that state that a certain phenomenon never happens, or that certain conditions necessitate another. For all types of rules, there is a trade-off between the rule's accuracy and its simplicity. Thus rule selection can be viewed as a choice problem, among pairs of degree of accuracy and degree of complexity. However, one cannot in general tell what is the feasible set in the accuracy-complexity space. Formally, we show that finding out whether a point belongs to this set is computationally hard. In particular, in the context of linear regression, finding a small set of variables that obtain a certain value of R2 is computationally hard. Computational complexity may explain why a person is not always aware of rules that, if asked, she would find valid. This, in turn, may explain why one can change other people's minds (opinions, beliefs) without providing new information.