On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

Behavioral characterization of the alarm reaction and anxiolytic-like effect of acute treatment with fluoxetine in piaucu fish

In Ostariophysan fish, the detection of the alarm substance liberated into the water as a consequence of an attack by a predator elicits an alarm reaction or anti-predatory behavior. In this study, experiments were performed to: (i) describe and quantitatively characterize the behavioral and ventilatory responses in piaucu fish (Leporinus macrocephalus), individually and as part of a school, to conspecific alarm substance (CAS) and; (ii) test the effect of acute fluoxetine treatment on alarm reaction. Histological analysis revealed the presence of club cells in the intermediate and superficial layers of the epidermis. The predominant behavioral response to CAS was freezing for fish held individually, characterized by the cessation of the swimming activity as the animal settles to a bottom corner of the aquarium. Fish exposed to CAS showed decrease in the mean ventilatory frequency (approximately 13%) relative to control. In schools, CAS elicited a biphasic response that was characterized by erratic movements followed by increased school cohesion and immobility, reflected as an increased school cohesion (65.5% vs. -5.8% for controls) and in the number of animals near the bottom of the aquarium (42.0% vs. 6.5% for controls). Animals treated with single i.p. injections of fluoxetine (10 mu g/g b.w.) did not exhibit alarm behavior following CAS stimulation. These results show that an alarm pheromone system is present in piaucu fish, evidenced by the presence of epidermal club cells and an alarm reaction induced by CAS and consequently of a chemosensory system to transmit the appropriate information to neural structures responsible for initiating anti-predator behavioral responses. In addition, fluoxetine treatment caused an anxiolytic-like effect following CAS exposure. Thus, the alarm reaction in piaucu can be a useful model for neuroethological and pharmacological studies of anxiety-related states. (C) 2011 Elsevier Inc. All rights reserved.

Pedigree analysis and inbreeding depression on growth traits in Brazilian Marchigiana and Bonsmara breeds

The study of population structure by pedigree analysis is useful to identify important circumstances that affect the genetic history of populations. The intensive use of a small number of superior individuals may reduce the genetic diversity of populations. This situation is very common for the beef cattle breeds. Therefore, the objectives of the present study were to analyze the pedigree and possible inbreeding depression on traits of economic interest in the Marchigiana and Bonsmara breeds and to test the inclusion of the individual inbreeding coefficient (F-i) or individual increases in inbreeding coefficient (Delta F-i) in the genetic evaluation model for the quantification of inbreeding depression. The complete pedigree file of the Marchigiana breed included 29,411 animals born between 1950 and 2003. For the Bonsmara breed, the pedigree file included 18,695 animals born between 1988 and 2006. Only animals with at least 2 equivalent generations of known pedigree were kept in the analyses of inbreeding effect on birth weight, weaning weight measured at about 205 d, and BW at 14 mo in the Marchigiana breed, and on birth weight, weaning weight, and scro-tal circumference measured at 12 mo in the Bonsmara breed. The degree of pedigree knowledge was greater for Marchigiana than for Bonsmara animals. The average generation interval was 7.02 and 3.19 for the Marchigiana and Bonsmara breed, respectively. The average inbreeding coefficient was 1.33% for Marchigiana and 0.26% for Bonsmara. The number of ancestors explaining 50% of the gene pool and effective population size computed via individual increase in coancestry were 13 and 97.79 for Marchigiana and 41 and 54.57 for Bonsmara, respectively. These estimates indicate reduction in genetic variability in both breeds. Inbreeding depression was observed for most of the growth traits. The model including Delta F-i can be considered more adequate to quantify inbreeding depression. The inclusion of F-i or Delta F-i in the genetic evaluation model may not result in better fit to the data. A genetic evaluation with simultaneous estimation of inbreeding depression can be performed in Marchigiana and Bonsmara breeds, providing additional information to producers and breeders.

Cardiovascular autonomic dysfunction in sickle cell anemia

