---
_id: '127'
abstract:
- lang: eng
  text: The ideas of topology are breaking ground in origami-based metamaterials.
    Experiments now show that certain shapes — doughnuts included — exhibit topological
    bistability, and can be made to click between different topologically stable states.
author:
- first_name: Scott R
  full_name: Waitukaitis, Scott R
  id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
  last_name: Waitukaitis
  orcid: 0000-0002-2299-3176
citation:
  ama: Waitukaitis SR. Clicks for doughnuts. <i>Nature Physics</i>. 2018;14(8):777-778.
    doi:<a href="https://doi.org/10.1038/s41567-018-0160-6">10.1038/s41567-018-0160-6</a>
  apa: Waitukaitis, S. R. (2018). Clicks for doughnuts. <i>Nature Physics</i>. Nature
    Publishing Group. <a href="https://doi.org/10.1038/s41567-018-0160-6">https://doi.org/10.1038/s41567-018-0160-6</a>
  chicago: Waitukaitis, Scott R. “Clicks for Doughnuts.” <i>Nature Physics</i>. Nature
    Publishing Group, 2018. <a href="https://doi.org/10.1038/s41567-018-0160-6">https://doi.org/10.1038/s41567-018-0160-6</a>.
  ieee: S. R. Waitukaitis, “Clicks for doughnuts,” <i>Nature Physics</i>, vol. 14,
    no. 8. Nature Publishing Group, pp. 777–778, 2018.
  ista: Waitukaitis SR. 2018. Clicks for doughnuts. Nature Physics. 14(8), 777–778.
  mla: Waitukaitis, Scott R. “Clicks for Doughnuts.” <i>Nature Physics</i>, vol. 14,
    no. 8, Nature Publishing Group, 2018, pp. 777–78, doi:<a href="https://doi.org/10.1038/s41567-018-0160-6">10.1038/s41567-018-0160-6</a>.
  short: S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.
date_created: 2018-12-11T11:44:46Z
date_published: 2018-05-28T00:00:00Z
date_updated: 2021-01-12T06:49:31Z
day: '28'
doi: 10.1038/s41567-018-0160-6
extern: '1'
intvolume: '        14'
issue: '8'
language:
- iso: eng
month: '05'
oa_version: None
page: 777 - 778
publication: Nature Physics
publication_status: published
publisher: Nature Publishing Group
publist_id: '7926'
status: public
title: Clicks for doughnuts
type: journal_article
user_id: 2EBD1598-F248-11E8-B48F-1D18A9856A87
volume: 14
year: '2018'
...
---
OA_place: repository
OA_type: green
_id: '21533'
abstract:
- lang: eng
  text: Recent advances in the fabrication of nanostructures and nanoscale features
    in metasurfaces offer new prospects for generating visible light emission from
    low-energy electrons. Here we present the experimental observation of visible
    light emission from low-energy free electrons interacting with nanoscale periodic
    surfaces through the Smith–Purcell (SP) effect. We demonstrate SP light emission
    from nanoscale gratings with periodicity as small as 50 nm, enabling the observation
    of tunable visible radiation from low-energy electrons (1.5 to 6 keV), an order
    of magnitude lower in energy than previously reported. We study the emission wavelength
    and intensity dependence on the grating pitch and electron energy, showing agreement
    between experiment and theory. Our results open the way to the production of SP-based
    nanophotonics integrated devices. Built inside electron microscopes, SP sources
    could enable the development of novel electron–optical correlated spectroscopic
    techniques and facilitate the observation of new quantum effects in light sources.
article_processing_charge: No
article_type: letter_note
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. <i>ACS Photonics</i>. 2018;5(9):3513-3518. doi:<a href="https://doi.org/10.1021/acsphotonics.8b00743">10.1021/acsphotonics.8b00743</a>
  apa: Massuda, A., Roques-Carmes, C., Yang, Y., Kooi, S. E., Yang, Y., Murdia, C.,
    … Soljačić, M. (2018). Smith–Purcell radiation from low-energy electrons. <i>ACS
    Photonics</i>. American Chemical Society . <a href="https://doi.org/10.1021/acsphotonics.8b00743">https://doi.org/10.1021/acsphotonics.8b00743</a>
  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.” <i>ACS Photonics</i>. American Chemical
    Society , 2018. <a href="https://doi.org/10.1021/acsphotonics.8b00743">https://doi.org/10.1021/acsphotonics.8b00743</a>.
  ieee: A. Massuda <i>et al.</i>, “Smith–Purcell radiation from low-energy electrons,”
    <i>ACS Photonics</i>, vol. 5, no. 9. American Chemical Society , pp. 3513–3518,
    2018.
  ista: Massuda A, Roques-Carmes C, Yang Y, Kooi SE, Yang Y, Murdia C, Berggren KK,
    Kaminer I, Soljačić M. 2018. Smith–Purcell radiation from low-energy electrons.
    ACS Photonics. 5(9), 3513–3518.
  mla: Massuda, Aviram, et al. “Smith–Purcell Radiation from Low-Energy Electrons.”
    <i>ACS Photonics</i>, vol. 5, no. 9, American Chemical Society , 2018, pp. 3513–18,
    doi:<a href="https://doi.org/10.1021/acsphotonics.8b00743">10.1021/acsphotonics.8b00743</a>.
  short: A. Massuda, C. Roques-Carmes, Y. Yang, S.E. Kooi, Y. Yang, C. Murdia, K.K.
    Berggren, I. Kaminer, M. Soljačić, ACS Photonics 5 (2018) 3513–3518.
date_created: 2026-03-30T12:22:47Z
date_published: 2018-08-30T00:00:00Z
date_updated: 2026-04-15T11:48:45Z
day: '30'
ddc:
- '530'
doi: 10.1021/acsphotonics.8b00743
extern: '1'
external_id:
  arxiv:
  - '1710.05358'
intvolume: '         5'
issue: '9'
keyword:
- light−matter interactions
- periodic structures
- nanophotonics
- free-electron light sources
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.1710.05358
month: '08'
oa: 1
oa_version: Preprint
page: 3513-3518
publication: ACS Photonics
publication_identifier:
  eissn:
  - 2330-4022
publication_status: published
publisher: 'American Chemical Society '
quality_controlled: '1'
scopus_import: '1'
status: public
title: Smith–Purcell radiation from low-energy electrons
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 5
year: '2018'
...
---
_id: '13374'
abstract:
- lang: eng
  text: Confining molecules to volumes only slightly larger than the molecules themselves
    can profoundly alter their properties. Molecular switches—entities that can be
    toggled between two or more forms upon exposure to an external stimulus—often
    require conformational freedom to isomerize. Therefore, placing these switches
    in confined spaces can render them non-operational. To preserve the switchability
    of these species under confinement, we work with a water-soluble coordination
    cage that is flexible enough to adapt its shape to the conformation of the encapsulated
    guest. We show that owing to its flexibility, the cage is not only capable of
    accommodating—and solubilizing in water—several light-responsive spiropyran-based
    molecular switches, but, more importantly, it also provides an environment suitable
    for the efficient, reversible photoisomerization of the bound guests. Our findings
    pave the way towards studying various molecular switching processes in confined
    environments.
article_number: '641'
article_processing_charge: No
article_type: original
author:
- first_name: Dipak
  full_name: Samanta, Dipak
  last_name: Samanta
- first_name: Daria
  full_name: Galaktionova, Daria
  last_name: Galaktionova
- first_name: Julius
  full_name: Gemen, Julius
  last_name: Gemen
- first_name: Linda J. W.
  full_name: Shimon, Linda J. W.
  last_name: Shimon
- first_name: Yael
  full_name: Diskin-Posner, Yael
  last_name: Diskin-Posner
- first_name: Liat
  full_name: Avram, Liat
  last_name: Avram
- first_name: Petr
  full_name: Král, Petr
  last_name: Král
- first_name: Rafal
  full_name: Klajn, Rafal
  id: 8e84690e-1e48-11ed-a02b-a1e6fb8bb53b
  last_name: Klajn
citation:
  ama: Samanta D, Galaktionova D, Gemen J, et al. Reversible chromism of spiropyran
    in the cavity of a flexible coordination cage. <i>Nature Communications</i>. 2018;9.
    doi:<a href="https://doi.org/10.1038/s41467-017-02715-6">10.1038/s41467-017-02715-6</a>
  apa: Samanta, D., Galaktionova, D., Gemen, J., Shimon, L. J. W., Diskin-Posner,
    Y., Avram, L., … Klajn, R. (2018). Reversible chromism of spiropyran in the cavity
    of a flexible coordination cage. <i>Nature Communications</i>. Springer Nature.
    <a href="https://doi.org/10.1038/s41467-017-02715-6">https://doi.org/10.1038/s41467-017-02715-6</a>
  chicago: Samanta, Dipak, Daria Galaktionova, Julius Gemen, Linda J. W. Shimon, Yael
    Diskin-Posner, Liat Avram, Petr Král, and Rafal Klajn. “Reversible Chromism of
    Spiropyran in the Cavity of a Flexible Coordination Cage.” <i>Nature Communications</i>.
    Springer Nature, 2018. <a href="https://doi.org/10.1038/s41467-017-02715-6">https://doi.org/10.1038/s41467-017-02715-6</a>.
  ieee: D. Samanta <i>et al.</i>, “Reversible chromism of spiropyran in the cavity
    of a flexible coordination cage,” <i>Nature Communications</i>, vol. 9. Springer
    Nature, 2018.
  ista: Samanta D, Galaktionova D, Gemen J, Shimon LJW, Diskin-Posner Y, Avram L,
    Král P, Klajn R. 2018. Reversible chromism of spiropyran in the cavity of a flexible
    coordination cage. Nature Communications. 9, 641.
  mla: Samanta, Dipak, et al. “Reversible Chromism of Spiropyran in the Cavity of
    a Flexible Coordination Cage.” <i>Nature Communications</i>, vol. 9, 641, Springer
    Nature, 2018, doi:<a href="https://doi.org/10.1038/s41467-017-02715-6">10.1038/s41467-017-02715-6</a>.
  short: D. Samanta, D. Galaktionova, J. Gemen, L.J.W. Shimon, Y. Diskin-Posner, L.
    Avram, P. Král, R. Klajn, Nature Communications 9 (2018).
date_created: 2023-08-01T09:39:32Z
date_published: 2018-02-13T00:00:00Z
date_updated: 2024-10-14T12:14:34Z
day: '13'
doi: 10.1038/s41467-017-02715-6
extern: '1'
external_id:
  pmid:
  - '29440687'
