Brassicaceae Burnett no município de Santa Maria, Rio Grande do Sul, Brasil

Brassicaceae (Cruciferae) includes invasive species as well as widely cultivated horticultural species. In Santa Maria, Cruciferae species usually occur in environments that have undergone urbanization such as sidewalks, roadsides, walls, near energy poles, etc. The last listing of species of this family in the area was performed by Romeu Beltrão in 1962 and supplemented in 1965. The objective of the current study was to update the number of records of Brassicaceae species that occur in the municipality of Santa Maria, RS, as well as to provide keys for the identification for native and naturalized genera and species. Bibliographic surveys, field collections, herbarium material analysis and data from databases of speciesLink and Flora of Brazil 2020 were carried out, as well as complementary collections from August 2018 to April 2019. The species found were photographed and identified based on the existing literature. Identification keys for genera and species, as well as illustrations, were prepared. All genera had only one representative species in Santa Maria with the exception of Lepidium, which presented three species. There was an addition of three species and one genus in relation to the last survey carried out.Brassicaceae (Cruciferae) possui espécies invasoras e espécies amplamente cultivadas como hortícolas. Em Santa Maria, ocorrem em ambientes que sofreram urbanização como calçadas, beira de rodovias, muros, próximas a postes de energia, entre outros locais. O último levantamento de espécies dessa família no município foi realizado por Romeu Beltrão em 1962 e complementado em 1965. Com base nisso, o objetivo desse estudo foi o de atualizar os registros de Brassicaceae que ocorrem no município de Santa Maria, RS, bem como fornecer chaves para identificação para gêneros e espécies nativos e naturalizados. Foram realizados levantamentos bibliográficos, coletas de campo, análises de materiais de herbário e banco de dados dos sítios speciesLink e Flora do Brasil 2020, bem como coletas complementares de agosto de 2018 a abril de 2019. As espécies foram fotografadas e identificadas com base na literatura especializada. Foram elaboradas chaves de identificação para gêneros e espécies, bem como ilustrações. Ao todo, foram registradas 10 espécies nativas ou naturalizadas pertencentes a oito gêneros. Todos os gêneros apresentaram apenas uma espécie representante em Santa Maria com exceção de Lepidium que apresentou três espécies. Houve um acréscimo de três espécies e um gênero em relação ao último levantamento realizado

Test Coverage Analysis

Hoje em dia, à medida que o software tende a assumir um papel cada vez mais crítico, a necessidade de garantir a sua qualidade torna-se cada vez mais crucial. Várias abordagens surgiram para endereçar esta necessidade, ou seja, ferramentas e processos de teste de software que ajudam a aumentar os níveis de qualidade em virtualmente qualquer tipo de sistema de software. Um exemplo de tais ferramentas são as designadas de ferramentas de Testes-Baseados em Modelos (MBT - Model-Based Testing) , que geram casos de teste a partir de modelos do sistema a testar. A qualidade dos testes gerados pode ser avaliada através de diversos meios, quer como uma percentagem dos elementos ou código 'cobertos', e é de extrema importância obter essas medições de modo a determinar quando parar de testar. No entanto, muitas vezes as ferramentas de teste não providenciam esta informação como esperado. Este projecto apresenta uma ferramenta de análise de cobertura, PARADIGM-COV, avalia analisa a qualidade dos testes gerados por uma ferramenta MBT existente, PARADIGM-ME. A ferramenta proposta produz informação sobre a cobertura de elementos de um modelo gráfico (útil para avaliar a qualidade dos casos de teste, assim como para ajudar o tester a fornecer dados apropriados durante a fase de configuração), e também a percentagem do sistema sob teste que foi atingida durante a execução dos casos de teste.Nowadays, as software tends to assume increasingly critical roles, the need to assure its quality becomes ever more crucial. Several approaches emerged to help overcome this need, i.e., tools and processes of software testing that help increase levels of quality in virtually any type of software system. One example of such tools is the so called Model-Based Testing (MBT) tools, that generate test cases from system models. The generated test cases' quality can be evaluated by various means, either as a percentage of the model elements or code covered, and it is of utmost importance to obtain those measurements in order to determine when to stop testing. However, often times testing tools do not provide this information as expected.This work concerns the implementation of a coverage tool, PARADIGM-COV, that evaluates the quality of the test cases generated by an existing MBT tool, PARADIGM-ME. The proposed tool produces coverage information over the graphical model elements, useful not only to assess test case quality, but also in aiding the tester to provide appropriate data during configuration phase, providing in addition the percentage of the application under test code that was exercised during test case execution

Modelo de gestão de uma empresa mediadora de seguros : o caso da Certezza, Sociedade Mediadora de Seguros Lda.

