--- _id: '13160' abstract: - lang: eng text: "Transforming deterministic ω\r\n-automata into deterministic parity automata is traditionally done using variants of appearance records. We present a more efficient variant of this approach, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and find out that our method produces smaller automata than previous approaches. Moreover, the experiments demonstrate the potential of our method for LTL synthesis, using LTL-to-Rabin translators. It leads to significantly smaller parity automata when compared to state-of-the-art approaches on complex formulae." acknowledgement: This work is partially funded by the DFG project “Verified Model Checkers” and by the Czech Science Foundation, grant No. P202/12/G061. alternative_title: - LNCS article_processing_charge: No author: - first_name: Jan full_name: Kretinsky, Jan id: 44CEF464-F248-11E8-B48F-1D18A9856A87 last_name: Kretinsky orcid: 0000-0002-8122-2881 - first_name: Tobias full_name: Meggendorfer, Tobias id: b21b0c15-30a2-11eb-80dc-f13ca25802e1 last_name: Meggendorfer orcid: 0000-0002-1712-2165 - first_name: Clara full_name: Waldmann, Clara last_name: Waldmann - first_name: Maximilian full_name: Weininger, Maximilian last_name: Weininger citation: ama: 'Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26' apa: 'Kretinsky, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2017). Index appearance record for transforming Rabin automata into parity automata. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 10205, pp. 443–460). Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54577-5_26' chicago: Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” In Tools and Algorithms for the Construction and Analysis of Systems, 10205:443–60. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_26. ieee: J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460. ista: 'Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.' mla: Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi:10.1007/978-3-662-54577-5_26. short: J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460. conference: end_date: 2017-04-29 location: Uppsala, Sweden name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2017-04-22 date_created: 2023-06-21T13:21:14Z date_published: 2017-03-31T00:00:00Z date_updated: 2023-06-21T13:29:46Z day: '31' department: - _id: KrCh doi: 10.1007/978-3-662-54577-5_26 external_id: arxiv: - '1701.05738' intvolume: ' 10205' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.1701.05738 month: '03' oa: 1 oa_version: Preprint page: 443-460 publication: Tools and Algorithms for the Construction and Analysis of Systems publication_identifier: eisbn: - '9783662545775' eissn: - 1611-3349 isbn: - '9783662545768' issn: - 0302-9743 publication_status: published publisher: Springer quality_controlled: '1' status: public title: Index appearance record for transforming Rabin automata into parity automata type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 10205 year: '2017' ... --- _id: '13381' abstract: - lang: eng text: Self-assembly of inorganic nanoparticles has been used to prepare hundreds of different colloidal crystals, but almost invariably with the restriction that the particles must be densely packed. Here, we show that non–close-packed nanoparticle arrays can be fabricated through the selective removal of one of two components comprising binary nanoparticle superlattices. First, a variety of binary nanoparticle superlattices were prepared at the liquid-air interface, including several arrangements that were previously unknown. Molecular dynamics simulations revealed the particular role of the liquid in templating the formation of superlattices not achievable through self-assembly in bulk solution. Second, upon stabilization, all of these binary superlattices could be transformed into distinct “nanoallotropes”—nanoporous materials having the same chemical composition but differing in their nanoscale architectures. article_processing_charge: No article_type: original author: - first_name: Thumu full_name: Udayabhaskararao, Thumu last_name: Udayabhaskararao - first_name: Thomas full_name: Altantzis, Thomas last_name: Altantzis - first_name: Lothar full_name: Houben, Lothar last_name: Houben - first_name: Marc full_name: Coronado-Puchau, Marc last_name: Coronado-Puchau - first_name: Judith full_name: Langer, Judith last_name: Langer - first_name: Ronit full_name: Popovitz-Biro, Ronit last_name: Popovitz-Biro - first_name: Luis M. full_name: Liz-Marzán, Luis M. last_name: Liz-Marzán - first_name: Lela full_name: Vuković, Lela last_name: Vuković - first_name: Petr full_name: Král, Petr last_name: Král - first_name: Sara full_name: Bals, Sara last_name: Bals - first_name: Rafal full_name: Klajn, Rafal id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b last_name: Klajn citation: ama: Udayabhaskararao T, Altantzis T, Houben L, et al. Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. 2017;358(6362):514-518. doi:10.1126/science.aan6046 apa: Udayabhaskararao, T., Altantzis, T., Houben, L., Coronado-Puchau, M., Langer, J., Popovitz-Biro, R., … Klajn, R. (2017). Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aan6046 chicago: Udayabhaskararao, Thumu, Thomas Altantzis, Lothar Houben, Marc Coronado-Puchau, Judith Langer, Ronit Popovitz-Biro, Luis M. Liz-Marzán, et al. “Tunable Porous Nanoallotropes Prepared by Post-Assembly Etching of Binary Nanoparticle Superlattices.” Science. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/science.aan6046. ieee: T. Udayabhaskararao et al., “Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices,” Science, vol. 358, no. 6362. American Association for the Advancement of Science, pp. 514–518, 2017. ista: Udayabhaskararao T, Altantzis T, Houben L, Coronado-Puchau M, Langer J, Popovitz-Biro R, Liz-Marzán LM, Vuković L, Král P, Bals S, Klajn R. 2017. Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices. Science. 358(6362), 514–518. mla: Udayabhaskararao, Thumu, et al. “Tunable Porous Nanoallotropes Prepared by Post-Assembly Etching of Binary Nanoparticle Superlattices.” Science, vol. 358, no. 6362, American Association for the Advancement of Science, 2017, pp. 514–18, doi:10.1126/science.aan6046. short: T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vuković, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518. date_created: 2023-08-01T09:41:16Z date_published: 2017-10-27T00:00:00Z date_updated: 2023-08-07T11:25:00Z day: '27' doi: 10.1126/science.aan6046 extern: '1' external_id: pmid: - '29074773' intvolume: ' 358' issue: '6362' keyword: - Multidisciplinary language: - iso: eng main_file_link: - open_access: '1' url: https://repository.uantwerpen.be/docman/irua/8d722e/147242_2018_06_07.pdf month: '10' oa: 1 oa_version: Submitted Version page: 514-518 pmid: 1 publication: Science publication_identifier: eissn: - 1095-9203 issn: - 0036-8075 publication_status: published publisher: American Association for the Advancement of Science quality_controlled: '1' scopus_import: '1' status: public title: Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 358 year: '2017' ... --- _id: '13382' article_processing_charge: No article_type: letter_note author: - first_name: Jan H. full_name: van Esch, Jan H. last_name: van Esch - first_name: Rafal full_name: Klajn, Rafal id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b last_name: Klajn - first_name: Sijbren full_name: Otto, Sijbren last_name: Otto citation: ama: van Esch JH, Klajn R, Otto S. Chemical systems out of equilibrium. Chemical Society Reviews. 2017;46(18):5474-5475. doi:10.1039/c7cs90088k apa: van Esch, J. H., Klajn, R., & Otto, S. (2017). Chemical systems out of equilibrium. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/c7cs90088k chicago: Esch, Jan H. van, Rafal Klajn, and Sijbren Otto. “Chemical Systems out of Equilibrium.” Chemical Society Reviews. Royal Society of Chemistry, 2017. https://doi.org/10.1039/c7cs90088k. ieee: J. H. van Esch, R. Klajn, and S. Otto, “Chemical systems out of equilibrium,” Chemical Society Reviews, vol. 46, no. 18. Royal Society of Chemistry, pp. 5474–5475, 2017. ista: van Esch JH, Klajn R, Otto S. 2017. Chemical systems out of equilibrium. Chemical Society Reviews. 46(18), 5474–5475. mla: van Esch, Jan H., et al. “Chemical Systems out of Equilibrium.” Chemical Society Reviews, vol. 46, no. 18, Royal Society of Chemistry, 2017, pp. 5474–75, doi:10.1039/c7cs90088k. short: J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475. date_created: 2023-08-01T09:41:30Z date_published: 2017-09-08T00:00:00Z date_updated: 2023-08-07T11:27:42Z day: '08' doi: 10.1039/c7cs90088k extern: '1' external_id: pmid: - '28884760' intvolume: ' 46' issue: '18' keyword: - General Chemistry language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1039/c7cs90088k month: '09' oa: 1 oa_version: Published Version page: 5474-5475 pmid: 1 publication: Chemical Society Reviews publication_identifier: eissn: - 1460-4744 issn: - 0306-0012 publication_status: published publisher: Royal Society of Chemistry quality_controlled: '1' scopus_import: '1' status: public title: Chemical systems out of equilibrium type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 46 year: '2017' ... --- _id: '13477' abstract: - lang: eng text: Most massive stars, the progenitors of core-collapse supernovae, are in close binary systems and may interact with their companion through mass transfer or merging. We undertake a population synthesis study to compute the delay-time distribution of core-collapse supernovae, that is, the supernova rate versus time following a starburst, taking into account binary interactions. We test the systematic robustness of our results by running various simulations to account for the uncertainties in our standard assumptions. We find that a significant fraction, 15+9-8%, of core-collapse supernovae are “late”, that is, they occur 50–200 Myr after birth, when all massive single stars have already exploded. These late events originate predominantly from binary systems with at least one, or, in most cases, with both stars initially being of intermediate mass (4–8 M⊙). The main evolutionary channels that contribute often involve either the merging of the initially more massive primary star with its companion or the engulfment of the remaining core of the primary by the expanding secondary that has accreted mass at an earlier evolutionary stage. Also, the total number of core-collapse supernovae increases by 14+15-14% because of binarity for the same initial stellar mass. The high rate implies that we should have already observed such late core-collapse supernovae, but have not recognized them as such. We argue that φ Persei is a likely progenitor and that eccentric neutron star – white dwarf systems are likely descendants. Late events can help explain the discrepancy in the delay-time distributions derived from supernova remnants in the Magellanic Clouds and extragalactic type Ia events, lowering the contribution of prompt Ia events. We discuss ways to test these predictions and speculate on the implications for supernova feedback in simulations of galaxy evolution. article_number: A29 article_processing_charge: No article_type: original author: - first_name: E. full_name: Zapartas, E. last_name: Zapartas - first_name: S. E. full_name: de Mink, S. E. last_name: de Mink - first_name: R. G. full_name: Izzard, R. G. last_name: Izzard - first_name: S.-C. full_name: Yoon, S.-C. last_name: Yoon - first_name: C. full_name: Badenes, C. last_name: Badenes - first_name: Ylva Louise Linsdotter full_name: Götberg, Ylva Louise Linsdotter id: d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d last_name: Götberg orcid: 0000-0002-6960-6911 - first_name: A. full_name: de Koter, A. last_name: de Koter - first_name: C. J. full_name: Neijssel, C. J. last_name: Neijssel - first_name: M. full_name: Renzo, M. last_name: Renzo - first_name: A. full_name: Schootemeijer, A. last_name: Schootemeijer - first_name: T. S. full_name: Shrotriya, T. S. last_name: Shrotriya citation: ama: Zapartas E, de Mink SE, Izzard RG, et al. Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy & Astrophysics. 2017;601(A&A). doi:10.1051/0004-6361/201629685 apa: Zapartas, E., de Mink, S. E., Izzard, R. G., Yoon, S.-C., Badenes, C., Götberg, Y. L. L., … Shrotriya, T. S. (2017). Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201629685 chicago: Zapartas, E., S. E. de Mink, R. G. Izzard, S.-C. Yoon, C. Badenes, Ylva Louise Linsdotter Götberg, A. de Koter, et al. “Delay-Time Distribution of Core-Collapse Supernovae with Late Events Resulting from Binary Interaction.” Astronomy & Astrophysics. EDP Sciences, 2017. https://doi.org/10.1051/0004-6361/201629685. ieee: E. Zapartas et al., “Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction,” Astronomy & Astrophysics, vol. 601, no. A&A. EDP Sciences, 2017. ista: Zapartas E, de Mink SE, Izzard RG, Yoon S-C, Badenes C, Götberg YLL, de Koter A, Neijssel CJ, Renzo M, Schootemeijer A, Shrotriya TS. 2017. Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy & Astrophysics. 601(A&A), A29. mla: Zapartas, E., et al. “Delay-Time Distribution of Core-Collapse Supernovae with Late Events Resulting from Binary Interaction.” Astronomy & Astrophysics, vol. 601, no. A&A, A29, EDP Sciences, 2017, doi:10.1051/0004-6361/201629685. short: E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy & Astrophysics 601 (2017). date_created: 2023-08-03T10:15:18Z date_published: 2017-05-01T00:00:00Z date_updated: 2023-08-09T11:15:49Z day: '01' doi: 10.1051/0004-6361/201629685 extern: '1' external_id: arxiv: - '1701.07032' intvolume: ' 601' issue: A&A keyword: - Space and Planetary Science - Astronomy and Astrophysics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1051/0004-6361/201629685 month: '05' oa: 1 oa_version: Published Version publication: Astronomy & Astrophysics publication_identifier: eissn: - 1432-0746 issn: - 0004-6361 publication_status: published publisher: EDP Sciences quality_controlled: '1' scopus_import: '1' status: public title: Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 601 year: '2017' ... --- _id: '13476' abstract: - lang: eng text: Understanding ionizing fluxes of stellar populations is crucial for various astrophysical problems including the epoch of reionization. Short-lived massive stars are generally considered as the main stellar sources. We examine the potential role of less massive stars that lose their envelope through interaction with a binary companion. Here, we focus on the role of metallicity (Z). For this purpose we used the evolutionary code MESA and created tailored atmosphere models with the radiative transfer code CMFGEN. We show that typical progenitors, with initial masses of 12 M⊙, produce hot and compact stars (~ 4 M⊙, 60–80 kK, ~1 R⊙). These stripped stars copiously produce ionizing photons, emitting 60–85% and 30–60% of their energy as HI and HeI ionizing radiation, for Z = 0.0001–0.02, respectively. Their output is comparable to what massive stars emit during their Wolf-Rayet phase, if we account for their longer lifetimes and the favorable slope of the initial mass function. Their relative importance for reionization may be further favored since they emit their photons with a time delay (~ 20 Myr after birth in our fiducial model). This allows time for the dispersal of the birth clouds, allowing the ionizing photons to escape into the intergalactic medium. At low Z, we find that Roche stripping fails to fully remove the H-rich envelope, because of the reduced opacity in the subsurface layers. This is in sharp contrast with the assumption of complete stripping that is made in rapid population synthesis simulations, which are widely used to simulate the binary progenitors of supernovae and gravitational waves. Finally, we discuss the urgency to increase the observed sample of stripped stars to test these models and we discuss how our predictions can help to design efficient observational campaigns. article_number: A11 article_processing_charge: No article_type: original author: - first_name: Ylva Louise Linsdotter full_name: Götberg, Ylva Louise Linsdotter id: d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d last_name: Götberg orcid: 0000-0002-6960-6911 - first_name: S. E. full_name: de Mink, S. E. last_name: de Mink - first_name: J. H. full_name: Groh, J. H. last_name: Groh citation: ama: 'Götberg YLL, de Mink SE, Groh JH. Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy & Astrophysics. 2017;608. doi:10.1051/0004-6361/201730472' apa: 'Götberg, Y. L. L., de Mink, S. E., & Groh, J. H. (2017). Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201730472' chicago: 'Götberg, Ylva Louise Linsdotter, S. E. de Mink, and J. H. Groh. “Ionizing Spectra of Stars That Lose Their Envelope through Interaction with a Binary Companion: Role of Metallicity.” Astronomy & Astrophysics. EDP Sciences, 2017. https://doi.org/10.1051/0004-6361/201730472.' ieee: 'Y. L. L. Götberg, S. E. de Mink, and J. H. Groh, “Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity,” Astronomy & Astrophysics, vol. 608. EDP Sciences, 2017.' ista: 'Götberg YLL, de Mink SE, Groh JH. 2017. Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity. Astronomy & Astrophysics. 608, A11.' mla: 'Götberg, Ylva Louise Linsdotter, et al. “Ionizing Spectra of Stars That Lose Their Envelope through Interaction with a Binary Companion: Role of Metallicity.” Astronomy & Astrophysics, vol. 608, A11, EDP Sciences, 2017, doi:10.1051/0004-6361/201730472.' short: Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy & Astrophysics 608 (2017). date_created: 2023-08-03T10:15:09Z date_published: 2017-12-01T00:00:00Z date_updated: 2023-08-09T11:27:06Z day: '01' doi: 10.1051/0004-6361/201730472 extern: '1' external_id: arxiv: - '1701.07439' intvolume: ' 608' keyword: - Space and Planetary Science - Astronomy and Astrophysics language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1051/0004-6361/201730472 month: '12' oa: 1 oa_version: Published Version publication: Astronomy & Astrophysics publication_identifier: eissn: - 1432-0746 issn: - 0004-6361 publication_status: published publisher: EDP Sciences quality_controlled: '1' scopus_import: '1' status: public title: 'Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity' type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 608 year: '2017' ...