Ludics and its Applications to natural Language Semantics

Proofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. The conception is at the intersection of a proof-theoretic and a game-theoretic accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes

Readout system test benches

We propose to develop and exploit versatile multi-purpose Personal Computer-based Test Benches to support the evaluation and design of the basic elements required for digital front-end readout and data transmission systems for an LHC experiment. These test benches will have modular hardware facilities for the operation of new readout system components under realistic conditions, and will implement advanced modern software engineering concepts. They will support components such as fast ADCs, hybrid fibre-optic transceivers, and the prototype VLSI systolic array and data-flow processors currently being developed in national research laboratories and by the emerging European HDTV industry. These efforts would also lay the foundations for projects involving the development of custom-designed VLSI circuits

Roy-Steiner equations for pion-nucleon scattering

Starting from hyperbolic dispersion relations, we derive a closed system of Roy-Steiner equations for pion-nucleon scattering that respects analyticity, unitarity, and crossing symmetry. We work out analytically all kernel functions and unitarity relations required for the lowest partial waves. In order to suppress the dependence on the high-energy regime we also consider once- and twice-subtracted versions of the equations, where we identify the subtraction constants with subthreshold parameters. Assuming Mandelstam analyticity we determine the maximal range of validity of these equations. As a first step towards the solution of the full system we cast the equations for the $\pi\pi\to\bar NN$ partial waves into the form of a Muskhelishvili-Omn\`es problem with finite matching point, which we solve numerically in the single-channel approximation. We investigate in detail the role of individual contributions to our solutions and discuss some consequences for the spectral functions of the nucleon electromagnetic form factors.Comment: 106 pages, 18 figures; version published in JHE

Photon- and meson-induced reactions on the nucleon

In an unitary effective Lagrangian model we develop a unified description of both meson scattering and photon-induced reactions on the nucleon. Adding the photon to an already existing model for meson-nucleon scattering yields both Compton and meson photoproduction amplitudes. In a simultaneous fit to all available data involving the final states $\gamma N$, $\pi N$, $\pi\pi N$, $\eta N$ and $K \Lambda$ the parameters of the nucleon resonances are extracted.Comment: 57 pages, 14 figures, LaTex (uses Revtex and graphicx). Submitted to Phys. Rev. C. References updated, Fig. 14 change

CMS physics technical design report : Addendum on high density QCD with heavy ions

Peer reviewe