Influência do uso nas características físico químicas de um latossolo amarelo, textura muito argilosa, Manaus, AM.

O objetivo deste estudo foi: verificar alterações em algumas propriedades físico-químicas do solos provocadas pelo uso; a que profundidade ocorre e verificar o efeito da cobertura do solo com kudzu. As áreas em que foram feitas as amostragens se localizam no Campo Experimental da EMBRAPA-CPAA, Km 29 da AM-010, no município de Manaus, AM

Observations of solar scattering polarization at high spatial resolution

The weak, turbulent magnetic fields that supposedly permeate most of the solar photosphere are difficult to observe, because the Zeeman effect is virtually blind to them. The Hanle effect, acting on the scattering polarization in suitable lines, can in principle be used as a diagnostic for these fields. However, the prediction that the majority of the weak, turbulent field resides in intergranular lanes also poses significant challenges to scattering polarization observations because high spatial resolution is usually difficult to attain. We aim to measure the difference in scattering polarization between granules and intergranules. We present the respective center-to-limb variations, which may serve as input for future models. We perform full Stokes filter polarimetry at different solar limb positions with the CN band filter of the Hinode-SOT Broadband Filter Imager, which represents the first scattering polarization observations with sufficient spatial resolution to discern the granulation. Hinode-SOT offers unprecedented spatial resolution in combination with high polarimetric sensitivity. The CN band is known to have a significant scattering polarization signal, and is sensitive to the Hanle effect. We extend the instrumental polarization calibration routine to the observing wavelength, and correct for various systematic effects. The scattering polarization for granules (i.e., regions brighter than the median intensity of non-magnetic pixels) is significantly larger than for intergranules. We derive that the intergranules (i.e., the remaining non-magnetic pixels) exhibit (9.8 \pm 3.0)% less scattering polarization for 0.2<u<0.3, although systematic effects cannot be completely excluded. These observations constrain MHD models in combination with (polarized) radiative transfer in terms of CN band line formation, radiation anisotropy, and magnetic fields.Comment: Accepted for publication in A&

Channeling 5-min photospheric oscillations into the solar outer atmosphere through small-scale vertical magnetic flux tubes

We report two-dimensional MHD simulations which demonstrate that photospheric 5-min oscillations can leak into the chromosphere inside small-scale vertical magnetic flux tubes. The results of our numerical experiments are compatible with those inferred from simultaneous spectropolarimetric observations of the photosphere and chromosphere obtained with the Tenerife Infrared Polarimeter (TIP) at 10830 A. We conclude that the efficiency of energy exchange by radiation in the solar photosphere can lead to a significant reduction of the cut-off frequency and may allow for the propagation of the 5 minutes waves vertically into the chromosphere.Comment: accepted by ApJ

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

Longitudinal muon spin relaxation in high purity aluminum and silver

The time dependence of muon spin relaxation has been measured in high purity aluminum and silver samples in a longitudinal 2 T magnetic field at room temperature, using time-differential \musr. For times greater than 10 ns, the shape fits well to a single exponential with relaxation rates of \lambda_{\textrm{Al}} = 1.3 \pm 0.2\,(\textrm{stat.}) \pm 0.3\,(\textrm{syst.})\,\pms and \lambda_{\textrm{Ag}} = 1.0 \pm 0.2\,(\textrm{stat.}) \pm 0.2\,(\textrm{syst.})\,\pms

An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

Non-Standard Neutrino Interactions from a Triplet Seesaw Model

We investigate non-standard neutrino interactions (NSIs) in the triplet seesaw model featuring non-trivial correlations between NSI parameters and neutrino masses and mixing parameters. We show that sizable NSIs can be generated as a consequence of a nearly degenerate neutrino mass spectrum. Thus, these NSIs could lead to quite significant signals of lepton flavor violating decays such as \mu^- \to e^- \nu_e anti\nu_\mu and \mu^+ \to e^+ anti\nu_e \nu_\mu at a future neutrino factory, effects adding to the uncertainty in determination of the Earth matter density profile, as well as characteristic patterns of the doubly charged Higgs decays observable at the Large Hadron Collider.Comment: 4 pages, 3 figures and 1 table; v2: minor corrections, Sect. IV revise

Limitações nutricionais para o cultivo do mamão (Carica papaya) em solo de várzea da região de Manacapuru, no Estado do Amazonas.

Informacoes tecnicas sobre as limitacoes nutricionais para o cultivo do mamao em varzea de Manacapuru-AM (Brasil)

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

Density matrix reconstruction from displaced photon number distributions

We consider state reconstruction from the measurement statistics of phase space observables generated by photon number states. The results are obtained by inverting certain infinite matrices. In particular, we obtain reconstruction formulas, each of which involves only a single phase space observable.Comment: 19 page