Refinement by interpretation in {\pi}-institutions

The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.Comment: In Proceedings Refine 2011, arXiv:1106.348

Equity research - Bankinter, S.A.

Mestrado Bolonha em FinançasThe project consists of estimating the target price of Bankinter S.A., for 1st January 2024. This Equity Research Report follows the CFA Institute research report guidelines. Bankinter is a Spanish publicly traded company in the commercial banking industry listed on Madrid and Barcelona stock exchanges. It conducts its activity in Spain, Portugal, Ireland, and Luxembourg. This report issues a Buy recommendation for Bankinter, with a 2024YE PT of € 6.39 per share and an upside potential of 19.71% in 6 months, an annualized return of 12.74%, against the current price of € 5.34 per share, as of 31st May 2023, with medium risk. The buy recommendation is mainly explained by: Robust financials and low capital requirements; Better performance in Spain under stress scenarios and better asset quality; Strong digital development; Robust client profile; Strong Dividend Commitment (50% payout ratio). We reached Bankinter’s valuation through the Residual Income model on a consolidated basis, and we complemented it with other methods, namely the dividend discounted model, the flow to equity approach and the multiple valuation. The bank is subject to significant risks, such as regulatory changes, unexpected changes in interest rates, slowing of economic growth and disposable income, decreases in asset values, and operational risks that can affect both net interest income and fee income. As a trust institution, the bank must be conscious of its obligation to preserve its credibility to stay out of a bank run, considered the worst-case scenario in a bank, which may lead to a bank’s bankruptcy.Este projeto consiste na estimação do preço alvo da ação do Bankinter S.A. para 1 de janeiro de 2024. Este relatório de avaliação segue as diretrizes de investigação do CFA Institute. Bankinter é uma empresa espanhola cotada na bolsa de Madrid e Barcelona a operar na banca comercial. Exerce atividade em Espanha, Portugal, Irlanda e Luxemburgo. Este relatório emite uma recomendação de Compra para o Bankinter, com um Preço-Alvo de € 6.39 por ação para 2024YE com uma valorização potencial de 19.71% em 6 meses, e um retorno anualizado de 12.74% face ao preço corrente de € 5.34 por ação no dia 31 de maio de 2023, com nível médio de risco. A recomendação de compra é principalmente explicada por: Fundamentos sólidos e baixos requisitos de capital; Melhor desempenho na Espanha em cenários de stress e melhor qualidade dos ativos; Forte desenvolvimento digital; Perfil robusto de clientes; Compromisso forte com dividendos (taxa de pagamento de 50%). Chegamos à avaliação do Bankinter por meio do modelo do Rendimento Residual numa base consolidada, e complementámos com outros métodos, como o modelo de dividendos descontados, a abordagem de fluxo de capitais próprios e a avaliação por múltiplos. O banco está sujeito a riscos significativos, como mudanças regulatórias, mudanças inesperadas nas taxas de juros, desaceleração do crescimento económico e rendimento disponível, queda nos valores dos ativos e riscos operacionais que podem afetar tanto o resultado de juros líquidos quanto o rendimento de serviços. Como instituição de confiança, o banco deve estar consciente de sua obrigação de preservar sua credibilidade para evitar uma corrida aos depósitos, considerado o pior cenário possível num banco, o que pode levar à falência do banco.info:eu-repo/semantics/publishedVersio

Psychomotor intervention on eldelry with osteoarticular problems

This work will be based on a literature review on the particular aspects of rehabilitation in the elderly suffering from osteoarticular problems of the lower limbs, specifically arthrosis. The aging process is associated with body knowledge and motor decreases, mainly cognitive and motor. These decreases will contribute long-term to the reduction of autonomy and individual functionality. Studies have revealed that age and obesity are the main factors of the appearance of osteoarthrosis in the joints of the lower limbs, specifically the knee joint. Through this work, we intend to reinforce the importance of psychomotor intervention in preventing the development of disease, as well as the multidisciplinary dynamics between various areas in health

Analytical Results for the Statistical Distribution Related to Memoryless Deterministic Tourist Walk: Dimensionality Effect and Mean Field Models

