A web portal for the certification of open source software

Lecture Notes in Computer Science 7791, 2014This paper presents a web portal for the certification of open source software. The portal aims at helping programmers in the internet age, when there are (too) many open source reusable libraries and tools available. Our portal offers programmers a web-based and easy setting to analyze and certify open source software, which is a crucial step to help programmers choosing among many available alternatives, and to get some guarantees before using one piece of software. The paper presents our first prototype of such web portal. It also describes in detail a domain specific language that allows programmers to describe with a high degree of abstraction specific open source software certifications. The design and implementation of this language is the core of the web portal.(undefined

Generating attribute grammar-based bidirectional transformations from rewrite rules

Higher order attribute grammars provide a convenient means for specifying uni-directional transformations, but they provide no direct support for bidirectional transformations. In this paper we show how rewrite rules (with non-linear right hand sides) that specify a forward/get transformation can be inverted to specify a partial backward/put transformation. These inverted rewrite rules can then be extended with additional rules based on characteristics of the source language grammar and forward transformations to create, under certain circumstances, a total backward transformation. Finally, these rules are used to generate attribute grammar specifications implementing both transformations.This work is partly funded by the following projects: European Regional Development Fund (ERDF) through the program COMPETE, project reference FCOMP-01-0124-FEDER-020532, by the North Portugal Regional Operational Programme (ON.2 - O Novo Norte); under the National Strategic Reference Framework (NSRF), through the ERDF, project reference RL3 SENSING NORTE-07-0124-FEDER-000058; by the Portuguese Government through FCT (Foundation for Science and Technology); by the U.S. National Science Foundation (NSF) award No. 0905581 and 1047961; and by the FLAD/NSF program Portugal-U.S. Research Networks 2011

Refactoring meets model-driven spreadsheet evolution

Software refactoring is a well-known technique that provides transformations on software artifacts with the aim of improving their overall quality. In this paper we present a set of refactorings for ClassSheets, a modeling language that allows to specify the business logic of a spreadsheet in an object-oriented fashion. The set of refactorings that we propose allows us to improve the quality of these spreadsheet models. Moreover, it is implemented in a setting that guarantees that all model refactorings are automatically carried to all the corresponding (spreadsheet) instances, thus providing an automatic evolution of the data so it is always synchronized with the model

SmellSheet Detective: a tool for detecting bad smells in spreadsheets

This tool demo paper presents SmellSheet Detective: a tool for automatically detecting bad smells in spreadsheets. We have defined a catalog of bad smells in spreadsheet data which was fully implemented in a reusable library for the manipulation of spreadsheets. This library is the building block of the SmellSheet Detective tool, that has been used to detect smells in large, real-world spreadsheet within the EUSES corpus, in order to validate and evolve our bad smells catalog.(undefined

DEVELOPMENT OF A FIRE DANGER INDEX FOR EUCALYPT PLANTATIONS IN THE NORTHERN COAST OF BAHIA, BRAZIL

Economic losses caused by fires in commercial plantations of eucalypt forest has led to the development of new fire-fighting systems and methodologies. This study aimed to develop a fire danger index for eucalypt plantations in the Copener Forestal Ltda. areas located in the north coast of Bahia, Brazil, in order to improve fire control efforts. For this purpose, eight years of meteorological data were collected and correlated to forest fire occurrence through multivariate logistic regression. The proposed model (White Model) presented a better statistical performance than other models generally used in Brazil, recommended for operational use in focused area.Keywords: Fire danger rating; fire prevention; fire suppression; fire safety. ResumoDesenvolvimento de um índice de perigo de ocorrência de incêndios florestais para plantações de eucalipto no litoral norte da Bahia, Brasil. Em função das perdas econômicas causadas pelo fogo em plantações comerciais de eucalipto, novas metodologias e sistemas de prevenção e combate ao fogo têm sido criados. Este estudo buscou desenvolver um índice de perigo de ocorrência de incêndio florestal em plantações de eucalipto da empresa Copener Florestal Ltda., localizada no litoral norte da Bahia, Brasil, a fim de aprimorar os sistemas de prevenção e combate ao fogo. Para tal, oito anos de dados meteorológicos foram coletados e correlacionados com a ocorrência de incêndios florestais através da regressão logística multivariada. O modelo proposto neste trabalho (Modelo White) obteve um melhor desempenho estatístico que outros modelos comumente utilizados no Brasil e, portanto, é recomendado para utilização operacional na área de estudo.Palavras-chave: Índice de perigo; prevenção e combate ao fogo; segurança florestal.Economic losses caused by fires in commercial plantations of eucalypt forest has led to the development of new fire-fighting systems and methodologies. This study aimed to develop a fire danger index for eucalypt plantations in the Copener Forestal Ltda. areas located in the north coast of Bahia, Brazil, in order to improve fire control efforts. For this purpose, eight years of meteorological data were collected and correlated to forest fire occurrence through multivariate logistic regression. The proposed model (White Model) presented a better statistical performance than other models generally used in Brazil, recommended for operational use in focused area.Keywords: Fire danger rating; fire prevention; fire suppression; fire safety

A purely functional combinator language for software quality assessment

Quality assessment of open source software is becoming an important and active research area. One of the reasons for this recent interest is the consequence of Internet popularity. Nowadays, programming also involves looking for the large set of open source libraries and tools that may be reused when developing our software applications. In order to reuse such open source software artifacts, programmers not only need the guarantee that the reused artifact is certified, but also that independently developed artifacts can be easily combined into a coherent piece of software. In this paper we describe a domain specific language that allows programmers to describe in an abstract level how software artifacts can be combined into powerful software certification processes. This domain specific language is the building block of a web-based, open-source software certification portal. This paper introduces the embedding of such domain specific language as combinator library written in the Haskell programming language. The semantics of this language is expressed via attribute grammars that are embedded in Haskell, which provide a modular and incremental setting to define the combination of software artifacts

Smelling faults in spreadsheets

Despite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in spreadsheets. It combines a catalog of spreadsheet smells that provide a first indication of a potential fault, with a generic spectrum-based fault localization strategy in order to improve (in terms of accuracy and false positive rate) on these initial results. Our technique has been implemented in a tool which helps users detecting faults.To validate the proposed technique, we consider a wellknown and well-documented catalog of faulty spreadsheets. Our experiments yield two main results: we were able to distinguish between smells that can point to faulty cells from smells and those that are not capable of doing so; and we provide a technique capable of detecting a significant number of errors: two thirds of the cells labeled as faulty are in fact (documented) errors

FLUXO DE CARBONO INORGÂNICO DISSOLVIDO NO RIO PIRACICABA (SÃO PAULO): PARTIÇÃO E REAÇÕES DE EQUILÍBRIO DO SISTEMA CARBONATO

The flow of dissolved inorganic carbon (DIC) in the Piracicaba River (Artemis sampling station, state of São Paulo) was estimated by taking into account the main fluvial components.To this end, equations related to equilibria of carbonate system were applied, and the main involved parameters such as pH, temperature,total alkalinity and discharge during the sampling period were taken into account. The results emphasized that fluvial DIC flow (40,383tC y-1) was controlled mainly by the biogenic processes related to the consumption of atmospheric/soil CO2, including silicate and carbonate weathering. HCO3 - and dissolved CO2 were the dominant DIC species, with a flow of 32,811 (81% of total flow) and 7,557 (19%) tC y-1 respectively, whereas CO3 2- flow was less than 0.1%. In terms of total carbon river flow, the inorganic species represented by HCO3- was higher than the dissolved organic carbon, DOC, which showed an average flow of 22,064 tC y-1. This last figure was mainly associated to domestic effluent contributions.O fluxo de carbono inorgânico dissolvido (CID) no Rio Piracicaba, no distrito de Artemis (Piracicaba, São Paulo) foi determinado a partir dos cálculos de seus principais componentes fluviais, de acordo com as reações de equilíbrio do sistema carbonato, utilizando somente como base os parâmetros pH, temperatura e alcalinidade total, além das respectivas vazões durante o período de amostragem. Os resultados obtidos mostraram que o CID fluvial, com um fluxo de 40.383 tC.a-1, é principalmente controlado pelos processos biogênicos ligados ao consumo de CO2 atmosférico/solo, incluindo a alteração de silicatos e dissolução de carbonatos, apresentando como espécies dominantes o HCO3 -, com 32.811 tC.a-1 (81%) e CO2 dissolvido com 7.557 tC.a-1 (19%), enquanto o CO3 2- representou menos de 0,1%. Do total de carbono transportado fluvialmente na bacia de drenagem do Rio Piracicaba, o CID, representado pelo HCO3 -, foi superior ao carbono orgânico dissolvido, o qual apresentou um fluxo de 22.064 tC.a-1, fluxo esse principalmente associado aos aportes domésticos

The effects of high-speed resistance training on health outcomes in independent older adults: a systematic review and meta-analysis

Human ageing involves several physiological impairments—in particular, a decrease in sensorimotor function and changes in the nervous system reduce muscle strength, power, balance, and functional capacity performance. Preventive strategies are essential to ensure the quality of life of the elderly. High-speed resistance training (HSRT) may be an effective approach to muscle power development in this population, with significant short-term effects on neural adaptations and muscle power production. Therefore, the present study intends to analyze and systematize the studies focused on HSRT interventions and their effects on health outcomes in independent older adults. Four electronic databases (PubMed, Web of Science, EBSCO, and Scielo) were used for the purposes of searching randomized controlled trials that measured at least one key outcome measure focusing on velocity-based training and health outcomes in older adults on 7 March 2022 and identified 1950 studies. At the end of the process, fourteen studies were included in this systematic review and ten studies were included in the quantitative analysis. The main results showed that HSRT interventions would improve health measures, mostly cognitive function (large effects, p = 0.001, SMD = 0.94), neuromuscular function (moderate effects, p = 0.003, SMD = 0.70), and physical function (moderate effects, p = 0.04, SMD = 0.55 and p = 0.009, SMD = −0.59). Additionally, the results sug gested that interventions with ten weeks or more, performed three times a week, provide significant improvements in neuromuscular function. In this sense, HSRT is effective for improving overall health outcomes in older adults. Future studies should include proper follow-ups (e.g., minimum six months) to assess the durability of HSRT intervention effects on all health-related variables.info:eu-repo/semantics/publishedVersio

In-season microcycle quantification of professional women soccer players—external, internal and wellness measures

Although data currently exists pertaining to the intensity in the women’s football match, the knowledge about training is still scarce. Therefore, the aim of this study was to quantify external (locomotor activity) and internal (psychophysiological) intensities, as well as the wellness profile of the typical microcycle from professional female soccer players during the 2019/20 in-season. Ten players (24.6 ± 2.3 years) from an elite Portuguese women soccer team participated in this study. All variables were collected in 87 training session and 15 matches for analysis from the 2019–2020 in-season. Global positioning variables such total distance, high-speed running, acceleration, deceleration and player load were recorded as intensity while Rated Perceived Exertion (RPE) and session-RPE were recorded as internal measures. The Hooper Index (HI) was collected as a wellness parameter. The results showed that internal and external intensity measures were greater in matches compared to trainings during the week (match day minus [MD-], MD-5, MD-4, MD-2), p < 0.05 with very large effect size (ES). In the same line, higher internal and external intensity values were found in the beginning of the week while the lowest values were found in MD-2 (p < 0.05, with very large ES). Regarding wellness, there was no significant differences in the HI parameters between the training days and match days (p > 0.05). This study confirmed the highest intensity values during MD and the lowest on the training session before the MD (MD-2). Moreover, higher training intensities were found in the beginning of the training week sessions which were then reduced when the MD came close. Wellness parameters showed no variation when compared to intensity measures. This study confirmed the hypothesis regarding internal and external intensity but not regarding wellness.info:eu-repo/semantics/publishedVersio