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.

Effect of bench press exercise intensity on muscle soreness and inflammatory mediators

This study compared four different intensities of a bench press exercise for muscle soreness, creatine kinase activity, interleukin (IL)-1, IL-6, tumor necrosis factor- (TNF-), and prostaglandin E2 (PGE2) concentrations in the blood. Thirty-five male Brazilian Army soldiers were randomly assigned to one of five groups: 50% one-repetition maximum (1-RM), 75% 1-RM, 90% 1-RM, 110% 1-RM, and a control group that did not perform the exercise. The total volume (setsrepetitionsload) of the exercise was matched among the exercise groups. Muscle soreness and plasma creatine kinase activity increased markedly (P0.05) after exercise, with no significant differences among the groups. Serum PGE2 concentration also increased markedly (P0.05) after exercise, with a significantly (P0.05) greater increase in the 110% 1-RM group compared with the other groups. A weak but significant (P0.05) correlation was found between peak muscle soreness and peak PGE2 concentration, but no significant correlation was evident between peak muscle soreness and peak creatine kinase activity, or peak creatine kinase activity and peak PGE2 concentration. All groups showed no changes in IL-1, IL-6 or TNF-. Our results suggest that the intensity of bench press exercise does not affect the magnitude of muscle soreness and blood markers of muscle damage and inflammation.

Neuromuscular activity during bench press exercise performed with and without the preexhaustion method

Brennecke, A, Guimaraees, TM, Leone, R, Cadarci, M, Mochizuki, L, Simao, R, Amadio, AC, and Serrao, J. Neuromuscular activity during bench press exercise performed with and without the preexhaustion method. J Strength Cond Res 23(7): 1933-1940, 2009-The purpose of the present study was to investigate the effects of exercise order on the tonic and phasic characteristics of upper-body muscle activity during bench press exercise in trained subjects. The preexhaustion method involves working a muscle or a muscle group combining a single-joint exercise immediately followed by a multi-joint exercise (e. g., flying exercise followed by bench press exercise). Twelve subjects performed 1 set of bench press exercises with and without the preexhaustion method following 2 protocols (P1-flying before bench press; P2-bench press). Both exercises were performed at a load of 10 repetition maximum (10RM). Electromyography (EMG) sampled at 1 kHz was recorded from the pectoralis major (PM), anterior deltoid (DA), and triceps brachii (TB). Kinematic data (60 Hz) were synchronized to define upward and downward phases of exercise. No significant (p > 0.05) changes were seen in tonic control of PM and DA muscles between P1 and P2. However, TB tonic aspect of neurophysiologic behavior of motor units was significantly higher (p < 0.05) during P1. Moreover, phasic control of PM, DA, and TB muscles were not affected (p > 0.05). The kinematic pattern of movement changed as a result of muscular weakness in P1. Angular velocity of the right shoulder performed during the upward phase of the bench press exercise was significantly slower (p < 0.05) during P1. Our results suggest that the strategies set by the central nervous system to provide the performance required by the exercise are held constant throughout the exercise, but the tonic aspects of the central drive are increased so as to adapt to the progressive occurrence of the neuromuscular fatigue. Changes in tonic control as a result of the muscular weakness and fatigue can cause changes in movement techniques. These changes may be related to limited ability to control mechanical loads and mechanical energy transmission to joints and passive structures.

The cultural adaptation and validation of the ""Burn Specific Health Scale-Revised"" (BSHS-R): Version for Brazilian burn victims

