A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

A System Dynamics-Based Simulation Experiment for Testing Mental Model and Performance Effects of Using the Balanced Scorecard

This study develops a theoretical model that explains the effectiveness of the balanced scorecard approach by means of a system dynamics and feedback learning perspective. Presumably, the balanced scorecard leads to a better understanding of context, allowing managers to externalize and improve their mental models. We present a set of hypotheses about the influence of the balanced scorecard approach on mental models and performance. A test based on a simulation experiment that uses a system dynamics model is performed. The experiment included three types of parameters: financial indicators; balanced scorecard indicators; and balanced scorecard indicators with the aid of a strategy map review. Two out of the three hypotheses were confirmed. It was concluded that a strategy map review positively influences mental model similarity, and mental model similarity positively influences performance.

Molybdenum Complexes Bearing the Tris(1-pyrazolyl)methanesulfonate Ligand: Synthesis, Characterization and Electrochemical Behaviour

The tris(1-pyrazolyl)methanesulfonate lithium salt Li(Tpms) [Tpms = SO3C(pz)(3)-] reacts with [Mo(CO)(6)] in NCMe heated at reflux to yield Li[Mo(Tpms)(CO)(3)] (1), which, upon crystallization from thf, forms the coordination polymer [Mo(Tpms)(CO)(2)(mu-CO)Li(thf)(2)](n) (2). Reaction of 1 with I-2, HBF4 or AgBF4 yields [Mo(Tpms)I(CO)(3)] (3), (Mo(Tpms)-H(CO)(3)] (5) or (Mo(Tpms)O-2](2)(mu-O) (7), respectively. The high-oxidation-state dinuclear complexes [{Mo(Tpms)O(mu-O)}(2)] (4) and [{Mo(tpms)OCl)(2)](mu-O) (6) are formed upon exposure to air of solutions of 3 and 5, respectively. Compounds 1-7, which appear to be the first tris(pyrazolyl)methanesulfonate complexes of molybdenum to be reported, were characterized by IR, H-1 and C-13 NMR spectroscopy, ESI-MS, elemental analysis, cyclic voltammetry and, in the cases of Li(Tpms) and compounds 2, 4.2CH(3)CN, 6.6CHCl(3) and 7, by X-ray diffraction analyses. Li(Tpms) forms a 1D polymeric structure (i.e., [Li(tpms)](n)} with Tpms as a tetradentate N2O2 chelating ligand that bridges two Li cations with distorted tetrahedral coordination. Compound 2 is a 1D coordination polymer in which Tpms acts as a bridging tetradentate N3O ligand and each Li(thf)(2)(+) moiety is coordinated by one bridging CO ligand and by the sulfonyl group of a contiguous monomeric unit. In 4, 6 and 7, the Tpms ligand is a tridentate chelator either in the NNO (in 4) or in the NNN (in 6 and 7) fashion. Complexes 1, 3 and 5 exhibit, by cyclic voltammetry, a single-electron oxidation at oxidation potential values that indicate that the Tpms ligand has an electron-donor character weaker than that of cyclopentadienyl.

Tools for testing the Solvency Capital Requirement for life insurance

Longevity risk is one of the major risks that an insurance company or a pension fund has to deal with and it is expected that its importance will grow in the near future. In agreement with these considerations, in Solvency II regulation the Standard formula furnished for calculating the Solvency Capital Requirement explicitly considers this kind of risk. According to the new European rules in our paper we suggest a multiperiod approach to evaluate the SCR for longevity risk. We propose a backtesting framework for measuring the consistency of SCR calculations for life insurance policies.

Coordination Chemistry of the (eta(6)-p-Cymene)ruthenium(II) Fragment with Bis-, Tris-, andTetrakis(pyrazol-1-yl)borate Ligands: Synthesis, Structural, Electrochemical, and CatalyticDiastereoselective Nitroaldol Reaction Studies

