Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java

Dynamic analysis is an increasingly important means of supporting software validation and maintenance. To date, developers of dynamic analyses have used low-level instrumentation and debug interfaces to realize their analyses. Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading. We present SOFYA – an infra-structure designed to provide high-level, efficient, concurrency-aware support for building analyses that reason about rich observations of program data and events. It provides a layered, modular architecture, which has been successfully used to rapidly develop and evaluate a variety of demanding dynamic program analyses. In this paper, we describe the SOFYA framework, the challenges it addresses, and survey several such analyses.

Improved Regression Estimation of a Multivariate Relationship with Population Data on the Bivariate Relationship

Regression coefficients specify the partial effect of a regressor on the dependent variable. Sometimes the bivariate or limited multivariate relationship of that regressor variable with the dependent variable is known from population-level data. We show here that such population- level data can be used to reduce variance and bias about estimates of those regression coefficients from sample survey data. The method of constrained MLE is used to achieve these improvements. Its statistical properties are first described. The method constrains the weighted sum of all the covariate-specific associations (partial effects) of the regressors on the dependent variable to equal the overall association of one or more regressors, where the latter is known exactly from the population data. We refer to those regressors whose bivariate or limited multivariate relationships with the dependent variable are constrained by population data as being ‘‘directly constrained.’’ Our study investigates the improvements in the estimation of directly constrained variables as well as the improvements in the estimation of other regressor variables that may be correlated with the directly constrained variables, and thus ‘‘indirectly constrained’’ by the population data. The example application is to the marital fertility of black versus white women. The difference between white and black women’s rates of marital fertility, available from population-level data, gives the overall association of race with fertility. We show that the constrained MLE technique both provides a far more powerful statistical test of the partial effect of being black and purges the test of a bias that would otherwise distort the estimated magnitude of this effect. We find only trivial reductions, however, in the standard errors of the parameters for indirectly constrained regressors.

Occurrence of organochlorine compounds in Euphausia superba and unhatched eggs of Pygoscelis genus penguins from Admiralty Bay (King George Island, Antarctica) and estimation of biomagnification factors

Polychlorinated biphenyls (PCBs) and organochlorine pesticides are compounds that do not occur naturally in the environment and are not easily degraded by chemical or microbiological action. In the present work, those compounds were analysed in unhatched penguin eggs and whole krill collected in Admiralty Bay, King George Island, Antarctica in the austral summers of 2004-2005 and 2005-2006. The compounds found in higher levels (in a wet weight basis) were, in most of the egg samples, the PCBs (2.53-78.7 ng g(-1)), DDTs (2.07-38.0 ng g(-1)) and HCB (4.99-39.1 ng g(-1)) and after Kruskal-Wallis ANOVA, the occurrence seemed to be species-specific for the Pygoscelis genus. In all of the cases, the levels found were not higher than the ones in Arctic birds in a similar trophic level. The krill samples analysis allowed estimating the biomagnification factors (which resulted in up to 363 for HCB, one order of magnitude higher than DDTs and chlordanes and two orders of magnitude higher than the other groups) of the compounds found in eggs, whose only source of contamination is the female-offspring transfer. (C) 2009 Elsevier Ltd. All rights reserved.

Anderson-like Transition for a Class of Random Sparse Models in d >= 2 Dimensions

We show that the Kronecker sum of d >= 2 copies of a random one-dimensional sparse model displays a spectral transition of the type predicted by Anderson, from absolutely continuous around the center of the band to pure point around the boundaries. Possible applications to physics and open problems are discussed briefly.

Biomechanical Performance of Flexible Intramedullary Nails With End Caps Tested in Distal Segmental Defects of Pediatric Femur Models

