Universe acceleration and fine structure constant variation in BSBM theory

In this work we investigate the utility of using SNe Ia observations in constraining the cosmological parameters in BSBM theory where a scalar field is responsible for both fine structure constant variation and late time universe acceleration. The model is discussed in the presence of an exponential self potential for the scalar field. Stability and phase space analysis of the solutions are studied. The model is tested against observational data for Hubble parameter and quasar absorption spectra. With the best fitted model parameters, the theory predicts a good match with the experimental results and exhibits fine structure constant variation. The analysis also shows that for the equation of state parameter, recent universe acceleration and possible phantom crossing in future is forecasted.Comment: 14 pages, 10 figures, final version with minor modification accepted to be published in JCA

Energy gap and proximity effect in MgB2MgB_2 superconducting wires

Measurements of the penetration depth $\lambda (T,H)$ in the presence of a DC magnetic field were performed in $MgB_2$ wires. In as-prepared wires $\lambda (T,H<130 Oe)$ shows a strong diamagnetic downturn below $\approx 10 K$. A DC magnetic field of $130 Oe$ completely suppressed the downturn. The data are consistent with proximity coupling to a surface $Mg$ layer left during synthesis. A theory for the proximity effect in the clean limit, together with an assumed distribution of the $Mg$ layer thickness, qualitatively explains the field and temperature dependence of the data. Removal of the $Mg$ by chemical etching results in an exponential temperature dependence for $\lambda (T)$ with an energy gap of $2 \Delta (0)/T_c\approx 1.54$ ($\Delta(0) \approx 2.61 meV$), in close agreement with recent measurements on commercial powders and single crystals. This minimum gap is only 44% of the BCS weak coupling value, implying substantial anisotropy.Comment: RevTeX 4, 4 EPS figure

Building a refinement checker for Z

In previous work we have described how refinements can be checked using a temporal logic based model-checker, and how we have built a model-checker for Z by providing a translation of Z into the SAL input language. In this paper we draw these two strands of work together and discuss how we have implemented refinement checking in our Z2SAL toolset. The net effect of this work is that the SAL toolset can be used to check refinements between Z specifications supplied as input files written in the LaTeX mark-up. Two examples are used to illustrate the approach and compare it with a manual translation and refinement check.Comment: In Proceedings Refine 2011, arXiv:1106.348

Parâmetros genéticos e análise de trilha para o florescimento precoce e características agronômicas da alface

O objetivo deste trabalho foi avaliar os parâmetros genéticos das características agronômicas e de tolerância ao florescimento precoce de onze cultivares de alface, bem como verificar a existência de associação entre as características. O experimento foi realizado em ambiente protegido, em delineamento de blocos ao acaso, com quatro repetições e doze plantas por parcela. Quarenta e cinco dias após o transplantio das mudas, foram mensuradas as seguintes características: massa de matéria fresca total e "comercial" da parte aérea, massa de matéria seca "comercial" da parte aérea, massa de matéria fresca e seca da raiz, diâmetro e circunferência da cabeça, altura de planta, número de folhas por planta e número de dias até a antese. Há variabilidade genética entre as cultivares, em todas as variáveis, exceto quanto à circunferência de planta e matéria fresca da raiz. As cultivares Regina 500, Lívia e Atração foram superiores quanto ao número de dias para o florescimento e também para as demais características avaliadas. A seleção contra o florescimento precoce ocasionou ganho em todas as características; porém, não interferiu na matéria seca da raiz. A matéria fresca da parte aérea e o diâmetro de cabeça são indicadas para a seleção indireta contra o florescimento precoce

The COMPASS Experiment at CERN

The COMPASS experiment makes use of the CERN SPS high-intensitymuon and hadron beams for the investigation of the nucleon spin structure and the spectroscopy of hadrons. One or more outgoing particles are detected in coincidence with the incoming muon or hadron. A large polarized target inside a superconducting solenoid is used for the measurements with the muon beam. Outgoing particles are detected by a two-stage, large angle and large momentum range spectrometer. The setup is built using several types of tracking detectors, according to the expected incident rate, required space resolution and the solid angle to be covered. Particle identification is achieved using a RICH counter and both hadron and electromagnetic calorimeters. The setup has been successfully operated from 2002 onwards using a muon beam. Data with a hadron beam were also collected in 2004. This article describes the main features and performances of the spectrometer in 2004; a short summary of the 2006 upgrade is also given.Comment: 84 papes, 74 figure