TY - JOUR A1 - Oskinova, Lidia M. A1 - Feldmeier, Achim A1 - Kretschmar, Peter T1 - Clumped stellar winds in supergiant high-mass X-ray binaries: X-ray variability and photoionization JF - Monthly notices of the Royal Astronomical Society N2 - The clumping of massive star winds is an established paradigm, which is confirmed by multiple lines of evidence and is supported by stellar wind theory. The purpose of this paper is to bridge the gap between detailed models of inhomogeneous stellar winds in single stars and the phenomenological description of donor winds in supergiant high-mass X-ray binaries (HMXBs). We use the results from time-dependent hydrodynamical models of the instability in the line-driven wind of a massive supergiant star to derive the time-dependent accretion rate on to a compact object in the BondiHoyleLyttleton approximation. The strong density and velocity fluctuations in the wind result in strong variability of the synthetic X-ray light curves. The model predicts a large-scale X-ray variability, up to eight orders of magnitude, on relatively short time-scales. The apparent lack of evidence for such strong variability in the observed HMXBs indicates that the details of the accretion process act to reduce the variability resulting from the stellar wind velocity and density jumps. KW - accretion, accretion discs KW - instabilities KW - stars: neutron KW - X-rays: binaries KW - X-rays: stars Y1 - 2012 U6 - https://doi.org/10.1111/j.1365-2966.2012.20507.x SN - 0035-8711 VL - 421 IS - 4 SP - 2820 EP - 2831 PB - Wiley-Blackwell CY - Malden ER - TY - GEN A1 - Oskinova, Lidia M. A1 - Gayley, K. G. A1 - Hamann, Wolf-Rainer A1 - Hünemörder, D. P. A1 - Ignace, R. A1 - Pollock, A. M. T. T1 - High-Resolution X-Ray Spectroscopy reveals the special nature of Wolf-Rayet star winds (pg 747, 2012) T2 - The astrophysical journal : an international review of spectroscopy and astronomical physics ; Part 2, Letters Y1 - 2012 U6 - https://doi.org/10.1088/2041-8205/752/2/L35 SN - 2041-8205 VL - 752 IS - 2 PB - IOP Publ. Ltd. CY - Bristol ER - TY - JOUR A1 - Henault-Brunet, V. A1 - Oskinova, Lidia M. A1 - Guerrero, Martín A. A1 - Sun, W. A1 - Chu, Y.-H. A1 - Evans, C. J. A1 - Gallagher, J. S. A1 - Gruendl, R. A. A1 - Reyes-Iturbide, J. T1 - Discovery of a Be/X-ray pulsar binary and associated supernova remnant in the wing of the small magellanic cloud JF - Monthly notices of the Royal Astronomical Society N2 - We report on a new Be/X-ray pulsar binary located in the Wing of the Small Magellanic Cloud (SMC). The strong pulsed X-ray source was discovered with the Chandra and XMM-Newton X-ray observatories. The X-ray pulse period of 1062 s is consistently determined from both Chandra and XMM-Newton observations, revealing one of the slowest rotating X-ray pulsars known in the SMC. The optical counterpart of the X-ray source is the emission-line star 2dFS 3831. Its B0-0.5(III)e+ spectral type is determined from VLT-FLAMES and 2dF optical spectroscopy, establishing the system as a Be/X-ray binary (Be-XRB). The hard X-ray spectrum is well fitted by a power law with additional thermal and blackbody components, the latter reminiscent of persistent Be-XRBs. This system is the first evidence of a recent supernova in the low-density surroundings of NGC602. We detect a shell nebula around 2dFS 3831 in H alpha and [OIII] images and conclude that it is most likely a supernova remnant. If it is linked to the supernova explosion that created this new X-ray pulsar, its kinematic age of (2-4) x 10(4) yr provides a constraint on the age of the pulsar. KW - stars: emission-line, Be KW - ISM: supernova remnants KW - Magellanic Clouds KW - X-rays: binaries Y1 - 2012 U6 - https://doi.org/10.1111/j.1745-3933.2011.01183.x SN - 0035-8711 VL - 420 IS - 1 SP - L13 EP - L17 PB - Wiley-Blackwell CY - Malden ER - TY - JOUR A1 - Oskinova, Lidia M. A1 - Gayley, K. G. A1 - Hamann, Wolf-Rainer A1 - Huenemoerder, D. P. A1 - Ignace, R. A1 - Pollock, A. M. T. T1 - HIGH-RESOLUTION X-RAY SPECTROSCOPY REVEALS THE SPECIAL NATURE OF WOLF-RAYET STAR WINDS JF - ASTROPHYSICAL JOURNAL LETTERS N2 - We present the first high-resolutionX-ray spectrum of a putatively singleWolf-Rayet (WR) star. 400 ks observations of WR 6 by the XMM-Newton telescope resulted in a superb quality high-resolution X-ray spectrum. Spectral analysis reveals that the X-rays originate far out in the stellar wind, more than 30 stellar radii from the photosphere, and thus outside the wind acceleration zone where the line-driving instability (LDI) could create shocks. The X-ray emitting plasma reaches temperatures up to 50 MK and is embedded within the unshocked, "cool" stellar wind as revealed by characteristic spectral signatures. We detect a fluorescent Fe line at approximate to 6.4 keV. The presence of fluorescence is consistent with a two-component medium, where the cool wind is permeated with the hot X-ray emitting plasma. The wind must have a very porous structure to allow the observed amount of X-rays to escape. We find that neither the LDI nor any alternative binary scenario can explain the data. We suggest a scenario where X-rays are produced when the fast wind rams into slow "sticky clumps" that resist acceleration. Our new data show that the X-rays in single WR star are generated by some special mechanism different from the one operating in the O-star winds. KW - stars: individual (WR 6) KW - stars: winds, outflows KW - stars: Wolf-Rayet KW - X-rays: stars Y1 - 2012 U6 - https://doi.org/10.1088/2041-8205/747/2/L25 SN - 2041-8205 VL - 747 IS - 2 PB - IOP PUBLISHING LTD CY - BRISTOL ER - TY - GEN A1 - Ostrowski, Max A1 - Schaub, Torsten T1 - ASP modulo CSP BT - the clingcon system T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 579 KW - answer set KW - constraints KW - logic KW - SMT Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-413908 SN - 1866-8372 IS - 579 ER - TY - JOUR A1 - Ostrowski, Max A1 - Schaub, Torsten T1 - ASP modulo CSP The clingcon system JF - Theory and practice of logic programming N2 - We present the hybrid ASP solver clingcon, combining the simple modeling language and the high performance Boolean solving capacities of Answer Set Programming (ASP) with techniques for using non-Boolean constraints from the area of Constraint Programming (CP). The new clingcon system features an extended syntax supporting global constraints and optimize statements for constraint variables. The major technical innovation improves the interaction between ASP and CP solver through elaborated learning techniques based on irreducible inconsistent sets. A broad empirical evaluation shows that these techniques yield a performance improvement of an order of magnitude. Y1 - 2012 U6 - https://doi.org/10.1017/S1471068412000142 SN - 1471-0684 VL - 12 SP - 485 EP - 503 PB - Cambridge Univ. Press CY - New York ER - TY - JOUR A1 - Arnold, Rafael A1 - Balla, Zsolt A1 - Cohen, Susan A1 - Conway-Jones, Ann A1 - Dallapiazza, Michael A1 - Denz, Rebekka A1 - Freud-Kandel, Miri A1 - Griffiths, Toni A1 - Grözinger, Elvira A1 - Himmelmann, Werner A1 - Hiscott, William A1 - Hoffmann, Daniel A1 - Horch, Hans-Otto A1 - Kellner-Rauch, Heike A1 - Lehnguth, Cornelius A1 - Martini, Annett A1 - Pella, Sebastian A1 - Rosner, Anna A1 - Szulc, Michał A1 - Wurbs, Janina A1 - Wynn, Natalie ED - Denz, Rebekka ED - Jurewicz, Grażyna ED - Salzer, Dorothea M. T1 - PaRDeS : Zeitschrift der Vereinigung für Jüdische Studien e.V. = Einblicke in die ‚British Jewish Studies‘ T1 - PaRDeS : Zeitschrift der Vereinigung für Jüdische Studien e.V. = Insight into ‘British Jewish Studies’ N2 - PaRDeS. Zeitschrift der Vereinigung für Jüdische Studien e. V., möchte die fruchtbare und facettenreiche Kultur des Judentums sowie seine Berührungspunkte zur Umwelt in den unterschiedlichen Bereichen dokumentieren. Daneben dient die Zeitschrift als Forum zur Positionierung der Fächer Jüdische Studien und Judaistik innerhalb des wissenschaftlichen Diskurses sowie zur Diskussion ihrer historischen und gesellschaftlichen Verantwortung. N2 - PaRDeS. Journal of the Association of Jewish Studies e. V. The journal aims at documenting the fruitful and multifarious culture of Judaism as well as its relations to its environment within diverse areas of research. In addition, the journal is meant to promote Jewish Studies within academic discourse and discuss its historic and social responsibility. T3 - PaRDeS : Zeitschrift der Vereinigung für Jüdische Studien e.V. - 18 Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59255 SN - 978-3-86956-177-6 SN - 1614-6492 SN - 1862-7684 IS - 18 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - GEN A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Schaub, Torsten T1 - Multi-threaded ASP solving with clasp T2 - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe N2 - We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 586 KW - propositional satisfiability KW - clause elimination KW - parallel execution KW - SAT KW - algorithm KW - platypus KW - systems KW - search KW - solver Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-413977 SN - 1866-8372 IS - 586 ER - TY - JOUR A1 - Gebser, Martin A1 - Kaufmann, Benjamin A1 - Schaub, Torsten T1 - Multi-threaded ASP solving with clasp JF - Theory and practice of logic programming N2 - We present the new multi-threaded version of the state-of-the-art answer set solver clasp. We detail its component and communication architecture and illustrate how they support the principal functionalities of clasp. Also, we provide some insights into the data representation used for different constraint types handled by clasp. All this is accompanied by an extensive experimental analysis of the major features related to multi-threading in clasp. Y1 - 2012 U6 - https://doi.org/10.1017/S1471068412000166 SN - 1471-0684 VL - 12 IS - 8 SP - 525 EP - 545 PB - Cambridge Univ. Press CY - New York ER - TY - GEN A1 - Oskinova, Lidia M. A1 - Guerrero, Martín A. A1 - Hénault-Brunet, Vincent A1 - Sun, W. A1 - Chu, You-Hua A1 - Evans, Chris A1 - Gallagher, John S. A1 - Gruendl, Robert A. A1 - Reyes-Iturbide, Jorge T1 - The slow X-ray pulsar SXP 1062 and associated supernova remnant in the Wing of the Small Magellanic Cloud T2 - Postprints der Universität Potsdam Mathematisch-Naturwissenschaftliche Reihe N2 - SXP 1062 is an exceptional case of a young neutron star in a wind-fed high-mass X-ray binary associated with a supernova remnant. A unique combination of measured spin period, its derivative, luminosity and young age makes this source a key probe for the physics of accretion and neutron star evolution. Theoretical models proposed to explain the properties of SXP 1062 shall be tested with new data. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 591 KW - stars: emission-line KW - Be KW - X-rays: binaries KW - pulsars: individual (SXP 1062) Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-415135 SN - 1866-8372 IS - 591 ER -