intvolume: '         9'
keyword:
- General Physics and Astronomy
- General Biochemistry
- Genetics and Molecular Biology
- General Chemistry
- Multidisciplinary
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/s41467-017-02715-6
month: '02'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  link:
  - relation: erratum
    url: https://doi.org/10.1038/s41467-018-03701-2
scopus_import: '1'
status: public
title: Reversible chromism of spiropyran in the cavity of a flexible coordination
  cage
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2018'
...
---
_id: '13475'
abstract:
- lang: eng
  text: Stars stripped of their hydrogen-rich envelope through interaction with a
    binary companion are generally not considered when accounting for ionizing radiation
    from stellar populations, despite the expectation that stripped stars emit hard
    ionizing radiation, form frequently, and live 10–100 times longer than single
    massive stars. We compute the first grid of evolutionary and spectral models specially
    made for stars stripped in binaries for a range of progenitor masses (2–20 M⊙)
    and metallicities ranging from solar to values representative for pop II stars.
    For stripped stars with masses in the range 0.3–7 M⊙, we find consistently high
    effective temperatures (20 000–100 000 K, increasing with mass), small radii (0.2–1
    R⊙), and high bolometric luminosities, comparable to that of their progenitor
    before stripping. The spectra show a continuous sequence that naturally bridges
    subdwarf-type stars at the low-mass end and Wolf-Rayet-like spectra at the high-mass
    end. For intermediate masses we find hybrid spectral classes showing a mixture
    of absorption and emission lines. These appear for stars with mass-loss rates
    of 10−8−10−6 M⊙ yr−1, which have semi-transparent atmospheres. At low metallicity,
    substantial hydrogen-rich layers are left at the surface and we predict spectra
    that resemble O-type stars instead. We obtain spectra undistinguishable from subdwarfs
    for stripped stars with masses up to 1.7 M⊙, which questions whether the widely
    adopted canonical value of 0.47 M⊙ is uniformly valid. Only a handful of stripped
    stars of intermediate mass have currently been identified observationally. Increasing
    this sample will provide necessary tests for the physics of interaction, internal
    mixing, and stellar winds. We use our model spectra to investigate the feasibility
    to detect stripped stars next to an optically bright companion and recommend systematic
    searches for their UV excess and possible emission lines, most notably HeII λ4686
    in the optical and HeII λ1640 in the UV. Our models are publicly available for
    further investigations or inclusion in spectral synthesis simulations.
article_number: A78
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
- first_name: T.
  full_name: Kupfer, T.
  last_name: Kupfer
- first_name: P. A.
  full_name: Crowther, P. A.
  last_name: Crowther
- first_name: E.
  full_name: Zapartas, E.
  last_name: Zapartas
- first_name: M.
  full_name: Renzo, M.
  last_name: Renzo
citation:
  ama: 'Götberg YLL, de Mink SE, Groh JH, et al. Spectral models for binary products:
    Unifying subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars.
    <i>Astronomy &#38;amp; Astrophysics</i>. 2018;615. doi:<a href="https://doi.org/10.1051/0004-6361/201732274">10.1051/0004-6361/201732274</a>'
  apa: 'Götberg, Y. L. L., de Mink, S. E., Groh, J. H., Kupfer, T., Crowther, P. A.,
    Zapartas, E., &#38; Renzo, M. (2018). Spectral models for binary products: Unifying
    subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars. <i>Astronomy
    &#38;amp; Astrophysics</i>. EDP Sciences. <a href="https://doi.org/10.1051/0004-6361/201732274">https://doi.org/10.1051/0004-6361/201732274</a>'
  chicago: 'Götberg, Ylva Louise Linsdotter, S. E. de Mink, J. H. Groh, T. Kupfer,
    P. A. Crowther, E. Zapartas, and M. Renzo. “Spectral Models for Binary Products:
    Unifying Subdwarfs and Wolf-Rayet Stars as a Sequence of Stripped-Envelope Stars.”
    <i>Astronomy &#38;amp; Astrophysics</i>. EDP Sciences, 2018. <a href="https://doi.org/10.1051/0004-6361/201732274">https://doi.org/10.1051/0004-6361/201732274</a>.'
  ieee: 'Y. L. L. Götberg <i>et al.</i>, “Spectral models for binary products: Unifying
    subdwarfs and Wolf-Rayet stars as a sequence of stripped-envelope stars,” <i>Astronomy
    &#38;amp; Astrophysics</i>, vol. 615. EDP Sciences, 2018.'
  ista: 'Götberg YLL, de Mink SE, Groh JH, Kupfer T, Crowther PA, Zapartas E, Renzo
    M. 2018. Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet
    stars as a sequence of stripped-envelope stars. Astronomy &#38;amp; Astrophysics.
    615, A78.'
  mla: 'Götberg, Ylva Louise Linsdotter, et al. “Spectral Models for Binary Products:
    Unifying Subdwarfs and Wolf-Rayet Stars as a Sequence of Stripped-Envelope Stars.”
    <i>Astronomy &#38;amp; Astrophysics</i>, vol. 615, A78, EDP Sciences, 2018, doi:<a
    href="https://doi.org/10.1051/0004-6361/201732274">10.1051/0004-6361/201732274</a>.'
  short: Y.L.L. Götberg, S.E. de Mink, J.H. Groh, T. Kupfer, P.A. Crowther, E. Zapartas,
    M. Renzo, Astronomy &#38;amp; Astrophysics 615 (2018).
date_created: 2023-08-03T10:15:00Z
date_published: 2018-07-17T00:00:00Z
date_updated: 2024-10-14T12:22:18Z
day: '17'
doi: 10.1051/0004-6361/201732274
extern: '1'
external_id:
  arxiv:
  - '1802.03018'
intvolume: '       615'
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/201732274
month: '07'
oa: 1
oa_version: Published Version
publication: Astronomy &amp; Astrophysics
publication_identifier:
  eissn:
  - 1432-0746
  issn:
  - 0004-6361
publication_status: published
publisher: EDP Sciences
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Spectral models for binary products: Unifying subdwarfs and Wolf-Rayet stars
  as a sequence of stripped-envelope stars'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 615
year: '2018'
...
---
_id: '14003'
abstract:
- lang: eng
  text: "Molecular chirality plays an essential role in most biochemical processes.
    The observation and quantification of chirality-sensitive signals, however, remains
    extremely challenging, especially on ultrafast timescales and in dilute media.
    Here, we describe the experimental realization of an all-optical and ultrafast
    scheme for detecting chiral dynamics in molecules. This technique is based on
    high-harmonic generation by a combination of two-color counterrotating femtosecond
    laser pulses with polarization states tunable from linear to circular. We demonstrate
    two different implementations of chiral-sensitive high-harmonic spectroscopy on
    an ensemble of randomly oriented methyloxirane molecules in the gas phase. Using
    two elliptically polarized fields, we observe that the ellipticities maximizing
    the harmonic signal reach up to \r\n4.4\r\n±\r\n0.2\r\n%\r\n (at 17.6 eV). Using
    two circularly polarized fields, we observe circular dichroisms ranging up to
    \r\n13\r\n±\r\n6\r\n%\r\n (28.3–33.1 eV). Our theoretical analysis confirms that
    the observed chiral response originates from subfemtosecond electron dynamics
    driven by the magnetic component of the driving laser field. This assignment is
    supported by the experimental observation of a strong intensity dependence of
    the chiral effects and its agreement with theory. We moreover report and explain
    a pronounced variation of the signal strength and dichroism with the driving-field
    ellipticities and harmonic orders. Finally, we demonstrate the sensitivity of
    the experimental observables to the shape of the electron hole. This technique
    for chiral discrimination will yield femtosecond temporal resolution when integrated
    in a pump-probe scheme and subfemtosecond resolution on chiral charge migration
    in a self-probing scheme."
article_number: '031060'
article_processing_charge: No
article_type: original
author:
- first_name: Denitsa Rangelova
  full_name: Baykusheva, Denitsa Rangelova
  id: 71b4d059-2a03-11ee-914d-dfa3beed6530
  last_name: Baykusheva
- first_name: Hans Jakob
  full_name: Wörner, Hans Jakob
  last_name: Wörner
citation:
  ama: Baykusheva DR, Wörner HJ. Chiral discrimination through bielliptical high-harmonic
    spectroscopy. <i>Physical Review X</i>. 2018;8(3). doi:<a href="https://doi.org/10.1103/physrevx.8.031060">10.1103/physrevx.8.031060</a>
  apa: Baykusheva, D. R., &#38; Wörner, H. J. (2018). Chiral discrimination through
    bielliptical high-harmonic spectroscopy. <i>Physical Review X</i>. American Physical
    Society. <a href="https://doi.org/10.1103/physrevx.8.031060">https://doi.org/10.1103/physrevx.8.031060</a>
  chicago: Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination
    through Bielliptical High-Harmonic Spectroscopy.” <i>Physical Review X</i>. American
    Physical Society, 2018. <a href="https://doi.org/10.1103/physrevx.8.031060">https://doi.org/10.1103/physrevx.8.031060</a>.
  ieee: D. R. Baykusheva and H. J. Wörner, “Chiral discrimination through bielliptical
    high-harmonic spectroscopy,” <i>Physical Review X</i>, vol. 8, no. 3. American
    Physical Society, 2018.
  ista: Baykusheva DR, Wörner HJ. 2018. Chiral discrimination through bielliptical
    high-harmonic spectroscopy. Physical Review X. 8(3), 031060.
  mla: Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Chiral Discrimination
    through Bielliptical High-Harmonic Spectroscopy.” <i>Physical Review X</i>, vol.
    8, no. 3, 031060, American Physical Society, 2018, doi:<a href="https://doi.org/10.1103/physrevx.8.031060">10.1103/physrevx.8.031060</a>.
  short: D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).
