Comparison of modern icing cloud instruments

Intercomparison tests with Particle Measuring Systems (PMS) were conducted. Cloud liquid water content (LWC) measurements were also taken with a Johnson and Williams (JW) hot-wire device and an icing rate device (Leigh IDS). Tests include varying cloud LWC (0.5 to 5 au gm), cloud median volume diameter (MVD) (15 to 26 microns), temperature (-29 to 20 C), and air speeds (50 to 285 mph). Comparisons were based upon evaluating probe estimates of cloud LWC and median volume diameter for given tunnel settings. Variations of plus or minus 10% and plus or minus 5% in LWC and MVD, respectively, were determined of spray clouds between test made at given tunnel settings (fixed LWC, MVD, and air speed) indicating cloud conditions were highly reproducible. Although LWC measurements from JW and Leigh devices were consistent with tunnel values, individual probe measurements either consistently over or underestimated tunnel values by factors ranging from about 0.2 to 2. Range amounted to a factor of 6 differences between LWC estimates of probes for given cloud conditions. For given cloud conditions, estimates of cloud MVD between probes were within plus or minus 3 microns and 93% of the test cases. Measurements overestimated tunnel values in the range between 10 to 20 microns. The need for improving currently used calibration procedures was indicated. Establishment of test facility (or facilities) such as an icing tunnel where instruments can be calibrated against known cloud standards would be a logical choice

Far-Ultraviolet and Far-Infrared Bivariate Luminosity Function of Galaxies: Complex Relation between Stellar and Dust Emission

Far-ultraviolet (FUV) and far-infrared (FIR) luminosity functions (LFs) of galaxies show a strong evolution from $z = 0$ to $z = 1$, but the FIR LF evolves much stronger than the FUV one. The FUV is dominantly radiated from newly formed short-lived OB stars, while the FIR is emitted by dust grains heated by the FUV radiation field. It is known that dust is always associated with star formation activity. Thus, both FUV and FIR are tightly related to the star formation in galaxies, but in a very complicated manner. In order to disentangle the relation between FUV and FIR emissions, we estimate the UV-IR bivariate LF (BLF) of galaxies with {\sl GALEX} and {\sl AKARI} All-Sky Survey datasets. Recently we invented a new mathematical method to construct the BLF with given marginals and prescribed correlation coefficient. This method makes use of a tool from mathematical statistics, so called "copula". The copula enables us to construct a bivariate distribution function from given marginal distributions with prescribed correlation and/or dependence structure. With this new formulation and FUV and FIR univariate LFs, we analyze various FUV and FIR data with {\sl GALEX}, {\sl Spitzer}, and {\sl AKARI} to estimate the UV-IR BLF. The obtained BLFs naturally explain the nonlinear complicated relation between FUV and FIR emission from star-forming galaxies. Though the faint-end of the BLF was not well constrained for high-$z$ samples, the estimated linear correlation coefficient $\rho$ was found to be very high, and is remarkably stable with redshifts (from 0.95 at $z = 0$ to 0.85 at $z = 1.0$). This implies the evolution of the UV-IR BLF is mainly due to the different evolution of the univariate LFs, and may not be controlled by the dependence structure.Comment: 10 pages, 7 figures, Earth, Planets and Space, in pres

Geometrical classification of Killing tensors on bidimensional flat manifolds

Valence two Killing tensors in the Euclidean and Minkowski planes are classified under the action of the group which preserves the type of the corresponding Killing web. The classification is based on an analysis of the system of determining partial differential equations for the group invariants and is entirely algebraic. The approach allows to classify both characteristic and non characteristic Killing tensors.Comment: 27 pages, 20 figures, pictures format changed to .eps, typos correcte

On duality relations for session types

Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel. A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety. Duality relations have been independently defined in different ways and different works, without considering their effect on the type system. In this paper we systematically study the existing duality relations and some new ones, and compare them in order to understand their expressiveness. The outcome is that those relations are split into two groups, one related to the na¨ıve inductive duality, and the other related to a notion of mutual compliance, which we borrow from the literature on contracts for web-services

New procedures for testing whether stock price processes are martingales

We propose procedures for testing whether stock price processes are martingales based on limit order type betting strategies. We first show that the null hypothesis of martingale property of a stock price process can be tested based on the capital process of a betting strategy. In particular with high frequency Markov type strategies we find that martingale null hypotheses are rejected for many stock price processes

Hall Effect in Nested Antiferromagnets Near the Quantum Critical Point

We investigate the behavior of the Hall coefficient in the case of antiferromagnetism driven by Fermi surface nesting, and find that the Hall coefficient should abruptly increase with the onset of magnetism, as recently observed in vanadium doped chromium. This effect is due to the sudden removal of flat portions of the Fermi surface upon magnetic ordering. Within this picture, the Hall coefficient should scale as the square of the residual resistivity divided by the impurity concentration, which is consistent with available data.Comment: published version; an accidental interchange in the quoting of $sigma_{xyz}$ analytic dependencies was correcte

Coherency of the superconducting state: the muon spin rotation and ARPES studies of (BiPb)_2(SrLa)_2CuO_{6+\delta}

The superfluid density \rho_s in underdoped (T_c\simeq23K), optimally doped (T_c\simeq35K) and overdoped (T_c\simeq29K) single crystalline (BiPb)_2(SrLa)_2CuO_{6+\delta} samples was studied by means of muon-spin rotation (\muSR). By combining the \muSR data with the results of ARPES measurements on similar samples [Nature 457, 296 (2009)] good self-consistent agreement is obtained between two techniques concerning the temperature and the doping evolution of \rho_s.Comment: 4 pages, 3 figures

Polarization phenomena in hyperon-nucleon scattering

We investigate polarization observables in hyperon-nucleon scattering by decomposing scattering amplitudes into spin-space tensors, where each component describes scattering by corresponding spin-dependent interactions, so that contributions of the interactions in the observables are individually identified. In this way, for elastic scattering we find some linear combinations of the observables sensitive to particular spin-dependent interactions such as symmetric spin-orbit (LS) interactions and antisymmetric LS ones. These will be useful to criticize theoretical predictions of the interactions when the relevant observables are measured. We treat vector analyzing powers, depolarizations, and coefficients of polarization transfers and spin correlations, a part of which is numerically examined in $\Sigma^{+} p$ scattering as an example. Total cross sections are studied for polarized beams and targets as well as for unpolarized ones to investigate spin dependence of imaginary parts of forward scattering amplitudes.Comment: 15 pages, 8 figure

On Global Types and Multi-Party Session

Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. In addition to the technical content, we discuss some limitations of our language of global types and provide an extensive comparison with related specification languages adopted in different communities