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.

Defining functional urban regions in Bahia, Brazil, using roadway coverage and population density variables

The concept of Functional Urban Regions (FURs), also called Metropolitan Regions (MRs), is not simple. It is clear, though, that they are not simply a combination of adjacent municipalities or areas. Different methods can be used for their definition. However, especially in developing countries, the application of some methods is not possible, due to the unavailability of detailed data. Alternative approaches have been developed based on spatial analysis methods and using variables extracted from available data. The objective of this study is to compare the results of two spatial analysis methods exploring two variables: population density and an indicator of transport infrastructure supply. The first method regards Exploratory Spatial Data Analyses tools, which define uniform regions based on specific variables. The second method used the same variables and the spatial analysis technique available in the computer program SKATER - Spatial 'K'luster Analysis by Tree Edge Removal. Assuming that those classifications of regions with similar characteristics can be used for identifying potential FURS, the results of all analyses were compared with one another and with the 'official' MR. A combined approach was also considered for comparison, but none of the results match the existing MR boundaries, what challenges the official definitions. (C) 2014 Elsevier Ltd. All rights reserved.

Density functional theory and ab initio molecular dynamics study of NO adsorption on Pd(111) and Pt(111) surfaces

The origin of the unique geometry for nitric oxide (NO) adsorption on Pd(111) and Pt(111) surfaces as well as the effect of temperature were studied by density functional theory calculations and ab initio molecular dynamics at finite temperature. We found that at low coverage, the adsorption geometry is determined by electronic interactions, depending sensitively on the adsorption sites and coverages, and the effect of temperature on geometries is significant. At coverage of 0.25 monolayer (ML), adsorbed NO at hollow sites prefer an upright configuration, while NO adsorbed at top sites prefer a tilting configuration. With increase in the coverage up to 0.50 ML, the enhanced steric repulsion lead to the tilting of hollow NO. We found that the tilting was enhanced by the thermal effects. At coverage of 0.75 ML with p(2 x 2)-3NO(fcc+hcp+top) structure, we found that there was no preferential orientation for tilted top NO. The interplay of the orbital hybridization, thermal effects, steric repulsion, and their effects on the adsorption geometries were highlighted at the end.

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.

The InterPro Database, 2003 brings increased coverage and new features.