date_created: 2023-08-10T06:34:48Z
date_published: 2018-07-01T00:00:00Z
date_updated: 2023-08-22T07:42:07Z
day: '01'
doi: 10.1103/physrevx.8.031060
extern: '1'
intvolume: '         8'
issue: '3'
keyword:
- General Physics and Astronomy
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1103/PhysRevX.8.031060
month: '07'
oa: 1
oa_version: Published Version
publication: Physical Review X
publication_identifier:
  eissn:
  - 2160-3308
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Chiral discrimination through bielliptical high-harmonic spectroscopy
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 8
year: '2018'
...
---
_id: '144'
abstract:
- lang: eng
  text: The task of a monitor is to watch, at run-time, the execution of a reactive
    system, and signal the occurrence of a safety violation in the observed sequence
    of events. While finite-state monitors have been studied extensively, in practice,
    monitoring software also makes use of unbounded memory. We define a model of automata
    equipped with integer-valued registers which can execute only a bounded number
    of instructions between consecutive events, and thus can form the theoretical
    basis for the study of infinite-state monitors. We classify these register monitors
    according to the number k of available registers, and the type of register instructions.
    In stark contrast to the theory of computability for register machines, we prove
    that for every k 1, monitors with k + 1 counters (with instruction set 〈+1, =〉)
    are strictly more expressive than monitors with k counters. We also show that
    adder monitors (with instruction set 〈1, +, =〉) are strictly more expressive than
    counter monitors, but are complete for monitoring all computable safety -languages
    for k = 6. Real-time monitors are further required to signal the occurrence of
    a safety violation as soon as it occurs. The expressiveness hierarchy for counter
    monitors carries over to real-time monitors. We then show that 2 adders cannot
    simulate 3 counters in real-time. Finally, we show that real-time adder monitors
    with inequalities are as expressive as real-time Turing machines.
alternative_title:
- ACM/IEEE Symposium on Logic in Computer Science
article_processing_charge: No
author:
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- 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: Ege
  full_name: Saraç, Ege
  last_name: Saraç
citation:
  ama: 'Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part
    F138033. IEEE; 2018:394-403. doi:<a href="https://doi.org/10.1145/3209108.3209194">10.1145/3209108.3209194</a>'
  apa: 'Ferrere, T., Henzinger, T. A., &#38; Saraç, E. (2018). A theory of register
    monitors (Vol. Part F138033, pp. 394–403). Presented at the LICS: Logic in Computer
    Science, Oxford, UK: IEEE. <a href="https://doi.org/10.1145/3209108.3209194">https://doi.org/10.1145/3209108.3209194</a>'
  chicago: Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register
    Monitors,” Part F138033:394–403. IEEE, 2018. <a href="https://doi.org/10.1145/3209108.3209194">https://doi.org/10.1145/3209108.3209194</a>.
  ieee: 'T. Ferrere, T. A. Henzinger, and E. Saraç, “A theory of register monitors,”
    presented at the LICS: Logic in Computer Science, Oxford, UK, 2018, vol. Part
    F138033, pp. 394–403.'
  ista: 'Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS:
    Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol.
    Part F138033, 394–403.'
  mla: Ferrere, Thomas, et al. <i>A Theory of Register Monitors</i>. Vol. Part F138033,
    IEEE, 2018, pp. 394–403, doi:<a href="https://doi.org/10.1145/3209108.3209194">10.1145/3209108.3209194</a>.
  short: T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
conference:
  end_date: 2018-07-12
  location: Oxford, UK
  name: 'LICS: Logic in Computer Science'
  start_date: 2018-07-09
date_created: 2018-12-11T11:44:52Z
date_published: 2018-07-09T00:00:00Z
date_updated: 2023-09-08T11:49:13Z
day: '09'
department:
- _id: ToHe
doi: 10.1145/3209108.3209194
external_id:
  isi:
  - '000545262800041'
isi: 1
language:
- iso: eng
month: '07'
oa_version: None
page: 394 - 403
publication_status: published
publisher: IEEE
publist_id: '7779'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A theory of register monitors
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: Part F138033
year: '2018'
...
---
OA_place: repository
OA_type: green
_id: '19494'
abstract:
- lang: eng
  text: Starting from any given rational-sided, right triangle, for example, the (3,4,5)-triangle
    with area 6, we use Euclidean geometry to show that there are infinitely many
    other rational-sided, right triangles of the same area. We show further that the
    set of all such triangles of a given area is finitely generated under our geometric
    construction. Such areas are known as “congruent numbers” and have a rich history
    in which all the results in this article have been proved and far more. Yet, as
    far as we can tell, this seems to be the first exploration using this kind of
    geometric technique.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Yik Tung
  full_name: Chan, Yik Tung
  id: c4c0afc8-9262-11ed-9231-d8b0bc743af1
  last_name: Chan
  orcid: 0000-0001-8467-4106
citation:
  ama: Chan S. Rational right triangles of a given area. <i>The American Mathematical
    Monthly</i>. 2018;125(8):689-703. doi:<a href="https://doi.org/10.1080/00029890.2018.1495491">10.1080/00029890.2018.1495491</a>
  apa: Chan, S. (2018). Rational right triangles of a given area. <i>The American
    Mathematical Monthly</i>. Taylor &#38; Francis. <a href="https://doi.org/10.1080/00029890.2018.1495491">https://doi.org/10.1080/00029890.2018.1495491</a>
  chicago: Chan, Stephanie. “Rational Right Triangles of a given Area.” <i>The American
    Mathematical Monthly</i>. Taylor &#38; Francis, 2018. <a href="https://doi.org/10.1080/00029890.2018.1495491">https://doi.org/10.1080/00029890.2018.1495491</a>.
  ieee: S. Chan, “Rational right triangles of a given area,” <i>The American Mathematical
    Monthly</i>, vol. 125, no. 8. Taylor &#38; Francis, pp. 689–703, 2018.
  ista: Chan S. 2018. Rational right triangles of a given area. The American Mathematical
    Monthly. 125(8), 689–703.
  mla: Chan, Stephanie. “Rational Right Triangles of a given Area.” <i>The American
    Mathematical Monthly</i>, vol. 125, no. 8, Taylor &#38; Francis, 2018, pp. 689–703,
    doi:<a href="https://doi.org/10.1080/00029890.2018.1495491">10.1080/00029890.2018.1495491</a>.
  short: S. Chan, The American Mathematical Monthly 125 (2018) 689–703.
date_created: 2025-04-05T10:51:16Z
date_published: 2018-09-28T00:00:00Z
date_updated: 2025-07-10T11:51:49Z
day: '28'
doi: 10.1080/00029890.2018.1495491
extern: '1'
external_id:
  arxiv:
  - '1706.05919'
intvolume: '       125'
issue: '8'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.1706.05919
month: '09'
oa: 1
oa_version: Preprint
page: 689-703
publication: The American Mathematical Monthly
publication_identifier:
  eissn:
  - 1930-0972
  issn:
  - 0002-9890
publication_status: published
publisher: Taylor & Francis
quality_controlled: '1'
scopus_import: '1'
status: public
title: Rational right triangles of a given area
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 125
year: '2018'
...
---
_id: '5457'
abstract:
- lang: eng
  text: "We consider the problem of expected cost analysis over nondeterministic probabilistic
    programs, which aims at automated methods for analyzing the resource-usage of
    such programs. Previous approaches for this problem could only handle nonnegative
    bounded costs. However, in many scenarios, such as queuing networks or analysis
    of cryptocurrency protocols, both positive and negative costs are necessary and
    the costs are unbounded as well.\r\n\r\nIn this work, we present a sound and efficient
    approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic
    probabilistic programs. Our approach can handle (a) general positive and negative
    costs with bounded updates in variables; and (b) nonnegative costs with general
    updates to variables. We show that several natural examples which could not be
    handled by previous approaches are captured in our framework.\r\n\r\nMoreover,
    our approach leads to an efficient polynomial-time algorithm, while no previous
    approach for cost analysis of probabilistic programs could guarantee polynomial
    runtime. Finally, we show the effectiveness of our approach by presenting experimental
    results on a variety of programs, motivated by real-world applications, for which
    we efficiently synthesize tight resource-usage bounds."
alternative_title:
- IST Austria Technical Report
author:
- first_name: '1'
  full_name: Anonymous, 1
  last_name: Anonymous
- first_name: '2'
  full_name: Anonymous, 2
  last_name: Anonymous
- first_name: '3'
  full_name: Anonymous, 3
  last_name: Anonymous
- first_name: '4'
  full_name: Anonymous, 4
  last_name: Anonymous
- first_name: '5'
  full_name: Anonymous, 5
  last_name: Anonymous
- first_name: '6'
  full_name: Anonymous, 6
  last_name: Anonymous
citation:
  ama: Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous
    6. <i>Cost Analysis of Nondeterministic Probabilistic Programs</i>. IST Austria;
    2018.
  apa: Anonymous, 1, Anonymous, 2, Anonymous, 3, Anonymous, 4, Anonymous, 5, &#38;
    Anonymous, 6. (2018). <i>Cost analysis of nondeterministic probabilistic programs</i>.
    IST Austria.
  chicago: Anonymous, 1, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6
    Anonymous. <i>Cost Analysis of Nondeterministic Probabilistic Programs</i>. IST
    Austria, 2018.
  ieee: 1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous,
    <i>Cost analysis of nondeterministic probabilistic programs</i>. IST Austria,
    2018.
  ista: Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous
    6. 2018. Cost analysis of nondeterministic probabilistic programs, IST Austria,
    27p.
  mla: Anonymous, 1, et al. <i>Cost Analysis of Nondeterministic Probabilistic Programs</i>.
    IST Austria, 2018.
  short: 1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous,
    Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
corr_author: '1'
date_created: 2018-12-12T11:39:26Z
date_published: 2018-11-11T00:00:00Z
date_updated: 2025-04-15T08:11:42Z
day: '11'
ddc:
- '000'
file:
- access_level: open_access
  checksum: ba3adafd36fe200385ccda583063b9eb
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:53:32Z
  date_updated: 2020-07-14T12:47:00Z
  file_id: '5493'
  file_name: IST-2018-1066-v1+1_techreport.pdf
  file_size: 4202966
  relation: main_file
- access_level: closed
  checksum: 6cf3a19164bb8e5048a9c8c84dfd9fa3
  content_type: text/plain
  creator: dernst
  date_created: 2019-05-10T13:22:12Z
  date_updated: 2020-07-14T12:47:00Z
  file_id: '6402'
  file_name: authors-names.txt
  file_size: 322
  relation: main_file
file_date_updated: 2020-07-14T12:47:00Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: '27'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '1066'
related_material:
  record:
  - id: '6175'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: Cost analysis of nondeterministic probabilistic programs
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '6002'
abstract:
- lang: eng
  text: The Bogoliubov free energy functional is analysed. The functional serves as
    a model of a translation-invariant Bose gas at positive temperature. We prove
    the existence of minimizers in the case of repulsive interactions given by a sufficiently
    regular two-body potential. Furthermore, we prove the existence of a phase transition
    in this model and provide its phase diagram.
