LUTS: A lightweight user-level transaction scheduler

Software Transactional Memory (STM) systems have poor performance under high contention scenarios. Since many transactions compete for the same data, most of them are aborted, wasting processor runtime. Contention management policies are typically used to avoid that, but they are passive approaches as they wait for an abort to happen so they can take action. More proactive approaches have emerged, trying to predict when a transaction is likely to abort so its execution can be delayed. Such techniques are limited, as they do not replace the doomed transaction by another or, when they do, they rely on the operating system for that, having little or no control on which transaction should run. In this paper we propose LUTS, a Lightweight User-Level Transaction Scheduler, which is based on an execution context record mechanism. Unlike other techniques, LUTS provides the means for selecting another transaction to run in parallel, thus improving system throughput. Moreover, it avoids most of the issues caused by pseudo parallelism, as it only launches as many system-level threads as the number of available processor cores. We discuss LUTS design and present three conflict-avoidance heuristics built around LUTS scheduling capabilities. Experimental results, conducted with STMBench7 and STAMP benchmark suites, show LUTS efficiency when running high contention applications and how conflict-avoidance heuristics can improve STM performance even more. In fact, our transaction scheduling techniques are capable of improving program performance even in overloaded scenarios. © 2011 Springer-Verlag.

A study on automatic methods based on mathematical morphology for Martian dust devil tracks detection

This paper presents three methods for automatic detection of dust devils tracks in images of Mars. The methods are mainly based on Mathematical Morphology and results of their performance are analyzed and compared. A dataset of 21 images from the surface of Mars representative of the diversity of those track features were considered for developing, testing and evaluating our methods, confronting their outputs with ground truth images made manually. Methods 1 and 3, based on closing top-hat and path closing top-hat, respectively, showed similar mean accuracies around 90% but the time of processing was much greater for method 1 than for method 3. Method 2, based on radial closing, was the fastest but showed worse mean accuracy. Thus, this was the tiebreak factor. © 2011 Springer-Verlag.

Anfis applied to the prediction of surface roughness in grinding of advanced ceramics

This paper introduces a methodology for predicting the surface roughness of advanced ceramics using Adaptive Neuro-Fuzzy Inference System (ANFIS). To this end, a grinding machine was used, equipped with an acoustic emission sensor and a power transducer connected to the electric motor rotating the diamond grinding wheel. The alumina workpieces used in this work were pressed and sintered into rectangular bars. Acoustic emission and cutting power signals were collected during the tests and digitally processed to calculate the mean, standard deviation, and two other statistical data. These statistics, as well the root mean square of the acoustic emission and cutting power signals were used as input data for ANFIS. The output values of surface roughness (measured during the tests) were implemented for training and validation of the model. The results indicated that an ANFIS network is an excellent tool when applied to predict the surface roughness of ceramic workpieces in the grinding process.

Domain reduction using GRASP construction phase for transmission expansion planning problem

This paper proposes a new strategy to reduce the combinatorial search space of a mixed integer linear programming (MILP) problem. The construction phase of greedy randomized adaptive search procedure (GRASP-CP) is employed to reduce the domain of the integer variables of the transportation model of the transmission expansion planning (TM-TEP) problem. This problem is a MILP and very difficult to solve specially for large scale systems. The branch and bound (BB) algorithm is used to solve the problem in both full and the reduced search space. The proposed method might be useful to reduce the search space of those kinds of MILP problems that a fast heuristic algorithm is available for finding local optimal solutions. The obtained results using some real test systems show the efficiency of the proposed method. © 2012 Springer-Verlag.

Formas de ureia e doses de nitrogênio em cobertura na qualidade fisiológica de sementes de trigo

Besides increasing productivity, nitrogen fertilization may have positives effects on seed physiological quality. The objective of this study was to evaluate the effect of different forms and levels of urea in top dressing fertilization on the physiological quality of wheat seed genotypes. Seeds of three wheat genotypes (BRS 208, BRS Pardela and IWT 04008) were evaluated for four levels of nitrogen fertilization (0, 40, 80 and 120 kg.ha-1) in three forms of urea (conventional urea, urea with urease inhibitor and protected urea). The nitrogen fertilization was applied during tillering, 20 days after emergence. The seed nitrogen content, 1000 seed mass, germination and vigor (germination first count, cold test, seedling emergence in the field, dry weight of seedlings, accelerated aging and electrical conductivity) were evaluated. The IWT 04008 line and the cultivar BRS Pardela had seeds with a higher physiological quality than those of the cultivar BRS 208. The forms of urea and levels of nitrogen in topdressing did not affect seed physiological quality of the different wheat genotypes.

