Navegação Ciências Exatas e da Terra por Autor "Vizzotto, Juliana Kaizer"
Resultados 1-2 de 2
-
Interoperabilidade lógica via mapeamentos entre instituições
Vizzotto, Juliana Kaizer (2001) [Dissertação]A integração estruturada e consistente de diversas especificações (ou visões) de um sistema é hoje uma questão essencial na moderna abordagem para especificação e desenvolvimento de software. Neste contexto, precisamos de ... -
Structuring general and complete quantum computations in Haskell : the arrows approach
Vizzotto, Juliana Kaizer (2006) [Tese]Computaçãao quântica pode ser entendida como transformação da informação codificada no estado de um sistema físico quântico. A idéia básica da computação quântica é codificar dados utilizando bits quânticos (qubits). ...