An LP-Based Approach for Goal Recognition as Planning

Goal recognition aims to recognize the set of candidate goals that are compatible with the observed behavior of an agent. In this paper, we develop a method based on the operator-counting framework that efficiently computes solutions that satisfy the observations and uses the information generated to solve goal recognition tasks. Our method reasons explicitly about both partial and noisy observations: estimating uncertainty for the former, and satisfying observations given the unreliability of the sensor for the latter. We evaluate our approach empirically over a large data set, analyzing its components on how each can impact the quality of the solutions. In general, our approach is superior to previous methods in terms of agreement ratio, accuracy, and spread. Finally, our approach paves the way for new research on combinatorial optimization to solve goal recognition tasks.Comment: 8 pages, 4 tables, 3 figures. Published in AAAI 2021. Updated final authorship and tex

Parameterized Construction of Program Representations for Sparse Dataflow Analyses

Data-flow analyses usually associate information with control flow regions. Informally, if these regions are too small, like a point between two consecutive statements, we call the analysis dense. On the other hand, if these regions include many such points, then we call it sparse. This paper presents a systematic method to build program representations that support sparse analyses. To pave the way to this framework we clarify the bibliography about well-known intermediate program representations. We show that our approach, up to parameter choice, subsumes many of these representations, such as the SSA, SSI and e-SSA forms. In particular, our algorithms are faster, simpler and more frugal than the previous techniques used to construct SSI - Static Single Information - form programs. We produce intermediate representations isomorphic to Choi et al.'s Sparse Evaluation Graphs (SEG) for the family of data-flow problems that can be partitioned per variables. However, contrary to SEGs, we can handle - sparsely - problems that are not in this family

Monitorização e caracterização de uma UTA com tecnologia exsicante-evaporativa assistida por energia solar de acordo com a metodologia definida no âmbito da AIE SHC task 38

A presente dissertação fundamenta-se na monitorização e análise de uma “Unidade de Tratamento de Ar” baseada em tecnologia exsicante evaporativa assistida por energia solar. Primeiramente é apresentado um conjunto de conceitos associados ao tema abordado, de modo a facilitar a compreensão dos fenómenos termodinâmicos envolvidos. Após a abordagem inicial que serve de consolidação, é feito o ponto da situação actual, quer em termos tecnológicos, quer em termos de instalações existentes. A etapa seguinte da dissertação descreve pormenorizadamente a instalação do LNEG e seus princípios de funcionamento, nesta fase também é contemplada a descrição sumária dos equipamentos, dos componentes e dos elementos de medição e controlo presentes no sistema. A metodologia seguida assenta fortemente em dois pontos; primeiro, a monitorização do sistema através do software “Agilent VEE Pro” e pela análise dos dados recolhidos com auxílio da folha de cálculo do LNEG, desenvolvida especialmente para este sistema. Em segundo lugar, a metodologia seguida será a imposta pela “Tarefa 38” de acordo com a Agência Internacional de Energia, no âmbito do programa de Aquecimento e Arrefecimento Solar o que permite a comparação de sistemas a nível internacional. Alias a “Tarefa 38” pretende desenvolver esta tecnologia, ao nível da concepção, estandardização, optimização das instalações, conceder o fácil acesso à informação e promover a comparabilidade de resultados. O desempenho global do sistema é bastante positivo, o bom comportamento do sistema é ilustrado na análise gráfica feita nos modos de aquecimento e arrefecimento. O grau de satisfação dos utilizadores é bom e o sistema demonstra capacidade para manter o conforto térmico dos espaços a climatizar de acordo com as normas e regulamentos em vigor. A utilização das energias renováveis nos dias de hoje, como por exemplo a energia solar é mais do que uma obrigação, é um dever

Holding on to stability whirlpool corporation

HODing ON TO STABILITY is a paper presenting the reader a full valuation on Whirlpool Corporation which will culminate in a target estimated price for December 2020 and a consequent investment recommendation. We stand by a HOLD recommendation since we expect limited positive return, as we anticipate the company to remain stable in future years, not outperforming nor under performing the market

The global governance system protecting Human Rights: the case of Türkiye under the European Union and the Council of Europe

Global protection of Human Rights aims to safeguard the dignity of the human being as such, in an intricate and complex network of International Organisations, States, and other agencies within an anarchic international system. One of the states whose democratic performance has concerned academics the most is the Republic of Türkiye, whose democratic erosion has been a virtually unanimous finding. This paper seeks to evaluate Türkiye’s compliance with Human Rights in 2017, and to compare it with 2007: this 10-year period of analysis will be able to grasp some knowledge on the role of global governance structures in their assessment and promotion. This reflection will be based on a literature review, in addition to the use of official documents such as the European Commission progress reports, Human Rights Watch annual reports, quantitative indicators of various international organizations and the statistics of the European Court of Human Rights. It aims to inductively infer conclusions about the evolution of compliance and respect for Human Rights in Türkiye and to correlate this performance with the course of democratic erosion and the international pressures the State has been going through.info:eu-repo/semantics/publishedVersio

Evaluation and characterization of portuguese maize landraces. Enhancing genetic diversity

