Repositório Institucional UFC: Search

Search

Results 1-10 of 91 (Search time: 0.006 seconds).

previous
1
2
3
4
...
10
next

Item hits:

Issue Date	Title	Author(s)
2010	Sistemas esquemáticos de dedução natural: um estudo prova-teórico	Martins, Ana Teresa de Castro; Cavalcante, Alexandre Silva
2017	GPU-based backtracking strategies for solving permutation combinatorial problems	Carvalho Junior, Francisco Heron de; Pessoa, Tiago Carneiro
2014	FOLE: Um framework conceitual para avaliação de desempenho da elasticidade em ambientes de computação em nuvem	Souza, José Neuman de; Coutinho, Emanuel Ferreira; Gomes, Danielo Gonçalves
2012	Usando vibrações naturais na descrição e no controle de locomoções fisicamente simuladas de personagens articuladas arbitrários	Cavalcante Neto, Joaquim Bento; Nunes, Rubens Fernandes; Vidal, Creto Augusto
2013	RepliC: replicação elástica de banco de dados multi-inquilino em nuvem com qualidade de serviço	Machado, Javam de Castro; Sousa, Flávio Rubens de Carvalho
2014	Integração mente e ambiente para a geração de comportamentos emergentes em personagens virtuais autônomos através da evolução de redes neurais artificiais	Vidal, Creto Augusto; Nogueira, Yuri Lenon Barbosa; Cavalcante Neto, Joaquim Bento
2016	Um arcabouço para a construção de aplicações baseadas em componentes sobre uma plataforma de nuvem computacional para serviços de computação de alto desempenho	Carvalho Junior, Francisco Heron de; Silva, Jefferson de Carvalho
2012	Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado	Martins, Ana Teresa de Castro; Ferreira, Francicleber Martins
2017	Certificação de componentes em uma plataforma de nuvens computacionais para serviços de computação de alto desempenho.	Carvalho Junior, Francisco Heron de; Dantas, Allberson Bruno de Oliveira
2012	PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto	Andrade, Rossana Maria de Castro; Marinho, Fabiana Gomes