Novel [Ru(eta(6)-p-cymene)(kappa(2)-L)X] and [Ru(eta(6)-p-cymene)(kappa(3)-L)]X center dot nH(2)O complexes (L = bis-, tris-, or tetrakis-pyrazolylborate; X = Cl, N-3, PF6, or CF3SO3) are prepared by treatment of [Ru(eta(6)-p-cymene)Cl-2](2) with poly-(pyrazolyl)borate derivatives [M(L)] (L in general; in detail L = Ph(2)Bp = diphenylbis-(pyrazol-1-yl)borate; L = Tp = hydrotris(pyrazol-1-yl)borate; L = pzTp = tetrakis(pyrazol-1-yl)borate; L = Tp(4Bo) = hydrotris(indazol-1-yl)borate, L = T-p4Bo,T-5Me = (5-methylindazol-1-yl)borate; L = Tp(Bn,4Ph) = hydrotris(3-benzyl-4-phenylpyrazol-1-yl)borate; M = Na, K, or TI) and characterized by analytical and spectral data (IR, ESIMS, H-1 and C-13 NMR). The structures of [Ru(eta(6)-p-cymene)(Ph(2)Bp)Cl] (1) and [Ru(eta(6)-p-cymene)(Tp)Cl] (3) have been established by single-crystal X-ray diffraction analysis. Electrochemical studies allowed comparing the electron-donor characters of Tp and related ligands and estimating the corresponding values of the Lever E-L ligand parameter. The complexes [Ru(eta(6)-p-cymene)-(kappa(2)-L)X] and [Ru(eta(6)-p-cymene)(kappa(3)-L)]X center dot nH(2)O act as catalyst precursors for the diastereoselective nitroaldol reaction of benzaldehyde and nitroethane to the corresponding beta-nitroalkanol (up to 82% yield, at room temperature) with diastereoselectivity toward the formation of the threo isomer.

Voluntary HIV counseling and testing during prenatal care in Brazil

OBJECTIVE: Voluntary HIV counseling and testing are provided to all Brazilian pregnant women with the purpose of reducing mother-to-child HIV transmission. The purpose of the study was to assess characteristics of HIV testing and identify factors associated with HIV counseling and testing. METHODS: A cross-sectional study was carried out comprising 1,658 mothers living in Porto Alegre, Brazil. Biological, reproductive and social variables were obtained from mothers by means of a standardized questionnaire. Being counseling about HIV testing was the dependent variable. Confidence intervals, chi-square test and hierarchical logistic model were used to determine the association between counseling and maternal variables. RESULTS: Of 1,658 mothers interviewed, 1,603 or 96.7% (95% CI: 95.7-97.5) underwent HIV testing, and 51 or 3.1% (95% CI: 2.3-4.0) were not tested. Four (0.2%) refused to undergo testing after counseling. Of 51 women not tested in this study, 30 had undergone the testing previously. Of 1,603 women tested, 630 or 39.3% (95% CI: 36.9-41.7) received counseling, 947 or 59.2% (95% CI: 56.6-61.5) did not, and 26 (1.6%) did not inform. Low income, lack of prenatal care, late beginning of prenatal care, use of rapid testing, and receiving prenatal in the public sector were variables independently associated with a lower probability of getting counseling about HIV testing. CONCLUSIONS: The study findings confirmed the high rate of prenatal HIV testing in Porto Alegre. However, women coming from less privileged social groups were less likely to receive information and benefit from counseling.

Syntheses, Molecular Structures, Electrochemical Behavior, Theoretical Study, and Antitumor Activities of Organotin(IV) Complexes Containing 1-(4-Chlorophenyl)-1-cyclopentanecarboxylato Ligands