Background: Unstable distal femoral fractures in children are challenging lesions with restricted surgical options for adequate stabilization. Elastic nails have become popular for treating femoral shaft fractures, yet they are still challenging for using in distal fractures. The aim of this study was to test whether end caps (CAP) inserted into the nail extremity improved the mechanical stabilization of a segmental defect at the distal femoral metaphyseal-diaphyseal junction created in an artificial pediatric bone model. Methods: Two 3.5-mm titanium elastic nails (TEN) were introduced intramedullary into pediatric femur models, and a 7.0-mm-thick segmental defect was created at the distal diaphyseal-metaphyseal junction. Nondestructive 4-point bending, axial-bending, and torsion tests were conducted. After this, the end caps were inserted into the external tips of the nails and then screwed into the bone cortex. The mechanical tests were repeated. Stiffness, displacement, and torque were analyzed using the Wilcoxon nonparametric test for paired samples. Results: In the combined axial-bending tests, the TEN + CAP combination was 8.75% stiffer than nails alone (P < 0.01); in torsion tests, the TEN + CAP was 14% stiffer than nails alone (P < 0.01). In contrast, the 4-point bending test did not show differences between the methods (P = 0.91, stiffness; P = 0.51, displacement). Thus, the end caps contributed to an increase in the construct stability for torsion and axial-bending forces but not for 4-point bending forces. Conclusions: These findings indicate that end caps fitted to elastic nails may contribute to the stabilization of fractures that our model mimics (small distal fragment, bone comminution, and distal bone fragment loss).

ANALYSIS OF THE NATURAL VIBRATION FREQUENCY TEST METHOD TO OBTAIN THE MODULUS OF ELASTICITY OF WOOD STRUCTURAL COMPONENTS

There are several techniques to characterize the elastic modulus of wood and those currently using the natural frequencies of vibration stand out as they are non-destructive techniques, producing results that can be repeated and compared over time. This study reports on the effectiveness of the testing methods based on the natural frequencies of vibration versus static bending to obtain the elastic properties of reforested structural wood components usually employed in civil construction. The following components were evaluated: 24 beams of Eucalyptus sp. with nominal dimensions (40 x 60 x 2.000 mm) and 14 beams of Pinus oocarpa with nominal dimensions (45 x 90 x 2.300 mm) both without treatment; 30 boards with nominal dimensions (40 x 240 x 2.010 mm) and 30 boards with nominal dimensions (40 x 240 x 3.050 mm), both of Pinus oocarpa and with chromate copper arsenate (CCA) preservative treatment. The results obtained in thiswork show good correlation when compared to the results obtained by the static bending mechanical method, especially when applying the natural frequency of longitudinal vibration. The use of longitudinal frequency was reliable and practical, therefore recommended for determining the modulus of elasticity of wood structural elements. It was also found that no specific support is needed for the specimens using the longitudinal frequency, as well as no previous calibrations, reducing the execution time and enabling to test many samples.

The Cysteine-Rich Protein Thimet Oligopeptidase as a Model of the Structural Requirements for S-glutathiolation and Oxidative Oligomerization

Thimet oligopeptidase (EP24.15) is a cysteine-rich metallopeptidase containing fifteen Cys residues and no intra-protein disulfide bonds. Previous work on this enzyme revealed that the oxidative oligomerization of EP24.15 is triggered by S-glutathiolation at physiological GSSG levels (10-50 mu M) via a mechanism based on thiol-disulfide exchange. In the present work, our aim was to identify EP24.15 Cys residues that are prone to S-glutathiolation and to determine which structural features in the cysteinyl bulk are responsible for the formation of mixed disulfides through the reaction with GSSG and, in this particular case, the Cys residues within EP24.15 that favor either S-glutathiolation or inter-protein thiol-disulfide exchange. These studies were conducted by in silico structural analyses and simulations as well as site-specific mutation. S-glutathiolation was determined by mass spectrometric analyses and western blotting with anti-glutathione antibody. The results indicated that the stabilization of a thiolate sulfhydryl and the solvent accessibility of the cysteines are necessary for S-thiolation. The Solvent Access Surface analysis of the Cys residues prone to glutathione modification showed that the S-glutathiolated Cys residues are located inside pockets where the sulfur atom comes into contact with the solvent and that the positively charged amino acids are directed toward these Cys residues. The simulation of a covalent glutathione docking onto the same Cys residues allowed for perfect glutathione posing. A mutation of the Arg residue 263 that forms a saline bridge to the Cys residue 175 significantly decreased the overall S-glutathiolation and oligomerization of EP24.15. The present results show for the first time the structural requirements for protein S-glutathiolation by GSSG and are consistent with our previous hypothesis that EP24.15 oligomerization is dependent on the electron transfer from specific protonated Cys residues of one molecule to previously S-glutathionylated Cys residues of another one.

Multi-element determination in Brazilian honey samples by inductively coupled plasma mass spectrometry and estimation of geographic origin with data mining techniques

