A neural-symbolic system for temporal reasoning with application to model verification and learning

The effective integration of knowledge representation, reasoning and learning into a robust computational model is one of the key challenges in Computer Science and Artificial Intelligence. In particular, temporal models have been fundamental in describing the behaviour of Computational and Neural-Symbolic Systems. Furthermore, knowledge acquisition of correct descriptions of the desired system’s behaviour is a complex task in several domains. Several efforts have been directed towards the development of tools that are capable of learning, describing and evolving software models. This thesis contributes to two major areas of Computer Science, namely Artificial Intelligence (AI) and Software Engineering. Under an AI perspective, we present a novel neural-symbolic computational model capable of representing and learning temporal knowledge in recurrent networks. The model works in integrated fashion. It enables the effective representation of temporal knowledge, the adaptation of temporal models to a set of desirable system properties and effective learning from examples, which in turn can lead to symbolic temporal knowledge extraction from the corresponding trained neural networks. The model is sound, from a theoretical standpoint, but is also tested in a number of case studies. An extension to the framework is shown to tackle aspects of verification and adaptation under the SE perspective. As regards verification, we make use of established techniques for model checking, which allow the verification of properties described as temporal models and return counter-examples whenever the properties are not satisfied. Our neural-symbolic framework is then extended to deal with different sources of information. This includes the translation of model descriptions into the neural structure, the evolution of such descriptions by the application of learning of counter examples, and also the learning of new models from simple observation of their behaviour. In summary, we believe the thesis describes a principled methodology for temporal knowledge representation, learning and extraction, shedding new light on predictive temporal models, not only from a theoretical standpoint, but also with respect to a potentially large number of applications in AI, Neural Computation and Software Engineering, where temporal knowledge plays a fundamental role

Equity research - Under Armour, INC.

Mestrado Bolonha em FinançasThe objective of this report is to study and provide an investment recommendation for Under Armour, Inc. This report is based on public information available until 1st of August 2021 and it was developed according to the CFA Institute recommendation for the CFA Research Challenge. Under Armour, Inc. is an American company engaged in the development, marketing and distribution of branded sports performance and casual apparel, footwear and accessories for men, women and youth. During the course of Equity Research I had the opportunity to study this industry, which helped better understand its ins and outs. Under Armour’s valuation was calculated using a Weighted Average Cost of Capital (WACC) Method through Free Cash Flow to the Firm (FCFF) for the industry, complemented with the Adjusted Present Value (APV) and a Relative Multiples Valuation. At the end, the recommendation of this report is to sell the common share, with a price target of $9.62 per share, in the end of 2021, representing a potential downside of 49.11$ 9.62, no final do ano de 2021, representando uma queda potencial de 49.11%, face ao preço da ação à data da elaboração deste relatório. Esta recomendação é baseada num nível de risco elevado, visto a empresa atuar num mercado bastante saturado, com uma margem operacional muito ténue, onde a oferta é extremamente alta, e onde o seu poder de branding e marketing não são tão fortes como alguns dos seus concorrentes.info:eu-repo/semantics/publishedVersio

The absent players : the impact of firms with no trading activity : estudo exploratório

O nosso estudo têm por objetivo analisar as diferenças que existem entre os níveis de transação em empresas que se encontram cotadas no mercado de capitais e perceber o motivo pelo qual permanecem cotadas, com recurso a uma nova medida que analisa a percentagem de dias em que não existe qualquer retorno, denominada por Zero-Return Metric. Utilizando uma base de dados de 2.502 empresas para o período entre 2004 a 2014 do principal índice acionista do Reino Unido, é apresentado uma mediana de 58,7% de dias em que não existe qualquer retorno. Partimos do pressuposto que as empresas pretendem aceder a esta estrutura de financiamento devido às vantagens que apresenta, contudo nem todas as empresas conseguem captar de igual forma os seus benefícios. Com base nisto, é possível observar diferenças significativas na visibilidade, nas necessidades de capital, no grau de concentração da estrutura acionista e na liquidez entre as empresas, o que pode explicar algumas diferenças no nível de transação. Como consequência, a taxa de sobrevivência deste tipo de empresas é bastante inferior, sendo um importante indicador do seu grau de desempenho. O nosso objetivo passa por apresentar um estudo compreensivo sobre este efeito, lançando as bases para um estudo mais aprofundado nesta área.Our study aims to analyze the differences between the transactions levels in companies that are listed on the capital market, and realize why they remain listed, using a new measure that analyses the proportion of zero-return days (thereafter referred to as the zero-return metric). Using a Database with 2.502 firms for the period 2004-2014 of the main UK stock market index, a median with 58,7% of days without a return is represented. We assume that the companies want to access this financing structure due to the advantages they offer, however not all companies are able to capture the same way its benefits. On this basis, it is possible to observe significant differences in visibility, capital needs and growth, in the degree of shareholders structure and liquidity, which may explain some differences in transaction level. As a result, the survival rates for those companies is much lower, being an important indicator of their level of performance. Our objective is to present a comprehensive descriptive study of this effect, laying the foundations to a more in depth study

