Sistemas Especiais Computacao
Mostrando 1-12 de 29 artigos, teses e dissertações.
-
1. Caracterização da interação social de usuários em redes sociais online: Um estudo de caso no orkut
Redes sociais online têm se tornado, cada vez mais, um espaço potencial para inclusão social de usuários surdos do Brasil. Entretanto, nem sempre as interfaces desses sistemas estão preparadas para apoiar a interação de usuários com necessidades especiais. Diante destas hipóteses, neste trabalho focamos em analisar e caracterizar, através de um est
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/03/2012
-
2. ACESSIBILIDADE POR DIÁLOGOS DE MEDIAÇÃO: DESENVOLVIMENTO E AVALIAÇÃO DE UM ASSISTENTE DE NAVEGAÇÃO PARA A WEB / ACCESSIBILITY BY MEDIATION DIALOGUES: DEVELOPMENT AND EVALUATION OF A WEB NAVIGATION HELPER
A acessibilidade na Web é um dos grandes desafios de pesquisa na área das Ciências da Computação. Existem muitas iniciativas que visam a melhorar os sistemas, a fim de que usuários com deficiências e outras necessidades especiais tenham o pleno acesso às informações e serviços disponíveis na internet. Uma delas é o sistema apresentado neste trab
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/03/2011
-
3. "Coisas que as pessoas sabem": computação e territórios do senso comum
A inteligência artificial constrói, através da computação, sistemas com capacidades especiais na medida em que são capazes de realizar tarefas elaboradas para as quais a inteligência humana seria, em princípio, essencial. Um desses sistemas, um projeto de longo prazo e larga escala conhecido como CYC, propõe-se a uma tarefa considerada muito difíci
Scientiae Studia. Publicado em: 2011
-
4. Invariantes de curvas em grassmannianas divisíveis e equações diferenciais ordinárias / Invariants of curves in divisible grassmannians and ordinary differential equations
Neste trabalho estudamos a geometria de curvas de n-subespaços em Rkn, onde k é um natural qualquer, usando a mesma abordagem introduzida por J. C. Álvarez e C. Durán. Para isso generalizamos o endomorfismo fundamental e o descrevemos como um mergulho equivariante dos (k-1)-jets de curvas na Grassmanniana na álgebra de Lie de Gl(kn). Para descrição da
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/08/2010
-
5. Recommender TV : suporte ao desenvolvimento de aplicações de recomendação para o Sistema Brasileiro de TV Digital
A televisão digital possibilitará a transmissão de novos serviços (no sistema analógico, canais), com um crescimento significativo na quantidade de informação disponibilizada aos usuários em comparação ao sistema analógico tradicional. Em face desse crescimento de aplicações possíveis, sistemas de recomendação destacam-se como ferramentas út
Publicado em: 2010
-
6. Reificação de objetos concorrentes / Reification of concurrent objects
Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reifica
Publicado em: 2010
-
7. PMEMD-HW : simulação por dinâmica molecular usando hardware reconfigurável
Sistemas de dinâmica molecular são definidos pela posição e energia das partículas que o compõe, assim como pelas interações entre estas. Tais sistemas podem ser simu-lados através de métodos matemáticos como o cálculo de forças eletrostáticas baseadas na Lei de Coulomb. Computar os estados através dos quais um sistema destes evolui, avaliando
Publicado em: 2010
-
8. Detecção de outliers usando regras de associação na descrição do padrão de comportamento.
A mineração de dados se divide em algumas categorias, dentre elas a mineração de outliers. Outliers são registros que não seguem padrões esperados. Eles podem ser interpretados como ruídos ou falhas de medição, sendo assim descartados, mas também podem ser considerados casos especiais que trazem relatos úteis que podem ser usados para encontrar n
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/10/2009
-
9. Controle dinamico de saida para sistemas discretos com saltos markovianos / Dynamic output feedback for discrete-time Markov jump linear systems
Este trabalho tem por objetivo o estudo do projeto de controladores dinâmicos H2 e H? por realimentação de saída para sistemas discretos com parâmetros sujeitos a saltos markovianos. Inicialmente, estudamos o caso de filtragem e propomos diferentes técnicas de projeto para casos especiais relacionados à disponibilidade do estado da cadeia de Markov, t
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/06/2009
-
10. Parallel self-verified solver for dense linear systems
Esta tese apresenta uma ferramenta de resolução de sistemas lineares densos pontuais e intervalares. As principais características desta ferramenta são rapidez, confiabilidade e precisão. Esta ferramenta é baseada em um método de resolução de sistemas densos verificado usando arredondamentos direcionados e aritmética intervalar associados a bibliot
Publicado em: 2009
-
11. Plataforma integrada para o planejamento de sistemas de distribuição de energia eletrica utilizando metaheuristicas / Integrated platform for distribution systems planning using metaheuristics
O objetivo desse trabalho de pesquisa é desenvolver ferramentas computacionais eficientes para a otimização da operação de sistemas de distribuição de energia elétrica. A principal contribuição apresentada é fornecer uma metodologia para redução de perdas de potência ativa, baseada em reconfiguração e alocação de bancos de capacitores fixos
Publicado em: 2009
-
12. Semigroup actions : Chan recurrence in fiber Bundles and Ellis compactifications / Ações de semigrupos : recorrencia por cadeias em fibrados e compactificações de Ellis
Um semigrupo de transformação consiste de um semigrupo de aplicações contínuas definidas num espaço topológico. A hipótese sobre o semigrupo é a propriedade de reversibilidade, isto é, que a coleção das translações do semigrupo satisfaz a propriedade de intersecção finita. A idéia central é de dinamizar um semigrupo de transformação, send
Publicado em: 2008