Geometric Abstraction
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. HydroPaCe: uma metodologia para análise de inibição cruzada em serino proteases através de centroides de regiões hidrofóbicas
Interfaces of protein-protein interactions contain important information about molecular recognition. This work aims at the discovery of conserved patterns in this region. We believe it is essential to understand how substrates and inhibitors are bound and for predicting molecular binding. When an inhibitor binds to enzymes with different structures, sequenc
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/11/2011
-
2. Utopia e construção : melancolia e sobrevivência na arte contemporânea brasileira
O presente trabalho busca encontrar na arte contemporânea brasileira a relação entre a ascensão das ideologias artísticas construtivas e os desvios sofridos pelas premissas modernas ligadas ao programa desenvolvimentista dos anos 50 e 60 no Brasil. A partir das análises que vinculam as artes plásticas à arquitetura e à política desenvolvimentista,
Publicado em: 2009
-
3. Uma formalização da teoria de reescrita em linguagem de ordem superior
Theories for Abstract Reduction Systems (ARS) and Term Rewriting Systems (TRS) in the proof assistant PVS (Prototype Verification System) called ars and trs, respectively, we developed. The ars theory built on the PVS library for binary relations, contains specifications of notions such as reduction, confluence, normal forms, and non basic concepts such as N
Publicado em: 2008