Background: The Burns Specific Health Scale-Revised (BSHS-R) is of easy application, can be self-administered, and it is considered a good scale to evaluate various important life aspects of burn victims. Objectives: To translate and culturally adapt the BSHS-R into the Brazilian-Portuguese language and to evaluate the internal consistency and convergent validity of the translated BSHS-R. Methods: The cultural adaptation of the BSHS-R included translation and back-translation, discussions with professionals and patients to ensure conceptual equivalence, semantic evaluation, and pre-test of the instrument. The Final Brazilian-Portuguese Version (FBPV) of the BSHS-R was tested on a group of 115 burn patients for internal consistency and validity of construct (using the Rosenberg Self-Esteem Scale (RSES) and the Beck Depression Inventory (BDI)). Results: All values of Cronbach`s alpha were greater than. 8, demonstrating that the internal consistency of the FBPV was very high. Self-esteem was highly correlated with affect and body image (r = .59, p < .001), and with interpersonal relationships (T = .51, p < .001). Correlations between the domains of the FBPV and the BDI were all negative but larger in magnitude than the correlations with RSES. Depression was highly correlated with affect and body image (r = -77, p < .001), and with interpersonal relationships (r = -67, p < .001). Conclusions: The results showed that the adapted version of the BSHS-R into Brazilian-Portuguese fulfills the validity and reliability criteria required from an instrument of health status assessment for burn patients. (C) 2008 Elsevier Ltd and ISBI. All rights reserved.

Reliability and validity of the Impact of Event Scale (IES): version for Brazilian burn victims

Aims. The aims of this study were to assess the internal reliability (internal consistency), construct validity, sensitivity and ceiling and floor effects of the Brazilian-Portuguese version of the Impact of Event Scale (IES). Design. Methodological research design. Method. The Brazilian-Portuguese version of the IES was applied to a group of 91 burned patients at three times: the first week after the burn injury (time one), between the fourth and the sixth months (time two) and between the ninth and the 12th months (time three). The internal consistency, construct validity (convergent and dimensionality), sensitivity and ceiling and floor effects were tested. Results. Cronbach`s alpha coefficients showed high internal consistency for the total scale (0 center dot 87) and for the domains intrusive thoughts (0 center dot 87) and avoidance responses (0 center dot 76). During the hospitalisation (time one), the scale showed low and positive correlations with pain measures immediately before (r = 0 center dot 22; p < 0 center dot 05) and immediately after baths and dressings (r = 0 center dot 21; p < 0 center dot 05). After the discharge, we found strong and negative correlations with self-esteem (r = -0 center dot 52; p < 0 center dot 01), strong and positive with depression (r = 0 center dot 63; p < 0 center dot 01) and low and negative with the Bodily pain (r = -0 center dot 24; p < 0 center dot 05), Social functioning (r = -0 center dot 34; p < 0 center dot 01) and Mental health (r = -0 center dot 27; p < 0 center dot 05) domains of the SF-36 at time two. Regarding the sensitivity, no statistically significant differences were observed between mean scale scores according to burned body surface (p = 0 center dot 21). The floor effect was observed in most of the IES items. Conclusion. The adapted version of the scale showed to be reliable and valid to assess postburn reactions on the impact of the event in the group of patients under analysis. Relevance to clinical practice. The Impact of Event Scale can be used in research and clinical practice to assess nursing interventions aimed at decreasing stress during rehabilitation.

Improved Bioprocess with CHO-hTSH Cells on Higher Microcarrier Concentration Provides Higher Overall Biomass and Productivity for rhTSH

