Satisfiability of CTL* with constraints

We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at Concur 201

Constraint checking during error recovery

The system-level software onboard a spacecraft is responsible for recovery from communication, power, thermal, and computer-health anomalies that may occur. The recovery must occur without disrupting any critical scientific or engineering activity that is executing at the time of the error. Thus, the error-recovery software may have to execute concurrently with the ongoing acquisition of scientific data or with spacecraft maneuvers. This work provides a technique by which the rules that constrain the concurrent execution of these processes can be modeled in a graph. An algorithm is described that uses this model to validate that the constraints hold for all concurrent executions of the error-recovery software with the software that controls the science and engineering activities of the spacecraft. The results are applicable to a variety of control systems with critical constraints on the timing and ordering of the events they control

On finite volume effects in the chiral extrapolation of baryon masses

We perform an analysis of the QCD lattice data on the baryon octet and decuplet masses based on the relativistic chiral Lagrangian. The baryon self energies are computed in a finite volume at next-to-next-to-next-to leading order (N$^3$LO), where the dependence on the physical meson and baryon masses is kept. The number of free parameters is reduced significantly down to 12 by relying on large-$N_c$ sum rules. Altogether we describe accurately more than 220 data points from six different lattice groups, BMW, PACS-CS, HSC, LHPC, QCDSF-UKQCD and NPLQCD. Values for all counter terms relevant at N$^3$LO are predicted. In particular we extract a pion-nucleon sigma term of 39$_{-1}^{+2}$ MeV and a strangeness sigma term of the nucleon of $\sigma_{sN} = 84^{+ 28}_{-\;4}$ MeV. The flavour SU(3) chiral limit of the baryon octet and decuplet masses is determined with $(802 \pm 4)$ MeV and $(1103 \pm 6)$ MeV. Detailed predictions for the baryon masses as currently evaluated by the ETM lattice QCD group are made.Comment: 44 pages, 10 figures and 6 tables - the revised manuscript contains the results of additional fits at the N^2LO level - 4 additional figures show the size of finite volume corrections for each lattice point - more technical details on the evaluation of finite volume effects are give

Simultaneous measurement of the trace elements Al, As, B, Be, Cd, Co, Cu, Fe, Li, Mn, Mo, Ni, Rb, Se, Sr, and Zn in human serum and their reference ranges by ICP-MS

The goal of this article was to establish reference ranges of the concentration of trace elements in human serum and to compare these results with those reported by other authors. We describe the sample preparation and measurement conditions that allow the rapid, precise, and accurate determination of Al, As, B, Be, Cd, Co, Cu, Fe, Li, Mn, Mo, Ni, Rb, Se, Sr, and Zn in human serum samples (n=110) by inductively coupled plasma-mass spectrometry (ICP-MS). Accuracy and precision were determined by analyzing three reconstituted reference serum samples by comparison with other methods and by the standard addition procedure. The advantages of the ICP-MS method include short time of analysis of the elements mentioned, low detection limit, high precision, and high accuracy. Disadventages include a high risk of contamination due to the presence of some of the elements of interest in the environment, the relatively delicate sample handling, and the high cost of the equipmen

CHEMICALLY MODIFIED PHOTOSYNTHETIC BACTERIAL REACTION CENTERS: CIRCULAR DICHROISM, RAMAN RESONANCE, LOW TEMPERATURE ABSORPTION, FLUORESCENCE AND ODMR SPECTRA AND POLYPEPTIDE COMPOSITION OF BOROHYDRIDE TREATED REACTION CENTERS FROM Rhodobacter sphaeroides R26

Reaction centers from Rhodobacter sphaeroides have been modified by treatment with sodium borohydride similar to the original procedure [Ditson et al., Biochim. Biophys. Acta 766, 623 (1984)], and investigated spectroscopically and by gel electrophoresis. (1) Low temperature (1.2 K) absorption, fluorescence, absorption- and fluorescence-detected ODMR, and microwave-induced singlet-triplet absorption difference spectra (MIA) suggest that the treatment produces a spectroscopically homogeneous preparation with one of the ‘additional’ bacteriochlorophylls being removed. The modification does not alter the zero field splitting parameters of the primary donor triplet (TP870). (2) From the circular dichroism and Raman resonance spectra in the1500–1800 cm-1 region, the removed pigment is assigned to BchlM, e.g. the "extra" Bchl on the "inactive" M-branch. (3) A strong coupling among all pigment molecules is deduced from the circular dichroism spectra, because pronounced band-shifts and/or intensity changes occur in the spectral components assigned to all pigments. This is supported by distinct differences among the MIA spectra of untreated and modified reaction centers, as well as by Raman resonance. (4) The modification is accompanied by partial proteolytic cleavage of the M-subunit. The preparation is thus spectroscopically homogeneous, but biochemically heterogenous

Fractional Langevin equation

We investigate fractional Brownian motion with a microscopic random-matrix model and introduce a fractional Langevin equation. We use the latter to study both sub- and superdiffusion of a free particle coupled to a fractal heat bath. We further compare fractional Brownian motion with the fractal time process. The respective mean-square displacements of these two forms of anomalous diffusion exhibit the same power-law behavior. Here we show that their lowest moments are actually all identical, except the second moment of the velocity. This provides a simple criterion which enables to distinguish these two non-Markovian processes.Comment: 4 page