Consider a medium characterized by N points whose coordinates are randomly generated by a uniform distribution along the edges of a unitary d-dimensional hypercube. A walker leaves from each point of this disordered medium and moves according to the deterministic rule to go to the nearest point which has not been visited in the preceding \mu steps (deterministic tourist walk). Each trajectory generated by this dynamics has an initial non-periodic part of t steps (transient) and a final periodic part of p steps (attractor). The neighborhood rank probabilities are parameterized by the normalized incomplete beta function I_d = I_{1/4}[1/2,(d+1)/2]. The joint distribution S_{\mu,d}^{(N)}(t,p) is relevant, and the marginal distributions previously studied are particular cases. We show that, for the memory-less deterministic tourist walk in the euclidean space, this distribution is: S_{1,d}^{(\infty)}(t,p) = [\Gamma(1+I_d^{-1}) (t+I_d^{-1})/\Gamma(t+p+I_d^{-1})] \delta_{p,2}, where t=0,1,2,...,\infty, \Gamma(z) is the gamma function and \delta_{i,j} is the Kronecker's delta. The mean field models are random link model, which corresponds to d \to \infty, and random map model which, even for \mu = 0, presents non-trivial cycle distribution [S_{0,rm}^{(N)}(p) \propto p^{-1}]: S_{0,rm}^{(N)}(t,p) = \Gamma(N)/\{\Gamma[N+1-(t+p)]N^{t+p}\}. The fundamental quantities are the number of explored points n_e=t+p and I_d. Although the obtained distributions are simple, they do not follow straightforwardly and they have been validated by numerical experiments.Comment: 9 pages and 4 figure

El mérito y el mito de la democracia racial: temas de discusión

Dedicamo-nos a refletir em que medida a educação incorpora as ideologias provenientes da suposta democracia racial brasileira em suas práticas e discursos. O modo como tais ideologias repercutem nas escolas é examinado com referencial situado em Freire e Russell. Nossa discussão situa-se na abordagem, em um primeiro momento, histórica, das realidades sociais que produziram as condições perniciosas de vida do negro e do mulato no Brasil. Evidenciamos o modo como tais ideologias orientam o discurso e a prática educacionais como tentativa de apresentar as mistificações às quais os educadores devem manter-se atentos. Concentramo-nos na conjugação da ideologia do mérito com o mito da democracia racial e também nos resultados perniciosos que tal articulação promove dentro das escolas e fora delas. Deslindamos o artigo com a conclamação dos educadores críticos comprometidos com a justiça social à crítica das pretensas verdades encerradas pelo capitalismo por meio do enfrentamento das mistificações que impregnam o cotidiano das escolasWe dedicate ourselves to reflect the extent to which education incorporates ideologies from alleged Brazilian racial democracy in their practices and discourses. The way such ideologies reverberate in schools is examined from theoretical located in Freire and Russell. Our discussion lies in the approach, at first historical, the social realities that produced the pernicious living conditions of the black and mulatto in Brazil. Then we show how such ideologies guiding speech and educational practices as an attempt to present mystification which educators must remain vigilant. We focus on the combination of the ideology of merit to the myth of racial democracy and also the harmful results that such articulation promotes within and outside schools. We conclude the article with a call for critical educators committed to social justice to the critics of alleged truths of capitalism through the confrontation of mystification that today pervade the lives of schoolsReflejamos el grado en que la educación brasileña incorpora ideologías de supuesta democracia racial en sus prácticas y discursos. La forma en que éstas ideologías reverberan en las escuelas se examina desde la perspectiva teórica de Freire y Russell. Nuestra discusión parte de las realidades sociales históricas que han contribuido a generar las condiciones de vida perniciosas que hoy viven el negro y el mulato en Brasil. Mostramos cómo estas ideologías marcan un discurso y unas prácticas educativas que invitan a los profesores a mantenerse vigilantes. A continuación nos centramos en la combinación de la ideología del mérito con el mito de la democracia racial y también con los resultados nocivos que esta articulación promueve dentro y fuera de las escuelas. Se concluye el artículo con una llamada a los educadores comprometidos con la justicia social para que sean críticos con las supuestas verdades del capitalismo confrontándose con la mistificación que hoy impregna la vida de las escuela

