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 $k$-colored points in the plane, we consider the problem of finding $k$ 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 $k=1$, this is the well-known Euclidean Steiner tree problem. For general $k$, a $k\rho$-approximation algorithm is known, where $\rho \le 1.21$ is the Steiner ratio. We present a PTAS for $k=2$, a $(5/3+\varepsilon)$-approximation algorithm for $k=3$, and two approximation algorithms for general~$k$, with ratios $O(\sqrt n \log k)$ and $k+\varepsilon$

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