Sickle cell anemia (SCA) is associated to increased cardiac output, normal heart rate (HR), abnormal QT dispersion and lower diastolic blood pressure (DBP). The mechanisms are still unknown. The objective of this study was to test the hypothesis that there is cardiovascular autonomic dysfunction (CAD) in SCA. The secondary objectives were to distinguish the roles of chronic anemia and hemoglobinopathy and to evaluate the predominance of the sympathetic or parasympathetic systems in the pathogenesis of CAD. Sixteen subjects with SCA, 13 with sickle cell trait (SCT), 13 with iron deficiency anemia (IDA), and 13 healthy volunteers (HV) were evaluated. All subjects were submitted to 24 h-electrocardiogram (24 h-ECG), plasma norepinephrine (NE) measurement before and after isometric exercise (IE), and also Valsalva maneuver (VM), diving maneuver (DV), and tilt test (TT). Baroreflex sensitivity (BRS) was also evaluated. The minimum, average and maximum HR as well as the percentage of bradycardia and tachycardia at 24-h ECG were similar in all groups. NE at baseline and after IE did not differ between groups. The SCA group showed less bradycardia at phase IV of VM, less bradycardia during DV, and also less tachycardia and lower DBP during TT. BRS for bradycardia and tachycardia reflex was decreased in the SCA and SCT groups. In conclusion, 1) there is CAD in SCA, and it is characterized by the reduction of BRS and the limitation of HR modulation mediated by the parasympathetic system; 2) cardiovascular sympathetic activity is preserved in SCA; and 3) hemoglobinopathy is the preponderant ethiopathogenic factor. (C) 2011 Elsevier B.V. All rights reserved.

Local power and size properties of the LR, Wald, score and gradient tests in dispersion models

We derive asymptotic expansions for the nonnull distribution functions of the likelihood ratio, Wald, score and gradient test statistics in the class of dispersion models, under a sequence of Pitman alternatives. The asymptotic distributions of these statistics are obtained for testing a subset of regression parameters and for testing the precision parameter. Based on these nonnull asymptotic expansions, the power of all four tests, which are equivalent to first order, are compared. Furthermore, in order to compare the finite-sample performance of these tests in this class of models, Monte Carlo simulations are presented. An empirical application to a real data set is considered for illustrative purposes. (C) 2012 Elsevier B.V. All rights reserved.

No evidence for an association between the -36A>C phospholamban gene polymorphism and a worse prognosis in heart failure

Abstract Background In Brazil, heart failure leads to approximately 25,000 deaths per year. Abnormal calcium handling is a hallmark of heart failure and changes in genes encoding for proteins involved in the re-uptake of calcium might harbor mutations leading to inherited cardiomyopathies. Phospholamban (PLN) plays a prime role in cardiac contractility and relaxation and mutations in the gene encoding PLN have been associated with dilated cardiomyopathy. In this study, our objective was to determine the presence of the -36A>C alteration in PLN gene in a Brazilian population of individuals with HF and to test whether this alteration is associated with heart failure or with a worse prognosis of patients with HF. Methods We genotyped a cohort of 881 patients with HF and 1259 individuals from a cohort of individuals from the general population for the alteration -36A>C in the PLN gene. Allele and genotype frequencies were compared between groups (patients and control). In addition, frequencies or mean values of different phenotypes associated with cardiovascular disease were compared between genotypic groups. Finally, patients were prospectively followed-up for death incidence and genotypes for the -36A>C were compared regarding mortality incidence in HF patients. Results No significant association was found between the study polymorphism and HF in our population. In addition, no association between PLN -36A>C polymorphism and demographic, clinical and functional characteristics and mortality incidence in this sample of HF patients was observed. Conclusion Our data do not support a role for the PLN -36A>C alteration in modulating the heart failure phenotype, including its clinical course, in humans.

Immunohistochemical evaluation of MMP-2, MMP-9 and CD31/microvascular density in squamous cell carcinomas of the floor of the mouth

The aim of this study was to evaluate the immunoexpression of MMP-2, MMP-9 and CD31/microvascular density in squamous cell carcinomas of the floor of the mouth and to correlate the results with demographic, survival, clinical (TNM staging) and histopathological variables (tumor grade, perineural invasion, embolization and bone invasion). Data from medical records and diagnoses of 41 patients were reviewed. Histological sections were subjected to immunostaining using primary antibodies for human MMP-2, MMP-9 and CD31 and streptavidin-biotin-immunoperoxidase system. Histomorphometric analyses quantified positivity for MMPs (20 fields per slide, 100?points grade, ×200) and for CD31 (microvessels <50?µm in the area of the highest vascularization, 5 fields per slide, 100?points grade, ×400). Statistical design was composed by non-parametric Mann-Whitney U test (investigating the association between numerical variables and immunostainings), chi-square frequency test (in contingency tables), Fisher's exact test (when at least one expected frequency was less than 5 in 2×2 tables), Kaplan-Meier method (estimated probabilities of overall survival) and Iogrank test (comparison of survival curves), all with a significance level of 5%. There was a statistically significant correlation between immunostaining for MMP-2 and lymph node metastasis. Factors associated negatively with survival were N stage, histopathological grade, perineural invasion and immunostaining for MMP-9. There was no significant association between immunoexpression of CD31 and the other variables. The intensity of immunostaining for MMP-2 can be indicative of metastasis in lymph nodes and for MMP-9 of a lower probability of survival

