2,873 research outputs found
Effect of hard processes on momentum correlations in and 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 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
Combined methodologies for gaining much information from ancient dental calculus: testing experimental strategies for simultaneously analysing DNA and food residues
- …