A malware detection system inspired on the human immune system

Malicious programs (malware) can cause severe damage on computer systems and data. The mechanism that the human immune system uses to detect and protect from organisms that threaten the human body is efficient and can be adapted to detect malware attacks. In this paper we propose a system to perform malware distributed collection, analysis and detection, this last inspired by the human immune system. After collecting malware samples from Internet, they are dynamically analyzed so as to provide execution traces at the operating system level and network flows that are used to create a behavioral model and to generate a detection signature. Those signatures serve as input to a malware detector, acting as the antibodies in the antigen detection process. This allows us to understand the malware attack and aids in the infection removal procedures. © 2012 Springer-Verlag.

How bioinformatics enables livestock applied sciences in the genomic era

This review paper presents the three main approaches currently used in livestock genomic sciences where the bioinfomatics plays a critical role. They are named as Genomic Selection (GS), Genome Wide Association Study (GWAS) and Signatures of Selection (SS). The subsides for the construction of this article were generated in a current project (started in 2011), so called Zebu Genome Consortium (ZGC), which joins researchers from different institutions and countries, aiming to scientifically explore genomic information of Bos taurus indicus cattle breeds and deliver useful information to breeders and academic community, specially from the tropical regions of the world. © 2012 Springer-Verlag.

A proposed neural control for the trajectory tracking of a nonholonomic mobile robot with disturbances

In this paper, a trajectory tracking control problem for a nonholonomic mobile robot by the integration of a kinematic neural controller (KNC) and a torque neural controller (TNC) is proposed, where both the kinematic and dynamic models contains disturbances. The KNC is a variable structure controller (VSC) based on the sliding mode control theory (SMC), and applied to compensate the kinematic disturbances. The TNC is a inertia-based controller constituted of a dynamic neural controller (DNC) and a robust neural compensator (RNC), and applied to compensate the mobile robot dynamics, and bounded unknown disturbances. Stability analysis with basis on Lyapunov method and simulations results are provided to show the effectiveness of the proposed approach. © 2012 Springer-Verlag.

Influence of chronic exercise on serum cortisol levels in older adults

The circulating level of cortisol is regulated by the hypothalamic-pituitary-adrenal axis through a neuroendocrine feedback circuit. This circuit can be activated by physiological stimuli such as stress, diseases, and exercise. High levels of serum cortisol hormone normally occur as a byproduct of aging, and can cause several types of damage to the organism and exacerbate immunosenescence. There is a great deal of variability in the cortisol response with regard to type, intensity, volume, and frequency of exercise. However, these relationships have been extensively studied with respect to the acute effects of exercise. Despite the well-known effects of acute exercise on cortisol response, it is unclear how it is affected by chronic exercise and the aging process. Therefore, the aim of this study was to conduct a review of studies that attempt to analyze the influence of chronic exercise on serum cortisol hormone in older people. In order to accomplish this goal, a review from 1970 to June 2012 period was performed using the following databases: Biological Abstracts, PsycINFO, PubMed/Medline, and the Web of Science. Eight articles met the criteria used in this study. Based on the included articles, chronic exercise may influence the serum levels of cortisol levels in older people. Despite this evidence, these results may not be generalized to the entire population of older people, given the few number of studies and especially because the studies showed diversity in variables and methodologies. © 2013 European Group for Research into Elderly and Physical Activity (EGREPA).

High incidence of 'Dag-like' sperm defect in the domestic cat

The occurrence of a high incidence of sperm tail defects in a male domestic cat resembling the known 'Dag-like' defect is reported. Sperm analyses were performed in ejaculated samples collected by an artificial vagina and in testicular and epididymal sperm cells after castration. The following alterations were observed using transmission electron microscope: heavily coiled sperm tails containing several axonemal units enclosed in the same common cell membrane; aberrations in the axonemal main structure; and swollen and unevenly distributed mitochondria in the midpiece. Abnormal modifications in the mitochondrial sheath were also found in sperm cells retrieved from testes and epididymides. Considering these findings, we can conclude that this is the Dag-like defect, described previously in other domestic species and a testicular origin may be involved. © ISFM and AAFP 2012.

