Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach

Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious false positive warnings and legitimate warnings that are not acted on. This paper reports automated support to help address these challenges using logistic regression models that predict the foregoing types of warnings from signals in the warnings and implicated code. Because examining many potential signaling factors in large software development settings can be expensive, we use a screening methodology to quickly discard factors with low predictive power and cost-effectively build predictive models. Our empirical evaluation indicates that these models can achieve high accuracy in predicting accurate and actionable static analysis warnings, and suggests that the models are competitive with alternative models built without screening.

Transient and d.c. analysis of the operation mechanism of light-emitting electrochemical cells

Light-emitting electrochemical cells (LECs) made of electroluminescent polymers were studied by d.c. and transient current-voltage and luminance-voltage measurements to elucidate the operation mechanisms of this kind of device. The time and external voltage necessary to form electrical double layers (EDLs) at the electrode interfaces could be determined from the results. In the low-and intermediate-voltage ranges (below 1.1 V), the ionic transport and the electronic diffusion dominate the current, being the device operation better described by an electrodynamic model. For higher voltages, electrochemical doping occurs, giving rise to the formation of a p-i-n junction, according to an electrochemical doping model. Copyright (C) EPLA, 2012

Suicide rates and income in Sao Paulo and Brazil: a temporal and spatial epidemiologic analysis from 1996 to 2008

Background: In a classical study, Durkheim noted a direct relation between suicide rates and wealth in the XIX century France. Since that time, several studies have verified this relationship. It is known that suicide rates are associated with income, although the direction of this association varies worldwide. Brazil presents a heterogeneous distribution of income and suicide across its territory; however, evaluation for an association between these variables has shown mixed results. We aimed to evaluate the relationship between suicide rates and income in Brazil, State of Sao Paulo (SP), and City of SP, considering geographical area and temporal trends. Methods: Data were extracted from the National and State official statistics departments. Three socioeconomic areas were considered according to income, from the wealthiest (area 1) to the poorest (area 3). We also considered three regions: country-wide (27 Brazilian States and 558 Brazilian micro-regions), state-wide (645 counties of SP State), and city-wide (96 districts of SP city). Relative risks (RR) were calculated among areas 1, 2, and 3 for all regions, in a cross-sectional approach. Then, we used Joinpoint analysis to explore the temporal trends of suicide rates and SaTScan to investigate geographical clusters of high/low suicide rates across the territory. Results: Suicide rates in Brazil, the State of SP, and the city of SP were 6.2, 6.6, and 5.4 per 100,000, respectively. Taking suicide rates of the poorest area (3) as reference, the RR for the wealthiest area was 1.64, 0.88, and 1.65 for Brazil, State of SP, and city of SP, respectively (p for trend <0.05 for all analyses). Spatial cluster of high suicide rates were identified at Brazilian southern (RR = 2.37), state of SP western (RR = 1.32), and city of SP central (RR = 1.65) regions. A direct association between income and suicide were found for Brazil (OR = 2.59) and the city of SP (OR = 1.07), and an inverse association for the state of SP (OR = 0.49). Conclusions: Temporospatial analyses revealed higher suicide rates in wealthier areas in Brazil and the city of SP and in poorer areas in the State of SP. We further discuss the role of socioeconomic characteristics for explaining these discrepancies and the importance of our findings in public health policies. Similar studies in other Brazilian States and developing countries are warranted.

Ameloblastoma demographic, clinical and treatment study - analysis of 40 cases