article_processing_charge: No
arxiv: 1
author:
- first_name: Marcin M
  full_name: Napiórkowski, Marcin M
  id: 4197AD04-F248-11E8-B48F-1D18A9856A87
  last_name: Napiórkowski
- first_name: Robin
  full_name: Reuvers, Robin
  last_name: Reuvers
- first_name: Jan Philip
  full_name: Solovej, Jan Philip
  last_name: Solovej
citation:
  ama: 'Napiórkowski MM, Reuvers R, Solovej JP. The Bogoliubov free energy functional
    I: Existence of minimizers and phase diagram. <i>Archive for Rational Mechanics
    and Analysis</i>. 2018;229(3):1037-1090. doi:<a href="https://doi.org/10.1007/s00205-018-1232-6">10.1007/s00205-018-1232-6</a>'
  apa: 'Napiórkowski, M. M., Reuvers, R., &#38; Solovej, J. P. (2018). The Bogoliubov
    free energy functional I: Existence of minimizers and phase diagram. <i>Archive
    for Rational Mechanics and Analysis</i>. Springer Nature. <a href="https://doi.org/10.1007/s00205-018-1232-6">https://doi.org/10.1007/s00205-018-1232-6</a>'
  chicago: 'Napiórkowski, Marcin M, Robin Reuvers, and Jan Philip Solovej. “The Bogoliubov
    Free Energy Functional I: Existence of Minimizers and Phase Diagram.” <i>Archive
    for Rational Mechanics and Analysis</i>. Springer Nature, 2018. <a href="https://doi.org/10.1007/s00205-018-1232-6">https://doi.org/10.1007/s00205-018-1232-6</a>.'
  ieee: 'M. M. Napiórkowski, R. Reuvers, and J. P. Solovej, “The Bogoliubov free energy
    functional I: Existence of minimizers and phase diagram,” <i>Archive for Rational
    Mechanics and Analysis</i>, vol. 229, no. 3. Springer Nature, pp. 1037–1090, 2018.'
  ista: 'Napiórkowski MM, Reuvers R, Solovej JP. 2018. The Bogoliubov free energy
    functional I: Existence of minimizers and phase diagram. Archive for Rational
    Mechanics and Analysis. 229(3), 1037–1090.'
  mla: 'Napiórkowski, Marcin M., et al. “The Bogoliubov Free Energy Functional I:
    Existence of Minimizers and Phase Diagram.” <i>Archive for Rational Mechanics
    and Analysis</i>, vol. 229, no. 3, Springer Nature, 2018, pp. 1037–90, doi:<a
    href="https://doi.org/10.1007/s00205-018-1232-6">10.1007/s00205-018-1232-6</a>.'
  short: M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics
    and Analysis 229 (2018) 1037–1090.
date_created: 2019-02-14T13:40:53Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2025-04-15T08:26:15Z
day: '01'
department:
- _id: RoSe
doi: 10.1007/s00205-018-1232-6
external_id:
  arxiv:
  - '1511.05935'
  isi:
  - '000435367300003'
intvolume: '       229'
isi: 1
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1511.05935
month: '09'
oa: 1
oa_version: Preprint
page: 1037-1090
project:
- _id: 25C878CE-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: P27533_N27
  name: Structure of the Excitation Spectrum for Many-Body Quantum Systems
publication: Archive for Rational Mechanics and Analysis
publication_identifier:
  eissn:
  - 1432-0673
  issn:
  - 0003-9527
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'The Bogoliubov free energy functional I: Existence of minimizers and phase
  diagram'
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 229
year: '2018'
...
---
_id: '76'
abstract:
- lang: eng
  text: 'Consider a fully-connected synchronous distributed system consisting of n
    nodes, where up to f nodes may be faulty and every node starts in an arbitrary
    initial state. In the synchronous C-counting problem, all nodes need to eventually
    agree on a counter that is increased by one modulo C in each round for given C&gt;1.
    In the self-stabilising firing squad problem, the task is to eventually guarantee
    that all non-faulty nodes have simultaneous responses to external inputs: if a
    subset of the correct nodes receive an external “go” signal as input, then all
    correct nodes should agree on a round (in the not-too-distant future) in which
    to jointly output a “fire” signal. Moreover, no node should generate a “fire”
    signal without some correct node having previously received a “go” signal as input.
    We present a framework reducing both tasks to binary consensus at very small cost.
    For example, we obtain a deterministic algorithm for self-stabilising Byzantine
    firing squads with optimal resilience f&lt;n/3, asymptotically optimal stabilisation
    and response time O(f), and message size O(log f). As our framework does not restrict
    the type of consensus routines used, we also obtain efficient randomised solutions.'
article_processing_charge: Yes (via OA deal)
author:
- first_name: Christoph
  full_name: Lenzen, Christoph
  last_name: Lenzen
- first_name: Joel
  full_name: Rybicki, Joel
  id: 334EFD2E-F248-11E8-B48F-1D18A9856A87
  last_name: Rybicki
  orcid: 0000-0002-6432-6646
citation:
  ama: Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads.
    <i>Distributed Computing</i>. 2018. doi:<a href="https://doi.org/10.1007/s00446-018-0342-6">10.1007/s00446-018-0342-6</a>
  apa: Lenzen, C., &#38; Rybicki, J. (2018). Near-optimal self-stabilising counting
    and firing squads. <i>Distributed Computing</i>. Springer. <a href="https://doi.org/10.1007/s00446-018-0342-6">https://doi.org/10.1007/s00446-018-0342-6</a>
  chicago: Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting
    and Firing Squads.” <i>Distributed Computing</i>. Springer, 2018. <a href="https://doi.org/10.1007/s00446-018-0342-6">https://doi.org/10.1007/s00446-018-0342-6</a>.
  ieee: C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing
    squads,” <i>Distributed Computing</i>. Springer, 2018.
  ista: Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing
    squads. Distributed Computing.
  mla: Lenzen, Christoph, and Joel Rybicki. “Near-Optimal Self-Stabilising Counting
    and Firing Squads.” <i>Distributed Computing</i>, Springer, 2018, doi:<a href="https://doi.org/10.1007/s00446-018-0342-6">10.1007/s00446-018-0342-6</a>.
  short: C. Lenzen, J. Rybicki, Distributed Computing (2018).
corr_author: '1'
date_created: 2018-12-11T11:44:30Z
date_published: 2018-09-12T00:00:00Z
date_updated: 2025-04-15T06:53:15Z
day: '12'
ddc:
- '000'
department:
- _id: DaAl
doi: 10.1007/s00446-018-0342-6
external_id:
  isi:
  - '000475627800005'
file:
- access_level: open_access
  checksum: 872db70bba9b401500abe3c6ae2f1a61
  content_type: application/pdf
  creator: dernst
  date_created: 2018-12-17T14:21:22Z
  date_updated: 2020-07-14T12:48:01Z
  file_id: '5711'
  file_name: 2018_DistributedComputing_Lenzen.pdf
  file_size: 799337
  relation: main_file
file_date_updated: 2020-07-14T12:48:01Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Distributed Computing
publication_status: published
publisher: Springer
publist_id: '7978'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Near-optimal self-stabilising counting and firing squads
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
year: '2018'
...
---
_id: '7713'
abstract:
- lang: eng
  text: There are mean differences in complex traits among global human populations.
    We hypothesize that part of the phenotypic differentiation is due to natural selection.
    To address this hypothesis, we assess the differentiation in allele frequencies
    of trait-associated SNPs among African, Eastern Asian, and European populations
    for ten complex traits using data of large sample size (up to ~405,000). We show
    that SNPs associated with height (P=2.46×10−5), waist-to-hip ratio (P=2.77×10−4),
    and schizophrenia (P=3.96×10−5) are significantly more differentiated among populations
    than matched “control” SNPs, suggesting that these trait-associated SNPs have
    undergone natural selection. We further find that SNPs associated with height
    (P=2.01×10−6) and schizophrenia (P=5.16×10−18) show significantly higher variance
    in linkage disequilibrium (LD) scores across populations than control SNPs. Our
    results support the hypothesis that natural selection has shaped the genetic differentiation
    of complex traits, such as height and schizophrenia, among worldwide populations.
article_number: '1865'
article_processing_charge: No
article_type: original
author:
- first_name: Jing
  full_name: Guo, Jing
  last_name: Guo
- first_name: Yang
  full_name: Wu, Yang
  last_name: Wu
- first_name: Zhihong
  full_name: Zhu, Zhihong
  last_name: Zhu
- first_name: Zhili
  full_name: Zheng, Zhili
  last_name: Zheng
- first_name: Maciej
  full_name: Trzaskowski, Maciej
  last_name: Trzaskowski
- first_name: Jian
  full_name: Zeng, Jian
  last_name: Zeng
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
- first_name: Peter M.
  full_name: Visscher, Peter M.
  last_name: Visscher
- first_name: Jian
  full_name: Yang, Jian
  last_name: Yang
citation:
  ama: Guo J, Wu Y, Zhu Z, et al. Global genetic differentiation of complex traits
    shaped by natural selection in humans. <i>Nature Communications</i>. 2018;9. doi:<a
    href="https://doi.org/10.1038/s41467-018-04191-y">10.1038/s41467-018-04191-y</a>
  apa: Guo, J., Wu, Y., Zhu, Z., Zheng, Z., Trzaskowski, M., Zeng, J., … Yang, J.
    (2018). Global genetic differentiation of complex traits shaped by natural selection
    in humans. <i>Nature Communications</i>. Springer Nature. <a href="https://doi.org/10.1038/s41467-018-04191-y">https://doi.org/10.1038/s41467-018-04191-y</a>
  chicago: Guo, Jing, Yang Wu, Zhihong Zhu, Zhili Zheng, Maciej Trzaskowski, Jian
    Zeng, Matthew Richard Robinson, Peter M. Visscher, and Jian Yang. “Global Genetic
    Differentiation of Complex Traits Shaped by Natural Selection in Humans.” <i>Nature
    Communications</i>. Springer Nature, 2018. <a href="https://doi.org/10.1038/s41467-018-04191-y">https://doi.org/10.1038/s41467-018-04191-y</a>.
  ieee: J. Guo <i>et al.</i>, “Global genetic differentiation of complex traits shaped
    by natural selection in humans,” <i>Nature Communications</i>, vol. 9. Springer
    Nature, 2018.
  ista: Guo J, Wu Y, Zhu Z, Zheng Z, Trzaskowski M, Zeng J, Robinson MR, Visscher
    PM, Yang J. 2018. Global genetic differentiation of complex traits shaped by natural
    selection in humans. Nature Communications. 9, 1865.
  mla: Guo, Jing, et al. “Global Genetic Differentiation of Complex Traits Shaped
    by Natural Selection in Humans.” <i>Nature Communications</i>, vol. 9, 1865, Springer
    Nature, 2018, doi:<a href="https://doi.org/10.1038/s41467-018-04191-y">10.1038/s41467-018-04191-y</a>.
  short: J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson,
    P.M. Visscher, J. Yang, Nature Communications 9 (2018).