Since the recombinant thyroid-stimulating hormone (rhTSH) is secreted by stably transfected Chinese hamster ovary (CHO-hTSH) cells, a bioprocess consisting of immobilizing the cells on a substrate allowing their multiplication is very suitable for rhTSH recovering from supernatants at relative high degree of purity. In addition, such a system has also the advantage of easily allowing delicate manipulations of culture medium replacement. In the present study, we show the development of a laboratory scale bioprocess protocol of CHO-hTSH cell cultures on cytodex microcarriers (MCs) in a 1 L bioreactor, for the preparation of rhTSH batches in view of structure/function studies. CHO-hTSH cells were cultivated on a fetal bovine serum supplemented medium during cell growth phase. For rhTSH synthesis phase, 75% of supernatant was replaced by animal protein-free medium every 24 h. Cell cultures were monitored for agitation (rpm), temperature (A degrees C), dissolved oxygen (% DO), pH, cell concentration, MCs coverage, glucose consumption, lactate production, and rhTSH expression. The results indicate that the amount of MCs in the culture and the cell concentration at the beginning of rhTSH synthesis phase were crucial parameters for improving the final rhTSH production. By cultivating the CHO-hTSH cells with an initial cell seeding of four cells/MC on 4 g/L of MCs with a repeated fed batch mode of operation at 40 rpm, 37 A degrees C, 20% DO, and pH 7.2 and starting the rhTSH synthesis phase with 3 x 10(6) cells/mL, we were able to supply the cultures with enough glucose, to maintain low levels of lactate, and to provide high percent (similar to 80%) of fully covered MCs for a long period (5 days) and attain a high cell concentration (similar to 9 x 10(5) cells/mL). The novelty of the present study is represented by the establishment of cell culture conditions allowing us to produce similar to 1.6 mg/L of rhTSH in an already suitable degree of purity. Batches of produced rhTSH were purified and showed biological activity.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Computer-aided Drug Design of Novel PLA(2) Inhibitor Candidates for Treatment of Snakebite

Phospholipases A(2) (PLA(2)) are enzymes commonly found in snake venoms from Viperidae and Elaphidae families, which are major components thereof. Many plants are used in traditional medicine its active agents against various effects induced by snakebite. This article presents the PLA(2) BthTX-I structure prediction based on homology modeling. In addition, we have performed virtual screening in a large database yielding a set of potential bioactive inhibitors. A flexible docking program was used to investigate the interactions between the receptor and the new ligands. We have performed molecular interaction fields (MIFs) calculations with the phospholipase model. Results confirm the important role of Lys49 for binding ligands and suggest three additional residues as well. We have proposed a theoretically nontoxic, drug-like, and potential novel BthTX-I inhibitor. These calculations have been used to guide the design of novel phospholipase inhibitors as potential lead compounds that may be optimized for future treatment of snakebite victims as well as other human diseases in which PLA(2) enzymes are involved.

Skin Coverage of the Middle-Distal Segment of the Leg With a Pedicled Perforator Flap

Objective: This is a clinical study of our experience using pedicle perforator flaps to cover skin defects in the middle and distal segment of the leg. Design: Prospective study. Setting: University hospital. Patients/Intervention: Twenty-four patients underwent treatment of a skin defect in the middle or distal segment of the leg by means of pedicled flaps based on perforating arteries. The perforating arteries were located before the operation by means of echo-Doppler examination. The flaps were planned in propeller fashion (21 cases) and as advancement (three cases). Main Outcome Measurements: The results were evaluated according the origin of perforator flap, size of the flap, and donor area and viability of the flap. The success rate of the echo-Doppler to identify the location of perforator vessel was also evaluated. Results: In nine cases, the perforating vessels originated from the fibular artery, in 10 the posterior tibial artery, and in five the anterior tibial artery. The mean size of the flaps was 5 cm in width by 12 cm in length. The success rate using an echo-Doppler was 87%. The flaps were fully viable in 20 cases and partially viable in four cases. Conclusion: On the basis of these results, it is concluded that perforating flaps are a good choice of treatment for skin losses, especially in the distal segment of the leg, and could be an alternative option for the use of free microsurgical flaps.

Alcohol consumption in homicide victims in the city of Sao Paulo

