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.

Molecular Modeling Suggests Cruzain Specificity for Peptide Primaquine Prodrugs

Chagas` disease, infection caused by the protozoan Trypanosoma cruzi, is an important, social and medical ailment in the Latin America. This disease is endemic in 21 countries, mostly Latin America countries, with more than 300,000 new cases every year and about 16-18 million infected people. Current therapy is not effective in the chronic phase of the disease. Thus, new and better drugs are urgently needed. In this sense, the in vitro activity of primaquine (PQ) was reported. Based on this, peptide prodrugs of primaquine containing dipeptides - lysine-arginine (LysArg), phenylalanine-alanine (PheAla) and phenylalanine-arginine (PheArg) -- as carriers, were designed to be selectively cleaved by cruzain, a specific cysteine protease of T. cruzi. The prodrugs have shown to be active against tripomastigote forms according to this order: LysArg-PQ> PheAla-PQ> PheArg-PQ. The molecular mechanism of action considered a probable nucleophilic attack of the catalytic residue of cruzain (Cys25) on the respective prodrug amide carbonyl carbon, releasing PQ. In order to test this hypothesis, molecular modeling studies were performed, physicochemical parameters and stereoelectronic features calculated by using the AM1 semi-empirical method suggest that the amide carbonyl carbon is favorable for cleavage, where the LysArg showed the most electronic reactive and sterically disposable, leading to the prodrug release and action. In addition, the docking study indicates the occurrence of specific interactions between prodrugs and the pockets S1 and S2 of cruzain through the dipeptides carriers, being the distance between cruzain Cys25 and the amide carbonyl group related to the biological activity of the prodrugs.

TOWARD UNDERSTANDING THE B[e] PHENOMENON. IV. MODELING OF IRAS 00470+6429

FS CMa type stars are a recently described group of objects with the B[e] phenomenon which exhibits strong emission-line spectra and strong IR excesses. In this paper, we report the first attempt for a detailed modeling of IRAS 00470+6429, for which we have the best set of observations. Our modeling is based on two key assumptions: the star has a main-sequence luminosity for its spectral type (B2) and the circumstellar (CS) envelope is bimodal, composed of a slowly outflowing disklike wind and a fast polar wind. Both outflows are assumed to be purely radial. We adopt a novel approach to describe the dust formation site in the wind that employs timescale arguments for grain condensation and a self-consistent solution for the dust destruction surface. With the above assumptions we were able to satisfactorily reproduce many observational properties of IRAS 00470+6429, including the Hi line profiles and the overall shape of the spectral energy distribution. Our adopted recipe for dust formation proved successful in reproducing the correct amount of dust formed in the CS envelope. Possible shortcomings of our model, as well as suggestions for future improvements, are discussed.

A further exploration of a nucleophilicity index based on the gas-phase ionization potentials

An empirical nucleophilicity index based on the gas-phase ionization potentials has been recently shown to be useful categorizing and settling the nucleophilicity power of a series of captodative ethylenes reacting in cycloaddition reactions (L.R. Domingo, E. Chamorro, P. Perez, Journal of Organic Chemistry 73 (2008) 4615-4624). In the present work, the applicability of such model is tested within a broader series of substituted alkenes, substituted aromatic compounds and simple nucleophilic molecules. This index obtained within a Koopman`s theorem framework has been evaluated here in both gas and solution phases for several well-known nucleophiles. These results are found to be linearly correlated. Finally, the feasibility of the predictive character of this index has been discussed in comparison to the available experimental nucleophilicities of some amines in water. These results further support and validate the usefulness of such approximation in the modeling of the global nucleophilicity. (C) 2008 Elsevier B.V. All rights reserved.

Fragment-Based QSAR and Molecular Modeling Studies on a Series of Discodermolide Analogs as Microtubule-Stabilizing Anticancer Agents