Biocompatibility and setting time of CPM-MTA and white Portland cement clinker with or without calcium sulfate

To evaluate the biocompatibility and the setting time of Portland cement clinker with or without 2% or 5% calcium sulfate and MTA-CPM. Twenty-four mice (Rattus norvegicus) received subcutaneously polyethylene tubes filled with Portland cement clinker with or without 2% or 5% calcium sulfate and MTA. After 15, 30 and 60 days of implantation, the animals were killed and specimens were prepared for microscopic analysis. For evaluation of the setting time, each material was analyzed using Gilmore needles weighing 113.5 g and 456.5 g, according to the ASTM specification Number C266-08 guideline. Data were analyzed by ANOVA and Tukey's test for setting time and Kruskal-Wallis and Dunn test for biocompatibility at 5% significance level. Histologic observation showed no statistically significant difference of biocompatibility (p>0.05) among the materials in the subcutaneous tissues. For the setting time, clinker without calcium sulfate showed the shortest initial and final setting times (6.18 s/21.48 s), followed by clinker with 2% calcium sulfate (9.22 s/25.33 s), clinker with 5% calcium sulfate (10.06 s/42.46 s) and MTA (15.01 s/42.46 s). All the tested materials showed biocompatibility and the calcium sulfate absence shortened the initial and final setting times of the white Portland cement clinker

Thermo and mechanical cycling and veneering method do not influence Y-TZP core/veneer interface bond strength

Objectives: The purpose of this study was to evaluate the influence of thermal and mechanical cycling and veneering technique on the shear bond strength of Y-TZP (yttrium oxide partially stabilized tetragonal zirconia polycrystal) core–veneer interfaces. Materials and methods: Cylindrical Y-TZP specimens were veneered either by layering (n = 20) or by pressing technique (n = 20). A metal ceramic group (CoCr) was used as control (n = 20). Ten specimens for each group were thermal and mechanical cycled and then all samples were subjected to shear bond strength in a universal testing machine with a 0.5 mm/min crosshead speed. Mean shear bond strength (MPa) was analysed with a 2-way analysis of variance and Tukey’s test ( p < 0.05). Failure mode was determined using stereomicroscopy and scanning electron microscopy (SEM). Results: Thermal and mechanical cycling had no influence on the shear bond strength for all groups. The CoCr group presented the highest bond strength value ( p < 0.05) (34.72 7.05 MPa). There was no significant difference between Y-TZP veneered by layering (22.46 2.08 MPa) or pressing (23.58 2.1 MPa) technique. Failure modes were predominantly adhesive for CoCr group, and cohesive within veneer for Y-TZP groups. Conclusions: Thermal and mechanical cycling, as well as the veneering technique does not affect Y-TZP core–veneer bond strength. Clinical significance: Different methods of veneering Y-TZP restorations would not influence the clinical performance of the core/veneer interfaces.

Low dynamic muscle strength and its associations with fatigue, functional performance, and quality of life in premenopausal patients with systemic lupus erythematosus and low disease activity: a case–control study