Multi-element analysis of honey samples was carried out with the aim of developing a reliable method of tracing the origin of honey. Forty-two chemical elements were determined (Al, Cu, Pb, Zn, Mn, Cd, Tl, Co, Ni, Rb, Ba, Be, Bi, U, V, Fe, Pt, Pd, Te, Hf, Mo, Sn, Sb, P, La, Mg, I, Sm, Tb, Dy, Sd, Th, Pr, Nd, Tm, Yb, Lu, Gd, Ho, Er, Ce, Cr) by inductively coupled plasma mass spectrometry (ICP-MS). Then, three machine learning tools for classification and two for attribute selection were applied in order to prove that it is possible to use data mining tools to find the region where honey originated. Our results clearly demonstrate the potential of Support Vector Machine (SVM), Multilayer Perceptron (MLP) and Random Forest (RF) chemometric tools for honey origin identification. Moreover, the selection tools allowed a reduction from 42 trace element concentrations to only 5. (C) 2012 Elsevier Ltd. All rights reserved.

Estimation of taurindicine hybridization of American Zebu cattle in Brazil

Our objective was to estimate Bos primigenius taurus introgression in American Zebu cattle. One hundred and four American Zebu (Nellore) cattle were submitted to mtDNA, microsatellite and satellite analysis. Twenty-three alleles were detected in microsatellite analysis, averaging 4.6 +/- 1.82/locus. Variance component comparisons of microsatellite allele sizes allowed the construction of two clusters separating taurus and indicus. No significant variation was observed when indicus and taurus mtDNA were compared. Three possible genotypes of 1711b satellite DNA were identified. All European animals showed the same restriction pattern, suggesting a Zebu-specific restriction pattern. The frequencies of B. primigenius indicus-specific microsatellite alleles and 1711b satellite DNA restriction patterns lead to an estimate of 14% taurine contribution in purebred Nellore.

Nonlinear estimation of neural processing time from BOLD signal with application to decision-making

The extraction of information about neural activity timing from BOLD signal is a challenging task as the shape of the BOLD curve does not directly reflect the temporal characteristics of electrical activity of neurons. In this work, we introduce the concept of neural processing time (NPT) as a parameter of the biophysical model of the hemodynamic response function (HRF). Through this new concept we aim to infer more accurately the duration of neuronal response from the highly nonlinear BOLD effect. The face validity and applicability of the concept of NPT are evaluated through simulations and analysis of experimental time series. The results of both simulation and application were compared with summary measures of HRF shape. The experiment that was analyzed consisted of a decision-making paradigm with simultaneous emotional distracters. We hypothesize that the NPT in primary sensory areas, like the fusiform gyrus, is approximately the stimulus presentation duration. On the other hand, in areas related to processing of an emotional distracter, the NPT should depend on the experimental condition. As predicted, the NPT in fusiform gyrus is close to the stimulus duration and the NPT in dorsal anterior cingulate gyrus depends on the presence of an emotional distracter. Interestingly, the NPT in right but not left dorsal lateral prefrontal cortex depends on the stimulus emotional content. The summary measures of HRF obtained by a standard approach did not detect the variations observed in the NPT. Hum Brain Mapp, 2012. (C) 2010 Wiley Periodicals, Inc.

TYPE-ZERO SADDLE-NODE BIFURCATIONS AND STABILITY REGION ESTIMATION OF NONLINEAR AUTONOMOUS DYNAMICAL SYSTEMS

A complete characterization of the stability boundary of a class of nonlinear dynamical systems that admit energy functions is developed in this paper. This characterization generalizes the existing results by allowing the type-zero saddle-node nonhyperbolic equilibrium points on the stability boundary. Conceptual algorithms to obtain optimal estimates of the stability region (basin of attraction) in the form of level sets of a given family of energy functions are derived. The behavior of the stability region and the corresponding estimates are investigated for parameter variation in the neighborhood of a type-zero saddle-node bifurcation value.

Depletion study and estimation of the withdrawal period for oxytetracycline in tilapia cultured in Brazil

