1,928 research outputs found

    Complexity of normalization in the pure typed Lambda-calculus

    Get PDF

    Model independent study of the Dirac structure of the nucleon-nucleon interaction

    Full text link
    Relativistic and non-relativistic modern nucleon-nucleon potentials are mapped on a relativistic operator basis using projection techniques. This allows to compare the various potentials at the level of covariant amplitudes were a remarkable agreement is found. In nuclear matter large scalar and vector mean fields of several hundred MeV magnitude are generated at tree level. This is found to be a model independent feature of the nucleon-nucleon interaction.Comment: 5 pages, 2 figures, results for V_lowk added, to appear in PR

    Boosting business with data analysis

    Get PDF
    __Abstract__ Pretty much every modern organisation collects a mountain of data on a daily basis as it goes about its business. But all that data is of little real value unless it is properly analysed and used to anticipate client behaviour and needs

    Bijbelse voornamen

    Get PDF

    Relativistic nucleon optical potentials with isospin dependence in Dirac Brueckner Hartree-Fock approach

    Full text link
    The relativistic optical model potential (OMP) for nucleon-nucleus scattering is investigated in the framework of Dirac-Brueckner-Hartree-Fock (DBHF) approach using the Bonn-B One-Boson- Exchange potential for the bare nucleon-nucleon interaction. Both real and imaginary parts of isospin-dependent nucleon self-energies in nuclear medium are derived from the DBHF approach based on the projection techniques within the subtracted T -matrix representation. The Dirac potentials as well as the corresponding Schrodinger equivalent potentials are evaluated. An improved local density approximation is employed in this analysis, where a range parameter is included to account for a finite-range correction of the nucleon-nucleon interaction. As an example the total cross sections, differential elastic scattering cross sections, analyzing powers for n, p + 27Al at incident energy 100 keV < E < 250 MeV are calculated. The results derived from this microscopic approach of the OMP are compared to the experimental data, as well as the results obtained with a phenomenological OMP. A good agreement between the theoretical results and the measurements can be achieved for all incident energies using a constant value for the range parameter.Comment: 10 pages, 16 figure

    Counting proofs in propositional logic

    Get PDF
    We give a procedure for counting the number of different proofs of a formula in various sorts of propositional logic. This number is either an integer (that may be 0 if the formula is not provable) or infinite
    • …
    corecore