Listar por autor "Tabajara, Lucas Martinelli"
Mostrando ítems 1-3 de 3
-
UMA FERRAMENTA PARA COLETA E ANÁLISE DE DADOS SOBRE O COMPORTAMENTO HUMANO ATRAVÉS DE REDES SOCIAIS
Tabajara, Lucas Martinelli (2012) [Resumen publicado en evento] -
Resolução de problemas através de computação humana usando redes sociais
Tabajara, Lucas Martinelli (2011) [Resumen publicado en evento] -
Synthesis of boolean functions through binary decision diagrams
Tabajara, Lucas Martinelli (2015) [Tesinas de grado]Boolean functions are an integral component of computer science, from combinational circuits to satisfiability problems. However, although several problems can be encoded as Boolean formulas, often the most intuitive ...