MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.

Successes in South Carolina : S.C. Smoking Prevention and Cessation Program

This monthly update describes different aspects of smoking cessation and prevention programs in South Carolina. It gives statistics and results of the various programs such as investment of cigarette tax funds offered in South Carolina.

Is Misión Milagro an effective program to prevent blindness in Latin America?

397

Teste "W" 20 metros : proposta computadorizada para analise da performance especifica em atletas de voleibol

Universidade Estadual de Campinas . Faculdade de Educação Física

Atividade fisica e a relação com a qualidade de vida, ansiedade e depressão em pessoas com sequelas de acidente vascular cerebral isquemico (AVCI)/ c Alberto Martins da Costa

Universidade Estadual de Campinas . Faculdade de Educação Física

A systematic review of diapoma (teleostei: characiformes: characidae: stevardiinae: diapomini) with descriptions of two new species from southern Brazil

Diapoma is reviewed and four species are recognized: (1) Diapoma thauma, new species, from streams of the rio Jacuí basin, state of Rio Grande do Sul; (2) D. pyrrhopteryx, new species collected from the rio Canoas and streams flowing into this basin in the states of Rio Grande do Sul and Santa Catarina, Brazil; (3) Diapoma terofali, from streams flowing into rio Uruguay in Uruguay and Rio Grande do Sul, Brazil and streams flowing into rio de la Plata, Argentina; and (4) Diapoma speculiferum, from lowland coastal streams in Rio Grande do Sul, Brazil and Uruguay. Diapoma pyrrhopteryx possess the posteroventral opercular elongation typical of D. speculiferum, type species of the genus, but which is absent in D. thauma and D. terofali. Nonetheless, all the diapomin species have the caudal pouch organ about equally developed in both sexes and the dorsal portion of the pouch opening bordered by a series of 3 to 8 elongated scales, the two derived features that characterize the group. The two previously described species, D. speculiferum and D. terofali, are redescribed. Previous hypotheses of relationships among the diapomin genera Planaltina, Diapoma and Acrobrycon are discussed on the basis of preliminary morphological information. It is proposed that the Diapomini is a monophyletic group. An identification key, information on sexual dimorphism, gonad anatomy, reproductive mode and distribution of the species of Diapoma are provided.

Methodology of a nationwide cross-sectional survey of prevalence and epidemiological patterns of hepatitis A, B and C infection in Brazil

Um inquérito de base populacional foi conduzido na população urbana de todas as capitais e do Distrito Federal no Brasil para fornecer informações sobre a prevalência de hepatites virais e fatores de risco, entre 2005 e 2009. Este artigo descreve o delineamento e a metodologia do estudo que envolveu a população com idade entre 5 e 19 anos para hepatite A e 10 a 69 anos para hepatite B e C. As entrevistas e amostras de sangue foram obtidas através de visitas domiciliares e a amostra selecionada a partir de uma amostragem estratificada em múltiplos estágios (por conglomerado) com igual probabilidade para cada domínio de estudo (região e faixa etária). Nacionalmente, 19.280 residências e ~31.000 indivíduos foram selecionados. O tamanho da amostra foi suficiente para detectar uma prevalência em torno de 0,1% e para avaliar os fatores de risco por região. A metodologia apresentou-se viável para distinguir entre diferentes padrões epidemiológicos da hepatite A, B e C. Estes dados serão de valia para a avaliação das políticas de vacinação e para o desenho de estratégias de controle.

Dynamical models for computer viruses propagation

Nowadays, digital computer systems and networks are the main engineering tools, being used in planning, design, operation, and control of all sizes of building, transportation, machinery, business, and life maintaining devices. Consequently, computer viruses became one of the most important sources of uncertainty, contributing to decrease the reliability of vital activities. A lot of antivirus programs have been developed, but they are limited to detecting and removing infections, based on previous knowledge of the virus code. In spite of having good adaptation capability, these programs work just as vaccines against diseases and are not able to prevent new infections based on the network state. Here, a trial on modeling computer viruses propagation dynamics relates it to other notable events occurring in the network permitting to establish preventive policies in the network management. Data from three different viruses are collected in the Internet and two different identification techniques, autoregressive and Fourier analyses, are applied showing that it is possible to forecast the dynamics of a new virus propagation by using the data collected from other viruses that formerly infected the network. Copyright (c) 2008 J. R. C. Piqueira and F. B. Cesar. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Oral Health Promotion Through an Online Training Program for Medical Students

The objective of this study was to compare the impact on knowledge and counseling skills of face-to-face and Internet-based oral health training programs on medical students. Participants consisted of 148 (82 percent) of the 180 invited students attending their fifth academic year at the Faculty of Medicine, University of Sao Paulo, Brasil, in 2007. The interventions took place during a three-month training period in the clinical Center for Health Promotion, which comprised part of a clerkship in Internal Medicine. The students were divided into four groups: 1) Control Group (Control), with basic intervention; 2) Brochure Group (Br), with basic intervention plus complete brochure with oral health themes; 3) Cybertutor Group (Cy), with basic intervention plus access to an Internet-based training program about oral health themes; and 4) Cybertutor + Contact Group (Cy+C), the same as Cy plus brief proactive contact with a tutor. The impact of these interventions on student knowledge was measured with pre- and post assessments, and student skills in asking and counseling about oral health were assessed with an objective structured clinical examination (OSCE). Multivariate logistic regression models were applied to identify the odds ratios of scoring above Control's medians on the final assessment and the OSCE. In the results, Cy+C performed significantly better than Control on both the final assessment (OR 9.4; 95% CI 2.7-32.8) and the OSCE (OR 5.6; 95% CI 1.9-16.3) and outperformed all the other groups. The Cy+C group showed the most significant increase in knowledge and the best skills in asking and counseling about oral health.

