570 research outputs found
A principled approach to programming with nested types in Haskell
Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant foundation for programming with nested types in Haskell
Adsorption of Cd, Cu, Ni and Zn in tropical soils under competitive and non-competitive systems
The adsorption of heavy metals in soils affects their behavior in the environment and their bioavailability to plants. The knowledge of the adsorption mechanisms in competitive systems allows a more realistic evaluation of the metals' behavior in the soil than the single metal adsorption. The objectives of this study were (i) to evaluate Cd, Cu, Ni, and Zn adsorption in 14 surface samples (0-0.2 m) of representative soils of the Brazilian humid-tropical region, in competitive and non-competitive systems, and (ii) to establish metal affinity sequences for each soil, based in the maximum adsorption capacity (MAC) estimated by the Langmuir model. The Rhodic Eutrudox, the Kandiudalf Eutrudox, the Arenic Hapludalf, the Arenic Hapludult and the Typic Argiudoll had the highest metals' adsorption capacity, whereas the Typic Quartzipsamment and the sandy-textured Arenic Hapludult had the lowest values. In general, the MAC values for metals were lower in the competitive than in the non-competitive system. In the non-competitive system, the most common affinity sequence was Cu > Zn > Ni > Cd, whereas the most common sequence was Cu > Cd > Zn > Ni in the competitive system. In general, the Langmuir model fitted well the adsorption data of metals on the studied soils.A adsorção de metais pesados em solos afeta seu comportamento e biodisponibilidade às plantas. O conhecimento dos mecanismos de adsorção em sistemas competitivos permite uma avaliação mais realista do comportamento dos metais no solo do que estudos com adsorção de cada metal, isoladamente. Os objetivos desse trabalho foram: (i) avaliar a adsorção de Cd, Cu, Ni e Zn em amostras superficiais (0-0,2 m) de 14 solos representativos da região tropical úmida, em sistema competitivo e não-competitivo, e (ii) estabelecer sequências de afinidade metålica para cada solo, com base nos valores de capacidade måxima de adsorção (CMA) dos metais estimados por meio do modelo de Langmuir. O Rhodic Eutrudox, o Kandiudalfic Eutrudox, o Arenic Hapludalf (Alf2), o Arenic Hapludult (Ult2) e o Typic Argiudoll apresentaram elevadas capacidades de adsorção dos metais, ocorrendo o inverso para o Typic Quartzipsamment e para o Arenic Hapludult textura arenosa. No geral, a CMA dos metais aos solos foi menor no sistema competitivo. A sequência de afinidade mais comumente encontrada no sistema não-competitivo foi Cu > Zn > Ni > Cd. No sistema competitivo, a sequência foi Cu > Cd > Zn > Ni. Em geral, o modelo de Langmuir simulou de maneira satisfatória a adsorção dos metais nas amostras de solo
Fate of biosolids trace metals in a dryland wheat agroecosystem
Biosolids land application for beneficial reuse applies varying
amounts of trace metals to soils. Measuring plant-available or
total soil metals is typically performed to ensure environmental
protection, but these techniques do not quantify which
soil phases play important roles in terms of metal release or
attenuation. This study assessed the distribution of Cd, Cr,
Cu, Mo, Ni, Pb, and Zn associated with soluble/exchangeable,
specifically adsorbed/carbonate-bound, amorphous Mn
hydroxyoxide-bound, amorphous Fe hydroxyoxideâbound,
organically complexed, and residual inorganic phases. Biosolids
were applied every 2 yr from 1982 to 2002 (except in 1998)
at rates of 0, 6.7, 13.4, 26.8, and 40.3 dry Mg biosolids ha?1
to 3.6- by 17.1-m plots. In 2003, 0- to 20-cm and 20- to
60-cm soil depths were collected and subjected to 4 mol L?1
HNO3 digestion and sequential extraction. Trace metals were
concentrated in the 0- to 20-cm depth, with no significant
observable downward movement using 4 mol L?1 HNO3 or
sequential extraction. The sequential extraction showed nearly
all measurable Cd present in relatively mobile forms and Cr,
Cu, Mo, Ni, Pb, and Zn present in more resistant phases.
Biosolids application did not affect Cd or Cr fractionation
but did increase relatively immobile Cu, Mo, and Zn phases
and relatively mobile Cu, Ni, and Pb pools. The mobile
phases have not contributed to significant downward metal
movement. Long-term, repeated biosolids applications at rates
considered several times greater than agronomic levels should
not significantly contribute to downward metal transport and
ground water contamination for soils under similar climatic
conditions, agronomic practices, and histories
Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV
Results are presented from a search for a W' boson using a dataset
corresponding to 5.0 inverse femtobarns of integrated luminosity collected
during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV.
The W' boson is modeled as a heavy W boson, but different scenarios for the
couplings to fermions are considered, involving both left-handed and
right-handed chiral projections of the fermions, as well as an arbitrary
mixture of the two. The search is performed in the decay channel W' to t b,
leading to a final state signature with a single lepton (e, mu), missing
transverse energy, and jets, at least one of which is tagged as a b-jet. A W'
boson that couples to fermions with the same coupling constant as the W, but to
the right-handed rather than left-handed chiral projections, is excluded for
masses below 1.85 TeV at the 95% confidence level. For the first time using LHC
data, constraints on the W' gauge coupling for a set of left- and right-handed
coupling combinations have been placed. These results represent a significant
improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe
Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV
A search for a Higgs boson decaying into two photons is described. The
analysis is performed using a dataset recorded by the CMS experiment at the LHC
from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an
integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross
section of the standard model Higgs boson decaying to two photons. The expected
exclusion limit at 95% confidence level is between 1.4 and 2.4 times the
standard model cross section in the mass range between 110 and 150 GeV. The
analysis of the data excludes, at 95% confidence level, the standard model
Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The
largest excess of events above the expected standard model background is
observed for a Higgs boson mass hypothesis of 124 GeV with a local significance
of 3.1 sigma. The global significance of observing an excess with a local
significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is
estimated to be 1.8 sigma. More data are required to ascertain the origin of
this excess.Comment: Submitted to Physics Letters
Measurement of the Lambda(b) cross section and the anti-Lambda(b) to Lambda(b) ratio with Lambda(b) to J/Psi Lambda decays in pp collisions at sqrt(s) = 7 TeV
The Lambda(b) differential production cross section and the cross section
ratio anti-Lambda(b)/Lambda(b) are measured as functions of transverse momentum
pt(Lambda(b)) and rapidity abs(y(Lambda(b))) in pp collisions at sqrt(s) = 7
TeV using data collected by the CMS experiment at the LHC. The measurements are
based on Lambda(b) decays reconstructed in the exclusive final state J/Psi
Lambda, with the subsequent decays J/Psi to an opposite-sign muon pair and
Lambda to proton pion, using a data sample corresponding to an integrated
luminosity of 1.9 inverse femtobarns. The product of the cross section times
the branching ratio for Lambda(b) to J/Psi Lambda versus pt(Lambda(b)) falls
faster than that of b mesons. The measured value of the cross section times the
branching ratio for pt(Lambda(b)) > 10 GeV and abs(y(Lambda(b))) < 2.0 is 1.06
+/- 0.06 +/- 0.12 nb, and the integrated cross section ratio for
anti-Lambda(b)/Lambda(b) is 1.02 +/- 0.07 +/- 0.09, where the uncertainties are
statistical and systematic, respectively.Comment: Submitted to Physics Letters
Search for new physics in events with opposite-sign leptons, jets, and missing transverse energy in pp collisions at sqrt(s) = 7 TeV
A search is presented for physics beyond the standard model (BSM) in final
states with a pair of opposite-sign isolated leptons accompanied by jets and
missing transverse energy. The search uses LHC data recorded at a
center-of-mass energy sqrt(s) = 7 TeV with the CMS detector, corresponding to
an integrated luminosity of approximately 5 inverse femtobarns. Two
complementary search strategies are employed. The first probes models with a
specific dilepton production mechanism that leads to a characteristic kinematic
edge in the dilepton mass distribution. The second strategy probes models of
dilepton production with heavy, colored objects that decay to final states
including invisible particles, leading to very large hadronic activity and
missing transverse energy. No evidence for an event yield in excess of the
standard model expectations is found. Upper limits on the BSM contributions to
the signal regions are deduced from the results, which are used to exclude a
region of the parameter space of the constrained minimal supersymmetric
extension of the standard model. Additional information related to detector
efficiencies and response is provided to allow testing specific models of BSM
physics not considered in this paper.Comment: Replaced with published version. Added journal reference and DO
- âŚ