InterPro, an integrated documentation resource of protein families, domains and functional sites, was created in 1999 as a means of amalgamating the major protein signature databases into one comprehensive resource. PROSITE, Pfam, PRINTS, ProDom, SMART and TIGRFAMs have been manually integrated and curated and are available in InterPro for text- and sequence-based searching. The results are provided in a single format that rationalises the results that would be obtained by searching the member databases individually. The latest release of InterPro contains 5629 entries describing 4280 families, 1239 domains, 95 repeats and 15 post-translational modifications. Currently, the combined signatures in InterPro cover more than 74% of all proteins in SWISS-PROT and TrEMBL, an increase of nearly 15% since the inception of InterPro. New features of the database include improved searching capabilities and enhanced graphical user interfaces for visualisation of the data. The database is available via a webserver (http://www.ebi.ac.uk/interpro) and anonymous FTP (ftp://ftp.ebi.ac.uk/pub/databases/interpro).

Investigation of high-resolution functional magnetic resonance imaging by means of surface and array radiofrequency coils at 7 T.

In this investigation, high-resolution, 1x1x1-mm(3) functional magnetic resonance imaging (fMRI) at 7 T is performed using a multichannel array head coil and a surface coil approach. Scan geometry was optimized for each coil separately to exploit the strengths of both coils. Acquisitions with the surface coil focused on partial brain coverage, while whole-brain coverage fMRI experiments were performed with the array head coil. BOLD sensitivity in the occipital lobe was found to be higher with the surface coil than with the head array, suggesting that restriction of signal detection to the area of interest may be beneficial for localized activation studies. Performing independent component analysis (ICA) decomposition of the fMRI data, we consistently detected BOLD signal changes and resting state networks. In the surface coil data, a small negative BOLD response could be detected in these resting state network areas. Also in the data acquired with the surface coil, two distinct components of the positive BOLD signal were consistently observed. These two components were tentatively assigned to tissue and venous signal changes.

When Langmuir is too simple: H2 dissociation on Pd(111) at high coverage

Recent experiments of H2 adsorption on Pd(111) [T. Mitsui et al., Nature (London) 422, 705 (2003)] have questioned the classical Langmuir picture of second order adsorption kinetics at high surface coverage requiring pairs of empty sites for the dissociative chemisorption. Experiments find that at least three empty sites are needed. Through density functional theory, we find that H2 dissociation is favored on ensembles of sites that involve a Pd atom with no direct interaction with adsorbed hydrogen. Such active sites are formed by aggregation of at least 3 H-free sites revealing the complex structure of the "active sites."

Density, proportion, and dendritic coverage of retinal ganglion cells of the common marmoset (Callithrix jacchus jacchus)

We performed a quantitative analysis of M and P cell mosaics of the common-marmoset retina. Ganglion cells were labeled retrogradely from optic nerve deposits of Biocytin. The labeling was visualized using horseradish peroxidase (HRP) histochemistry and 3-3'diaminobenzidine as chromogen. M and P cells were morphologically similar to those found in Old- and New-World primates. Measurements were performed on well-stained cells from 4 retinas of different animals. We analyzed separate mosaics for inner and outer M and P cells at increasing distances from the fovea (2.5-9 mm of eccentricity) to estimate cell density, proportion, and dendritic coverage. M cell density decreased towards the retinal periphery in all quadrants. M cell density was higher in the nasal quadrant than in other retinal regions at similar eccentricities, reaching about 740 cells/mm² at 2.5 mm of temporal eccentricity, and representing 8-14% of all ganglion cells. P cell density increased from peripheral to more central regions, reaching about 5540 cells/mm² at 2.5 mm of temporal eccentricity. P cells represented a smaller proportion of all ganglion cells in the nasal quadrant than in other quadrants, and their numbers increased towards central retinal regions. The M cell coverage factor ranged from 5 to 12 and the P cell coverage factor ranged from 1 to 3 in the nasal quadrant and from 5 to 12 in the other quadrants. These results show that central and peripheral retinal regions differ in terms of cell class proportions and dendritic coverage, and their properties do not result from simply scaling down cell density. Therefore, differences in functional properties between central and peripheral vision should take these distinct regional retinal characteristics into account.

Sol-Gel Alumina Nano Composites for Functional Applications

The thesis entitled "Sol-Gel Alumina Nano Composites for Functional Applications" investigate sol-gel methods of synthesis of alumina nanocomposites special reference to alumina-aluminium titanate and alumina-lanthanum phosphate composites. The functional properties such as thermal expansion coefficient and thermal shock resistance, machinability of composites as well as thermal protection are highlighted in addition to novel approach in synthesis of composites.A general introduction of alumina matrix composites materials, followed by brief coverage of alumina-aluminium titanate and alumina-lanthanum phosphate composites is highlight of the first chapter. The second chapter deals with the sol-gel synthesis of aluminium titanate and alumina-aluminium titanate composite. The synthesis of machinable substrate, based on alumina and lanthanum phosphate forms the basis of the third chapter. The fourth chapter describes the sol-gel coating of mullite on SiC substrate for the possible gas filtration application.

Coverage-dependent molecular tilt of carbon monoxide chemisorbed on Pt{110}: A combined LEED and DFT structural analysis

The adsorption of carbon monoxide on the Pt{110} surface at coverages of 0.5 ML and 1.0 ML was investigated using quantitative low-energy electron diffraction (LEED IV) and density-functional theory (DFT). At 0.5 ML CO lifts the reconstruction of the clean surface but does not form an ordered overlayer. At the saturation coverage, 1.0 ML, a well-ordered p(2×1) superstructure with glide line symmetry is formed. It was confirmed that the CO molecules adsorb on top of the Pt atoms in the top-most substrate layer with the molecular axes tilted by ±22° with respect to the surface normal in alternating directions away from the close packed rows of Pt atoms. This is accompanied by significant lateral shifts of 0.55 Å away from the atop sites in the same direction as the tilt. The top-most substrate layer relaxes inwards by −4% with respect to the bulk-terminated atom positions, while the consecutive layers only show minor relaxations. Despite the lack of long-range order in the 0.5 ML CO layer it was possible to determine key structural parameters by LEED IV using only the intensities of the integer-order spots. At this coverage CO also adsorbs on atop sites with the molecular axis closer to the surface normal (b10°). The average substrate relaxations in each layer are similar for both coverages and consistent with DFT calculations performed for a variety of ordered structures with coverages of 1.0 ML and 0.5 ML.

Density, proportion, and dendritic coverage of retinal ganglion cells of the common marmoset (Callithrix jacchus jacchus)

We performed a quantitative analysis of M and P cell mosaics of the common-marmoset retina. Ganglion cells were labeled retrogradely from optic nerve deposits of Biocytin. The labeling was visualized using horseradish peroxidase (HRP) histochemistry and 3-3'diaminobenzidine as chromogen. M and P cells were morphologically similar to those found in Old- and New-World primates. Measurements were performed on well-stained cells from 4 retinas of different animals. We analyzed separate mosaics for inner and outer M and P cells at increasing distances from the fovea (2.5-9 mm of eccentricity) to estimate cell density, proportion, and dendritic coverage. M cell density decreased towards the retinal periphery in all quadrants. M cell density was higher in the nasal quadrant than in other retinal regions at similar eccentricities, reaching about 740 cells/mm2 at 2.5 mm of temporal eccentricity, and representing 8-14% of all ganglion cells. P cell density increased from peripheral to more central regions, reaching about 5540 cells/mm2 at 2.5 mm of temporal eccentricity. P cells represented a smaller proportion of all ganglion cells in the nasal quadrant than in other quadrants, and their numbers increased towards central retinal regions. The M cell coverage factor ranged from 5 to 12 and the P cell coverage factor ranged from 1 to 3 in the nasal quadrant and from 5 to 12 in the other quadrants. These results show that central and peripheral retinal regions differ in terms of cell class proportions and dendritic coverage, and their properties do not result from simply scaling down cell density. Therefore, differences in functional properties between central and peripheral vision should take these distinct regional retinal characteristics into account.

Interactions between 1-butyl-3-methylimidazolium tetrafluoroborate ionic liquid and gamma-Al2O3 (100) surface calculated by density functional theory

The main aim of this work is to investigate the 1-butyl-3-methylimidazolium tetrafluoroborate ([C4C1Im]+[BF4]-) ionic liquid (IL) adsorption on the gamma-Al2O3 (100) by density functional theory calculations to try to rationalize the adsorption as an electrostatic phenomenon. Optimized geometries and interaction energies of IL one-monolayer on the gamma-Al2O3 were obtained on high surface coverage (one cationanion pair per 94.96 nm2). A study of dispersion force was made to estimate its contribution to the adsorption. Overall, the process is ruled by electrostatic interaction between ions and surface. Adsorption of the anion [BF4]- and cation [C4C1Im]+ was also studied by Bader charge analysis and charge density difference for supported and unsupported situations. It is suggested that the IL ions have their charges maintained with significant anion cloud polarization inward to the acid aluminum sites. (c) 2012 Wiley Periodicals, Inc.

Ethanol and Water Adsorption on Close-Packed 3d, 4d, and 5d Transition-Metal Surfaces: A Density Functional Theory Investigation with van der Waals Correction

Nowadays, there is a great interest in the economic success of direct ethanol fuel cells; however, our atomistic understanding of the designing of stable and low-cost catalysts for the steam reforming of ethanol is still far from satisfactory, in particular due to the large number of undesirable intermediates. In this study, we will report a first-principles investigation of the adsorption properties of ethanol and water at low coverage on close-packed transition-metal (TM) surfaces, namely, Fe(110), Co(0001), Ni(111), Cu(111), Ru(0001), Rh(111), Pd(111), Ag(111), Os(0001), Ir(111), Pt(111), and Au(111), employing density functional theory (DFT) calculations. We employed the generalized gradient approximation with the formulation proposed by Perdew, Burke, and Erzenholf (PBE) to the exchange correlation functional and the empirical correction proposed by S. Grimme (DFT+D3) for the van der Waals correction. We found that both adsorbates binds preferentially near or on the on top sites of the TM surfaces through the 0 atoms. The PBE adsorption energies of ethanol and water decreases almost linearly with the increased occupation of the 4d and 5d d-band, while there is a deviation for the 3d systems. The van der Waals correction affects the linear behavior and increases the adsorption energy for both adsorbates, which is expected as the van der Waals energy due to the correlation effects is strongly underestimated by DFT-PBE for weak interacting systems. The geometric parameters for water/TM are not affected by the van der Waals correction, i.e., both DFT and DFT+D3 yield an almost parallel orientation for water on the TM surfaces; however, DFT+D3 changes drastically the ethanol orientation. For example, DFT yields an almost perpendicular orientation of the C-C bond to the TM surface, while the C-C bond is almost parallel to the surface using DFT +D3 for all systems, except for ethanol/Fe(110). Thus, the van der Waals correction decreases the distance of the C atoms to the TM surfaces, which might contribute to break the C-C bond. The work function decreases upon the adsorption of ethanol and water, and both follow the same trends, however, with different magnitude (larger for ethanol/TM) due to the weak binding of water to the surface. The electron density increases mainly in the region between the topmost layer and the adsorbates, which explains the reduction of the substrate work function.

Functional characterization of Streptococcus pyogenes pili

Group A Streptococcus is a Gram-positive human pathogen able to colonize both upper respiratory tract and skin. GAS is responsible for several acute diseases and autoimmune sequelae that account for half a million deaths worldwide every year (Cunningham et al., 2000). As other bacteria, GAS infections requires the capacity of the pathogen to adhere to host tissues and to form cell aggregates. The ability to persist in distinct host niches like the throat and the skin and to trigger infections is associated with the expression of different GAS virulence factors. GAS pili has been described as important virulence factors encoded by different FCT-operon regions. Based on this information, we decided to study the possible effect of environmental conditions that could regulate the pili expression. In this study we reported the influence of pH environment variations in biofilm formation for strains pertaining to a panel of different GAS FCT-types. The biofilm formation was promoted, excepted in the FCT-1 strains, by a changing in pH from physiological to acidic condition of growth in in vitro biofilm assay. By analyzing the possible association between biofilm formation and pH dependence, we have found that in FCT-2 and FCT-3 strains, the biofilm is promoted by pH reduction leading to an increase of pili expression. These data confirmed a direct link between pH dependent pilus expression and biofilm formation in GAS. As pili are a multi component structure we decided to investigate the functional role of one of its subunits, the AP-1 protein. AP-1 is highly conserved through the different FCT-types and suggests a possible essential role for the pili function. We focused our attention on the AP-1 protein encoded by the FCT-1 strains (M6). In particular this AP-1 protein contains the von Willebrand Factor A (VWFA) domain, which share an homology with the human VWFA domain that has been reported to be involved in adhesion process. We have demonstrated that the AP-1 protein binds to human epithelial cells by its VWFA domain, whereas the biofilm formation is mediated by the N-terminal region of AP-1 protein. Moreover, analyzing the importance of AP-1 in in vivo experiments we found a major capacity of tissue dissemination for the wild-type strain compared to the isogenic AP-1 deletion mutant. Pili have been also reported as potential vaccine candidates against Gram positive bacteria. For these reason we decided to investigate the relationship between cross reaction of sera raised against different GAS and GBS pilin subunits and the presence of a conserved Cna_B domain, in different pilin components. Our idea was to investigate if, using pilus conserved domains, a broad coverage vaccine against streptococcal infection could be possible.

Analysis of the immunological and functional features of the Neisserial Heparin Binding Antigen (NHBA)

Neisserial Heparin Binding Antigen (NHBA) is a surface-exposed lipoprotein ubiquitously expressed by genetically diverse Neisseria meningitidis strains and is an antigen of the multicomponent protein-based 4CMenB vaccine, able to induce bactericidal antibodies in humans and to bind heparin-like molecules. The aim of this study is to characterize the immunological and functional properties of NHBA. To evaluate immunogenicity and the contribution of aminoacid sequence variability to vaccine coverage, we constructed recombinant isogenic strains that are susceptible to bactericidal killing only by anti-NHBA antibodies and engineered them to express equal levels of selected NHBA peptides. In these recombinant strains, we observed different titres associated with the different peptide variants. These recombinant strains were then further engineered to express NHBA chimeric proteins to investigate the regions important for immunogenicity. In natural strains, anti-NHBA antibodies were found to be cross-protective against strains expressing different peptides. To investigate the functional properties of this antigen, the recombinant purified NHBA protein was tested in in vitro binding studies and was found to be able to bind epithelial cells. The binding was abolished when cells were treated specifically with heparinase III, suggesting that the interaction with the cells is mediated by heparan sulfate proteoglycans (HSPG). Mutation of the Arg-rich tract of NHBA abrogated the binding, confirming the importance of this region in mediating the binding to heparin-like molecules. In a panel of N. meningitidis strains, the deletion of nhba resulted in a reduction of adhesion with respect to each isogenic wild type strain. Furthermore, the adhesion of the wild-type strain was prevented by using anti-NHBA polyclonal sera, demonstrating the specificity of the interaction. These results suggest that NHBA could be a novel meningococcal adhesin contributing to host-cell interaction. Moreover, we analysed NHBA NalP-mediated cleavage in different NHBA peptides and showed that not all NHBA peptides are cleaved.