Aims To assess the association between alcohol use and victimization by homicide in individuals autopsied at the Institute of Legal Medicine in Sao Paulo, Brazil. Design Cross-sectional study. Setting Excessive consumption of alcohol is a serious public health issue and a major factor in triggering violent situations, which suggests a strong association between alcohol ingestion and becoming a victim of homicide. Participants Data from 2042 victims of homicides in 2005 were obtained from medical examiner reports. Measurements The victim`s gender, age, ethnicity and blood alcohol concentration (BAC) were collected. The method of death and homicide circumstances, as well as the date, time and place of death were also studied. Findings Alcohol was detected in blood samples of 43% of the victims, and mean BAC levels were 1.55 +/- 0.86 g/l. The prevalence of positive BAC levels was higher among men (44.1%) than women (26.6%), P < 0.01. Firearms caused most of the deaths (78.6%), and alcohol consumption was greater among victims of homicide by sharp weapons (P < 0.01). A greater proportion of victims with positive BAC were killed at weekends compared to weekdays (56.4 and 38.5%, respectively; P < 0.01), and the correlation between homicide rates and the average BAC for the central area of the city was positive (r(s) = 0.90; P < 0.01). Conclusions These results highlight alcohol as a contributing factor for homicide victimization in the greatest urban center in South America, supporting public strategies and future research aiming to prevent homicides and violence related to alcohol consumption.

AIDS in Latin America: assessing the current status of the epidemic and the ongoing response

Background This article provides a summary of the current status of the HIV/AIDS epidemic in Latin America, as well as an outline of the diverse responses to it. Methods A search of international databases (Pubmed and ISI-Web of Science), regional databases (Scielo and Lilacs), regional and national documents and UNAIDS reports. Data are presented according to subregion. Results In Mexico HIV remains concentrated among urban men who have sex with men (MSM), and has been growing among injecting drug users (IDU) and in rural areas in relation to migration. An increasing proportion of women among those affected is observed in all countries in Central America, the most affected region, as well as increasing the impact on other vulnerable groups, such as indigenous populations. The Andean Countries have urban epidemics concentrated among MSM. In Peru, non-traditional vulnerable populations were identified. In the Southern Cone heterosexual transmission became more relevant, probably in connection with IDU epidemics and is increasingly affecting lower income groups. Incidence rates have been declining since 2002 in Brazil, the first country to guarantee free, universal access to antiretrovirals, where one-third of drug-nave patients are still initiating treatment at an advanced stage. Generally, access to treatment has improved as a result of support from the Global Fund and other initiatives, but there are concerns regarding coverage, equity and sustainability. Conclusions HIV is still concentrated among MSM in Latin America. Non-traditional vulnerable groups such as migrants and lower income populations, usually considered part of the general population, deserve attention. Programmes confronting sexual exclusion are still needed. Access to treatment has improved over time, but inequalities persist.

The Versatile Adani`s Flap for Fingertip Coverage Indications and Case Reports

Heterodigital pedicle flaps have 2 possible patters of vascularization: anterograde flow (Littler) or reverse flow (Adani). The Adani`s flap uses the Y-V pedicle lengthening principle. The flap is raised from the adjacent uninjured finger based on the digital artery. The common digital artery is ligated and a long pedicle is formed from the 2 converging digital arteries to supply a reverse flow flap. Four patients with severe fingertips injuries were submitted to surgical treatment with the Adani`s flap. All flaps integrated and provided skin coverage. The Adani`s flap has a long vascular pedicle that allows a wide arch of transposition. An easier vascular dissection in a site distant from the trauma which evolves a higher diameter digital artery and proximal interphalangeal arterial system promotes a high survival rate and good functional results. Adani`s flap is a reliable technique for severe fingertip injuries.

COMBINATION OFGENERAL AND SPECIFICWARM-UPS IMPROVES LEG-PRESS ONE REPETITION MAXIMUM COMPARED WITH SPECIFIC WARM-UP IN TRAINED INDIVIDUALS

