Compton processes in the bright AGN MCG+8-11-11

We present preliminary results on the hard X-ray emission properties of the Seyfert 1.5 galaxy MCG+8-11-11 as observed by INTEGRAL and SWIFT. All the INTEGRAL IBIS/ISGRI data available up to October 2009 have been analyzed together with two SWIFT/XRT snapshot observations performed in August and October 2009, quasi-simultaneously to INTEGRAL pointed observations of MCG+8-11-11. No correlation is observed between the hard X-ray flux and the spectral slope, while the position of the high-energy cut-off is found to have varied during the INTEGRAL observations. This points to a change in the temperature of the Comptonising medium from a minimum value of kT = 30-50 keV to values larger than 100-150 keV. There is no significant detection of Compton reflection, with a 3 sigma upper limit of R < 0.2, and no line has been detected at 112 keV, as previously claimed from HEAT observations (112 keV flux F < 2.4e-4 ph/cm^2/s). The variability behaviour of MCG+8-11-11 is found to be similar to that shown by IC 4329A, with different temperatures of the electron plasma for similar flux levels of the source, while other bright Seyfert galaxies present different variability patterns at hard X-rays, with spectral changes correlated to flux variations (e.g. NGC 4151).Comment: 6 pages, 4 figures. Accepted for publication on PoS (contribution PoS(INTEGRAL 2010)077), proceedings of the 8th INTEGRAL Workshop "The Restless Gamma-ray Universe" (September 2010, Dublin, Ireland

How unprovable is Rabin's decidability theorem?

We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical core of typical proofs of Rabin's theorem, is equivalent over the moderately strong second-order arithmetic theory $\mathsf{ACA}_0$ to a determinacy principle implied by the positional determinacy of all parity games and implying the determinacy of all Gale-Stewart games given by boolean combinations of ${\bf \Sigma^0_2}$ sets. It follows that complementation for tree automata is provable from $\Pi^1_3$- but not $\Delta^1_3$-comprehension. We then use results due to MedSalem-Tanaka, M\"ollerfeld and Heinatsch-M\"ollerfeld to prove that over $\Pi^1_2$-comprehension, the complementation theorem for tree automata, decidability of the MSO theory of the infinite binary tree, positional determinacy of parity games and determinacy of $\mathrm{Bool}({\bf \Sigma^0_2})$ Gale-Stewart games are all equivalent. Moreover, these statements are equivalent to the $\Pi^1_3$-reflection principle for $\Pi^1_2$-comprehension. It follows in particular that Rabin's decidability theorem is not provable in $\Delta^1_3$-comprehension.Comment: 21 page

Hard X-ray Variability of AGN

Aims: Active Galactic Nuclei are known to be variable throughout the electromagnetic spectrum. An energy domain poorly studied in this respect is the hard X-ray range above 20 keV. Methods: The first 9 months of the Swift/BAT all-sky survey are used to study the 14 - 195 keV variability of the 44 brightest AGN. The sources have been selected due to their detection significance of >10 sigma. We tested the variability using a maximum likelihood estimator and by analysing the structure function. Results: Probing different time scales, it appears that the absorbed AGN are more variable than the unabsorbed ones. The same applies for the comparison of Seyfert 2 and Seyfert 1 objects. As expected the blazars show stronger variability. 15% of the non-blazar AGN show variability of >20% compared to the average flux on time scales of 20 days, and 30% show at least 10% flux variation. All the non-blazar AGN which show strong variability are low-luminosity objects with L(14-195 keV) < 1E44 erg/sec. Conclusions: Concerning the variability pattern, there is a tendency of unabsorbed or type 1 galaxies being less variable than the absorbed or type 2 objects at hardest X-rays. A more solid anti-correlation is found between variability and luminosity, which has been previously observed in soft X-rays, in the UV, and in the optical domain.Comment: 9 pages, 7 figures, accepted for publication in A&

Growth to early adulthood following extremely preterm birth: the EPICure study.

OBJECTIVE: To investigate growth trajectories from age 2.5 to 19 years in individuals born before 26 weeks of gestation (extremely preterm; EP) compared with term-born controls. METHODS: Multilevel modelling of growth data from the EPICure study, a prospective 1995 birth cohort of 315 EP participants born in the UK and Ireland and 160 term-born controls recruited at school age. Height, weight, head circumference and body mass index (BMI) z-scores were derived from UK standards at ages 2.5, 6, 11 and 19 years. RESULTS: 129 (42%) EP children were assessed at 19 years. EP individuals were on average 4.0 cm shorter and 6.8 kg lighter with a 1.5 cm smaller head circumference relative to controls at 19 years. Relative to controls, EP participants grew faster in weight by 0.06 SD per year (95% CI 0.05 to 0.07), in head circumference by 0.04 SD (95% CI 0.03 to 0.05), but with no catch-up in height. For the EP group, because of weight catch-up between 6 and 19 years, BMI was significantly elevated at 19 years to +0.32 SD; 23.4% had BMI >25 kg/m2 and 6.3% >30 kg/m2 but these proportions were similar to those in control subjects. EP and control participants showed similar pubertal development in early adolescence, which was not associated with height at 19 years in either study group. Growth through childhood was related to birth characteristics and to neonatal feeding practices. CONCLUSIONS: EP participants remained shorter and lighter and had smaller head circumferences than reference data or controls in adulthood but had elevated BMI

High-energy emission from NGC 5506, the brightest hard X-ray Narrow Line Seyfert 1 galaxy

We present results on the hard X-ray emission of NGC 5506, the brightest narrow line Seyfert 1 galaxy above 20 keV. All the recent observations by INTEGRAL, Swift and Suzaku have been analysed and spectral analysis during nine separated time periods has been performed. While flux variations by a factor of 2 were detected during the last 7 years, only moderate spectral variations have been observed, with the hint of a hardening of the X-ray spectrum and a decrease of the intrinsic absorption with time. Using Suzaku observations it is possible to constrain the amount of Compton reflection to R = 0.6-1.0, in agreement with previous results on the source. The signature of Comptonisation processes can also be found in the detection of a high-energy cut-off during part of the observations, at Ec = 40-100 keV. When a Comptonisation model is applied to the Suzaku data, the temperature and the optical depth of the Comptonising electron plasma are measured at kT = 60-80 keV and tau = 0.6-1.0, respectively. The properties inferred for NGC 5506 in this study agree with those based on other data sets for the same AGN, and fit the picture of NLS1 having in general lower high-energy cut-offs at hard X-rays than their broad line equivalent.Comment: 8 pages, 3 figures, 1 table. Proceedings of the Workshop "Narrow-Line Seyfert 1 Galaxies and Their Place in the Universe", Milano, April 4-6, 2011 (Proceedings of Science, http://pos.sissa.it/cgi-bin/reader/conf.cgi?confid=126

Removal of redundant elements within UML activity diagrams

As the complexity of systems continues to rise, the use of model-driven development approaches becomes more widely applied. Still, many created models are mainly used for documentation. As such, they are not designed to be used in following stages of development, but merely as a means of improved overview and communication. In an effort to use existing UML2 activity diagrams of an industry partner (Daimler AG) as a source for automatic generation of software artifacts, we discovered, that the diagrams often contain multiple instances of the same element. These redundant instances might improve the readability of a diagram. However, they complicate further approaches such as automated model analysis or traceability to other artifacts because mostly redundant instances must be handled as one distinctive element. In this paper, we present an approach to automatically remove redundant ExecutableNodes within activity diagrams as they are used by our industry partner. The removal is implemented by merging the redundant instances to a single element and adding additional elements to maintain the original behavior of the activity. We use reachability graphs to argue that our approach preserves the behavior of the activity. Additionally, we applied the approach to a real system described by 36 activity diagrams. As a result 25 redundant instances were removed from 15 affected diagrams