Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Sífilis materna e congênita: ainda um desafio

Este estudo descritivo coletou informações sociodemográficas, obstétricas e relacionadas ao diagnóstico e tratamento da gestante/puérpera e parceiro das 67 gestantes/puérperas notificadas no Sistema Nacional de Agravos de Notificação, usuárias de maternidades públicas do Distrito Federal, Brasil, entre 2009 e 2010. As informações do acompanhamento clínico e laboratorial recebido pela criança vieram do prontuário médico hospitalar, fichas de notificação compulsória e Cartão da Criança. Das gestantes, 41,8% foram adequadamente tratadas, o principal motivo para a inadequação foi a ausência (83,6%) ou inadequação do tratamento do parceiro (88,1%). Mais de um terço necessitou de novo tratamento na maternidade por falta de documentação terapêutica no pré-natal. Dos recém-nascidos com sífilis congênita, 48% fizeram estudo radiográfico, 42% passaram por punção liquórica e 36% deles não receberam qualquer tipo de intervenção. Nota-se, assim, que a qualidade do pré-natal recebido pela gestante não é suficiente para garantir o controle da sífilis congênita e o alcance da meta de incidência da doença.

Ethnoveterinary knowledge and practices at Colares island, Para state, eastern Amazon, Brazil

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

In silico network topology-based prediction of gene essentiality

The identification of genes essential for survival is important for the understanding of the minimal requirements for cellular life and for drug design. As experimental studies with the purpose of building a catalog of essential genes for a given organism are time-consuming and laborious, a computational approach which could predict gene essentiality with high accuracy would be of great value. We present here a novel computational approach, called NTPGE (Network Topology-based Prediction of Gene Essentiality), that relies on the network topology features of a gene to estimate its essentiality. The first step of NTPGE is to construct the integrated molecular network for a given organism comprising protein physical, metabolic and transcriptional regulation interactions. The second step consists in training a decision-tree-based machine-learning algorithm on known essential and non-essential genes of the organism of interest, considering as learning attributes the network topology information for each of these genes. Finally, the decision-tree classifier generated is applied to the set of genes of this organism to estimate essentiality for each gene. We applied the NTPGE approach for discovering the essential genes in Escherichia coli and then assessed its performance. (C) 2007 Elsevier B.V. All rights reserved.

A transcript finishing initiative for closing gaps in the human transcriptome

We report the results of a transcript finishing initiative, undertaken for the purpose of identifying and characterizing novel human transcripts, in which RT-PCR was used to bridge gaps between paired EST Clusters, mapped against the genomic sequence. Each pair of EST Clusters selected for experimental validation was designated a transcript finishing unit (TFU). A total of 489 TFUs were selected for validation, and an overall efficiency of 43.1% was achieved. We generated a total of 59,975 bp of transcribed sequences organized into 432 exons, contributing to the definition of the structure of 211 human transcripts. The structure of several transcripts reported here was confirmed during the course of this project, through the generation of their corresponding full-length cDNA sequences. Nevertheless, for 21% of the validated TFUs, a full-length cDNA sequence is not yet available in public databases, and the structure of 69.2% of these TFUs was not correctly predicted by computer programs. The TF strategy provides a significant contribution to the definition of the complete catalog of human genes and transcripts, because it appears to be particularly useful for identification of low abundance transcripts expressed in a restricted Set of tissues as well as for the delineation of gene boundaries and alternatively spliced isoforms.

Uma proposta de material didático baseado nas espécies de Vochysiaceae existentes em uma trilha no cerrado de Bauru - SP

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Caracterização das perdas e distribuição de cobertura vegetal em colheita mecanizada de soja

O conceito de controle de qualidade nas operações inserido na agricultura é viabilizado por incidir diretamente nos principais objetivos do processo produtivo: retorno econômico e aumento da produtividade. A colheita mecanizada normalmente é realizada sem que haja controle efetivo para que a variabilidade das perdas fique dentro de padrões aceitáveis. Esta pesquisa teve o objetivo de determinar e caracterizar as perdas e a distribuição da cobertura vegetal após a colheita mecanizada da soja, por meio de ferramenta de controle estatístico de processo (cartas de controle). A média da perda de grãos total foi próxima do limite superior aceitável para a cultura da soja, apresentando alta variabilidade entre os pontos, tornando o processo fora de controle. A distribuição de cobertura vegetal manteve-se em processo controlado, com maior variabilidade onde o relevo foi mais inclinado. A utilização das cartas de controle foi eficiente na identificação dos pontos fora de controle e na avaliação da qualidade do processo de colheita.