date_created: 2020-04-30T10:41:36Z
date_published: 2018-05-14T00:00:00Z
date_updated: 2021-01-12T08:15:02Z
day: '14'
doi: 10.1038/s41467-018-04191-y
extern: '1'
intvolume: '         9'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/s41467-018-04191-y
month: '05'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
  issn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Global genetic differentiation of complex traits shaped by natural selection
  in humans
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2018'
...
---
_id: '7716'
abstract:
- lang: eng
  text: Genomic prediction has the potential to contribute to precision medicine.
    However, to date, the utility of such predictors is limited due to low accuracy
    for most traits. Here theory and simulation study are used to demonstrate that
    widespread pleiotropy among phenotypes can be utilised to improve genomic risk
    prediction. We show how a genetic predictor can be created as a weighted index
    that combines published genome-wide association study (GWAS) summary statistics
    across many different traits. We apply this framework to predict risk of schizophrenia
    and bipolar disorder in the Psychiatric Genomics consortium data, finding substantial
    heterogeneity in prediction accuracy increases across cohorts. For six additional
    phenotypes in the UK Biobank data, we find increases in prediction accuracy ranging
    from 0.7% for height to 47% for type 2 diabetes, when using a multi-trait predictor
    that combines published summary statistics from multiple traits, as compared to
    a predictor based only on one trait.
article_number: '989'
article_processing_charge: No
article_type: original
author:
- first_name: Robert M.
  full_name: Maier, Robert M.
  last_name: Maier
- first_name: Zhihong
  full_name: Zhu, Zhihong
  last_name: Zhu
- first_name: Sang Hong
  full_name: Lee, Sang Hong
  last_name: Lee
- first_name: Maciej
  full_name: Trzaskowski, Maciej
  last_name: Trzaskowski
- first_name: Douglas M.
  full_name: Ruderfer, Douglas M.
  last_name: Ruderfer
- first_name: Eli A.
  full_name: Stahl, Eli A.
  last_name: Stahl
- first_name: Stephan
  full_name: Ripke, Stephan
  last_name: Ripke
- first_name: Naomi R.
  full_name: Wray, Naomi R.
  last_name: Wray
- first_name: Jian
  full_name: Yang, Jian
  last_name: Yang
- first_name: Peter M.
  full_name: Visscher, Peter M.
  last_name: Visscher
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
citation:
  ama: Maier RM, Zhu Z, Lee SH, et al. Improving genetic prediction by leveraging
    genetic correlations among human diseases and traits. <i>Nature Communications</i>.
    2018;9. doi:<a href="https://doi.org/10.1038/s41467-017-02769-6">10.1038/s41467-017-02769-6</a>
  apa: Maier, R. M., Zhu, Z., Lee, S. H., Trzaskowski, M., Ruderfer, D. M., Stahl,
    E. A., … Robinson, M. R. (2018). Improving genetic prediction by leveraging genetic
    correlations among human diseases and traits. <i>Nature Communications</i>. Springer
    Nature. <a href="https://doi.org/10.1038/s41467-017-02769-6">https://doi.org/10.1038/s41467-017-02769-6</a>
  chicago: Maier, Robert M., Zhihong Zhu, Sang Hong Lee, Maciej Trzaskowski, Douglas
    M. Ruderfer, Eli A. Stahl, Stephan Ripke, et al. “Improving Genetic Prediction
    by Leveraging Genetic Correlations among Human Diseases and Traits.” <i>Nature
    Communications</i>. Springer Nature, 2018. <a href="https://doi.org/10.1038/s41467-017-02769-6">https://doi.org/10.1038/s41467-017-02769-6</a>.
  ieee: R. M. Maier <i>et al.</i>, “Improving genetic prediction by leveraging genetic
    correlations among human diseases and traits,” <i>Nature Communications</i>, vol.
    9. Springer Nature, 2018.
  ista: Maier RM, Zhu Z, Lee SH, Trzaskowski M, Ruderfer DM, Stahl EA, Ripke S, Wray
    NR, Yang J, Visscher PM, Robinson MR. 2018. Improving genetic prediction by leveraging
    genetic correlations among human diseases and traits. Nature Communications. 9,
    989.
  mla: Maier, Robert M., et al. “Improving Genetic Prediction by Leveraging Genetic
    Correlations among Human Diseases and Traits.” <i>Nature Communications</i>, vol.
    9, 989, Springer Nature, 2018, doi:<a href="https://doi.org/10.1038/s41467-017-02769-6">10.1038/s41467-017-02769-6</a>.
  short: R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl,
    S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications
    9 (2018).
date_created: 2020-04-30T10:42:29Z
date_published: 2018-03-07T00:00:00Z
date_updated: 2021-01-12T08:15:03Z
day: '07'
doi: 10.1038/s41467-017-02769-6
extern: '1'
intvolume: '         9'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1038/s41467-017-02769-6
month: '03'
oa: 1
oa_version: Published Version
publication: Nature Communications
publication_identifier:
  issn:
  - 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Improving genetic prediction by leveraging genetic correlations among human
  diseases and traits
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 9
year: '2018'
...
---
_id: '7722'
abstract:
- lang: eng
  text: We develop a Bayesian mixed linear model that simultaneously estimates single-nucleotide
    polymorphism (SNP)-based heritability, polygenicity (proportion of SNPs with nonzero
    effects), and the relationship between SNP effect size and minor allele frequency
    for complex traits in conventionally unrelated individuals using genome-wide SNP
    data. We apply the method to 28 complex traits in the UK Biobank data (N = 126,752)
    and show that on average, 6% of SNPs have nonzero effects, which in total explain
    22% of phenotypic variance. We detect significant (P < 0.05/28) signatures of
    natural selection in the genetic architecture of 23 traits, including reproductive,
    cardiovascular, and anthropometric traits, as well as educational attainment.
    The significant estimates of the relationship between effect size and minor allele
    frequency in complex traits are consistent with a model of negative (or purifying)
    selection, as confirmed by forward simulation. We conclude that negative selection
    acts pervasively on the genetic variants associated with human complex traits.
article_processing_charge: No
article_type: original
author:
- first_name: Jian
  full_name: Zeng, Jian
  last_name: Zeng
- first_name: Ronald
  full_name: de Vlaming, Ronald
  last_name: de Vlaming
- first_name: Yang
  full_name: Wu, Yang
  last_name: Wu
- first_name: Matthew Richard
  full_name: Robinson, Matthew Richard
  id: E5D42276-F5DA-11E9-8E24-6303E6697425
  last_name: Robinson
  orcid: 0000-0001-8982-8813
- first_name: Luke R.
  full_name: Lloyd-Jones, Luke R.
  last_name: Lloyd-Jones
- first_name: Loic
  full_name: Yengo, Loic
  last_name: Yengo
- first_name: Chloe X.
  full_name: Yap, Chloe X.
  last_name: Yap
- first_name: Angli
  full_name: Xue, Angli
  last_name: Xue
- first_name: Julia
  full_name: Sidorenko, Julia
  last_name: Sidorenko
- first_name: Allan F.
  full_name: McRae, Allan F.
  last_name: McRae
- first_name: Joseph E.
  full_name: Powell, Joseph E.
  last_name: Powell
- first_name: Grant W.
  full_name: Montgomery, Grant W.
  last_name: Montgomery
- first_name: Andres
  full_name: Metspalu, Andres
  last_name: Metspalu
- first_name: Tonu
  full_name: Esko, Tonu
  last_name: Esko
- first_name: Greg
  full_name: Gibson, Greg
  last_name: Gibson
- first_name: Naomi R.
  full_name: Wray, Naomi R.
  last_name: Wray
- first_name: Peter M.
  full_name: Visscher, Peter M.
  last_name: Visscher
- first_name: Jian
  full_name: Yang, Jian
  last_name: Yang
citation:
  ama: Zeng J, de Vlaming R, Wu Y, et al. Signatures of negative selection in the
    genetic architecture of human complex traits. <i>Nature Genetics</i>. 2018;50(5):746-753.
    doi:<a href="https://doi.org/10.1038/s41588-018-0101-4">10.1038/s41588-018-0101-4</a>
  apa: Zeng, J., de Vlaming, R., Wu, Y., Robinson, M. R., Lloyd-Jones, L. R., Yengo,
    L., … Yang, J. (2018). Signatures of negative selection in the genetic architecture
    of human complex traits. <i>Nature Genetics</i>. Springer Nature. <a href="https://doi.org/10.1038/s41588-018-0101-4">https://doi.org/10.1038/s41588-018-0101-4</a>
  chicago: Zeng, Jian, Ronald de Vlaming, Yang Wu, Matthew Richard Robinson, Luke
    R. Lloyd-Jones, Loic Yengo, Chloe X. Yap, et al. “Signatures of Negative Selection
    in the Genetic Architecture of Human Complex Traits.” <i>Nature Genetics</i>.
    Springer Nature, 2018. <a href="https://doi.org/10.1038/s41588-018-0101-4">https://doi.org/10.1038/s41588-018-0101-4</a>.
  ieee: J. Zeng <i>et al.</i>, “Signatures of negative selection in the genetic architecture
    of human complex traits,” <i>Nature Genetics</i>, vol. 50, no. 5. Springer Nature,
    pp. 746–753, 2018.
  ista: Zeng J, de Vlaming R, Wu Y, Robinson MR, Lloyd-Jones LR, Yengo L, Yap CX,
    Xue A, Sidorenko J, McRae AF, Powell JE, Montgomery GW, Metspalu A, Esko T, Gibson
    G, Wray NR, Visscher PM, Yang J. 2018. Signatures of negative selection in the
    genetic architecture of human complex traits. Nature Genetics. 50(5), 746–753.
  mla: Zeng, Jian, et al. “Signatures of Negative Selection in the Genetic Architecture
    of Human Complex Traits.” <i>Nature Genetics</i>, vol. 50, no. 5, Springer Nature,
    2018, pp. 746–53, doi:<a href="https://doi.org/10.1038/s41588-018-0101-4">10.1038/s41588-018-0101-4</a>.
  short: J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo,
    C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu,
    T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018)
    746–753.