Inhibition of microtubule function is an attractive rational approach to anticancer therapy. Although taxanes are the most prominent among the microtubule-stabilizers, their clinical toxicity, poor pharmacokinetic properties, and resistance have stimulated the search for new antitumor agents having the same mechanism of action. Discodermolide is an example of nontaxane natural product that has the same mechanism of action, demonstrating superior antitumor efficacy and therapeutic index. The extraordinary chemical and biological properties have qualified discodermolide as a lead structure for the design of novel anticancer agents with optimized therapeutic properties. In the present work, we have employed a specialized fragment-based method to develop robust quantitative structure - activity relationship models for a series of synthetic discodermolide analogs. The generated molecular recognition patterns were combined with three-dimensional molecular modeling studies as a fundamental step on the path to understanding the molecular basis of drug-receptor interactions within this important series of potent antitumoral agents.

Clinical and antimicrobial efficacy of NitrAdineTM-based disinfecting cleaning tablets in complete denture wearers

OBJECTIVE: This study evaluated the efficacy of NitrAdineTM-based disinfecting cleaning tablets for complete denture, in terms of denture biofilm removal and antimicrobial action. MATERIAL AND METHODS: Forty complete denture wearers (14 men and 26 women) with a mean age of 62.3±9.0 years were randomly assigned to two groups and were instructed to clean their dentures according to two methods: brushing (control) - 3 times a day with denture brush and tap water following meals; brushing and immersion (Experimental) - brushing the denture 3 times a day with denture brush and tap water following meals and immersion of the denture in NitrAdineTM-based denture tablets (Medical InterporousTM). Each method was used for 21 days. Denture biofilm was disclosed by a 1% neutral red solution and quantified by means of digital photos taken from the internal surface before and after the use of the product. Microbiological assessment was conducted to quantify Candida sp. RESULTS: An independent t-test revealed a significant lower biofilm percentage for the experimental group (4.7, 95% CI 2.4 to 7.9) in comparison with the control group (mean 37.5, 95% CI 28.2 to 48.1) (t38=7.996, p<0.001). A significant reduction of yeast colony forming units could be found after treatment with Medical InterporousTM denture tablets as compared to the control group (Mann-Whitney test, Z=1.90; p<0.05). CONCLUSION: The present findings suggest that NitrAdineTM-based disinfecting cleaning tablets are efficient in removal of denture biofilm. In addition, a clear antimicrobial action was demonstrated. Therefore, they should be recommended as a routine denture maintenance method for the prevention of the development of microbial biofilm induced denture stomatitis.

Effect of eugenol-based endodontic sealer on the adhesion of intraradicular posts cemented after different periods

OBJECTIVE: This study evaluated in vitro the influence of an eugenol-based sealer (EndoFill) on the retention of stainless steel prefabricated posts cemented with zinc phosphate and resin-based (Panavia F) cements after different periods of root canal obturation, using the pull-out test. MATERIAL AND METHODS: Sixty upper canines were decoronated and the roots were embedded in resin blocks. The specimens were distributed into 3 groups, according to the period elapsed between canal obturation and post cementation: Group I - immediately; Group II - 72 h and Group III - 4 months. The groups were subdivided according to the type of cement used for post cementation: A - zinc phosphate and B - Panavia F. Following the experimental periods, specimens were subjected to pullout test in an Instron machine with application of tensile force at a crosshead speed of 0.5 mm/min until post dislodgement. The maximum forces required for post removal were recorded (kN) and means were subjected to statistical analysis by 2-way ANOVA and Tukey-Kramer test (α=0.001) RESULTS: There were statistically significant differences (p<0.01) between the posts cemented with zinc phosphate cement (0.2112 kN) and Panavia F (0.0501 kN). However, no statistically significant differences (p>0.05) were found between the three post cementation periods, regardless of the cement. CONCLUSIONS: It was concluded that the eugenol-based sealer influenced the tensile strength of the posts cemented with the resin cement, but had no influence on the time waited between root canal obturation and post space preparation/post cementation.

Scavenging processes of atmospheric particulate matter: a numerical modeling of case studies

