Navegação Relatórios Técnicos e de Pesquisa por Título
Resultados 220-239 de 246
-
Relatório visita técnica nas universidades de Portugal : suas experiências de pedagogia universitária
(UFRGS, 2019) [Relatório Técnico e de Pesquisa] -
Representacao de conhecimento em engenharia do conhecimento
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]Este relatório apresenta um estudo das diferentes formas existentes para representação de conhecimento em Bases de Conhecimento de Sistemas de Inteligência Artificial. Inicialmente são vistos os diferentes paradigmas ... -
Resultados da UFRGS no Contexto do SINAES 2004-2015
(UFRGS, 2018) [Relatório Técnico e de Pesquisa] -
Resultados da UFRGS no Contexto do SINAES 2004-2018
(UFRGS, 2020) [Relatório Técnico e de Pesquisa] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1981
(19uu) [Relatório Técnico e de Pesquisa] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1982
(19uu) [Relatório Técnico e de Pesquisa] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1983
(19uu) [Relatório Técnico e de Pesquisa] -
Resumo das atividades desenvolvidas no CPD da UFRGS - 1984
(19uu) [Relatório Técnico e de Pesquisa] -
Rumo a um modelo de implementacao de especificacoes nao procedurais de sistemas transacionais em banco de dados
(CPGCC da UFRGS, 1992) [Relatório Técnico e de Pesquisa]O tema discutido nesta proposta de tese é a construção automática de sistemas, particularmente a implementação de especificações não procedurais voltadas a sistemas transacionais em banco de dados. Como formas de viabilizar ... -
Seguro dinâmico de portfólio
(Coppead/UFRJ, 1990) [Relatório Técnico e de Pesquisa] -
Ser criança “estrangeira” : rodas de conversa com crianças refugiadas em Porto Alegre
(UFRGS, 2016) [Relatório Técnico e de Pesquisa] -
Simulação de sistemas modelados como redes de agências
(PGCC da UFRGS, 1985) [Relatório Técnico e de Pesquisa]Este trabalho apresenta um modelo de simulação, em um monoprocessador, de sistemas representados como re des de agências. A estrutura básica de um simulador adegua do a este modelo é mostrada. Alguns aspectos importantes ... -
Sistemas especialistas para a engenharia de software
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]Este trabalho apresenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. É apresentada uma seleção das principais referências bibliográficas ... -
Sistemas especialistas para a engenharia de software
(CPGCC da UFRGS, 1990) [Relatório Técnico e de Pesquisa]Este trabalho a presenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. E a presentada uma seleção das principais referências bibliográficas ... -
Soluções tecnológicas da Indústria 4.0 para micro, pequenas e médias empresas do setor de transformação industrial
(UFRGS, 2022) [Relatório Técnico e de Pesquisa] -
Synchronization in petri nets
(Instituto Superior Tecnico. Departamento de Matematica, 1993) [Relatório Técnico e de Pesquisa]In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this ... -
Systems for system implementation
(CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]Inspired by Meseguer and Montanari's "Petri Nets are Monoids", we propose that a refinement o f a Petri net is a special kind o f net morphism were the target object is enriched with ali conceivable sequential and concurrent ... -
Tecnologias digitais nas aprendizagens fase – projeto nº 32364 : relatório final
(UFRGS, 2022) [Relatório Técnico e de Pesquisa]