Learning and Representing Temporal Knowledge in Recurrent Networks

The effective integration of knowledge representation, reasoning, and learning in a robust computational model is one of the key challenges of computer science and artificial intelligence. In particular, temporal knowledge and models have been fundamental in describing the behavior of computational systems. However, knowledge acquisition of correct descriptions of a system's desired behavior is a complex task. In this paper, we present a novel neural-computation model capable of representing and learning temporal knowledge in recurrent networks. The model works in an integrated fashion. It enables the effective representation of temporal knowledge, the adaptation of temporal models given a set of desirable system properties, and effective learning from examples, which in turn can lead to temporal knowledge extraction from the corresponding trained networks. The model is sound from a theoretical standpoint, but it has also been tested on a case study in the area of model verification and adaptation. The results contained in this paper indicate that model verification and learning can be integrated within the neural computation paradigm, contributing to the development of predictive temporal knowledge-based systems and offering interpretable results that allow system researchers and engineers to improve their models and specifications. The model has been implemented and is available as part of a neural-symbolic computational toolkit

A neural-symbolic system for temporal reasoning with application to model verification and learning

The effective integration of knowledge representation, reasoning and learning into a robust computational model is one of the key challenges in Computer Science and Artificial Intelligence. In particular, temporal models have been fundamental in describing the behaviour of Computational and Neural-Symbolic Systems. Furthermore, knowledge acquisition of correct descriptions of the desired system’s behaviour is a complex task in several domains. Several efforts have been directed towards the development of tools that are capable of learning, describing and evolving software models. This thesis contributes to two major areas of Computer Science, namely Artificial Intelligence (AI) and Software Engineering. Under an AI perspective, we present a novel neural-symbolic computational model capable of representing and learning temporal knowledge in recurrent networks. The model works in integrated fashion. It enables the effective representation of temporal knowledge, the adaptation of temporal models to a set of desirable system properties and effective learning from examples, which in turn can lead to symbolic temporal knowledge extraction from the corresponding trained neural networks. The model is sound, from a theoretical standpoint, but is also tested in a number of case studies. An extension to the framework is shown to tackle aspects of verification and adaptation under the SE perspective. As regards verification, we make use of established techniques for model checking, which allow the verification of properties described as temporal models and return counter-examples whenever the properties are not satisfied. Our neural-symbolic framework is then extended to deal with different sources of information. This includes the translation of model descriptions into the neural structure, the evolution of such descriptions by the application of learning of counter examples, and also the learning of new models from simple observation of their behaviour. In summary, we believe the thesis describes a principled methodology for temporal knowledge representation, learning and extraction, shedding new light on predictive temporal models, not only from a theoretical standpoint, but also with respect to a potentially large number of applications in AI, Neural Computation and Software Engineering, where temporal knowledge plays a fundamental role.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Produtividade e caracteristicas físicas, físico-químicas e químicas de genótipos Passiflora alata Curtis

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Agronomia e Medicina Veterinária, Programa de Pós-Graduação em Agronomia, 2018.O maracujá doce (Passiflora alata) possui frutos que são comercializados para consumo in natura e folhas empregadas pela indústria farmacêutica e cosmética. É conhecida popularmente por maracujá doce, maracujina, maracujá de colher, e é uma das 150 espécies brasileiras do gênero passiflora. Os frutos possuem sabor característico, aroma agradável, baixa acidez e elevados teores de sólidos solúveis totais. Objetivou-se com esse trabalho avaliar a produção e a qualidade dos frutos obtidos dos diferentes genótipos de Passiflora alata Curtis. O experimento foi realizado na Fazenda Experimental da Embrapa Cerrados, Planaltina, DF. A avaliação foi realizada em 72 genótipos de maracujá doce, advindos de 2 seleções obtidas em cultivos comerciais no Núcleo Rural Jardim-DF, e uma seleção advinda do cruzamento {(P. quadrangularis x P.alata J)} F1 x F1 {(P. alata nativo do ES x P. alata tipo A.)}. Os frutos de cada planta representando um genótipo foram contados e pesados em balança semi-analítica. Determinaram-se ainda o rendimento de polpa com e sem sementes e a qualidade química e física da polpa dos quatorze genótipos mais produtivos. Na avaliação da produtividade obteve-se a massa dos frutos e o número de frutos produzidos por planta genótipo. Os rendimentos de polpa foram obtidos pela razão entre a massa da polpa com e sem sementes, e a massa dos frutos. Para avaliar a qualidade química e física dos frutos, obtiveram-se os dados de composição de proteínas, carboidratos, cinzas, umidade, lipídeos, sódio, potássio, acidez total titulável, pH, sólidos solúveis totais, cor de polpa, compostos polifenóis e flavanóides totais. O experimento foi delineado em blocos casualizados (DBC) com quatro repetições, sendo dois quadrantes conduzido em espaldeira e os outros dois conduzindo em latada, realizando analise de variância, teste Tukey (p<0,05) e correlação de Pearson das características avaliadas. Obteve-se alto grau de variabilidade dentro das características das 14 plantas mais produtivas. A correlação de Pearson (r) com as características analisadas e encontrou-se forte correlação entre os fatores umidade e proteína (0,666), lipídeo e carboidrato (-0,919), sólidos solúveis totais (SST) e umidade (-0,756), ratio e acidez total titulável (ATT) (-0,867), polifenóis e umidade (0,600), e ratio e umidade (-0,686). Os genótipos avaliados apresentaram alta variabilidade em produção, composição química da polpa e qualidade, destacando o genótipo 1, com maior produção de frutos e compostos fenólicos, o genótipo 7 pelo teor de flavanóides e o genótipo 6 pelos valores da relação de sólidos solúveis totais por acidez titulável (SST/AT).The fruits of Passiflora alata Curtis has marketed for in natura consumption. The leaves are used by the pharmaceutical and cosmetic industry. It is popularly known as sweet passion fruit, and is one of the 150 Brazilian species of the Passiflora genus. The fruits have characteristic taste, pleasant aroma, low acidity, total soluble solids contents. The objective of this work was to evaluate a production and quality of the fruits obtained from the different accessions of Passiflora alata Curtis. The experiment carried out at the Experimental Farm of Embrapa Cerrados, Planaltina, DF. Evaluation was carried out on 72 accessions of sweet passion fruit, coming from 2 selections in the Núcleo Rural Jardins-DF, and a fall from the cross ({P. quadrangularis x P.alata J)} F1 x F1 {(P. alata native of ES x P. alata type A.)}. The fruits were counted and weighed in a semi-analytical balance. The yield of pulp with and without seeds and a chemical and physical quality of the pulp of the fourteen most productive plants were also determined. The fruit mass and the number of fruits produced per plant were obtained in the evaluation of productivity. The yields of pulp were obtained by the ratio between the mass of the pulp with and without seeds, and the mass of the fruits. To evaluate the chemical and physical quality of the fruits, the composition of protein, carbohydrate, ash, moisture content, lipids, sodium, potassium, total titratable acidity, pH, total soluble solids, pulp color, polyphenols and total flavonoids were obtained. The experiment was performed in a randomized complete block (DBC) with four replications, two quadrants being led on a trellis and the other two leading in trellis, performing analysis of variance, Tukey test (p <0.05) and Pearson correlation of the evaluated characteristics. There was a high degree of variability within the characteristics of the 14 most productive plants. A correlation of Pearson (r) as analyzed and found characteristics, strong correlation between the factors and protein (0.666), lipid and carbohydrate (-0.919), total soluble solids (TSS) and moisture content (-0.756), ratio and titratable total acidity (ATT) (-0.867), polyphenols and humidity (0.600), and ratio and humidity (-0.686). The accesses presented high variability in production, chemical composition of the pulp and quality, highlighting access 1, with higher yield of fruits and phenolic compounds, access 7 by the content of flavonoids and the access 6 by the values of the ratio of total soluble solids by titratable acidity (SST / AT)

INTRODUÇÃO ÀS TEORIAS DO DESENVOLVIMENTO: UMA REVISÃO DE LITERATURA SOB A PERSPECTIVA DO COOPERATIVISMO DE CRÉDITO

Trata-se de uma revisão de literatura a respeito das principais teorias do desenvolvimento em busca de encontrar qual se mostra mais adequada para realizar, posteriormente, um estudo de caso sobre as cooperativas de crédito e o seu papel no desenvolvimento regional. Palavras-chave : Revisão de literatura. Teorias do desenvolvimento. Cooperativas de Crédito