493 research outputs found

    Diversity Jurisdiction - Limited Partnerships

    Get PDF
    The United States Supreme Court held that, for purposes of diversity jurisdiction, the citizenship of each member of a limited partnership, both limited and general partners, must be considered. Carden v Arkoma Associates, ___ US ___, 110 S Ct 1015 (1990)

    Crisis in Our Shelters: A Proposal

    Get PDF

    Seroprevalence of Hepatitis E among Boston Area Travelers, 2009-2010

    Full text link
    We determined the prevalence of IgG antibodies to hepatitis E virus (anti-HEV IgG) among travelers attending Boston-area travel health clinics from 2009 to 2010. Pre-travel samples were available for 1,356 travelers, with paired pre- and post-travel samples for 450 (33%). Eighty of 1,356 (6%) pre-travel samples were positive for anti-HEV IgG. Compared with participants who had never lived in nor traveled to a highly endemic country, the pre-travel prevalence odds ratio (POR) of anti-HEV IgG among participants born in or with a history of previous travel to a highly endemic country was increased (POR = 4.8, 95% CI = 2.3–10.3 and POR = 2.6, 95% CI = 1.4–5.0, respectively). Among participants with previous travel to a highly endemic country, anti-HEV IgG was associated with age > 40 years (POR = 3.7, 95% CI = 1.3–10.2) and travel history to ≥ 3 highly endemic countries (POR = 2.7, 95% CI = 1.2–5.9). Two participants may have contracted HEV infection during their 2009–2010 trip

    Thermal Radiation from Nucleons and Mesons

    Full text link
    Thermal photon emission rates due to meson-nucleon interactions have been evaluated. An exhaustive set of reactions involving p(\bar p), n(\bar n), rho, omega, a_1, pi and eta is seen to provide a sizeable contribution to the emission rate from hot hadronic matter. Contributions from baryonic resonances are found to be negligibly small

    Hydration of methanol in water. A DFT-based molecular dynamics study

    Get PDF
    We studied the hydration of a single methanol molecule in aqueous solution by first-principle DFT-based molecular dynamics simulation. The calculations show that the local structural and short-time dynamical properties of the water molecules remain almost unchanged by the presence of the methanol, confirming the observation from recent experimental structural data for dilute solutions. We also see, in accordance with this experimental work, a distinct shell of water molecules that consists of about 15 molecules. We found no evidence for a strong tangential ordering of the water molecules in the first hydration shell.Comment: 5 pages, 3 figures, submitted to Chemical Physics Letter

    Testing of quantum phase in matter wave optics

    Full text link
    Various phase concepts may be treated as special cases of the maximum likelihood estimation. For example the discrete Fourier estimation that actually coincides with the operational phase of Noh, Fouge`res and Mandel is obtained for continuous Gaussian signals with phase modulated mean.Since signals in quantum theory are discrete, a prediction different from that given by the Gaussian hypothesis should be obtained as the best fit assuming a discrete Poissonian statistics of the signal. Although the Gaussian estimation gives a satisfactory approximation for fitting the phase distribution of almost any state the optimal phase estimation offers in certain cases a measurable better performance. This has been demonstrated in neutron--optical experiment.Comment: 8 pages, 4 figure

    Automating Deductive Verification for Weak-Memory Programs

    Full text link
    Writing correct programs for weak memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of such programs have recently been proposed, but their usage has been limited thus far to manual proofs. Automating proofs in these logics via first-order solvers is non-trivial, due to reasoning features such as higher-order assertions, modalities and rich permission resources. In this paper, we provide the first implementation of a weak memory program logic using existing deductive verification tools. We tackle three recent program logics: Relaxed Separation Logic and two forms of Fenced Separation Logic, and show how these can be encoded using the Viper verification infrastructure. In doing so, we illustrate several novel encoding techniques which could be employed for other logics. Our work is implemented, and has been evaluated on examples from existing papers as well as the Facebook open-source Folly library.Comment: Extended version of TACAS 2018 publicatio

    Photon interferometry and size of the hot zone in relativistic heavy ion collisions

    Full text link
    The parameters obtained from the theoretical analysis of the single photon spectra observed by the WA98 collaboration at SPS energies have been used to evaluate the two photon correlation functions. The single photon spectra and the two photon correlations at RHIC energies have also been evaluated, taking into account the effects of the possible spectral change of hadrons in a thermal bath. We find that the ratio Rside/Rout1R_{side}/R_{out} \sim 1 for SPS and Rside/Rout<1R_{side}/R_{out} <1 for RHIC energy.Comment: text changed, figures adde

    Density of Superfluid Helium Droplets

    Full text link
    The classical integral cross sections of large superfluid 4He_N droplets and the number of atoms in the droplets (N=10^3-10^4) have been measured in molecular beam scattering experiments. These measurements are found to be in good agreement with the cross sections predicted from density functional calculations of the radial density distributions with a 10-90 % surface thickness of 5.7\AA. By using a simple model for the density profile of the droplets a thickness of about 6-8\AA is extracted directly from the data.Comment: 27 pages, REVTeX, 5 postscript figure
    corecore