Showing 1–50 of 63 results for author: de Boer, S

Deformable MRI Sequence Registration for AI-based Prostate Cancer Diagnosis

Authors: Alessa Hering, Sarah de Boer, Anindo Saha, Jasper J. Twilt, Mattias P. Heinrich, Derya Yakar, Maarten de Rooij, Henkjan Huisman, Joeran S. Bosma

Abstract: The PI-CAI (Prostate Imaging: Cancer AI) challenge led to expert-level diagnostic algorithms for clinically significant prostate cancer detection. The algorithms receive biparametric MRI scans as input, which consist of T2-weighted and diffusion-weighted scans. These scans can be misaligned due to multiple factors in the scanning process. Image registration can alleviate this issue by predicting t… ▽ More The PI-CAI (Prostate Imaging: Cancer AI) challenge led to expert-level diagnostic algorithms for clinically significant prostate cancer detection. The algorithms receive biparametric MRI scans as input, which consist of T2-weighted and diffusion-weighted scans. These scans can be misaligned due to multiple factors in the scanning process. Image registration can alleviate this issue by predicting the deformation between the sequences. We investigate the effect of image registration on the diagnostic performance of AI-based prostate cancer diagnosis. First, the image registration algorithm, developed in MeVisLab, is analyzed using a dataset with paired lesion annotations. Second, the effect on diagnosis is evaluated by comparing case-level cancer diagnosis performance between using the original dataset, rigidly aligned diffusion-weighted scans, or deformably aligned diffusion-weighted scans. Rigid registration showed no improvement. Deformable registration demonstrated a substantial improvement in lesion overlap (+10% median Dice score) and a positive yet non-significant improvement in diagnostic performance (+0.3% AUROC, p=0.18). Our investigation shows that a substantial improvement in lesion alignment does not directly lead to a significant improvement in diagnostic performance. Qualitative analysis indicated that jointly develo** image registration methods and diagnostic AI algorithms could enhance diagnostic accuracy and patient outcomes. △ Less

Submitted 28 June, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

Dynamic Separation Logic

Authors: Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Abstract: This paper introduces a dynamic logic extension of separation logic. The assertion language of separation logic is extended with modalities for the five types of the basic instructions of separation logic: simple assignment, look-up, mutation, allocation, and de-allocation. The main novelty of the resulting dynamic logic is that it allows to combine different approaches to resolving these modaliti… ▽ More This paper introduces a dynamic logic extension of separation logic. The assertion language of separation logic is extended with modalities for the five types of the basic instructions of separation logic: simple assignment, look-up, mutation, allocation, and de-allocation. The main novelty of the resulting dynamic logic is that it allows to combine different approaches to resolving these modalities. One such approach is based on the standard weakest precondition calculus of separation logic. The other approach introduced in this paper provides a novel alternative formalization in the proposed dynamic logic extension of separation logic. The soundness and completeness of this axiomatization has been formalized in the Coq theorem prover. △ Less

Submitted 17 November, 2023; v1 submitted 16 September, 2023; originally announced September 2023.

Journal ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12297

Bi-objective optimization of organ properties for the simulation of intracavitary brachytherapy applicator placement in cervical cancer

Authors: Cedric J. Rodriguez, Stephanie M. de Boer, Peter A. N. Bosman, Tanja Alderliesten

Abstract: Validation of deformable image registration techniques is extremely important, but hard, especially when complex deformations or content mismatch are involved. These complex deformations and content mismatch, for example, occur after the placement of an applicator for brachytherapy for cervical cancer. Virtual phantoms could enable the creation of validation data sets with ground truth deformation… ▽ More Validation of deformable image registration techniques is extremely important, but hard, especially when complex deformations or content mismatch are involved. These complex deformations and content mismatch, for example, occur after the placement of an applicator for brachytherapy for cervical cancer. Virtual phantoms could enable the creation of validation data sets with ground truth deformations that simulate the large deformations that occur between image acquisitions. However, the quality of the multi-organ Finite Element Method (FEM)-based simulations is dependent on the patient-specific external forces and mechanical properties assigned to the organs. A common approach to calibrate these simulation parameters is through optimization, finding the parameter settings that optimize the match between the outcome of the simulation and reality. When considering inherently simplified organ models, we hypothesize that the optimal deformations of one organ cannot be achieved with a single parameter setting without compromising the optimality of the deformation of the surrounding organs. This means that there will be a trade-off between the optimal deformations of adjacent organs, such as the vagina-uterus and bladder. This work therefore proposes and evaluates a multi-objective optimization approach where the trade-off between organ deformations can be assessed after optimization. We showcase what the extent of the trade-off looks like when bi-objectively optimizing the patient-specific mechanical properties and external forces of the vagina-uterus and bladder for FEM-based simulations. △ Less

Submitted 22 February, 2023; originally announced March 2023.

Proving Correctness of Parallel Implementations of Transition System Specifications

Authors: Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa

Abstract: The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel implementations of high-level transition system specifications. The implementation language underlying the method is based on the model of active (or concurrent)… ▽ More The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel implementations of high-level transition system specifications. The implementation language underlying the method is based on the model of active (or concurrent) objects. The method defines correctness in terms of a simulation relation between the transition system which specifies the program semantics and the transition system that is described by the correctness specification. The simulation relation itself abstracts from the fine-grained interleaving of parallel processes by exploiting a global confluence property of the particular model of active objects considered in this paper. As a proof-of-concept we apply our method to the correctness of a parallel simulator of multicore memory systems. △ Less

Submitted 25 January, 2023; originally announced February 2023.

The Grammar of Emergent Languages

Authors: Oskar van der Wal, Silvan de Boer, Elia Bruni, Dieuwke Hupkes

Abstract: In this paper, we consider the syntactic properties of languages emerged in referential games, using unsupervised grammar induction (UGI) techniques originally designed to analyse natural language. We show that the considered UGI techniques are appropriate to analyse emergent languages and we then study if the languages that emerge in a typical referential game setup exhibit syntactic structure, a… ▽ More In this paper, we consider the syntactic properties of languages emerged in referential games, using unsupervised grammar induction (UGI) techniques originally designed to analyse natural language. We show that the considered UGI techniques are appropriate to analyse emergent languages and we then study if the languages that emerge in a typical referential game setup exhibit syntactic structure, and to what extent this depends on the maximum message length and number of symbols that the agents are allowed to use. Our experiments demonstrate that a certain message length and vocabulary size are required for structure to emerge, but they also illustrate that more sophisticated game scenarios are required to obtain syntactic properties more akin to those observed in human language. We argue that UGI techniques should be part of the standard toolkit for analysing emergent languages and release a comprehensive library to facilitate such analysis for future researchers. △ Less

Submitted 9 October, 2020; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: Accepted at EMNLP 2020

Verifying OpenJDK's LinkedList using KeY

Authors: Hans-Dieter A. Hiep, Olaf Maathuis, **ting Bian, Frank S. de Boer, Marko van Eekelen, Stijn de Gouw

Abstract: As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework. Keywords: Java, standard library, deductive verification, KeY, Java Modeling Language, case study, bug As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework. Keywords: Java, standard library, deductive verification, KeY, Java Modeling Language, case study, bug △ Less

Submitted 11 November, 2019; originally announced November 2019.

Comments: 16 pages, 9 pages appendix

Reasoning about call-by-value: a missing result in the history of Hoare's logic

Authors: Krzysztof R. Apt, Frank S. de Boer

Abstract: We provide a sound and relatively complete Hoare-like proof system for reasoning about partial correctness of recursive procedures in presence of local variables and the call-by-value parameter mechanism, and in which the correctness proofs are linear in the length of the program. We argue that in spite of the fact that Hoare-like proof systems for recursive procedures were intensively studied, no… ▽ More We provide a sound and relatively complete Hoare-like proof system for reasoning about partial correctness of recursive procedures in presence of local variables and the call-by-value parameter mechanism, and in which the correctness proofs are linear in the length of the program. We argue that in spite of the fact that Hoare-like proof systems for recursive procedures were intensively studied, no such proof system has been proposed in the literature. △ Less

Submitted 13 September, 2019; originally announced September 2019.

Comments: 28 pages

Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach

Authors: Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro

Abstract: Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are deployed, we describe in this paper an approach for SLA-aware deployment of services on the cloud, and illustrate its workflow by means of a case study.… ▽ More Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are deployed, we describe in this paper an approach for SLA-aware deployment of services on the cloud, and illustrate its workflow by means of a case study. The approach is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a methodology combining software development with information technology operations (DevOps). △ Less

Submitted 27 August, 2019; originally announced August 2019.

Comments: In Proceedings VORTEX 2018, arXiv:1908.09302

Journal ref: EPTCS 302, 2019, pp. 1-15

Impact of polarization observables and $ B_c\to τν$ on new physics explanations of the $b\to c τν$ anomaly

Authors: Monika Blanke, Andreas Crivellin, Stefan de Boer, Teppei Kitahara, Marta Moscati, Ulrich Nierste, Ivan Nišandžić

Abstract: The combined analysis of the BaBar, Belle, and LHCb data on $B\to Dτν$, $B\to D^*τν$ and $B_c\to J/Ψτν$ decay observables shows evidence of physics beyond the Standard Model (SM). In this article, we study all the one- and two-dimensional scenarios which can be generated by adding a single new particle to the SM. We put special emphasis on the model-discriminating power of $F_L(D^*)$ and of the… ▽ More The combined analysis of the BaBar, Belle, and LHCb data on $B\to Dτν$, $B\to D^*τν$ and $B_c\to J/Ψτν$ decay observables shows evidence of physics beyond the Standard Model (SM). In this article, we study all the one- and two-dimensional scenarios which can be generated by adding a single new particle to the SM. We put special emphasis on the model-discriminating power of $F_L(D^*)$ and of the $τ$ polarizations, and especially on the constraint from the branching fraction ${\rm BR}(B_c\toτν)$. We critically review this constraint and do not support the aggressive limit of ${\rm BR}(B_c\toτν)<10\%$ used in some analyses. While the impact of $F_L(D^*)$ is currently still limited, the ${\rm BR}(B_c\toτν)$ constraint has a significant impact: depending on whether one uses a limit of $60\%$, $30\%$ or $10\%$, the pull for new physics (NP) in scalar operators changes drastically. More specifically, for a conservative $60\%$ limit a scenario with scalar operators gives the best fit to data, while for an aggressive $10\%$ limit this scenario is strongly disfavored and the best fit is obtained in a scenario in which only a left-handed vector operator is generated. We find a sum rule for the branching ratios of $B\to Dτν$, $B\to D^*τν$ and $Λ_b\to Λ_cτν$ which holds for any NP contribution to the Wilson coefficients. This sum rule entails an enhancement of ${\rm BR}(Λ_b\to Λ_cτν)$ over its SM prediction by $(24\pm 6)\%$ for the current $\mathcal{R}(D^{(*)})$ data. △ Less