date_created: 2020-04-30T10:44:57Z
date_published: 2018-04-16T00:00:00Z
date_updated: 2021-01-12T08:15:06Z
day: '16'
doi: 10.1038/s41588-018-0101-4
extern: '1'
intvolume: '        50'
issue: '5'
language:
- iso: eng
month: '04'
oa_version: None
page: 746-753
publication: Nature Genetics
publication_identifier:
  issn:
  - 1061-4036
  - 1546-1718
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
status: public
title: Signatures of negative selection in the genetic architecture of human complex
  traits
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 50
year: '2018'
...
---
_id: '78'
abstract:
- lang: eng
  text: We provide a procedure for detecting the sub-segments of an incrementally
    observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern
    specification language, we use timed regular expressions, a formalism well-suited
    for expressing properties of concurrent asynchronous behaviors embedded in metric
    time. We construct a timed automaton accepting the timed language denoted by ϕ
    and modify it slightly for the purpose of matching. We then apply zone-based reachability
    computation to this automaton while it reads ω, and retrieve all the matching
    segments from the results. Since the procedure is automaton based, it can be applied
    to patterns specified by other formalisms such as timed temporal logics reducible
    to timed automata or directly encoded as timed automata. The procedure has been
    implemented and its performance on synthetic examples is demonstrated.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Alexey
  full_name: Bakhirkin, Alexey
  last_name: Bakhirkin
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Dejan
  full_name: Nickovic, Dejan
  last_name: Nickovic
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
- first_name: Eugene
  full_name: Asarin, Eugene
  last_name: Asarin
citation:
  ama: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. Online timed pattern
    matching using automata. In: Vol 11022. Springer; 2018:215-232. doi:<a href="https://doi.org/10.1007/978-3-030-00151-3_13">10.1007/978-3-030-00151-3_13</a>'
  apa: 'Bakhirkin, A., Ferrere, T., Nickovic, D., Maler, O., &#38; Asarin, E. (2018).
    Online timed pattern matching using automata (Vol. 11022, pp. 215–232). Presented
    at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China:
    Springer. <a href="https://doi.org/10.1007/978-3-030-00151-3_13">https://doi.org/10.1007/978-3-030-00151-3_13</a>'
  chicago: Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene
    Asarin. “Online Timed Pattern Matching Using Automata,” 11022:215–32. Springer,
    2018. <a href="https://doi.org/10.1007/978-3-030-00151-3_13">https://doi.org/10.1007/978-3-030-00151-3_13</a>.
  ieee: 'A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed
    pattern matching using automata,” presented at the FORMATS: Formal Modeling and
    Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.'
  ista: 'Bakhirkin A, Ferrere T, Nickovic D, Maler O, Asarin E. 2018. Online timed
    pattern matching using automata. FORMATS: Formal Modeling and Analysis of Timed
    Systems, LNCS, vol. 11022, 215–232.'
  mla: Bakhirkin, Alexey, et al. <i>Online Timed Pattern Matching Using Automata</i>.
    Vol. 11022, Springer, 2018, pp. 215–32, doi:<a href="https://doi.org/10.1007/978-3-030-00151-3_13">10.1007/978-3-030-00151-3_13</a>.
  short: A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer,
    2018, pp. 215–232.
conference:
  end_date: 2018-09-06
  location: Bejing, China
  name: 'FORMATS: Formal Modeling and Analysis of Timed Systems'
  start_date: 2018-09-04
date_created: 2018-12-11T11:44:31Z
date_published: 2018-08-26T00:00:00Z
date_updated: 2025-04-15T06:26:03Z
day: '26'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-00151-3_13
external_id:
  isi:
  - '000884993200013'
file:
- access_level: open_access
  checksum: 436b7574934324cfa7d1d3986fddc65b
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-14T11:34:34Z
  date_updated: 2020-07-14T12:48:03Z
  file_id: '7831'
  file_name: 2018_LNCS_Bakhirkin.pdf
  file_size: 374851
  relation: main_file
file_date_updated: 2020-07-14T12:48:03Z
has_accepted_license: '1'
intvolume: '     11022'
isi: 1
language:
- iso: eng
month: '08'
oa: 1
oa_version: Submitted Version
page: 215 - 232
project:
- _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
publication_identifier:
  isbn:
  - 978-3-030-00150-6
publication_status: published
publisher: Springer
publist_id: '7976'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Online timed pattern matching using automata
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 11022
year: '2018'
...
---
_id: '692'
abstract:
- lang: eng
  text: We consider families of confocal conics and two pencils of Apollonian circles
    having the same foci. We will show that these families of curves generate trivial
    3-webs and find the exact formulas describing them.
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Arseniy
  full_name: Akopyan, Arseniy
  id: 430D2C90-F248-11E8-B48F-1D18A9856A87
  last_name: Akopyan
  orcid: 0000-0002-2548-617X
citation:
  ama: Akopyan A. 3-Webs generated by confocal conics and circles. <i>Geometriae Dedicata</i>.
    2018;194(1):55-64. doi:<a href="https://doi.org/10.1007/s10711-017-0265-6">10.1007/s10711-017-0265-6</a>
  apa: Akopyan, A. (2018). 3-Webs generated by confocal conics and circles. <i>Geometriae
    Dedicata</i>. Springer. <a href="https://doi.org/10.1007/s10711-017-0265-6">https://doi.org/10.1007/s10711-017-0265-6</a>
  chicago: Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” <i>Geometriae
    Dedicata</i>. Springer, 2018. <a href="https://doi.org/10.1007/s10711-017-0265-6">https://doi.org/10.1007/s10711-017-0265-6</a>.
  ieee: A. Akopyan, “3-Webs generated by confocal conics and circles,” <i>Geometriae
    Dedicata</i>, vol. 194, no. 1. Springer, pp. 55–64, 2018.
  ista: Akopyan A. 2018. 3-Webs generated by confocal conics and circles. Geometriae
    Dedicata. 194(1), 55–64.
  mla: Akopyan, Arseniy. “3-Webs Generated by Confocal Conics and Circles.” <i>Geometriae
    Dedicata</i>, vol. 194, no. 1, Springer, 2018, pp. 55–64, doi:<a href="https://doi.org/10.1007/s10711-017-0265-6">10.1007/s10711-017-0265-6</a>.
  short: A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
corr_author: '1'
date_created: 2018-12-11T11:47:57Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2025-04-15T06:50:29Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1007/s10711-017-0265-6
ec_funded: 1
external_id:
  isi:
  - '000431418800004'
file:
- access_level: open_access
  checksum: 1febcfc1266486053a069e3425ea3713
  content_type: application/pdf
  creator: kschuh
  date_created: 2020-01-03T11:35:08Z
  date_updated: 2020-07-14T12:47:44Z
  file_id: '7222'
  file_name: 2018_Springer_Akopyan.pdf
  file_size: 1140860
  relation: main_file
file_date_updated: 2020-07-14T12:47:44Z
has_accepted_license: '1'
intvolume: '       194'
isi: 1
issue: '1'
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
page: 55 - 64
project:
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication: Geometriae Dedicata
publication_status: published
publisher: Springer
publist_id: '7014'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 3-Webs generated by confocal conics and circles
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 194
year: '2018'
...
---
_id: '397'
abstract:
- lang: eng
  text: 'Concurrent sets with range query operations are highly desirable in applications
    such as in-memory databases. However, few set implementations offer range queries.
    Known techniques for augmenting data structures with range queries (or operations
    that can be used to build range queries) have numerous problems that limit their
    usefulness. For example, they impose high overhead or rely heavily on garbage
    collection. In this work, we show how to augment data structures with highly efficient
    range queries, without relying on garbage collection. We identify a property of
    epoch-based memory reclamation algorithms that makes them ideal for implementing
    range queries, and produce three algorithms, which use locks, transactional memory
    and lock-free techniques, respectively. Our algorithms are applicable to more
    data structures than previous work, and are shown to be highly efficient on a
    large scale Intel system. '
alternative_title:
- PPoPP
article_processing_charge: No
author:
- first_name: Maya
  full_name: Arbel Raviv, Maya
  last_name: Arbel Raviv
- first_name: Trevor A
  full_name: Brown, Trevor A
  id: 3569F0A0-F248-11E8-B48F-1D18A9856A87
  last_name: Brown
citation:
  ama: 'Arbel Raviv M, Brown TA. Harnessing epoch-based reclamation for efficient
    range queries. In: Vol 53. ACM; 2018:14-27. doi:<a href="https://doi.org/10.1145/3178487.3178489">10.1145/3178487.3178489</a>'
  apa: 'Arbel Raviv, M., &#38; Brown, T. A. (2018). Harnessing epoch-based reclamation
    for efficient range queries (Vol. 53, pp. 14–27). Presented at the PPoPP: Principles
    and Practice of Parallel Programming, Vienna, Austria: ACM. <a href="https://doi.org/10.1145/3178487.3178489">https://doi.org/10.1145/3178487.3178489</a>'
  chicago: Arbel Raviv, Maya, and Trevor A Brown. “Harnessing Epoch-Based Reclamation
    for Efficient Range Queries,” 53:14–27. ACM, 2018. <a href="https://doi.org/10.1145/3178487.3178489">https://doi.org/10.1145/3178487.3178489</a>.
  ieee: 'M. Arbel Raviv and T. A. Brown, “Harnessing epoch-based reclamation for efficient
    range queries,” presented at the PPoPP: Principles and Practice of Parallel Programming,
    Vienna, Austria, 2018, vol. 53, no. 1, pp. 14–27.'
  ista: 'Arbel Raviv M, Brown TA. 2018. Harnessing epoch-based reclamation for efficient
    range queries. PPoPP: Principles and Practice of Parallel Programming, PPoPP,
    vol. 53, 14–27.'
  mla: Arbel Raviv, Maya, and Trevor A. Brown. <i>Harnessing Epoch-Based Reclamation
    for Efficient Range Queries</i>. Vol. 53, no. 1, ACM, 2018, pp. 14–27, doi:<a
    href="https://doi.org/10.1145/3178487.3178489">10.1145/3178487.3178489</a>.
  short: M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