Abad, CCC, Prado, ML, Ugrinowitsch, C, Tricoli, V, and Barroso, R. Combination of general and specific warm-ups improves leg-press one repetition maximum compared with specific warm-up in trained individuals. J Strength Cond Res 25(8): 2242-2245, 2011-Accurate assessment of muscular strength is critical for exercise prescription and functional evaluation. The warm-up protocol may affect the precision of the 1 repetition maximum (1RM) test. Testing guidelines recommend performing both general and specific warm-ups before strength tests. The general warm-up intends to raise muscle temperature, whereas the specific warm-up aims to increase neuromuscular activation. Although there is scientific evidence for performing the specific warm-up, the effects of general warm-up on strength tests are still unclear. The purpose of this study was to investigate whether the combination of a general with a specific warm-up (G + SWU) protocol would improve leg press 1RM values compared with a specific warm-up (SWU) protocol. Thirteen participants were tested for leg-press 1RM under 2 warm-up conditions. In the first condition, participants performed the SWU only, which was composed of 1 set of 8 repetitions at approximately 50% of the estimated 1RM followed by another set of 3 repetitions at 70% of the estimated 1RM. In the second condition (G + SWU), participants performed the 1RM test after a 20-minute general warm-up on a stationary bicycle at 60% of HRmax and the same specific warm-up as in the SWU. Values of 1RM in SWU and in G + SWU were compared by a paired t-test, and significance level was set at p <= 0.05. Strength values were on average 8.4% (p = 0.002) higher in the G + SWU compared with the SWU. These results suggest that the G + SWU induced temperature-dependent neuromuscular adjustments that increased muscle force production capacity. Therefore, these results support the recommendations of the testing guidelines to perform a moderate intensity general warm-up in addition to the specific warm-up before maximum strength assessments.

Epidemiologic and clinical survey of victims of centipede stings admitted to Hospital Vital Brazil (Sao Paulo, Brazil)

We retrospectively analyzed 98 proven cases of centipede stings admitted to Hospital Vital Brazil, Butantan Institute, Sao Paulo, Brazil, between 1990 and 2007. Most stings occurred at the metropolitan area of Sao Paulo city (n = 94, 95.9%), in the domiciles of patients (n = 67, 68.4%), and during the warm-rainy season (n = 60, 61.2%). The mean age of the victims was 32.0 +/- 18.8-years-old. Cryptops and Otostigmus genera were responsible for most cases. Around 86% of the patients sought medical care within 6 h after the sting. Both lower (56.1%) and upper limbs (41.8%) were most frequently bitten, especially the feet and hands (89.8%). The most frequent local clinical manifestations were pain (94.9%), erythema (44.9%) and edema (21.4%), and the latter was mainly observed in patients bitten by Otostigmus spp. Supportive treatment was used in only 28.6% of the patients, namely administration of local anesthesia (9.2%) and systemic analgesia (13.3%). No sequels or complications were observed in patients, and the prognostic was benign. (c) 2008 Elsevier Ltd. All rights reserved.

Candidate-Gene Approach in Posttraumatic Stress Disorder After Urban Violence: Association Analysis of the Genes Encoding Serotonin Transporter, Dopamine Transporter, and BDNF

Posttraumatic stress disorder (PTSD) is a prevalent, disabling anxiety disorder marked by behavioral and physiologic alterations which commonly follows a chronic course. Exposure to a traumatic event constitutes a necessary, but not sufficient, factor. There is evidence from twin studies supporting a significant genetic predisposition to PTSD. However, the precise genetic loci still remain unclear. The objective of the present study was to identify, in a case-control study, whether the brain-derived neurotrophic factor (BDNF) val66met polymorphism (rs6265), the dopamine transporter (DAT1) three prime untranslated region (3`UTR) variable number of tandem repeats (VNTR), and the serotonin transporter (5-HTTPRL) short/long variants are associated with the development of PTSD in a group of victims of urban violence. All polymorphisms were genotyped in 65 PTSD patients as well as in 34 victims of violence without PTSD and in a community control group (n = 335). We did not find a statistical significant difference between the BDNF val66met and 5-HTTPRL polymorphism and the traumatic phenotype. However, a statistical association was found between DAT1 3`UTR VNTR nine repeats and PTSD (OR = 1.82; 95% CI, 1.20-2.76). This preliminary result confirms previous reports supporting a susceptibility role for allele 9 and PTSD.