Submitted 22 May, 2019; v1 submitted 23 November, 2018; originally announced November 2018.

Comments: 16 pages, 6 figures; v2: clarifying comments and few references added, matches version published in PRD; v3: typo corrected in eq. (28). Updated results based on the HFLAV average for spring 2019 are available in arXiv:1905.08253

Report number: PSI-PR-18-16; TTP-18-42

Journal ref: Phys. Rev. D 99, 075006 (2019)

Charm decays

Authors: Stefan de Boer

Abstract: The importance of charm decays in the context of flavor is motivated. A theory overview on recent developments in leptonic and semileptonic decays, hadronic two-body decays, and rare decays is presented. Standard Model (SM) predictions as well as tests of the SM are pointed out, {\it e.g.}~how to discover direct CP violation in charm decays and how to search for physics beyond the SM. Differences… ▽ More The importance of charm decays in the context of flavor is motivated. A theory overview on recent developments in leptonic and semileptonic decays, hadronic two-body decays, and rare decays is presented. Standard Model (SM) predictions as well as tests of the SM are pointed out, {\it e.g.}~how to discover direct CP violation in charm decays and how to search for physics beyond the SM. Differences between rare charm and beauty decays are discussed. △ Less

Submitted 16 July, 2018; originally announced July 2018.

Comments: To be published in the proceedings of The International Conference on B-Physics at Frontier Machines - BEAUTY2018, La Biodola, Elba Island, Italy, 6-11 May, 2018

Report number: TTP18-023

Null tests from angular distributions in $D \to P_1 P_2 l^+l^-$, $l=e,μ$ decays on and off peak

Authors: Stefan de Boer, Gudrun Hiller

Abstract: We systematically analyze the full angular distribution in $D \to P_1 P_2 l^+ l^-$ decays, where $P_{1,2}=π,K$, $l=e,μ$. We identify several null tests of the standard model (SM). Notably, the angular coefficients $I_{5,6,7}$, driven by the leptons' axial-vector coupling $C_{10}^{(\prime)}$, vanish by means of a superior GIM-cancellation and are protected by parity invariance below the weak scale.… ▽ More We systematically analyze the full angular distribution in $D \to P_1 P_2 l^+ l^-$ decays, where $P_{1,2}=π,K$, $l=e,μ$. We identify several null tests of the standard model (SM). Notably, the angular coefficients $I_{5,6,7}$, driven by the leptons' axial-vector coupling $C_{10}^{(\prime)}$, vanish by means of a superior GIM-cancellation and are protected by parity invariance below the weak scale. CP-odd observables related to the angular coefficients $I_{5,6,8,9}$ allow to measure CP-asymmetries without $D$-tagging. The corresponding observables $A_{5,6,8,9}$ constitute null tests of the SM. Lepton universality in $|Δc| =|Δu|=1$ transitions can be tested by comparing $D \to P_1 P_2 μ^+ μ^-$ to $D \to P_1 P_2 e^+ e^-$ decays. Data for $P_1 P_2=π^+ π^-$ and $K^+ K^-$ on muon modes are available from LHCb and on electron modes from BESIII. Corresponding ratios of dimuon to dielectron branching fractions are at least about an order of magnitude away from probing the SM. In the future electron and muon measurements should be made available for the same cuts as corresponding ratios $R_{P_1 P_2}^D$ provide null tests of $e$-$μ$-universality. We work out beyond-SM signals model-independently and in SM extensions with leptoquarks. △ Less

Submitted 22 May, 2018; originally announced May 2018.

Comments: 18 pages plus references and appendix, 7 figures

Report number: DO-TH 18/11, QFET-2018-09, TTP18-018

Journal ref: Phys. Rev. D 98, 035041 (2018)

Soft-Photon Corrections to $\bar{B} \to D τ^{-} \barν_τ$ Relative to $\bar{B} \to D μ^{-} \barν_μ$

Authors: Stefan de Boer, Teppei Kitahara, Ivan Nisandzic

Abstract: We evaluate long-distance electromagnetic (QED) contributions to $\bar{B}{}^0 \to D^+ τ^{-} \barν_τ$ and $B^- \to D^0 τ^{-} \barν_τ$ relative to $\bar{B}{}^0 \to D^+ μ^{-} \barν_μ$ and $B^- \to D^0 μ^{-} \barν_μ$, respectively, in the standard model. We point out that the QED corrections to the ratios $R(D^{+})$ and $R(D^{0})$ are not negligible, contrary to the expectation that radiative correcti… ▽ More We evaluate long-distance electromagnetic (QED) contributions to $\bar{B}{}^0 \to D^+ τ^{-} \barν_τ$ and $B^- \to D^0 τ^{-} \barν_τ$ relative to $\bar{B}{}^0 \to D^+ μ^{-} \barν_μ$ and $B^- \to D^0 μ^{-} \barν_μ$, respectively, in the standard model. We point out that the QED corrections to the ratios $R(D^{+})$ and $R(D^{0})$ are not negligible, contrary to the expectation that radiative corrections are almost canceled out in the ratio of the two branching fractions. The reason is that long-distance QED corrections depend on the masses and relative velocities of the daughter particles. We find that theoretical predictions for $R(D^{+})^{τ/μ}$ and $R(D^{0})^{τ/μ}$ can be amplified by $\sim4\%$ and $\sim3\%$, respectively, for the soft-photon energy cut in range $20$-$40$ MeV. △ Less

Submitted 22 June, 2018; v1 submitted 15 March, 2018; originally announced March 2018.

Comments: 5 pages, 3 figures; v3: several minor modifications, references added, published version

Report number: TTP18-013

Journal ref: Phys. Rev. Lett. 120, 261804 (2018)

The photon polarization in radiative $D$ decays, phenomenologically

Authors: Stefan de Boer, Gudrun Hiller

Abstract: We work out the phenomenology of untagged time-dependent analysis with radiative $D^0$-decays into CP eigenstates, which allows to probe the photon polarization by means of the charm mesons' finite width difference. We show that $D^0 \to φγ$ or $D^0 \to \bar K^{0 *} γ$ decays, which are SM-dominated, or SM-like, respectively, together with U-spin allow to obtain chirality-predictions for radiative… ▽ More We work out the phenomenology of untagged time-dependent analysis with radiative $D^0$-decays into CP eigenstates, which allows to probe the photon polarization by means of the charm mesons' finite width difference. We show that $D^0 \to φγ$ or $D^0 \to \bar K^{0 *} γ$ decays, which are SM-dominated, or SM-like, respectively, together with U-spin allow to obtain chirality-predictions for radiative decay amplitudes. The order of magnitude of wrong-chirality contributions in the SM can be cross-checked with an up-down asymmetry in $D^0 \to \bar K_1^0 (\to \bar K ππ) γ$. We explore the sensitivity to new physics in $|Δc|=|Δu|=1$ dipole couplings in the decays $D^0 \to ρ^0 γ$. We point out the possibility to test the SM with $D_s \to K_1^+( \to K ππ) γ$ decays. △ Less

Submitted 8 February, 2018; originally announced February 2018.

Comments: 15 pages plus references and appendices, 7 figures

Report number: DO-TH 18/04, QFET-2018-04, TTP18-010

Rare radiative charm decays in the standard model and beyond

Authors: Stefan de Boer

Abstract: Motivated by the recent measurement of $D^0\toρ^0γ$ improved standard model (SM) predictions for branching ratios and CP asymmetries of radiative charm decay are given. Weak annihilation induced decays are probes of non-perturbative QCD approaches. Rare decays probe the SM and physics beyond the SM, e.g. leptoquark and supersymmetric models. Opportunities with $Λ_c\to pγ$ for future polarization m… ▽ More Motivated by the recent measurement of $D^0\toρ^0γ$ improved standard model (SM) predictions for branching ratios and CP asymmetries of radiative charm decay are given. Weak annihilation induced decays are probes of non-perturbative QCD approaches. Rare decays probe the SM and physics beyond the SM, e.g. leptoquark and supersymmetric models. Opportunities with $Λ_c\to pγ$ for future polarization measurements are presented. △ Less

Submitted 18 October, 2017; originally announced October 2017.

Comments: To be published in the proceedings of The European Physical Society Conference on High Energy Physics, Venice, Italy, 5-12 Jul 2017

Report number: DO-TH 17/25, QFET-2017-17, TTP17-040

Two loop virtual corrections to $b\to(d,s)\ell^+\ell^-$ and $c\to u\ell^+\ell^-$ for arbitrary momentum transfer

Authors: Stefan de Boer

Abstract: Non-factorizable two loop corrections to heavy to light flavor changing neutral current transitions due to matrix elements of current-current operators are calculated analytically for arbitrary momentum transfer. This extends previous works on $b\to(d,s)\ell^+\ell^-$ transitions. New results for $c\to u\ell^+\ell^-$ transitions are presented. Recent works on polylogarithms are used for the master… ▽ More Non-factorizable two loop corrections to heavy to light flavor changing neutral current transitions due to matrix elements of current-current operators are calculated analytically for arbitrary momentum transfer. This extends previous works on $b\to(d,s)\ell^+\ell^-$ transitions. New results for $c\to u\ell^+\ell^-$ transitions are presented. Recent works on polylogarithms are used for the master integrals. For $b\to s\ell^+\ell^-$ transitions, the corrections are most significant for the imaginary parts of the effective Wilson coefficients in the large hadronic recoil range. Analytical results and ready-to-use fitted results for a specific set of parameters are provided. △ Less

