HERA-B Framework for Online Calibration and Alignment

This paper describes the architecture and implementation of the HERA-B framework for online calibration and alignment. At HERA-B the performance of all trigger levels, including the online reconstruction, strongly depends on using the appropriate calibration and alignment constants, which might change during data taking. A system to monitor, recompute and distribute those constants to online processes has been integrated in the data acquisition and trigger systems.Comment: Submitted to NIM A. 4 figures, 15 page

Effective Actions for 0+1 Dimensional Scalar QED and its SUSY Generalization at T≠0T\neq 0

We compute the effective actions for the 0+1 dimensional scalar field interacting with an Abelian gauge background, as well as for its supersymmetric generalization at finite temperature.Comment: 5 pages, Latex fil

Correlação fenotípica em acessos diploides (AA) melhorados de bananeira.

A bananicultura destaca-se como uma atividade de grande importância econômica e social. No Brasil, verifica-se o cultivo da bananeira em todas as regiões geográficas, da faixa litorânea aos planaltos do interior. Os problemas enfrentados pela cultura são vários, abrangendo desde produtividade e qualidade dos frutos inadequadas, a questões mais específicas, como resistência a pragas (SILVA et al., 2005; CORDEIRO et al., 2005)

Quantifying Information Leaks Using Reliability Analysis

acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting to quantify the probability of reaching designated program states, e.g. assert violations, under uncertainty conditions in the environment. The technique has many applications beyond reliability analysis, ranging from program understanding and debugging to analysis of cyber-physical systems. In this paper we report on a novel application of the technique, namely Quantitative Information Flow analysis (QIF). The goal of QIF is to measure information leakage of a program by using information-theoretic metrics such as Shannon entropy or Renyi entropy. We exploit the model counting engine of the reliability analyzer over symbolic program paths, to compute an upper bound of the maximum leakage over all possible distributions of the confidential data. We have implemented our approach into a prototype tool, called QILURA, and explore its effectiveness on a number of case studie

Resultados preliminares do projeto zoneamento do déficit hídrico do TSA utilizando técnicas de teledetecção espacial.

Definição do problema; Apresentação do organograma de trabalho a ser realizado; Dados tratados; Constituição do arquivo bruto.bitstream/item/143278/1/ID-31857.pdfNão publicado

Variabilidade entre diploides (AA) de bananeira do banco ativo de germoplasma da Embrapa Mandioca e Fruticultura.

Dentre as frutíferas, a banana ocupa a segunda posição na produção mundial, sendo superada apenas pela melancia, com 100,7 milhões de toneladas. A produção brasileira de banana está distribuída por todo o território nacional, sendo a região Nordeste a maior produtora (34%), seguida das Regiões Norte (FAO, junho de 2011). Destacando-se os Estados da Bahia, Ceará, Pernambuco e Rio Grande do Norte. Nestes Estados, a produção de banana acontece principalmente nos polos de fruticultura irrigada. (SENA et al.,2011).1 CD-ROM

Downbeat nystagmus elicited by eyelid closure

We describe a patient with downbeat nystagmus (DBN) evoked only by eye closure. Brain and spinal cord magnetic resonance imaging revealed a T2 paramedian lesion in the left lower basis pontis and other white matter lesions consistent with multiple sclerosis. One potential mechanism for DBN in this case involves transverse ephaptic spread of excitation from areas that subserve coordinated lid closure to the decussating ventral tegmental tract.info:eu-repo/semantics/publishedVersio

The Hamiltonian BRST quantization of a noncommutative nonabelian gauge theory and its Seiberg-Witten map

We consider the Hamiltonian BRST quantization of a noncommutative non abelian gauge theory. The Seiberg-Witten map of all phase-space variables, including multipliers, ghosts and their momenta, is given in first order in the noncommutative parameter $\theta$. We show that there exists a complete consistence between the gauge structures of the original and of the mapped theories, derived in a canonical way, once we appropriately choose the map solutions.Comment: 10 pages, Latex. Address adde

Características morfoagronômicas da BRS Platina sob níveis de sombreamento.

A bananeira é uma fruteira muito utilizada na composição de sistemas agroflorestais (SAFs) no Brasil e na América Latina. Sua escolha para integrar os SAFs vai além da produção de alimento rico em carboidratos, vitaminas e minerais