Effect of hard processes on momentum correlations in pppp and ppˉp\bar{p} collisions

The HBT radii extracted in p-pbar and pp collisions at SPS and Tevatron show a clear correlation with the charged particle rapidity density. We propose to explain the correlation using a simple model where the distance from the initial hard parton-parton scattering to the hadronization point depends on the energy of the partons emitted. Since the particle multiplicity is correlated with the mean energy of the partons produced we can explain the experimental observations without invoking scenarios that assume a thermal fireball. The model has been applied with success to the existing experimental data both in the magnitude and the intensity of the correlation. As well, the model has been extended to pp collisions at the LHC energy of 14 TeV. The possibilities of a better insight into the string spatial development using 3D HBT analysis is discussed.Comment: 12 pages, 6 figure

The treatment of skin ulcers in patients with systemic sclerosis

Systemic Sclerosis (Ssc) is a complex disease of the connective tissue, characterized by progressive thickening and fibrosis of the skin and the internal organs and by diffused damage of the microvascular system. The fibrosis ones of the skin associated to the characteristic vascular alterations lead to the genesis of ulcers, more or less extended, often multiple, peripheral localization, chronic course, painful, able to influence patient's quality of life. Indeed, immunity reactivity, the thinning and the loss of elasticity of the skin, the peripheral neurological damage and the eventual drug assumption that can reduce regenerative/reparative abilities, can easy chronicizzate an ulcer and become infected complicating still more the patient disease, rendering more difficult the cure often, ulcer evolves to gangrene, and in some cases, in amputation too. For all these reasons, we have begun to study ulcers therapy (local and systemic), considering this activity it leave integrating of the charitable distance of the sclerodermico patient, putting to point on strategy both diagnostic and therapeutic, but above all with the primary scope, if possible, is to prevent ulcers, in contrary case, to alleviate the pain and to render the quality of the life of the patient better

Kripke Semantics for Martin-L\"of's Extensional Type Theory

It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly, dependent type theory is complete for locally cartesian closed categories. However, it is usually difficult to establish the coherence of interpretations of dependent type theory, i.e., to show that the interpretations of equal expressions are indeed equal. Several classes of models have been used to remedy this problem. We contribute to this investigation by giving a semantics that is standard, coherent, and sufficiently general for completeness while remaining relatively easy to compute with. Our models interpret types of Martin-L\"of's extensional dependent type theory as sets indexed over posets or, equivalently, as fibrations over posets. This semantics can be seen as a generalization to dependent type theory of the interpretation of intuitionistic first-order logic in Kripke models. This yields a simple coherent model theory, with respect to which simple and dependent type theory are sound and complete

A semantical approach to equilibria and rationality

Game theoretic equilibria are mathematical expressions of rationality. Rational agents are used to model not only humans and their software representatives, but also organisms, populations, species and genes, interacting with each other and with the environment. Rational behaviors are achieved not only through conscious reasoning, but also through spontaneous stabilization at equilibrium points. Formal theories of rationality are usually guided by informal intuitions, which are acquired by observing some concrete economic, biological, or network processes. Treating such processes as instances of computation, we reconstruct and refine some basic notions of equilibrium and rationality from the some basic structures of computation. It is, of course, well known that equilibria arise as fixed points; the point is that semantics of computation of fixed points seems to be providing novel methods, algebraic and coalgebraic, for reasoning about them.Comment: 18 pages; Proceedings of CALCO 200

Dual-readout Calorimetry

The RD52 Project at CERN is a pure instrumentation experiment whose goal is to understand the fundamental limitations to hadronic energy resolution, and other aspects of energy measurement, in high energy calorimeters. We have found that dual-readout calorimetry provides heretofore unprecedented information event-by-event for energy resolution, linearity of response, ease and robustness of calibration, fidelity of data, and particle identification, including energy lost to binding energy in nuclear break-up. We believe that hadronic energy resolutions of {\sigma}/E $\approx$ 1 - 2% are within reach for dual-readout calorimeters, enabling for the first time comparable measurement preci- sions on electrons, photons, muons, and quarks (jets). We briefly describe our current progress and near-term future plans. Complete information on all aspects of our work is available at the RD52 website http://highenergy.phys.ttu.edu/dream/.Comment: 10 pages, 10 figures, Snowmass White pape

Compilation of extended recursion in call-by-value functional languages

This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our technique as a translation scheme to a lambda-calculus featuring in-place update of memory blocks, and prove the translation to be correct.Comment: 62 pages, uses pi