Indicadores de qualidade do solo na avaliação do efeito da arborização de pastagem em Pastoreiro Racional Voisin

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Agrárias, Programa de Pós-Graduação em Agroecossistemas, Florianópolis, 2015.Apesar da importância da atividade leiteira no Brasil, o uso intensivo e as práticas de manejo inadequadas das pastagens e do solo têm sido entraves para se atingir a sustentabilidade da atividade. O Pastoreio Racional Voisin (PRV) é um sistema de manejo das pastagens que busca maximizar a captação da energia solar pelas forrageiras e assim produzir leite à base de pasto de forma eficiente e com balanço de energia positivo, aumentando o potencial produtivo e ambiental do agroecossistema. Quando o PRV é aperfeiçoado com a introdução planejada e criteriosa da tecnologia silvícola, este potencial de produção e preservação ambiental é aumentado. O trabalho foi desenvolvido no município de Redentora, RS para avaliar a sustentabilidade de pastagem manejada sob Pastoreio Racional Voisin com Árvores (PRVCA), sob Pastoreio Racional Voisin sem Árvores (PRVSA) em comparação com área de Floresta Nativa (FN). Adotou-se o processo de avaliação de qualidade do solo por meio de Indicadores de Qualidade Qualitativos (IQS) através do método participativo. Também utilizou-se indicadores físicos densidade do solo (Ds) e diâmetro médio ponderado dos agregados (DMP) e químico carbono orgânico total (COT). As amostras de solo foram coletadas em três parcelas do PRVCA, em três no PRVSA, com três repetições para cada parcela, e três repetições em área de Floresta Nativa (FN), nas profundidades de 0-5 cm, 5-10 cm e 10-20 cm. O delineamento experimental foi composto por três tratamentos, o PRVCA, o PRVSA, com nove repetições, e o tratamento Floresta Nativa (FN), com três repetições. Os dados de DS, de DMP e COT foram submetidos à Anova e quando os efeitos foram significativos, as médias foram comparadas através de t-LSD em nível de 5% de probabilidade. Também foi realizada uma análise estatística multivariada (análise de componentes principais - ACP) com todos os dados obtidos (qualitativos e quantitativos). A avaliação qualitativa do solo por meio dos IQS permitiu evidenciar melhor desempenho na sustentabilidade do PRVCA em comparação ao PRVSA. A avaliação quantitativa, por meio do DMP e COT, também evidenciou a maior sustentabilidade do PRVCA em comparação ao PRVSA. Os indicadores qualitativos e quantitativos indicaram que o PRVCA apresentou desempenho igual ou muitopróximo ao da condição referência (FN), contrastando com o PRVSA, que apresentou desempenho inferior ao da FN. Através da ACP foi possível separar as três áreas avaliadas, sendo o uso da abordagem qualitativa tão eficiente quanto a da quantitativa, pois os dois tipos de indicadores apresentaram resultados semelhantes frente à separação das áreas avaliadas.Abstract : Brazil has cattle, sheep and caprine herd, that added represent over 230 million of heads, however the use of inadequate management practices of the pasture and soil have been barrier for reaching sustainability of theses livestock activities.Voisin Rational Grazing is a management system of pastures that searches maximize solar energy capitation by forage, then produce food, and sub products of animal origin to pasture of and efficient way and with positive energy balance, increasing productive and environmental potential of agroecosystem. When Voisin Rational Grazing is improved with planned and careful introduction of forester technology, this potential of production and environmental preservation can be increased. The work was developed in Redentora city, RS to evaluate sustainability of managed pasture under Voisin Rational Grazing with Trees, under Voisin Rational Grazing without Trees in comparison to an area of Native Forest. It was adopted the evaluation process of the quality of the soil by Qualitative Quality Indicators through the participative method. It also was used physical indicators of density of the soil and medium diameter prudent of the aggregates and chemical total organic carbon. The soil samples were collected in three times of Voisin Rational Grazing with Trees, in three at Voisin Rational Grazing without Trees, with three repetitions for each time, and three repetitions in area of Native Forest, in depths of 0-5cm, 5-10cm and 10-20cm. The experimental design was composed for three treatments, Voisin Rational Grazing with Trees, with nine repetitions, and the treatment Native Forest, with three repetitions. The data of soil density, of medium diameter prudent and total organic carbon were subjected to Anova and when the effects were significant, the average were compared through of t-LSD in level of 5% of probability.It was also done multivariate statistics analyses (analyses of the main components ? ACP) with all the obtained data (qualitative and quantitative). The qualitative evaluation of the soil by Qualitative Quality Indicators permitted to evidence better indicators in, VoisinRational Grazing with Trees in comparison to Voisin Rational Grazing without Trees.The quantitative evaluation, by means of medium diameter prudent and total organic carbon, also revealed bigger sustainability of Voisin Rational Grazing with Trees in comparison to Voisin Rational Grazing without Trees. The quantitative and qualitative indicators showed that Voisin Rational Grazing with Trees presented the same or very close performance to the reference condition Native Forest, contrasting with Voisin Rational Grazing without Trees, which presented inferior performance to the Native Forest. Through analyses of the main components, it was possible to separate the three evaluated areas, being the use of the qualitative approach as efficient as the quantitative one, because the two types of indicators presented similar results compared to the separation of the evaluated areas