Defining pharmacokinetic parameters and depletion intervals for antimicrobials used in fish represents important guidelines for future regulation by Brazilian agencies of the use of these substances in fish farming. This article presents a depletion study for oxytetracycline (OTC) in tilapias (Orechromis niloticus) farmed under tropical conditions during the winter season. High performance liquid chromatography, with fluorescence detection for the quantitation of OTC in tilapia fillets and medicated feed, was developed and validated. The depletion study with fish was carried out under monitored environmental conditions. OTC was administered in the feed for five consecutive days at daily dosages of 80 mg/kg body weight. Groups of ten fish were slaughtered at 1, 2, 3, 4, 5, 8, 10, 15, 20, and 25 days after medication. After the 8th day posttreatment, OTC concentrations in the tilapia fillets were below the limit of quantitation (13 ng/g) of the method. Linear regression of the mathematical model of data analysis presented a coefficient of 0.9962. The elimination half- life for OTC in tilapia fillet and the withdrawal period were 1.65 and 6 days, respectively, considering a percentile of 99% with 95% of confidence and a maximum residue limit of 100 ng/g. Even though the study was carried out in the winter under practical conditions where water temperature varied, the results obtained are similar to others from studies conducted under controlled temperature.

Soil carbon balance in a tropical grassland: Estimation of soil respiration and its partitioning using a semi-empirical model

In savannah and tropical grasslands, which account for 60% of grasslands worldwide, a large share of ecosystem carbon is located below ground due to high root:shoot ratios. Temporal variations in soil CO2 efflux (R-S) were investigated in a grassland of coastal Congo over two years. The objectives were (1) to identify the main factors controlling seasonal variations in R-S and (2) to develop a semi-empirical model describing R-S and including a heterotrophic component (R-H) and an autotrophic component (R-A). Plant above-ground activity was found to exert strong control over soil respiration since 71% of seasonal R-S variability was explained by the quantity of photosynthetically active radiation absorbed (APAR) by the grass canopy. We tested an additive model including a parameter enabling R-S partitioning into R-A and R-H. Assumptions underlying this model were that R-A mainly depended on the amount of photosynthates allocated below ground and that microbial and root activity was mostly controlled by soil temperature and soil moisture. The model provided a reasonably good prediction of seasonal variations in R-S (R-2 = 0.85) which varied between 5.4 mu mol m(-2) s(-1) in the wet season and 0.9 mu mol m(-2) s(-1) at the end of the dry season. The model was subsequently used to obtain annual estimates of R-S, R-A and R-H. In accordance with results reported for other tropical grasslands, we estimated that R-H accounted for 44% of R-S, which represented a flux similar to the amount of carbon brought annually to the soil from below-ground litter production. Overall, this study opens up prospects for simulating the carbon budget of tropical grasslands on a large scale using remotely sensed data. (C) 2012 Elsevier B.V. All rights reserved.

A Java-based simulation environment for networks of simplified neuron models

ACR is supported by a research grant from CNPq.

Estimation of lung vital capacity before and after coronary artery bypass grafting surgery: a comparison of incentive spirometer and ventilometry

Abstract Background Measurement of vital capacity (VC) by spirometry is the most widely used technique for lung function evaluation, however, this form of assessment is costly and further investigation of other reliable methods at lower cost is necessary. Objective: To analyze the correlation between direct vital capacity measured with ventilometer and with incentive inspirometer in patients in pre and post cardiac surgery. Methodology Cross-sectional comparative study with patients undergoing cardiac surgery. Respiratory parameters were evaluated through the measurement of VC performed by ventilometer and inspirometer. To analyze data normality the Kolmogorov-Smirnov test was applied, for correlation the Pearson correlation coefficient was used and for comparison of variables in pre and post operative period Student's t test was adopted. We established a level of ignificance of 5%. Data was presented as an average, standard deviation and relative frequency when needed. The significance level was set at 5%. Results We studied 52 patients undergoing cardiac surgery, 20 patients in preoperative with VC-ventilometer: 32.95 ± 11.4 ml/kg and VC-inspirometer: 28.9 ± 11 ml/Kg, r = 0.7 p < 0.001. In the post operatory, 32 patients were evaluated with VC-ventilometer: 28.27 ± 12.48 ml/kg and VC-inspirometer: 26.98 ± 11 ml/Kg, r = 0.95 p < 0.001. Presenting a very high correlation between the evaluation forms studied. Conclusion There was a high correlation between DVC measures with ventilometer and incentive spirometer in pre and post CABG surgery. Despite this, arises the necessity of further studies to evaluate the repercussion of this method in lowering costs at hospitals.