Submitted 23 January, 2019; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: 14 pages plus references and appendix. The results are supplemented to the source files of this paper; v2: typos corrected and clarifications and references added, supplemented files (+ analytical results in terms of GPLs) and description thereof improved, results unchanged; v3: files and text (fitted results for negative momentum transfer and factorizable results) added, results unchanged

Report number: DO-TH 17/06, QFET-2017-14

Gaia Data Release 1. Testing the parallaxes with local Cepheids and RR Lyrae stars

Authors: Gaia Collaboration, G. Clementini, L. Eyer, V. Ripepi, M. Marconi, T. Muraveva, A. Garofalo, L. M. Sarro, M. Palmer, X. Luri, R. Molinaro, L. Rimoldini, L. Szabados, I. Musella, R. I. Anderson, T. Prusti, J. H. J. de Bruijne, A. G. A. Brown, A. Vallenari, C. Babusiaux, C. A. L. Bailer-Jones, U. Bastian, M. Biermann, D. W. Evans, F. Jansen , et al. (566 additional authors not shown)

Abstract: Parallaxes for 331 classical Cepheids, 31 Type II Cepheids and 364 RR Lyrae stars in common between Gaia and the Hipparcos and Tycho-2 catalogues are published in Gaia Data Release 1 (DR1) as part of the Tycho-Gaia Astrometric Solution (TGAS). In order to test these first parallax measurements of the primary standard candles of the cosmological distance ladder, that involve astrometry collected by… ▽ More Parallaxes for 331 classical Cepheids, 31 Type II Cepheids and 364 RR Lyrae stars in common between Gaia and the Hipparcos and Tycho-2 catalogues are published in Gaia Data Release 1 (DR1) as part of the Tycho-Gaia Astrometric Solution (TGAS). In order to test these first parallax measurements of the primary standard candles of the cosmological distance ladder, that involve astrometry collected by Gaia during the initial 14 months of science operation, we compared them with literature estimates and derived new period-luminosity ($PL$), period-Wesenheit ($PW$) relations for classical and Type II Cepheids and infrared $PL$, $PL$-metallicity ($PLZ$) and optical luminosity-metallicity ($M_V$-[Fe/H]) relations for the RR Lyrae stars, with zero points based on TGAS. The new relations were computed using multi-band ($V,I,J,K_{\mathrm{s}},W_{1}$) photometry and spectroscopic metal abundances available in the literature, and applying three alternative approaches: (i) by linear least squares fitting the absolute magnitudes inferred from direct transformation of the TGAS parallaxes, (ii) by adopting astrometric-based luminosities, and (iii) using a Bayesian fitting approach. TGAS parallaxes bring a significant added value to the previous Hipparcos estimates. The relations presented in this paper represent first Gaia-calibrated relations and form a "work-in-progress" milestone report in the wait for Gaia-only parallaxes of which a first solution will become available with Gaia's Data Release 2 (DR2) in 2018. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Comments: 29 pages, 25 figures. Accepted for publication by A&A

Journal ref: A&A 605, A79 (2017)

Gaia Data Release 1. Open cluster astrometry: performance, limitations, and future prospects

Authors: Gaia Collaboration, F. van Leeuwen, A. Vallenari, C. Jordi, L. Lindegren, U. Bastian, T. Prusti, J. H. J. de Bruijne, A. G. A. Brown, C. Babusiaux, C. A. L. Bailer-Jones, M. Biermann, D. W. Evans, L. Eyer, F. Jansen, S. A. Klioner, U. Lammers, X. Luri, F. Mignard, C. Panem, D. Pourbaix, S. Randich, P. Sartoretti, H. I. Siddiqui, C. Soubiran , et al. (567 additional authors not shown)

Abstract: Context. The first Gaia Data Release contains the Tycho-Gaia Astrometric Solution (TGAS). This is a subset of about 2 million stars for which, besides the position and photometry, the proper motion and parallax are calculated using Hipparcos and Tycho-2 positions in 1991.25 as prior information. Aims. We investigate the scientific potential and limitations of the TGAS component by means of the ast… ▽ More Context. The first Gaia Data Release contains the Tycho-Gaia Astrometric Solution (TGAS). This is a subset of about 2 million stars for which, besides the position and photometry, the proper motion and parallax are calculated using Hipparcos and Tycho-2 positions in 1991.25 as prior information. Aims. We investigate the scientific potential and limitations of the TGAS component by means of the astrometric data for open clusters. Methods. Mean cluster parallax and proper motion values are derived taking into account the error correlations within the astrometric solutions for individual stars, an estimate of the internal velocity dispersion in the cluster, and, where relevant, the effects of the depth of the cluster along the line of sight. Internal consistency of the TGAS data is assessed. Results. Values given for standard uncertainties are still inaccurate and may lead to unrealistic unit-weight standard deviations of least squares solutions for cluster parameters. Reconstructed mean cluster parallax and proper motion values are generally in very good agreement with earlier Hipparcos-based determination, although the Gaia mean parallax for the Pleiades is a significant exception. We have no current explanation for that discrepancy. Most clusters are observed to extend to nearly 15 pc from the cluster centre, and it will be up to future Gaia releases to establish whether those potential cluster-member stars are still dynamically bound to the clusters. Conclusions. The Gaia DR1 provides the means to examine open clusters far beyond their more easily visible cores, and can provide membership assessments based on proper motions and parallaxes. A combined HR diagram shows the same features as observed before using the Hipparcos data, with clearly increased luminosities for older A and F dwarfs. △ Less

Submitted 3 March, 2017; originally announced March 2017.

Comments: Accepted for publication by A&A. 21 pages main text plus 46 pages appendices. 34 figures main text, 38 figures appendices. 8 table in main text, 19 tables in appendices

Journal ref: A&A 601, A19 (2017)

Rare radiative charm decays within the standard model and beyond

Authors: Stefan de Boer, Gudrun Hiller

Abstract: We present standard model (SM) estimates for exclusive $c \to u γ$ processes in heavy quark and hybrid frameworks. Measured branching ratios ${\cal{B}}(D^0 \to (φ, \bar K^{*0}) γ)$ are at or somewhat exceeding the upper range of the SM and suggest slow convergence of the $1/m_D, α_s$-expansion. Model-independent constraints on $|ΔC|=|ΔU|=1$ dipole operators from ${\cal{B}}(D^0 \to ρ^0 γ)$ data are… ▽ More We present standard model (SM) estimates for exclusive $c \to u γ$ processes in heavy quark and hybrid frameworks. Measured branching ratios ${\cal{B}}(D^0 \to (φ, \bar K^{*0}) γ)$ are at or somewhat exceeding the upper range of the SM and suggest slow convergence of the $1/m_D, α_s$-expansion. Model-independent constraints on $|ΔC|=|ΔU|=1$ dipole operators from ${\cal{B}}(D^0 \to ρ^0 γ)$ data are obtained. Predictions and implications for leptoquark models are worked out. While branching ratios are SM-like CP asymmetries $\lesssim 10 \%$ can be induced. In SUSY deviations from the SM can be even larger with CP asymmetries of $O(0.1)$. If $Λ_c$-baryons are produced polarized, such as at the $Z$-pole, an angular asymmetry in $Λ_c \to p γ$ decays can be studied that is sensitive to chirality-flipped contributions. △ Less

Submitted 28 September, 2018; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: 23 pages plus references and appendices, 7 figures; v2: clarifications and references added, conclusions unchanged; v3: In section IV.B on leptoquark models matching corrected and subsequent text, tables and equations adapted. Phenomenological results and conclusions unchanged

Report number: DO-TH 16/20, QFET-2016-18

Multi-Threaded Actors

Authors: Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu

Abstract: In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor consists of a group of active objects which share a message queue. We provide a formal operational semantics, and a description of a Java-based implementation for the basic programming abstractions describing multi-threaded actors. Finally, we… ▽ More In this paper we introduce a new programming model of multi-threaded actors which feature the parallel processing of their messages. In this model an actor consists of a group of active objects which share a message queue. We provide a formal operational semantics, and a description of a Java-based implementation for the basic programming abstractions describing multi-threaded actors. Finally, we evaluate our proposal by means of an example application. △ Less

Submitted 10 August, 2016; originally announced August 2016.

Comments: In Proceedings ICE 2016, arXiv:1608.03131

Journal ref: EPTCS 223, 2016, pp. 51-66

Higher-order Wilson coefficients for c $\to$ u transitions in the Standard Model

Authors: Stefan de Boer, Bastian Müller, Dirk Seidel

Abstract: The standard theoretical framework to deal with weak decays of heavy mesons is the so-called weak effective Hamiltonian. It involves the short-distance Wilson coefficients, which depend on the renormalisation scale $μ$. For specific calculations one has to evolve the Wilson coefficients down from the electroweak scale $μ=M_W$ to the typical mass scale of the decay under consideration. This is done… ▽ More The standard theoretical framework to deal with weak decays of heavy mesons is the so-called weak effective Hamiltonian. It involves the short-distance Wilson coefficients, which depend on the renormalisation scale $μ$. For specific calculations one has to evolve the Wilson coefficients down from the electroweak scale $μ=M_W$ to the typical mass scale of the decay under consideration. This is done by solving a renormalisation group equation for the effective operator basis. In this paper the results of a consistent two-step running of the $c \to u \,\ell^+\ell^-$ Wilson coefficients for dimension-6 operators are presented. This running involves the intermediate scale $μ=m_b$ (with $M_W > m_b > m_c$) where the bottom quark is integrated out. The matching coefficients and anomalous dimensions are taken to the required order by generalizing and extending results from $b \to s$ or $s \to d$ transitions available in the literature. △ Less

Submitted 17 June, 2016; originally announced June 2016.

