Experimental evidence of accelerated energy transfer in turbulence

We investigate the vorticity dynamics in a turbulent vortex using scattering of acoustic waves. Two ultrasonic beams are adjusted to probe simultaneously two spatial scales in a given volume of the flow, thus allowing a dual channel recording of the dynamics of coherent vorticity structures. Our results show that this allows to measure the average energy transfer time between different spatial length scales, and that such transfer goes faster at smaller scales.Comment: 5 pages, 5 figure

YAPA: A generic tool for computing intruder knowledge

Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages based on equational logics, knowledge is typically expressed by two relations: deducibility and static equivalence. Several decision procedures have been proposed for these relations under a variety of equational theories. However, each theory has its particular algorithm, and none has been implemented so far. We provide a generic procedure for deducibility and static equivalence that takes as input any convergent rewrite system. We show that our algorithm covers most of the existing decision procedures for convergent theories. We also provide an efficient implementation, and compare it briefly with the tools ProVerif and KiSs

I soffi carotidei asintomatici scoperti in corso di bilancio preoperatorio. Condotta diagnostica e terapeutica.

no abstrac

Incorporação das propriedades rotâmeros e ocupância em métodos de análise estrutural de proteínas.

Conformação das cadeias laterais (rotâmeros); Dupla ocupância; Java Protein Dossier.bitstream/CNPTIA/9893/1/comuntec34.pdfAcesso em: 30 maio 2008

Curvatura da superfície de proteínas no Java Protein Dossier.

Definição de superfície. Cálculo dos valores de curvatura com SurfRace.bitstream/CNPTIA/9897/1/comuntec38.pdfAcesso em: 30 maio 2008

Apresentação gráfica de parâmetros protéicos utilizando o Java Protein Dossier.

Parâmetros apresentados pelo JPD. Sequência de resíduos. Contatos. Contatos internos. Contatos na interface. Estrutura secundária. Dupla ocupância. Fator de temperatura. Entropia relativa. Confiabilidade. Acessibilidade de resíduos. Ângulos de torsão. Potencial eletrostático. Curvatura na superfície. Hidrofobicidade. Analisando com maior detalhes os parâmetros apresentados.bitstream/CNPTIA/9899/1/comuntec40.pdfAcesso em: 30 maio 2008

Análise do grau de conservação de resíduos em proteínas com estrutura 3D resolvida utilizando o SMS.

HSSP e entropia relativa. Módulos do SMS para análise de conservação. Discussão e trabalhos futuros.bitstream/CNPTIA/9896/1/comuntec37.pdfAcesso em: 30 maio 2008

Utilização do software GRASP para gerar arquivo de coordenadas com valores de potencial eletrostático.

Com o intuito de disponibilizar um banco de dados de valores de potencial eletrostático para todas as estruturas de proteínas depositadas no PDB, foi utilizado o programa GRASP (Graphical Representation and Analysis of Structural Properties) (Nicholls et al., 1991) para geração deste banco de dados.bitstream/CNPTIA/9883/1/comuntec24.pdfAcesso em: 30 maio 2008