conference:
  end_date: 2018-02-28
  location: Vienna, Austria
  name: 'PPoPP: Principles and Practice of Parallel Programming'
  start_date: 2018-02-24
date_created: 2018-12-11T11:46:14Z
date_published: 2018-02-10T00:00:00Z
date_updated: 2023-09-11T14:10:25Z
day: '10'
department:
- _id: DaAl
doi: 10.1145/3178487.3178489
external_id:
  isi:
  - '000446161100002'
intvolume: '        53'
isi: 1
issue: '1'
language:
- iso: eng
month: '02'
oa_version: None
page: 14 - 27
publication_identifier:
  isbn:
  - 978-1-4503-4982-6
publication_status: published
publisher: ACM
publist_id: '7430'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Harnessing epoch-based reclamation for efficient range queries
type: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 53
year: '2018'
...
---
_id: '407'
abstract:
- lang: eng
  text: Isoprenoid cytokinins play a number of crucial roles in the regulation of
    plant growth and development. To study cytokinin receptor properties in plants,
    we designed and prepared fluorescent derivatives of 6-[(3-methylbut-2-en-1-yl)amino]purine
    (N6-isopentenyladenine, iP) with several fluorescent labels attached to the C2
    or N9 atom of the purine moiety via a 2- or 6-carbon linker. The fluorescent labels
    included dansyl (DS), fluorescein (FC), 7-nitrobenzofurazan (NBD), rhodamine B
    (RhoB), coumarin (Cou), 7-(diethylamino)coumarin (DEAC) and cyanine 5 dye (Cy5).
    All prepared compounds were screened for affinity for the Arabidopsis thaliana
    cytokinin receptor (CRE1/AHK4). Although the attachment of the fluorescent labels
    to iP via the linkers mostly disrupted binding to the receptor, several fluorescent
    derivatives interacted well. For this reason, three derivatives, two rhodamine
    B and one 4-chloro-7-nitrobenzofurazan labeled iP were tested for their interaction
    with CRE1/AHK4 and Zea mays cytokinin receptors in detail. We further showed that
    the three derivatives were able to activate transcription of cytokinin response
    regulator ARR5 in Arabidopsis seedlings. The activity of fluorescently labeled
    cytokinins was compared with corresponding 6-dimethylaminopurine fluorescently
    labeled negative controls. Selected rhodamine B C2-labeled compounds 17, 18 and
    4-chloro-7-nitrobenzofurazan N9-labeled compound 28 and their respective negative
    controls (19, 20 and 29, respectively) were used for in planta staining experiments
    in Arabidopsis thaliana cell suspension culture using live cell confocal microscopy.
acknowledgement: "This work was supported by the Ministry of Education Youth and Sports,
  Czech Republic (grant LO1204 from the National Program of Sustainability I and Agricultural
  Research ) and by Czech Science Foundation grants 16-04184S , 501/10/1450 and 13-39982S
  and by IGA projects IGA_PrF_2018_033 and IGA_PrF_2018_023 . We would like to thank
  Jarmila Balonová, Olga Hustáková and Miroslava Šubová for their skillful technical
  assistance and Mgr. Tomáš Pospíšil, Ph.D. for his measurement of 1 H NMR and analysis
  of some 2D NMR spectral data. \r\n"
article_processing_charge: No
author:
- first_name: Karolina
  full_name: Kubiasová, Karolina
  last_name: Kubiasová
- first_name: Václav
  full_name: Mik, Václav
  last_name: Mik
- first_name: Jaroslav
  full_name: Nisler, Jaroslav
  last_name: Nisler
- first_name: Martin
  full_name: Hönig, Martin
  last_name: Hönig
- first_name: Alexandra
  full_name: Husičková, Alexandra
  last_name: Husičková
- first_name: Lukáš
  full_name: Spíchal, Lukáš
  last_name: Spíchal
- first_name: Zuzana
  full_name: Pěkná, Zuzana
  last_name: Pěkná
- first_name: Olga
  full_name: Šamajová, Olga
  last_name: Šamajová
- first_name: Karel
  full_name: Doležal, Karel
  last_name: Doležal
- first_name: Ondřej
  full_name: Plíhal, Ondřej
  last_name: Plíhal
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Miroslav
  full_name: Strnad, Miroslav
  last_name: Strnad
- first_name: Lucie
  full_name: Plíhalová, Lucie
  last_name: Plíhalová
citation:
  ama: Kubiasová K, Mik V, Nisler J, et al. Design, synthesis and perception of fluorescently
    labeled isoprenoid cytokinins. <i>Phytochemistry</i>. 2018;150:1-11. doi:<a href="https://doi.org/10.1016/j.phytochem.2018.02.015">10.1016/j.phytochem.2018.02.015</a>
  apa: Kubiasová, K., Mik, V., Nisler, J., Hönig, M., Husičková, A., Spíchal, L.,
    … Plíhalová, L. (2018). Design, synthesis and perception of fluorescently labeled
    isoprenoid cytokinins. <i>Phytochemistry</i>. Elsevier. <a href="https://doi.org/10.1016/j.phytochem.2018.02.015">https://doi.org/10.1016/j.phytochem.2018.02.015</a>
  chicago: Kubiasová, Karolina, Václav Mik, Jaroslav Nisler, Martin Hönig, Alexandra
    Husičková, Lukáš Spíchal, Zuzana Pěkná, et al. “Design, Synthesis and Perception
    of Fluorescently Labeled Isoprenoid Cytokinins.” <i>Phytochemistry</i>. Elsevier,
    2018. <a href="https://doi.org/10.1016/j.phytochem.2018.02.015">https://doi.org/10.1016/j.phytochem.2018.02.015</a>.
  ieee: K. Kubiasová <i>et al.</i>, “Design, synthesis and perception of fluorescently
    labeled isoprenoid cytokinins,” <i>Phytochemistry</i>, vol. 150. Elsevier, pp.
    1–11, 2018.
  ista: Kubiasová K, Mik V, Nisler J, Hönig M, Husičková A, Spíchal L, Pěkná Z, Šamajová
    O, Doležal K, Plíhal O, Benková E, Strnad M, Plíhalová L. 2018. Design, synthesis
    and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry.
    150, 1–11.
  mla: Kubiasová, Karolina, et al. “Design, Synthesis and Perception of Fluorescently
    Labeled Isoprenoid Cytokinins.” <i>Phytochemistry</i>, vol. 150, Elsevier, 2018,
    pp. 1–11, doi:<a href="https://doi.org/10.1016/j.phytochem.2018.02.015">10.1016/j.phytochem.2018.02.015</a>.
  short: K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná,
    O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry
    150 (2018) 1–11.
date_created: 2018-12-11T11:46:18Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-11T12:53:11Z
day: '01'
department:
- _id: EvBe
doi: 10.1016/j.phytochem.2018.02.015
external_id:
  isi:
  - '000435623400001'
intvolume: '       150'
isi: 1
language:
- iso: eng
month: '06'
oa_version: None
page: 1-11
publication: Phytochemistry
publication_status: published
publisher: Elsevier
publist_id: '7422'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 150
year: '2018'
...
---
_id: '410'
abstract:
- lang: eng
  text: Lesion verification and quantification is traditionally done via histological
    examination of sectioned brains, a time-consuming process that relies heavily
    on manual estimation. Such methods are particularly problematic in posterior cortical
    regions (e.g. visual cortex), where sectioning leads to significant damage and
    distortion of tissue. Even more challenging is the post hoc localization of micro-electrodes,
    which relies on the same techniques, suffers from similar drawbacks and requires
    even higher precision. Here, we propose a new, simple method for quantitative
    lesion characterization and electrode localization that is less labor-intensive
    and yields more detailed results than conventional methods. We leverage staining
    techniques standard in electron microscopy with the use of commodity micro-CT
    imaging. We stain whole rat and zebra finch brains in osmium tetroxide, embed
    these in resin and scan entire brains in a micro-CT machine. The scans result
    in 3D reconstructions of the brains with section thickness dependent on sample
    size (12–15 and 5–6 microns for rat and zebra finch respectively) that can be
    segmented manually or automatically. Because the method captures the entire intact
    brain volume, comparisons within and across studies are more tractable, and the
    extent of lesions and electrodes may be studied with higher accuracy than with
    current methods.
article_number: '5184'
article_processing_charge: No
author:
- first_name: Javier
  full_name: Masís, Javier
  last_name: Masís
- first_name: David
  full_name: Mankus, David
  last_name: Mankus
- first_name: Steffen
  full_name: Wolff, Steffen
  last_name: Wolff
- first_name: Grigori
  full_name: Guitchounts, Grigori
  last_name: Guitchounts
- first_name: Maximilian A
  full_name: Jösch, Maximilian A
  id: 2BD278E6-F248-11E8-B48F-1D18A9856A87
  last_name: Jösch
  orcid: 0000-0002-3937-1330
- first_name: David
  full_name: Cox, David
  last_name: Cox
citation:
  ama: Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based
    method for quantitative brain lesion characterization and electrode localization.
    <i>Scientific Reports</i>. 2018;8(1). doi:<a href="https://doi.org/10.1038/s41598-018-23247-z">10.1038/s41598-018-23247-z</a>
  apa: Masís, J., Mankus, D., Wolff, S., Guitchounts, G., Jösch, M. A., &#38; Cox,
    D. (2018). A micro-CT-based method for quantitative brain lesion characterization
    and electrode localization. <i>Scientific Reports</i>. Nature Publishing Group.
    <a href="https://doi.org/10.1038/s41598-018-23247-z">https://doi.org/10.1038/s41598-018-23247-z</a>
  chicago: Masís, Javier, David Mankus, Steffen Wolff, Grigori Guitchounts, Maximilian
    A Jösch, and David Cox. “A Micro-CT-Based Method for Quantitative Brain Lesion
    Characterization and Electrode Localization.” <i>Scientific Reports</i>. Nature
    Publishing Group, 2018. <a href="https://doi.org/10.1038/s41598-018-23247-z">https://doi.org/10.1038/s41598-018-23247-z</a>.
  ieee: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A
    micro-CT-based method for quantitative brain lesion characterization and electrode
    localization,” <i>Scientific Reports</i>, vol. 8, no. 1. Nature Publishing Group,
    2018.
  ista: Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. 2018. A micro-CT-based
    method for quantitative brain lesion characterization and electrode localization.
    Scientific Reports. 8(1), 5184.
  mla: Masís, Javier, et al. “A Micro-CT-Based Method for Quantitative Brain Lesion
    Characterization and Electrode Localization.” <i>Scientific Reports</i>, vol.
    8, no. 1, 5184, Nature Publishing Group, 2018, doi:<a href="https://doi.org/10.1038/s41598-018-23247-z">10.1038/s41598-018-23247-z</a>.
  short: J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific
    Reports 8 (2018).