Dental lesions represent about 1% of oral cavity tumors being ameloblastoma the most common one. It is a tumor of epithelial origin that mainly affects the jaw, and less commonly the maxilla. Its clinical presentation is that of an asymptomatic slow-growing tumor. Despite being a benign tumor, it has an invasive behavior with a high rate of recurrence if not treated properly. Objective: To describe the cases of ameloblastoma in a reference department. Methods: Retrospective analysis of 40 cases. The variables analyzed were: age, gender, ethnicity, tumor location, type of treatment, complications and recurrence. Results: The most affected gender was male - 21 cases (52.5%); with a predominance of Caucasians - 24 cases (60%). The mean age was 35.45 years; the most common location was in.the jaw - 37 cases (92.5%). Facial asymmetry was the most frequent complaint. Of the 40 cases, 33 were submitted to surgery. Of those submitted to surgery, 24 (72.72%) underwent segmental resection, with recurrence in 4 (12.12%) cases. Conclusion: Ameloblastoma may relapse when treatment is not performed with broad surgical resection of the lesion with wide safety margins.

Measure functional differential equations and functional dynamic equations on time scales

We study measure functional differential equations and clarify their relation to generalized ordinary differential equations. We show that functional dynamic equations on time scales represent a special case of measure functional differential equations. For both types of equations, we obtain results on the existence and uniqueness of solutions, continuous dependence, and periodic averaging.

Evaluation of physiologic complexity in time series using generalized sample entropy and surrogate data analysis

Complexity in time series is an intriguing feature of living dynamical systems, with potential use for identification of system state. Although various methods have been proposed for measuring physiologic complexity, uncorrelated time series are often assigned high values of complexity, errouneously classifying them as a complex physiological signals. Here, we propose and discuss a method for complex system analysis based on generalized statistical formalism and surrogate time series. Sample entropy (SampEn) was rewritten inspired in Tsallis generalized entropy, as function of q parameter (qSampEn). qSDiff curves were calculated, which consist of differences between original and surrogate series qSampEn. We evaluated qSDiff for 125 real heart rate variability (HRV) dynamics, divided into groups of 70 healthy, 44 congestive heart failure (CHF), and 11 atrial fibrillation (AF) subjects, and for simulated series of stochastic and chaotic process. The evaluations showed that, for nonperiodic signals, qSDiff curves have a maximum point (qSDiff(max)) for q not equal 1. Values of q where the maximum point occurs and where qSDiff is zero were also evaluated. Only qSDiff(max) values were capable of distinguish HRV groups (p-values 5.10 x 10(-3); 1.11 x 10(-7), and 5.50 x 10(-7) for healthy vs. CHF, healthy vs. AF, and CHF vs. AF, respectively), consistently with the concept of physiologic complexity, and suggests a potential use for chaotic system analysis. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4758815]

Postmortem diagnosis of acute myocardial infarction in patients with acute respiratory failure - demographics, etiologic and pulmonary histologic analysis

OBJECTIVES: Acute respiratory failure is present in 5% of patients with acute myocardial infarction and is responsible for 20% to 30% of the fatal post-acute myocardial infarction. The role of inflammation associated with pulmonary edema as a cause of acute respiratory failure post-acute myocardial infarction remains to be determined. We aimed to describe the demographics, etiologic data and histological pulmonary findings obtained through autopsies of patients who died during the period from 1990 to 2008 due to acute respiratory failure with no diagnosis of acute myocardial infarction during life. METHODS: This study considers 4,223 autopsies of patients who died of acute respiratory failure that was not preceded by any particular diagnosis while they were alive. The diagnosis of acute myocardial infarction was given in 218 (4.63%) patients. The age, sex and major associated diseases were recorded for each patient. Pulmonary histopathology was categorized as follows: diffuse alveolar damage, pulmonary edema, alveolar hemorrhage and lymphoplasmacytic interstitial pneumonia. The odds ratio of acute myocardial infarction associated with specific histopathology was determined by logistic regression. RESULTS: In total, 147 men were included in the study. The mean age at the time of death was 64 years. Pulmonary histopathology revealed pulmonary edema as well as the presence of diffuse alveolar damage in 72.9% of patients. Bacterial bronchopneumonia was present in 11.9% of patients, systemic arterial hypertension in 10.1% and dilated cardiomyopathy in 6.9%. A multivariate analysis demonstrated a significant positive association between acute myocardial infarction with diffuse alveolar damage and pulmonary edema. CONCLUSIONS: For the first time, we demonstrated that in autopsies of patients with acute respiratory failure as the cause of death, 5% were diagnosed with acute myocardial infarction. Pulmonary histology revealed a significant inflammatory response, which has not previously been reported.