Artrópodos Associados à Copa da Palmeira Mauritia flexuosa (Arecaceae) em três ambientes diferentes no Cerrado Brasileiro

Artrópodos associados à copa de árvores, principalmente palmeiras, são pouco conhecidos no Cerrado. Para descrever a estrutura da comunidade de artrópodos à copa de Mauritia flexuosa (Arecaceae) foram amostradas 150 palmeiras em seis veredas” do Distrito Federal, de áreas silvestres, rurais e periurbanas na estação chuvosa. Os artrópodos presentes nos ninhos abandonados de aves, refúgios de mamíferos, folhas e matéria orgânica foram coletados manualmente, fixados em etanol 70% e separados em ordem, família, morfoespécie e guildas alimentares. As características das palmeiras medidas foram altura da estipe, diâmetro da copa, número de folhas e de ninhos de aves nas palmeiras. Foram coletados 3.862 indivíduos, pertencentes a 15 ordens, 45 famílias e 135 morfoespécies. As ordens mais abundantes foram Coleoptera (28,6%), Blattodea (21,8%), Collembola (11,4%) e Hemiptera (10,2%). As famílias Blaberidae, Tenebrionidae, Entomobryidae, Reduviidae, Oniscidae, Staphylinidae, Carabidae e Formicidae representaram 82,1% de todos os indivíduos coletados. A maioria das morfoespécies foi pouco abundante, 71 (52,6%) apresentaram uma abundância média igual ou menor que 1 indivíduo/palmeira. Coleoptera compreendeu o maior número de morfoespécies (43,7%) seguida de Araneae (20,0%). A análise das guildas alimentares mostrou prevalência de predadores e hematófagos (36,0%). A riqueza e a abundância de artrópodos foram menores no ambiente periurbano. O número de ninhos de aves apresentou correlação positiva com abundância e riqueza, o que não ocorreu com as medidas das palmeiras. A importância de M. flexuosa para a manutenção da artropodofauna nas “veredas” no bioma Cerrado é discutida. _______________________________________________________________________________________ ABSTRACTCanopy arthropods, mainly from palm trees, are little known in the Brazilian Cerrado. In order to describe the arthropod community structure associated with the crown of Mauritia flexuosa (Arecaceae), we sampled 150 palm trees in six “veredas” of the Federal District, Brazil, in wild, rural and periurban areas in the rainy season. The arthropods within abandoned bird nests, mammal refuges, leaves and organic matter were manually collected, preserved in ethanol 70% and separated by order, family, morphospecies and feeding guilds. Stem height and diameter of the palm crowns were measured and leaves and bird nests were counted. We collected 3,862 arthropods, from 15 orders, 45 families and 135 morphospecies. The most abundant orders were Coleoptera (28.6%), Blattodea (21.8%), Collembola (11.4%) and Hemiptera (10.2%). The families Blaberidae, Entomobryidae, Reduviidae, Oniscidae, Staphylinidae, Carabidae and Formicidae, represented 82.1% of all individuals collected. The majority of morphospecies was not abundant, 71 (52.6%) were represented by less than 1 individual/tree. Coleopterans accounted for the highest number of morphospecies (43.7%) followed by Araneae (20.0%). The analysis of the arthropod feeding guilds showed prevalence of predatory/hematophagous ones (36.0%). Arthropod richness and abundance presented smaller values for periurban environment. The number of bird nests presented positive correlation with abundance and richness; this was not found when considering the measurements of the palm trees. The importance of M. flexuosa for the maintenance of the arthropod fauna of the “veredas” in Cerrado biome is discussed