Mestrado (Relatório de Estágio), Ciências Económicas e Empresariais, 10 de janeiro de 2020, Universidade dos Açores.O presente relatório é o resultado final do estágio realizado no âmbito do mestrado em Ciências Económicas e Empresariais da Universidade dos Açores, que decorreu de 1 de outubro de 2018 a 1 de fevereiro de 2019, na CERTEZZA – Sociedade Mediadora de Seguros Lda., com sede em Angra do Heroísmo, na ilha Terceira. A principal atividade desta instituição é a mediação de seguros, através de quatro escritórios em pontos estratégicos. Neste relatório, apresentam-se as atividades desenvolvidas ao longo do estágio na empresa, reputando os conceitos teóricos lecionados ao longo do percurso académico, na licenciatura em Gestão e no mestrado em Ciências Económicas e Empresariais, aplicando-se alguns destes conceitos durante o estágio. Inicialmente, é realizado um enquadramento do setor dos seguros em Portugal e na Europa, sucedendo-se a caracterização da empresa e do escritório de Angra do Heroísmo. Posteriormente, descrevem-se as atividades desenvolvidas no decorrer do período de estágio curricular, finalizando com a análise crítica à instituição de acolhimento e às atividades desenvolvidas.ABSTRACT: This report is the final result of the internship carried out under the Master’s Degree in Economic and Business Sciences of the University of the Azores, which took place from 1 October 2018 to 1 February 2019, in CERTEZZA – Sociedade Mediadora de Seguros Lda., based in Angra do Heroísmo, in Terceira Island. The main activity of this institution is the mediation of insurance, through four offices in strategic points. This report presents the activities developed during the internship in the company, recognizing the theoretical concepts taught along the academic course, in the degree in Management and in the master’s degree in Economic and Business Sciences, applying some of these concepts during the stage. Initially, a framework of the insurance sector is carried out in Portugal and Europe, following the characterization of the company and the office of Angra do Heroísmo. Subsequently, the activities developed during the course of the curriculum internship are described, concluding with the critical analysis of the host institution and the activities developed

Students\u27 information literacy skills at the School of Communication, Public Management and Tourism (Polytechnic Institute of Bragança, Portugal): evaluation and university library role

Having Information Literacy (IL) skills is essential for the student\u27s academic, professional and personal development. According to the guidelines of the European Higher Education Area, abilities and skills related to research, evaluation, management, use and dissemination of information are required. This research aims to present the results of the study carried out at the School of Communication, Public Management and Tourism - Polytechnic Institute of Bragança. The following data collection instruments were used: IL-HUMASS questionnaire and interviews. The questionnaire sample obtained represents 94.4% of the student’s population enrolled in the academic year 2018/2019. Results reveal that information research is ranked by students as the most important category and information treatment as the least important. Students achieve better development in information research and worse development in treatment and in communication and diffusion of information. Regarding preferred learning sources, classroom stands out, academic library comes up as significant source in the information communication and diffusion category, and self-learning in the information evaluation category. A higher percentage of self-efficacy deficits than of IL competence motivation is identified; students are motivated to acquire and develop those competences, but they have little mastery of it. Interviewees indicate collaboration between teachers and information professionals (librarian) as fundamental. It is concluded that the learning of information literacy skills is a relevant theme for students. All in all, a proposal for the implementation of an IL training program was developed, considering that the 21st century academic libraries must play a fundamental role in the students’ educational success

Gestão do stock farmacêutico num hospital de fauna silvestre : apresentação de dois estudos de caso

Dissertação de Mestrado Integrado em Medicina VeterináriaA subida constante dos custos da sociedade em geral e dos cuidados de saúde em particular, tanto a nível humano, como animal, requer a implementação de medidas que controlem as despesas, sendo essencial o não comprometimento da qualidade destes serviços. Os stocks são o grande investimento de qualquer serviço farmacêutico. Deste modo, uma eficiente gestão do inventário farmacêutico traduz-se no equilíbrio entre um adequado nível de produtos, um melhor serviço ao cliente e um menor custo. Diversos autores defendem que o conhecimento de conceitos e metodologias da gestão de stocks por parte dos médicos veterinários é essencial no processo de formulação do inventário farmacêutico, contribuindo, assim, para viabilidade económica das instituições veterinárias. Os alvos do presente estudo foram dois hospitais de fauna silvestre, ambos geridos por organizações não-governamentais e sem fins lucrativos, o GREFA (Majadahonda, Espanha) e o CERVAS (Gouveia, Portugal). Estes centros ilustram dois cenários opostos no que se refere à dimensão, equipamentos e número de animais assistidos, no entanto ambos bastante actuais no que respeita à estruturação dos centros de recuperação e reabilitação de fauna silvestre. Os processos de inventariação e compra de stocks foram descritos e analisados para os dois centros e a sua análise permitiu identificar limitações em ambos os casos, nomeadamente ao nível das fases de compra e armazenamento dos stocks. Este trabalho procurou demonstrar como a implementação de alguns dos princípios básicos da gestão de stocks, como sejam a redução do número de fornecedores, a redução do número de encomendas, boas práticas de recepção e armazenamento e o controlo das movimentações dos produtos, podem optimizar parte da despesa inerente ao stock farmacêutico.ABSTRACT - Pharmaceutical inventory management of a wildlife hospital – two case studies - Due to the continued rising in the costs of society in general and healthcare in particular, at both human and animal level, it is essential the implementation of measures to control these ones without compromising the quality of the service. The stocks are a major investment for any pharmaceutical service therefore an efficient pharmaceutical inventory management is reflected in the balance of an appropriate level of products, better customer service and lower costs. Several authors highlight that the understanding of concepts and methodologies of inventory management on the part of veterinarians is crucial in the formulation of a pharmaceutical inventory, thus ensuring the economic viability of veterinary institutions. The targets of the study were two wildlife hospitals, managed by nongovernmental and nonprofit organizations, GREFA (Majadahonda, Spain) and CERVAS (Gouveia, Portugal). Both centers illustrate opposite scenarios, according to their size, equipment and treated animals, but very widespread in the structuring of recovery and rehabilitation centers of wild fauna. The process of inventorying and stocks purchasing were described and analyzed for the two centers. Their analysis identified limitations in both cases, particularly in the phases of purchasing and stock storing. This work demonstrates that the implementation of some of the basic principles of stock management, such as reducing the number of suppliers, reducing the number of orders, proper storage practices and the goods transfer control, could optimize the expenses inherent to the pharmaceutical stock

