Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Yellow fever vaccination coverage among children in Brazilian capitals

Brazil recommends universal yellow fever (YF) vaccination for children who reside in or travel to endemic areas. We conducted a household survey to calculate YF vaccine coverage among children 18-30 months of age in 27 capital cities. A total of 9285 children were surveyed in the 15 cities with YF fever universal vaccination; 7290(79%) had documented evidence of YF vaccination by 12 months of age, 7996 (86%) by 18 months of age, and 8479 (91%) prior to the survey. In 12 cities with selective YF vaccination coverage was only 1% by 18 months of age. YF fever vaccination can be improved to reach all children where vaccine is recommended. (C) 2010 Elsevier Ltd. All rights reserved.

Household survey of hepatitis B vaccine coverage among Brazilian children

We conducted a multi-stage household cluster survey to calculate hepatitis B vaccine coverage among children 18-30 months of age in 27 Brazilian cities. Hepatitis B vaccine is administered at birth, 1 month and 6 months of age by Brazil`s national immunization program. Among 17,749 children surveyed, 40.2% received a birth dose within one day of birth, 94.8% received at least one dose of hepatitis B vaccine, and 86.7% completed the three-dose series by 12 months of age. Increased coverage with the birth dose and administration of hepatitis B in combination with diphtheria-tetanus-pertussis-Haemophilus influenzae type b antigens could improve protection against hepatitis B. (C) 2009 Elsevier Ltd. All rights reserved.

Thermal behavior and stability of biodegradable spray-dried microparticles containing triamcinolone

Thermal analysis has been widely used for obtaining information about drug-polymer interactions and for pre-formulation studies of pharmaceutical dosage forms. In this work, biodegradable microparticles Of Poly (D,L-lactide-co-glycolide) (PLGA) containing triamcinolone (TR) in various drug:polymer ratios were produced by spray drying. The main purpose of this study was to study the effect of the spray-drying process not only on the drug-polymer interactions but also on the stability of microparticles using differential scanning calorimetry (DSC), thermogravimetry (TG) and derivative thermogravimetry (DTG), X-ray analysis (XRD), and infrared spectroscopy (IR). The evaluation of drug-polymer interactions and the pre-formulation studies were assessed using the DSC, TG and DTG, and IR. The quantitative analysis of drugs entrapped in PLGA microparticles was performed by the HPLC method. The results showed high levels of drug-loading efficiency for all used drug: polymer ratio, and the polymorph used for preparing the microparticles was the form B. The DSC and TG/DTG profiles for drug-loaded microparticles were very similar to those for the physical mixtures of the components. Therefore, a correlation between drug content and the structural and thermal properties of drug-loaded PLGA microparticles was established. These data indicate that the spray-drying technique does not affect the physico-chemical stability of the microparticle components. These results are in agreement with the IR analysis demonstrating that no significant chemical interaction occurs between TR and PLGA in both physical mixtures and microparticles. The results of the X-ray analysis are in agreement with the thermal analysis data showing that the amorphous form of TR prevails over a small fraction of crystalline phase of the drug also present in the TR-loaded microparticles. From the pre-formulation studies, we have found that the spray-drying methodology is an efficient process for obtaining TR-loaded PLGA microparticles. (C) 2008 Elsevier B.V. All rights reserved.

Thermal analysis of biodegradable microparticles containing ciprofloxacin hydrochloride obtained by spray drying technique

Thermal analysis has been extensively used to obtain information about drug-polymer interactions and to perform pre-formulation studies of pharmaceutical dosage forms. In this work, biodegradable microparticles of poly(D,L-lactide-co-glycolide) (PLGA) containing ciprofloxacin hydrochloride (CP) in various drug:polymer ratios were obtained by spray drying. The main purpose of this study was to investigate the effect of the spray drying process on the drug-polymer interactions and on the stability of microparticles using differential scanning calorimetry (DSC), thermogravimetry (TG) and derivative thermogravimetry (DTG) and infrared spectroscopy (IR). The results showed that the high levels of encapsulation efficiency were dependant on drug:polymer ratio. DSC and TG/DTG analyses showed that for physical mixtures of the microparticles components the thermal profiles were different from those signals obtained with the pure substances. Thermal analysis data disclosed that physical interaction between CP and PLGA in high temperatures had occurred. The DSC and TG profiles for drug-loaded microparticles were very similar to the physical mixtures of components and it was possible to characterize the thermal properties of microparticles according to drug content. These data indicated that the spray dryer technique does not affect the physicochemical properties of the microparticles. In addition, the results are in agreement with IR data analysis demonstrating that no significant chemical interaction occurs between CP and PLGA in both physical mixtures and microparticles. In conclusion, we have found that the spray drying procedure used in this work can be a secure methodology to produce CP-loaded microparticles. (C) 2007 Elsevier B.V. All rights reserved.

Evidence for diffusional coupling in electrochemical thin layers: implications for surface coverage calibration via electrochemical infrared spectroscopy

The time dependence of the concentration of CO2 in an electrochemical thin layer cavity is studied with Fourier transform infrared spectroscopy (FTIR) in order to evaluate the extent to which the thin layer cavity is diffusionally decoupled from the surrounding bulk electrolyte. For the model system of CO on Pt(111) in 0.1 M HClO4, it is found that the concentration of CO2, formed by electro-oxidation of CO, equilibrates rapidly with the surrounding bulk electrolyte. This rapid equilibration indicates that there is diffusion out of the thin layer, even on the short time scales of typical infrared experiments (1-3 min). However, since the measured CO2 absorbance intensity as a function of time is reproducible to within 10%, a new time-dependent method for surface coverage calibration using solution-phase species is proposed.

On the apparent lack of preferential site occupancy and electrooxidation of CO adsorbed at low coverage onto stepped platinum surfaces

We report time evolution studies of low coverage CO adsorption (surface hydrogen site blocking < 40%) and oxidative stripping on stepped Pt(776) and Pt(554) surfaces. It was observed that there is no preferential site occupancy for CO adsorption on step or terrace. It is proposed that CO adsorption onto these surfaces is a random process, and after CO adsorption there is no appreciable shift from CO-(111) to CO-(110) sites. This implies that after adsorption, CO molecules either have a very long residence time, or that the diffusion coefficient is much lower than previously thought. After CO electrooxidation the sites released included both terrace (111) and step (110) orientations. For surface hydrogen site blocking > 40%, the lateral interactions might play a role in the preferential CO site occupancy. (C) 2011 Elsevier B.V. All rights reserved.

Media Coverage and Charitable Giving After the 2004 Tsunami

Media coverage of humanitarian crises is widely believed to influence charitable giving, yet this assertion has received little empirical scrutiny. Using Internet donations after the 2004 tsunami as a case study in a tobit framework, we show that media coverage of disasters increases charitable donations, with an additional minute of nightly news coverage increasing donations by 0.036 standard deviations from the mean. We repeat the analysis using instrumental variables in a tobit model to account for endogeneity, and the estimates are unchanged. We also show that the magnitude and sign of media impact vary by news source and relief agency.

LIGHT COVERAGE ON COLBY COLLEGE CAMPUS

http://digitalcommons.colby.edu/atlasofmaine2009/1030/thumbnail.jpg

Light Coverage on Colby College Campus

Outdoor lighting is an essential component for nighttime safety on college campuses. Outdoor lighting on Colby College campus is not uniform, leaving some areas with minimal light. The purpose of this project is to analytically evaluate if and where major walkways on Colby College have inadequate lighting. While we were unable to define inadequate lighting, we found that most paths on campus do appear to be well lit, while in general open spaces on campus have the lowest light levels.

Micropartículas de poli (ácido lático-co-ácido glicólico) obtidas por spray drying para a liberação prolongada de metotrexato

Methotrexate (MTX) is a drug used in the chemotherapy of some kind of cancers, autoimmune diseases and non inflammatory resistant to corticosteroids uveits. However, the rapid plasmatic elimination limits its therapeutic success, which leads to administration of high doses to maintain the therapeutic levels in the target tissues, occurring potential side effects. The aim of this study was to obtain spray dried biodegradable poly-lactic acid co-glycolic acid (PLGA) microparticles containing MTX. Thus, suitable amounts of MTX and PLGA were dissolved in appropriate solvent system to obtain solutions at different ratios drug/polymer (10, 20, 30 and 50% m/m). The physicochemical characterizing included the quantitative analysis of the drug using a validate UV-VIS spectrophotometry method, scanning electron microscopy (SEM), infrared spectrophotometry (IR), thermal analyses and X-ray diffraction analysis. The in vitro release studies were carried out in a thermostatized phosphate buffer pH 7.4 (0.05 M KH2PO4) medium at 37°C ± 0.2 °C. The in vitro release date was subjected to different kinetics release models. The MTX-loaded PLGA microparticles showed a spherical shape with smooth surface and high level of entrapped drug. The encapsulation efficiency was greater then 80%. IR spectroscopy showed that there was no chemical bond between the compounds, suggesting just the possible occurrence of hydrogen bound interactions. The thermal analyses and X-ray diffraction analysis shown that MTX is homogeneously dispersed inside polymeric matrix, with a prevalent amorphous state or in a stable molecular dispersion. The in vitro release studies confirmed the sustained release for distinct MTX-loaded PLGA microparticles. The involved drug release mechanism was non Fickian diffusion, which was confirmed by Kornmeyer-Peppas kinetic model. The experimental results demonstrated that the MTX-loaded PLGA microparticles were successfully obtained by spray drying and its potential as prolonged drug release system.