Abstract Background The purpose of the present study was to compare dynamic muscle strength, functional performance, fatigue, and quality of life in premenopausal systemic lupus erythematosus (SLE) patients with low disease activity versus matched-healthy controls and to determine the association of dynamic muscle strength with fatigue, functional performance, and quality of life in SLE patients. Methods We evaluated premenopausal (18–45 years) SLE patients with low disease activity (Systemic lupus erythematosus disease activity index [SLEDAI]: mean 1.5 ± 1.2). The control (n = 25) and patient (n = 25) groups were matched by age, physical characteristics, and the level of physical activities in daily life (International Physical Activity Questionnaire IPAQ). Both groups had not participated in regular exercise programs for at least six months prior to the study. Dynamic muscle strength was assessed by one-repetition maximum (1-RM) tests. Functional performance was assessed by the Timed Up and Go (TUG), in 30-s test a chair stand and arm curl using a 2-kg dumbbell and balance test, handgrip strength and a sit-and-reach flexibility test. Quality of life (SF-36) and fatigue were also measured. Results The SLE patients showed significantly lower dynamic muscle strength in all exercises (leg press 25.63%, leg extension 11.19%, leg curl 15.71%, chest press 18.33%, lat pulldown 13.56%, 1-RM total load 18.12%, P < 0.001-0.02) compared to the controls. The SLE patients also had lower functional performance, greater fatigue and poorer quality of life. In addition, fatigue, SF-36 and functional performance accounted for 52% of the variance in dynamic muscle strength in the SLE patients. Conclusions Premenopausal SLE patients with low disease activity showed lower dynamic muscle strength, along with increased fatigue, reduced functional performance, and poorer quality of life when compared to matched controls.

Perfil de habilidades do desenvolvimento em crianças com holoprosencefalia e holoprosencefalia like

OBJETIVO: investigar e comparar o desempenho nas habilidades relacionadas ao desenvolvimento motor, cognitivo, linguístico, de socialização e autocuidados de indivíduos com holoprosencefalia e com holoprosencefalia-like. MÉTODO: participaram deste estudo 20 indivíduos com diagnóstico de holoprosencefalia, na faixa etária de 18 a 72 meses, de ambos os sexos, divididos em 2 grupos. O grupo 1 (G1) composto por 12 indivíduos com sinais clínicos do espectro da holoprosencefalia, e o grupo 2 (G2) com holoprosencefalia-like composto por 8 indivíduos com sinais clínicos do espectro da holoprosencefalia-like. A coleta de dados foi realizada por meio da aplicação do Inventário Portage Operacionalizado que avalia as áreas alvos deste estudo. Para a análise estatística utilizou-se análise descritiva da mediana e dos valores mínimos e máximos e foi aplicado o teste estatístico de Mann Whitney (< 0,05% para significância). RESULTADOS: os grupos 1 e 2 apresentaram alterações em todas as áreas do desenvolvimento avaliadas. Entretanto, os indivíduos do G1, com holoprosencefalia apresentaram maiores comprometimentos nas habilidades: motora, cognitiva, de linguagem, de socialização e autocuidados, quanto comparados aos indivíduos do G2, com holoprosencefalia-like. CONCLUSÃO: o desempenho nas áreas motoras, cognitivas, de linguagem, de socialização e autocuidados de indivíduos com holoprosencefalia e holoprosencefalia-like foi aquém do esperado, principalmente naqueles indivíduos com holoprosencefalia, que se justifica pelo maior comprometimento no sistema nervoso central. A natureza destas alterações pode estar associada ao universo de alterações neurológicas e craniofaciais descritas nestes quadros clínicos e também à influência do ambiente social.

Treatment of snoring and sleep apnea syndrome with a removable mandibular advancement device in patients without TMD

INTRODUCTION: Among the sleep disorders reported by the American Academy of Sleep, the most common is obstructive sleep apnea-hypopnea syndrome (OSAHS), which is caused by difficulties in air passage and complete interruption of air flow in the airway. This syndrome is associated with increased morbidity and mortality in apneic individuals. OBJECTIVE: It was the objective of this paper to evaluate a removable mandibular advancement device as it provides a noninvasive, straightforward treatment readily accepted by patients. METHODS: In this study, 15 patients without temporomandibular disorders (TMD) and with excessive daytime sleepiness or snoring were evaluated. Data were collected by means of: Polysomnography before and after placement of an intraoral appliance, analysis of TMD signs and symptoms using a patient history questionnaire, muscle and TMJ palpation. RESULTS: After treatment, the statistical analysis (t-test, and the "before and after" test) showed a mean reduction of 77.6% (p=0.001) in the apnea-hypopnea index, an increase in lowest oxyhemoglobin saturation (p=0.05), decrease in desaturation (p=0.05), decrease in micro-awakenings or EEG arousals (p=0.05) and highly significant improvement in daytime sleepiness (p=0.005), measured by the Epworth Sleepiness Scale. No TMD appeared during the monitoring period. CONCLUSION: The oral device developed in this study was considered effective for mild to moderate OSAHS.