Analysis of artisanal fisheries in two reservoirs of the upper Paraná River basin (Southeastern Brazil)

We compared the artisanal fisheries, in terms of catch strategies, productivity, and gross per capita income, at two reservoirs: The Barra Bonita (an eutrophic reservoir with some introduced species), and the Jurumirim (an oligotrophic reservoir, with no introduced species). Published data and structured interviews with fishers were used to evaluate fishing activity, fish biomass, and the financial performance of the fisheries. In the Barra Bonita Reservoir we analysed data from 745 fishing trips, from which 86,691.9 kg of fish were landed, with a mean CPUE of 62.4 kg/fisher-1 day-1. The main type of fish caught was tilapia (71,513.5 kg; CPUE of 51.5 kg/fisher-1 day-1), which constituted 82.5% of the biomass caught. In the Jurumirim Reservoir, we analysed data from 2,401 fishing trips, from which 25,093.6 kg of fish were landed, with a mean CPUE of 10.4 kg/fisher-1 day-1. The main type of fish caught was traíra (6,158.6 kg; CPUE of 2.6 kg/fisher-1 day-1), which constituted 24.5% of the biomass caught. Ordination analysis (PCA) indicated that there was a difference in composition between the fishing reservoirs and ANCOVA showed that there was a significant difference in fish production between the reservoirs. A Student's t-test showed that fishers in the Barra Bonita Reservoir had a significantly higher gross per capita income than those from the Jurumirim Reservoir. Although the Barra Bonita Reservoir has a higher fish production and the fishers earn a higher gross per capita income, we recommend the Jurumirim Reservoir as a model for artisanal fishery management because fishing activity in this reservoir is viable in the long term and such a model would promote conservation and sustainability. This contrasts with the Barra Bonita Reservoir, in which the fishery is not viable in the long term, due to environmental problems caused by artificial eutrophication and the introduction of alien species. It is also noted that in many countries, management of fisheries based on exotic species has not been viable in the long term. © 2013 Sociedade Brasileira de Ictiologia.

3D geovisualisation techniques applied in spatial data mining

The increase in the number of spatial data collected has motivated the development of geovisualisation techniques, aiming to provide an important resource to support the extraction of knowledge and decision making. One of these techniques are 3D graphs, which provides a dynamic and flexible increase of the results analysis obtained by the spatial data mining algorithms, principally when there are incidences of georeferenced objects in a same local. This work presented as an original contribution the potentialisation of visual resources in a computational environment of spatial data mining and, afterwards, the efficiency of these techniques is demonstrated with the use of a real database. The application has shown to be very interesting in interpreting obtained results, such as patterns that occurred in a same locality and to provide support for activities which could be done as from the visualisation of results. © 2013 Springer-Verlag.

Metrics to support the evaluation of association rule clustering

Many topics related to association mining have received attention in the research community, especially the ones focused on the discovery of interesting knowledge. A promising approach, related to this topic, is the application of clustering in the pre-processing step to aid the user to find the relevant associative patterns of the domain. In this paper, we propose nine metrics to support the evaluation of this kind of approach. The metrics are important since they provide criteria to: (a) analyze the methodologies, (b) identify their positive and negative aspects, (c) carry out comparisons among them and, therefore, (d) help the users to select the most suitable solution for their problems. Some experiments were done in order to present how the metrics can be used and their usefulness. © 2013 Springer-Verlag GmbH.

Optimizing feature selection through binary charged system search

Feature selection aims to find the most important information from a given set of features. As this task can be seen as an optimization problem, the combinatorial growth of the possible solutions may be inviable for a exhaustive search. In this paper we propose a new nature-inspired feature selection technique based on the Charged System Search (CSS), which has never been applied to this context so far. The wrapper approach combines the power of exploration of CSS together with the speed of the Optimum-Path Forest classifier to find the set of features that maximizes the accuracy in a validating set. Experiments conducted in four public datasets have demonstrated the validity of the proposed approach can outperform some well-known swarm-based techniques. © 2013 Springer-Verlag.

Inoculação e adubação molíbdica no amendoim cultivado em semeadura direta sobre forrageiras

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)