Buscar
Mostrando ítems 1-10 de 13
Um arcabouço para otimizações em máquinas de estado abstratas
(Universidade Federal de Minas GeraisUFMG, 2006-03-23)
The Abstract State Machines methodology oers a powerful, easy-to-use mechanism to formally specify the semantics of algorithms. The k`ar framework adds to it optimization capability, allowing the transformation of ASM ...
Simulação de modelos de processo de software utilizando máquinas de estado abstratasSoftware process model simulation using abstract state machines
(Universidade Federal de ViçosaBRMetodologias e técnicas da Computação; Sistemas de ComputaçãoMestrado em Ciência da ComputaçãoUFV, 2015)
Uma metodologia para análise de fluxo de programas Java para tempo real
(Universidade Federal de Pernambuco, 2014)
Círculos de Leitura e a produção de uma microrrevolução do desejo
(Universidade Federal de São Paulo, 2021-07-29)
O objetivo desta pesquisa é investigar a relação entre o aparelho estatal escolar e uma nova modalidade de produção de subjetividades no campo educacional. A hipótese consiste em sustentar que, ao gerar experimentações por ...
Análise do efeito da diversidade sociocultural na interação homem-robô por meio de gestosAnalysis of sociocultural diversity effect on gesture-based human-robot interaction
(Pós-Graduação em Engenharia ElétricaUniversidade Federal de Sergipe, 2019)
Predição de fenótipos de Escherichia coli através de redes biológicas e aprendizado de máquina
(Universidade Estadual Paulista (Unesp), 2016)
Predição de fenótipos de Escherichia coli através de redes biológicas e aprendizado de máquina
(Universidade Estadual Paulista (UNESP), 2016)
Esquizoeducação II aplicada à educação: performance e contracolonialismo
(Universidade Federal de Juiz de Fora (UFJF)BrasilFaculdade de EducaçãoPrograma de Pós-graduação em EducaçãoUFJF, 2021)