Computabilidade
Mostrando 13-24 de 78 artigos, teses e dissertações.
-
13. Identificação e Análise de Sequências Codificantes com Atributos Conflitantes em Genomas Procariotos / Analysis and Identification of Prokaryotic Coding Sequences With Conflicting Atributes
The advent of new sequencing technologies and the development of computational tools that facilitate the analysis of genomes, generated the exponential growth of genome databases. New approaches in-silico of the comparative genomics use such data in its comparisons. Nevertheless, recent work on the genome of Escherichia coli indicate that the current state o
Publicado em: 2010
-
14. Uso de sistemas tutores inteligentes na compreensão de leitura / Intelligent tutoring systems in reading comprehension
Os estudantes universitários brasileiros apresentaram baixos índices de leitura no Exame Nacional de Desempenho (ENADE) em 2006. O ENADE mostrou que o hábito de ler é pouco cultivado entre os universitários. O pouco interesse pela leitura é justificado pelo fato de que maioria dos estudantes são trabalhadores matriculados em cursos noturnos, com pouco
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/11/2009
-
15. A Utilização de Redes Neurais Artificiais na Estimação da Cobertura do Sinal de Televisão Digital / The Use of Artificial Neural Networks in the Estimation of Coverage Digital TV Signal
NESTE trabalho, são apresentadas informações sobre a intensidade de sinal obtidas em campo e em simulações para as recepções one-seg e full-seg na grande Goiânia. Os valores obtidos pelas medições foram utilizados para uma comparação entre os modelos de propagação presentes na literatura, com o objetivo de determinar a real condição d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/08/2009
-
16. Comparação de métodos de otimização para o problema de ajuste de histórico em ambientes paralelos
The process of history matching aims on the determination of the models parameters from a petroleum reservoir. Once adjusted, the models can be used for the prediction of the reservoir behavior. This work presents a comparsion of dierent optimization methods for this problem s solution. Derivative based methods are compared to a genetic algorithm. In particu
Publicado em: 2009
-
17. Pirarucu (Arapaima Gigas) Population Dynamics of Mamirauá Sustainable Development Reserve (MRSD),Amazonian / A Dinâmica Populacional do Pirarucu (Arapaima gigas) na reserva de Desenvolvimento Sustentável Mamirauá (RDSM), Amazônia
Pirarucu ( Arapaima gigas) has been one of the most important economic resources among all the fish species of the Brazilian Amazon for more than three centuries. The introduction of modern technologies of exploitation brought serious threats to the preservation of this species. Adequate management strategies have to be urgently introduced in order to preven
Publicado em: 2009
-
18. Uma arquitetura orientada a agentes para gerenciamento, busca e recuperação de artefatos científicos
A Computação Científica é uma área multidisclipinar que extrapola o uso do computador como simples máquina onde pesquisadores escrevem textos, apresentações ou guardam resultados de experimentos e análises. Com a evolução das pesquisas, e o uso cada vez maior de recursos computacionais aplicados aos experimentos e simulações realizados pelos gru
Publicado em: 2009
-
19. Uso de sistemas tutores inteligentes na compreensão de leitura / Intelligent tutoring systems in reading comprehension
Brazilian students have achieved poor results in the National Student Performance Exam (ENADE) in 2006. ENADE has shown reading is badly cultivated among undergraduates. The low interest on reading is justified by the fact that most of students have jobs and are enrolled in evening courses, without enough time to studies. The current research proposes the us
Publicado em: 2009
-
20. Sistemas Distribuídos para Otimização por Simulação Numérica Aplicada a Modelagem de Aquíferos / Distributed Systems for Numerical Simulation Optimization Applied to Aquifer Modeling
Neste trabalho, modela-se a ocorrência de contaminação de um aquífero hipotético por derramamento de substância tóxica e analisa-se a solução de descontaminação baseada na retirada do contaminante através de bombeamento feito por poços de extração. O projeto do sistema de remediação envolve a escolha do número de poços a serem instalados,
Publicado em: 2009
-
21. genetic algorithms, power flow convergence / Aplicação de algoritmos genéticos para convergência de fluxo de potência em sistemas de energia
Calculating power flow is a fundamental problem in the field of electrical power systems, therefore the development of computational methods to improve their convergence is a subject of research. Traditional numerical methods, such as the Newton-Raphson algorithm, are very efficient for solving this problem, but they are highly dependent on initial condition
Publicado em: 2009
-
22. General type-2 fuzzy inference system adapted to the classification problem / Sistema de inferÃncia fuzzy geral do tipo-2 aplicado à classificaÃÃo
PropÃe-se, nesta tese, o desenvolvimento de uma nova ferramenta baseada em conjuntos fuzzy gerais do tipo-2 para aplicaÃÃo em processos de classificaÃÃo digital de dados. O problema de classificaÃÃo a ser considerado està relacionado à identificaÃÃo de regiÃes de floresta em imagens de satÃlite com o objetivo de auxiliar em tarefas de monitorame
Publicado em: 2009
-
23. Fluid Animation Through Lattice Gas and Lattice Boltzmann Methods / Animação de Fluidos via Modelos do Tipo Lattice Gas e Lattice Boltzmann
Técnicas baseadas em física têm chamado a atenção da comunidade de computação gráfica, em especial para animação de fluidos (gás ou líquidos). As técnicas tradicionais para animação de fluidos são metodologias top-down baseadas em malhas 2D/3D, tais como Diferenças Finitas e Elementos Finitos, em conjunto com equações de fluidos Navier-Sto
Publicado em: 2009
-
24. Switch Systems / Sistemas com Chaveamento
Devido em parte, ao considerável corpo de resultados teóricos para Sistemas Lineares com Saltos Markovianos (SLMS), tem havido recentemente uma intensa interação entre a teoria clássica de sistemas com chaveamento (switched systems) e a teoria de SLSM. Apesar do desenvolvimento dessas teorias terem acontecido essencialmente de maneira independentes, num
Publicado em: 2009