Pre- and Postoperative Quantitative Analysis of Contour Abnormalities in Graves Upper Eyelid Retraction

Purpose: One of the most common problems of the surgical management of Graves upper eyelid retraction is the occurrence of eyelid contour abnormalities. In the present study, the postoperative contour of a large sample of eyelids of patients with Graves orbitopathy was measured. Methods: The postoperative upper eyelid contour of 62 eyes of 43 patients with Graves orbitopathy was subjectively classified by 3 experienced surgeons in 3 categories: poor, fair, and good. The shape of the eyelid contours in each category was then measured with a recently developed custom-made software by measuring multiple midpupil eyelid distances each 15 degrees along the palpebral fissure. The upper eyelid contour of 60 normal subjects was also quantified as a control group. Results: The mean ratio between the sum of the lateral and medial midpupil eyelid distances (lateral/medial ratio) was 1.10 +/- 0.11 standard deviation in controls and 1.15 +/- 0.13 standard deviation in patients. Postoperatively, the mean midpupil eyelid distance at 90 degrees was 4.16 +/- 1.13 mm standard deviation. The distribution lateral/medial ratios of the eyelids judged as having good contours was similar to the distribution of the controls with a modal value centered on the interval between 1.0 and 1.10. The distribution of lateral/medial ratios of the eyelids judged as having poor contour was bimodal, with eyelids with low and high lateral/medial ratios. Low lateral/medial ratios occurred when there was a lateral overcorrection, giving the eyelid a flat or a medial ptosis appearance. High lateral/medial ratios were due to a central or medial overcorrection or a lateral peak maintenance. Conclusions: Postoperative upper eyelid contour abnormalities can be quantified by comparing the sum of multiple midpupil eyelid distances of the lateral and medial sectors of the eyelid. Low and high lateral/medial ratios are anomalous and judged as unpleasant. (Ophthal Plast Reconstr Surg 2012;28:429-433)

Discrimination of Basal Cell Carcinoma and Melanoma from Normal Skin Biopsies in Vitro Through Raman Spectroscopy and Principal Component Analysis

Objective: Raman spectroscopy has been employed to discriminate between malignant (basal cell carcinoma [BCC] and melanoma [MEL]) and normal (N) skin tissues in vitro, aimed at developing a method for cancer diagnosis. Background data: Raman spectroscopy is an analytical tool that could be used to diagnose skin cancer rapidly and noninvasively. Methods: Skin biopsy fragments of similar to 2 mm(2) from excisional surgeries were scanned through a Raman spectrometer (830 nm excitation wavelength, 50 to 200 mW of power, and 20 sec exposure time) coupled to a fiber optic Raman probe. Principal component analysis (PCA) and Euclidean distance were employed to develop a discrimination model to classify samples according to histopathology. In this model, we used a set of 145 spectra from N (30 spectra), BCC (96 spectra), and MEL (19 spectra) skin tissues. Results: We demonstrated that principal components (PCs) 1 to 4 accounted for 95.4% of all spectral variation. These PCs have been spectrally correlated to the biochemicals present in tissues, such as proteins, lipids, and melanin. The scores of PC2 and PC3 revealed statistically significant differences among N, BCC, and MEL (ANOVA, p < 0.05) and were used in the discrimination model. A total of 28 out of 30 spectra were correctly diagnosed as N, 93 out of 96 as BCC, and 13 out of 19 as MEL, with an overall accuracy of 92.4%. Conclusions: This discrimination model based on PCA and Euclidean distance could differentiate N from malignant (BCC and MEL) with high sensitivity and specificity.

Morphological, molecular and cross-breeding analysis of geographic populations of coconut-mite associated predatory mites identified as Neoseiulus baraki: evidence for cryptic species?