Comments: 13 pages, 1 figure

Report number: DO-TH 15/11, QFET-2015-27

Opportunities with (semi)leptonic rare charm decays

Authors: Stefan de Boer

Abstract: We study (semi)leptonic rare charm decays and its opportunities in searches for physics beyond the Standard Model (BSM). In particular, we analyse the impact of potential BSM physics in $c\to ull'$ transitions, notably branching ratios, angular observables, asymmetries and Lepton Flavour Violating (LFV) decays. Testable effects are worked out model-independently and within Leptoquark models supple… ▽ More We study (semi)leptonic rare charm decays and its opportunities in searches for physics beyond the Standard Model (BSM). In particular, we analyse the impact of potential BSM physics in $c\to ull'$ transitions, notably branching ratios, angular observables, asymmetries and Lepton Flavour Violating (LFV) decays. Testable effects are worked out model-independently and within Leptoquark models supplemented with flavour patterns to link $K$/$B$ decays. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: To be published in the proceedings of 51st Recontres de Moriond EW 2016, La Thuile, Italy, 12-19 Mar 2016

Report number: DO-TH 16/10, QFET-2016-08

Rare Semileptonic Charm Decays

Authors: Stefan de Boer

Abstract: An analysis of charm mesons decaying semileptonically via Flavor Changing Neutral Currents is presented. We calculate the Wilson coefficients within the Standard Model. A window in the decay distribution, where physics beyond the Standard Model could be measured is identified. Exemplary, we study effects of leptoquark models. An analysis of charm mesons decaying semileptonically via Flavor Changing Neutral Currents is presented. We calculate the Wilson coefficients within the Standard Model. A window in the decay distribution, where physics beyond the Standard Model could be measured is identified. Exemplary, we study effects of leptoquark models. △ Less

Submitted 2 October, 2015; originally announced October 2015.

Comments: To be published in the proceedings of CHARM-2015, Detroit, MI, 18-22 May 2015

Report number: DO-TH 15/13, QFET-2015-26

Flavor & new physics opportunities with rare charm decays into leptons

Authors: Stefan de Boer, Gudrun Hiller

Abstract: Updated standard model predictions for $D_{(s)} \to P l^+ l^-$, $l=e,μ$, $P=π,K$ and inclusive decays are presented. Model-independent constraints on $|ΔC|=|ΔU|=1$ Wilson coefficients are worked out. New physics (NP) opportunities arise in semileptonic branching ratios for very large couplings only, however, are not excluded outside the resonance regions yet. The NP potential of resonance-assisted… ▽ More Updated standard model predictions for $D_{(s)} \to P l^+ l^-$, $l=e,μ$, $P=π,K$ and inclusive decays are presented. Model-independent constraints on $|ΔC|=|ΔU|=1$ Wilson coefficients are worked out. New physics (NP) opportunities arise in semileptonic branching ratios for very large couplings only, however, are not excluded outside the resonance regions yet. The NP potential of resonance-assisted CP asymmetries and angular observables is worked out. Predictions are given for leptoquark models, and include lepton flavor violating and dineutrino decays. Whether NP can be seen depends on flavor patterns, and vice versa. △ Less

Submitted 22 March, 2016; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 19 pages plus references and appendices, 5 figures; v2: $η^{(\prime)}$ contribution fixed, references added, conclusion unchanged; v3: typos corrected and clarifications and references added, conclusions unchanged

Report number: DO-TH 15/10, QFET-2015-25

Journal ref: Phys. Rev. D 93, 074001 (2016)

High-velocity gas towards the LMC resides in the Milky Way halo

Authors: P. Richter, K. S. de Boer, K. Werner, T. Rauch