The organotin(IV) compounds [Me2Sn(L)(2)] (1), [Et(2)sn(L)(2)] (2), [(Bu2Sn)-Bu-n(L)(2)] (3), [(n)Oct(2)Sn(L)(2)] (4), [Ph2Sn(L)(2)] (5), and [PhOSnL](6) (6) have been synthesized from the reactions of 1-(4-chlorophenyl)-1-cyclopentanecarboxylic acid (HL) with the corresponding diorganotin(IV) oxide or dichloride. They were characterized by IR and multinuclear NMR spectroscopies, elemental analysis, cyclic voltammetry, and, for 2, 3, 4 and 6, single crystal X-ray diffraction analysis. While 1-5 are mononuclear diorganotin (IV) compounds, the X-ray diffraction of 6 discloses a hexameric drumlike structure with a prismatic Sn6O6 core. All these complexes undergo irreversible reductions and were screened for their in vitro antitumor activities toward HL-60, BGC-823, Bel-7402, and KB human cancer cell lines. Within the mononuclear compounds, the most active ones (3, 5) are easiest to reduce (least cathodic reduction potentials), while the least active ones (1, 4) are the most difficult to reduce. Structural rearrangements (i.e., Sn-O bond cleavages and trans-to-cis isomerization) induced by reduction, which eventually can favor the bioactivity, are disclosed by theoretical/electrochemical studies.

Barriers for HIV testing during pregnancy in Southern Brazil

OBJECTIVE: To assess HIV testing rate and determine risk factors for not have been tested during pregnancy. METHODS: A cross-sectional study was carried out in Porto Alegre, Southern Brazil, from December 2000 to February 2001. Socioeconomic, maternal and healthcare variables were obtained by means of a standardized questionnaire. Crude and adjusted odds ratios and their 95% confidence intervals were obtained in logistic regression models. RESULTS: A total of 1,642 mothers were interviewed. Of them, 94.3% reported being offered HIV testing before or during pregnancy or during labor; 89 mothers (5.4%) were not tested or did not know if they were tested. Attending fewer than six prenatal visits, being single and younger than 18 years old were relevant barriers preventing HIV testing. There was found a relationship between maternal schooling and the category of prenatal care provider. Having low 22.20 (12.43-39.67) or high 3.38 (1.86-7.68). schooling and being cared in the private sector strongly reduced the likelihood of being HIV tested. CONCLUSIONS: The Brazilian Health Ministry's recommendation for universal counseling and HIV testing has been successfully implemented in the public sector. In order to improve HIV testing coverage, new strategies need to target women cared in the private sector especially those of low schooling.

Synthesis, structure and electrochemical behaviour of Na, Mg-II, Mn-II, Cd-II and Ni-II complexes of 3-(2-carboxyphenylhydrazone)pentane-2,4-dione

Mononuclear manganese(II) [Mn(kappa O-HL)(2)(CH3OH)(4)] (4), nickel(II) [Ni(kappa O-2, kappa N-L)(H2O)(3)] (5), cadmium(II) [Cd(kappa O-2-HL)(2)(CH3OH)(3)] (7), tetranuclear zinc(II) [Zn-4(mu-OH)(2)(1 kappa O:2 kappa O-HL)(4)(kappa O-HL)(2)(H2O)(4)] (6) and polynuclear aqua sodium(I) [Na(H2O)(2)(mu-H2O)(2)](n)(HL)(n) (2) and magnesium(II) [Mg(OH)(H2O)(mu-H2O)(2)](n)(-HL)(n) (3) complexes were synthesized using 3-(2-carboxyphenyl-hydrazone)pentane-2,4-dione (H2L, 1) as a ligand precursor. The complexes were characterized by single crystal X-ray diffraction, elemental analysis, IR, H-1 and C-13 NMR (for 2, 3, 6 and 7) spectroscopies. Mono- or dianionic deprotonated derivatives of H2L display different coordination modes and lead to topologies and nuclearities of the complexes depending on metal ions and conditions used for the syntheses. Extensive intermolecular H-bonds form supramolecular arrangements in 1D chains (4 and 6), 1D chains of the organic anion and 2D networks of the metal-aqua aggregates (2 and 3), 2D networks (7) or even 3D frameworks (5). Electrochemical studies, by cyclic voltammetry and controlled potential electrolysis, show ligand centred redox processes as corroborated by theoretical DFT calculations in terms of LUMO and HOMO compositions. (C) 2012 Elsevier Ltd. All rights reserved.