Surveys were conducted in Brazil, Benin and Tanzania to collect predatory mites as candidates for control of the coconut mite Aceria guerreronis Keifer, a serious pest of coconut fruits. At all locations surveyed, one of the most dominant predators on infested coconut fruits was identified as Neoseiulus baraki Athias-Henriot, based on morphological similarity with regard to taxonomically relevant characters. However, scrutiny of our own and published descriptions suggests that consistent morphological differences may exist between the Benin population and those from the other geographic origins. In this study, we combined three methods to assess whether these populations belong to one species or a few distinct, yet closely related species. First, multivariate analysis of 32 morphological characters showed that the Benin population differed from the other three populations. Second, DNA sequence analysis based on the mitochondrial cytochrome oxidase subunit I (COI) showed the same difference between these populations. Third, cross-breeding between populations was unsuccessful in all combinations. These data provide evidence for the existence of cryptic species. Subsequent morphological research showed that the Benin population can be distinguished from the others by a new character (not included in the multivariate analysis), viz. the number of teeth on the fixed digit of the female chelicera.

A regional multirnodulus algorithm for blind equalization of QAM signals: Introduction and steady-state analysis

It is well known that constant-modulus-based algorithms present a large mean-square error for high-order quadrature amplitude modulation (QAM) signals, which may damage the switching to decision-directed-based algorithms. In this paper, we introduce a regional multimodulus algorithm for blind equalization of QAM signals that performs similar to the supervised normalized least-mean-squares (NLMS) algorithm, independently of the QAM order. We find a theoretical relation between the coefficient vector of the proposed algorithm and the Wiener solution and also provide theoretical models for the steady-state excess mean-square error in a nonstationary environment. The proposed algorithm in conjunction with strategies to speed up its convergence and to avoid divergence can bypass the switching mechanism between the blind mode and the decision-directed mode. (c) 2012 Elsevier B.V. All rights reserved.

PXRF and multivariate statistics analysis of pre-colonial pottery from northeast of Brazil

Portable system of energy dispersive X-ray fluorescence was used to determine the elemental composition of 68 pottery fragments from Sambaqui do Bacanga, an archeological site in Sao Luis, Maranhao, Brazil. This site was occupied from 6600 BP until 900 BP. By determining the element chemical composition of those fragments, it was possible to verify the existence of engobe in 43 pottery fragments. Obtained from two-dimensional graphs and hierarchical cluster analysis performed in fragments of stratigraphies from surface and 113-cm level, and 10 to 20, 132 and 144-cm level, it was possible to group these fragments in five distinct groups, according to their stratigraphies. The results of data grouping (two-dimensional graphics) are in agreement with hierarchical cluster analysis by Ward method. Copyright (C) 2011 John Wiley & Sons, Ltd.

In silico and in vivo analysis reveal a novel gene in Saccharomyces cerevisiae trehalose metabolism

Abstract Background The ability to respond rapidly to fluctuations in environmental changes is decisive for cell survival. Under these conditions trehalose has an essential protective function and its concentration increases in response to enhanced expression of trehalose synthase genes, TPS1, TPS2, TPS3 and TSL1. Intriguingly, the NTH1 gene, which encodes neutral trehalase, is highly expressed at the same time. We have previously shown that trehalase remains in its inactive non-phosphorylated form by the action of an endogenous inhibitor. Recently, a comprehensive two-hybrid analysis revealed a 41-kDa protein encoded by the YLR270w ORF, which interacts with NTH1p. Results In this work we investigate the correlation of this Trehalase Associated Protein, in trehalase activity regulation. The neutral trehalase activity in the ylr270w mutant strain was about 4-fold higher than in the control strain. After in vitro activation by PKA the ylr270w mutant total trehalase activity increased 3-fold when compared to a control strain. The expression of the NTH1 gene promoter fused to the heterologous reporter lacZ gene was evaluated. The mutant strain lacking YLR270w exhibited a 2-fold increase in the NTH1-lacZ basal expression when compared to the wild type strain. Conclusions These results strongly indicate a central role for Ylr270p in inhibiting trehalase activity, as well as in the regulation of its expression preventing a wasteful futile cycle of synthesis-degradation of trehalose.

