Low-energy pi pi photoproduction off nuclei

In the present paper we investigate pi0 pi0 and pi(+/-)pi0 photoproduction off complex nuclei at incident beam energies of 400-460 MeV. Simulations of two pion photoproduction on protons and nuclei are performed by means of a semi-classical BUU transport model including a full coupled-channel treatment of the final state interactions. Elastic scattering of the final state pions with the nucleons in the surrounding nuclear medium is found to yield a downward shift of the pi pi invariant mass distribution. We show that the target mass dependence of the pi0 pi0 invariant mass spectrum as measured by the TAPS collaboration can be explained without introducing medium effects beyond absorption and quasi-elastic scattering of the final state particles. On the other hand, we find considerable discrepancies with the data in the pi(+/-)pi0 channel, which are not understood.Comment: 6 pages, 4 figure

Rapid regolith formation over volcanic bedrock and implications for landscape evolution

The ability to quantify how fast weathering profiles develop is crucial to assessing soil resource depletion and quantifying how landscapes evolve over millennia. Uranium-series isotopes can be used to determine the age of the weathering front throughout a profile and to infer estimates of regolith production rates, because the abundance of U-series isotopes in a weathering profile is a function of chemical weathering and time. This technique is applied to a weathering profile in Puerto Rico developed over a volcaniclastic bedrock. U-series isotope compositions are modelled, revealing that it takes 40-60. kyr to develop an 18. m-thick profile. This is used to estimate an average regolith production rate of 334±46. mm/kyr. This value is higher by a factor of up to 30 when compared to production rates estimated for weathering profiles developed over granitic or shale lithologies. This quantitatively underpins the lithological control on rates of regolith production (in a neighbouring watershed but over a granitic bedrock, production rates are only ~30-40. mm/kyr). Moreover, by comparing these results to a compilation of soil erosion rates, it is clear that landscapes are controlled by the balance (or imbalance) between regolith production and erosion: soil-mantled landscapes are the result of a relative balance between production and erosion, whereas in cratonic areas, thicker weathering profiles are generated because erosion fails to match regolith production rates.9 page(s

Circumstellar grain extinction properties of recently discovered post AGB stars

The circumstellar grains of two hot evolved post asymptotic giant branch (post AGB) stars, HD 89353 and HD 213985 were examined. From ultraviolet spectra, energy balance of the flux, and Kurucz models, the extinction around 2175 A was derived. With visual spectra, an attempt was made to detect 6614 A diffuse band absorption arising from the circumstellar grains so that we could examine the relationship of these features to the infrared features. For both stars, we did not detect any diffuse band absorption at 6614 A, implying the carrier of this diffuse band is not the carrier of the unidentified infrared features not of the 2175 A bump. The linear ultraviolet extinction of the carbon-rich star HD 89353 was determined to continue across the 2175 A region with no sign of the bump; for HD 213985 it was found to be the reverse: a strong, wide bump in the mid-ultraviolet. The 213985 bump was found to be positioned at 2340 A, longward of its usual position in the interstellar medium. Since HD 213985 was determined to have excess carbon, the bump probably arises from a carbonaceous grain. Thus, in view of the ultraviolet and infrared properties of the two post AGB stars, ubiquitous interstellar infrared emission features do not seem to be associated with the 2175 A bump. Instead, the infrared features seem related to the linear ultraviolet extinction component: hydrocarbon grains of radius less than 300 A are present with the linear HD 89353 extinction; amorphous anhydrous carbonaceous grains of radius less than 50 A might cause the shifted ultraviolet extinction bump of HD 213985

Low power, compact charge coupled device signal processing system

A variety of charged coupled devices (CCDs) for performing programmable correlation for preprocessing environmental sensor data preparatory to its transmission to the ground were developed. A total of two separate ICs were developed and a third was evaluated. The first IC was a CCD chirp z transform IC capable of performing a 32 point DFT at frequencies to 1 MHz. All on chip circuitry operated as designed with the exception of the limited dynamic range caused by a fixed pattern noise due to interactions between the digital and analog circuits. The second IC developed was a 64 stage CCD analog/analog correlator for performing time domain correlation. Multiplier errors were found to be less than 1 percent at designed signal levels and less than 0.3 percent at the measured smaller levels. A prototype IC for performing time domain correlation was also evaluated

"Adaptation" to Displacement Prisms Is Sensorimotor Learning

Observers reaching to a target seen through wedge shaped displacement prisms initially reach in the direction of displacement, correcting their reaches over a series of about 12 trials. With subsequent removal of the prisms, observers initially reach to the opposite side of the target, correcting over about 6 trials. This phenomenon has been called "adaptation" because of its similarity to the adaptation of sensory thresholds to prevailing energy levels. W e show, however, that this perturbation to visually guided reaching only mimics sensory adaptation initially. Subsequent changes show that this is sensorimotor learning. Error in pointing to targets is the commonly used measure. W e measured times for rapid reaches to place a stylus in a target. Participants wearing a prism worked to achieve criterion times previously established with normal, unperturbed vision. Blocks of trials with and without a prism were alternated. Both the number of trials to criterion and the mean times per block of trials decreased over successive blocks in a session, as well as over successive days. By the third day, participants were able to respond rapidly to perturbations. This reflects the acquisition of a new skill that must be similar to that acquired by users of corrective lens

Towards Verifying Nonlinear Integer Arithmetic

We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution proofs for many properties of the most widely used multiplier circuits. Such short proofs were conjectured not to exist. More precisely, we give n^{O(1)} size regular resolution proofs for arbitrary degree 2 identities on array, diagonal, and Booth multipliers and quasipolynomial- n^{O(\log n)} size proofs for these identities on Wallace tree multipliers.Comment: Expanded and simplified with improved result

Limitations of Algebraic Approaches to Graph Isomorphism Testing

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and only if if the graphs are isomorphic, and then to (try to) decide satisfiability of the system using, for example, the Gr\"obner basis algorithm. In some cases this can be done in polynomial time, in particular, if the equations admit a bounded degree refutation in an algebraic proof systems such as Nullstellensatz or polynomial calculus. We prove linear lower bounds on the polynomial calculus degree over all fields of characteristic different from 2 and also linear lower bounds for the degree of Positivstellensatz calculus derivations. We compare this approach to recently studied linear and semidefinite programming approaches to isomorphism testing, which are known to be related to the combinatorial Weisfeiler-Lehman algorithm. We exactly characterise the power of the Weisfeiler-Lehman algorithm in terms of an algebraic proof system that lies between degree-k Nullstellensatz and degree-k polynomial calculus

Non-Hausdorff Symmetries of C*-algebras

Symmetry groups or groupoids of C*-algebras associated to non-Hausdorff spaces are often non-Hausdorff as well. We describe such symmetries using crossed modules of groupoids. We define actions of crossed modules on C*-algebras and crossed products for such actions, and justify these definitions with some basic general results and examples.Comment: very minor changes. To appear in Math. An

Spatial and temporal distribution of benthic macroinvertebrates in a Southeastern Brazilian river.

A fauna de macroinvertebrados bentônicos é estruturada por fatores físicos e químicos que determinam os microhábitats, incluindo a disponibilidade de alimento, a existência de refúgios contra predadores e tempestades, o sucesso reprodutivo e outros parâmetros biológicos. O objetivo deste estudo foi investigar a distribuição espaço-temporal da comunidade de macroinvertebrados bentônicos na bacia do Rio Macaé, estado do Rio de Janeiro, Brasil. De acordo com o Habitat Assessment Field Data Sheet High Gradient Streams (Barbour et al., 1999), os cinco locais coletados são considerados como referência para propósito de biomonitoramento. Apesar das diferenças em parâmetros hidrográficos (largura, profundidade e vazão médias), os parâmetros físico-químicos e a composição dos grupos de alimentação funcional foram similares entre os locais, com exceção da área mais preservada, onde a porcentagem de organismos cortadores foi maior. De acordo com a análise de correspondência, há uma clara distinção entre áreas de remanso e de correnteza. De fato, o substrato folhiço de correnteza apresentou a fauna mais rica e abundante, enquanto o substrato folhiço de fundo apresentou o maior número de táxons exclusivos. A análise de agrupamento considerando os dados dos locais de coleta indicou que a variação temporal foi o fator mais importante na estruturação das comunidades nos hábitats estudados