---
_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'
...