Concentration of 17 trace elements in serum and whole blood of plains viscachas (Lagostomus maximus) by ICP-MS, their reference ranges, and their relation to cataract

The reference ranges of the trace elements Al, As, Be, B, Cd, Co, Cu, Fe, Mn, Mo, Ni, Pb, Li, Rb, Se, Sr, and Zn were determined by inductively coupled plasma-mass spectrometry (ICP-MS) in sera of a group of free-ranging plains viscachas of the pampa grasslands of Argentina. The values were compared with those of a small group of captive plains viscachas of the Zurich Zoo with diabetes and bilateral cataracts. In addition, a method for digestion of whole-blood samples is described for the trace element determination. Significant differences in the concentration of trace elements in the two groups of animals are discussed. No correlation was found between the levels of selenium and of other trace elements compared to the formation of cataract

Counterrotating Nuclear Disks in Arp 220

The ultraluminous infrared galaxy Arp 220 has been observed at 0.5" resolution in CO(2-1) and 1 mm continuum using the newly expanded Owens Valley Millimeter Array. The CO and continuum peaks at the double nuclei and the surrounding molecular gas disk are clearly resolved. We find steep velocity gradients across each nucleus (dV ~ 500 km/s within r= 0.3") whose directions are not aligned with each other and with that of the outer gas disk. We conclude that the double nuclei have their own gas disks (r ~ 100 pc). They are counterrotating with respect to each other and embedded in the outer gas disk (r ~ 1 kpc) rotating around the dynamical center of the system. The masses of each nucleus are M_dyn > 2* 10^9 M_sun based on the CO kinematics. Although there is no evidence of an old stellar population in the optical or near infrared spectroscopy of the nuclei (probably due to the much brighter young population), it seems likely that these nuclei were 'seeded' from the pre-merger nuclei in view of their counterrotating gas kinematics. The gas disks probably constitute a significant fraction (~ 50 %) of the mass in each nucleus. The CO and continuum brightness temperatures imply that the nuclear gas disks have high area filling factors (~ 0.5-1) and have extremely high visual extinctions (Av ~ 1000 mag). The molecular gas must be hot (>= 40 K) and dense (>= 10^4-5 cm^-3), given the large mass and small scale-height of the nuclear disks. The continuum data suggest that the large luminosity (be it starburst or AGN) must originate within 100 pc of the two nuclear gas disks which were presumably formed through concentration of gas from the progenitor outer galaxy disks.Comment: 20 pages, 5 figures. Accepted for publication in The Astrophysical Journa

Probing for evolutionary links between local ULIRGs and QSOs from NIR spectroscopy

We present a study of the dynamical evolution of Ultraluminous Infrared Galaxies (ULIRGs), merging galaxies of infrared luminosity >10^12 L_sun. During our Very Large Telescope large program, we have obtained ISAAC near-infrared, high-resolution spectra of 54 ULIRGs (at several merger phases) and 12 local Palomar-Green QSOs to investigate whether ULIRGs go through a QSO phase during their evolution. One possible evolutionary scenario is that after nuclear coalescence, the black hole radiates close to Eddington to produce QSO luminosities. The mean stellar velocity dispersion that we measure from our spectra is similar (~160 km/s) for 30 post-coalescence ULIRGs and 7 IR-bright QSOs. The black holes in both populations have masses of order 10^7-10^8 M_sun (calculated from the relation to the host dispersion) and accrete at rates >0.5 Eddington. Placing ULIRGs and IR-bright QSOs on the fundamental plane of early-type galaxies shows that they are located on a similar region (that of moderate-mass ellipticals), in contrast to giant ellipticals and radio-loud QSOs. While this preliminary comparison of the ULIRG and QSO host kinematical properties indicates that (some) ULIRGs may undergo a QSO phase in their evolutionary history before they settle down as ellipticals, further data on non-IR excess QSOs are necessary to test this scenario.Comment: To appear in the "QSO Host Galaxies: Evolution and Environment" conference proceedings; meeting held in Leiden, August 200

Electromagnetic transitions in an effective chiral Lagrangian with the eta-prime and light vector mesons

We consider the chiral Lagrangian with a nonet of Goldstone bosons and a nonet of light vector mesons. The mixing between the pseudoscalar mesons eta and eta-prime is taken into account. A novel counting scheme is suggested that is based on hadrogenesis, which conjectures a mass gap in the meson spectrum of QCD in the limit of a large number of colors. Such a mass gap would justify to consider the vector mesons and the eta-prime meson as light degrees of freedom. The complete leading order Lagrangian is constructed and discussed. As a first application it is tested against electromagnetic transitions of light vector mesons to pseudoscalar mesons. Our parameters are determined by the experimental data on photon decays of the omega, phi and eta-prime meson. In terms of such parameters we predict the corresponding decays into virtual photons with either dielectrons or dimuons in the final state.Comment: 17 pages, extended discussion on mixin