Guava pomace: a new source of anti-inflammatory and analgesic bioactives

Abstract Background Guava pomace is an example of the processing waste generated after the manufacturing process from the juice industry that could be a source of bioactives. Thus, the present investigation was carried out in order to evaluate the anti-inflammatory and antinociceptive potential and determinate the main phenolic compounds of a guava pomace extract (GPE). Methods The anti-inflammatory activity was evaluated by carrageenan, dextran, serotonin, histamine-induced paw edema and neutrophils migration in the peritoneal cavity models. Acetic acid-induced abdominal writhing and formalin test were performed to investigate the antinociceptive effects. In addition, the content of total phenolic and of individual phenolic compounds was determined by GC/MS. Results GPE showed anti-inflammatory activity by carrageenan, dextran, serotonin, histamine-induced paw edema and neutrophils migration in the peritoneal cavity models (p < 0.05). GPE also demonstrated antinociceptive activity by acetic acid-induced abdominal writhing and formalin test (p < 0.05). The total phenolic value was 3.40 ± 0.09 mg GAE/g and epicatechin, quercetin, myricetin, isovanilic and gallic acids were identified by GC/MS analysis. Conclusions The presence of bioactive phenolic compounds as well as important effects demonstrated in animal models suggest that guava pomace could be an interesting source of anti-inflammatory and analgesic substances.

The re-establishment of the normal blood lactate response to exercise in humans after prolonged acclimatization to altitude

[EN] 1. One to five weeks of chronic exposure to hypoxia has been shown to reduce peak blood lactate concentration compared to acute exposure to hypoxia during exercise, the high altitude 'lactate paradox'. However, we hypothesize that a sufficiently long exposure to hypoxia would result in a blood lactate and net lactate release from the active leg to an extent similar to that observed in acute hypoxia, independent of work intensity. 2. Six Danish lowlanders (25-26 years) were studied during graded incremental bicycle exercise under four conditions: at sea level breathing either ambient air (0 m normoxia) or a low-oxygen gas mixture (10 % O(2) in N(2), 0 m acute hypoxia) and after 9 weeks of acclimatization to 5260 m breathing either ambient air (5260 m chronic hypoxia) or a normoxic gas mixture (47 % O(2) in N(2), 5260 m acute normoxia). In addition, one-leg knee-extensor exercise was performed during 5260 m chronic hypoxia and 5260 m acute normoxia. 3. During incremental bicycle exercise, the arterial lactate concentrations were similar at sub-maximal work at 0 m acute hypoxia and 5260 m chronic hypoxia but higher compared to both 0 m normoxia and 5260 m acute normoxia. However, peak lactate concentration was similar under all conditions (10.0 +/- 1.3, 10.7 +/- 2.0, 10.9 +/- 2.3 and 11.0 +/- 1.0 mmol l(-1)) at 0 m normoxia, 0 m acute hypoxia, 5260 m chronic hypoxia and 5260 m acute normoxia, respectively. Despite a similar lactate concentration at sub-maximal and maximal workload, the net lactate release from the leg was lower during 0 m acute hypoxia (peak 8.4 +/- 1.6 mmol min(-1)) than at 5260 m chronic hypoxia (peak 12.8 +/- 2.2 mmol min(-1)). The same was observed for 0 m normoxia (peak 8.9 +/- 2.0 mmol min(-1)) compared to 5260 m acute normoxia (peak 12.6 +/- 3.6 mmol min(-1)). Exercise after acclimatization with a small muscle mass (one-leg knee-extensor) elicited similar lactate concentrations (peak 4.4 +/- 0.2 vs. 3.9 +/- 0.3 mmol l(-1)) and net lactate release (peak 16.4 +/- 1.8 vs. 14.3 mmol l(-1)) from the active leg at 5260 m chronic hypoxia and 5260 m acute normoxia. 4. In conclusion, in lowlanders acclimatized for 9 weeks to an altitude of 5260 m, the arterial lactate concentration was similar at 0 m acute hypoxia and 5260 m chronic hypoxia. The net lactate release from the active leg was higher at 5260 m chronic hypoxia compared to 0 m acute hypoxia, implying an enhanced lactate utilization with prolonged acclimatization to altitude. The present study clearly shows the absence of a lactate paradox in lowlanders sufficiently acclimatized to altitude.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.