Biologically Plausible Connectionist Prediction of Natural Language Thematic Relations

In Natural Language Processing (NLP) symbolic systems, several linguistic phenomena, for instance, the thematic role relationships between sentence constituents, such as AGENT, PATIENT, and LOCATION, can be accounted for by the employment of a rule-based grammar. Another approach to NLP concerns the use of the connectionist model, which has the benefits of learning, generalization and fault tolerance, among others. A third option merges the two previous approaches into a hybrid one: a symbolic thematic theory is used to supply the connectionist network with initial knowledge. Inspired on neuroscience, it is proposed a symbolic-connectionist hybrid system called BIO theta PRED (BIOlogically plausible thematic (theta) symbolic-connectionist PREDictor), designed to reveal the thematic grid assigned to a sentence. Its connectionist architecture comprises, as input, a featural representation of the words (based on the verb/noun WordNet classification and on the classical semantic microfeature representation), and, as output, the thematic grid assigned to the sentence. BIO theta PRED is designed to ""predict"" thematic (semantic) roles assigned to words in a sentence context, employing biologically inspired training algorithm and architecture, and adopting a psycholinguistic view of thematic theory.

Use of Medical Subject Headings (MeSH) in Portuguese for categorizing web-based healthcare content

Introduction: Internet users are increasingly using the worldwide web to search for information relating to their health. This situation makes it necessary to create specialized tools capable of supporting users in their searches. Objective: To apply and compare strategies that were developed to investigate the use of the Portuguese version of Medical Subject Headings (MeSH) for constructing an automated classifier for Brazilian Portuguese-language web-based content within or outside of the field of healthcare, focusing on the lay public. Methods: 3658 Brazilian web pages were used to train the classifier and 606 Brazilian web pages were used to validate it. The strategies proposed were constructed using content-based vector methods for text classification, such that Naive Bayes was used for the task of classifying vector patterns with characteristics obtained through the proposed strategies. Results: A strategy named InDeCS was developed specifically to adapt MeSH for the problem that was put forward. This approach achieved better accuracy for this pattern classification task (0.94 sensitivity, specificity and area under the ROC curve). Conclusions: Because of the significant results achieved by InDeCS, this tool has been successfully applied to the Brazilian healthcare search portal known as Busca Saude. Furthermore, it could be shown that MeSH presents important results when used for the task of classifying web-based content focusing on the lay public. It was also possible to show from this study that MeSH was able to map out mutable non-deterministic characteristics of the web. (c) 2010 Elsevier Inc. All rights reserved.

Friere`s Dialogic Concept Enables Family Health Program Teams to Incorporate Health Promotion

Objective The study analyzes the possibility of incorporating health promotion measures into the work processes of Family Health Program teams at a primary health care clinic in Brazil. Design and Sample We used the participatory research concept developed in 1968 by Freire. The study sample comprised the end-users of the health care system, together with 3 multidisciplinary teams. A total of 77 health care users and 55 health professionals participated in the study. Measures Culture circles composed of health care professionals, and users from different areas investigated generative topics, encoded/decoded topics, and engaged in critical probing for clarification. Topics affecting quality of life and health were heuristically evaluated. Results Although most topics were related to changing the focus of health care facilities, some were related to subsidizing community-based interventions, improving environmental strategies, individual skills, and public policies. Incorporating the novel health promotion measures and creating an expanded full-treatment clinic are important steps toward that goal. Conclusions Topics that can stimulate dialogue among the members of the culture circles include creating an environment of closer cultural contact, with repercussions for work processes, family health models, and general health models, as well as the inclusion of social aspects in the decision-making processes related to health issues that affect the living conditions of the population.

Developing and implementing an open and non-proprietary device description for FOUNDATION fieldbus based on software standards

Support for interoperability and interchangeability of software components which are part of a fieldbus automation system relies on the definition of open architectures, most of them involving proprietary technologies. Concurrently, standard, open and non-proprietary technologies, such as XML, SOAP, Web Services and the like, have greatly evolved and been diffused in the computing area. This article presents a FOUNDATION fieldbus (TM) device description technology named Open-EDD, based on XML and other related technologies (XLST, DOM using Xerces implementation, OO, XMIL Schema), proposing an open and nonproprietary alternative to the EDD (Electronic Device Description). This initial proposal includes defining Open-EDDML as the programming language of the technology in the FOUNDATION fieldbus (TM) protocol, implementing a compiler and a parser, and finally, integrating and testing the new technology using field devices and a commercial fieldbus configurator. This study attests that this new technology is feasible and can be applied to other configurators or HMI applications used in fieldbus automation systems. (c) 2008 Elsevier B.V. All rights reserved.

A solid-like FEM for geometrically non-linear 3D frames

This study presents a solid-like finite element formulation to solve geometric non-linear three-dimensional inhomogeneous frames. To achieve the desired representation, unconstrained vectors are used instead of the classic rigid director triad; as a consequence, the resulting formulation does not use finite rotation schemes. High order curved elements with any cross section are developed using a full three-dimensional constitutive elastic relation. Warping and variable thickness strain modes are introduced to avoid locking. The warping mode is solved numerically in FEM pre-processing computational code, which is coupled to the main program. The extra calculations are relatively small when the number of finite elements. with the same cross section, increases. The warping mode is based on a 2D free torsion (Saint-Venant) problem that considers inhomogeneous material. A scheme that automatically generates shape functions and its derivatives allow the use of any degree of approximation for the developed frame element. General examples are solved to check the objectivity, path independence, locking free behavior, generality and accuracy of the proposed formulation. (C) 2009 Elsevier B.V. All rights reserved.