---
_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
arxiv: 1
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
corr_author: '1'
date_created: 2023-06-21T13:21:14Z
date_published: 2017-03-31T00:00:00Z
date_updated: 2025-09-18T10:42:48Z
day: '31'
department:
- _id: KrCh
doi: 10.1007/978-3-662-54577-5_26
external_id:
arxiv:
- '1701.05738'
isi:
- '000440734900026'
fulldoi: https://doi.org/10.1007/978-3-662-54577-5_26
intvolume: ' 10205'
isi: 1
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: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 10205
year: '2017'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '21098'
abstract:
- lang: eng
text: The growth of crystals of aromatic compounds from water much depends on the
nature of the water solubilizing functions that they carry. Rationalizing crystallization
from water, and structure elucidation, of aromatic molecular and supramolecular
systems is of general value across various fields of chemistry. Taking helical
aromatic foldamers as a test case, we have validated several short polar side
chains as efficient substituents to provide both solubility in, and crystal growth
ability from, water. New 8-amino-2-quinolinecarboxylic acids bearing charged or
neutral aminomethyl, carboxymethyl, sulfonic acid, or bis(hydroxymethyl)-methoxy
side chains in position 4 or 5, were prepared on a multi gram scale. Fmoc protection
of the main chain amine and suitable protections of the side chains ensured compatibility
with solid phase synthesis. One tetrameric and five octameric oligoamides displaying
these side chains were synthesized and shown to be soluble in water. In all cases
but one, crystals were obtained using the hanging drop method, thus validating
the initial design principle to combine polarity and rigidity. The only case that
resisted crystallization appeared to be due to exceedingly high water solubility
endowed by eight sulfonic acid functions. The neutral side chain did provide crystal
growth ability from water but contributed poorly to solubility.
article_processing_charge: No
article_type: original
author:
- first_name: Xiaobo
full_name: Hu, Xiaobo
last_name: Hu
- first_name: Simon J.
full_name: Dawson, Simon J.
last_name: Dawson
- first_name: Pradeep K
full_name: Mandal, Pradeep K
id: 6a3def15-d4b4-11ef-9fa9-a24c1f545ec3
last_name: Mandal
orcid: 0000-0001-5996-956X
- first_name: Xavier
full_name: de Hatten, Xavier
last_name: de Hatten
- first_name: Benoit
full_name: Baptiste, Benoit
last_name: Baptiste
- first_name: Ivan
full_name: Huc, Ivan
last_name: Huc
citation:
ama: 'Hu X, Dawson SJ, Mandal PK, de Hatten X, Baptiste B, Huc I. Optimizing side
chains for crystal growth from water: a case study of aromatic amide foldamers.
Chemical Science. 2017;8(5):3741-3749. doi:10.1039/c7sc00430c'
apa: 'Hu, X., Dawson, S. J., Mandal, P. K., de Hatten, X., Baptiste, B., & Huc,
I. (2017). Optimizing side chains for crystal growth from water: a case study
of aromatic amide foldamers. Chemical Science. Royal Society of Chemistry.
https://doi.org/10.1039/c7sc00430c'
chicago: 'Hu, Xiaobo, Simon J. Dawson, Pradeep K Mandal, Xavier de Hatten, Benoit
Baptiste, and Ivan Huc. “Optimizing Side Chains for Crystal Growth from Water:
A Case Study of Aromatic Amide Foldamers.” Chemical Science. Royal Society
of Chemistry, 2017. https://doi.org/10.1039/c7sc00430c.'
ieee: 'X. Hu, S. J. Dawson, P. K. Mandal, X. de Hatten, B. Baptiste, and I. Huc,
“Optimizing side chains for crystal growth from water: a case study of aromatic
amide foldamers,” Chemical Science, vol. 8, no. 5. Royal Society of Chemistry,
pp. 3741–3749, 2017.'
ista: 'Hu X, Dawson SJ, Mandal PK, de Hatten X, Baptiste B, Huc I. 2017. Optimizing
side chains for crystal growth from water: a case study of aromatic amide foldamers.
Chemical Science. 8(5), 3741–3749.'
mla: 'Hu, Xiaobo, et al. “Optimizing Side Chains for Crystal Growth from Water:
A Case Study of Aromatic Amide Foldamers.” Chemical Science, vol. 8, no.
5, Royal Society of Chemistry, 2017, pp. 3741–49, doi:10.1039/c7sc00430c.'
short: X. Hu, S.J. Dawson, P.K. Mandal, X. de Hatten, B. Baptiste, I. Huc, Chemical
Science 8 (2017) 3741–3749.
date_created: 2026-01-29T21:31:01Z
date_published: 2017-03-08T00:00:00Z
date_updated: 2026-02-23T09:53:30Z
day: '08'
doi: 10.1039/c7sc00430c
extern: '1'
fulldoi: https://doi.org/10.1039/c7sc00430c
has_accepted_license: '1'
intvolume: ' 8'
issue: '5'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/3.0/
main_file_link:
- open_access: '1'
url: https://doi.org/10.1039/C7SC00430C
month: '03'
oa: 1
oa_version: Published Version
page: 3741-3749
publication: Chemical Science
publication_identifier:
eissn:
- 2041-6539
issn:
- 2041-6520
publication_status: published
publisher: Royal Society of Chemistry
quality_controlled: '1'
status: public
title: 'Optimizing side chains for crystal growth from water: a case study of aromatic
amide foldamers'
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/3.0/legalcode
name: Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
short: CC BY-NC (3.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2017'
...
---
OA_type: closed access
_id: '21156'
abstract:
- lang: eng
text: The crystal structure of the tetradecanucleotide d(CCCCGGTACCGGGG)2 has previously
been reported as an A-type double helix at a resolution of 2.5 Å in space group
P41. Here, the structure of this sequence was determined at a significantly higher
resolution of 1.65 Å in space group P41212. The differences in crystal packing
between the former and latter are described. The crystallographic asymmetric unit
consists of one tetradecanucleotide duplex that spans more than one full turn
of the A-helix. This structure allowed the unambiguous identification of solvent
interactions.
article_processing_charge: No
article_type: original
author:
- first_name: Selvam
full_name: Karthik, Selvam
last_name: Karthik
- first_name: Arunachalam
full_name: Thirugnanasambandam, Arunachalam
last_name: Thirugnanasambandam
- first_name: Pradeep K
full_name: Mandal, Pradeep K
id: 6a3def15-d4b4-11ef-9fa9-a24c1f545ec3
last_name: Mandal
orcid: 0000-0001-5996-956X
- first_name: Namasivayam
full_name: Gautham, Namasivayam
last_name: Gautham
citation:
ama: Karthik S, Thirugnanasambandam A, Mandal PK, Gautham N. Crystal structure of
d(CCGGGGTACCCCGG)2 at 1.4 Å resolution. Acta Crystallographica Section F Structural
Biology Communications. 2017;73(5):259-265. doi:10.1107/s2053230x17004770
apa: Karthik, S., Thirugnanasambandam, A., Mandal, P. K., & Gautham, N. (2017).
Crystal structure of d(CCGGGGTACCCCGG)2 at 1.4 Å resolution. Acta Crystallographica
Section F Structural Biology Communications. International Union of Crystallography.
https://doi.org/10.1107/s2053230x17004770
chicago: Karthik, Selvam, Arunachalam Thirugnanasambandam, Pradeep K Mandal, and
Namasivayam Gautham. “Crystal Structure of d(CCGGGGTACCCCGG)2 at 1.4 Å Resolution.”
Acta Crystallographica Section F Structural Biology Communications. International
Union of Crystallography, 2017. https://doi.org/10.1107/s2053230x17004770.
ieee: S. Karthik, A. Thirugnanasambandam, P. K. Mandal, and N. Gautham, “Crystal
structure of d(CCGGGGTACCCCGG)2 at 1.4 Å resolution,” Acta Crystallographica
Section F Structural Biology Communications, vol. 73, no. 5. International
Union of Crystallography, pp. 259–265, 2017.
ista: Karthik S, Thirugnanasambandam A, Mandal PK, Gautham N. 2017. Crystal structure
of d(CCGGGGTACCCCGG)2 at 1.4 Å resolution. Acta Crystallographica Section F Structural
Biology Communications. 73(5), 259–265.
mla: Karthik, Selvam, et al. “Crystal Structure of d(CCGGGGTACCCCGG)2 at 1.4 Å Resolution.”
Acta Crystallographica Section F Structural Biology Communications, vol.
73, no. 5, International Union of Crystallography, 2017, pp. 259–65, doi:10.1107/s2053230x17004770.
short: S. Karthik, A. Thirugnanasambandam, P.K. Mandal, N. Gautham, Acta Crystallographica
Section F Structural Biology Communications 73 (2017) 259–265.
date_created: 2026-02-06T12:26:15Z
date_published: 2017-05-01T00:00:00Z
date_updated: 2026-02-23T08:23:34Z
day: '01'
doi: 10.1107/s2053230x17004770
extern: '1'
fulldoi: https://doi.org/10.1107/s2053230x17004770
has_accepted_license: '1'
intvolume: ' 73'
issue: '5'
language:
- iso: eng
month: '05'
oa_version: None
page: 259-265
publication: Acta Crystallographica Section F Structural Biology Communications
publication_identifier:
issn:
- 2053-230X
publication_status: published
publisher: International Union of Crystallography
quality_controlled: '1'
status: public
title: Crystal structure of d(CCGGGGTACCCCGG)2 at 1.4 Å resolution
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 73
year: '2017'
...
---
OA_type: closed access
_id: '21157'
abstract:
- lang: eng
text: We present here a comparison of three different X-ray crystal structures of
DNA tetradecamer sequence d(CCCGGGTACCCGGG)2 all at about 1.7 Å resolution. The
sequence was designed as an attempt to form a DNA four-way junction with A-type
helical arms. However, in the presence of zinc, magnesium, and in the absence
of any metal ion, it does not take up the junction structure, but forms an A-type
double helix. This allowed us to study possible conformational changes in the
double helix due to the presence of metal ions. Upon addition of the zinc ion,
there is a change in the space group from P41212 to P41. The overall conformation
of the duplex remains the same. There are small changes in the interaction of
the metal ions with the DNA. In the zinc-bound structure, there are two zinc ions
that show direct interaction with the N7 atoms of terminal G13 bases at either
end of the molecule. There are small changes in the interhelical contacts. The
consequence of these differences is to break some of the symmetry and change the
space group.
article_processing_charge: No
article_type: original
author:
- first_name: S.
full_name: Karthik, S.
last_name: Karthik
- first_name: A.
full_name: Thirugnanasambandam, A.
last_name: Thirugnanasambandam
- first_name: Pradeep K
full_name: Mandal, Pradeep K
id: 6a3def15-d4b4-11ef-9fa9-a24c1f545ec3
last_name: Mandal
orcid: 0000-0001-5996-956X
- first_name: N.
full_name: Gautham, N.
last_name: Gautham
citation:
ama: Karthik S, Thirugnanasambandam A, Mandal PK, Gautham N. Comparison of X-ray
crystal structures of a tetradecamer sequence d(CCCGGGTACCCGGG)2 at 1.7 Å resolution.
Nucleosides, Nucleotides and Nucleic Acids. 2017;36(5):343-354. doi:10.1080/15257770.2017.1287378
apa: Karthik, S., Thirugnanasambandam, A., Mandal, P. K., & Gautham, N. (2017).
Comparison of X-ray crystal structures of a tetradecamer sequence d(CCCGGGTACCCGGG)2
at 1.7 Å resolution. Nucleosides, Nucleotides and Nucleic Acids. Informa
UK Limited. https://doi.org/10.1080/15257770.2017.1287378
chicago: Karthik, S., A. Thirugnanasambandam, Pradeep K Mandal, and N. Gautham.
“Comparison of X-Ray Crystal Structures of a Tetradecamer Sequence d(CCCGGGTACCCGGG)2
at 1.7 Å Resolution.” Nucleosides, Nucleotides and Nucleic Acids. Informa
UK Limited, 2017. https://doi.org/10.1080/15257770.2017.1287378.
ieee: S. Karthik, A. Thirugnanasambandam, P. K. Mandal, and N. Gautham, “Comparison
of X-ray crystal structures of a tetradecamer sequence d(CCCGGGTACCCGGG)2 at 1.7 Å
resolution,” Nucleosides, Nucleotides and Nucleic Acids, vol. 36, no. 5.
Informa UK Limited, pp. 343–354, 2017.
ista: Karthik S, Thirugnanasambandam A, Mandal PK, Gautham N. 2017. Comparison of
X-ray crystal structures of a tetradecamer sequence d(CCCGGGTACCCGGG)2 at 1.7 Å
resolution. Nucleosides, Nucleotides and Nucleic Acids. 36(5), 343–354.
mla: Karthik, S., et al. “Comparison of X-Ray Crystal Structures of a Tetradecamer
Sequence d(CCCGGGTACCCGGG)2 at 1.7 Å Resolution.” Nucleosides, Nucleotides
and Nucleic Acids, vol. 36, no. 5, Informa UK Limited, 2017, pp. 343–54, doi:10.1080/15257770.2017.1287378.
short: S. Karthik, A. Thirugnanasambandam, P.K. Mandal, N. Gautham, Nucleosides,
Nucleotides and Nucleic Acids 36 (2017) 343–354.
date_created: 2026-02-06T12:27:54Z
date_published: 2017-04-07T00:00:00Z
date_updated: 2026-02-20T07:13:25Z
day: '07'
doi: 10.1080/15257770.2017.1287378
extern: '1'
external_id:
pmid:
- '28387634'
fulldoi: https://doi.org/10.1080/15257770.2017.1287378
has_accepted_license: '1'
intvolume: ' 36'
issue: '5'
language:
- iso: eng
month: '04'
oa_version: None
page: 343-354
pmid: 1
publication: Nucleosides, Nucleotides and Nucleic Acids
publication_identifier:
eissn:
- 1532-2335
issn:
- 1525-7770
publication_status: published
publisher: Informa UK Limited
quality_controlled: '1'
status: public
title: Comparison of X-ray crystal structures of a tetradecamer sequence d(CCCGGGTACCCGGG)2
at 1.7 Å resolution
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 36
year: '2017'
...
---
OA_type: green
_id: '21558'
abstract:
- lang: eng
text: The Smith-Purcell effect, observed when an electron beam passes in the vicinity
of a periodic structure, is a promising platform for the generation of electromagnetic
radiation in previously unreachable spectral ranges. However, most of the studies
of this radiation were performed on simple periodic gratings, whose radiation
spectrum exhibits a single peak and its higher harmonics predicted by a well-established
dispersion relation. Here, we propose a method to shape the spatial and spectral
far-field distribution of the radiation using complex periodic and aperiodic gratings.
We show, theoretically and experimentally, that engineering multiple peak spectra
with controlled widths located at desired wavelengths is achievable using Smith-Purcell
radiation. Our method opens the way to free-electron-driven sources with tailored
angular and spectral responses, and gives rise to focusing functionality for spectral
ranges where lenses are unavailable or inefficient.
article_number: '061801'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Roei
full_name: Remez, Roei
last_name: Remez
- first_name: Niv
full_name: Shapira, Niv
last_name: Shapira
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Romain
full_name: Tirole, Romain
last_name: Tirole
- first_name: Yi
full_name: Yang, Yi
last_name: Yang
- first_name: Yossi
full_name: Lereah, Yossi
last_name: Lereah
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
- first_name: Ido
full_name: Kaminer, Ido
last_name: Kaminer
- first_name: Ady
full_name: Arie, Ady
last_name: Arie
citation:
ama: Remez R, Shapira N, Roques-Carmes C, et al. Spectral and spatial shaping of
Smith-Purcell radiation. Physical Review A. 2017;96(6). doi:10.1103/physreva.96.061801
apa: Remez, R., Shapira, N., Roques-Carmes, C., Tirole, R., Yang, Y., Lereah, Y.,
… Arie, A. (2017). Spectral and spatial shaping of Smith-Purcell radiation. Physical
Review A. American Physical Society. https://doi.org/10.1103/physreva.96.061801
chicago: Remez, Roei, Niv Shapira, Charles Roques-Carmes, Romain Tirole, Yi Yang,
Yossi Lereah, Marin Soljačić, Ido Kaminer, and Ady Arie. “Spectral and Spatial
Shaping of Smith-Purcell Radiation.” Physical Review A. American Physical
Society, 2017. https://doi.org/10.1103/physreva.96.061801.
ieee: R. Remez et al., “Spectral and spatial shaping of Smith-Purcell radiation,”
Physical Review A, vol. 96, no. 6. American Physical Society, 2017.
ista: Remez R, Shapira N, Roques-Carmes C, Tirole R, Yang Y, Lereah Y, Soljačić
M, Kaminer I, Arie A. 2017. Spectral and spatial shaping of Smith-Purcell radiation.
Physical Review A. 96(6), 061801.
mla: Remez, Roei, et al. “Spectral and Spatial Shaping of Smith-Purcell Radiation.”
Physical Review A, vol. 96, no. 6, 061801, American Physical Society, 2017,
doi:10.1103/physreva.96.061801.
short: R. Remez, N. Shapira, C. Roques-Carmes, R. Tirole, Y. Yang, Y. Lereah, M.
Soljačić, I. Kaminer, A. Arie, Physical Review A 96 (2017).
date_created: 2026-03-30T12:22:47Z
date_published: 2017-12-06T00:00:00Z
date_updated: 2026-04-15T11:46:22Z
day: '06'
ddc:
- '530'
doi: 10.1103/physreva.96.061801
extern: '1'
external_id:
arxiv:
- '1710.03719'
fulldoi: https://doi.org/10.1103/physreva.96.061801
intvolume: ' 96'
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1710.03719
month: '12'
oa: 1
oa_version: Preprint
publication: Physical Review A
publication_identifier:
eissn:
- 2469-9934
issn:
- 2469-9926
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Spectral and spatial shaping of Smith-Purcell radiation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 96
year: '2017'
...
---
OA_type: closed access
_id: '21569'
abstract:
- lang: eng
text: We present recent advances in metasurface-based photonics, which enables the
realization of high performance planar lenses (metalenses) in the visible spectrum.
They are enabled by a technique based on atomic layer deposition of titanium dioxide
allowing for the fabrication of nanostructures with high fidelity. First, we demonstrate
highly efficient metalenses with numerical aperture NA = 0.8 using the Pancharatnam-Berry
phase approach. These metalenses can focus light into a diffraction-limited spot.
They have efficiencies as high as 86% and provide high imaging resolution. Furthermore,
by judicious design of the phase-shifting elements, we achieve a multispectral
chiral metalens realized with a single metasurface layer. This chiral metalens
can resolve both the chiral and spectral information of an object without the
requirement of any additional optical components. Finally, we discuss the experimental
realization of polarization-insensitive metalenses with NAs as high as 0.85. They
are able to focus incident light to a spot as small as ~0.64λ with efficiencies
up to 60%. Due to its straightforward and CMOS-compatible fabrication, this platform
is promising for a wide range of applications ranging from camera modules, displays,
laser-based imaging, microscopy, and spectroscopy to laser fabrication and lithography.
article_processing_charge: No
article_type: original
author:
- first_name: Mohammadreza
full_name: Khorasaninejad, Mohammadreza
last_name: Khorasaninejad
- first_name: Wei Ting
full_name: Chen, Wei Ting
last_name: Chen
- first_name: Alexander Y.
full_name: Zhu, Alexander Y.
last_name: Zhu
- first_name: Jaewon
full_name: Oh, Jaewon
last_name: Oh
- first_name: Robert C.
full_name: Devlin, Robert C.
last_name: Devlin
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Ishan
full_name: Mishra, Ishan
last_name: Mishra
- first_name: Federico
full_name: Capasso, Federico
last_name: Capasso
citation:
ama: Khorasaninejad M, Chen WT, Zhu AY, et al. Visible wavelength planar metalenses
based on titanium dioxide. IEEE Journal of Selected Topics in Quantum Electronics.
2017;23(3):43-58. doi:10.1109/jstqe.2016.2616447
apa: Khorasaninejad, M., Chen, W. T., Zhu, A. Y., Oh, J., Devlin, R. C., Roques-Carmes,
C., … Capasso, F. (2017). Visible wavelength planar metalenses based on titanium
dioxide. IEEE Journal of Selected Topics in Quantum Electronics. Institute
of Electrical and Electronics Engineers. https://doi.org/10.1109/jstqe.2016.2616447
chicago: Khorasaninejad, Mohammadreza, Wei Ting Chen, Alexander Y. Zhu, Jaewon Oh,
Robert C. Devlin, Charles Roques-Carmes, Ishan Mishra, and Federico Capasso. “Visible
Wavelength Planar Metalenses Based on Titanium Dioxide.” IEEE Journal of Selected
Topics in Quantum Electronics. Institute of Electrical and Electronics Engineers,
2017. https://doi.org/10.1109/jstqe.2016.2616447.
ieee: M. Khorasaninejad et al., “Visible wavelength planar metalenses based
on titanium dioxide,” IEEE Journal of Selected Topics in Quantum Electronics,
vol. 23, no. 3. Institute of Electrical and Electronics Engineers, pp. 43–58,
2017.
ista: Khorasaninejad M, Chen WT, Zhu AY, Oh J, Devlin RC, Roques-Carmes C, Mishra
I, Capasso F. 2017. Visible wavelength planar metalenses based on titanium dioxide.
IEEE Journal of Selected Topics in Quantum Electronics. 23(3), 43–58.
mla: Khorasaninejad, Mohammadreza, et al. “Visible Wavelength Planar Metalenses
Based on Titanium Dioxide.” IEEE Journal of Selected Topics in Quantum Electronics,
vol. 23, no. 3, Institute of Electrical and Electronics Engineers, 2017, pp. 43–58,
doi:10.1109/jstqe.2016.2616447.
short: M. Khorasaninejad, W.T. Chen, A.Y. Zhu, J. Oh, R.C. Devlin, C. Roques-Carmes,
I. Mishra, F. Capasso, IEEE Journal of Selected Topics in Quantum Electronics
23 (2017) 43–58.
date_created: 2026-03-30T12:22:47Z
date_published: 2017-05-01T00:00:00Z
date_updated: 2026-04-15T12:14:59Z
day: '01'
doi: 10.1109/jstqe.2016.2616447
extern: '1'
fulldoi: https://doi.org/10.1109/jstqe.2016.2616447
intvolume: ' 23'
issue: '3'
language:
- iso: eng
month: '05'
oa_version: None
page: 43-58
publication: IEEE Journal of Selected Topics in Quantum Electronics
publication_identifier:
eissn:
- 1558-4542
issn:
- 1077-260X
publication_status: published
publisher: Institute of Electrical and Electronics Engineers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Visible wavelength planar metalenses based on titanium dioxide
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 23
year: '2017'
...
---
OA_type: closed access
_id: '21573'
abstract:
- lang: eng
text: 'We present a new platform that realizes high performance metasurfaces in
the visible spectrum. This platform is based on atomic layer deposition of titanium
dioxide and allows molding incident light wavefront to desired shapes including
holographic images, optical vortices, and Bessel beams. The focus of this work
will be on the design and demonstration of planar metalenses. We report on our
recent experimental realization of high numerical aperture metalenses with efficiency
as high as 86%. These metalenses can focus light into a diffraction-limited spot
and can be employed for imaging purposes to provide sub-wavelength imaging resolution.
In addition, by the judicious design of metalens building blocks, one can achieve
a multispectral chiral metalens (MCML) within a single metasurface layer. The
MCML can simultaneously resolve chiral and spectral information of an object without
the requirement of additional optical components such as polarizers, wave-plates,
or even gratings. Using this MCML, we map the chiroptical properties of a macroscopic
chiral biological specimen across the visible range. Finally, since many applications
require polarization insensitive planar lenses, we discuss the experimental realization
of such metalenses with numerical apertures as high as NA=0.85. These metalenses
can focus incident light to a spot as small as ~0.6lambda with efficiencies up
to 70%. The straightforward and CMOS-compatible fabrication process of this platform
is promising for a wide range of optics-based applications in multidisciplinary
science and technology. '
article_number: '101130G '
article_processing_charge: No
author:
- first_name: Mohammadreza
full_name: Khorasaninejad, Mohammadreza
last_name: Khorasaninejad
- first_name: Wei Ting
full_name: Chen, Wei Ting
last_name: Chen
- first_name: Alexander Y.
full_name: Zhu, Alexander Y.
last_name: Zhu
- first_name: Jaewon
full_name: Oh, Jaewon
last_name: Oh
- first_name: Robert C.
full_name: Devlin, Robert C.
last_name: Devlin
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Ishan
full_name: Mishra, Ishan
last_name: Mishra
- first_name: Federico
full_name: Capasso, Federico
last_name: Capasso
citation:
ama: 'Khorasaninejad M, Chen WT, Zhu AY, et al. Planar optics at visible wavelengths
based on titanium dioxide . In: High Contrast Metastructures VI. Vol 10113.
; 2017. doi:10.1117/12.2255916'
apa: Khorasaninejad, M., Chen, W. T., Zhu, A. Y., Oh, J., Devlin, R. C., Roques-Carmes,
C., … Capasso, F. (2017). Planar optics at visible wavelengths based on titanium
dioxide . In High Contrast Metastructures VI (Vol. 10113). San Francisco,
CA, United States. https://doi.org/10.1117/12.2255916
chicago: Khorasaninejad, Mohammadreza, Wei Ting Chen, Alexander Y. Zhu, Jaewon Oh,
Robert C. Devlin, Charles Roques-Carmes, Ishan Mishra, and Federico Capasso. “Planar
Optics at Visible Wavelengths Based on Titanium Dioxide .” In High Contrast
Metastructures VI, Vol. 10113, 2017. https://doi.org/10.1117/12.2255916.
ieee: M. Khorasaninejad et al., “Planar optics at visible wavelengths based
on titanium dioxide ,” in High Contrast Metastructures VI, San Francisco,
CA, United States, 2017, vol. 10113.
ista: Khorasaninejad M, Chen WT, Zhu AY, Oh J, Devlin RC, Roques-Carmes C, Mishra
I, Capasso F. 2017. Planar optics at visible wavelengths based on titanium dioxide
. High Contrast Metastructures VI. SPIE OPTO vol. 10113, 101130G.
mla: Khorasaninejad, Mohammadreza, et al. “Planar Optics at Visible Wavelengths
Based on Titanium Dioxide .” High Contrast Metastructures VI, vol. 10113,
101130G, 2017, doi:10.1117/12.2255916.
short: M. Khorasaninejad, W.T. Chen, A.Y. Zhu, J. Oh, R.C. Devlin, C. Roques-Carmes,
I. Mishra, F. Capasso, in:, High Contrast Metastructures VI, 2017.
conference:
end_date: 2017-02-02
location: San Francisco, CA, United States
name: SPIE OPTO
start_date: 2017-01-28
date_created: 2026-03-30T12:22:47Z
date_published: 2017-04-28T00:00:00Z
date_updated: 2026-05-05T09:41:50Z
day: '28'
doi: 10.1117/12.2255916
extern: '1'
fulldoi: https://doi.org/10.1117/12.2255916
intvolume: ' 10113'
language:
- iso: eng
month: '04'
oa_version: None
publication: High Contrast Metastructures VI
publication_status: published
quality_controlled: '1'
status: public
title: 'Planar optics at visible wavelengths based on titanium dioxide '
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 10113
year: '2017'
...
---
OA_type: closed access
_id: '21588'
abstract:
- lang: eng
text: We present experimental results demonstrating multiple order Smith-Purcell
radiation in high aspect ratio Silicon Nanowires structures using low-energy electrons
(2.5-10keV). These produce emission spanning the visible, paving the way to a
fully tunable ultraviolet source.
article_number: JTh5B.8
article_processing_charge: No
author:
- first_name: Aviram
full_name: Massuda, Aviram
last_name: Massuda
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Amit
full_name: Solanki, Amit
last_name: Solanki
- first_name: Yi
full_name: Yang, Yi
last_name: Yang
- first_name: Steven E.
full_name: Kooi, Steven E.
last_name: Kooi
- first_name: Fawwaz
full_name: Habbal, Fawwaz
last_name: Habbal
- first_name: Ido
full_name: Kaminer, Ido
last_name: Kaminer
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
citation:
ama: 'Massuda A, Roques-Carmes C, Solanki A, et al. High-order Smith-Purcell radiation
in silicon nanowires. In: Conference on Lasers and Electro-Optics. Optica
Publishing Group; 2017. doi:10.1364/cleo_at.2017.jth5b.8'
apa: 'Massuda, A., Roques-Carmes, C., Solanki, A., Yang, Y., Kooi, S. E., Habbal,
F., … Soljačić, M. (2017). High-order Smith-Purcell radiation in silicon nanowires.
In Conference on Lasers and Electro-Optics. San Jose, CA, United States:
Optica Publishing Group. https://doi.org/10.1364/cleo_at.2017.jth5b.8'
chicago: Massuda, Aviram, Charles Roques-Carmes, Amit Solanki, Yi Yang, Steven E.
Kooi, Fawwaz Habbal, Ido Kaminer, and Marin Soljačić. “High-Order Smith-Purcell
Radiation in Silicon Nanowires.” In Conference on Lasers and Electro-Optics.
Optica Publishing Group, 2017. https://doi.org/10.1364/cleo_at.2017.jth5b.8.
ieee: A. Massuda et al., “High-order Smith-Purcell radiation in silicon nanowires,”
in Conference on Lasers and Electro-Optics, San Jose, CA, United States,
2017.
ista: 'Massuda A, Roques-Carmes C, Solanki A, Yang Y, Kooi SE, Habbal F, Kaminer
I, Soljačić M. 2017. High-order Smith-Purcell radiation in silicon nanowires.
Conference on Lasers and Electro-Optics. CLEO: Applications and Technology, JTh5B.8.'
mla: Massuda, Aviram, et al. “High-Order Smith-Purcell Radiation in Silicon Nanowires.”
Conference on Lasers and Electro-Optics, JTh5B.8, Optica Publishing Group,
2017, doi:10.1364/cleo_at.2017.jth5b.8.
short: A. Massuda, C. Roques-Carmes, A. Solanki, Y. Yang, S.E. Kooi, F. Habbal,
I. Kaminer, M. Soljačić, in:, Conference on Lasers and Electro-Optics, Optica
Publishing Group, 2017.
conference:
end_date: 2017-05-19
location: San Jose, CA, United States
name: 'CLEO: Applications and Technology'
start_date: 2017-05-14
date_created: 2026-03-30T12:22:48Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2026-05-05T06:43:57Z
day: '01'
doi: 10.1364/cleo_at.2017.jth5b.8
extern: '1'
fulldoi: https://doi.org/10.1364/cleo_at.2017.jth5b.8
language:
- iso: eng
month: '06'
oa_version: None
publication: Conference on Lasers and Electro-Optics
publication_identifier:
eisbn:
- '9781943580279'
issnl:
- 2162-2701
publication_status: published
publisher: Optica Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: High-order Smith-Purcell radiation in silicon nanowires
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
OA_place: repository
OA_type: green
_id: '21615'
abstract:
- lang: eng
text: Focused electron beams can induce electromagnetic radiation from periodic
surfaces. We have used low-energy electrons (1.5-6kV) to induce visible light
emission from nanoscale gratings (50nm and 60nm). Our results coincide well with
numerical simulations.
article_number: FM3H.6
article_processing_charge: No
arxiv: 1
author:
- first_name: Aviram
full_name: Massuda, Aviram
last_name: Massuda
- first_name: Charles
full_name: Roques-Carmes, Charles
id: e2e68fc9-6505-11ef-a541-eb4e72cc3e82
last_name: Roques-Carmes
- first_name: Yujia
full_name: Yang, Yujia
last_name: Yang
- first_name: Steven E.
full_name: Kooi, Steven E.
last_name: Kooi
- first_name: Yi
full_name: Yang, Yi
last_name: Yang
- first_name: Chitraang
full_name: Murdia, Chitraang
last_name: Murdia
- first_name: Karl K.
full_name: Berggren, Karl K.
last_name: Berggren
- first_name: Ido
full_name: Kaminer, Ido
last_name: Kaminer
- first_name: Marin
full_name: Soljačić, Marin
last_name: Soljačić
citation:
ama: 'Massuda A, Roques-Carmes C, Yang Y, et al. Smith-Purcell radiation from low-energy
electrons. In: Conference on Lasers and Electro-Optics. Optica Publishing
Group; 2017. doi:10.1364/cleo_qels.2017.fm3h.6'
apa: 'Massuda, A., Roques-Carmes, C., Yang, Y., Kooi, S. E., Yang, Y., Murdia, C.,
… Soljačić, M. (2017). Smith-Purcell radiation from low-energy electrons. In Conference
on Lasers and Electro-Optics. San Jose, CA, United States: Optica Publishing
Group. https://doi.org/10.1364/cleo_qels.2017.fm3h.6'
chicago: Massuda, Aviram, Charles Roques-Carmes, Yujia Yang, Steven E. Kooi, Yi
Yang, Chitraang Murdia, Karl K. Berggren, Ido Kaminer, and Marin Soljačić. “Smith-Purcell
Radiation from Low-Energy Electrons.” In Conference on Lasers and Electro-Optics.
Optica Publishing Group, 2017. https://doi.org/10.1364/cleo_qels.2017.fm3h.6.
ieee: A. Massuda et al., “Smith-Purcell radiation from low-energy electrons,”
in Conference on Lasers and Electro-Optics, San Jose, CA, United States,
2017.
ista: 'Massuda A, Roques-Carmes C, Yang Y, Kooi SE, Yang Y, Murdia C, Berggren KK,
Kaminer I, Soljačić M. 2017. Smith-Purcell radiation from low-energy electrons.
Conference on Lasers and Electro-Optics. CLEO: Fundamental Science, FM3H.6.'
mla: Massuda, Aviram, et al. “Smith-Purcell Radiation from Low-Energy Electrons.”
Conference on Lasers and Electro-Optics, FM3H.6, Optica Publishing Group,
2017, doi:10.1364/cleo_qels.2017.fm3h.6.
short: A. Massuda, C. Roques-Carmes, Y. Yang, S.E. Kooi, Y. Yang, C. Murdia, K.K.
Berggren, I. Kaminer, M. Soljačić, in:, Conference on Lasers and Electro-Optics,
Optica Publishing Group, 2017.
conference:
end_date: 2017-05-19
location: San Jose, CA, United States
name: 'CLEO: Fundamental Science'
start_date: 2017-05-14
date_created: 2026-03-30T12:22:48Z
date_published: 2017-05-01T00:00:00Z
date_updated: 2026-05-05T06:46:39Z
day: '01'
doi: 10.1364/cleo_qels.2017.fm3h.6
extern: '1'
external_id:
arxiv:
- '1710.05358'
fulldoi: https://doi.org/10.1364/cleo_qels.2017.fm3h.6
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.1710.05358
month: '05'
oa: 1
oa_version: Preprint
publication: Conference on Lasers and Electro-Optics
publication_identifier:
eisbn:
- '9781943580279'
publication_status: published
publisher: Optica Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: Smith-Purcell radiation from low-energy electrons
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '1336'
abstract:
- lang: eng
text: Evolutionary algorithms (EAs) form a popular optimisation paradigm inspired
by natural evolution. In recent years the field of evolutionary computation has
developed a rigorous analytical theory to analyse the runtimes of EAs on many
illustrative problems. Here we apply this theory to a simple model of natural
evolution. In the Strong Selection Weak Mutation (SSWM) evolutionary regime the
time between occurrences of new mutations is much longer than the time it takes
for a mutated genotype to take over the population. In this situation, the population
only contains copies of one genotype and evolution can be modelled as a stochastic
process evolving one genotype by means of mutation and selection between the resident
and the mutated genotype. The probability of accepting the mutated genotype then
depends on the change in fitness. We study this process, SSWM, from an algorithmic
perspective, quantifying its expected optimisation time for various parameters
and investigating differences to a similar evolutionary algorithm, the well-known
(1+1) EA. We show that SSWM can have a moderate advantage over the (1+1) EA at
crossing fitness valleys and study an example where SSWM outperforms the (1+1)
EA by taking advantage of information on the fitness gradient.
article_processing_charge: No
author:
- first_name: Tiago
full_name: Paixao, Tiago
id: 2C5658E6-F248-11E8-B48F-1D18A9856A87
last_name: Paixao
orcid: 0000-0003-2361-3953
- first_name: Jorge
full_name: Pérez Heredia, Jorge
last_name: Pérez Heredia
- first_name: Dirk
full_name: Sudholt, Dirk
last_name: Sudholt
- first_name: Barbora
full_name: Trubenova, Barbora
id: 42302D54-F248-11E8-B48F-1D18A9856A87
last_name: Trubenova
orcid: 0000-0002-6873-2967
citation:
ama: Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. Towards a runtime comparison
of natural and artificial evolution. Algorithmica. 2017;78(2):681-713.
doi:10.1007/s00453-016-0212-1
apa: Paixao, T., Pérez Heredia, J., Sudholt, D., & Trubenova, B. (2017). Towards
a runtime comparison of natural and artificial evolution. Algorithmica.
Springer. https://doi.org/10.1007/s00453-016-0212-1
chicago: Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova.
“Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica.
Springer, 2017. https://doi.org/10.1007/s00453-016-0212-1.
ieee: T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime
comparison of natural and artificial evolution,” Algorithmica, vol. 78,
no. 2. Springer, pp. 681–713, 2017.
ista: Paixao T, Pérez Heredia J, Sudholt D, Trubenova B. 2017. Towards a runtime
comparison of natural and artificial evolution. Algorithmica. 78(2), 681–713.
mla: Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial
Evolution.” Algorithmica, vol. 78, no. 2, Springer, 2017, pp. 681–713,
doi:10.1007/s00453-016-0212-1.
short: T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017)
681–713.
date_created: 2018-12-11T11:51:27Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2026-04-16T09:55:33Z
day: '01'
ddc:
- '576'
department:
- _id: NiBa
- _id: CaGu
doi: 10.1007/s00453-016-0212-1
ec_funded: 1
external_id:
isi:
- '000400379500013'
file:
- access_level: open_access
checksum: 7873f665a0c598ac747c908f34cb14b9
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:10:19Z
date_updated: 2020-07-14T12:44:44Z
file_id: '4805'
file_name: IST-2016-658-v1+1_s00453-016-0212-1.pdf
file_size: 710206
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
fulldoi: https://doi.org/10.1007/s00453-016-0212-1
has_accepted_license: '1'
intvolume: ' 78'
isi: 1
issue: '2'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 681 - 713
project:
- _id: 25B1EC9E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618091'
name: Speed of Adaptation in Population Genetics and Evolutionary Computation
publication: Algorithmica
publication_identifier:
issn:
- 0178-4617
publication_status: published
publisher: Springer
publist_id: '5931'
pubrep_id: '658'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Towards a runtime comparison of natural and artificial evolution
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 78
year: '2017'
...
---
_id: '1337'
abstract:
- lang: eng
text: We consider the local eigenvalue distribution of large self-adjoint N×N random
matrices H=H∗ with centered independent entries. In contrast to previous works
the matrix of variances sij=\mathbbmE|hij|2 is not assumed to be stochastic. Hence
the density of states is not the Wigner semicircle law. Its possible shapes are
described in the companion paper (Ajanki et al. in Quadratic Vector Equations
on the Complex Upper Half Plane. arXiv:1506.05095). We show that as N grows, the
resolvent, G(z)=(H−z)−1, converges to a diagonal matrix, diag(m(z)), where m(z)=(m1(z),…,mN(z))
solves the vector equation −1/mi(z)=z+∑jsijmj(z) that has been analyzed in Ajanki
et al. (Quadratic Vector Equations on the Complex Upper Half Plane. arXiv:1506.05095).
We prove a local law down to the smallest spectral resolution scale, and bulk
universality for both real symmetric and complex hermitian symmetry classes.
acknowledgement: 'Open access funding provided by Institute of Science and Technology
(IST Austria). '
article_processing_charge: Yes (via OA deal)
author:
- first_name: Oskari H
full_name: Ajanki, Oskari H
id: 36F2FB7E-F248-11E8-B48F-1D18A9856A87
last_name: Ajanki
- first_name: László
full_name: Erdös, László
id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
last_name: Erdös
orcid: 0000-0001-5366-9603
- first_name: Torben H
full_name: Krüger, Torben H
id: 3020C786-F248-11E8-B48F-1D18A9856A87
last_name: Krüger
orcid: 0000-0002-4821-3297
citation:
ama: Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices.
Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
apa: Ajanki, O. H., Erdös, L., & Krüger, T. H. (2017). Universality for general
Wigner-type matrices. Probability Theory and Related Fields. Springer.
https://doi.org/10.1007/s00440-016-0740-2
chicago: Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for
General Wigner-Type Matrices.” Probability Theory and Related Fields. Springer,
2017. https://doi.org/10.1007/s00440-016-0740-2.
ieee: O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type
matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer,
pp. 667–727, 2017.
ista: Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type
matrices. Probability Theory and Related Fields. 169(3–4), 667–727.
mla: Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.”
Probability Theory and Related Fields, vol. 169, no. 3–4, Springer, 2017,
pp. 667–727, doi:10.1007/s00440-016-0740-2.
short: O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields
169 (2017) 667–727.
corr_author: '1'
date_created: 2018-12-11T11:51:27Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2026-04-16T09:55:44Z
day: '01'
ddc:
- '510'
- '530'
department:
- _id: LaEr
doi: 10.1007/s00440-016-0740-2
ec_funded: 1
external_id:
isi:
- '000414358400002'
file:
- access_level: open_access
checksum: 29f5a72c3f91e408aeb9e78344973803
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:08:25Z
date_updated: 2020-07-14T12:44:44Z
file_id: '4686'
file_name: IST-2017-657-v1+2_s00440-016-0740-2.pdf
file_size: 988843
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
fulldoi: https://doi.org/10.1007/s00440-016-0740-2
has_accepted_license: '1'
intvolume: ' 169'
isi: 1
issue: 3-4
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 667 - 727
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '338804'
name: Random matrices, universality and disordered quantum systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Probability Theory and Related Fields
publication_identifier:
issn:
- 0178-8051
publication_status: published
publisher: Springer
publist_id: '5930'
pubrep_id: '657'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Universality for general Wigner-type matrices
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 169
year: '2017'
...
---
_id: '1338'
abstract:
- lang: eng
text: We present a computer-aided programming approach to concurrency. The approach
allows programmers to program assuming a friendly, non-preemptive scheduler, and
our synthesis procedure inserts synchronization to ensure that the final program
works even with a preemptive scheduler. The correctness specification is implicit,
inferred from the non-preemptive behavior. Let us consider sequences of calls
that the program makes to an external interface. The specification requires that
any such sequence produced under a preemptive scheduler should be included in
the set of sequences produced under a non-preemptive scheduler. We guarantee that
our synthesis does not introduce deadlocks and that the synchronization inserted
is optimal w.r.t. a given objective function. The solution is based on a finitary
abstraction, an algorithm for bounded language inclusion modulo an independence
relation, and generation of a set of global constraints over synchronization placements.
Each model of the global constraints set corresponds to a correctness-ensuring
synchronization placement. The placement that is optimal w.r.t. the given objective
function is chosen as the synchronization solution. We apply the approach to device-driver
programming, where the driver threads call the software interface of the device
and the API provided by the operating system. Our experiments demonstrate that
our synthesis method is precise and efficient. The implicit specification helped
us find one concurrency bug previously missed when model-checking using an explicit,
user-provided specification. We implemented objective functions for coarse-grained
and fine-grained locking and observed that different synchronization placements
are produced for our experiments, favoring a minimal number of synchronization
operations or maximum concurrency, respectively.
article_processing_charge: No
author:
- first_name: Pavol
full_name: Cerny, Pavol
id: 4DCBEFFE-F248-11E8-B48F-1D18A9856A87
last_name: Cerny
- first_name: Edmund
full_name: Clarke, Edmund
last_name: Clarke
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Arjun
full_name: Radhakrishna, Arjun
id: 3B51CAC4-F248-11E8-B48F-1D18A9856A87
last_name: Radhakrishna
- first_name: Leonid
full_name: Ryzhyk, Leonid
last_name: Ryzhyk
- first_name: Roopsha
full_name: Samanta, Roopsha
id: 3D2AAC08-F248-11E8-B48F-1D18A9856A87
last_name: Samanta
- first_name: Thorsten
full_name: Tarrach, Thorsten
id: 3D6E8F2C-F248-11E8-B48F-1D18A9856A87
last_name: Tarrach
orcid: 0000-0003-4409-8487
citation:
ama: Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling
using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139.
doi:10.1007/s10703-016-0256-5
apa: Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta,
R., & Tarrach, T. (2017). From non-preemptive to preemptive scheduling using
synchronization synthesis. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-016-0256-5
chicago: Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid
Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive
Scheduling Using Synchronization Synthesis.” Formal Methods in System Design.
Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
ieee: P. Cerny et al., “From non-preemptive to preemptive scheduling using
synchronization synthesis,” Formal Methods in System Design, vol. 50, no.
2–3. Springer, pp. 97–139, 2017.
ista: Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach
T. 2017. From non-preemptive to preemptive scheduling using synchronization synthesis.
Formal Methods in System Design. 50(2–3), 97–139.
mla: Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization
Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer,
2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.
short: P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta,
T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
corr_author: '1'
date_created: 2018-12-11T11:51:27Z
date_published: 2017-06-01T00:00:00Z
date_updated: 2025-09-23T08:54:01Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/s10703-016-0256-5
ec_funded: 1
external_id:
isi:
- '000399888900001'
pmid:
- '28490835'
file:
- access_level: open_access
checksum: 1163dfd997e8212c789525d4178b1653
content_type: application/pdf
creator: system
date_created: 2018-12-12T10:13:05Z
date_updated: 2020-07-14T12:44:44Z
file_id: '4985'
file_name: IST-2016-656-v1+1_s10703-016-0256-5.pdf
file_size: 1416170
relation: main_file
file_date_updated: 2020-07-14T12:44:44Z
fulldoi: https://doi.org/10.1007/s10703-016-0256-5
has_accepted_license: '1'
intvolume: ' 50'
isi: 1
issue: 2-3
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 97 - 139
pmid: 1
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
publication: Formal Methods in System Design
publication_status: published
publisher: Springer
publist_id: '5929'
pubrep_id: '656'
quality_controlled: '1'
related_material:
record:
- id: '1729'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: From non-preemptive to preemptive scheduling using synchronization synthesis
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2017'
...
---
_id: '13380'
abstract:
- lang: eng
text: Although dissipative self-assembly is ubiquitous in nature, where it gives
rise to structures and functions critical to life, examples of artificial systems
featuring this mode of self-assembly are rare. Here, we identify the presence
of ephemeral assemblies during seeded growth of gold nanoparticles. In this process,
hydrazine reduces Au(III) ions, which attach to the existing nanoparticles “seeds”.
The attachment is accompanied by a local increase in the concentration of a surfactant,
which therefore forms a bilayer on nanoparticle surfaces, inducing their assembly.
The resulting aggregates gradually disassemble as the surfactant concentration
throughout the solution equilibrates. The lifetimes of the out-of-equilibrium
aggregates depend on and can be controlled by the size of the constituent nanoparticles.
We demonstrate the utility of our out-of-equilibrium aggregates to form transient
reflective coatings on polar surfaces.
article_processing_charge: No
article_type: original
author:
- first_name: Michał
full_name: Sawczyk, Michał
last_name: Sawczyk
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Sawczyk M, Klajn R. Out-of-equilibrium aggregates and coatings during seeded
growth of metallic nanoparticles. Journal of the American Chemical Society.
2017;139(49):17973-17978. doi:10.1021/jacs.7b09111
apa: Sawczyk, M., & Klajn, R. (2017). Out-of-equilibrium aggregates and coatings
during seeded growth of metallic nanoparticles. Journal of the American Chemical
Society. American Chemical Society. https://doi.org/10.1021/jacs.7b09111
chicago: Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings
during Seeded Growth of Metallic Nanoparticles.” Journal of the American Chemical
Society. American Chemical Society, 2017. https://doi.org/10.1021/jacs.7b09111.
ieee: M. Sawczyk and R. Klajn, “Out-of-equilibrium aggregates and coatings during
seeded growth of metallic nanoparticles,” Journal of the American Chemical
Society, vol. 139, no. 49. American Chemical Society, pp. 17973–17978, 2017.
ista: Sawczyk M, Klajn R. 2017. Out-of-equilibrium aggregates and coatings during
seeded growth of metallic nanoparticles. Journal of the American Chemical Society.
139(49), 17973–17978.
mla: Sawczyk, Michał, and Rafal Klajn. “Out-of-Equilibrium Aggregates and Coatings
during Seeded Growth of Metallic Nanoparticles.” Journal of the American Chemical
Society, vol. 139, no. 49, American Chemical Society, 2017, pp. 17973–78,
doi:10.1021/jacs.7b09111.
short: M. Sawczyk, R. Klajn, Journal of the American Chemical Society 139 (2017)
17973–17978.
date_created: 2023-08-01T09:41:01Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2024-10-14T12:15:25Z
day: '01'
doi: 10.1021/jacs.7b09111
extern: '1'
external_id:
pmid:
- '29193964'
fulldoi: https://doi.org/10.1021/jacs.7b09111
intvolume: ' 139'
issue: '49'
keyword:
- Colloid and Surface Chemistry
- Biochemistry
- General Chemistry
- Catalysis
language:
- iso: eng
month: '12'
oa_version: None
page: 17973-17978
pmid: 1
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Out-of-equilibrium aggregates and coatings during seeded growth of metallic
nanoparticles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 139
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: 2024-10-14T12:15:38Z
day: '27'
doi: 10.1126/science.aan6046
extern: '1'
external_id:
pmid:
- '29074773'
fulldoi: https://doi.org/10.1126/science.aan6046
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: 2024-10-14T12:15:48Z
day: '08'
doi: 10.1039/c7cs90088k
extern: '1'
external_id:
pmid:
- '28884760'
fulldoi: https://doi.org/10.1039/c7cs90088k
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: '13383'
abstract:
- lang: eng
text: Two novel donor–acceptor Stenhouse adducts (DASAs) featuring the catechol
moiety were synthesized and characterized. Both compounds bind strongly to the
surfaces of magnetite nanoparticles. An adrenaline-derived DASA renders the particles
insoluble in all common solvents, likely because of poor solvation of the zwitterionic
isomer generated on the nanoparticle surfaces. Well-soluble nanoparticles were
successfully obtained using dopamine-derived DASA equipped with a long alkyl chain.
Upon its attachment to nanoparticles, this DASA undergoes an irreversible decoloration
reaction owing to the formation of the zwitterionic form. The reaction follows
first-order kinetics and proceeds more rapidly on large nanoparticles. Interestingly,
decoloration can be suppressed in the presence of free DASA molecules in solution
or at high nanoparticle concentrations.
article_processing_charge: No
article_type: original
author:
- first_name: Johannes
full_name: Ahrens, Johannes
last_name: Ahrens
- first_name: Tong
full_name: Bian, Tong
last_name: Bian
- first_name: Tom
full_name: Vexler, Tom
last_name: Vexler
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Ahrens J, Bian T, Vexler T, Klajn R. Irreversible bleaching of donor-acceptor
stenhouse adducts on the surfaces of magnetite nanoparticles. ChemPhotoChem.
2017;1(5):230-236. doi:10.1002/cptc.201700009
apa: Ahrens, J., Bian, T., Vexler, T., & Klajn, R. (2017). Irreversible bleaching
of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles.
ChemPhotoChem. Wiley. https://doi.org/10.1002/cptc.201700009
chicago: Ahrens, Johannes, Tong Bian, Tom Vexler, and Rafal Klajn. “Irreversible
Bleaching of Donor-Acceptor Stenhouse Adducts on the Surfaces of Magnetite Nanoparticles.”
ChemPhotoChem. Wiley, 2017. https://doi.org/10.1002/cptc.201700009.
ieee: J. Ahrens, T. Bian, T. Vexler, and R. Klajn, “Irreversible bleaching of donor-acceptor
stenhouse adducts on the surfaces of magnetite nanoparticles,” ChemPhotoChem,
vol. 1, no. 5. Wiley, pp. 230–236, 2017.
ista: Ahrens J, Bian T, Vexler T, Klajn R. 2017. Irreversible bleaching of donor-acceptor
stenhouse adducts on the surfaces of magnetite nanoparticles. ChemPhotoChem. 1(5),
230–236.
mla: Ahrens, Johannes, et al. “Irreversible Bleaching of Donor-Acceptor Stenhouse
Adducts on the Surfaces of Magnetite Nanoparticles.” ChemPhotoChem, vol.
1, no. 5, Wiley, 2017, pp. 230–36, doi:10.1002/cptc.201700009.
short: J. Ahrens, T. Bian, T. Vexler, R. Klajn, ChemPhotoChem 1 (2017) 230–236.
date_created: 2023-08-01T09:41:43Z
date_published: 2017-05-01T00:00:00Z
date_updated: 2024-10-14T12:15:59Z
day: '01'
doi: 10.1002/cptc.201700009
extern: '1'
fulldoi: https://doi.org/10.1002/cptc.201700009
intvolume: ' 1'
issue: '5'
keyword:
- Organic Chemistry
- Physical and Theoretical Chemistry
- Analytical Chemistry
language:
- iso: eng
month: '05'
oa_version: None
page: 230-236
publication: ChemPhotoChem
publication_identifier:
eissn:
- 2367-0932
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces
of magnetite nanoparticles
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2017'
...
---
_id: '13384'
abstract:
- lang: eng
text: Although methane is a volatile gas, it can be efficiently trapped in ice,
which can then be readily set on fire. Beyond the curiosity of this “burning ice,”
caged methane is of great importance as one of the world's largest natural gas
resources. In these materials, known as clathrates, methane molecules are tightly
bound in nanometer-sized, regularly interspaced cages. Other inorganic materials,
such as the silica mineral chibaite, can similarly encapsulate methane and higher
hydrocarbons. Simple organic compounds have also been found to trap various organic
molecules upon crystallization.
article_processing_charge: No
article_type: original
author:
- first_name: Dipak
full_name: Samanta, Dipak
last_name: Samanta
- first_name: Rafal
full_name: Klajn, Rafal
id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
last_name: Klajn
citation:
ama: Samanta D, Klajn R. Clathrates grow up. Science. 2017;355(6328):912-912.
doi:10.1126/science.aam7927
apa: Samanta, D., & Klajn, R. (2017). Clathrates grow up. Science. American
Association for the Advancement of Science. https://doi.org/10.1126/science.aam7927
chicago: Samanta, Dipak, and Rafal Klajn. “Clathrates Grow Up.” Science.
American Association for the Advancement of Science, 2017. https://doi.org/10.1126/science.aam7927.
ieee: D. Samanta and R. Klajn, “Clathrates grow up,” Science, vol. 355, no.
6328. American Association for the Advancement of Science, pp. 912–912, 2017.
ista: Samanta D, Klajn R. 2017. Clathrates grow up. Science. 355(6328), 912–912.
mla: Samanta, Dipak, and Rafal Klajn. “Clathrates Grow Up.” Science, vol.
355, no. 6328, American Association for the Advancement of Science, 2017, pp.
912–912, doi:10.1126/science.aam7927.
short: D. Samanta, R. Klajn, Science 355 (2017) 912–912.
date_created: 2023-08-01T09:41:55Z
date_published: 2017-03-03T00:00:00Z
date_updated: 2024-10-14T12:16:09Z
day: '03'
doi: 10.1126/science.aam7927
extern: '1'
external_id:
pmid:
- '28254902'
fulldoi: https://doi.org/10.1126/science.aam7927
intvolume: ' 355'
issue: '6328'
keyword:
- Multidisciplinary
language:
- iso: eng
month: '03'
oa_version: None
page: 912-912
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: Clathrates grow up
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 355
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
arxiv: 1
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: 2024-10-14T12:22:29Z
day: '01'
doi: 10.1051/0004-6361/201730472
extern: '1'
external_id:
arxiv:
- '1701.07439'
fulldoi: https://doi.org/10.1051/0004-6361/201730472
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'
...
---
_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
arxiv: 1
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'
fulldoi: https://doi.org/10.1051/0004-6361/201629685
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: '1351'
abstract:
- lang: eng
text: The behaviour of gene regulatory networks (GRNs) is typically analysed using
simulation-based statistical testing-like methods. In this paper, we demonstrate
that we can replace this approach by a formal verification-like method that gives
higher assurance and scalability. We focus on Wagner’s weighted GRN model with
varying weights, which is used in evolutionary biology. In the model, weight parameters
represent the gene interaction strength that may change due to genetic mutations.
For a property of interest, we synthesise the constraints over the parameter space
that represent the set of GRNs satisfying the property. We experimentally show
that our parameter synthesis procedure computes the mutational robustness of GRNs—an
important problem of interest in evolutionary biology—more efficiently than the
classical simulation method. We specify the property in linear temporal logic.
We employ symbolic bounded model checking and SMT solving to compute the space
of GRNs that satisfy the property, which amounts to synthesizing a set of linear
constraints on the weights.
article_processing_charge: No
author:
- first_name: Mirco
full_name: Giacobbe, Mirco
id: 3444EA5E-F248-11E8-B48F-1D18A9856A87
last_name: Giacobbe
orcid: 0000-0001-8180-0904
- first_name: Calin C
full_name: Guet, Calin C
id: 47F8433E-F248-11E8-B48F-1D18A9856A87
last_name: Guet
orcid: 0000-0001-6220-2052
- first_name: Ashutosh
full_name: Gupta, Ashutosh
id: 335E5684-F248-11E8-B48F-1D18A9856A87
last_name: Gupta
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Tiago
full_name: Paixao, Tiago
id: 2C5658E6-F248-11E8-B48F-1D18A9856A87
last_name: Paixao
orcid: 0000-0003-2361-3953
- first_name: Tatjana
full_name: Petrov, Tatjana
id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
last_name: Petrov
orcid: 0000-0002-9041-0905
citation:
ama: Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking
the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787.
doi:10.1007/s00236-016-0278-x
apa: Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov,
T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica.
Springer. https://doi.org/10.1007/s00236-016-0278-x
chicago: Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago
Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.”
Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.
ieee: M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov,
“Model checking the evolution of gene regulatory networks,” Acta Informatica,
vol. 54, no. 8. Springer, pp. 765–787, 2017.
ista: Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2017. Model
checking the evolution of gene regulatory networks. Acta Informatica. 54(8), 765–787.
mla: Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.”
Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.
short: M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, Acta
Informatica 54 (2017) 765–787.
corr_author: '1'
date_created: 2018-12-11T11:51:32Z
date_published: 2017-12-01T00:00:00Z
date_updated: 2025-07-10T11:50:42Z
day: '01'
ddc:
- '006'
- '576'
department:
- _id: ToHe
- _id: CaGu
- _id: NiBa
doi: 10.1007/s00236-016-0278-x
ec_funded: 1
external_id:
isi:
- '000414343200003'
file:
- access_level: open_access
checksum: 4e661d9135d7f8c342e8e258dee76f3e
content_type: application/pdf
creator: dernst
date_created: 2019-01-17T15:57:29Z
date_updated: 2020-07-14T12:44:46Z
file_id: '5841'
file_name: 2017_ActaInformatica_Giacobbe.pdf
file_size: 755241
relation: main_file
file_date_updated: 2020-07-14T12:44:46Z
fulldoi: https://doi.org/10.1007/s00236-016-0278-x
has_accepted_license: '1'
intvolume: ' 54'
isi: 1
issue: '8'
language:
- iso: eng
month: '12'
oa: 1
oa_version: Published Version
page: 765 - 787
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
- _id: 25B1EC9E-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618091'
name: Speed of Adaptation in Population Genetics and Evolutionary Computation
- _id: 25681D80-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '291734'
name: International IST Postdoc Fellowship Programme
- _id: 25B07788-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '250152'
name: Limits to selection in biology and in evolutionary computation
publication: Acta Informatica
publication_identifier:
issn:
- 0001-5903
publication_status: published
publisher: Springer
publist_id: '5898'
pubrep_id: '649'
quality_controlled: '1'
related_material:
record:
- id: '1835'
relation: earlier_version
status: public
scopus_import: '1'
status: public
title: Model checking the evolution of gene regulatory networks
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 54
year: '2017'
...