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.

The new research centre of the Brazilian Petroleum Company in Rio de Janeiro, Brazil: The achievements in the thermal performance of air-conditioned buildings in the tropics

The study on the thermal performance of the air-conditioned buildings of the new research centre of the Brazilian Petroleum Company, in the tropical climate of Rio de Janeiro, was part of a bigger research and consultancy, project involving environmental issues. The architectural design was the subject of a national competition in 2004, encompassing over 100,000 m(2). According to the design brief, out of the 10 buildings of the new research centre, 7 have to be either completely or partially air-conditioned, due to specific occupation requirements. The challenge for better thermal performance was related to systems` energy efficiency, to the introduction of natural ventilation and to the notion of adaptive comfort, which were verified with the support of thermal dynamic simulations. At the early stages of the assessments, the potential for natural ventilation in the working spaces considering the mixed-mode strategy achieved 30% of occupation hours. However, the development of the design project led to fully air-conditioned working spaces, due to users` references regarding the conventional culture of the office environment. Nevertheless, the overall architectural approach in accordance to the climatic conditions still showed a contribution to the buildings` energy efficiency. (C) 2008 Elsevier B.V. All rights reserved.

Electrospray MS-based characterization of beta-carbolines - mutagenic constituents of thermally processed meat

The beta-carbolines 1-methyl-9H-pyrido [3,4-b]indole and 9H-pyrido[3,4b]indole have been implicated as having causative roles in a number of human diseases, such as Parkinson`s disease and cancer. As they can be formed during the heating of protein-rich food, a number of analytical methodologies have been proposed for their detection and quantification in foodstuff For this purpose, LC-MS and LC-MS/MS have emerged as the most specific analytical methods, and the quantification is based on the occurrence of unusual ions, such as [M+H-(H(center dot))](+) and [M + H-2H](+). In this study, we have investigated the formation of these ions by accurate-mass electrospray MS/MS and demonstrated that these ions are formed from gas-phase ion-molecule reactions between water vapor present in the collision cell and the protonated molecule of 1-methyl-9H-pyrido [3,4-b]indole and 9H-pyrido[3,4b]indole. Although this reaction has been previously described for heterocyclic amine ions, it has been overlooked in the most of recent LC-MS and LC-MS/MS studies, and no complete data of the fragmentation are reported. Our results demonstrate that additional attention should be given with respect to eliminating water vapor residues in the mass spectrometer when analysis of beta-carbolines is performed, as this residue may affect the reliability in the results of quantification.

Computer-aided drug design and ADMET predictions for identification and evaluation of novel potential farnesyltransferase inhibitors in cancer therapy

We have used various computational methodologies including molecular dynamics, density functional theory, virtual screening, ADMET predictions and molecular interaction field studies to design and analyze four novel potential inhibitors of farnesyltransferase (FTase). Evaluation of two proposals regarding their drug potential as well as lead compounds have indicated them as novel promising FTase inhibitors, with theoretically interesting pharmacotherapeutic profiles, when Compared to the very active and most cited FTase inhibitors that have activity data reported, which are launched drugs or compounds in clinical tests. One of our two proposals appears to be a more promising drug candidate and FTase inhibitor, but both derivative molecules indicate potentially very good pharmacotherapeutic profiles in comparison with Tipifarnib and Lonafarnib, two reference pharmaceuticals. Two other proposals have been selected with virtual screening approaches and investigated by LIS, which suggest novel and alternatives scaffolds to design future potential FTase inhibitors. Such compounds can be explored as promising molecules to initiate a research protocol in order to discover novel anticancer drug candidates targeting farnesyltransferase, in the fight against cancer. (C) 2009 Elsevier Inc. All rights reserved.

Excised Porcine Cornea Integrity Evaluation in an in vitro Model of Iontophoretic Ocular Research

Background/Aims: It is a challenge to adapt traditional in vitro diffusion experiments to ocular tissue. Thus, the aim of this work was to present experimental evidence on the integrity of the porcine cornea, barrier function and maintenance of electrical properties for 6 h of experiment when the tissue is mounted on an inexpensive and easy-to-use in vitro model for ocular iontophoresis. Methods: A modified Franz diffusion cell containing two ports for the insertion of the electrodes and a receiving compartment that does not need gassing with carbogen was used in the studies. Corneal electron transmission microscopy images were obtained, and diffusion experiments with fluorescent markers were performed to examine the integrity of the barrier function. The preservation of the negatively charged corneal epithelium was verified by the determination of the electro-osmotic flow of a hydrophilic and non-ionized molecule. Results: The diffusion cell was able to maintain the temperature, homogenization, porcine epithelial corneal structure integrity, barrier function and electrical characteristics throughout the 6 h of permeation experiment, without requiring CO(2) gassing when the receiving chamber was filled with 25 m M of HEPES buffer solution. Conclusion: The system described here is inexpensive, easy to handle and reliable as an in vitro model for iontophoretic ocular delivery studies. Copyright (C) 2010 S. Karger AG, Basel