Análise de validade e confiabilidade da BADS-C, numa amostra do norte do país

Competências de aprendizagem, interação social e de resolução dos problemas do dia a dia nas idades mais precoces, dependem muito do desenvolvimento salutar das funções executivas (FE), associadas ao córtex pré-frontal. O desenvolvimento da bateria Behavioural Assessment of the Dysexecutive Syndrome for Chidren (BADS-C) baseou-se na necessidade de um teste, com validade ecológica, que avaliasse as FE. Este estudo pretendeu analisar a validade e confiabilidade da prova, associando parâmetros de idade, género e educação dos pais. Administrou-se a BADS-C a 60 crianças e jovens saudáveis da zona norte de Portugal, divididos em dois grupos etários conforme os estádios psicossexuais de Freud (idade da latência e genital). Encontraram-se diferenças estatisticamente significativas entre os resultados brutos obtidos e os grupos etários. O mesmo não se verificou quanto ao género e nível de escolaridade dos pais. As análises de validade e fiabilidade não foram, totalmente, conclusivas apontando para o desenvolvimento de estudos mais aprofundados da BADS-C, com recurso a uma amostra maior

Internet-delivered cognitive behavioral therapy for anxiety among university students: a systematic review and meta-analysis

University years are marked by multiple stressors. Consequently, university students often report anxiety symptoms or disorders, but most remain untreated. Internet-delivered cognitive behavioral therapy (ICBT) has been proposed as an alternative to address known help-seeking barriers, which were aggravated during the COVID-19 pandemic. This meta-analysis aims to evaluate the efficacy of ICBT for university students with anxiety. A systematic search on three databases, EBSCOhost, PubMed, and Web of Science, and a manual search were performed. Fifteen studies were identified, including a total of 1619 participants. Seven studies evaluated ICBT treatment for both anxiety and depression, three for social anxiety, two for generalized anxiety, while the remaining (k = 3) only targeted anxiety, test anxiety, and comorbidity between anxiety and insomnia. Analyses were performed based on a random-effects model using the metafor package in R. The results indicated that ICBT had a significant and positive effect on university students with anxiety compared to controls at post-test (g = 0.48; 95 % CI: 0.63, 0.27; p < .001, I2 = 67.30 %). Nevertheless, more research is required to determine the intervention components that are more relevant for therapeutic change, how much guidance is required to produce better outcomes, and how patient engagement can be improved.info:eu-repo/semantics/publishedVersio

A stochastic dynamic programming approach to optimize short-rotation coppice systems management scheduling: An application to eucalypt plantations under wildfire risk in Portugal

This article presents and discusses research with the aim of developing a stand-level management scheduling model for short-rotation coppice systems that may take into account the risk of wildfire. The use of the coppice regeneration method requires the definition of both the optimal harvest age in each cycle and the optimal number of coppice cycles within a full rotation. The scheduling of other forest operations such as stool thinning and fuel treatments (e.g., shrub removals) must be further addressed. In this article, a stochastic dynamic programming approach is developed to determine the policy (e.g., fuel treatment, stool thinning, coppice cycles, and rotation length) that maximizes expected net revenues. Stochastic dynamic programming stages are defined by the number of harvests, and state variables correspond to the number of years since the stand was planted. Wildfire occurrence and damage probabilities are introduced in the model to analyze the impact of the wildfire risk on the optimal stand management schedule policy. For that purpose, alternative wildfire occurrence and postfire mortality scenarios were considered at each stage. A typical Eucalyptus globulus Labill. stand in Central Portugal was used as a test case. Results suggest that the proposed approach may help integrate wildfire risk in short-rotation coppice systems management scheduling. They confirm that the maximum expected discounted revenue decreases with and is very sensitive to the discount rate and further suggest that the number of cycles within a full rotation is not sensitive to wildfire risk. Nevertheless, the expected rotation length decreases when wildfire risk is consideredinfo:eu-repo/semantics/publishedVersio