Secure Computing in the Cloud (Dagstuhl Seminar 11491) Benny Pinkas, Ahmad-Reza Sadeghi, and Nigel P. Smart . . . . . . . . . . . . . . . . . . . . . . . . 1 Secure Architectures in the Cloud (Dagstuhl Seminar 11492) Sabrina De Capitani di Vimercati, Wolter Pieters, and Christian W. Probst . . . . . . 11 Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data ...

We construct a so-called Ahmad triple in the Σ2enumeration degrees; that is, we construct three Σ2-sets A, B, and C such that A 6≤e B, B 6≤e C, ∀X (X <e A ⇒ X <e B) and ∀X (X <e B ⇒ X <e C). This constitutes a first step toward showing the ∀∃-theory of the Σ2-enumeration degrees to be decidable.

Resumo: Neste trabalho o algoritmo de Azzalini, Farge e Schneider, utilizado em análise de imagens, é modificado, produzindo uma versão adaptativa e uma recursiva para a filtragem de sinais cardíacos. Através destes algoritmos um limiar de corte é obtido baseado na variância do ruído e a série wavelet do sinal analisado é então truncada. Wavelets ortonormais de Daubechies são consideradas. Para...

Este artigo é o resultado de uma reflexão das latentes contribuições que podem advir do compartilhamento de experiências entre os diversos atores envolvidos em um processo de ensino-aprendizagem. Cada caminho encontrado para a condução da solução de determinado problema neste contexto leva, inegavelmente, a uma experiência cujo compartilhamento tende a gerar inúmeras vantagens para outros docen...

Os líquidos N-metilformamida e acetona foram revisitados através de simulações Monte Carlo feitas no ensemble NPT, a 1 atm e 25 °C. As moléculas são rígidas com todos os átomos explicitados e o potencial intermolecular utilizado é o clássico 6-12 Lennard-Jones mais Coulomb. Os g(r)’s teóricos dos dois líquidos foram comparados com aqueles obtidos através de difratometria de nêutrons e simulação...

Resumo—Uma discussão acurada baseada no modelo de sistema apresentado em [1] é realizada. Mais especificamente, uma modelagem de sistema mais realı́stica para redes sem fio multiusuário com relay é proposta. A partir dessa nova modelagem, expressões exatas e em forma fechada para as probabilidades de outage de protocolos fixos decodifica-e-encaminha (F-DF) e protolocos seletivos DF (S-DF) são ob...

s directly related to the thesis 1. Bodosi B, Gardi J, Hajdu I, Szentirmai É, Obál F Jr., Krueger JM. Ghrelin and leptin responses to sleep deprivation and to reversed feeding schedule in rats. J Sleep Res 13, S1, p. 83, 2004. 2. Gardi J, Bodosi B, Hajdu I, Szentirmai É, Obál F Jr., Krueger JM. Rhythms of ghrelin and leptin with respect to sleep and feeding in rats. J Sleep Res 13, S1, p. 259, ...

Um método espectrofotométrico novo e altamente sensível foi desenvolvido para a determinação do inseticida cipermetrina em níveis de partes por milhão. O método é baseado na hidrólise alcalina de cipermetrina ao íon cianeto, o qual reage posteriormente com iodeto de potássio e leuco cristal violeta. A absorção máxima do corante cristal violeta formado é medida em 595 nm em meio ácido. A lei de ...

Adenoma hepático (AH) é neoplasia primária benigna incomum de origem hepatocelular, e afeta mais frequentemente mulheres jovens. Tem sido geralmente associado ao uso de contraceptivos orais. Doença de armazenamento de glicogênio também tem sido associada com o desenvolvimento de AH e em tais casos, é também mais susceptíveis de ser múltiplo e submeter-se à transformação maligna. AH pode ser tam...

Deep-inelastic Ô scattering data, taken with the H1 detector at HERA, are used to analyze the event shape variables thrust, jet broadening, jet mass, parameter and two kinds of differential two-jet rate over a large range of the four-momentum transfer É between Î and ½¼¼ Î. Here, É is taken to be the relevant energy scale for these processes. The É dependence of the mean values is matched with ...