Abstract: To explore the origin of high-velocity gas in the direction of the Large Magellanic Cloud (LMC) we analyze absorption lines in the ultraviolet spectrum of a Galactic halo star that is located in front of the LMC at d=9.2 kpc distance. We study the velocity-component structure of low and intermediate metal ions in the spectrum of RXJ0439.8-6809, as obtained with the Cosmic Origins Spectrograph (COS… ▽ More To explore the origin of high-velocity gas in the direction of the Large Magellanic Cloud (LMC) we analyze absorption lines in the ultraviolet spectrum of a Galactic halo star that is located in front of the LMC at d=9.2 kpc distance. We study the velocity-component structure of low and intermediate metal ions in the spectrum of RXJ0439.8-6809, as obtained with the Cosmic Origins Spectrograph (COS) onboard HST, and measure equivalent widths and column densities for these ions. We supplement our COS data with a Far-Ultraviolet Spectroscopic Explorer spectrum of the nearby LMC star Sk-69 59 and with HI 21cm data from the Leiden-Argentina-Bonn (LAB) survey. Metal absorption towards RXJ0439.8-6809 is unambiguously detected in three different velocity components near v_LSR=0,+60, and +150 km/s. The presence of absorption proves that all three gas components are situated in front of the star, thus being located in the disk and inner halo of the Milky Way. For the high-velocity cloud (HVC) at v_LSR=+150 km/s we derive an oxygen abundance of [O/H]=-0.63 (~0.2 solar) from the neighbouring Sk-69 59 sightline, in accordance with previous abundance measurements for this HVC. From the observed kinematics we infer that the HVC hardly participates in the Galactic rotation. Our study shows that the HVC towards the LMC represents a Milky Way halo cloud that traces low-column density gas with relatively low metallicity. It rules out scenarios in which the HVC represents material close to the LMC that stems from a LMC outflow. △ Less

Submitted 29 September, 2015; originally announced September 2015.

Comments: 4 pages, 3 figures; submitted to A&A Letters

Journal ref: A&A 584, L6 (2015)

Can filamentary accretion explain the orbital poles of the Milky Way satellites?

Authors: M. S. Pawlowski, P. Kroupa, G. Angus, K. S. de Boer, B. Famaey, G. Hensler

Abstract: Several scenarios have been suggested to explain the phase-space distribution of the Milky Way (MW) satellite galaxies in a disc of satellites (DoS). To quantitatively compare these different possibilities, a new method analysing angular momentum directions in modelled data is presented. It determines how likely it is to find sets of angular momenta as concentrated and as close to a polar orientat… ▽ More Several scenarios have been suggested to explain the phase-space distribution of the Milky Way (MW) satellite galaxies in a disc of satellites (DoS). To quantitatively compare these different possibilities, a new method analysing angular momentum directions in modelled data is presented. It determines how likely it is to find sets of angular momenta as concentrated and as close to a polar orientation as is observed for the MW satellite orbital poles. The method can be easily applied to orbital pole data from different models. The observed distribution of satellite orbital poles is compared to published angular momentum directions of subhalos derived from six cosmological state-of-the-art simulations in the Aquarius project. This tests the possibility that filamentary accretion might be able to naturally explain the satellite orbits within the DoS. For the most likely alignment of main halo and MW disc spin, the probability to reproduce the MW satellite orbital pole properties turns out to be less than 0.5 per cent in Aquarius models. Even an isotropic distribution of angular momenta has a higher likelihood to produce the observed distribution. The two Via Lactea cosmological simulations give results similar to the Aquarius simulations. Comparing instead with numerical models of galaxy-interactions gives a probability of up to 90 per cent for some models to draw the observed distribution of orbital poles from the angular momenta of tidal debris. This indicates that the formation as tidal dwarf galaxies in a single encounter is a viable, if not the only, process to explain the phase-space distribution of the MW satellite galaxies. △ Less

Submitted 26 April, 2012; originally announced April 2012.

Comments: 14 pages, 4 figures, 3 tables. Accepted for publication in MNRAS

Making Counter-Orbiting Tidal Debris: The Origin of the Milky Way Disc of Satellites

Authors: M. S. Pawlowski, P. Kroupa, K. S. de Boer

Abstract: Using stellar-dynamical calculations it is shown for the first time that counter-orbiting material emerges naturally in tidal interactions of disc galaxies. Model particles on both pro- and retrograde orbits can be formed as tidal debris in single encounters with disc galaxies of 1-to-1 and 4-to-1 mass ratios. A total of 74 model calculations are performed for a range of different initial paramete… ▽ More Using stellar-dynamical calculations it is shown for the first time that counter-orbiting material emerges naturally in tidal interactions of disc galaxies. Model particles on both pro- and retrograde orbits can be formed as tidal debris in single encounters with disc galaxies of 1-to-1 and 4-to-1 mass ratios. A total of 74 model calculations are performed for a range of different initial parameters. Interactions include fly-by and merger cases. The fraction of counter-orbiting material produced varies over a wide range (from a few up to 50 percent). All fly-by models show a similar two-phase behaviour, with retrograde material forming first. Properties of the prograde and retrograde populations are extracted to make an observational discrimination possible. During such encounters the tidal debris occupies a certain region in phase space. In this material, tidal-dwarf galaxies may form. The modelling therefore can explain why galaxies may have dwarf galaxies orbiting counter to the bulk of their dwarf galaxies. An example is the Sculptor dwarf of the Milky Way, which orbits counter to the bulk of the disc of satellites. The modelling thus supports the scenario of the MW satellites being ancient tidal-dwarf galaxies formed from gaseous material stripped from another galaxy during an encounter with the young MW. A possible candidate for this galaxy is identified as the Magellanic Cloud progenitor galaxy. Its angular motion fits the angular motion of the MW disc of satellites objects. This scenario is in agreement with Lynden-Bell's original suggestion for the origin of the dSph satellites and the near-unbound orbit of the LMC. △ Less

Submitted 14 June, 2011; originally announced June 2011.

Comments: 26 pages, 13 figures. Accepted for publication in Astronomy and Astrophysics

Interstellar absorptions towards the LMC: Small-scale density variations in Milky Way disc gas

Authors: Soroush Nasoudi-Shoar, Philipp Richter, Klaas S. de Boer, Bart P. Wakker

Abstract: Observations show that the ISM contains sub-structure on scales less than 1 pc, detected in the form of spatial and temporal variations in column densities or optical depth. Despite the number of detections, the nature and ubiquity of the small-scale structure in the ISM is not yet fully understood. We use UV absorption data mainly from FUSE and partly from STIS of six LMC stars (Sk-67°111, LH54-4… ▽ More Observations show that the ISM contains sub-structure on scales less than 1 pc, detected in the form of spatial and temporal variations in column densities or optical depth. Despite the number of detections, the nature and ubiquity of the small-scale structure in the ISM is not yet fully understood. We use UV absorption data mainly from FUSE and partly from STIS of six LMC stars (Sk-67°111, LH54-425, Sk-67°107, Sk-67°106, Sk-67°104, and Sk-67°101), all located within 5 arcmin of each other, and analyse the physical properties of the Galactic disc gas in front of the LMC on sub-pc scales. We analyse absorption lines of a number of ions within the UV spectral range. Most importantly, interstellar molecular hydrogen, neutral oxygen, and fine-structure levels of neutral carbon have been used in order to study changes in the density and the physical properties of the Galactic disc gas over small angular scales. While most species do not show any significant variation in their column densities, we find an enhancement of almost 2 dex for H_2 from Sk-67°111 to Sk-67°101, accompanied by only a small variation in the OI column density. Based on the formation-dissociation equilibrium, we trace these variations to the actual density variations in the molecular gas. On the smallest spatial scale of < 0.08 pc, between Sk-67°107 and LH54-425, we find a gas density variation of a factor of 1.8. The line of sight towards LH54-425 does not follow the relatively smooth change seen from Sk-67°101 to Sk-67°111, suggesting that sub-structure might exist on a smaller spatial scale than the linear extent of our sight-lines. Our observations suggest that the detected H_2 in these six lines of sight is not necessarily physically connected, but that we are sampling molecular cloudlets with pathlengths < 0.1-1.8 pc and possibly different densities. △ Less

Submitted 28 June, 2010; originally announced June 2010.

Comments: 17 pages, 8 figures. Accepted for publication in A&A

Hysteresis of atmospheric parameters of 12 RR Lyrae stars based on multichannel simultaneous Stroemgren photometry

Authors: K. S. de Boer, G. Maintz

Abstract: RR Lyrae stars have been observed to improve the insight into the processes at work in their atmospheres. Simultaneous Stroemgren-photometry allows to obtain a rapid sequence of measurements in which photometric indices are unaffected by non-optimum observing conditions. The indices y, b-y, and c_1 are used with an established calibration to derive T_eff and to derive the gravity, log g_BJ from th… ▽ More RR Lyrae stars have been observed to improve the insight into the processes at work in their atmospheres. Simultaneous Stroemgren-photometry allows to obtain a rapid sequence of measurements in which photometric indices are unaffected by non-optimum observing conditions. The indices y, b-y, and c_1 are used with an established calibration to derive T_eff and to derive the gravity, log g_BJ from the Balmer jump, throughout the pulsation cycle. By employing the equations for stellar structure, additional parameters can be derived. Stroemgren photometry and its calibration in terms of T_eff and log g can be used to determine the run of R and the atmosphere pulsation velocity. We find that the Balmer-line strengths are correlated with T_eff and that the strength of the Ca_ii K line correlates well with the radius of the star and thus the pulsation-dependent density of the atmosphere. The density in the stellar atmosphere fluctuates as indicated by the changes in the gravity log g_BJ, derived from c_1, between 2.3 and 4.5 dex. Also the Stroemgren metal index, m_1, fluctuates. We find a disagreement between log g(T,L,M), the gravity calculated from T_eff, L, and the mass M,and the gravity log g_BJ. This can be used to reassess the mass and the absolute magnitude of an individual star.The curves derived for the pulsational velocity V_pul differ from curves obtained from spectra needed to apply the Baade-Wesselink method; we think these differences are due to phase dependent differences in the optical depth levels sampled in continuum photometry and in spectroscopy. We find an atmospheric oscillation in these fundamental mode RR Lyrae stars of periodicity P/7. △ Less

Submitted 24 June, 2010; originally announced June 2010.

Comments: 12 pages, 11 figures

Local-Group tests of dark-matter Concordance Cosmology: Towards a new paradigm for structure formation

Authors: P. Kroupa, B. Famaey, K. S. de Boer, J. Dabringhausen, M. S. Pawlowski, C. M. Boily, H. Jerjen, D. Forbes, G. Hensler, M. Metz

Abstract: (abridged) Predictions of the Concordance Cosmological Model (CCM) of the structures in the environment of large spiral galaxies are compared with observed properties of Local Group galaxies. Five new most probably irreconcilable problems are uncovered. However, the Local Group properties provide hints that may lead to a solution of the above problems The DoS and bulge--satellite correlation sugge… ▽ More (abridged) Predictions of the Concordance Cosmological Model (CCM) of the structures in the environment of large spiral galaxies are compared with observed properties of Local Group galaxies. Five new most probably irreconcilable problems are uncovered. However, the Local Group properties provide hints that may lead to a solution of the above problems The DoS and bulge--satellite correlation suggest that dissipational events forming bulges are related to the processes forming phase-space correlated satellite populations. Such events are well known to occur since in galaxy encounters energy and angular momentum are expelled in the form of tidal tails, which can fragment to form populations of tidal-dwarf galaxies (TDGs) and associated star clusters. If Local Group satellite galaxies are to be interpreted as TDGs then the sub-structure predictions of CCM are internally in conflict. All findings thus suggest that the CCM does not account for the Local Group observations and that therefore existing as well as new viable alternatives have to be further explored. These are discussed and natural solutions for the above problems emerge. △ Less

Submitted 6 October, 2010; v1 submitted 8 June, 2010; originally announced June 2010.

Comments: A and A, in press, 25 pages, 9 figures; new version contains minor text adjustments for conformity with the published version and additional minor changes resulting from reader's feedback. The speculation on a dark force has been added. Also, the Fritz Zwicky Paradox is now included to agree with the published version

Verification of Object-Oriented Programs: a Transformational Approach

Authors: Krzysztof R. Apt, Frank S. de Boer, Ernst-Ruediger Olderog, Stijn de Gouw

Abstract: We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation suggests natural proofs rules and its correctness helps us to establish soundness and relative completeness of the proposed proof system. One of the difficulti… ▽ More We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation suggests natural proofs rules and its correctness helps us to establish soundness and relative completeness of the proposed proof system. One of the difficulties is how to properly deal in the assertion language with the instance variables and aliasing. The discussed programming language supports arrays, instance variables, failures and recursive methods with parameters. △ Less

Submitted 8 November, 2011; v1 submitted 26 April, 2010; originally announced April 2010.

Comments: 49 pages. To appear in Journal of Computer and System Sciences. Stijn de Gouw is now a new author

ACM Class: F.3.1

Modular Verification of Recursive Programs

Authors: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

Abstract: We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some properties of the program are established first and subsequently used to establish other program properties. We illustrate this approach by providing a modular correctness proof of the Quicksort program. We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some properties of the program are established first and subsequently used to establish other program properties. We illustrate this approach by providing a modular correctness proof of the Quicksort program. △ Less

Submitted 24 July, 2009; originally announced July 2009.

Comments: 21 pages. appeared in: Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533 Springer 2009

ACM Class: F.3.1

RR Lyrae stars: Kinematics, orbits and z-distribution

Authors: Gisela Maintz, Klaas S. de Boer

Abstract: RR Lyrae stars in the Milky Way are good tracers to study the kinematic behaviour and spatial distribution of older stellar populations. A recently established well documented sample of 217 RR Lyr stars with V<12.5 mag, has been used to reinvestigate these structural parameters. The kinematic parameters allowed to calculate the orbits of the stars. Nearly 1/3 of the stars of our sample has orbit… ▽ More RR Lyrae stars in the Milky Way are good tracers to study the kinematic behaviour and spatial distribution of older stellar populations. A recently established well documented sample of 217 RR Lyr stars with V<12.5 mag, has been used to reinvestigate these structural parameters. The kinematic parameters allowed to calculate the orbits of the stars. Nearly 1/3 of the stars of our sample has orbits staying near the Milky Way plane. Of the 217 stars, 163 have halo-like orbits fulfilling one of the following criteria: Theta < 100 km/s, orbit eccentricity >0.4, and normalized maximum orbital z-distance >0.45. Of these stars roughly half have retrograde orbits. The z-distance probability distribution of this sample shows scale heights of 1.3 +-0.1 kpc for the disk component and 4.6 +-0.3 kpc for the halo component. With our orbit statistics method we found a (vertical) spatial distribution which, out to z=20 kpc, is similar to that found with other methods. This distribution is also compatible with the ones found for blue (HBA and sdB) halo stars. The circular velocity Theta, the orbit eccentricity, orbit z-extent and [Fe/H] are employed to look for possible correlations. If any, it is that the metal poor stars with [Fe/H] <1.0 have a wide symmetric distribution about Theta=0. We conclude that the Milky Way possesses a halo component of old and metal poor stars with a scale height of 4-5 kpc having random orbits. The presence in our sample of a few metal poor stars (thus part of the halo population) with thin disk-like orbits is statistically not surprising. The midplane density ratio of halo to disk stars is found to be 0.16, a value very dependent on proper sample statistics. Keywords: astrometry -- Stars: kinematics -- Stars: variables -- Stars: RR-Lyrae -- Galaxy: Halo -- Galaxy: structure △ Less

Submitted 26 July, 2005; originally announced July 2005.

Comments: 10 pages with 10 figures, A and A accepted Online-Data are available under http://www.astro.uni-bonn.de/~gmaintz

Kinematics of RHB stars to trace the structure of the galaxy

Authors: T. A. Kaempf, K. S. de Boer, M. Altmann

Abstract: Red horizontal-branch (RHB) stars have been selected from the HIPPARCOS catalogue to investigate their kinematics and spatial distribution. HIPPARCOS parallaxes, literature radial velocities and HIPPARCOS proper motions, together with models for the gravitational potential of the Milky Way allow a calculation of the actual velocity vectors and the orbits of the RHB stars. The velocity characteri… ▽ More Red horizontal-branch (RHB) stars have been selected from the HIPPARCOS catalogue to investigate their kinematics and spatial distribution. HIPPARCOS parallaxes, literature radial velocities and HIPPARCOS proper motions, together with models for the gravitational potential of the Milky Way allow a calculation of the actual velocity vectors and the orbits of the RHB stars. The velocity characteristics are used to define a halo population sample (HPS) in the collection of RHBs. The orbits lead statistically to an overall z-distance probability distribution, showing that the RHBs exhibit two populations, a disk one having a scale height of h_disk ~0.6 kpc and a halo one of ~4 kpc. We have investigated the influence on our results of parallax accuracy and of a demarcation line in the HRD between the RHB and the red-giant (RG) star region. Neither of them show marked effects. We have performed the orbit analysis using the potential model of Allen & Santillan as well as of Dehnen & Binney. The results differ only slightly for the disk population, showing that these potential models are not a critical part of such orbit investigations. RHB scale height values are smaller than those found earlier for sdB stars, most likely because the samples of stars used had different spatial distributions a priori. The data do not allow us to specify a trend in the kinematic behaviour of star types along the horizontal branch. △ Less

Submitted 16 December, 2004; originally announced December 2004.

Comments: 10 pages, 10 figures, accepted by A&A 16/11/2004

The contribution of halo red giant mass loss to the high-velocity gas falling onto the Milky Way disk

Authors: Klaas S. de Boer

Abstract: The origin of gas falling from the halo toward the disk of the Milky Way is still largely unclear. Here the amount of gas shed by the (older) halo red giants is estimated. The distribution of red giants (RGs) in the halo is not known but that of a subset of stars in the post RG phase, the sdB stars of the horizontal-branch (HB), is. Using the mid-plane density and $z$-distribution of sdB stars,… ▽ More The origin of gas falling from the halo toward the disk of the Milky Way is still largely unclear. Here the amount of gas shed by the (older) halo red giants is estimated. The distribution of red giants (RGs) in the halo is not known but that of a subset of stars in the post RG phase, the sdB stars of the horizontal-branch (HB), is. Using the mid-plane density and $z$-distribution of sdB stars, the ratio of sdB stars to all HB stars, and the RG mass loss, the infall due to total mass lost by all halo RG stars at $z>1$ kpc is calculated. For the extended halo component $\dot{M}_{\rm halo RGs} \simeq 1.4 \cdot 10^{-5}$ \msun kpc$^{-2}$ yr$^{-1}$ while the thick disk component RGs contribute $\dot{M}_{\rm thick disk RGs} \simeq 5.4 \cdot 10^{-5}$ \msun kpc$^{-2}$ yr$^{-1}$, each with an uncertainty of a factor 4. The total rate of infall due to RG mass-loss is $\dot{M}_{{\rm RGs at\}z>1 {\rm kpc}} \simeq 7 \cdot 10^{-5}$ \msun kpc$^{-2}$ yr$^{-1}$, a sizeable fraction of the equally uncertain observed rate of infall of material. Since most of the RG stars in the extended halo are old, their mass loss is predominantly metal-poor, while that of the disk RGs is more metal-rich. The galactic fountain flow provides additional metal-rich infall and small galaxies being accreted contribute to the infall of gas as well. △ Less

Submitted 26 February, 2004; originally announced February 2004.

Comments: 5 pages, no figures, accepted by Astronomy & Astrophysics

Journal ref: Astron.Astrophys. 419 (2004) 527-531

Intermediate scale structure of the interstellar medium towards NGC 6231 in Sco OB1 with FUSE

Authors: O. Marggraf, H. Bluhm, K. S. de Boer

Abstract: The FUSE far-ultraviolet interstellar spectra toward seven targets in NGC 6231 show that the molecules H_2, HD, and CO as well as various atomic species are distributed in several clouds. The main absorption component found on the sight lines lies in the Lupus cloud region at a distance of about 150 pc, and there is a weaker second one, presumably in the Sco OB1 shell surrounding NGC 6231 (d~1.8… ▽ More The FUSE far-ultraviolet interstellar spectra toward seven targets in NGC 6231 show that the molecules H_2, HD, and CO as well as various atomic species are distributed in several clouds. The main absorption component found on the sight lines lies in the Lupus cloud region at a distance of about 150 pc, and there is a weaker second one, presumably in the Sco OB1 shell surrounding NGC 6231 (d~1.8 kpc). H_2 excitation modelling is used to constrain the radiation field and the density in the gas; HD is used to estimate the abundance of H+. The small angular separation of the target stars allows column density variations to be probed over the field of view, on scales of 0.05 pc in the case of the Lupus cloud distance. They are 40% for H_2 and 60% for H I. A rather strong radiation field inside the molecular clouds suggests a separation of the gas into smaller cloudlets also along the line of sight. △ Less

Submitted 2 December, 2003; originally announced December 2003.

Comments: 12 pages, accepted for publication in Astronomy & Astrophysics

Journal ref: Astron.Astrophys. 416 (2004) 251-262

Studying the populations of our Galaxy using the kinematics of sdB stars

Authors: M. Altmann, H. Edelmann, K. S. de Boer

Abstract: We have analysed the kinematics of a sample of 114 hot subdwarf stars, for 2/3 of which we present new proper motions, spectroscopic and photometric data. The vast majority of the stars show a kinematic behaviour that is similar to that of Thick Disk stars. Some stars have velocities rather fitting to solar, i.e. Thin Disk, kinematics. 16 objects have orbital velocities which differ considerably… ▽ More We have analysed the kinematics of a sample of 114 hot subdwarf stars, for 2/3 of which we present new proper motions, spectroscopic and photometric data. The vast majority of the stars show a kinematic behaviour that is similar to that of Thick Disk stars. Some stars have velocities rather fitting to solar, i.e. Thin Disk, kinematics. 16 objects have orbital velocities which differ considerably from those of Disk stars. These are members of the Galactic Halo. We analysed the velocity dispersions and calculated orbits. Most stars feature orbits with disk character (eccentricity <= 0.5), a few reach far above the Galactic plane and have very eccentric orbits (ecc >= 0.7). The intermediate eccentricity range is poorly populated. This indicates that the (Thick) Disk and the Halo are kinematically disjunct. Plotting a histogram of the orbit data points along z leads to the z-distance probability distribution of the star; doing this for all stars leads to the z-distance probability distribution of the sample. The logarithmic histogram shows two slopes, each representing the scale height of a population. The disk component has a scale height of 0.9 (0.1) kpc, which is consistent with earlier results and is similar to that of the Thick Disk. The other slope represents a component with a scale height ~7 kpc, a much flatter gradient than for the disk component. This shows that the vast majority of the sdBs are Disk stars, but a Halo minority is present, too. The kinematic history and population membership of the sdB stars on the whole is different from that of the cooler HBA stars, which are predominantly or even exclusively Halo objects. This leads to the question, whether the Halo sdB stars are of similar origin as the HBAs, or whether their kinematical behaviour possibly represents another origin, such as infalling stellar aggregates. △ Less

Submitted 20 October, 2003; originally announced October 2003.

Comments: accepted for publication in Astronomy and Astrophysics (A&A), 20 pages, 9 figures, 4 tables

Journal ref: Astron.Astrophys.414:181-201,2004

Interstellar H_2 in M 33 detected with FUSE

Authors: Hartmut Bluhm, Klaas S. de Boer, Ole Marggraf, Philipp Richter, Bart P. Wakker

Abstract: FUSE spectra of the four brightest H II regions in M 33 show absorption by interstellar gas in the Galaxy and in M 33. On three lines of sight molecular hydrogen in M 33 is detected. This is the first measurement of diffuse H_2 in absorption in a Local Group galaxy other than the Magellanic Clouds. A quantitative analysis is difficult because of the low signal to noise ratio and the systematic e… ▽ More FUSE spectra of the four brightest H II regions in M 33 show absorption by interstellar gas in the Galaxy and in M 33. On three lines of sight molecular hydrogen in M 33 is detected. This is the first measurement of diffuse H_2 in absorption in a Local Group galaxy other than the Magellanic Clouds. A quantitative analysis is difficult because of the low signal to noise ratio and the systematic effects produced by having multiple objects in the FUSE aperture. We use the M 33 FUSE data to demonstrate in a more general manner the complexity of interpreting interstellar absorption line spectra towards multi-object background sources. We derive H_2 column densities of approximately 10^16 to 10^17 cm^{-2} along 3 sight lines (NGC 588, NGC 592, NGC 595). Because of the systematic effects, these values most likely represent upper limits and the non-detection of H_2 towards NGC 604 does not exclude the existence of significant amounts of molecular gas along this sight line. △ Less

Submitted 25 November, 2002; originally announced November 2002.

Comments: 10 pages, 5 figures, accepted for publication in A&A

Journal ref: Astron.Astrophys. 398 (2003) 983-992

Proving correctness of Timed Concurrent Constraint Programs

Authors: F. S. de Boer, M. Gabbrielli, M. C. Meo

Abstract: A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on modalities which allow one to specify what a process produces as a reaction to what its environment inputs. These modalities provide an assumption/commitment style of specification which allows a sound and complete compositional axiomatization of the reactive behavior… ▽ More A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on modalities which allow one to specify what a process produces as a reaction to what its environment inputs. These modalities provide an assumption/commitment style of specification which allows a sound and complete compositional axiomatization of the reactive behavior of timed concurrent constraint programs. △ Less

Submitted 28 August, 2002; originally announced August 2002.

ACM Class: F.3.1; D.3.1; D.3.2

Agent Programming with Declarative Goals

Authors: F. S. de Boer, K. V. Hindriks, W. van der Hoek, J. -J. Ch. Meyer

Abstract: A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a `declarative goal'. Instead, such frameworks have… ▽ More A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a `declarative goal'. Instead, such frameworks have focused mainly on plans or `goals-to-do' instead of the end goals to be realised which are also called `goals-to-be'. In this paper, a new programming language called GOAL is introduced which incorporates such declarative goals. The notion of a `commitment strategy' - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics for GOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. Thus, we offer a complete theory of agent programming in the sense that our theory provides both for a programming framework and a programming logic for such agents. An example program is proven correct by using this programming logic. △ Less

Submitted 3 July, 2002; originally announced July 2002.

ACM Class: F.3.1; F.3.2; I.2.5; I.2.4

ROSAT X-ray sources in the field of the LMC. III.The log N -- log S of background AGN and the LMC gas

Authors: P. Kahabka, K. S. de Boer, C. Bruens

Abstract: We use 50 (candidate) background X-ray sources (AGN) in the LMC field observed in ROSAT PSPC observations to derive the observed log N - log S relation. We correct for the varying PSPC exposure and the absorption due to the galactic and the LMC gas. We compare the observed log N - log S with a theoretical log N - log S of the soft extragalactic X-ray background (AGN and a cluster of galaxy contr… ▽ More We use 50 (candidate) background X-ray sources (AGN) in the LMC field observed in ROSAT PSPC observations to derive the observed log N - log S relation. We correct for the varying PSPC exposure and the absorption due to the galactic and the LMC gas. We compare the observed log N - log S with a theoretical log N - log S of the soft extragalactic X-ray background (AGN and a cluster of galaxy contribution). We find that the observed log N - log S has a deficiency with respect to the theoretical log N - log S. Factors which can account for such a deficiency are: (1) incompleteness of the selected AGN and cluster of galaxies sample, (2) deviation of the log N - log S in the LMC field from the log N - log S derived from a large sample of AGN in several fields, (3) existence of gas additional to the HI represented in the Parkes HI map of the LMC field. We investigate the likely contribution of these effects and find that (1) a fraction of at most 30% of the background sources may not have been found in this analysis and may contribute to the observed deficiency. (2) We cannot exclude a deviation of the log N - log S in the field of the LMC from a theoretical log N - log S, especially the cluster of galaxy contribution may show variations across the sky. (3) If LMC gas (restricted to >10^21 cm^-2 columns) in addition to the HI represented in the Parkes map would be responsible for the deficiency, then a factor of >0.3 (at 90% confidence) of additional gas would be required. This would equal a molecular mass fraction of >21%, which would be larger than, but within the uncertainties consistent with a molecular mass fraction of ~30% derived from CO observations (for columns >10^21 cm^-2). △ Less

Submitted 5 April, 2002; originally announced April 2002.

Comments: 14 pages, accepted for publication in A&A, March 22 2002

H2, HD, and CO at the edge of 30 Dor in the LMC: the line of sight to Sk-69 246

Authors: Hartmut Bluhm, Klaas S. de Boer

Abstract: FUSE and IUE observations of Sk -69 246, a WN 6 star to the north of 30 Dor, reveal the existence of LMC interstellar gas in at least 3 velocity components.In one of these components FUSE spectra show strong absorption by molecular hydrogen with a column density of log N(H_2)=19.6. We investigate the physical conditions in this cloud, which is probably located near the H II region surrounding Sk… ▽ More FUSE and IUE observations of Sk -69 246, a WN 6 star to the north of 30 Dor, reveal the existence of LMC interstellar gas in at least 3 velocity components.In one of these components FUSE spectra show strong absorption by molecular hydrogen with a column density of log N(H_2)=19.6. We investigate the physical conditions in this cloud, which is probably located near the H II region surrounding Sk -69 246. HD and CO with column densities of about 13.9 and 13.0 dex, respectively, are detected. The N(CO)-to-N(H_2) ratio is consistent with values found in the Galaxy. From the population of the rotational levels of H_2 we derive a gas temperature of 72 K and a radiation field U=3*10^-15 erg/(s*cm^3) at 1000 nm. The fractional abundance f=2N(H_2)/[N(H I)+2N(H_2)] is approximately 0.07, rather high for an E(B-V)<0.1. △ Less

Submitted 18 September, 2001; originally announced September 2001.

Comments: 8 pages, 8 figures, accepted for publication in A&A

ROSAT X-ray sources in the field of the LMC I.Total LMC gas from the background AGN spectral fits

Authors: P. Kahabka, K. S. de Boer, C. Bruens

Abstract: We analyzed a sample of 26 background X-ray sources in a ~60 square degree field of the Large Magellanic Cloud observed with the ROSAT PSPC. The sample has been selected from previously classified and optically identified X-ray sources. In addition pointlike and spectrally hard sources with at least 100 to 200 observed counts have been used for the analysis. We performed X-ray spectral fitting a… ▽ More We analyzed a sample of 26 background X-ray sources in a ~60 square degree field of the Large Magellanic Cloud observed with the ROSAT PSPC. The sample has been selected from previously classified and optically identified X-ray sources. In addition pointlike and spectrally hard sources with at least 100 to 200 observed counts have been used for the analysis. We performed X-ray spectral fitting and derived total hydrogen absorbing column densities due to LMC gas in the range 10^20 - 2. 10^21 cm^-2. We compared these columns with the HI columns derived from a 21-cm Parkes survey of the LMC. For 7 optically identified sources we find, within the uncertainties derived from the X-ray spectral fit, agreement for both columns. For further 19 sources we constrain the LMC columns from the X-ray spectral fit assuming that the powerlaw photon index is that of AGN type spectra. We derive for 20 sources gas columns which are within the uncertainties in agreement with the HI columns. We derive for two background sources (RX J0536.9-6913 and RX J0547.0-7040) hydrogen absorbing column densities due to LMC gas, which are in excess to the HI columns. These sources - located in regions of large (~3. 10^21 cm^-2) LMC HI column densities - could be seen through additional gas which may be warm and diffuse, cold or molecular. For 10 sources we derive upper limits for the gas columns additional to HI and constrain the molecular mass fraction to <(30-140)%. △ Less

Submitted 29 March, 2001; originally announced March 2001.

Comments: Accepted by A&A

HI spectra and column densities toward HVC and IVC probes

Authors: B. P. Wakker, P. M. W. Kalberla, H. van Woerden, K. S. de Boer, M. E. Putman

Abstract: We show 21-cm line profiles in the direction of stars and extragalactic objects, lying projected on high- and intermediate-velocity clouds (HVCs and IVCs). About half of these are from new data obtained with the Effelsberg 100-m telescope, about a quarter are extracted from the Leiden-Dwingeloo Survey (LDS) and the remaining quarter were observed with other single-dish telescopes. HI column dens… ▽ More We show 21-cm line profiles in the direction of stars and extragalactic objects, lying projected on high- and intermediate-velocity clouds (HVCs and IVCs). About half of these are from new data obtained with the Effelsberg 100-m telescope, about a quarter are extracted from the Leiden-Dwingeloo Survey (LDS) and the remaining quarter were observed with other single-dish telescopes. HI column densities were determined for each HVC/IVC. Wakker (2001) (Paper I) uses these in combination with optical and ultraviolet high-resolution measurements to derive abundances. Here, an analysis is given of the difference and ratio of N(HI) as observed with a 9 arcmin versus a 35 arcmin beam. For HVCs and IVCs the ratio N(HI-9 arcmin)/N(HI-35 arcmin) lies in the range 0.2-2.5. For low-velocity gas this ratio ranges from 0.75 to 1.3 (the observed ratio is 0.85-1.4, but it appears that the correction for stray radiation is slightly off). The smaller range for the low-velocity gas may be caused by confusion in the line of sight, so that a low ratio in one component can be compensated by a high ratio in another -- for 11 low-velocity clouds fit by one component the distribution of ratios has a larger dispersion. Comparison with higher angular resolution data is possible for sixteen sightlines. Eight sightlines with HI data at 1 arcmin-2 arcmin resolution show a range of 0.75-1.25 for N(HI-2 arcmin)/N(HI-9 arcmin), while in eight other sightlines N(HI-Ly-alpha)/N(HI-9 arcmin) ranges from 0.74 to 0.98. △ Less

Submitted 8 February, 2001; originally announced February 2001.

Comments: To appear in the "Astrophysical Journal Supplement"; 45 pages; degraded figures (astro-ph restriction) - ask for good versions

Journal ref: Astrophys.J.Suppl. 136 (2001) 537-578

GAIA: Composition, Formation and Evolution of the Galaxy

Authors: M. A. C. Perryman, K. S. de Boer, G. Gilmore, E. Høg, M. G. Lattanzi, L. Lindegren, X. Luri, F. Mignard, O. Pace, P. T. de Zeeuw

Abstract: The GAIA astrometric mission has recently been approved as one of the next two `cornerstones' of ESA's science programme, with a launch date target of not later than mid-2012. GAIA will provide positional and radial velocity measurements with the accuracies needed to produce a stereoscopic and kinematic census of about one billion stars throughout our Galaxy (and into the Local Group), amounting… ▽ More The GAIA astrometric mission has recently been approved as one of the next two `cornerstones' of ESA's science programme, with a launch date target of not later than mid-2012. GAIA will provide positional and radial velocity measurements with the accuracies needed to produce a stereoscopic and kinematic census of about one billion stars throughout our Galaxy (and into the Local Group), amounting to about 1 per cent of the Galactic stellar population. GAIA's main scientific goal is to clarify the origin and history of our Galaxy, from a quantitative census of the stellar populations. It will advance questions such as when the stars in our Galaxy formed, when and how it was assembled, and its distribution of dark matter. The survey aims for completeness to V=20 mag, with accuracies of about 10 microarcsec at 15 mag. Combined with astrophysical information for each star, provided by on-board multi-colour photometry and (limited) spectroscopy, these data will have the precision necessary to quantify the early formation, and subsequent dynamical, chemical and star formation evolution of our Galaxy. Additional products include detection and orbital classification of tens of thousands of extra-Solar planetary systems, and a comprehensive survey of some 10^5-10^6 minor bodies in our Solar System, through galaxies in the nearby Universe, to some 500,000 distant quasars. It will provide a number of stringent new tests of general relativity and cosmology. The complete satellite system was evaluated as part of a detailed technology study, including a detailed payload design, corresponding accuracy assesments, and results from a prototype data reduction development. △ Less

Submitted 15 January, 2001; originally announced January 2001.

Comments: Accepted by A&A: 25 pages, 8 figures

Journal ref: Astron.Astrophys.369:339-363,2001

Stellar Associations and their Field East of LMC 4 in the Large Magellanic Cloud

Authors: D. Gouliermis, K. S. de Boer, S. C. Keller, M. Kontizas, E. Kontizas

Abstract: We report about the stellar content and the luminosity and mass functions of three stellar associations and their field located on the north-east edge of the super-bubble LMC 4 in the Large Magellanic Cloud. We report about the stellar content and the luminosity and mass functions of three stellar associations and their field located on the north-east edge of the super-bubble LMC 4 in the Large Magellanic Cloud. △ Less

Submitted 11 January, 2001; originally announced January 2001.

Comments: To be appeared in the meeting Proceedings of ``Modes of Star Formation and the Origin of Field Populations'', Heidelberg, Germany, October 2000; to be published in the ASP Conference Series, edited by E. K. Grebel and W. Brandner

ORFEUS echelle spectra: Molecular hydrogen in disk, IVC, and HVC gas in front of the LMC

Authors: Hartmut Bluhm, Klaas. S. de Boer, Ole Marggraf, Philipp Richter

Abstract: In front of the LMC molecular hydrogen is found in absorption near 0 km/s, being local disk gas, near +60 km/s in an intermediate velocity cloud, and near +120 km/s, in a high velocity halo cloud. The nature of the gas is discussed based on four ORFEUS far UV spectra of LMC stars and including data from the ground and from the IUE satellite. The local gas is cool and, given a span of sight lines… ▽ More In front of the LMC molecular hydrogen is found in absorption near 0 km/s, being local disk gas, near +60 km/s in an intermediate velocity cloud, and near +120 km/s, in a high velocity halo cloud. The nature of the gas is discussed based on four ORFEUS far UV spectra of LMC stars and including data from the ground and from the IUE satellite. The local gas is cool and, given a span of sight lines of only 2.5 deg, rather fluffy. The fractional abundance of H_2 varies from log(f)=-5.4 to -3.3. Metal depletions (up to -1.7 dex for Fe) are typical for galactic disk gas. In the IV and HV gas an apparent underabundance of neutral oxygen points to an ionization level of the gas of about 90%. H_2 is detected in IV and HV gas toward HD 269546. In the IV gas we find an H_2 column density of log(N)\simeq15.6. The H_2 excitation indicates that the line of sight samples a cloud at a temperature below 150 K. Column densities are too small to detect the higher UV pumped excitation levels. The high velocity H_2 (log(N)\simeq15.6) is highly excited and probably exposed to a strong radiation field. Its excitation temperature exceeds 1000 K. Due to the radial velocity difference between the halo gas and the Milky Way disk, the unattenuated disk radiation is available for H_2 excitation in the halo. We do not find evidence for an intergalactic origin of this gas; a galactic as well as a Magellanic Cloud origin is possible. △ Less

Submitted 11 December, 2000; originally announced December 2000.

Comments: 12 pages, 5 figures, accepted for publication in A&A

Absorption line systems on the line of sight from SN 1987A to SN 1993J and the intergalactic cloud in front of M81

Authors: Ole Marggraf, Klaas S. de Boer

Abstract: We present an extended analysis of the high dispersion IUE spectra of SN 1993J in M81, based on the improved data in the IUE final archive. Eight interstellar absorption components can be identified in the velocity range from -200 km/s to +200 km/s. Column densities are determined for Fe II, Mg I, Mg II, O I, S II, Si II, and Zn II. From the ion ratios, we estimate electron densities and tempera… ▽ More We present an extended analysis of the high dispersion IUE spectra of SN 1993J in M81, based on the improved data in the IUE final archive. Eight interstellar absorption components can be identified in the velocity range from -200 km/s to +200 km/s. Column densities are determined for Fe II, Mg I, Mg II, O I, S II, Si II, and Zn II. From the ion ratios, we estimate electron densities and temperatures of the gas in these components. In addition, we rederive column density profiles for the higher ionisation stages Al III, Si IV, and C IV for the entire line of sight. Of special interest are the absorption components at positive velocities, which are associated with the intergalactic medium (IGM) in the foreground of M81. The medium has many gas components, as known from radio measurements, probably released in dynamical interactions by galaxies in the M81 group. The IUE spectra contain the only UV absorption information on such gas. We find neutral and ionised gas absorption at the same velocity, having a metal content similar to a galactic disk. We combine the spectra towards SN 1993J in M81 with those towards SN 1987A in the LMC, the directions being essentially antipodes on the celestical sphere. Comparing the total profile with QSO spectra, we conclude that most absorption in QSO spectra occurs in diffuse clouds on those sight lines and is not similar to absorption by galactic disk gas. However, one absorption component towards SN 1993J is clearly very similar to some of the absorption components in QSO spectra. △ Less

Submitted 19 September, 2000; originally announced September 2000.

Comments: 11 pages, 5 figures; accepted for publication in A&A main journal

Journal ref: A&A 363,733-743 (2000)

ORFEUS II Echelle spectra: Molecular hydrogen at high velocities toward HD 93521

Authors: W. Gringel, J. Barnstedt, K. S. de Boer, M. Grewing, N. Kappelmann, P. Richter

Abstract: Absorption lines of interstellar molecular hydrogen in the far ultraviolet (FUV) have been observed in the spectrum of the O9.5 halo star HD 93521, located some 1500 pc from the Galactic plane. During the second flight of the ORFEUS-SPAS mission a spectrum with the Echelle spectrometer has been recorded with a total integration time of 1740 s. The resolution achieved was about 10.000 with a sign… ▽ More Absorption lines of interstellar molecular hydrogen in the far ultraviolet (FUV) have been observed in the spectrum of the O9.5 halo star HD 93521, located some 1500 pc from the Galactic plane. During the second flight of the ORFEUS-SPAS mission a spectrum with the Echelle spectrometer has been recorded with a total integration time of 1740 s. The resolution achieved was about 10.000 with a signal-to-noise ratio of up to 25. For the first time two components of molecular hydrogen have been observed in absorption at velocities of -12 km/s in the Galactic disk and at -62 km/s located presumably in the Galactic halo. The column densities derived from a standard curve of growth analysis were found to be N(H_2) = 10^17.0 cm^-2 for the disk component and N(H_2) = 10^14.6 cm^-2 respectively for the component located in the Galactic halo. △ Less

Submitted 14 June, 2000; originally announced June 2000.

Comments: 4 pages, 5 figures, accepted for publication in A&A Letters

The stars near the centre of supergiant shell LMC4: Further constraints on triggering scenarios

Authors: Jochen M. Braun, Klaas S. de Boer, Martin Altmann

Abstract: The huge supergiant shell (SGS) LMC4, next to the giant HII region 30 Doradus the second most impressive feature of the Large Magellanic Cloud (LMC), has been the subject of many studies and was used to test various models of star forming mechanisms. In this paper we present a B, V photometry of the very centre of this SGS. The new data yield an age of 11(2)Myr and a colour excess E(B-V) = 0.10(… ▽ More The huge supergiant shell (SGS) LMC4, next to the giant HII region 30 Doradus the second most impressive feature of the Large Magellanic Cloud (LMC), has been the subject of many studies and was used to test various models of star forming mechanisms. In this paper we present a B, V photometry of the very centre of this SGS. The new data yield an age of 11(2)Myr and a colour excess E(B-V) = 0.10(3)mag. Additionally, the two clusters near the geometric centre are too old to be related to the formation of LMC4: HS343 being ~0.1Gyr and KMHK1000 being ~0.3Gyr of age. This and existing photometries support that the young stellar population covering the entire inner region is nearly coeval. We compare these findings with predictions of models proposed for the creation mechanism of SGSs. We conclude that the large-scale trigger, necessary to explain the observations, comes from hydrodynamic interaction of the galactic halo with gas in the leading edge of the moving LMC. △ Less

Submitted 5 June, 2000; originally announced June 2000.

Comments: 10 pages, LaTeX, incl. 7 PostScript figures, see http://www.astro.uni-bonn.de/~jbraun/phdt_lmc4c.html for further information (incl. link to FTP account with data and paper with full resolution images). Submitted to Astronomy & Astrophysics

Kinematical trends among the field horizontal branch stars

Authors: Martin Altmann, Klaas S. de Boer

Abstract: Field Horizontal branch (HB) stars can be used as tracers for the study of early stages of the evolution of our galaxy. Since the age of individual HB stars is not known a priori, we have studied the kinematics of a sample of field HB stars measured with Hipparcos to look for signs of age and population nature. We found that the kinematics of the HBA stars is very different from that of the sdB/… ▽ More Field Horizontal branch (HB) stars can be used as tracers for the study of early stages of the evolution of our galaxy. Since the age of individual HB stars is not known a priori, we have studied the kinematics of a sample of field HB stars measured with Hipparcos to look for signs of age and population nature. We found that the kinematics of the HBA stars is very different from that of the sdB/O stars. The HBAs have low, sometimes negative, orbital velocities and feature orbits with large eccentricities, often venturing far above the galactic plane. In contrast, the sdB/O stars show disk-like orbital characteristics. The HBB stars (T_eff > 10,000 K) show kinematics similar to that of the sdB/Os. In order to see if there is a trend among the HB stars in their kinematics, we investigated also RR Lyrae stars measured with Hipparcos and found a mixed kinematical behaviour, already known from previous studies. Since the atmospheres of most types of HB stars do not reflect original metallicities any more the kinematics is the only aspect left to study their origin and population membership. Thus, the clear trend found in kinematics of stars along the HB, which is also a sequence in stellar mass, shows that the different kinds of field HB stars arose from stars having different origins. △ Less

Submitted 24 November, 1999; originally announced November 1999.

Comments: 13 pages LaTeX, including 4 PS-figures, accepted for publication in the main journal by Astronomy and Astrophysics