Below cloud scavenging processes have been investigated considering a numerical simulation, local atmospheric conditions and particulate matter (PM) concentrations, at different sites in Germany. The below cloud scavenging model has been coupled with bulk particulate matter counter TSI (Trust Portacounter dataset, consisting of the variability prediction of the particulate air concentrations during chosen rain events. The TSI samples and meteorological parameters were obtained during three winter Campaigns: at Deuselbach, March 1994, consisting in three different events; Sylt, April 1994 and; Freiburg, March 1995. The results show a good agreement between modeled and observed air concentrations, emphasizing the quality of the conceptual model used in the below cloud scavenging numerical modeling. The results between modeled and observed data have also presented high square Pearson coefficient correlations over 0.7 and significant, except the Freiburg Campaign event. The differences between numerical simulations and observed dataset are explained by the wind direction changes and, perhaps, the absence of advection mass terms inside the modeling. These results validate previous works based on the same conceptual model.

Phylogenetic analyses of Cladophora vagabunda (L.) C. Hoek (Cladophorales, Chlorophyta) from Brazil based on SSU rDNA sequences

The complete SSU rDNA was sequenced for 10 individuals of Cladophora vagabunda collected along the coast of Brazil. For C. rupestris (L.) Kütz. a partial SSU rDNA sequence (1634 bp) was obtained. Phylogenetic trees indicate that Cladophora is paraphyletic, but the section Glomeratae sensu lato including C. vagabunda from Brazil, Japan and France, C. albida (Nees) Kütz., C. sericea (Hudson) Kütz., and C. glomerata (L.) Kütz. is monophyletic. Within this group C. vagabunda is paraphyletic. The sequence identity for the SSU rDNA varied from 98.9% to 100% for the Brazilian C. vagabunda, and from 98.3% to 99.7% comparing the Brazilian individuals to the ones from France and Japan. Sequence identity of the Brazilian C. vagabunda to C. albida and C. sericea vary from 98.0% to 98.6%. The SSU rDNA phylogeny support partially the morphological characteristics presented by Brazilian populations of C. vagabunda. On the other hand, C. rupestris from Brazil does not group with C. rupestris from France, both sequences presenting only 96.9% of identity. The inclusion of sequences of individuals from Brazil reinforces the need of taxonomical revision for the genus Cladophora and for the complex C. vagabunda.

A revision of the Neotropical Solenopsidini ant genus Oxyepoecus Santschi, 1926 (Hymenoptera: Formicidae: Myrmicinae): 2. Final. Key for species and revision of the Rastratus species-group

In the first paper of this series (Albuquerque & Brandão, 2004) we revised the Vezenyii species group of the exclusively Neotropical solenopsidine (Myrmicinae) ant genus Oxyepoecus. In this closing paper we update distribution information on the Vezenyii group species and revise the other Oxyepoecus species-group (Rastratus). We describe two species (Oxyepoecus myops n. sp. and O. rosai n. sp.) and redescribe previously known species of the group [O. daguerrei (Santschi, 1933), O. mandibularis (Emery, 1913), O. plaumanni Kempf, 1974, O. rastratus Mayr, 1887, and O. reticulatus Kempf, 1974], adding locality records and comments on the meagre biological data of these species. We also present an identification key to Oxyepoecus species based on workers.

A phylogenetic analysis of Brycon and Henochilus (Characiformes, Characidae, Bryconinae) based on the mitochondrial gene 16S rRNA

The genus Brycon, the largest subunit of the Bryconinae, has 42 valid species distributed from southern Mexico to the La Plata River in Argentina. Henochilus is a monotypic genus, comprising a single species (H. wheatlandii) found in the upper Rio Doce basin. In the present study, partial sequences of the mitochondrial gene 16S were obtained for fifteen species of Brycon and for Henochilus wheatlandii. The results showed that the genus Brycon is paraphyletic, since Henochilus is the sister-group of B. ferox and B. insignis. The most basal species analyzed were the trans-Andean species B. henni, B. petrosus, and B. chagrensis.

A novel polar-based human face recognition computational model

Motivated by a recently proposed biologically inspired face recognition approach, we investigated the relation between human behavior and a computational model based on Fourier-Bessel (FB) spatial patterns. We measured human recognition performance of FB filtered face images using an 8-alternative forced-choice method. Test stimuli were generated by converting the images from the spatial to the FB domain, filtering the resulting coefficients with a band-pass filter, and finally taking the inverse FB transformation of the filtered coefficients. The performance of the computational models was tested using a simulation of the psychophysical experiment. In the FB model, face images were first filtered by simulated V1- type neurons and later analyzed globally for their content of FB components. In general, there was a higher human contrast sensitivity to radially than to angularly filtered images, but both functions peaked at the 11.3-16 frequency interval. The FB-based model presented similar behavior with regard to peak position and relative sensitivity, but had a wider frequency band width and a narrower response range. The response pattern of two alternative models, based on local FB analysis and on raw luminance, strongly diverged from the human behavior patterns. These results suggest that human performance can be constrained by the type of information conveyed by polar patterns, and consequently that humans might use FB-like spatial patterns in face processing.

A new classification of foods based on the extent and purpose of their processing

This paper describes a new food classification which assigns foodstuffs according to the extent and purpose of the industrial processing applied to them. Three main groups are defined: unprocessed or minimally processed foods (group 1), processed culinary and food industry ingredients (group 2), and ultra-processed food products (group 3). The use of this classification is illustrated by applying it to data collected in the Brazilian Household Budget Survey which was conducted in 2002/2003 through a probabilistic sample of 48,470 Brazilian households. The average daily food availability was 1,792 kcal/person being 42.5% from group 1 (mostly rice and beans and meat and milk), 37.5% from group 2 (mostly vegetable oils, sugar, and flours), and 20% from group 3 (mostly breads, biscuits, sweets, soft drinks, and sausages). The share of group 3 foods increased with income, and represented almost one third of all calories in higher income households. The impact of the replacement of group 1 foods and group 2 ingredients by group 3 products on the overall quality of the diet, eating patterns and health is discussed.

Diet and cancer in Northeast Brazil: evaluation of eating habits and food group consumption in relation to breast cancer

Realizou-se um estudo do tipo caso-controle de base hospitalar no Município de João Pessoa, Paraíba, Brasil. Participaram 183 indivíduos (89 casos e 94 controles) na faixa etária entre 30 e 80 anos, com pareamento por idade. O consumo alimentar de casos e controles foi avaliado por alimentos e grupos de alimentos categorizados em tercis de consumo. A estimativa dos valores da odds ratio (OR) e intervalos de confiança de 95% (IC95%) foi realizada por regressão logística múltipla não-condicional. O consumo de frutas e sucos, feijão e leite e derivados apresentou uma forte associação com a redução no risco de câncer de mama. O consumo de carnes vermelhas e de carnes fritas esteve positivamente associado ao risco de câncer de mama (carne vermelha - OR = 4.30; IC95%: 1,74-10,67; p = 0,00). Não foi observada associação entre o consumo dos grupos de vegetais e embutidos com o câncer de mama. Carne vermelha e carnes fritas podem ser fatores de risco, e o consumo de frutas, feijão e leite e derivados pode atuar como protetor do câncer de mama

Effectiveness of a School-Based Intervention on Physical Activity for High School Students in Brazil: The Saude na Boa Project

Background: We evaluated the effectiveness of a school-based intervention on the promotion of physical activity among high school students in Brazil: the Saude no Boa project. Methods: A school-based, randomized trial was carried out in 2 Brazilian cities: Recife (northeast) and Florianopolis (south). Ten schools in each city were matched by size and location, and randomized into intervention or control groups. The intervention included environmental/organizational changes, physical activity education, and personnel training and engagement. Students age 15 to 24 years were evaluated at baseline and 9 months later (end of school year). Results: Although similar at baseline, after the intervention, the control group reported significantly fewer d/wk accumulating 60 minutes+ moderate-to-vigorous physical activity (MVPA) in comparison with the intervention group (2.6 versus 3.3, P < .001). The prevalence of inactivity (0 days per week) rose in the control and decreased in the intervention group. The odds ratio for engaging at least once per week in physical activity associated with the intervention was 1.83 (95% CI = 1.24-2.71) in the unadjusted analysis and 1.88 (95% CI = 1.27-2.79) after controlling for gender. Conclusion: The Saude no Boa intervention was effective at reducing the prevalence of physical inactivity. The possibility of expanding the intervention to other locations should be considered.