A snapshot of the inner dusty regions of a RCrB-type variable

R Coronae Borealis variable stars are suspected to sporadically eject optically thick dust clouds causing, when one of them lies on the line-of-sight, a huge brightness decline in visible light. Mid-infrared interferometric observations of RYSgr allowed us to explore the circumstellar regions very close to the central star (~20-40 mas) in order to look for the signature of any heterogeneities. Using the VLTI/MIDI instrument, five dispersed visibility curves were recorded with different projected baselines oriented towards two roughly perpendicular directions. The large spatial frequencies visibility curves exhibit a sinusoidal shape whereas, at shorter spatial frequencies visibility curves follow a Gaussian decrease. These observations are well interpreted with a geometrical model consisting in a central star surrounded by an extended circumstellar envelope in which one bright cloud is embedded. Within this simple geometrical scheme, the inner 110AU dusty environment of RYSgr is dominated at the time of observations by a single dusty cloud which, at 10mic represents ~10% of the total flux of the whole system. The cloud is located at about 100stellar radii from the centre toward the East-North-East direction (or the symmetric direction with respect to centre) within a circumstellar envelope which FWHM is about 120stellar radii. This first detection of a cloud so close to the central star, supports the classical scenario of the RCrB brightness variations in the optical spectral domain

Milheto: Planta para cobertura de solo no sistema de plantio direto em cerrado de Roraima.

bitstream/item/95761/1/052008-milheto-smiderle.pd

Eficiência da irrigação e produtividade de feijão-caupi no cerrado Roraimense.

Suplemento. Edição dos Anais do 53 Congresso Brasileiro de Olericultura, jul. 2014

Características químicas e físico-hídricas de solos de várzeas em Roraima.

bitstream/item/202112/1/PDF-0032004-solosroraima-roberto.pd

BRS Monarca: Cultivar de arroz para os sistemas de produção em terras altas em Roraima.

bitstream/item/135275/1/COT-129-N74.pd

Maximal Sharing in the Lambda Calculus with letrec

Increasing sharing in programs is desirable to compactify the code, and to avoid duplication of reduction work at run-time, thereby speeding up execution. We show how a maximal degree of sharing can be obtained for programs expressed as terms in the lambda calculus with letrec. We introduce a notion of `maximal compactness' for lambda-letrec-terms among all terms with the same infinite unfolding. Instead of defined purely syntactically, this notion is based on a graph semantics. lambda-letrec-terms are interpreted as first-order term graphs so that unfolding equivalence between terms is preserved and reflected through bisimilarity of the term graph interpretations. Compactness of the term graphs can then be compared via functional bisimulation. We describe practical and efficient methods for the following two problems: transforming a lambda-letrec-term into a maximally compact form; and deciding whether two lambda-letrec-terms are unfolding-equivalent. The transformation of a lambda-letrec-term $L$ into maximally compact form $L_0$ proceeds in three steps: (i) translate L into its term graph $G = [[ L ]]$; (ii) compute the maximally shared form of $G$ as its bisimulation collapse $G_0$; (iii) read back a lambda-letrec-term $L_0$ from the term graph $G_0$ with the property $[[ L_0 ]] = G_0$. This guarantees that $L_0$ and $L$ have the same unfolding, and that $L_0$ exhibits maximal sharing. The procedure for deciding whether two given lambda-letrec-terms $L_1$ and $L_2$ are unfolding-equivalent computes their term graph interpretations $[[ L_1 ]]$ and $[[ L_2 ]]$, and checks whether these term graphs are bisimilar. For illustration, we also provide a readily usable implementation.Comment: 18 pages, plus 19 pages appendi

A new picture on (3+1)D topological mass mechanism

We present a class of mappings between the fields of the Cremmer-Sherk and pure BF models in 4D. These mappings are established by two distinct procedures. First a mapping of their actions is produced iteratively resulting in an expansion of the fields of one model in terms of progressively higher derivatives of the other model fields. Secondly an exact mapping is introduced by mapping their quantum correlation functions. The equivalence of both procedures is shown by resorting to the invariance under field scale transformations of the topological action. Related equivalences in 5D and 3D are discussed. A cohomological argument is presented to provide consistency of the iterative mapping.Comment: 13 page