Quality of Reporting of Observational Longitudinal Research

Observational longitudinal research is particularly useful for assessing etiology and prognosis and for providing evidence for clinical decision making. However, there are no structured reporting requirements for studies of this design to assist authors, editors, and readers. The authors developed and tested a checklist of criteria related to threats to the internal and external validity of observational longitudinal studies. The checklist criteria concerned recruitment, data collection, biases, and data analysis and descriptive issues relevant to study rationale, study population, and generalizability. Two raters independently assessed 49 randomly selected articles describing stroke research published from 1999 to 2003 in six journals: American Journal of Epidemiology, Journal of Epidemiology and Community Health, Stroke, Annals of Neurology, Archives of Physical Medicine and Rehabilitation, and American Journal of Physical Medicine and Rehabilitation. On average, 17 of the 33 checklist criteria were reported. Criteria describing the study design were better reported than those related to internal validity. No relation was found between study type (etiologic or prognostic) or word count and quality of reporting. A flow diagram for summarizing participant flow through a study was developed. Editors and authors should consider using a checklist and flow diagram when reporting on observational longitudinal research.

Research Quality, Publications and Impact in Hydraulic Engineering into the 21st Century. Publish or Perish, Commercial versus Open Access, Internet versus Libraries

One of the main objectives of the first International Junior Researcher and Engineer Workshop on Hydraulic Structures is to provide an opportunity for young researchers and engineers to present their research. But a research project is only completed when it has been published and shared with the community. Referees and peer experts play an important role to control the research quality. While some new electronic tools provide further means to disseminate some research information, the quality and impact of the works remain linked with some thorough expert-review process and the publications in international scientific journals and books. Importantly unethical publishing standards are not acceptable and cheating is despicable.

A Research Agenda for Assessing the Potential Contribution of Genomic Medicine to Tobacco Control

This paper identifies research priorities in evaluating the ways in which "genomic medicine"-the use of genetic information to prevent and treat disease-may reduce tobacco-related harm by: (1) assisting more smokers to quit; (2) preventing non-smokers from beginning to smoke tobacco; and (3) reducing the harm caused by tobacco smoking. The method proposed to achieve the first aim is pharmacogenetics", the use of genetic information to optimise the selection of smoking-cessation programmes by screening smokers for polymorphisms that predict responses to different methods of smoking cessation. This method competes with the development of more effective forms of smoking cessation that involve vaccinating smokers against the effects of nicotine and using new pharmaceuticals (such as cannabinoid antagonists and nicotine agonists). The second and third aims are more speculative. They include: screening the population for genetic susceptibility to nicotine dependence and intervening (eg, by vaccinating children and adolescents against the effects of nicotine) to prevent smoking uptake, and screening the population for genetic susceptibility to tobacco-related diseases. A framework is described for future research on these policy options. This includes: epidemiological modelling and economic evaluation to specify the conditions under which these strategies are cost-effective; and social psychological research into the effect of providing genetic information on smokers' preparedness to quit, and the general views of the public on tobacco smoking.

It's all very well, in theory: Theoretical perspectives and their applications in contemporary pedagogical research

Current debates about educational theory are concerned with the relationship between knowledge and power and thereby issues such as who possesses a truth and how have they arrived at it, what questions are important to ask, and how should they best be answered. As such, these debates revolve around questions of preferred, appropriate, and useful theoretical perspectives. This paper overviews the key theoretical perspectives that are currently used in physical education pedagogy research and considers how these inform the questions we ask and shapes the conduct of research. It also addresses what is contested with respect to these perspectives. The paper concludes with some cautions about allegiances to and use of theories in line with concerns for the applicability of educational research to pressing social issues.

Wolbachia: why these bacteria are important to genome research