Suicide rates and income in São Paulo and Brazil: a temporal and spatial epidemiologic analysis from 1996 to 2008

Abstract Background In a classical study, Durkheim noted a direct relation between suicide rates and wealth in the XIX century France. Since that time, several studies have verified this relationship. It is known that suicide rates are associated with income, although the direction of this association varies worldwide. Brazil presents a heterogeneous distribution of income and suicide across its territory; however, evaluation for an association between these variables has shown mixed results. We aimed to evaluate the relationship between suicide rates and income in Brazil, State of São Paulo (SP), and City of SP, considering geographical area and temporal trends. Methods Data were extracted from the National and State official statistics departments. Three socioeconomic areas were considered according to income, from the wealthiest (area 1) to the poorest (area 3). We also considered three regions: country-wide (27 Brazilian States and 558 Brazilian micro-regions), state-wide (645 counties of SP State), and city-wide (96 districts of SP city). Relative risks (RR) were calculated among areas 1, 2, and 3 for all regions, in a cross-sectional approach. Then, we used Joinpoint analysis to explore the temporal trends of suicide rates and SaTScan to investigate geographical clusters of high/low suicide rates across the territory. Results Suicide rates in Brazil, the State of SP, and the city of SP were 6.2, 6.6, and 5.4 per 100,000, respectively. Taking suicide rates of the poorest area (3) as reference, the RR for the wealthiest area was 1.64, 0.88, and 1.65 for Brazil, State of SP, and city of SP, respectively (p for trend <0.05 for all analyses). Spatial cluster of high suicide rates were identified at Brazilian southern (RR = 2.37), state of SP western (RR = 1.32), and city of SP central (RR = 1.65) regions. A direct association between income and suicide were found for Brazil (OR = 2.59) and the city of SP (OR = 1.07), and an inverse association for the state of SP (OR = 0.49). Conclusions Temporospatial analyses revealed higher suicide rates in wealthier areas in Brazil and the city of SP and in poorer areas in the State of SP. We further discuss the role of socioeconomic characteristics for explaining these discrepancies and the importance of our findings in public health policies. Similar studies in other Brazilian States and developing countries are warranted.

Development of an integrative cessation program for co-smokers of cigarettes and cannabis: demand analysis, program description, and acceptability

Abstract Background Tobacco and cannabis use are strongly interrelated, but current national and international cessation programs typically focus on one substance, and address the other substance either only marginally or not at all. This study aimed to identify the demand for, and describe the development and content of, the first integrative group cessation program for co-smokers of cigarettes and cannabis. Methods First, a preliminary study using expert interviews, user focus groups with (ex-)smokers, and an online survey was conducted to investigate the demand for, and potential content of, an integrative smoking cessation program (ISCP) for tobacco and cannabis co-smokers. This study revealed that both experts and co-smokers considered an ISCP to be useful but expected only modest levels of readiness for participation.Based on the findings of the preliminary study, an interdisciplinary expert team developed a course concept and a recruitment strategy. The developed group cessation program is based on current treatment techniques (such as motivational interviewing, cognitive behavioural therapy, and self-control training) and structured into six course sessions.The program was evaluated regarding its acceptability among participants and course instructors. Results Both the participants and course instructors evaluated the course positively. Participants and instructors especially appreciated the group discussions and the modules that were aimed at developing personal strategies that could be applied during simultaneous cessation of tobacco and cannabis, such as dealing with craving, withdrawal, and high-risk situations. Conclusions There is a clear demand for a double cessation program for co-users of cigarettes and cannabis, and the first group cessation program tailored for these users has been developed and evaluated for acceptability. In the near future, the feasibility of the program will be evaluated. Trial registration Current Controlled Trials ISRCTN15248397