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.

Singular Perturbation for the Discounted Continuous Control of Piecewise Deterministic Markov Processes

This paper deals with the expected discounted continuous control of piecewise deterministic Markov processes (PDMP`s) using a singular perturbation approach for dealing with rapidly oscillating parameters. The state space of the PDMP is written as the product of a finite set and a subset of the Euclidean space a""e (n) . The discrete part of the state, called the regime, characterizes the mode of operation of the physical system under consideration, and is supposed to have a fast (associated to a small parameter epsilon > 0) and a slow behavior. By using a similar approach as developed in Yin and Zhang (Continuous-Time Markov Chains and Applications: A Singular Perturbation Approach, Applications of Mathematics, vol. 37, Springer, New York, 1998, Chaps. 1 and 3) the idea in this paper is to reduce the number of regimes by considering an averaged model in which the regimes within the same class are aggregated through the quasi-stationary distribution so that the different states in this class are replaced by a single one. The main goal is to show that the value function of the control problem for the system driven by the perturbed Markov chain converges to the value function of this limit control problem as epsilon goes to zero. This convergence is obtained by, roughly speaking, showing that the infimum and supremum limits of the value functions satisfy two optimality inequalities as epsilon goes to zero. This enables us to show the result by invoking a uniqueness argument, without needing any kind of Lipschitz continuity condition.

Biogeochemical cycles of nutrients in tropical Eucalyptus plantations Main features shown by intensive monitoring in Congo and Brazil

The sustainability of fast-growing tropical Eucalyptus plantations is of concern in a context of rising fertilizer costs, since large amounts of nutrients are removed with biomass every 6-7 years from highly weathered soils. A better understanding of the dynamics of tree requirements is required to match fertilization regimes to the availability of each nutrient in the soil. The nutrition of Eucalyptus plantations has been intensively investigated and many studies have focused on specific fluxes in the biogeochemical cycles of nutrients. However, studies dealing with complete cycles are scarce for the Tropics. The objective of this paper was to compare these cycles for Eucalyptus plantations in Congo and Brazil, with contrasting climates, soil properties, and management practices. The main features were similar in the two situations. Most nutrient fluxes were driven by crown establishment the two first years after planting and total biomass production thereafter. These forests were characterized by huge nutrient requirements: 155, 10, 52, 55 and 23 kg ha(-1) of N, P, K, Ca and Mg the first year after planting at the Brazilian study site, respectively. High growth rates the first months after planting were essential to take advantage of the large amounts of nutrients released into the soil solutions by organic matter mineralization after harvesting. This study highlighted the predominant role of biological and biochemical cycles over the geochemical cycle of nutrients in tropical Eucalyptus plantations and indicated the prime importance of carefully managing organic matter in these soils. Limited nutrient losses through deep drainage after clear-cutting in the sandy soils of the two study sites showed the remarkable efficiency of Eucalyptus trees in keeping limited nutrient pools within the ecosystem, even after major disturbances. Nutrient input-output budgets suggested that Eucalyptus plantations take advantage of soil fertility inherited from previous land uses and that long-term sustainability will require an increase in the inputs of certain nutrients. (C) 2009 Elsevier B.V. All rights reserved.

Molecular and morphological diversity in Japanese rice germplasm

Germplasm molecular and phenotypic characterization is instrumental to its utilization and to genetic variability incorporation into rice breeding programmes. The diversity within 192 Japanese rice accessions was analysed for 22 agro-morphological traits and 24 single sequence repeat markers. A total of 181 alleles were detected, 38 of which were exclusive. The number of alleles/marker ranged from 2 to 16, with an average of 7.54 alleles/locus and the H(e) value ranged from 0.01 to 0.82, with an average of 0.46. The accessions showed diversity at molecular and phenotypic level and few showed also good agronomic performance. Tocher`s method applied on a total-dissimilarity matrix was used to determine cluster formation of 13 diversity groups. Most of the accessions (81%) were clustered within a group, whereas eight accessions (Kyuushuu, Eika Ine, Ishiwari Mochi, Col/Fukui/1965, Ookuma Nishiki, Suzume Shirazu, Iwate Ryoon and Toga) did not cluster with other accessions.

Using Imaging Spectroscopy to study soil properties

Imaging Spectroscopy (IS) is a promising tool for studying soil properties in large spatial domains. Going from point to image spectrometry is not only a journey from micro to macro scales, but also a long stage where problems such as dealing with data having a low signal-to-noise level, contamination of the atmosphere, large data sets, the BRDF effect and more are often encountered. In this paper we provide an up-to-date overview of some of the case studies that have used IS technology for soil science applications. Besides a brief discussion on the advantages and disadvantages of IS for studying soils, the following cases are comprehensively discussed: soil degradation (salinity, erosion, and deposition), soil mapping and classification, soil genesis and formation, soil contamination, soil water content, and soil swelling. We review these case studies and suggest that the 15 data be provided to the end-users as real reflectance and not as raw data and with better signal-to-noise ratios than presently exist. This is because converting the raw data into reflectance is a complicated stage that requires experience, knowledge, and specific infrastructures not available to many users, whereas quantitative spectral models require good quality data. These limitations serve as a barrier that impedes potential end-users, inhibiting researchers from trying this technique for their needs. The paper ends with a general call to the soil science audience to extend the utilization of the IS technique, and it provides some ideas on how to propel this technology forward to enable its widespread adoption in order to achieve a breakthrough in the field of soil science and remote sensing. (C) 2009 Elsevier Inc. All rights reserved.

Can native vegetation recover after slash pine cultivation in the Brazilian Savanna?

There is a widespread view that forest plantations with exotic species are green deserts, unable to sustain biodiversity. Few studies have demonstrated, however, that planted stands of exotic trees have a greater negative effect on the plant diversity of savanna vegetation. We compared the native woody flora under four stands of slash pine of about 45 years old with four stands where the previously existing native Cerrado vegetation was preserved and protected from disturbances for the same period, has changed into dense vegetation - the ""cerradao"", at Assis municipality, Sao Paulo State, Brazil. Aiming at understanding the potential ecological filters driving these communities, we assessed air and soil humidity, light availability and classified the native species on the basis of shade tolerance, dispersal syndrome and biomes in which they occur (Atlantic Forest or Cerrado). We recorded an average of 70 (+/- 13) species under pine stands and 54 (+/- 16) species in cerradao. Of the total of 136 species recorded, 78 occurred in both habitats, eight were exclusive to the ""cerradao"" (shade tolerant and also occurring in forest ecosystems) and 18 were recorded only under pine stands (82% heliophytic, exclusive to the Cerrado biome). Among the functional attributes and abiotic variables analyzed, only light availability explained the floristic differences found. Since richness was higher under pine, we refuted the hypothesis that exotic species constrain the establishment of the native species richness in the understory. On the other hand, the dark environment under the closed-canopy of the ""cerradao"" acts as a filter inhibiting the establishment of typical Cerrado species. Since pine stands, if managed in long cycle, maintain a reasonable pool of Cerrado endemic species in the understory pine plantations may be a good starting point for savanna restoration. (C) 2011 Elsevier B.V. All rights reserved.

Gene expression analysis of Paracoccidioides brasiliensis transition from conidium to yeast cell

Paracoccidioides brasiliensis infectious process relies on the initial expression of virulence faactors that are assumed to be controlled by molecular mechanisms through which the conidia and/or mycelial fragments convert to yeast cells. In order to analyze the profile of the thermally-induced dimorphic gene expression, 48 h C-L transition cultures which had been incubated at 36 degrees C were studied. By this time approximately 50% of the conidial population had already reverted to yeast form cells. At this transition time, an EST-Orestes library was constructed and characterized. As a result, 79 sequences were obtained, of which 39 (49.4%) had not been described previously in other libraries of this fungus and which could represent novel exclusive C-Y transition genes. Two of these sequences are, among others, cholestanol delta-isomerase, and electron transfer flavoprotein-ubiquinoneoxidoreductase (ETF-QO). The other 40 (50.6%) sequences were shared with Mycelia (M), Yeast (Y) or Mycelia to yest transition (M-Y) libraries. An important component of this group of sequences is a putative response regulator receiver SKN7, a protein of high importance in stress adaptation and a regulator of virulence in some bacteria and fungi. This is the first report identifying genes expressed during the C-Y transition process, the initial step required to understand the natural history of P brasiliensis conidia induced infection.

A proteomic approach to identifying proteins differentially expressed in conidia and mycelium of the entomopathogenic fungus Metarhizium acridum

Metarhizium spp. is an important worldwide group of entomopathogenic fungi used as an interesting alternative to chemical insecticides in programs of agricultural pest and disease vector control. Metarhizium conidia are important in fungal propagation and also are responsible for host infection. Despite their importance, several aspects of conidial biology, including their proteome, are still unknown. We have established conidial and mycelial proteome reference maps for Metarhizium acridum using two-dimensional gel electrophoresis (2-DE) and matrix-assisted laser desorption/ionization-time of flight-mass spectrometry (MALDI-TOF MS). In all, 1130 +/- 102 and 1200 +/- 97 protein spots were detected in ungerminated conidia and fast-growing mycelia, respectively. Comparison of the two protein-expression profiles reveled that only 35 % of the protein spots were common to both developmental stages. Out of 94 2-DE protein spots (65 from conidia, 25 from mycelia and two common to both) analyzed using mass spectrometry, seven proteins from conidia, 15 from mycelia and one common to both stages were identified. The identified protein spots exclusive to conidia contained sequences similar to known fungal stress-protector proteins (such as heat shock proteins (HSP) and 6-phosphogluconate dehydrogenase) plus the fungal allergen Alt a 7, actin and the enzyme cobalamin-independent methionine synthase. The identified protein spots exclusive to mycelia included proteins involved in several cell housekeeping biological processes. Three proteins (HSP 90, 6-phosphogluconate dehydrogenase and allergen Alt a 7) were present in spots in conidial and mycelial gels, but they differed in their locations on the two gels. (c) 2010 The British Mycological Society. Published by Elsevier Ltd. All rights reserved.

Assessing the ex ante economic impacts of transportation infrastructure policies in Brazil

This paper uses a fully operational inter-regional computable general equilibrium (CGE) model implemented for the Brazilian economy, based on previous work by Haddad and Hewings, in order to assess the likely economic effects of road transportation policy changes in Brazil. Among the features embedded in this framework, modelling of external scale economies and transportation costs provides an innovative way of dealing explicitly with theoretical issues related to integrated regional systems. The model is calibrated for 109 regions. The explicit modelling of transportation costs built into the inter-regional CGE model, based on origin-destination flows, which takes into account the spatial structure of the Brazilian economy, creates the capability of integrating the inter-regional CGE model with a geo-coded transportation network model enhancing the potential of the framework in understanding the role of infrastructure on regional development. The transportation model used is the so-called Highway Development and Management, developed by the World Bank, implemented using the software TransCAD. Further extensions of the current model specification for integrating other features of transport planning in a continental industrialising country like Brazil are discussed, with the goal of building a bridge between conventional transport planning practices and the innovative use of CGE models. In order to illustrate the analytical power of the integrated system, the authors present a set of simulations, which evaluate the ex ante economic impacts of physical/qualitative changes in the Brazilian road network (for example, a highway improvement), in accordance with recent policy developments in Brazil. Rather than providing a critical evaluation of this debate, they intend to emphasise the likely structural impacts of such policies. They expect that the results will reinforce the need to better specifying spatial interactions in inter-regional CGE models.

Diagnosis of Organizational Soft Problems in a Peruvian Financial Institution by Systemic Thinking

Managing financial institutions in an underdeveloped economic context has become a real challenge nowadays. In order to reach the organization`s planned goals, they have to deal with structural, behavioral and informational problems. From the systemic point of view, this situation gets even worse when the company does not present organizational boundaries and a cohesive identification for their stakeholders. Thus, European countries have some special financial lines in order to help the development of micro credit in Latin communities in an attempt to help the local economy. However, institutions like Caixa dos Andes in Peru present management problems when dealing with this complexity. Based on this, how can the systemic eye help in the diagnosis of soft problems of a Peruvian financial company? This study aims to diagnose soft problems of a Peruvian financial company based on soft variables like identity, communication and autonomy and also intends to identify possible ways to redesign its basic framework. The (VSM--Viable System Model) method from Beer (1967), applied in this diagnostic study, was used in a practical way as a management tool for organizations` analysis and planning. By describing the VSM`s five systems, the creation of a systemic vision or a total vision is possible, showing the organization`s complexity from the inside. Some company`s soft problems like double control, inefficient use of physical and human resources, low information flows, slowness, etc. The VSM presented an organizational diagnosis indicating effective solutions that do integrate its five systems.

Accumulation and Gaps in the Research on Argentine Rock

Based on a comprehensive study in research centers and libraries, a panorama of the critical response to Argentine rock in academic circles has been traced in various fields of knowledge. Research works including books, trade magazines, and academic papers on this musical movement spanning four decades have been consulted. The results show that the criticism has generated a ""developing tradition"" around the movement, mainly in the Social and Communication Sciences, and it has presented the following predominant traits: approaching rock essentially as a determinant of ""social identities""; periodization in the genre according to political regime: and analysis of the lyrics based solely on content. These traits contribute to a delimitation of rock as an exclusive phenomenon of the mass media, which relegates to secondary importance its aesthetic function and its relationship with other artistic series. Furthermore, we have observed a scarcity of approaches to rock lyrics as a linguistic-discursive surface.

ISPRM`S WAY FORWARD

This paper outlines approaches to developing the International Society of Physical and Rehabilitation Medicine (ISPRM) and addresses many current challenges Most importantly, these approaches provide the basis for ISPRM to develop its leadership role within the field of Physical and Rehabilitation Medicine (PRM) and in relation to the World Health Organization (WHO) and the United Nations (UN) system at large. They also address a number of specific critiques of the current situation. A positioning of ISPRM within the world architecture of the UN and WHO systems, as well as the consideration and fostering of respective emerging regional PRM societies, is central to establishing networking connections at different levels of the world society. Yearly congresses, possibly in co-operation with a regional society, based on a defined regional rotation, are suggested. Thus, frustration with the current bidding system for a biennial congress and an intermediate meeting could be overcome. Yearly congresses are also an important step towards increasing the organization`s funding base, and hence the possibility to expand the functions of ISPRM`s central office. ISPRM`s envisioned leadership role in the context of an international web of PRM journals complementing the formally defined official journal of ISPRM, regional societies and so forth, is an inclusive rather than exclusive approach that contributes to the development of PRM journals worldwide. An important prerequisite for the further development of ISPRM is the expansion and bureaucratization of its Central Office, adding professionalism and systematic allocation of resources to the strengths of the voluntary engagement of individual PRM doctors.

Synthetic nanoemulsion resembling a protein-free model of 7-ketocholesterol containing low density lipoprotein: In vitro and in vivo studies

7-ketocholesterol (7-KC) differs from cholesterol by a functional ketone group at C7. It is an oxygenated cholesterol derivative (oxysterol), commonly present in oxidized low-density lipoprotein (LDL). Oxysterols are generated and participate in several physiologic and pathophysiologic processes. For instance, the cytotoxic effects of oxidized LDL have been widely attributed to bioactive compounds like oxysterols. The toxicity is in part due to 7-KC. Here we aimed to demonstrate the possibility of incorporating 7-KC into the synthetic nanoemulsion LDE, which resembles LDL in composition and behavior. This would provide a suitable artificial particle resembling LDL to study 7-KC metabolism. We were able to incorporate 7-KC in several amounts into LDE. The incorporation was evaluated and confirmed by several methods, including gel filtration chromatography, using radiolabeled lipids. The incorporation did not change the main lipid composition characteristics of the new nanoparticle. Particle sizes were also evaluated and did not differ from LDE. In vivo studies were performed by injecting the nanoemulsion into mice. The plasma kinetics and the targeted organs were the same as described for LDE. Therefore, 7-KC-LDE maintains composition, size and some functional characteristics of LDE and could be used in experiments dealing with 7-ketocholesterol metabolism in lipoproteins.

Plasma Osteopontin Levels in Patients With Head and Neck Cancer Undergoing Chemoradiotherapy

Objectives: To explore the prognostic role of plasma levels of osteopontin (OPN), a phosphoglycoprotein with adhesive properties, in patients with head and neck squamous cell carcinoma (HNSCC) undergoing concomitant chemoradiotherapy. Previous studies have proposed OPN level as a prognostic factor in several cancers. Design: Prospective analysis of plasma OPN levels, before and within 12 weeks after treatment, in a cohort of patients with HNSCC undergoing platinum-based chemoradiotherapy at our center. Setting: Academic center. Patients: Sixty-nine patients diagnosed as having HNSCC. Interventions: Plasma levels of OPN were assessed before the start and after the conclusion of chemoradiotherapy by using an enzyme-linked immunosorbency assay kit. Chemoradiotherapy was exclusive (n = 52) or adjuvant to surgery (n = 17). Main Outcome Measures: Levels of OPN were correlated with clinicopathological characteristics, to treatment, and overall survival. Results: Pretreatment plasma OPN levels were higher in patients with advanced T and N stages compared with patients with early stages (P = .009 and .07, respectively). Mean (SD) plasma levels of OPN measured before (102.5 [68.1] ng/mL) and after (104.0 [53.6] ng/mL) treatment did not differ (P = .18, paired t test). Pretreatment and posttreatment levels of OPN were lower in patients who achieved a complete response compared with those who failed to respond (75.0 [41.5] vs 131.2 [82.9] ng/mL [P = .005] and 86.8 [40.5] vs 141.6 [58.4] ng/mL [P = .004], respectively). Patients with high pretreatment OPN levels (> 82.1 ng/mL) had shorter survival time (P < .001). Posttreatment OPN levels were marginally (P = .10) associated with survival time in univariate analysis. Conclusions: In patients with HNSCC undergoing chemoradiotherapy, a low pretreatment plasma OPN level is associated with treatment response and better survival. Modulation of OPN levels by chemoradiotherapy may also be associated with outcome. Further studies with serial measurement of OPN levels are warranted in these patients.

Experimental models of sepsis and their clinical relevance

Sepsis remains a major cause of morbidity and mortality mainly because of sepsis-induced multiple organ dysfunction. In contrast to preclinical studies, most clinical trials of promising new treatment strategies for sepsis have failed to demonstrate efficacy. Although many reasons could account for this discrepancy, the misinterpretation of preclinical data obtained from experimental studies and especially the use of animal models that do not adequately mimic human sepsis may have been contributing factors. In this review, the potentials and limitations of various animal models of sepsis are discussed to clarify to which extent these findings are relevant to human sepsis. Such models include intravascular infusion of endotoxin or live bacteria, bacterial peritonitis, cecal ligation and perforation, soft tissue infection, pneumonia or meningitis models using different animal species including rats, mice, rabbits, dogs, pigs, sheep, and nonhuman primates. Despite several limitations, animal models remain essential in the development of all new therapies for sepsis and septic shock because they provide fundamental information about the pharmacokinetics, toxicity, and mechanism of drug action that cannot be replaced by other methods. New therapeutic agents should be studied in infection models, even after the initiation of the septic process. Furthermore, debility conditions need to be reproduced to avoid the exclusive use of healthy animals, which often do not represent the human septic patient.