Listar Tesinas Ciencia de la Computación por título
Mostrando ítems 958-977 de 992
-
Validação do framework FPOA através da implementação de um repositório de objetos de aprendizagem no modelo UMBRELO
(2013) [Tesinas de grado]Diversos recursos digitais vêm sendo utilizados no processo de ensino. Nesse contexto, destacam-se os objetos de aprendizagem (OA). Diferentes grupos de pessoas desenvolvem OA e, para facilitar sua localização e reuso, ... -
Validando modelos para verificação de programas P4 por execução simbólica
(2018) [Tesinas de grado]A linguagem P4 permite a programação do plano de dados de dispositivos de rede, facilitando a criação de novos protocolos e funcionalidades. No entanto, ao passo que planos de dados programáveis aumentam a flexibilidade ... -
Variabilidade em interfaces de usuário em linhas de produto de software baseadas na web um estudo exploratório
(2013) [Tesinas de grado]Linhas de Produto de Software (LPS) é uma recente e promissora abordagem para desenvolvimento de famílias de sistemas que compartilham um núcleo comum, promovendo o reuso em larga escala e consequentemente alguns benefícios ... -
Vehicle speed estimation based on license plate detection
(2021) [Tesinas de grado]In this work, we present an approach for vehicle speed estimation using a flexible camera setup: the only requirement is a calibrated camera. Then we use the calibrated camera to record images of the vehicle on the road, ... -
Verificador temporal de propriedades em tempo de execução implementado em VHDL
(2014) [Tesinas de grado]A verificação de projetos digitais é essencial para garantir o correto funcionamento e aumentar a confiabilidade de um sistema. Este trabalho visa fazer a verificação de sistemas reativos através de propriedades formais ... -
VeriGraph : a tool for model checking graph grammars
(2014) [Tesinas de grado]In this work, we present the construction of a tool for model checking graph grammars, VeriGraph. The verification is done by first executing a specification written as a graph grammar, resulting in a state space, and then ... -
Versão Mobile do sistema aqua para disponibilização de dados da qualidade das águas
(2021) [Tesinas de grado]O trabalho realizado é o desenvolvimento de um aplicativo mobile o qual visa cadastrar e visualizar dados da qualidade das águas, dando continuidade ao Sistema Aqua Web, porém com as vantagens de uma aplicação mobile. O ... -
Viabilidade do emprego de processadores ARM para infraestrutura de computação em nuvem (IaaS)
(2016) [Tesinas de grado]A computação em nuvem, desde a última década, vem apresentando uma larga expansão e mostrando ser uma alternativa que oferece maior flexibilidade e menores custos aos usuários. Além disso, a computação em nuvem é benéfica ... -
A viability analysis of low-end devices for low-cost programmable LPWAN
(2022) [Tesinas de grado]Internet access is crucial to our daily life in this day and age. However, it is not yet ubiqui tous outside urban areas, such as those inhabited by native and rural communities. In this work, the feasibility of using ... -
Viaje Trifácil : um sistema baseado em software livre para consulta de trajetos de ônibus aplicado a cidade de Porto Alegre.
(2014) [Tesinas de grado]A mobilidade urbana é um dos maiores desafios para as grandes cidades de todo o mundo no início deste século. A opção pelo transporte individual, que no século passado parecia ser a resposta mais eficaz para a mobilidade, ... -
Viés racial ou pequeno tamanho amostral? Investigando o impacto de disparidade racial em dados genômicos na análise de sobrevida em câncer
(2023) [Tesinas de grado]Este trabalho tem como objetivo investigar o impacto do viés racial nos dados ômicos sobre o desempenho de modelos preditivos com algoritmos de aprendizado de máquina (AM). Visamos analisar como o desbalanceamento entre ... -
View-consistent meshes
(2010) [Tesinas de grado]Jogos e filmes de animação utilizam centenas de modelos geométricos extremamente complexos. O inicio do processo de criação desses modelos passa pelo esboço da aparência dos objetos em 2D, a partir de vários pontos de ... -
A visual analytics system for understanding and predicting flying intentions from airports
(2021) [Tesinas de grado]One of the main challenges of an airport administrator is managing the number of flights required to transport a certain number of passengers. This became crucial during the COVID-19 pandemic due to the restrictive measures ... -
A visual approach for identification and annotation of business process elements in process descriptions
(2020) [Tesinas de grado]Business Process Management (BPM) has been proven to provide several benefits for organizations (e.g., efficiency, agility, governance). However, the effort required for adopting a process-centered approach can be a challenge ... -
Visualização de dados institucionais da UFRGS
(2018) [Tesinas de grado]A Universidade Federal do Rio Grande do Sul é uma instituição centenária com mais de trinta mil alunos e mais de cinco mil servidores, entre docentes e técnicos administrativos. As diversas atividades desta grande comunidade ... -
Visualização de dados obtidos da série histórica de preços de combustíveis no Brasil
(2017) [Tesinas de grado]Este trabalho tem por objetivo propor formas de visualizar preços de combustíveis a partir de dados disponibilizados pela agência reguladora de atividades da área de combustíveis no Brasil, a Agência Nacional de Petróleo, ... -
Visualização de dados quantitativos como apoio à análise de desempenho de alunos de graduação da UFRGS
(2018) [Tesinas de grado]Os dados sobre a vida acadêmica dos alunos vem sendo registrados e mantidos pelas instituições antes mesmo do início dos registros em meio digital. A UFRGS mantém de forma permanente o histórico dos alunos que por ela ... -
Visualização de grafos com leiautes heterogêneos
(2011) [Tesinas de grado]Grafos são a forma mais intuitiva de representar características relacionais e hierárquicas de conjuntos de dados. Técnicas de visualização de grafos se popularizaram nos últimos anos em função da ampla e intensa utilização ... -
Visualização de resultados de simulação de processos diagenéticos
(2014) [Tesinas de grado]Diagênese é definida como o conjunto de mudanças químicas, físicas e biológicas pelas quais passam os sedimentos de rochas, desde a sua deposição, durante e após a sua litificação e antes das condições de metamorfismo. Os ... -
A visualization-based approach for the taxonomy browser interface
(2016) [Tesinas de grado]The process of collecting biological data is a continuous activity, specially in field work for university projects and courses. Data from these collections needs to be properly stored in order to be readily available for ...