Computer Viruses
Mostrando 1-12 de 64 artigos, teses e dissertações.
-
1. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
2. Simulação Computacional e Análise de um Modelo Fenotípico de Evolução Viral. / Computer Simulation and Analysis of a Phenotypic Model of Viral Evolution
A large amount of viruses of medical importance such as HIV, respiratory syncytial virus, the hepatitis C virus, influenza A (H1N1) and polio virus, has RNA genome. These viruses exhibit extremely high mutational rate, fast replicative kinetics, large population of particles and high genetic diversity. Manifested during the infectious process, these features
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/01/2011
-
3. Um modelo multiescalas de autômatos celulares para pandemia da dengue / A multiscale cellular automata model for the pandemic of Dengue
The dramatic resurgence and emergence of epidemic dengue and dengue hemorragic fever in the last two decades neatly define a global pandemic. The dispersion of dengue viruses combines local infections of humans bited by infective mosquitoes inside a city with long-range transmissions to non-infective vectors that feed the blood of infected people arriving fr
Publicado em: 2009
-
4. Re-mapping the molecular features of the human immunodeficiency virus type 1 and human T-cell lymphotropic virus type 1 Brazilian sequences using a bioinformatics unit established in Salvador, Bahia, Brazil, to give support to the viral epidemiology studies
The analysis of genetic data for human immunodeficiency virus type 1 (HIV-1) and human T-cell lymphotropic virus type 1 (HTLV-1) is essential to improve treatment and public health strategies as well as to select strains for vaccine programs. However, the analysis of large quantities of genetic data requires collaborative efforts in bioinformatics, computer
Memórias do Instituto Oswaldo Cruz. Publicado em: 23/02/2007
-
5. Uma arquitetura de segurança computacional inspirada no sistema imunologico
The human immune system is able to guarantee the survival of an individual for his/her entire life, even though he/she encounters potentially deadly parasites, bacteria and viruses on a daily basis. In this way, this biological system provides a rich source of inspiration for the security of computer networks. Besides the fact that the human immune system pr
Publicado em: 2004
-
6. Computer-assisted assignment of functional domains in the nonstructural polyprotein of hepatitis E virus: delineation of an additional group of positive-strand RNA plant and animal viruses.
Computer-assisted comparison of the nonstructural polyprotein of hepatitis E virus (HEV) with proteins of other positive-strand RNA viruses allowed the identification of the following putative functional domains: (i) RNA-dependent RNA polymerase, (ii) RNA helicase, (iii) methyltransferase, (iv) a domain of unknown function ("X" domain) flanking the papain-li
-
7. Preliminary Classification of Viruses Based on Quantitative Comparisons of Viral Nucleic Acids
It is proposed that classifications used in science are of two main types; those which are designed to solve practical problems and which are based on conventions, and those which are designed to solve theoretical problems, based on theories, and in which the classes are tested by experiment. An attempt has been made to construct a preliminary classification
-
8. Relation between genomic and capsid structures in RNA viruses.
We described a new computer program for calculation of RNA secondary structure. Calculation of 20 viral RNAs with this program showed that genomes of the icosahedral capsid viruses had higher folding probabilities than those of the helical capsid viruses. As this explains virus assembly quite well, the information of capsid structure must be imprinted not on
-
9. 5′-Terminal Nucleotide Noncoding Sequences of Retroviruses: Relatedness of Two Old World Primate Type C Viruses and Avian Spleen Necrosis Virus
Computer-assisted comparison of the 5′-terminal regions of mammalian type C viruses serves as a useful model of evolutionary divergence of noncoding nucleic acid sequences. It has led to the concept that regions of conserved nucleic acid sequences, the slowly divergent sequences, contain signals of translational, transcriptional, or integrative significanc
-
10. Evidence for common ancestry of a chestnut blight hypovirulence-associated double-stranded RNA and a group of positive-strand RNA plant viruses.
Computer-assisted analysis of the putative polypeptide products encoded by the two open reading frames present in a large virus-like double-stranded RNA, L-dsRNA, associated with hypovirulence of the chestnut blight fungus, Cryphonectria parasitica, revealed five distinct domains with significant sequence similarity to previously described conserved domains
-
11. Homologous sequences in non-structural proteins from cowpea mosaic virus and picornaviruses
Computer analyses have revealed sequence homology between two non-structural proteins encoded by cowpea mosaic virus (CPMV), and corresponding proteins encoded by two picornaviruses, poliovirus and foot-and-mouth disease virus. A region of 535 amino acids in the 87-K polypeptide from CPMV was found to be homologous to the RNA-dependent RNA polymerases from b
-
12. Toward Antiviral Strategies That Resist Viral Escape
We studied the effect on viral growth of drugs targeting different virus functions using a computer simulation for the intracellular growth of bacteriophage T7. We found that drugs targeting components of negative-feedback loops gain effectiveness against mutant viruses that attenuate the drug-target interaction. The greater inhibition of such mutants than o
American Society for Microbiology.