Towards Ranking Geometric Automated Theorem Provers

The field of geometric automated theorem provers has a long and rich history, from the early AI approaches of the 1960s, synthetic provers, to today algebraic and synthetic provers. The geometry automated deduction area differs from other areas by the strong connection between the axiomatic theories and its standard models. In many cases the geometric constructions are used to establish the theorems' statements, geometric constructions are, in some provers, used to conduct the proof, used as counter-examples to close some branches of the automatic proof. Synthetic geometry proofs are done using geometric properties, proofs that can have a visual counterpart in the supporting geometric construction. With the growing use of geometry automatic deduction tools as applications in other areas, e.g. in education, the need to evaluate them, using different criteria, is felt. Establishing a ranking among geometric automated theorem provers will be useful for the improvement of the current methods/implementations. Improvements could concern wider scope, better efficiency, proof readability and proof reliability. To achieve the goal of being able to compare geometric automated theorem provers a common test bench is needed: a common language to describe the geometric problems; a comprehensive repository of geometric problems and a set of quality measures.Comment: In Proceedings ThEdu'18, arXiv:1903.1240

A perfusão isolada dos membros no melanoma maligno (a experiência do IPO-Porto)

Parte I - O contexto Neste capítulo faz-se a contextualização essencial do tema, dividindo-a em duas secções. A primeira secção apresenta conceitos relativos à patologia principal, o melanoma, apesar desta técnica não se aplicar só em doentes com esta patologia, mas considerando o peso da mesma na casuística da instituição, idêntico ao de outras instituições internacionais. A segunda secção apresenta o enquadramento da técnica e da terapêutica da Perfusão Isolada dos Membros, destacando as principais alterações ocorridas nos protocolos dos centros que a praticam, ao longo das últimas décadas. Parte II - A técnica e a terapêutica no IPOFG-Porto Neste capítulo é explicado passo a passo o procedimento da Perfusão Isolada dos Membros, segundo o protocolo do IPOFG-Porto, ilustrando cada passo com imagens de um caso real. Este procedimento apoia-se na técnica da circulação extracorporal, para aplicar uma terapêutica, a perfusão em dose elevada de uma dose pré-determinada de um ou mais citostáticos. São depois enumeradas as características essenciais de cada um dos citostáticos que foram e são usados na PIM ou associados a ela, terminando com a exposição da casuística da instituição, trabalhada apenas em contexto descritivo. Parte III - O seguimento dos doentes Neste capítulo elencam-se e explicam-se as variáveis em estudo no follow-up destes doentes, quer no pós-operatório imediato, quer no seguimento em ambulatório. O follow-up destes doentes pode ser muito longo, quase sempre dependendo do estadiamento prévio da doença antes da realização da PIM. O tipo de resposta clínica deve obter-se entre os 3 e os 6 meses pós PIM, mas pode obter-se antes ou depois. Todas as variáveis estão perfeitamente definidas internacionalmente e dão um contributo específico para o conhecimento da história natural da doença, mas para os doentes a que assume maior impacto é a necessidade, ou o evitar, da amputação do membro. São apresentados os dados destas variáveis relativos ao IPOFG-Porto. Parte IV - As reflexões Neste capítulo são feitas algumas reflexões sobre o custo, a sobrevivência e a qualidade de vida, e as perspetivas futuras da Perfusão Isolada dos Membros. Apesar da sua inegável eficácia terapêutica, a PIM é um procedimento de custo elevado e restrita a centros especializados, o que provoca assimetrias significativas. Os dados internacionais são claros, até agora não parece ter contribuído para um aumento da esperança média de vida destes doentes, mas o seu contributo para a qualidade de vida e manutenção da funcionalidade dos doentes é enorme. A Infusão Isolada dos Membros aparece como uma técnica standard promissora na quimioterapia regional

Interparental conflict and emerging adults’ romantic relationships: The role of emotional dysregulation and relationship commitment

The interparental relationship provides a model for offspring’s relationships, and research has shown that destructive interparental conflict has negative implications for emerging adults’ romantic relationships. Specifically, studies in this area have shown harmful effects of interparental conflict on emerging adults’ emotional regulation skills and relationship commitment, as well as on their satisfaction with, and the quality of, their romantic relationships. However, little is known about the role of relational commitment and emotional regulation skills in the relationship between exposure to interparental conflict and the satisfaction and quality of these relationships. To address this gap in the literature, the present study investigated the mediating role of emotional dysregulation and relationship commitment in the association between exposure to destructive interparental conflict and emerging adults’ romantic relationship quality and satisfaction. Participants were 425 emerging adults, aged 18 and 25 years old, who were, or had been in the past 6 months, in a romantic relationship. Supporting our hypothesis, results revealed that exposure to destructive interparental conflict was associated with less satisfaction and worse relationship quality through greater emotional dysregulation and less commitment to the relationship. This study supports previous research by reinforcing the role of interparental conflict as a predictor of emerging adults’ difficulties in their romantic relationships and highlights the importance of emotional regulation skills and commitment to the relationship as explaining mechanisms of that association, thus providing important implications for practice.A relação interparental fornece um modelo para os relacionamentos amoroso dos filhos e a investigação tem mostrado que o conflito interparental destrutivo tem implicações negativas para os relacionamentos amorosos dos adultos emergentes. Especificamente, os estudos nesta área têm mostrado efeitos nocivos do conflito interparental nas competências de regulação emocional e no compromisso relacional dos adultos emergentes, assim como na sua satisfação com, e na qualidade das relações de namoro. Contudo, pouco se sabe acerca do papel do compromisso relacional e das competências de regulação emocional, na relação entre a exposição ao conflito interparental e a satisfação e qualidade dessas relações. Com o objetivo de aumentar o conhecimento científico sobre este tema, o presente estudo analisou o papel mediador da desregulação emocional e do compromisso com a relação, na associação entre a exposição ao conflito interparental destrutivo e a qualidade e satisfação da relação de namoro de adultos emergentes. Participaram neste estudo 425 adultos emergentes entre os 18 e os 25 anos, que estão, ou estiveram nos últimos 6 meses, numa relação de namoro. Os resultados revelaram que o conflito interparental está associado a menor satisfação e a pior qualidade da relação de namoro através de maior desregulação emocional e menor compromisso com a relação. Este estudo reforça o papel do conflito interparental enquanto preditor de dificuldades nas relações de namoro de adultos emergentes, e salienta a importância das competências de regulação emocional e do compromisso com a relação enquanto mecanismos explicativos dessa associação, tendo assim importantes implicações para a prática

Predictive factors for incidence of atrial fibrillation after cardiac surgery

Atrial fibrillation (AF) has been described as the arrhythmia with higher incidence in postoperative period and follow-up of cardiac surgery. To study the incidence of AF after cardiac surgery and explore the relationship between this incidence and the main predictive factors.info:eu-repo/semantics/publishedVersio

On the duality in CPT-even Lorentz-breaking theories

In this paper, we generalize the duality between self-dual and Maxwell-Chern-Simons theories for the case of a CPT-even Lorentz-breaking extension of these theories. The duality is demonstrated with use of the gauge embedding procedure, both in free and coupled cases, and with the master action approach. The physical spectra of both Lorentz-breaking theories are studied. The massive poles are shown to coincide and to respect the requirements for unitarity and causality at tree level. The extra massless poles which are present in the dualized model are shown to be nondynamical.Comment: 17 pages, version accepted to EPJ