Synthesis, characterization, electrochemical behavior and in vitro protein tyrosine kinase inhibitory activity of the cymene-halogenobenzohydroxamato [Ru(eta(6)-cymene)(bha)Cl] complexes

The ruthenium(II)-cymene complexes [Ru(eta(6)-cymene)(bha)Cl] with substituted halogenobenzohydroxamato (bha) ligands (substituents = 4-F, 4-Cl, 4-Br, 2,4-F-2, 3,4-F-2, 2,5-F-2, 2,6-F-2) have been synthesized and characterized by elemental analysis, IR, H-1 NMR, C-13 NMR, cyclic voltammetry and controlled-potential electrolysis, and density functional theory (DFT) studies. The compositions of their frontier molecular orbitals (MOs) were established by DFT calculations, and the oxidation and reduction potentials are shown to follow the orders of the estimated vertical ionization potential and electron affinity, respectively. The electrochemical E-L Lever parameter is estimated for the first time for the various bha ligands, which can thus be ordered according to their electron-donor character. All complexes exhibit very strong protein tyrosine kinase (PTK) inhibitory activity, even much higher than that of genistein, the clinically used PTK inhibitory drug. The complex containing the 2,4-difluorobenzohydroxamato ligand is the most active one, and the dependences of the PTK activity of the complexes and of their redox potentials on the ring substituents are discussed. (C) 2012 Elsevier B.V. All rights reserved.

Iron oxide/gold core/shell nanomagnetic probes and CdS biolabels for amplified electrochemical immunosensing of Salmonella typhimurium

There is an imminent need for rapid methods to detect and determine pathogenic bacteria in food products as alternatives to the laborious and time-consuming culture procedures. In this work, an electrochemical immunoassay using iron/gold core/shell nanoparticles (Fe@Au) conjugated with anti-Salmonella antibodies was developed. The chemical synthesis and functionalization of magnetic and gold-coated magnetic nanoparticles is reported. Fe@Au nanoparticles were functionalized with different self-assembled monolayers and characterized using ultraviolet-visible spectrometry, transmission electron microscopy, and voltammetric techniques. The determination of Salmonella typhimurium, on screen-printed carbon electrodes, was performed by square-wave anodic stripping voltammetry through the use of CdS nanocrystals. The calibration curve was established between 1×101 and 1×106 cells/mL and the limit of detection was 13 cells/mL. The developed method showed that it is possible to determine the bacteria in milk at low concentrations and is suitable for the rapid (less than 1 h) and sensitive detection of S. typhimurium in real samples. Therefore, the developed methodology could contribute to the improvement of the quality control of food samples.

Celiac disease detection using a transglutaminase electrochemical immunosensor fabricated on nanohybrid screen-printed carbon electrodes

Celiac disease is a gluten-induced autoimmune enteropathy characterized by the presence of tissue tranglutaminase (tTG) autoantibodies. A disposable electrochemical immunosensor (EI) for the detection of IgA and IgG type anti-tTG autoantibodies in real patient’s samples is presented. Screen-printed carbon electrodes (SPCE) nanostructurized with carbon nanotubes and gold nanoparticles were used as the transducer surface. This transducer exhibits the excellent characteristics of carbon–metal nanoparticle hybrid conjugation and led to the amplification of the immunological interaction. The immunosensing strategy consisted of the immobilization of tTG on the nanostructured electrode surface followed by the electrochemical detection of the autoantibodies present in the samples using an alkaline phosphatase (AP) labelled anti-human IgA or IgG antibody. The analytical signal was based on the anodic redissolution of enzymatically generated silver by cyclic voltammetry. The results obtained were corroborated with a commercial ELISA kit indicating that the electrochemical immunosensor is a trustful analytical screening tool.