date_created: 2018-12-11T11:46:19Z
date_published: 2018-03-26T00:00:00Z
date_updated: 2023-09-08T11:48:39Z
day: '26'
ddc:
- '571'
- '572'
department:
- _id: MaJö
doi: 10.1038/s41598-018-23247-z
external_id:
  isi:
  - '000428234100005'
file:
- access_level: open_access
  checksum: 653fcb852f899c75b00ceee2a670d738
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:10:42Z
  date_updated: 2020-07-14T12:46:23Z
  file_id: '4831'
  file_name: IST-2018-994-v1+1_2018_Joesch_A-micro-CT-based.pdf
  file_size: 2359430
  relation: main_file
file_date_updated: 2020-07-14T12:46:23Z
has_accepted_license: '1'
intvolume: '         8'
isi: 1
issue: '1'
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
publication: Scientific Reports
publication_status: published
publisher: Nature Publishing Group
publist_id: '7419'
pubrep_id: '994'
quality_controlled: '1'
scopus_import: '1'
status: public
title: A micro-CT-based method for quantitative brain lesion characterization and
  electrode localization
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: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 8
year: '2018'
...
---
_id: '17679'
abstract:
- lang: eng
  text: We study low-density axisymmetric accretion flows onto black holes (BHs) with
    two-dimensional hydrodynamical simulations, adopting the α-viscosity prescription.
    When the gas angular momentum is low enough to form a rotationally supported disk
    within the Bondi radius (RB), we find a global steady accretion solution. The
    solution consists of a rotational equilibrium distribution at r∼RB, where the
    density follows ρ∝(1+RB/r)^3/2, surrounding a geometrically thick and optically
    thin accretion disk at the centrifugal radius, where thermal energy generated
    by viscosity is transported via strong convection. Physical properties of the
    inner solution agree with those expected in convection-dominated accretion flows
    (CDAF; ρ∝r^−1/2). In the inner CDAF solution, the gas inflow rate decreases towards
    the center due to convection (M˙∝r), and the net accretion rate (including both
    inflows and outflows) is strongly suppressed by several orders of magnitude from
    the Bondi accretion rate M˙B The net accretion rate depends on the viscous strength,
    following M˙/M˙B∝(α/0.01)^0.6. This solution holds for low accretion rates of
    M˙B/M˙Edd<10^−3 having minimal radiation cooling, where M˙Edd is the Eddington
    rate. In a hot plasma at the bottom (r<10^−3 RB), thermal conduction would dominate
    the convective energy flux. Since suppression of the accretion by convection ceases,
    the final BH feeding rate is found to be M˙/M˙B∼10^−3−10^−2. This rate is as low
    as M˙/M˙Edd∼10^−7−10^−6 inferred for SgrA∗ and the nuclear BHs in M31 and M87,
    and can explain the low luminosities in these sources, without invoking any feedback
    mechanism.
article_processing_charge: No
article_type: original
author:
- first_name: Kohei
  full_name: Inayoshi, Kohei
  last_name: Inayoshi
- first_name: Jeremiah P
  full_name: Ostriker, Jeremiah P
  last_name: Ostriker
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Rolf
  full_name: Kuiper, Rolf
  last_name: Kuiper
citation:
  ama: Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. Low-density, radiatively inefficient
    rotating-accretion flow on to a black hole. <i>Monthly Notices of the Royal Astronomical
    Society</i>. 2018;476(1):1412-1426. doi:<a href="https://doi.org/10.1093/mnras/sty276">10.1093/mnras/sty276</a>
  apa: Inayoshi, K., Ostriker, J. P., Haiman, Z., &#38; Kuiper, R. (2018). Low-density,
    radiatively inefficient rotating-accretion flow on to a black hole. <i>Monthly
    Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/sty276">https://doi.org/10.1093/mnras/sty276</a>
  chicago: Inayoshi, Kohei, Jeremiah P Ostriker, Zoltán Haiman, and Rolf Kuiper. “Low-Density,
    Radiatively Inefficient Rotating-Accretion Flow on to a Black Hole.” <i>Monthly
    Notices of the Royal Astronomical Society</i>. Oxford University Press, 2018.
    <a href="https://doi.org/10.1093/mnras/sty276">https://doi.org/10.1093/mnras/sty276</a>.
  ieee: K. Inayoshi, J. P. Ostriker, Z. Haiman, and R. Kuiper, “Low-density, radiatively
    inefficient rotating-accretion flow on to a black hole,” <i>Monthly Notices of
    the Royal Astronomical Society</i>, vol. 476, no. 1. Oxford University Press,
    pp. 1412–1426, 2018.
  ista: Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. 2018. Low-density, radiatively
    inefficient rotating-accretion flow on to a black hole. Monthly Notices of the
    Royal Astronomical Society. 476(1), 1412–1426.
  mla: Inayoshi, Kohei, et al. “Low-Density, Radiatively Inefficient Rotating-Accretion
    Flow on to a Black Hole.” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 476, no. 1, Oxford University Press, 2018, pp. 1412–26, doi:<a href="https://doi.org/10.1093/mnras/sty276">10.1093/mnras/sty276</a>.
  short: K. Inayoshi, J.P. Ostriker, Z. Haiman, R. Kuiper, Monthly Notices of the
    Royal Astronomical Society 476 (2018) 1412–1426.
date_created: 2024-09-06T08:05:18Z
date_published: 2018-02-01T00:00:00Z
date_updated: 2024-09-25T08:57:35Z
day: '01'
doi: 10.1093/mnras/sty276
extern: '1'
intvolume: '       476'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/sty276
month: '02'
oa: 1
oa_version: Published Version
page: 1412-1426
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  issn:
  - 0035-8711
  - 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Low-density, radiatively inefficient rotating-accretion flow on to a black
  hole
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 476
year: '2018'
...
---
_id: '17687'
abstract:
- lang: eng
  text: We propose the formation of massive pristine dark-matter (DM) halos with masses
    of ∼10^8 M⊙, due to the dynamical effects of frequent mergers in rare regions
    of the Universe with high baryonic streaming velocity relative to DM. Since the
    streaming motion prevents gas collapse into DM halos and delays prior star formation
    episodes, the gas remains metal-free until the halo virial temperatures ≳2×10^4
    K. The minimum cooling mass of DM halos is boosted by a factor of ∼10−30 because
    frequent major mergers of halos further inhibit gas collapse. We use Monte Carlo
    merger trees to simulate the DM assembly history under a streaming velocity of
    twice the root-mean-square value, and estimate the number density of massive DM
    halos containing pristine gas as ≃10^−4 cMpc^−3. When the gas infall begins, efficient
    Lyα cooling drives cold streams penetrating inside the halo and feeding a central
    galactic disk. When one stream collides with the disk, strong shock forms a dense
    and hot gas cloud, where the gas never forms H2 molecules due to effective collisional
    dissociation. As a result, a massive gas cloud forms by gravitational instability
    and collapses directly into a massive black hole (BH) with M∙∼10^5 M⊙. Almost
    simultaneously, a galaxy with M⋆,tot∼10^6 M⊙ composed of Population III stars
    forms in the nuclear region. If the typical stellar mass is as high as ∼100 M⊙,
    the galaxy could be detected with the James Webb Space Telescope even at z≳15.
    These massive seed BHs would be fed by continuous gas accretion from the host
    galaxy, and grow to be bright quasars observed at z≳6.
article_processing_charge: No
article_type: original
author:
- first_name: Kohei
  full_name: Inayoshi, Kohei
  last_name: Inayoshi
- first_name: Miao
  full_name: Li, Miao
  last_name: Li
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: Inayoshi K, Li M, Haiman Z. Massive black hole and Population III galaxy formation
    in overmassive dark-matter haloes with violent merger histories. <i>Monthly Notices
    of the Royal Astronomical Society</i>. 2018;479(3):4017-4027. doi:<a href="https://doi.org/10.1093/mnras/sty1720">10.1093/mnras/sty1720</a>
  apa: Inayoshi, K., Li, M., &#38; Haiman, Z. (2018). Massive black hole and Population
    III galaxy formation in overmassive dark-matter haloes with violent merger histories.
    <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press.
    <a href="https://doi.org/10.1093/mnras/sty1720">https://doi.org/10.1093/mnras/sty1720</a>
  chicago: Inayoshi, Kohei, Miao Li, and Zoltán Haiman. “Massive Black Hole and Population
    III Galaxy Formation in Overmassive Dark-Matter Haloes with Violent Merger Histories.”
    <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press,
    2018. <a href="https://doi.org/10.1093/mnras/sty1720">https://doi.org/10.1093/mnras/sty1720</a>.
  ieee: K. Inayoshi, M. Li, and Z. Haiman, “Massive black hole and Population III
    galaxy formation in overmassive dark-matter haloes with violent merger histories,”
    <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 479, no. 3. Oxford
    University Press, pp. 4017–4027, 2018.
  ista: Inayoshi K, Li M, Haiman Z. 2018. Massive black hole and Population III galaxy
    formation in overmassive dark-matter haloes with violent merger histories. Monthly
    Notices of the Royal Astronomical Society. 479(3), 4017–4027.
  mla: Inayoshi, Kohei, et al. “Massive Black Hole and Population III Galaxy Formation
    in Overmassive Dark-Matter Haloes with Violent Merger Histories.” <i>Monthly Notices
    of the Royal Astronomical Society</i>, vol. 479, no. 3, Oxford University Press,
    2018, pp. 4017–27, doi:<a href="https://doi.org/10.1093/mnras/sty1720">10.1093/mnras/sty1720</a>.
  short: K. Inayoshi, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical
    Society 479 (2018) 4017–4027.
date_created: 2024-09-06T08:22:23Z
date_published: 2018-06-30T00:00:00Z
date_updated: 2024-09-25T09:46:30Z
day: '30'
doi: 10.1093/mnras/sty1720
extern: '1'
intvolume: '       479'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/sty1720
month: '06'
oa: 1
oa_version: Published Version
page: 4017-4027
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  issn:
  - 0035-8711
  - 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Massive black hole and Population III galaxy formation in overmassive dark-matter
  haloes with violent merger histories
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 479
year: '2018'
...
