578 research outputs found
On cospectral signed digraphs
The set of distinct eigenvalues of a signed digraph S together with their respective multiplicities is called its spectrum. Two signed digraphs of same order are said to be cospectral if they have the same spectrum. In this paper, we show the existence of integral, real and Gaussian cospectral signed digraphs. We give a spectral characterization of normal signed digraphs and use it to construct cospectral normal signed digraphs
Productivity and economic evaluation of Willow (Salix alba L.) based silvopastoral agroforestry system in Kashmir valley
Performance of two fodder crops namely, sorghum (Sorghum vulgare L.) and maize (Zea mays L.) was investigated with Willow (Salix alba L.) to evaluate productivity and economics of the silvopastoral agroforestry system in Kashmir valley. The experiment was laid out by planting two year old willows at 2.0m × 2.0m spacing and dividing the main plot into sub-plots of size 8m × 2m each with 5 replications in randomized block design (RDB). The intercrops of sorghum and maize were maintained at 20cm × 10 cm spacing and supplied with recommended doses of fertilizers. The economics of the willow plantation intercropped with fodder crops was compared with sole willow farming by the benefit-cost ratio and net present worth. The study revealed the differential behaviour of Salix alba regarding growth parameters (height, diameter and girth) by different intercrops and various fodder intercrops with respect to yield, above ground biomass, dry matter production and soil nutrient status (pH, organic carbon, available nitrogen, phosphorus and potassium). The willow based silvopastoral system was estimated to have benefit-cost ratio of 2.71 with maize and 2.68 with sorghum, while as sole crop the willows accrued a benefit-cost ratio of 2.66. The study is useful in discovering growth of willows, productivity of fodder crops and soil nutrient status under various silvopastoral agroforestry systems for maximizing economic gains. The findings envisaged evidences in favour of adopting willow based silvopastoral agroforestry instead of sole tree farming and the knowledge of interactions will be helpful in proper management of the system for sustained multiple productions
An incremental modular technique for checking LTL-X properties on Petri nets
Model-checking is a powerful and widespread technique for the verification of finite state concurrent systems. However, the main hindrance for wider application of this technique is the well-known state explosion problem. Modular verification is a promising natural approach to tackle this problem. It is based on the "divide and conquer" principle and aims at deducing the properties of the system from those of its components analysed in isolation. Unfortunately, several issues make the use of modular verification techniques difficult in practice. First, deciding how to partition the system into components is not trivial and can have a significant impact on the resources needed for verification. Second, when model-checking a component in isolation, how should the environment of this component be described? In this paper, we address these problems in the framework of model-checking LTL\X action-based properties on Petri nets. We propose an incremental and modular verification approach where the system model is partitioned according to the actions occurring in the property to be verified and where the environment of a component is taken into account using the linear place invariants of the system
Simulations of galactic dynamos
We review our current understanding of galactic dynamo theory, paying
particular attention to numerical simulations both of the mean-field equations
and the original three-dimensional equations relevant to describing the
magnetic field evolution for a turbulent flow. We emphasize the theoretical
difficulties in explaining non-axisymmetric magnetic fields in galaxies and
discuss the observational basis for such results in terms of rotation measure
analysis. Next, we discuss nonlinear theory, the role of magnetic helicity
conservation and magnetic helicity fluxes. This leads to the possibility that
galactic magnetic fields may be bi-helical, with opposite signs of helicity and
large and small length scales. We discuss their observational signatures and
close by discussing the possibilities of explaining the origin of primordial
magnetic fields.Comment: 28 pages, 15 figure, to appear in Lecture Notes in Physics "Magnetic
fields in diffuse media", Eds. E. de Gouveia Dal Pino and A. Lazaria
A High Statistics Search for Ultra-High Energy Gamma-Ray Emission from Cygnus X-3 and Hercules X-1
We have carried out a high statistics (2 Billion events) search for
ultra-high energy gamma-ray emission from the X-ray binary sources Cygnus X-3
and Hercules X-1. Using data taken with the CASA-MIA detector over a five year
period (1990-1995), we find no evidence for steady emission from either source
at energies above 115 TeV. The derived upper limits on such emission are more
than two orders of magnitude lower than earlier claimed detections. We also
find no evidence for neutral particle or gamma-ray emission from either source
on time scales of one day and 0.5 hr. For Cygnus X-3, there is no evidence for
emission correlated with the 4.8 hr X-ray periodicity or with the occurrence of
large radio flares. Unless one postulates that these sources were very active
earlier and are now dormant, the limits presented here put into question the
earlier results, and highlight the difficulties that possible future
experiments will have in detecting gamma-ray signals at ultra-high energies.Comment: 26 LaTeX pages, 16 PostScript figures, uses psfig.sty to be published
in Physical Review
Measurement of spin correlation in ttbar production using dilepton final states
We measure the correlation between the spin of the top quark and the spin of
the anti-top quark in (ttbar -> W+ W- b bbar -> l+ nu b l- nubar bbar) final
states produced in ppbar collisions at a center of mass energy sqrt(s)=1.96
TeV, where l is an electron or muon. The data correspond to an integrated
luminosity of 5.4 fb-1 and were collected with the D0 detector at the Fermilab
Tevatron collider. The correlation is extracted from the angles of the two
leptons in the t and tbar rest frames, yielding a correlation strength C=
0.10^{+0.45}_{-0.45}, in agreement with the NLO QCD prediction within two
standard deviations, but also in agreement with the no correlation hypothesis.Comment: 10 pages, 3 figures, submitted to PL
Search for single top quarks in the tau+jets channel using 4.8 fb of collision data
We present the first direct search for single top quark production using tau
leptons. The search is based on 4.8 fb of integrated luminosity
collected in collisions at =1.96 TeV with the D0 detector
at the Fermilab Tevatron Collider. We select events with a final state
including an isolated tau lepton, missing transverse energy, two or three jets,
one or two of them tagged. We use a multivariate technique to discriminate
signal from background. The number of events observed in data in this final
state is consistent with the signal plus background expectation. We set in the
tau+jets channel an upper limit on the single top quark cross section of
\TauLimObs pb at the 95% C.L. This measurement allows a gain of 4% in expected
sensitivity for the observation of single top production when combining it with
electron+jets and muon+jets channels already published by the D0 collaboration
with 2.3 fb of data. We measure a combined cross section of
\SuperCombineXSall pb, which is the most precise measurement to date.Comment: 12 pages, 5 figure
b-Jet Identification in the D0 Experiment
Algorithms distinguishing jets originating from b quarks from other jet
flavors are important tools in the physics program of the D0 experiment at the
Fermilab Tevatron p-pbar collider. This article describes the methods that have
been used to identify b-quark jets, exploiting in particular the long lifetimes
of b-flavored hadrons, and the calibration of the performance of these
algorithms based on collider data.Comment: submitted to Nuclear Instruments and Methods in Physics Research
Search for pair production of the scalar top quark in the electron-muon final state
We report the result of a search for the pair production of the lightest
supersymmetric partner of the top quark () in
collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron
collider corresponding to an integrated luminosity of 5.4 fb. The scalar
top quarks are assumed to decay into a quark, a charged lepton, and a
scalar neutrino (), and the search is performed in the electron
plus muon final state. No significant excess of events above the standard model
prediction is detected, and improved exclusion limits at the 95% C.L. are set
in the the (,) mass plane
Measurement of the dijet invariant mass cross section in proton anti-proton collisions at sqrt{s} = 1.96 TeV
The inclusive dijet production double differential cross section as a
function of the dijet invariant mass and of the largest absolute rapidity of
the two jets with the largest transverse momentum in an event is measured in
proton anti-proton collisions at sqrt{s} = 1.96 TeV using 0.7 fb^{-1}
integrated luminosity collected with the D0 detector at the Fermilab Tevatron
Collider. The measurement is performed in six rapidity regions up to a maximum
rapidity of 2.4. Next-to-leading order perturbative QCD predictions are found
to be in agreement with the data.Comment: Published in Phys. Lett. B, 693, (2010), 531-538, 8 pages, 2 figures,
6 table
- …