3,861 research outputs found
Polynomial Interrupt Timed Automata
Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where
reachability and some variants of timed model checking are decidable even in
presence of parameters. They are well suited to model and analyze real-time
operating systems. Here we extend ITA with polynomial guards and updates,
leading to the class of polynomial ITA (PolITA). We prove the decidability of
the reachability and model checking of a timed version of CTL by an adaptation
of the cylindrical decomposition method for the first-order theory of reals.
Compared to previous approaches, our procedure handles parameters and clocks in
a unified way. Moreover, we show that PolITA are incomparable with stopwatch
automata. Finally additional features are introduced while preserving
decidability
Colored Non-Crossing Euclidean Steiner Forest
Given a set of -colored points in the plane, we consider the problem of
finding trees such that each tree connects all points of one color class,
no two trees cross, and the total edge length of the trees is minimized. For
, this is the well-known Euclidean Steiner tree problem. For general ,
a -approximation algorithm is known, where is the
Steiner ratio.
We present a PTAS for , a -approximation algorithm
for , and two approximation algorithms for general~, with ratios
and
Kinetics of maternal immunity against rabies in fox cubs (Vulpes vulpes)
BACKGROUND: In previous experiments, it was demonstrated that maternal antibodies (maAb) against rabies in foxes (Vulpes vulpes) were transferred from the vixen to her offspring. However, data was lacking from cubs during the first three weeks post partum. Therefore, this complementary study was initiated. METHODS: Blood samples (n = 281) were collected from 64 cubs (3 to 43 days old) whelped by 19 rabies-immune captive-bred vixens. Sera was collected up to six times from each cub. The samples were analysed by a fluorescence focus inhibition technique (RFFIT), and antibody titres (nAb) were expressed in IU/ml. The obtained data was pooled with previous data sets. Subsequently, a total of 499 serum samples from 249 cubs whelped by 54 rabies-immune vixens were fitted to a non-linear regression model. RESULTS: The disappearance rate of maAb was independent of the vixens' nAb-titre. The maAb-titre of the cubs decreased exponentially with age and the half-life of the maAb was estimated to be 9.34 days. However, maAb of offspring whelped by vixens with high nAb-titres can be detected for longer by RFFIT than that of offspring whelped by vixens with relatively low nAb-titres. At a mean critical age of about 23 days post partum, maAb could no longer be distinguished from unspecific reactions in RFFIT depending on the amount of maAb transferred by the mother. CONCLUSIONS: The amount of maAb cubs receive is directly proportional to the titre of the vixen and decreases exponentially with age below detectable levels in seroneutralisation tests at a relatively early age
Human amniotic fluid glycoproteins expressing sialyl Lewis carbohydrate antigens stimulate progesterone production in human trophoblasts in vitro
Background: Progesterone is thought to mediate immune modulator effects by regulating uterine responsiveness. The aim of the study was to clarify the effect of transferrin and glycodelin A (former name PP14) as sialyl Lewis X-expressing glycoproteins on the release of progesterone by trophoblast cells in vitro. Methods: Cytotrophoblast cells were prepared from human term placentas by standard dispersion of villous tissue followed by a Percoll gradient centrifugation step. Trophoblasts were incubated with varying concentrations (50-300 mug/ml) of human amniotic fluid- and serum-transferrin as well as with glycodelin A. Culture supernatants were assayed for progesterone, human chorionic gonadotropin (hCG) and cortisol by enzyme immunometric methods. Results: The release of progesterone is increased in amniotic fluid transferrin- and glycodelin A-treated trophoblast cell cultures compared to untreated trophoblast cells. There is no relation between transferrin and the hCG or cortisol production of trophoblast cells. Conclusion: The results suggest that sialyl Lewis carbohydrate antigen-expressing amniotic fluid glycoproteins modulate the endocrine function of trophoblasts in culture by upregulating progesterone production. Copyright (C) 2004 S. Karger AG, Basel
Coupled coarse graining and Markov Chain Monte Carlo for lattice systems
We propose an efficient Markov Chain Monte Carlo method for sampling
equilibrium distributions for stochastic lattice models, capable of handling
correctly long and short-range particle interactions. The proposed method is a
Metropolis-type algorithm with the proposal probability transition matrix based
on the coarse-grained approximating measures introduced in a series of works of
M. Katsoulakis, A. Majda, D. Vlachos and P. Plechac, L. Rey-Bellet and
D.Tsagkarogiannis,. We prove that the proposed algorithm reduces the
computational cost due to energy differences and has comparable mixing
properties with the classical microscopic Metropolis algorithm, controlled by
the level of coarsening and reconstruction procedure. The properties and
effectiveness of the algorithm are demonstrated with an exactly solvable
example of a one dimensional Ising-type model, comparing efficiency of the
single spin-flip Metropolis dynamics and the proposed coupled Metropolis
algorithm.Comment: 20 pages, 4 figure
Chromosome phylogeny of the subfamily Pitheciinae (Platyrrhini, Primates) by classic cytogenetics and chromosome painting
Background: The New World monkey (Platyrrhini) subfamily Pitheciinae is represented by the genera Pithecia, Chiropotes and Cacajao. In this work we studied the karyotypes of Pithecia irrorata (2n = 48) and Cacajao calvus rubicundus (2n = 45 in males and 2n = 46 in females) by G-and C-banding, NOR staining and chromosome painting using human and Saguinus oedipus whole chromosome probes. The karyotypes of both species were compared with each other and with Chiropotes utahicki (2n = 54) from the literature. Results: Our results show that members of the Pitheciinae have conserved several chromosome forms found in the inferred ancestral Platyrrhini karyotype (associations of human homologous segments 3a/21, 5/7a, 2b/16b, 8a/18, 14/15a and 10a/16a). Further, the monophyly of this subfamily is supported by three chromosomal synapomorphies (2a/10b, an acrocentric 15/14 and an acrocentric human 19 homolog). In addition, each species presents several autapomorphies. From this data set we established a chromosomal phylogeny of Pitheciinae, resulting in a single most parsimonious tree. Conclusions: In our chromosomal phylogeny, the genus Pithecia occurred in a more basal position close to the inferred ancestor of Platyrrhini, while C. c. rubicundus and C. utahicki are closely related and are linked by exclusive synapomorphies
Dusty Planetary Systems
Extensive photometric stellar surveys show that many main sequence stars show
emission at infrared and longer wavelengths that is in excess of the stellar
photosphere; this emission is thought to arise from circumstellar dust. The
presence of dust disks is confirmed by spatially resolved imaging at infrared
to millimeter wavelengths (tracing the dust thermal emission), and at optical
to near infrared wavelengths (tracing the dust scattered light). Because the
expected lifetime of these dust particles is much shorter than the age of the
stars (>10 Myr), it is inferred that this solid material not primordial, i.e.
the remaining from the placental cloud of gas and dust where the star was born,
but instead is replenished by dust-producing planetesimals. These planetesimals
are analogous to the asteroids, comets and Kuiper Belt objects (KBOs) in our
Solar system that produce the interplanetary dust that gives rise to the
zodiacal light (tracing the inner component of the Solar system debris disk).
The presence of these "debris disks" around stars with a wide range of masses,
luminosities, and metallicities, with and without binary companions, is
evidence that planetesimal formation is a robust process that can take place
under a wide range of conditions. This chapter is divided in two parts. Part I
discusses how the study of the Solar system debris disk and the study of debris
disks around other stars can help us learn about the formation, evolution and
diversity of planetary systems by shedding light on the frequency and timing of
planetesimal formation, the location and physical properties of the
planetesimals, the presence of long-period planets, and the dynamical and
collisional evolution of the system. Part II reviews the physical processes
that affect dust particles in the gas-free environment of a debris disk and
their effect on the dust particle size and spatial distribution.Comment: 68 pages, 25 figures. To be published in "Solar and Planetary
Systems" (P. Kalas and L. French, Eds.), Volume 3 of the series "Planets,
Stars and Stellar Systems" (T.D. Oswalt, Editor-in-chief), Springer 201
Visual ecology of aphids – a critical review on the role of colours in host finding
We review the rich literature on behavioural responses of aphids (Hemiptera: Aphididae) to stimuli of different colours. Only in one species there are adequate physiological data on spectral sensitivity to explain behaviour crisply in mechanistic terms.
Because of the great interest in aphid responses to coloured targets from an evolutionary, ecological and applied perspective, there is a substantial need to expand these studies to more species of aphids, and to quantify spectral properties of stimuli rigorously. We show that aphid responses to colours, at least for some species, are likely based on a specific colour opponency mechanism, with positive input from the green domain of the spectrum and negative input from the blue and/or UV region.
We further demonstrate that the usual yellow preference of aphids encountered in field experiments is not a true colour preference but involves additional brightness effects. We discuss the implications for agriculture and sensory ecology, with special respect to the recent debate on autumn leaf colouration. We illustrate that recent evolutionary theories concerning aphid–tree interactions imply far-reaching assumptions on aphid responses to colours
that are not likely to hold. Finally we also discuss the
implications for developing and optimising strategies
of aphid control and monitoring
Eta Carinae and the Luminous Blue Variables
We evaluate the place of Eta Carinae amongst the class of luminous blue
variables (LBVs) and show that the LBV phenomenon is not restricted to
extremely luminous objects like Eta Car, but extends luminosities as low as
log(L/Lsun) = 5.4 - corresponding to initial masses ~25 Msun, and final masses
as low as ~10-15 Msun. We present a census of S Doradus variability, and
discuss basic LBV properties, their mass-loss behaviour, and whether at maximum
light they form pseudo-photospheres. We argue that those objects that exhibit
giant Eta Car-type eruptions are most likely related to the more common type of
S Doradus variability. Alternative atmospheric models as well as
sub-photospheric models for the instability are presented, but the true nature
of the LBV phenomenon remains as yet elusive. We end with a discussion on the
evolutionary status of LBVs - highlighting recent indications that some LBVs
may be in a direct pre-supernova state, in contradiction to the standard
paradigm for massive star evolution.Comment: 27 pages, 6 figures, Review Chapter in "Eta Carinae and the supernova
imposters" (eds R. Humphreys and K. Davidson) new version submitted to
Springe
- …