6,399 research outputs found
Algebraic description of anharmonic stretching vibrations
A U(2) algebraic model is presented to describe stretching vibrations of
XY (n=2, 3, and 4) systems, where anharmonic interactions between the bond
modes are considered. This model in a limit corresponds to an anharmonically
coupled local mode model. As an example, the model for a molecule XY is
applied to recently observed spectra of methane in both gas and liquid phases,
and the results obtained are in good agreement with the experiments
Latent Variable Multi-output Gaussian Processes for Hierarchical Datasets
Multi-output Gaussian processes (MOGPs) have been introduced to deal with
multiple tasks by exploiting the correlations between different outputs.
Generally, MOGPs models assume a flat correlation structure between the
outputs. However, such a formulation does not account for more elaborate
relationships, for instance, if several replicates were observed for each
output (which is a typical setting in biological experiments). This paper
proposes an extension of MOGPs for hierarchical datasets (i.e. datasets for
which the relationships between observations can be represented within a tree
structure). Our model defines a tailored kernel function accounting for
hierarchical structures in the data to capture different levels of correlations
while leveraging the introduction of latent variables to express the underlying
dependencies between outputs through a dedicated kernel. This latter feature is
expected to significantly improve scalability as the number of tasks increases.
An extensive experimental study involving both synthetic and real-world data
from genomics and motion capture is proposed to support our claims.Comment: 29 page
Algebraic approach to vibrational spectra of tetrahedral molecules: a case study of silicon tetrafluoride
Both the stretch and bend vibrational spectrum and the intensity of infrared
transitions in a tetrahedral molecule are studied in a U(2) algebraic model,
where the spurious states in the model Hamiltonian and the wavefunctions are
exactly removed. As an example, we apply the model to silicon tetrafluoride
SiF.Comment: Revtex, 7 pages, no figure, to appear in Chem. Phys. Let
Overtone spectra and intensities of tetrahedral molecules in boson-realization models
The stretching and bending vibrational spectrum and the intensities of
infrared transitions in a tetrahedral molecule are studied in two
boson-realization models, where the interactions between stretching and bending
vibrations are described by a quadratic cross term and by Fermi resonance
terms, called harmonically coupled and Fermi resonance boson-realization model,
respectively. The later is a development of our recent model. As an example,
the two models are applied to the overtone spectrum and the intensities of
silicon tetrafluorde. Those models provide fits to the published experimental
vibrational eigenvalues with standard deviations 1.956 cm and 0.908
cm, respectively. The intensities of infrared transitions of its
complete vibrations are calculated in the two models, and results show a good
agreement with the observed data.Comment: 14 pages Revtex, no figure, to appear in Annals of Physic
Unexpected features of branched flow through high-mobility two-dimensional electron gases
GaAs-based two-dimensional electron gases (2DEGs) show a wealth of remarkable
electronic states, and serve as the basis for fast transistors, research on
electrons in nanostructures, and prototypes of quantum-computing schemes. All
these uses depend on the extremely low levels of disorder in GaAs 2DEGs, with
low-temperature mean free paths ranging from microns to hundreds of microns.
Here we study how disorder affects the spatial structure of electron transport
by imaging electron flow in three different GaAs/AlGaAs 2DEGs, whose mobilities
range over an order of magnitude. As expected, electrons flow along narrow
branches that we find remain straight over a distance roughly proportional to
the mean free path. We also observe two unanticipated phenomena in
high-mobility samples. In our highest-mobility sample we observe an almost
complete absence of sharp impurity or defect scattering, indicated by the
complete suppression of quantum coherent interference fringes. Also, branched
flow through the chaotic potential of a high-mobility sample remains stable to
significant changes to the initial conditions of injected electrons.Comment: 22 pages, 4 figures, 1 tabl
Open Transactions on Shared Memory
Transactional memory has arisen as a good way for solving many of the issues
of lock-based programming. However, most implementations admit isolated
transactions only, which are not adequate when we have to coordinate
communicating processes. To this end, in this paper we present OCTM, an
Haskell-like language with open transactions over shared transactional memory:
processes can join transactions at runtime just by accessing to shared
variables. Thus a transaction can co-operate with the environment through
shared variables, but if it is rolled-back, also all its effects on the
environment are retracted. For proving the expressive power of TCCS we give an
implementation of TCCS, a CCS-like calculus with open transactions
Proteomic and functional analyses of the virion transmembrane proteome of cyprinid herpesvirus 3
Virion transmembrane proteins (VTPs) mediate key functions in the herpesvirus infectious cycle. Cyprinid herpesvirus 3 (CyHV-3) is the archetype of fish alloherpesviruses. The present study was devoted to CyHV-3 VTPs. Using mass spectrometry approaches, we identified 16 VTPs of the CyHV-3 FL strain. Mutagenesis experiments demonstrated that eight of these proteins are essential for viral growth in vitro (ORF32, ORF59, ORF81, ORF83, ORF99, ORF106, ORF115, and ORF131), and eight are non-essential (ORF25, ORF64, ORF65, ORF108, ORF132, ORF136, ORF148, and ORF149). Among the non-essential proteins, deletion of ORF25, ORF132, ORF136, ORF148, or ORF149 affects viral replication in vitro, and deletion of ORF25, ORF64, ORF108, ORF132, or ORF149 impacts plaque size. Lack of ORF148 or ORF25 causes attenuation in vivo to a minor or major extent, respectively. The safety and efficacy of a virus lacking ORF25 were compared to those of a previously described vaccine candidate deleted for ORF56 and ORF57 (Δ56-57). Using quantitative PCR, we demonstrated that the ORF25 deleted virus infects fish through skin infection and then spreads to internal organs as reported previously for the wild-type parental virus and the Δ56-57 virus. However, compared to the parental wild-type virus, the replication of the ORF25 deleted virus was reduced in intensity and duration to levels similar to those observed for the Δ56-57 virus. Vaccination of fish with a virus lacking ORF25 was safe but had low efficacy at the doses tested. This characterization of the virion transmembrane proteome of CyHV-3 provides a firm basis for further research on alloherpesvirus VTPs.
IMPORTANCE Virion transmembrane proteins play key roles in the biology of herpesviruses. Cyprinid herpesvirus 3 (CyHV-3) is the archetype of fish alloherpesviruses and the causative agent of major economic losses in common and koi carp worldwide. In this study of the virion transmembrane proteome of CyHV-3, the major findings were: (i) the FL strain encodes 16 virion transmembrane proteins; (ii) eight of these proteins are essential for viral growth in vitro; (iii) seven of the non-essential proteins affect viral growth in vitro, and two affect virulence in vivo; and (iv) a mutant lacking ORF25 is highly attenuated but induces moderate immune protection. This study represents a major breakthrough in understanding the biology of CyHV-3 and will contribute to the development of prophylactic methods. It also provides a firm basis for the further research on alloherpesvirus virion transmembrane proteins
The Gas Consumption History to z ~ 4
Using the observations of the star formation rate and HI densities to z ~ 4,
with measurements of the Molecular Gas Depletion Rate (MGDR) and local density
of H_2 at z = 0, we derive the history of the gas consumption by star formation
to z ~ 4. We find that closed-box models in which H_2 is not replenished by HI
require improbably large increases in rho(H_2) and a decrease in the MGDR with
lookback time that is inconsistent with observations. Allowing the H_2 used in
star formation to be replenished by HI does not alleviate the problem because
observations show that there is very little evolution of rho(HI) from z = 0 to
z = 4. We show that to be consistent with observational constraints, star
formation on cosmic timescales must be fueled by intergalactic ionized gas,
which may come from either accretion of gas through cold (but ionized) flows or
from ionized gas associated with accretion of dark matter halos. We constrain
the rate at which the extraglactic ionized gas must be converted into HI and
ultimately into H_2. The ionized gas inflow rate roughly traces the SFRD: about
1 - 2 x 10^8 M_sun Gyr^-1 Mpc^-3 from z ~ 1 - 4, decreasing by about an order
of magnitude from z=1 to z=0 with details depending largely on MGDR(t). All
models considered require the volume averaged density of rho(H_2) to increase
by a factor of 1.5 - 10 to z ~ 1.5 over the currently measured value. Because
the molecular gas must reside in galaxies, it implies that galaxies at high z
must, on average, be more molecule rich than they are at the present epoch,
which is consistent with observations. These quantitative results, derived
solely from observations, agree well with cosmological simulations.Comment: 11 pages, 6 figures. Accepted for publication in the Astrophysical
Journal
Caractérisation in situ de soudure sans plomb
L'étude porte sur les différents matériaux constituant les structures microélectroniques. L'objectif est d'améliorer la fiabilité de ces produits. On cherche alors à caractériser le comportement en fluage de telles structures. Notre attention se porte sur les brasures. Des éprouvettes permettent de déterminer les lois de Norton et Garofalo utilisées pour les brasures. Or la taille des éprouvettes ne représente pas l'échelle de la brasure au sein de la microstructure. On cherche alors à caractériser "in situ" la brasure via des essais de nanoindentation (approche de Mayo Nix)
A formally verified compiler back-end
This article describes the development and formal verification (proof of
semantic preservation) of a compiler back-end from Cminor (a simple imperative
intermediate language) to PowerPC assembly code, using the Coq proof assistant
both for programming the compiler and for proving its correctness. Such a
verified compiler is useful in the context of formal methods applied to the
certification of critical software: the verification of the compiler guarantees
that the safety properties proved on the source code hold for the executable
compiled code as well
- …