Listar Computación por título
Mostrando ítems 297-316 de 1733
-
Calculus semantic with values passing in the denotational approach
(2020) [Tesis de maestría]In the last recent years, there was a noticeable increase in the use of formal verification by the industry, and the reason for that is because the formal languages are each time more enhanced, and the tools that support ... -
CAPEST : network capacity and available bandwidth estimation in the data-plane
(2018) [Tesis de maestría]The measurement of available bandwidth and capacity represents an essential requirement for a multitude of network applications spanning from traffic engineering and admission control to network security. Measurement ... -
Captura e visualização de video 3d em tempo real
(2005) [Tesis de maestría]Vídeos são dos principais meios de difusão de conhecimento, informação e entretenimento existentes. Todavia, apesar da boa qualidade e da boa aceitação do público, os vídeos atuais ainda restringem o espectador a um único ... -
Capturando aspectos da auto-eficácia do aluno através de um agente inteligente
(2006) [Tesis]Esta tese está inserida no trabalho desenvolvido pelo Grupo de Pesquisa de Inteligência Artificial (GIA) da UFRGS, sob a orientação da Professora. Dra. Rosa Maria Vicari e situa-se na área da Inteligência Artificial, com ... -
Caracterização de novas interfaces de telecom a partir de interfaces e dispositivos gerenciáveis
(2007) [Tesis de maestría]Com o desenvolvimento das redes de telecomunicações e o crescimento da heterogeneidade dos elementos presentes nessas redes, a tarefa de desenvolver o suporte de novas interfaces nos sistemas de gerência de redes de telecom ... -
Caracterização e comparação das campanhas do outubro rosa e novembro azul no Twitter
(2020) [Tesis de maestría]As campanhas do Outubro Rosa e Novembro Azul buscam educar e conscientizar as pessoas sobre o câncer de mama e próstata. Apesar de sua semelhança, o Outubro Rosa é muito mais eficaz do que o seu homólogo Novembro Azul. ... -
Caracterização e conformação de fluxos de tráfego ATM no ambiente de usuário
(2001) [Tesis]Apresenta-se um framework que permite a caracterização, conformação e escalonamento de todas as categorias de serviços A TM, dentro do ambiente de usuário (CEP). Propõem-se um modelo de tráfego otimizado para este ambiente ... -
Caracterização energética da codificação de vídeo de alta eficiência (HEVC) em processador de propósito geral
(2017) [Tesis]A popularização das aplicações que manipulam vídeos digitais de altas resoluções incorpora diversos desafios no desenvolvimento de novas e eficientes técnicas para manter a eficiência na compressão de vídeo. Para lidar com ... -
Casamento de esquemas XML e esquemas relacionais
(2005) [Tesis de maestría]O casamento entre esquemas XML e esquemas relacionais é necessário em diversas aplicações, tais como integração de informação e intercâmbio de dados. Tipicamente o casamento de esquemas é um processo manual, talvez suportado ... -
A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real
(1997) [Tesis de maestría]Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, ... -
Categoria de grafos parciais com homomorfismos totais teoria e aplicações
(2005) [Tesis de maestría]O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas ... -
CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias
(2002) [Tesis de maestría]Teoria das Categorias é uma ramificação da Matemática Pura relativamente recente, tendo sua base sido enunciada ao final da primeira metade do século XX. Embora seja Teoria de grande expressividade, sua aplicação efetiva ... -
CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias
(2006) [Tesis de maestría]Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria ... -
Cell assemblies para expansão de consultas
(2011) [Tesis de maestría]Uma das principais tarefas de Recuperação de Informações é encontrar documentos que sejam relevantes a uma consulta. Esta tarefa é difícil porque, em muitos casos os termos de busca escolhidos pelo usuário são diferentes ... -
CFT-tool : ferramenta configurável para aplicação de técnicas de detecção de falhas em processadores por software
(2012) [Tesis de maestría]Este trabalho apresenta uma ferramenta configurável, denominada de CFT-tool, capaz de aplicar automaticamente técnicas de detecção de erros em software com o objetivo de proteger processadores com diferentes arquiteturas ... -
CHANGEADVISOR : uma solução para alinhamentos de planos de mudanças em infraestruturas de TI a objetivos/restrições de negócios
(2010) [Tesis de maestría]O planejamento de mudanças é um elemento-chave para a gerência e a operação de infraestruturas de redes e serviços. Ele compreende desde a especificação, em alto nível, de requisições e planos preliminares de mudança (por ... -
ChangeLedge : change design and planning in networked systems based on reuse of knowledge and automation
(2009) [Tesis de maestría]A gerência adequada de recursos e serviços de Tecnologia da Informação (TI) se tornou imperativa para o sucesso de organizações modernas. A Biblioteca de Infraestrutura de Tecnologia da Informação (Information Technology ... -
Characterization of structures in confocal images datasets obtained from Bile Ducts
(2020) [Tesis]Confocal microscopy is a useful tool for acquiring 3D datasets of fluorescent specimens. In hepatology, researchers have been using confocal microscopy for investigating the microanatomy of bile ducts. Since confocal images ... -
Characterizing affordances using AR for laparoscopic surgeries and challenges of planning a mixed reality remote collaboration application
(2024) [Tesis de maestría]The advantages of Minimally Invasive Abdominal Surgery (MIAS) over traditional open surgery include shorter recovery time, less blood loss, and less postoperative pain and complications. However, laparoscopic surgeries are ... -
Characterizing dissemination of illegal copies of content through BitTorrent networks
(2013) [Tesis de maestría]BitTorrent (BT) networks are nowadays the most employed method of Peerto- Peer (P2P) le sharing in the Internet. Recent monitoring reports reveal that content copies being shared are mostly illegal and movies are the most ...