The bound state Aharonov-Bohm effect around a cosmic string revisited

In this article we observe that the self-adjoint extension of the Hamiltonian of a particle moving around a shielded cosmic string gives rise to a gravitational analogue of the bound state Aharonov-Bohm effect.Comment: 2 pages, no figure

Determinação do melhor substrato e temperatura para germinação de sementes de araçá (Psidium cattleianum).

Resumo

“Música em PAS”: music as an evaluation object of the program of serial university entrance examination of University of Brasília (PAS/UnB)

This paper discusses the musical proposal to Program of Serial University Entrance Examination of University of Brasília (PAS/UnB). The discussion is based on author’s participation on elaboration, systematization, and review groups of 2001 and 2006 programs, as well her researches and her teacher training activities with PAS. The text presents the program, its evaluation conception and the music-pedagogical principles and purposes that guide the insertion of musical knowledge as compulsory evaluation’s object in the university entrance examination. The last program’s version has adopted an Evaluation’s Matrix with some music competences, abilities and evaluation’s objects. The development of music’s competences and abilities is oriented by a music repertoire that defi- nes the content and should be a way for development of musical practices and experiences (performance, improvisation and composition), reception (musical appraising) and context. In this process, the schools and its music teachers are responsible for create learning and teaching situations where the musical experience could be celebrated in sense of to promote a musical significant learning experience and the student’s success in PAS/UnB exams

O programa nacional de fortalecimento da agricultura familiar no Brasil: uma análise sobre a distribuição regional e setorial dos recursos.

No Brasil, as políticas públicas para o espaço rural sempre tenderam a priorizar a agricultura patronal, em detrimento dos agricultores familiares. Todavia, os estudos realizados pelos órgãos FAO - INCRA deram subsídio para a criação do Programa Nacional de Fortalecimento da Agricultura Familiar (PRONAF), resultando em um novo direcionamento dos investimentos públicos, os quais passaram a contemplar o segmento dos agricultores familiares. Entende-se o PRONAF como uma política não-compensatória, que, apesar de seus problemas, tem contribuído de fato para mudanças e melhorias no espaço agrário brasileiro. Desde sua criação no final da década de 1990, o PRONAF passou por várias mudanças em sua estrutura administrativa e operacional, a fim de alcançar seus objetivos e adequar-se face a complexa realidade social agrária brasileira. Sendo assim, o presente estudo visa discutir as ações do Estado por meio desse Programa, a partir de suas linhas de atuação, bem como analisar a distribuição de suas concessões de crédito regional e setorialmente. Assim, os procedimentos metodológicos utilizados para a realização deste trabalho compreendem pesquisa bibliográfica e documental, além de pesquisa em fontes secundárias, no intuito de obter dados e informações relevantes para a análise das relações sociais estabelecidas em meio a esse processo de concretização e espacialização desse Programa. Dentre as implicações do PRONAF pode-se notar em âmbito nacional, uma diminuição da disparidade regional brasileira, bem como a preocupação que o Programa tem demonstrado com os aspectos socioculturais locais e regionais, como forma de garantir que seus investimentos perpassem a dimensão econômica, mas valorize outras dimensões, a exemplo dos elementos culturais

Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the damage caused by low-level attacks such as control-flow hijacking. When used to defend against such attacks, compartmentalization is often implemented cooperatively by a compiler and a low-level compartmentalization mechanism. However, the formal guarantees provided by such compartmentalizing compilation have seen surprisingly little investigation. We propose a new security property, secure compartmentalizing compilation (SCC), that formally characterizes the guarantees provided by compartmentalizing compilation and clarifies its attacker model. We reconstruct our property by starting from the well-established notion of fully abstract compilation, then identifying and lifting three important limitations that make standard full abstraction unsuitable for compartmentalization. The connection to full abstraction allows us to prove SCC by adapting established proof techniques; we illustrate this with a compiler from a simple unsafe imperative language with procedures to a compartmentalized abstract machine.Comment: Nit

Métodos para superar a dormência de sementes florestais tropicais.

Informacoes tecnicas sobre metodos praticos e eficazes para superar a dormencia de sementes de especies florestais tropicais em Manaus, AM (Brasil), visando a producao de mudas uniformes e em quantidades suficientes para subsidiar programas de reflorestamento e recuperacao de areas degradadas.bitstream/CPAA-2009-09/4337/1/IT_1_99.pd

Mapeamento de uso das terras utilizando processamento digital de imagem de sensoriamento remoto.

O uso dos métodos tradicionais de levantamento do uso das terras, em razão do custo elevado dos instrumentos e a dificuldade de disponibilizar as informações de maneira rápida aos tomadores de decisão, torna proibitivo seu emprego de forma sistemática e repetitiva sobre grandes extensões de território. Desta forma, existe a necessidade de se utilizar métodos que possibilitem o levantamento do uso das terras de maneira eficiente, rápida e que tenham relativamente baixo custo. Neste contexto, a forma mais eficiente e rápida para caracterizar o uso atual das terras é por meio dos recursos instrumentais oferecidos pelo sensoriamento remoto (SR), com auxílio dos Sistemas de Informações Geográficas (SIGs) e dos Sistema de Posicionamento Global (GPSs). O processo de levantamento e caracterização do uso das terras, nesse caso, pode ser grandemente facilitado pela utilização de imagens de satélites e outros recursos de sensoriamento remoto, que podem gerar dados passíveis de serem geocodificados, ou seja, integrados, relacionados e espacializados nos SIGs. Esses, em conjunto com os GPSs, são considerados, atualmente, como a maneira mais eficiente de levantamento e identificação do uso das terras. Desta forma, o trabalho teve como objetivo o mapeamento de uso das terras utilizando o processamento digital de imagem de sensoriamento remoto, utilizando-se a interpretação visual, a classificação digital supervisionada, e a classificação híbrida (classificação digital + interpretação visual), utilizando-se imagem TM do satélite LANDSAT 7.bitstream/CNPM/830/1/cot7_paulin.pd

Épocas de vedação e utilização de capineiras de capim-elefante (Pennisetum purpureum Schum. cv. Cameroon) no nordeste paraense.

bitstream/item/57587/1/Oriental-BP35.pd

Caracteristicas culinarias e agronomicas de tres cultivares de macaxeira.

A macaxeira (Manihot esculenta (Crantz.), tambem chamada de aipim, mandioca de mesa e mandioca mansa em outras regioes do Brasil, se diferencia da mandioca brava ou industrial por apresentar baixo teor de acidocianidrico (HCN) nas raizes e possibilita colheita mais precocemente. Foram plantadas em marco de 1988 tres cultivares de macaxeira com o objetivo de avaliar as caracteristicas culinarias e agronomicas das mesmas. As cultivres foram: Jaburu (BGM 187), Rosa e Peixe. Foram feitas observacoes em varios caracteres botanicos e agronomicos das cultivares. Foi anotado o tempo de cozimento de cada cultivar. As cultivares Peixe e Rosa apresentaram melhores qualidades culinarias.bitstream/item/95951/1/CT420001.pd