2,219 research outputs found
Observations of ultraviolet variability in RV Tauri stars
An IUE program to monitor the ultraviolet variability in RV Tauri stars was initiated. The Mg II region was investigated as a potential probe of atmospheric shocks, which are believed to be associated with the pulsational variability of this class of objects. Observations, a description of the spectra, and findings for V Vul and AC Her are presented. The Mg II emission does vary significantly during the cycle; major changes in the emission line strength occur on a time scale much less than 0.2 in phase; and as the UV (and optical) continuum flux increases, the Mg II lines decrease and increased emission may be seen at 2823, 2844, and 2900 A
Experimental Biological Protocols with Formal Semantics
Both experimental and computational biology is becoming increasingly
automated. Laboratory experiments are now performed automatically on
high-throughput machinery, while computational models are synthesized or
inferred automatically from data. However, integration between automated tasks
in the process of biological discovery is still lacking, largely due to
incompatible or missing formal representations. While theories are expressed
formally as computational models, existing languages for encoding and
automating experimental protocols often lack formal semantics. This makes it
challenging to extract novel understanding by identifying when theory and
experimental evidence disagree due to errors in the models or the protocols
used to validate them. To address this, we formalize the syntax of a core
protocol language, which provides a unified description for the models of
biochemical systems being experimented on, together with the discrete events
representing the liquid-handling steps of biological protocols. We present both
a deterministic and a stochastic semantics to this language, both defined in
terms of hybrid processes. In particular, the stochastic semantics captures
uncertainties in equipment tolerances, making it a suitable tool for both
experimental and computational biologists. We illustrate how the proposed
protocol language can be used for automated verification and synthesis of
laboratory experiments on case studies from the fields of chemistry and
molecular programming
A study of the fundamental characteristics of 2175A extinction
The characteristics of interstellar extinction were studied in the region of the 2175 A feature for lines of sight which appear to exhibit unusually weak ultraviolet extinction. The analysis was based upon a parameterization of the observed extinction via fitting specific mathematical functions in order to determine the position and width of the 2175 A feature. The data are currently being analyzed
The relationship between IR, optical, and UV extinction
An analysis is presented for the variability of absolute IR, optical, and UV extinction, A(sub lambda), derived through the ratio of total-to-selective extinction, R, for 31 lines of sight for which reliable UV extinction parameters were derived. These data sample a wide range of environments and are characterized by 2.5 is less than or equal to R is less than or equal to 6.0. It was found that there is a strong linear dependence between extinction expressed as A(sub lambda)/A(sub V) and 1/R for 1.25 micron is less than or equal to lambda is less than or equal to 0.12 micron. Differences in the general shape of extinction curves are largely due to variations in shape of optical/near-UV extinction corresponding to changes in R, with A(sub lambda)/A(sub V) decreasing for increasing R. From a least-squares fit of the observed R-dependence as a function of wavelength for 0.8/micron is less than or greater than 1/lambda is less than or equal to 8.3/micron, an analytic expression was generated from which IR, optical, and UV extinction curves of the form A(sub lambda)/A(sub V) can be reproduced with reasonable accuracy from a knowledge of R. It was also found that the absolute bump strength normalized to A(sub V) shows a general decrease with increasing R, suggesting that some fraction of bump grains may be selectively incorporated into coagulated grains. Finally, it was found that absolute extinction normalized by suitably chosen color indices results in a minimization of the R-dependence of portions of the UV curve, allowing A(sub lambda) to be estimated for these wavelengths independent of R
Syntactic Markovian Bisimulation for Chemical Reaction Networks
In chemical reaction networks (CRNs) with stochastic semantics based on
continuous-time Markov chains (CTMCs), the typically large populations of
species cause combinatorially large state spaces. This makes the analysis very
difficult in practice and represents the major bottleneck for the applicability
of minimization techniques based, for instance, on lumpability. In this paper
we present syntactic Markovian bisimulation (SMB), a notion of bisimulation
developed in the Larsen-Skou style of probabilistic bisimulation, defined over
the structure of a CRN rather than over its underlying CTMC. SMB identifies a
lumpable partition of the CTMC state space a priori, in the sense that it is an
equivalence relation over species implying that two CTMC states are lumpable
when they are invariant with respect to the total population of species within
the same equivalence class. We develop an efficient partition-refinement
algorithm which computes the largest SMB of a CRN in polynomial time in the
number of species and reactions. We also provide an algorithm for obtaining a
quotient network from an SMB that induces the lumped CTMC directly, thus
avoiding the generation of the state space of the original CRN altogether. In
practice, we show that SMB allows significant reductions in a number of models
from the literature. Finally, we study SMB with respect to the deterministic
semantics of CRNs based on ordinary differential equations (ODEs), where each
equation gives the time-course evolution of the concentration of a species. SMB
implies forward CRN bisimulation, a recently developed behavioral notion of
equivalence for the ODE semantics, in an analogous sense: it yields a smaller
ODE system that keeps track of the sums of the solutions for equivalent
species.Comment: Extended version (with proofs), of the corresponding paper published
at KimFest 2017 (http://kimfest.cs.aau.dk/
Graphical Encoding of a Spatial Logic for the pi-Calculus
This paper extends our graph-based approach to the verification of spatial properties of Ļ-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the denotation is fully abstract with respect to the usual structural congruence, i.e., two processes are equivalent exactly when the corresponding encodings yield isomorphic graphs. Behavioral and structural properties of Ļ-calculus processes expressed in a spatial logic can then be verified on the graphical encoding of a process rather than on its textual representation. In this paper we introduce a modal logic for graphs and define a translation of spatial formulae such that a process verifies a spatial formula exactly when its graphical representation verifies the translated modal graph formula
Atomic and Molecular Data for Interstellar Studies: A Status Report
Most interstellar species have a large fraction of their electronic transitions at far ultraviolet wavelengths. Observations at these wavelengths reveal spectra rich in absorption lines seen against the continuum of a background source, such as a hot star in our Galaxy, a supernova in a nearby galaxy, or even a bright nucleus in an active galaxy. Most of the observations continue to be made with space-borne instruments, but recent work includes measurements of extragalactic material at large redshifts obtained at high resolution with large ground-based telescopes (e.g., the Keck Telescope). The combination of precise experimental oscillator strengths, large-scale computations, and astronomical spectra with high signal-to-noise ratios are yielding a set of self-consistent-values that span a range in strength in excess of 100 for more and more species. The large range is important for studies involving the different environments probed by the various background sources. This review highlights recent work on the atomic species. Si II, S I, and Fe II, and on the molecules, CO and C2
Influence of interstellar and atmospheric extinction on light curves of eclipsing binaries
Interstellar and atmospheric extinctions redden the observational photometric
data and they should be handled rigorously. This paper simulates the effect of
reddening for the modest case of two main sequence T1 = 6500K and T2 = 5500K
components of a detached eclipsing binary system. It is shown that simply
subtracting a constant from measured magnitudes (the approach often used in the
field of eclipsing binaries) to account for reddening should be avoided.
Simplified treatment of the reddening introduces systematics that reaches
\~0.01mag for the simulated case, but can be as high as ~0.2mag for e.g.
B8V--K4III systems. With rigorous treatment, it is possible to uniquely
determine the color excess value E(B-V) from multi-color photometric light
curves of eclipsing binaries.Comment: 6 pages, 9 figures, 1 table, Kopal's Binary Star Legacy conference
contribution (Litomysl 2004), to be published by Kluwer A&S
Process algebra modelling styles for biomolecular processes
We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed
- ā¦