O Programa de Melhoramento Participativo (PPB) “VASO” (Vale do Sousa em Portugal) teve início nos anos 80 com o propósito de valorizar as variedades tradicionais de milho português, cuja principal aptidão gastronómica é broa de milho. A ESAC-IPC (Escola Superior Agrária de Coimbra) apoiada pela ADERSOUSA deu continuidade ao trabalho de PPB “VASO” com agricultores e stakeholders do Vale do Sousa. Garante a multiplicação de sementes e testa o potencial agronómico das variedades tradicionais de milho português. Estes esforços de pré-melhoramento pretendem colmatar necessidades urgentes da agricultura biológica em maior diversidade e disponibilidade de sementes.O estudo tem como objetivo: caracterizar fenotipicamente e testar o comportamento agronómico e adaptativo das variedades tradicionais de milho português em dois ensaios; Agricultura Biológica vs. Convencional: em dois locais distanciados em 1,3 km, com o objetivo de comparar dois sistemas agrícolas - agricultura biológica versus agricultura convencional (50 acessos); Ensaio PPB On-farm: em duas explorações de agricultores no Vale do Sousa (10 acessos).O germoplasma utilizado incluiu 52 variedades tradicionais portuguesas de milho: 9 populações de polinização aberta, 1 população compósita (CCP) derivada de PPB "VASO" e 40 populações de milho tradicional dos Açores, obtidas numa missão de recolha em 1979, mantidas ex situ no BPGV (Banco Português de Germoplasma Vegetal) até 2018. (Bettencourt e Gusmão, 1982; Mendes-Moreira et al, 2017).Os dados registados incluíram Produção e avaliações fenotípicas utilizando o descritor HUNTERS.A produtividade variou de 2,1 Mg / ha a 10,5 Mg / ha, com valores significativamente maiores em Macieira de Lixa. O CCP BulkAzores2 alcançou estabilidade de rendimento em todos os locais, indicando que populações heterogêneas tem potencial de amortecer o efeito do negativo ambiente. As populações testadas mostraram diferenças fenotípicas significativas na altura da planta, altura da inserção da espiga e doenças de caule, revelando diversidade e potencial para se adaptar à agricultura biológica e a áreas marginais, onde o uso de populações heterogêneas pode aumentar a rede de ambientes destinados ao cultivo de milho.The Participatory Plant Breeding Program “VASO” (Sousa Valley in Portugal) started in the 80s with the purpose of valorizing Portuguese maize Landraces for farmers’ needs, which included the use of maize for maize bread. ESAC-IPC (Escola Superior Agrária de Coimbra) supported by ADERSOUSA carry on the “VASO” PPB work with farmers and stakeholders from Sousa Valley, ensured seed multiplication, and test the agronomic potential of the maize Landraces derived from PPB "VASO" to meet the needs of sustainable agriculture in the context of climate change.The study aims to: phenotypically characterize, test the agronomic behavior and adaptation of the Landraces and CCPs in two trials; Organic vs Conventional: in two locations distance 1.3 km and intended to compare two agriculture systems low input organic agriculture versus conventional agriculture (50 accessions); On-farm PPB trial: in two farmer’s locations in Sousa Valley (10 accessions).The germplasm used included 52 maize Landraces: 9 open-pollinated populations, 1 composite cross population (CCP) derived from PPB "VASO", and 40 maize populations from the Azores, that were obtained in a collecting mission in 1979, kept ex-situ in BPGV (Banco Português de Germoplasma Vegetal) until 2018, then multiplied at ESAC low input organic field. (Bettencourt and Gusmão, 1982; Mendes-Moreira et al, 2017).Registered data included Grain yield and Phenotypic evaluations using HUNTERS descriptor (Plant Height, Uniformity, Leaf aNgle, Tassel, Ear placement, Root and Stalk lodging) Grain yield ranged from 2,1 Mg/ha to 10,5 Mg/ha, with significantly higher values in Macieira de Lixa. The CCP BulkAzores2 achieved yield stability across environments, indicating that heterogeneous populations had the potential to buffer the environment effect. In addition, the tested populations showed significant phenotypic differences among populations for Plant Height, Ear placement, and Stalking lodging, unveiling diversity and breeding potential to adapt to sustainable agriculture and to low input marginal areas, where the use of heterogeneous populations can extend the network of suitable maize environments

Uncovering patterns and trends in Lisbon´s nightlife: An analysis study using mobile phone data

Dissertation presented as the partial requirement for obtaining a Master's degree in Information Management, specialization in Knowledge Management and Business IntelligenceWe live in an era where the use of technologies and data is crucial to optimise the life quality of citizens and enhance the general well-functioning of a city. In this study, we explore Lisbon’s nightlife using mobile phone data to discover patterns and trends that can support the Lisbon City Council and other stakeholders in making informed decisions to improve city management. We collected data from multiple sources, including mobile phone data provided by a telecommunications company, and used this to create a dimensional model and Power BI dashboards. These tools explain how various factors, such as COVID-19 restrictions, weather conditions, noise level and cultural events impact nightlife activity in Lisbon. Besides the usefulness of the main findings in optimising Lisbon nightlife services and improving urban planning, this study also contributes to the field of urban studies and data analytics. Finally, understanding the mobility of people in Lisbon’s nightlife areas, and the key factors influencing nightlife activity, benefits the city to move forward in the process of creating smarter and more sustainable cities

The impact of European Union 2007 enlargement on Turkey's democratic commitment

A União Europeia constitui uma potência regional que promove, junto de terceiros, princípios, como os Direitos Humanos e a democracia, pelos quais se orienta. Nesse sentido, frequentemente utiliza uma política de “carrot and stick”, ajudando os países com os quais se relaciona, mas exigindo, em troca, mudanças reais. A Turquia, candidata à adesão, é uma das visadas desta política, assim como um caso muito especial de integração na União. O caminho nessa direcção leva já algumas décadas e a Turquia tem assistido a vários países que ultrapassam a barreira da candidatura e alcançam o objectivo da integração plena. O presente trabalho visa descobrir o que é que a adesão da Bulgária e da Roménia significaram para a Turquia em termos do seu envolvimento no processo de democratização e até que ponto é que contribuiu para um maior ou menor empenho no processo de integração e, por consequência, no seu próprio processo de democratização