Contribuições do Seis Sigma: estudos de caso em multinacionais

A literatura sugere que o Seis Sigma trouxe contribuições sob vários aspectos, tanto no âmbito da gestão da qualidade como também da gestão estratégica. No entanto, ainda há certa escassez de informações sobre esse assunto no cenário organizacional brasileiro. Este artigo visa reduzir essa carência da literatura, mostrando uma visão prática sobre as contribuições decorrentes dos investimentos no Seis Sigma para empresas do Brasil. A relevância de requisitos essenciais - como conceito de qualidade; combinação das abordagens estatística e estratégica; sistematização metodológica; formação de especialistas; e gestão de projetos - é discutida tanto em âmbito teórico-conceitual como prático. O método do estudo de caso foi aplicado para obter o embasamento empírico da pesquisa. Os investimentos no Seis Sigma feitos por duas subsidiárias brasileiras de empresas multinacionais norte-americanas (uma de manufatura e uma de serviços) são apresentados e reforçam a relevância dos requisitos supracitados.

Study of denture-induced fibrous hyperplasia cases diagnosed from 1979 to 2001

Objective: the purpose of this research was to study the cases of inflammatory fibrous hyperplasia (IFH) at the Clinic of Semiology, Department of Bioscience and Oral Diagnosis, Sao Jose dos Campos Dental School, State University of São Paulo, Brazil. Methods and materials: A total of 141 clinical file cards indicating a final diagnosis of IFH, from the archives of the Department of Bioscience and Oral Diagnosis and dated from 1979 to 2001, were included in the study. of these files, 50 indicated a diagnosis of denture-induced fibrous hyperplasia. Sex, age, race, duration, and clinical features that confirm their classification in the non-neoplastic proliferating process were analyzed statistically. Results: of the 50 analyzed cases of denture-induced lesion, 22% occurred in men and 78% in women. Patients in the age group of 41 to 50 years presented the highest frequency of the lesion. Conclusions: Inflammatory fibrous hyperplasia occurs more frequently in women (71.63%), and denture-induced lesions appear mainly in patients over 40 years of age (70% of cases). Patients with denture-induced hyperplasia reported pain associated with the lesion (70%).

Cobalt(II) and nickel(II) complexes with djenkolic acid

Cobalt(II) and nickel(II) djenkolates CoC7H12N2O4S2. H2O (I) and NiC7H12N2O4S2. H2O (II) were synthesized by the reaction of potassium djenkolate with the respective chlorides. LR spectra suggested coordination via the COO- and NH2 groups for the ligands in both compounds. Visible absorption spectra confirmed the octahedral structure of the complexes. X-ray powder diffraction patterns were indexed in the orthorhombic and monoclinic unit cells with parameters: a = 11.35, b = 7.35, c = 6.85 Angstrom for I and a = 11.54, b = 7.45, c = 6.90 Angstrom, beta = 94.95 degrees for II.

Insecticide selectivity to two species of Trichogramma in three different hosts, as determined by IOBC/WPRS methodology

BACKGROUND: The use of Trichogramma species is a potential key strategy in integrated pest management. However, its effectiveness depends on the use of chemicals that do not interfere with parasitism and parasite population growth. Here, a study was made of the effects of synthetic insecticides on Trichogramma pretiosum and Trichogramma exiguum in different hosts (Ephestia kuehniella, Plutella xylostella and Spodoptera frugiperda) and the influence of International Organisation for Biological Control (IOBC/WPRS) methodology in selectivity studies using different Trichogramma species. The insecticides used were commercial formulations (triflumuron at a concentration of 0.2 mL L-1 water, etofenprox at a concentration of 0.47 mL L-1 water and endosulfan at a concentration of 7.5 mL L-1 water); the control treatment consisted of distilled water. Eggs attached to cardboard cards were offered to parasitoids inside glass cages. Parasitised eggs, parasitism and adult emergence rates and parasitism reduction were evaluated.RESULTS: Endosulfan and etofenprox, classified as class-4 toxic products, were extremely toxic to the parasitoids. Triflumuron, classified as a non-toxic product, was selective to the parasitoids in eggs of all hosts.CONCLUSIONS: The methodology recommended by IOBC/WPRS influenced results regarding the use of different species of parasitoids, and the use of a single parasitoid species in their experiment is questionable. (C) 2011 Society of Chemical Industry