9,453 research outputs found

    Verification and Validation of Semantic Annotations

    Full text link
    In this paper, we propose a framework to perform verification and validation of semantically annotated data. The annotations, extracted from websites, are verified against the schema.org vocabulary and Domain Specifications to ensure the syntactic correctness and completeness of the annotations. The Domain Specifications allow checking the compliance of annotations against corresponding domain-specific constraints. The validation mechanism will detect errors and inconsistencies between the content of the analyzed schema.org annotations and the content of the web pages where the annotations were found.Comment: Accepted for the A.P. Ershov Informatics Conference 2019(the PSI Conference Series, 12th edition) proceedin

    Prospects for Spin Physics at RHIC

    Get PDF
    Colliding beams of 70% polarized protons at up to s\sqrt{s}=500 GeV, with high luminosity, L=2×1032\times10^{{\rm 32}} cm−2^{-2}sec−1^{-1}, will represent a new and unique laboratory for studying the proton. RHIC-Spin will be the first polarized-proton collider and will be capable of copious production of jets, directly produced photons, and WW and ZZ bosons. Features will include direct and precise measurements of the polarization of the gluons and of uˉ\bar{u}, dˉ\bar{d}, uu, and dd quarks in a polarized proton. Parity violation searches for physics beyond the standard model will be competitive with unpolarized searches at the Fermilab Tevatron. Transverse spin will explore transversity for the first time, as well as quark-gluon correlations in the proton. Spin dependence of the total cross section and in the Coulomb nuclear interference region will be measured at collider energies for the first time. These qualitatively new measurements can be expected to deepen our understanding of the structure of matter and of the strong interaction.Comment: 51 pages, 22 figures. Scheduled to appear in the Annual Review of Nuclear and Particle Science Vol. 50, to be published in December 2000 by Annual Reviews, http://AnnualReviews.or

    Translation from Classical Two-Way Automata to Pebble Two-Way Automata

    Get PDF
    We study the relation between the standard two-way automata and more powerful devices, namely, two-way finite automata with an additional "pebble" movable along the input tape. Similarly as in the case of the classical two-way machines, it is not known whether there exists a polynomial trade-off, in the number of states, between the nondeterministic and deterministic pebble two-way automata. However, we show that these two machine models are not independent: if there exists a polynomial trade-off for the classical two-way automata, then there must also exist a polynomial trade-off for the pebble two-way automata. Thus, we have an upward collapse (or a downward separation) from the classical two-way automata to more powerful pebble automata, still staying within the class of regular languages. The same upward collapse holds for complementation of nondeterministic two-way machines. These results are obtained by showing that each pebble machine can be, by using suitable inputs, simulated by a classical two-way automaton with a linear number of states (and vice versa), despite the existing exponential blow-up between the classical and pebble two-way machines

    Numerical Jordan-Wigner approach for two dimensional spin systems

    Full text link
    We present a numerical self consistent variational approach based on the Jordan-Wigner transformation for two dimensional spin systems. We apply it to the study of the well known quantum (S=1/2) antiferromagnetic XXZ system as a function of the easy-axis anisotropy \Delta on a periodic square lattice. For the SU(2) case the method converges to a N\'eel ordered ground state irrespectively of the input density profile used and in accordance with other studies. This shows the potential utility of the proposed method to investigate more complicated situations like frustrated or disordered systems.Comment: Revtex, 8 pages, 4 figure

    Spin-Orbit-Induced Orbital Excitations in Sr2RuO4 and Ca2RuO4: A Resonant Inelastic X-ray Scattering Study

    Get PDF
    High-resolution resonant inelastic X-ray scattering (RIXS) at the oxygen K-edge has been used to study the orbital excitations of Ca2RuO4 and Sr2RuO4. In combination with linear dichroism X-ray absorption spectroscopy, the ruthenium 4d-orbital occupation and excitations were probed through their hybridization with the oxygen p-orbitals. These results are described within a minimal model, taking into account crystal field splitting and a spin-orbit coupling \lambda_{so}=200~meV. The effects of spin-orbit interaction on the electronic structure and implications for the Mott and superconducting ground states of (Ca,Sr)2RuO4 are discussed.Comment: accepted in PRB 201

    Magnetic-field-induced spin excitations and renormalized spin gap of the underdoped superconductor La1.895_{1.895}Sr0.105_{0.105}CuO4_{4}

    Get PDF
    High-resolution neutron inelastic scattering experiments in applied magnetic fields have been performed on La1.895_{1.895}Sr0.105_{0.105}CuO4_{4} (LSCO). In zero field, the temperature dependence of the low-energy peak intensity at the incommensurate momentum-transfer $\mathbf{Q}^{\ }_{\mathrm{IC}}=(0.5,0.5\pm\delta,0),(0.5\pm\delta,0.5,0)exhibitsananomalyatthesuperconducting exhibits an anomaly at the superconducting T^{\}_{c}$ which broadens and shifts to lower temperature upon the application of a magnetic field along the c-axis. A field-induced enhancement of the spectral weight is observed, but only at finite energy transfers and in an intermediate temperature range. These observations establish the opening of a strongly downward renormalized spin gap in the underdoped regime of LSCO. This behavior contrasts with the observed doping dependence of most electronic energy features.Comment: accepted for publication in Phys. Rev. Let

    Could face-centered cubic titanium in cold-rolled commercially-pure titanium only be a Ti-hydride?

    Get PDF
    A face-centered cubic (FCC) phase in electro-polished specimens for transmission electron microscopy of commercially pure titanium has sometimes been reported. Here, a combination of atom-probe tomography, scanning transmission electron microscopy and low-loss electron energy loss spectroscopy is employed to study both the crystal structural and chemical composition of this FCC phase. Our results prove that the FCC phase is actually a TiHx (x>1) hydride, and not a new allotrope of Ti, in agreement with previous reports. The formation of the hydride is discussed

    Shot noise of a quantum dot with non-Fermi liquid correlations

    Full text link
    The shot noise of a one-dimensional wire interrupted by two barriers shows interesting features related to the interplay between Coulomb blockade effects, Luttinger correlations and discrete excitations. At small bias the Fano factor reaches the lowest attainable value, 1/2, irrespective of the ratio of the two junction resistances. At larger voltages this asymmetry is power-law renormalized by the interaction strength. We discuss how the measurement of current and these features of the noise allow to extract the Luttinger liquid parameter.Comment: 4 pages, 3 figures,to be published in Phys. Rev. B. For high resolution image of Fig.1 see http://server1.fisica.unige.it/~braggio/doc.ht

    Reducible means and reducible inequalities

    Get PDF
    It is well-known that if a real valued function acting on a convex set satisfies the nn-variable Jensen inequality, for some natural number n≄2n\geq 2, then, for all k∈{1,
,n}k\in\{1,\dots, n\}, it fulfills the kk-variable Jensen inequality as well. In other words, the arithmetic mean and the Jensen inequality (as a convexity property) are both reducible. Motivated by this phenomenon, we investigate this property concerning more general means and convexity notions. We introduce a wide class of means which generalize the well-known means for arbitrary linear spaces and enjoy a so-called reducibility property. Finally, we give a sufficient condition for the reducibility of the (M,N)(M,N)-convexity property of functions and also for H\"older--Minkowski type inequalities
    • 

    corecore