Browsing Exact and Earth Sciences by Author "Vizzotto, Juliana Kaizer"
Now showing items 1-2 of 2
-
Interoperabilidade lógica via mapeamentos entre instituições
Vizzotto, Juliana Kaizer (2001) [Dissertation]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) [Thesis]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). ...