Intracellular bacteria of the genus Wolbachia were first discovered in mosquitoes in the 1920s. Their superficial similarity to pathogenic rickettsia initially raised interest in them as potential human pathogens. However, injection experiments with mice showed that they were non-pathogenic, and they were subsequently classified as symbionts of insects. Until the 1970s, Wolbachia was considered to infect a limited number of species of mosquitoes. It is now clear that Wolbachia is an extremely common intracellular agent of invertebrates, infecting nearly all the major groups of arthropods and other terrestrial invertebrates. Its wide host range and abundance can be attributed partly to the unusual phenotypes it exerts on the host it infects. These include the induction of parthenogenesis (the production of female offspring from unmated mothers) in certain insects, the feminization of genetic male crustaceans to functional phenotypic females, and the failure of fertilization in hosts when males and females have a different infection status (cytoplasmic incompatibility). All of these phenotypes favor maternal transmission of the intracellular Wolbachia. In the last year, Wolbachia has also been shown to be a widespread symbiont of filarial nematodes. It appears that Wolbachia is needed by the adult worm for normal fertility, indicating that Wolbachia is behaving like a classic mutualist in this case. This discovery exemplifies that the extent of the host range of Wolbachia and its associated phenotypes is still far from fully understood.

Control of vector-borne disease by genetic manipulation of insect populations: technological requirements and research priorities

The possibility of controlling vector-borne disease through the development and release of transgenic insect vectors has recently gained popular support and is being actively pursued by a number of research laboratories around the world. Several technical problems must be solved before such a strategy could be implemented: genes encoding refractory traits (traits that render the insect unable to transmit the pathogen) must be identified, a transformation system for important vector species has to be developed, and a strategy to spread the refractory trait into natural vector populations must be designed. Recent advances in this field of research make it seem likely that this technology will be available in the near future. In this paper we review recent progress in this area as well as argue that care should be taken in selecting the most appropriate disease system with which to first attempt this form of intervention. Much attention is currently being given to the application of this technology to the control of malaria, transmitted by Anopheles gambiae in Africa. While malaria is undoubtedly the most important vector-borne disease in the world and its control should remain an important goal, we maintain that the complex epidemiology of malaria together with the intense transmission rates in Africa may make it unsuitable for the first application of this technology. Diseases such as African trypanosomiasis, transmitted by the tsetse fly, or unstable malaria in India may provide more appropriate initial targets to evaluate the potential of this form of intervention.

Diversity and Emotion: The New Frontiers in Organizational Behavior Research

This article provides a review of recent developments in two topical areas of research in contemporary organizational behavior: diversity and emotions. In the section called “Diversity,”we trace the history of diversity research, explore the definitions and paradigms used in treatments of diversity, and signal new areas of interest. We conclude that organizational behavior in the 21st century is evolving to embrace a more eclectic and holistic view of humans at work. In the section called “Emotions,” we turn our attention to recent developments in the study of emotions in organizations. We identify four major topics: mood theory, emotional labor, affective events theory (AET), and emotional intelligence, and argue that developments in the four domains have significant implications for organizational research, and the progression of the study of organizational behavior. As with the study of diversity, the topic of emotions in the workplace is shaping up as one of the principal areas of development in management thought and practice for the next decade. Finally, we discuss in our conclusion how these two areas are being conceptually integrated, and the implications for management scholarship and research in the contemporary world.

Research, knowledge and design

The discussion about relations between research and design has a number of strands, and presumably motivations. Putting aside the question whether or not design or “creative endeavour” should be counted as research, for reasons to do with institutional recognition or reward, the question remains how, if at all, is design research? This question is unlikely to have attracted much interest but for matters external to Architecture within the modern university. But Architecture as a discipline now needs to understand research much better than in the past when ‘research’ was whatever went on in building science, history or people/environment studies. In this paper, I begin with some common assumptions about design, considered in relation to research, and suggest how the former can constitute or be a mode of the latter. Central to this consideration is an understanding of research as the production of publicly available knowledge. The method is that of conceptual analysis which is much more fruitful than is usually appreciated. This work is part of a larger project in philosophy of design, in roughly the analytical tradition.

Impact of Commercial Search Engines and International Databases on Engineering Teaching and Research

For the last three decades, the engineering higher education and professional environments have been completely transformed by the "electronic/digital information revolution" that has included the introduction of personal computer, the development of email and world wide web, and broadband Internet connections at home. Herein the writer compares the performances of several digital tools with traditional library resources. While new specialised search engines and open access digital repositories may fill a gap between conventional search engines and traditional references, these should be not be confused with real libraries and international scientific databases that encompass textbooks and peer-reviewed scholarly works. An absence of listing in some Internet search listings, databases and repositories is not an indication of standing. Researchers, engineers and academics should remember these key differences in assessing the quality of bibliographic "research" based solely upon Internet searches.