Teoria Da Computacao
Mostrando 25-36 de 862 artigos, teses e dissertações.
-
25. Abordagem fuzzy do teorema de Poincaré-Bendixson / Fuzzy approach of the Poincaré-Bendixson theorem
Nesta dissertação temos como objetivo principal, o estudo do Teorema de Poincaré- Bendixson em sistemas dinâmicos que utilizam a teoria dos conjuntos fuzzy para incorporar à estes, incertezas inerentes no processo de modelagem. Para isso, abordaremos os sistemas dinâmicos fuzzy através de duas vertentes. Primeiramente estudaremos o Teorema de Poincar�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/04/2012
-
26. Modelagem de software de tempo real utilizando o profile MARTE da UML
Métodos e linguagens orientadas a objetos tem sido amplamente aplicados em atividades de modelagem e projeto de software de tempo real. Entre todas as notações orientadas a objetos a mais usada é a UML. Apesar dos seus muitos problemas conhecidos na teoria e na prática, como a fraca representação de restrições temporais e alocação de recursos, a U
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/04/2012
-
27. Simetrias de Lie estocásticas / Stochastics Lie s symmetries
Nesta tese, estudamos equações diferenciais estocásticas, sob o ponto de vista da teoria das simetrias de Lie. Introduzimos o conceito de simetria de Lie estocástica, que consiste em uma ação que mantém invariante as soluções de uma equação diferencial, onde tal ação é estocástica, isto é, dada por um fluxo estocástico. Nosso principal resul
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/04/2012
-
28. Uma ferramenta para análise de redes de interações polinizador-planta aplicada ao portal IABIN-PTN. / A tool for analysis of plant-pollinator interactions networks applied the portal IABIN-PTN.
O planeta está perdendo rapidamente sua biodiversidade, e isto se dá em boa medida pelo crescimento da população humana. Com ela cresceu a demanda por alimentos e matérias primas, e por conseqüência, aumentou a quantidade de terras usadas para sua produção. Esta demanda por terras aráveis e a busca por minérios fez com que a natureza entrasse em c
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/04/2012
-
29. Algumas contribuições na teoria de aproximação e otimização com variáveis fuzzy / Some contributions on theory of approximation and optimization with fuzzy variables
É apresentada uma nova formalização do conceito de número fuzzy poligonal junto com uma extensão do conceito para dimensão n. Esta abordagem unificada permite obter generalizações e versões simplificadas de resultados relevantes sobre números fuzzy poligonais e sobre aproximação de quantidades fuzzy n-dimensionais. Consideramos o problema da melh
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/04/2012
-
30. Coloração de arestas em grafos split / Edge-coloring of split graphs
Not informed.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/03/2012
-
31. Otimização sem derivadas em conjuntos magros / Derivative-free optimization on thin domains
Os problemas de otimização sem derivadas surgem de modelos para os quais as derivadas das funções e das restrições envolvidas, por alguma razão, não estão disponíveis. Os motivos variam desde usuários que não querem programar as derivadas até funções excessivamente complexas e caixas-pretas, oriundas de simulações só possíveis graças ao c
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/03/2012
-
32. Representações de hiperálgebras de laços e álgebras de multi-correntes / Representations of hyper loop algebras and multi curret algebras
Este trabalho é dedicado ao estudo de alguns assuntos da teoria de representações de certas álgebras que podem ser vistas como generalizações do conceito de álgebras de Kac-Moody am. De modo geral, o trabalho é dividido em duas partes: na primeira delas, abordamos questões sobre as representações de dimensão finita das hiperálgebras de laços to
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/03/2012
-
33. Sistemas planares de Filippov e bifurcações genéricas de baixa codimensão / Planar Filippov systems and generic bifurcations of low codimension
Neste trabalho, abordamos aspectos geométricos e qualitativos da teoria de Sistemas Dinâmicos Suaves por Partes, mais especificamente a classe dos Sistemas Planares de Filippov. é feito um estudo sistemático das singularidades genéricas de um Sistema Planar de Filippov, bem como a noção de estabilidade estrutural local e uma classificação através d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/03/2012
-
34. REVISITING THE ACQUISITION OF PASSIVE SENTENCES IN BRAZILIAN PORTUGUESE: AN EXPERIMENTAL INVESTIGATION FOCUSING COMPREHENSION / REVISITANDO A AQUISIÇÃO DE SENTENÇAS PASSIVAS EM PORTUGUÊS BRASILEIRO: UMA INVESTIGAÇÃO EXPERIMENTAL COM FOCO NA COMPREENSÃO
Esta dissertação investiga a aquisição das passivas, trazendo um tratamento conciliador entre métrica de computação e demandas de processamento para se pensar a aquisição dessas estruturas. As análises formais da Teoria Linguística Gerativa (Boeckx, 1998; Collins, 2005) são revisitadas sob o enfoque das distinções aventadas pelo Modelo Integrad
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/03/2012
-
35. Ferramentas algÃbricas para o estudo do entrelaÃamento quÃntico / Algebraic tools for the study of quantum entanglement
Esta tese apresenta alguns resultados sobre dois temas importantes para a teoria da informaÃÃo quÃntica: entrelaÃamento quÃntico e algoritmos quÃnticos Com respeito ao entrelaÃamento à estabelecida uma relaÃÃo entre a negatividade e os menores principais de matrizes Hermitianas o que permite analisar o entrelaÃamento para estados de dois qubits e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/03/2012
-
36. Um estudo sobre computação quântica topológica : novas portas para o modelo de fibonacci / A Study on topological quantum computation : new gates to the fibonacci model
Neste trabalho, apresentamos um estudo sobre Computação Quântica Topológica, uma área de pesquisa inserida na computação quântica que busca resolver o problema da decoerência na construção do computador quântico de uma maneira inovadora. Essa computação envolve aspectos de áreas distintas relacionadas a mecânica quântica: teoria de grupos, r
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/02/2012