Electrochemical evaluation of total antioxidant capacity of beverages using a purine-biosensor

In this paper, it was evaluated the total antioxidant capacity (TAC) of beverages using an electrochemical biosensor. The biosensor consisted on the purine base (guanine or adenine) electro-immobilization on a glassy carbon electrode surface (GCE). Purine base damage was induced by the hydroxyl radical generated by Fenton-type reaction. Five antioxidants were applied to counteract the deleterious effects of the hydroxyl radical. The antioxidants used were ascorbic acid, gallic acid, caffeic acid, coumaric acid and resveratrol. These antioxidants have the ability to scavenger the hydroxyl radical and protect the guanine and adenine immobilized on the GCE surface. The interaction carried out between the purinebase immobilized and the free radical in the absence and presence of antioxidants was evaluated by means of changes in the guanine and adenine anodic peak obtained by square wave voltammetry (SWV). The results demonstrated that the purine-biosensors are suitable for rapid assessment of TAC in beverages.

Electrochemical immunosensor for multiplexed detection of food-borne pathogens using nanocrystal bioconjugates and MWCNT screen-printed electrode

Bacterial food poisoning is an ever-present threat that can be prevented with proper care and handling of food products. A disposable electrochemical immunosensor for the simultaneous measurements of common food pathogenic bacteria namely Escherichia coli O157:H7 (E. coli), campylobacter and salmonella were developed. The immunosensor was fabricated by immobilizing the mixture of anti-E. coli, anticampylobacter and anti-salmonella antibodies with a ratio of 1:1:1 on the surface of the multiwall carbon nanotube-polyallylamine modified screen printed electrode (MWCNT-PAH/SPE). Bacteria suspension became attached to the immobilized antibodies when the immunosensor was incubated in liquid samples. The sandwich immunoassay was performed with three antibodies conjugated with specific nanocrystal ( -E. coli-CdS, -campylobacter-PbS and -salmonella-CuS) which has releasable metal ions for electrochemical measurements. The square wave anodic stripping voltammetry (SWASV) was employed to measure released metal ions from bound antibody nanocrystal conjugates. The calibration curves for three selected bacteria were found in the range of 1 × 103 – 5 × 105 cells mL−1 with the limit of detection (LOD) 400 cells mL−1 for salmonella, 400 cells mL−1 for campylobacter and 800 cells mL−1 for E. coli. The precision and sensitivity of this method show the feasibility of multiplexed determination of bacteria in milk samples.

HIV testing among pregnant women in Brazil: rates and predictors

OBJECTIVE: To assess rates of offering and uptake of HIV testing and their predictors among women who attended prenatal care. METHODS: A population-based cross-sectional study was conducted among postpartum women (N=2,234) who attended at least one prenatal care visit in 12 cities. Independent and probabilistic samples were selected in the cities studied. Sociodemographic data, information about prenatal care and access to HIV prevention interventions during the current pregnancy were collected. Bivariate and multivariate analyses were carried out to assess independent effects of the covariates on offering and uptake of HIV testing. Data collection took place between November 1999 and April 2000. RESULTS: Overall, 77.5% of the women reported undergoing HIV testing during the current pregnancy. Offering of HIV testing was positively associated with: previous knowledge about prevention of mother-to-child transmission of HIV; higher number of prenatal care visits; higher level of education and being white. HIV testing acceptance rate was 92.5%. CONCLUSIONS: The study results indicate that dissemination of information about prevention of mother-to-child transmission among women may contribute to increasing HIV testing coverage during pregnancy. Non-white women with lower level of education should be prioritized. Strategies to increase attendance of vulnerable women to prenatal care and to raise awareness among health care workers are of utmost importance.