---
_id: '8130'
abstract:
- lang: eng
text: We study the dynamics of a system of N interacting bosons in a disc-shaped
trap, which is realised by an external potential that confines the bosons in one
spatial dimension to an interval of length of order ε. The interaction is non-negative
and scaled in such a way that its scattering length is of order ε/N, while its
range is proportional to (ε/N)β with scaling parameter β∈(0,1]. We consider the
simultaneous limit (N,ε)→(∞,0) and assume that the system initially exhibits Bose–Einstein
condensation. We prove that condensation is preserved by the N-body dynamics,
where the time-evolved condensate wave function is the solution of a two-dimensional
non-linear equation. The strength of the non-linearity depends on the scaling
parameter β. For β∈(0,1), we obtain a cubic defocusing non-linear Schrödinger
equation, while the choice β=1 yields a Gross–Pitaevskii equation featuring the
scattering length of the interaction. In both cases, the coupling parameter depends
on the confining potential.
acknowledgement: Open access funding provided by Institute of Science and Technology
(IST Austria). I thank Stefan Teufel for helpful remarks and for his involvement
in the closely related joint project [10]. Helpful discussions with Serena Cenatiempo
and Nikolai Leopold are gratefully acknowledged. This work was supported by the
German Research Foundation within the Research Training Group 1838 “Spectral Theory
and Dynamics of Quantum Systems” and has received funding from the European Union’s
Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie
Grant Agreement No. 754411.
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Lea
full_name: Bossmann, Lea
id: A2E3BCBE-5FCC-11E9-AA4B-76F3E5697425
last_name: Bossmann
orcid: 0000-0002-6854-1343
citation:
ama: Bossmann L. Derivation of the 2d Gross–Pitaevskii equation for strongly confined
3d Bosons. Archive for Rational Mechanics and Analysis. 2020;238(11):541-606.
doi:10.1007/s00205-020-01548-w
apa: Bossmann, L. (2020). Derivation of the 2d Gross–Pitaevskii equation for strongly
confined 3d Bosons. Archive for Rational Mechanics and Analysis. Springer
Nature. https://doi.org/10.1007/s00205-020-01548-w
chicago: Bossmann, Lea. “Derivation of the 2d Gross–Pitaevskii Equation for Strongly
Confined 3d Bosons.” Archive for Rational Mechanics and Analysis. Springer
Nature, 2020. https://doi.org/10.1007/s00205-020-01548-w.
ieee: L. Bossmann, “Derivation of the 2d Gross–Pitaevskii equation for strongly
confined 3d Bosons,” Archive for Rational Mechanics and Analysis, vol.
238, no. 11. Springer Nature, pp. 541–606, 2020.
ista: Bossmann L. 2020. Derivation of the 2d Gross–Pitaevskii equation for strongly
confined 3d Bosons. Archive for Rational Mechanics and Analysis. 238(11), 541–606.
mla: Bossmann, Lea. “Derivation of the 2d Gross–Pitaevskii Equation for Strongly
Confined 3d Bosons.” Archive for Rational Mechanics and Analysis, vol.
238, no. 11, Springer Nature, 2020, pp. 541–606, doi:10.1007/s00205-020-01548-w.
short: L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.
corr_author: '1'
date_created: 2020-07-18T15:06:35Z
date_published: 2020-11-01T00:00:00Z
date_updated: 2025-04-14T07:44:05Z
day: '01'
ddc:
- '510'
department:
- _id: RoSe
doi: 10.1007/s00205-020-01548-w
ec_funded: 1
external_id:
arxiv:
- '1907.04547'
isi:
- '000550164400001'
file:
- access_level: open_access
checksum: cc67a79a67bef441625fcb1cd031db3d
content_type: application/pdf
creator: dernst
date_created: 2020-12-02T08:50:38Z
date_updated: 2020-12-02T08:50:38Z
file_id: '8826'
file_name: 2020_ArchiveRatMech_Bossmann.pdf
file_size: 942343
relation: main_file
success: 1
file_date_updated: 2020-12-02T08:50:38Z
has_accepted_license: '1'
intvolume: ' 238'
isi: 1
issue: '11'
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '11'
oa: 1
oa_version: Published Version
page: 541-606
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
name: IST Austria Open Access Fund
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: Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons
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: 238
year: '2020'
...
---
OA_place: repository
OA_type: green
_id: '8132'
abstract:
- lang: eng
text: The WAVE regulatory complex (WRC) is crucial for assembly of the peripheral
branched actin network constituting one of the main drivers of eukaryotic cell
migration. Here, we uncover an essential role of the hematopoietic-specific WRC
component HEM1 for immune cell development. Germline-encoded HEM1 deficiency underlies
an inborn error of immunity with systemic autoimmunity, at cellular level marked
by WRC destabilization, reduced filamentous actin, and failure to assemble lamellipodia.
Hem1−/− mice display systemic autoimmunity, phenocopying the human disease. In
the absence of Hem1, B cells become deprived of extracellular stimuli necessary
to maintain the strength of B cell receptor signaling at a level permissive for
survival of non-autoreactive B cells. This shifts the balance of B cell fate choices
toward autoreactive B cells and thus autoimmunity.
article_number: eabc3979
article_processing_charge: No
article_type: original
author:
- first_name: Elisabeth
full_name: Salzer, Elisabeth
last_name: Salzer
- first_name: Samaneh
full_name: Zoghi, Samaneh
last_name: Zoghi
- first_name: Máté G.
full_name: Kiss, Máté G.
last_name: Kiss
- first_name: Frieda
full_name: Kage, Frieda
last_name: Kage
- first_name: Christina
full_name: Rashkova, Christina
last_name: Rashkova
- first_name: Stephanie
full_name: Stahnke, Stephanie
last_name: Stahnke
- first_name: Matthias
full_name: Haimel, Matthias
last_name: Haimel
- first_name: René
full_name: Platzer, René
last_name: Platzer
- first_name: Michael
full_name: Caldera, Michael
last_name: Caldera
- first_name: Rico Chandra
full_name: Ardy, Rico Chandra
last_name: Ardy
- first_name: Birgit
full_name: Hoeger, Birgit
last_name: Hoeger
- first_name: Jana
full_name: Block, Jana
last_name: Block
- first_name: David
full_name: Medgyesi, David
last_name: Medgyesi
- first_name: Celine
full_name: Sin, Celine
last_name: Sin
- first_name: Sepideh
full_name: Shahkarami, Sepideh
last_name: Shahkarami
- first_name: Renate
full_name: Kain, Renate
last_name: Kain
- first_name: Vahid
full_name: Ziaee, Vahid
last_name: Ziaee
- first_name: Peter
full_name: Hammerl, Peter
last_name: Hammerl
- first_name: Christoph
full_name: Bock, Christoph
last_name: Bock
- first_name: Jörg
full_name: Menche, Jörg
last_name: Menche
- first_name: Loïc
full_name: Dupré, Loïc
last_name: Dupré
- first_name: Johannes B.
full_name: Huppa, Johannes B.
last_name: Huppa
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Alexis
full_name: Lomakin, Alexis
last_name: Lomakin
- first_name: Klemens
full_name: Rottner, Klemens
last_name: Rottner
- first_name: Christoph J.
full_name: Binder, Christoph J.
last_name: Binder
- first_name: Theresia E.B.
full_name: Stradal, Theresia E.B.
last_name: Stradal
- first_name: Nima
full_name: Rezaei, Nima
last_name: Rezaei
- first_name: Kaan
full_name: Boztug, Kaan
last_name: Boztug
citation:
ama: Salzer E, Zoghi S, Kiss MG, et al. The cytoskeletal regulator HEM1 governs
B cell development and prevents autoimmunity. Science Immunology. 2020;5(49).
doi:10.1126/sciimmunol.abc3979
apa: Salzer, E., Zoghi, S., Kiss, M. G., Kage, F., Rashkova, C., Stahnke, S., …
Boztug, K. (2020). The cytoskeletal regulator HEM1 governs B cell development
and prevents autoimmunity. Science Immunology. AAAS. https://doi.org/10.1126/sciimmunol.abc3979
chicago: Salzer, Elisabeth, Samaneh Zoghi, Máté G. Kiss, Frieda Kage, Christina
Rashkova, Stephanie Stahnke, Matthias Haimel, et al. “The Cytoskeletal Regulator
HEM1 Governs B Cell Development and Prevents Autoimmunity.” Science Immunology.
AAAS, 2020. https://doi.org/10.1126/sciimmunol.abc3979.
ieee: E. Salzer et al., “The cytoskeletal regulator HEM1 governs B cell development
and prevents autoimmunity,” Science Immunology, vol. 5, no. 49. AAAS, 2020.
ista: Salzer E, Zoghi S, Kiss MG, Kage F, Rashkova C, Stahnke S, Haimel M, Platzer
R, Caldera M, Ardy RC, Hoeger B, Block J, Medgyesi D, Sin C, Shahkarami S, Kain
R, Ziaee V, Hammerl P, Bock C, Menche J, Dupré L, Huppa JB, Sixt MK, Lomakin A,
Rottner K, Binder CJ, Stradal TEB, Rezaei N, Boztug K. 2020. The cytoskeletal
regulator HEM1 governs B cell development and prevents autoimmunity. Science Immunology.
5(49), eabc3979.
mla: Salzer, Elisabeth, et al. “The Cytoskeletal Regulator HEM1 Governs B Cell Development
and Prevents Autoimmunity.” Science Immunology, vol. 5, no. 49, eabc3979,
AAAS, 2020, doi:10.1126/sciimmunol.abc3979.
short: E. Salzer, S. Zoghi, M.G. Kiss, F. Kage, C. Rashkova, S. Stahnke, M. Haimel,
R. Platzer, M. Caldera, R.C. Ardy, B. Hoeger, J. Block, D. Medgyesi, C. Sin, S.
Shahkarami, R. Kain, V. Ziaee, P. Hammerl, C. Bock, J. Menche, L. Dupré, J.B.
Huppa, M.K. Sixt, A. Lomakin, K. Rottner, C.J. Binder, T.E.B. Stradal, N. Rezaei,
K. Boztug, Science Immunology 5 (2020).
date_created: 2020-07-19T22:00:58Z
date_published: 2020-07-10T00:00:00Z
date_updated: 2026-04-03T09:25:04Z
day: '10'
department:
- _id: MiSi
doi: 10.1126/sciimmunol.abc3979
external_id:
isi:
- '000546994600004'
pmid:
- '32646852'
intvolume: ' 5'
isi: 1
issue: '49'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7116756
month: '07'
oa: 1
oa_version: Submitted Version
pmid: 1
publication: Science Immunology
publication_identifier:
eissn:
- 2470-9468
publication_status: published
publisher: AAAS
quality_controlled: '1'
scopus_import: '1'
status: public
title: The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 5
year: '2020'
...
---
_id: '8133'
abstract:
- lang: eng
text: The molecular factors which control circulating levels of inflammatory proteins
are not well understood. Furthermore, association studies between molecular probes
and human traits are often performed by linear model-based methods which may fail
to account for complex structure and interrelationships within molecular datasets.In
this study, we perform genome- and epigenome-wide association studies (GWAS/EWAS)
on the levels of 70 plasma-derived inflammatory protein biomarkers in healthy
older adults (Lothian Birth Cohort 1936; n = 876; Olink® inflammation panel).
We employ a Bayesian framework (BayesR+) which can account for issues pertaining
to data structure and unknown confounding variables (with sensitivity analyses
using ordinary least squares- (OLS) and mixed model-based approaches). We identified
13 SNPs associated with 13 proteins (n = 1 SNP each) concordant across OLS and
Bayesian methods. We identified 3 CpG sites spread across 3 proteins (n = 1 CpG
each) that were concordant across OLS, mixed-model and Bayesian analyses. Tagged
genetic variants accounted for up to 45% of variance in protein levels (for MCP2,
36% of variance alone attributable to 1 polymorphism). Methylation data accounted
for up to 46% of variation in protein levels (for CXCL10). Up to 66% of variation
in protein levels (for VEGFA) was explained using genetic and epigenetic data
combined. We demonstrated putative causal relationships between CD6 and IL18R1
with inflammatory bowel disease and between IL12B and Crohn’s disease. Our data
may aid understanding of the molecular regulation of the circulating inflammatory
proteome as well as causal relationships between inflammatory mediators and disease.
article_number: '60'
article_processing_charge: No
article_type: original
author:
- first_name: Robert F.
full_name: Hillary, Robert F.
last_name: Hillary
- first_name: Daniel
full_name: Trejo-Banos, Daniel
last_name: Trejo-Banos
- first_name: Athanasios
full_name: Kousathanas, Athanasios
last_name: Kousathanas
- first_name: Daniel L.
full_name: Mccartney, Daniel L.
last_name: Mccartney
- first_name: Sarah E.
full_name: Harris, Sarah E.
last_name: Harris
- first_name: Anna J.
full_name: Stevenson, Anna J.
last_name: Stevenson
- first_name: Marion
full_name: Patxot, Marion
last_name: Patxot
- first_name: Sven Erik
full_name: Ojavee, Sven Erik
last_name: Ojavee
- first_name: Qian
full_name: Zhang, Qian
last_name: Zhang
- first_name: David C.
full_name: Liewald, David C.
last_name: Liewald
- first_name: Craig W.
full_name: Ritchie, Craig W.
last_name: Ritchie
- first_name: Kathryn L.
full_name: Evans, Kathryn L.
last_name: Evans
- first_name: Elliot M.
full_name: Tucker-Drob, Elliot M.
last_name: Tucker-Drob
- first_name: Naomi R.
full_name: Wray, Naomi R.
last_name: Wray
- first_name: Allan F.
full_name: Mcrae, Allan F.
last_name: Mcrae
- first_name: Peter M.
full_name: Visscher, Peter M.
last_name: Visscher
- first_name: Ian J.
full_name: Deary, Ian J.
last_name: Deary
- 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: Riccardo E.
full_name: Marioni, Riccardo E.
last_name: Marioni
citation:
ama: Hillary RF, Trejo-Banos D, Kousathanas A, et al. Multi-method genome- and epigenome-wide
studies of inflammatory protein levels in healthy older adults. Genome Medicine.
2020;12(1). doi:10.1186/s13073-020-00754-1
apa: Hillary, R. F., Trejo-Banos, D., Kousathanas, A., Mccartney, D. L., Harris,
S. E., Stevenson, A. J., … Marioni, R. E. (2020). Multi-method genome- and epigenome-wide
studies of inflammatory protein levels in healthy older adults. Genome Medicine.
Springer Nature. https://doi.org/10.1186/s13073-020-00754-1
chicago: Hillary, Robert F., Daniel Trejo-Banos, Athanasios Kousathanas, Daniel
L. Mccartney, Sarah E. Harris, Anna J. Stevenson, Marion Patxot, et al. “Multi-Method
Genome- and Epigenome-Wide Studies of Inflammatory Protein Levels in Healthy Older
Adults.” Genome Medicine. Springer Nature, 2020. https://doi.org/10.1186/s13073-020-00754-1.
ieee: R. F. Hillary et al., “Multi-method genome- and epigenome-wide studies
of inflammatory protein levels in healthy older adults,” Genome Medicine,
vol. 12, no. 1. Springer Nature, 2020.
ista: Hillary RF, Trejo-Banos D, Kousathanas A, Mccartney DL, Harris SE, Stevenson
AJ, Patxot M, Ojavee SE, Zhang Q, Liewald DC, Ritchie CW, Evans KL, Tucker-Drob
EM, Wray NR, Mcrae AF, Visscher PM, Deary IJ, Robinson MR, Marioni RE. 2020. Multi-method
genome- and epigenome-wide studies of inflammatory protein levels in healthy older
adults. Genome Medicine. 12(1), 60.
mla: Hillary, Robert F., et al. “Multi-Method Genome- and Epigenome-Wide Studies
of Inflammatory Protein Levels in Healthy Older Adults.” Genome Medicine,
vol. 12, no. 1, 60, Springer Nature, 2020, doi:10.1186/s13073-020-00754-1.
short: R.F. Hillary, D. Trejo-Banos, A. Kousathanas, D.L. Mccartney, S.E. Harris,
A.J. Stevenson, M. Patxot, S.E. Ojavee, Q. Zhang, D.C. Liewald, C.W. Ritchie,
K.L. Evans, E.M. Tucker-Drob, N.R. Wray, A.F. Mcrae, P.M. Visscher, I.J. Deary,
M.R. Robinson, R.E. Marioni, Genome Medicine 12 (2020).
corr_author: '1'
date_created: 2020-07-19T22:00:58Z
date_published: 2020-07-08T00:00:00Z
date_updated: 2026-04-02T14:28:33Z
day: '08'
ddc:
- '570'
department:
- _id: MaRo
doi: 10.1186/s13073-020-00754-1
external_id:
isi:
- '000551778400001'
pmid:
- '32641083'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-07-22T06:27:38Z
date_updated: 2020-07-22T06:27:38Z
file_id: '8145'
file_name: 2020_GenomeMedicine_Hillary.pdf
file_size: 1136983
relation: main_file
success: 1
file_date_updated: 2020-07-22T06:27:38Z
has_accepted_license: '1'
intvolume: ' 12'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
publication: Genome Medicine
publication_identifier:
eissn:
- 1756-994X
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '9706'
relation: research_data
status: public
scopus_import: '1'
status: public
title: Multi-method genome- and epigenome-wide studies of inflammatory protein levels
in healthy older adults
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: 12
year: '2020'
...
---
_id: '8134'
abstract:
- lang: eng
text: We prove an upper bound on the free energy of a two-dimensional homogeneous
Bose gas in the thermodynamic limit. We show that for a2ρ ≪ 1 and βρ ≳ 1, the
free energy per unit volume differs from the one of the non-interacting system
by at most 4πρ2|lna2ρ|−1(2−[1−βc/β]2+) to leading order, where a is the scattering
length of the two-body interaction potential, ρ is the density, β is the inverse
temperature, and βc is the inverse Berezinskii–Kosterlitz–Thouless critical temperature
for superfluidity. In combination with the corresponding matching lower bound
proved by Deuchert et al. [Forum Math. Sigma 8, e20 (2020)], this shows equality
in the asymptotic expansion.
article_number: '061901'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Simon
full_name: Mayer, Simon
id: 30C4630A-F248-11E8-B48F-1D18A9856A87
last_name: Mayer
- first_name: Robert
full_name: Seiringer, Robert
id: 4AFD0470-F248-11E8-B48F-1D18A9856A87
last_name: Seiringer
orcid: 0000-0002-6781-0521
citation:
ama: Mayer S, Seiringer R. The free energy of the two-dimensional dilute Bose gas.
II. Upper bound. Journal of Mathematical Physics. 2020;61(6). doi:10.1063/5.0005950
apa: Mayer, S., & Seiringer, R. (2020). The free energy of the two-dimensional
dilute Bose gas. II. Upper bound. Journal of Mathematical Physics. AIP
Publishing. https://doi.org/10.1063/5.0005950
chicago: Mayer, Simon, and Robert Seiringer. “The Free Energy of the Two-Dimensional
Dilute Bose Gas. II. Upper Bound.” Journal of Mathematical Physics. AIP
Publishing, 2020. https://doi.org/10.1063/5.0005950.
ieee: S. Mayer and R. Seiringer, “The free energy of the two-dimensional dilute
Bose gas. II. Upper bound,” Journal of Mathematical Physics, vol. 61, no.
6. AIP Publishing, 2020.
ista: Mayer S, Seiringer R. 2020. The free energy of the two-dimensional dilute
Bose gas. II. Upper bound. Journal of Mathematical Physics. 61(6), 061901.
mla: Mayer, Simon, and Robert Seiringer. “The Free Energy of the Two-Dimensional
Dilute Bose Gas. II. Upper Bound.” Journal of Mathematical Physics, vol.
61, no. 6, 061901, AIP Publishing, 2020, doi:10.1063/5.0005950.
short: S. Mayer, R. Seiringer, Journal of Mathematical Physics 61 (2020).
corr_author: '1'
date_created: 2020-07-19T22:00:59Z
date_published: 2020-06-22T00:00:00Z
date_updated: 2025-07-10T11:55:05Z
day: '22'
department:
- _id: RoSe
doi: 10.1063/5.0005950
ec_funded: 1
external_id:
arxiv:
- '2002.08281'
isi:
- '000544595100001'
intvolume: ' 61'
isi: 1
issue: '6'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2002.08281
month: '06'
oa: 1
oa_version: Preprint
project:
- _id: 25C6DC12-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '694227'
name: Analysis of quantum many-body systems
publication: Journal of Mathematical Physics
publication_identifier:
issn:
- 0022-2488
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
scopus_import: '1'
status: public
title: The free energy of the two-dimensional dilute Bose gas. II. Upper bound
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 61
year: '2020'
...
---
_id: '8135'
abstract:
- lang: eng
text: Discrete Morse theory has recently lead to new developments in the theory
of random geometric complexes. This article surveys the methods and results obtained
with this new approach, and discusses some of its shortcomings. It uses simulations
to illustrate the results and to form conjectures, getting numerical estimates
for combinatorial, topological, and geometric properties of weighted and unweighted
Delaunay mosaics, their dual Voronoi tessellations, and the Alpha and Wrap complexes
contained in the mosaics.
acknowledgement: This project has received funding from the European Research Council
(ERC) under the European Union’s Horizon 2020 research and innovation programme
(grant agreements No 78818 Alpha and No 638176). It is also partially supported
by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and
Dynamics’, through grant no. I02979-N35 of the Austrian Science Fund (FWF).
alternative_title:
- Abel Symposia
article_processing_charge: No
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Anton
full_name: Nikitenko, Anton
id: 3E4FF1BA-F248-11E8-B48F-1D18A9856A87
last_name: Nikitenko
orcid: 0000-0002-0659-3201
- first_name: Katharina
full_name: Ölsböck, Katharina
id: 4D4AA390-F248-11E8-B48F-1D18A9856A87
last_name: Ölsböck
orcid: 0000-0002-4672-8297
- first_name: Peter
full_name: Synak, Peter
id: 331776E2-F248-11E8-B48F-1D18A9856A87
last_name: Synak
citation:
ama: 'Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. Radius functions on Poisson–Delaunay
mosaics and related complexes experimentally. In: Topological Data Analysis.
Vol 15. Springer Nature; 2020:181-218. doi:10.1007/978-3-030-43408-3_8'
apa: Edelsbrunner, H., Nikitenko, A., Ölsböck, K., & Synak, P. (2020). Radius
functions on Poisson–Delaunay mosaics and related complexes experimentally. In
Topological Data Analysis (Vol. 15, pp. 181–218). Springer Nature. https://doi.org/10.1007/978-3-030-43408-3_8
chicago: Edelsbrunner, Herbert, Anton Nikitenko, Katharina Ölsböck, and Peter Synak.
“Radius Functions on Poisson–Delaunay Mosaics and Related Complexes Experimentally.”
In Topological Data Analysis, 15:181–218. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-43408-3_8.
ieee: H. Edelsbrunner, A. Nikitenko, K. Ölsböck, and P. Synak, “Radius functions
on Poisson–Delaunay mosaics and related complexes experimentally,” in Topological
Data Analysis, 2020, vol. 15, pp. 181–218.
ista: Edelsbrunner H, Nikitenko A, Ölsböck K, Synak P. 2020. Radius functions on
Poisson–Delaunay mosaics and related complexes experimentally. Topological Data
Analysis. , Abel Symposia, vol. 15, 181–218.
mla: Edelsbrunner, Herbert, et al. “Radius Functions on Poisson–Delaunay Mosaics
and Related Complexes Experimentally.” Topological Data Analysis, vol.
15, Springer Nature, 2020, pp. 181–218, doi:10.1007/978-3-030-43408-3_8.
short: H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data
Analysis, Springer Nature, 2020, pp. 181–218.
date_created: 2020-07-19T22:00:59Z
date_published: 2020-06-22T00:00:00Z
date_updated: 2026-04-07T12:35:47Z
day: '22'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1007/978-3-030-43408-3_8
ec_funded: 1
external_id:
isi:
- '001321861000008'
file:
- access_level: open_access
checksum: 7b5e0de10675d787a2ddb2091370b8d8
content_type: application/pdf
creator: dernst
date_created: 2020-10-08T08:56:14Z
date_updated: 2020-10-08T08:56:14Z
file_id: '8628'
file_name: 2020-B-01-PoissonExperimentalSurvey.pdf
file_size: 2207071
relation: main_file
success: 1
file_date_updated: 2020-10-08T08:56:14Z
has_accepted_license: '1'
intvolume: ' 15'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Submitted Version
page: 181-218
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large
Scales'
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication: Topological Data Analysis
publication_identifier:
eissn:
- 2197-8549
isbn:
- '9783030434076'
issn:
- 2193-2808
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '19630'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 15
year: '2020'
...
---
_id: '8138'
abstract:
- lang: eng
text: Directional transport of the phytohormone auxin is a versatile, plant-specific
mechanism regulating many aspects of plant development. The recently identified
plant hormones, strigolactones (SLs), are implicated in many plant traits; among
others, they modify the phenotypic output of PIN-FORMED (PIN) auxin transporters
for fine-tuning of growth and developmental responses. Here, we show in pea and
Arabidopsis that SLs target processes dependent on the canalization of auxin flow,
which involves auxin feedback on PIN subcellular distribution. D14 receptor- and
MAX2 F-box-mediated SL signaling inhibits the formation of auxin-conducting channels
after wounding or from artificial auxin sources, during vasculature de novo formation
and regeneration. At the cellular level, SLs interfere with auxin effects on PIN
polar targeting, constitutive PIN trafficking as well as clathrin-mediated endocytosis.
Our results identify a non-transcriptional mechanism of SL action, uncoupling
auxin feedback on PIN polarity and trafficking, thereby regulating vascular tissue
formation and regeneration.
acknowledgement: We are grateful to David Nelson for providing published materials
and extremely helpful comments, and Elizabeth Dun and Christine Beveridge for helpful
discussions. The research leading to these results has received funding from the
European Research Council (ERC) under the European Union's Horizon 2020 research
and innovation programme (742985). This work was also supported by the Beijing Municipal
Natural Science Foundation (5192011), Beijing Outstanding University Discipline
Program, the National Natural Science Foundation of China (31370309), CEITEC 2020
(LQ1601) project with financial contribution made by the Ministry of Education,
Youth and Sports of the Czech Republic within special support paid from the National
Program of Sustainability II funds, Australian Research Council (FT180100081), and
China Postdoctoral Science Foundation (2019M660864).
article_processing_charge: No
article_type: original
author:
- first_name: J
full_name: Zhang, J
last_name: Zhang
- first_name: E
full_name: Mazur, E
last_name: Mazur
- first_name: J
full_name: Balla, J
last_name: Balla
- first_name: Michelle C
full_name: Gallei, Michelle C
id: 35A03822-F248-11E8-B48F-1D18A9856A87
last_name: Gallei
orcid: 0000-0003-1286-7368
- first_name: P
full_name: Kalousek, P
last_name: Kalousek
- first_name: Z
full_name: Medveďová, Z
last_name: Medveďová
- first_name: Y
full_name: Li, Y
last_name: Li
- first_name: Y
full_name: Wang, Y
last_name: Wang
- first_name: Tomas
full_name: Prat, Tomas
id: 3DA3BFEE-F248-11E8-B48F-1D18A9856A87
last_name: Prat
- first_name: Mina K
full_name: Vasileva, Mina K
id: 3407EB18-F248-11E8-B48F-1D18A9856A87
last_name: Vasileva
- first_name: V
full_name: Reinöhl, V
last_name: Reinöhl
- first_name: S
full_name: Procházka, S
last_name: Procházka
- first_name: R
full_name: Halouzka, R
last_name: Halouzka
- first_name: P
full_name: Tarkowski, P
last_name: Tarkowski
- first_name: C
full_name: Luschnig, C
last_name: Luschnig
- first_name: PB
full_name: Brewer, PB
last_name: Brewer
- first_name: Jiří
full_name: Friml, Jiří
id: 4159519E-F248-11E8-B48F-1D18A9856A87
last_name: Friml
orcid: 0000-0002-8302-7596
citation:
ama: Zhang J, Mazur E, Balla J, et al. Strigolactones inhibit auxin feedback on
PIN-dependent auxin transport canalization. Nature Communications. 2020;11(1):3508.
doi:10.1038/s41467-020-17252-y
apa: Zhang, J., Mazur, E., Balla, J., Gallei, M. C., Kalousek, P., Medveďová, Z.,
… Friml, J. (2020). Strigolactones inhibit auxin feedback on PIN-dependent auxin
transport canalization. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17252-y
chicago: Zhang, J, E Mazur, J Balla, Michelle C Gallei, P Kalousek, Z Medveďová,
Y Li, et al. “Strigolactones Inhibit Auxin Feedback on PIN-Dependent Auxin Transport
Canalization.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17252-y.
ieee: J. Zhang et al., “Strigolactones inhibit auxin feedback on PIN-dependent
auxin transport canalization,” Nature Communications, vol. 11, no. 1. Springer
Nature, p. 3508, 2020.
ista: Zhang J, Mazur E, Balla J, Gallei MC, Kalousek P, Medveďová Z, Li Y, Wang
Y, Prat T, Vasileva MK, Reinöhl V, Procházka S, Halouzka R, Tarkowski P, Luschnig
C, Brewer P, Friml J. 2020. Strigolactones inhibit auxin feedback on PIN-dependent
auxin transport canalization. Nature Communications. 11(1), 3508.
mla: Zhang, J., et al. “Strigolactones Inhibit Auxin Feedback on PIN-Dependent Auxin
Transport Canalization.” Nature Communications, vol. 11, no. 1, Springer
Nature, 2020, p. 3508, doi:10.1038/s41467-020-17252-y.
short: J. Zhang, E. Mazur, J. Balla, M.C. Gallei, P. Kalousek, Z. Medveďová, Y.
Li, Y. Wang, T. Prat, M.K. Vasileva, V. Reinöhl, S. Procházka, R. Halouzka, P.
Tarkowski, C. Luschnig, P. Brewer, J. Friml, Nature Communications 11 (2020) 3508.
corr_author: '1'
date_created: 2020-07-21T08:58:07Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2026-04-07T14:18:57Z
day: '14'
ddc:
- '580'
department:
- _id: JiFr
doi: 10.1038/s41467-020-17252-y
ec_funded: 1
external_id:
isi:
- '000550062200004'
pmid:
- '32665554'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-07-22T08:32:55Z
date_updated: 2020-07-22T08:32:55Z
file_id: '8148'
file_name: 2020_NatureComm_Zhang.pdf
file_size: 1759490
relation: main_file
success: 1
file_date_updated: 2020-07-22T08:32:55Z
has_accepted_license: '1'
intvolume: ' 11'
isi: 1
issue: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '3508'
pmid: 1
project:
- _id: 261099A6-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '742985'
name: Tracing Evolution of Auxin Transport and Polarity in Plants
publication: Nature Communications
publication_identifier:
issn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11626'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 11
year: '2020'
...
---
_id: '8142'
abstract:
- lang: eng
text: Cell production and differentiation for the acquisition of specific functions
are key features of living systems. The dynamic network of cellular microtubules
provides the necessary platform to accommodate processes associated with the transition
of cells through the individual phases of cytogenesis. Here, we show that the
plant hormone cytokinin fine‐tunes the activity of the microtubular cytoskeleton
during cell differentiation and counteracts microtubular rearrangements driven
by the hormone auxin. The endogenous upward gradient of cytokinin activity along
the longitudinal growth axis in Arabidopsis thaliana roots correlates with robust
rearrangements of the microtubule cytoskeleton in epidermal cells progressing
from the proliferative to the differentiation stage. Controlled increases in cytokinin
activity result in premature re‐organization of the microtubule network from transversal
to an oblique disposition in cells prior to their differentiation, whereas attenuated
hormone perception delays cytoskeleton conversion into a configuration typical
for differentiated cells. Intriguingly, cytokinin can interfere with microtubules
also in animal cells, such as leukocytes, suggesting that a cytokinin‐sensitive
control pathway for the microtubular cytoskeleton may be at least partially conserved
between plant and animal cells.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
acknowledgement: We thank Takashi Aoyama, David Alabadi, and Bert De Rybel for sharing
material, Jiří Friml, Maciek Adamowski, and Katerina Schwarzerová for inspiring
discussions, and Martine De Cock for help in preparing the manuscript. This research
was supported by the Scientific Service Units (SSUs) of IST Austria through resources
provided by the Bioimaging Facility (BIF), especially to Robert Hauschild; and the
Life Science Facility (LSF). J.C.M. is the recipient of a EMBO Long‐Term Fellowship
(ALTF number 710‐2016). This work was supported with MEYS CR, project no.CZ.02.1.01/0.0/0.0/16_019/0000738
to J.P., and by the Austrian Science Fund (FWF01_I1774S) to E.B.
article_number: e104238
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Juan C
full_name: Montesinos López, Juan C
id: 310A8E3E-F248-11E8-B48F-1D18A9856A87
last_name: Montesinos López
orcid: 0000-0001-9179-6099
- first_name: A
full_name: Abuzeineh, A
last_name: Abuzeineh
- first_name: Aglaja
full_name: Kopf, Aglaja
id: 31DAC7B6-F248-11E8-B48F-1D18A9856A87
last_name: Kopf
orcid: 0000-0002-2187-6656
- first_name: Alba
full_name: Juanes Garcia, Alba
id: 40F05888-F248-11E8-B48F-1D18A9856A87
last_name: Juanes Garcia
orcid: 0000-0002-1009-9652
- first_name: Krisztina
full_name: Ötvös, Krisztina
id: 29B901B0-F248-11E8-B48F-1D18A9856A87
last_name: Ötvös
orcid: 0000-0002-5503-4983
- first_name: J
full_name: Petrášek, J
last_name: Petrášek
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
citation:
ama: Montesinos López JC, Abuzeineh A, Kopf A, et al. Phytohormone cytokinin guides
microtubule dynamics during cell progression from proliferative to differentiated
stage. The Embo Journal. 2020;39(17). doi:10.15252/embj.2019104238
apa: Montesinos López, J. C., Abuzeineh, A., Kopf, A., Juanes Garcia, A., Ötvös,
K., Petrášek, J., … Benková, E. (2020). Phytohormone cytokinin guides microtubule
dynamics during cell progression from proliferative to differentiated stage. The
Embo Journal. Embo Press. https://doi.org/10.15252/embj.2019104238
chicago: Montesinos López, Juan C, A Abuzeineh, Aglaja Kopf, Alba Juanes Garcia,
Krisztina Ötvös, J Petrášek, Michael K Sixt, and Eva Benková. “Phytohormone Cytokinin
Guides Microtubule Dynamics during Cell Progression from Proliferative to Differentiated
Stage.” The Embo Journal. Embo Press, 2020. https://doi.org/10.15252/embj.2019104238.
ieee: J. C. Montesinos López et al., “Phytohormone cytokinin guides microtubule
dynamics during cell progression from proliferative to differentiated stage,”
The Embo Journal, vol. 39, no. 17. Embo Press, 2020.
ista: Montesinos López JC, Abuzeineh A, Kopf A, Juanes Garcia A, Ötvös K, Petrášek
J, Sixt MK, Benková E. 2020. Phytohormone cytokinin guides microtubule dynamics
during cell progression from proliferative to differentiated stage. The Embo Journal.
39(17), e104238.
mla: Montesinos López, Juan C., et al. “Phytohormone Cytokinin Guides Microtubule
Dynamics during Cell Progression from Proliferative to Differentiated Stage.”
The Embo Journal, vol. 39, no. 17, e104238, Embo Press, 2020, doi:10.15252/embj.2019104238.
short: J.C. Montesinos López, A. Abuzeineh, A. Kopf, A. Juanes Garcia, K. Ötvös,
J. Petrášek, M.K. Sixt, E. Benková, The Embo Journal 39 (2020).
corr_author: '1'
date_created: 2020-07-21T09:08:38Z
date_published: 2020-09-01T00:00:00Z
date_updated: 2025-04-15T06:37:27Z
day: '01'
ddc:
- '580'
department:
- _id: MiSi
- _id: EvBe
doi: 10.15252/embj.2019104238
external_id:
isi:
- '000548311800001'
pmid:
- '32667089'
file:
- access_level: open_access
checksum: 43d2b36598708e6ab05c69074e191d57
content_type: application/pdf
creator: dernst
date_created: 2020-12-02T09:13:23Z
date_updated: 2020-12-02T09:13:23Z
file_id: '8827'
file_name: 2020_EMBO_Montesinos.pdf
file_size: 3497156
relation: main_file
success: 1
file_date_updated: 2020-12-02T09:13:23Z
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
issue: '17'
language:
- iso: eng
month: '09'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 253E54C8-B435-11E9-9278-68D0E5697425
grant_number: ALTF710-2016
name: Molecular mechanism of auxindriven formative divisions delineating lateral
root organogenesis in plants
- _id: 2542D156-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I 1774-B16
name: Hormone cross-talk drives nutrient dependent plant development
publication: The Embo Journal
publication_identifier:
eissn:
- 1460-2075
issn:
- 0261-4189
publication_status: published
publisher: Embo Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Phytohormone cytokinin guides microtubule dynamics during cell progression
from proliferative to differentiated stage
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: 39
year: '2020'
...
---
OA_place: publisher
_id: '8156'
abstract:
- lang: eng
text: 'We present solutions to several problems originating from geometry and discrete
mathematics: existence of equipartitions, maps without Tverberg multiple points,
and inscribing quadrilaterals. Equivariant obstruction theory is the natural topological
approach to these type of questions. However, for the specific problems we consider
it had yielded only partial or no results. We get our results by complementing
equivariant obstruction theory with other techniques from topology and geometry.'
alternative_title:
- ISTA Thesis
article_processing_charge: No
author:
- first_name: Sergey
full_name: Avvakumov, Sergey
id: 3827DAC8-F248-11E8-B48F-1D18A9856A87
last_name: Avvakumov
orcid: 0000-0002-7840-5062
citation:
ama: Avvakumov S. Topological methods in geometry and discrete mathematics. 2020.
doi:10.15479/AT:ISTA:8156
apa: Avvakumov, S. (2020). Topological methods in geometry and discrete mathematics.
Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8156
chicago: Avvakumov, Sergey. “Topological Methods in Geometry and Discrete Mathematics.”
Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8156.
ieee: S. Avvakumov, “Topological methods in geometry and discrete mathematics,”
Institute of Science and Technology Austria, 2020.
ista: Avvakumov S. 2020. Topological methods in geometry and discrete mathematics.
Institute of Science and Technology Austria.
mla: Avvakumov, Sergey. Topological Methods in Geometry and Discrete Mathematics.
Institute of Science and Technology Austria, 2020, doi:10.15479/AT:ISTA:8156.
short: S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, Institute
of Science and Technology Austria, 2020.
corr_author: '1'
date_created: 2020-07-23T09:51:29Z
date_published: 2020-07-24T00:00:00Z
date_updated: 2026-04-08T07:25:54Z
day: '24'
ddc:
- '514'
degree_awarded: PhD
department:
- _id: UlWa
doi: 10.15479/AT:ISTA:8156
file:
- access_level: closed
content_type: application/zip
creator: savvakum
date_created: 2020-07-27T12:44:51Z
date_updated: 2020-07-27T12:44:51Z
file_id: '8178'
file_name: source.zip
file_size: 1061740
relation: source_file
- access_level: open_access
content_type: application/pdf
creator: savvakum
date_created: 2020-07-27T12:46:53Z
date_updated: 2020-07-27T12:46:53Z
file_id: '8179'
file_name: thesis_pdfa.pdf
file_size: 1336501
relation: main_file
success: 1
file_date_updated: 2020-07-27T12:46:53Z
has_accepted_license: '1'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: '119'
publication_identifier:
issn:
- 2663-337X
publication_status: published
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '8182'
relation: part_of_dissertation
status: public
- id: '8184'
relation: part_of_dissertation
status: public
- id: '8185'
relation: part_of_dissertation
status: public
- id: '6355'
relation: part_of_dissertation
status: public
- id: '75'
relation: part_of_dissertation
status: public
- id: '8183'
relation: part_of_dissertation
status: public
status: public
supervisor:
- first_name: Uli
full_name: Wagner, Uli
id: 36690CA2-F248-11E8-B48F-1D18A9856A87
last_name: Wagner
orcid: 0000-0002-1494-0568
title: Topological methods in geometry and discrete mathematics
type: dissertation
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2020'
...
---
_id: '8162'
abstract:
- lang: eng
text: In mammalian genomes, a subset of genes is regulated by genomic imprinting,
resulting in silencing of one parental allele. Imprinting is essential for cerebral
cortex development, but prevalence and functional impact in individual cells is
unclear. Here, we determined allelic expression in cortical cell types and established
a quantitative platform to interrogate imprinting in single cells. We created
cells with uniparental chromosome disomy (UPD) containing two copies of either
the maternal or the paternal chromosome; hence, imprinted genes will be 2-fold
overexpressed or not expressed. By genetic labeling of UPD, we determined cellular
phenotypes and transcriptional responses to deregulated imprinted gene expression
at unprecedented single-cell resolution. We discovered an unexpected degree of
cell-type specificity and a novel function of imprinting in the regulation of
cortical astrocyte survival. More generally, our results suggest functional relevance
of imprinted gene expression in glial astrocyte lineage and thus for generating
cortical cell-type diversity.
acknowledged_ssus:
- _id: Bio
- _id: LifeSc
- _id: PreCl
acknowledgement: We thank A. Heger (IST Austria Preclinical Facility), A. Sommer and
C. Czepe (VBCF GmbH, NGS Unit), and A. Seitz and P. Moll (Lexogen GmbH) for technical
support; G. Arque, S. Resch, C. Igler, C. Dotter, C. Yahya, Q. Hudson, and D. Andergassen
for initial experiments and/or assistance; D. Barlow, O. Bell, and all members of
the Hippenmeyer lab for discussion; and N. Barton, B. Vicoso, M. Sixt, and L. Luo
for comments on earlier versions of the manuscript. This research was supported
by the Scientific Service Units (SSU) of IST Austria through resources provided
by the Bioimaging Facilities (BIF), Life Science Facilities (LSF), and Preclinical
Facilities (PCF). A.H.H. is a recipient of a DOC fellowship (24812) of the Austrian
Academy of Sciences. N.A. received support from the FWF Firnberg-Programm (T 1031).
R.B. received support from the FWF Meitner-Programm (M 2416). This work was also
supported by IST Austria institutional funds; a NÖ Forschung und Bildung n[f+b]
life science call grant (C13-002) to S.H.; a program grant from the Human Frontiers
Science Program (RGP0053/2014) to S.H.; the People Programme (Marie Curie Actions)
of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant
agreement 618444 to S.H.; and the European Research Council (ERC) under the European
Union’s Horizon 2020 research and innovation program (grant agreement 725780 LinPro)
to S.H.
article_processing_charge: No
article_type: original
author:
- first_name: Susanne
full_name: Laukoter, Susanne
id: 2D6B7A9A-F248-11E8-B48F-1D18A9856A87
last_name: Laukoter
orcid: 0000-0002-7903-3010
- first_name: Florian
full_name: Pauler, Florian
id: 48EA0138-F248-11E8-B48F-1D18A9856A87
last_name: Pauler
orcid: 0000-0002-7462-0048
- first_name: Robert J
full_name: Beattie, Robert J
id: 2E26DF60-F248-11E8-B48F-1D18A9856A87
last_name: Beattie
orcid: 0000-0002-8483-8753
- first_name: Nicole
full_name: Amberg, Nicole
id: 4CD6AAC6-F248-11E8-B48F-1D18A9856A87
last_name: Amberg
orcid: 0000-0002-3183-8207
- first_name: Andi H
full_name: Hansen, Andi H
id: 38853E16-F248-11E8-B48F-1D18A9856A87
last_name: Hansen
- first_name: Carmen
full_name: Streicher, Carmen
id: 36BCB99C-F248-11E8-B48F-1D18A9856A87
last_name: Streicher
- first_name: Thomas
full_name: Penz, Thomas
last_name: Penz
- first_name: Christoph
full_name: Bock, Christoph
last_name: Bock
orcid: 0000-0001-6091-3088
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
citation:
ama: Laukoter S, Pauler F, Beattie RJ, et al. Cell-type specificity of genomic imprinting
in cerebral cortex. Neuron. 2020;107(6):1160-1179.e9. doi:10.1016/j.neuron.2020.06.031
apa: Laukoter, S., Pauler, F., Beattie, R. J., Amberg, N., Hansen, A. H., Streicher,
C., … Hippenmeyer, S. (2020). Cell-type specificity of genomic imprinting in cerebral
cortex. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.06.031
chicago: Laukoter, Susanne, Florian Pauler, Robert J Beattie, Nicole Amberg, Andi
H Hansen, Carmen Streicher, Thomas Penz, Christoph Bock, and Simon Hippenmeyer.
“Cell-Type Specificity of Genomic Imprinting in Cerebral Cortex.” Neuron.
Elsevier, 2020. https://doi.org/10.1016/j.neuron.2020.06.031.
ieee: S. Laukoter et al., “Cell-type specificity of genomic imprinting in
cerebral cortex,” Neuron, vol. 107, no. 6. Elsevier, p. 1160–1179.e9, 2020.
ista: Laukoter S, Pauler F, Beattie RJ, Amberg N, Hansen AH, Streicher C, Penz T,
Bock C, Hippenmeyer S. 2020. Cell-type specificity of genomic imprinting in cerebral
cortex. Neuron. 107(6), 1160–1179.e9.
mla: Laukoter, Susanne, et al. “Cell-Type Specificity of Genomic Imprinting in Cerebral
Cortex.” Neuron, vol. 107, no. 6, Elsevier, 2020, p. 1160–1179.e9, doi:10.1016/j.neuron.2020.06.031.
short: S. Laukoter, F. Pauler, R.J. Beattie, N. Amberg, A.H. Hansen, C. Streicher,
T. Penz, C. Bock, S. Hippenmeyer, Neuron 107 (2020) 1160–1179.e9.
corr_author: '1'
date_created: 2020-07-23T16:03:12Z
date_published: 2020-09-23T00:00:00Z
date_updated: 2025-06-12T07:19:46Z
day: '23'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.1016/j.neuron.2020.06.031
ec_funded: 1
external_id:
isi:
- '000579698700006'
pmid:
- '32707083'
file:
- access_level: open_access
checksum: 7becdc16a6317304304631087ae7dd7f
content_type: application/pdf
creator: dernst
date_created: 2020-12-02T09:26:46Z
date_updated: 2020-12-02T09:26:46Z
file_id: '8828'
file_name: 2020_Neuron_Laukoter.pdf
file_size: 8911830
relation: main_file
success: 1
file_date_updated: 2020-12-02T09:26:46Z
has_accepted_license: '1'
intvolume: ' 107'
isi: 1
issue: '6'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '09'
oa: 1
oa_version: Published Version
page: 1160-1179.e9
pmid: 1
project:
- _id: 2625A13E-B435-11E9-9278-68D0E5697425
grant_number: '24812'
name: Molecular mechanisms of radial neuronal migration
- _id: 268F8446-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: T01031
name: Role of Eed in neural stem cell lineage progression
- _id: 264E56E2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02416
name: Molecular Mechanisms Regulating Gliogenesis in the Neocortex
- _id: 25D92700-B435-11E9-9278-68D0E5697425
grant_number: LS13-002
name: Mapping Cell-Type Specificity of the Genomic Imprintome in the Brain
- _id: 25D7962E-B435-11E9-9278-68D0E5697425
grant_number: RGP0053/2014
name: Quantitative Structure-Function Analysis of Cerebral Cortex Assembly at Clonal
Level
- _id: 25D61E48-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '618444'
name: Molecular Mechanisms of Cerebral Cortex Development
- _id: 260018B0-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '725780'
name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development
publication: Neuron
publication_identifier:
issn:
- 0896-6273
publication_status: published
publisher: Elsevier
quality_controlled: '1'
related_material:
link:
- description: News on IST Website
relation: press_release
url: https://ist.ac.at/en/news/cells-react-differently-to-genomic-imprinting/
scopus_import: '1'
status: public
title: Cell-type specificity of genomic imprinting in cerebral cortex
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 107
year: '2020'
...
---
_id: '8163'
abstract:
- lang: eng
text: Fejes Tóth [3] studied approximations of smooth surfaces in three-space by
piecewise flat triangular meshes with a given number of vertices on the surface
that are optimal with respect to Hausdorff distance. He proves that this Hausdorff
distance decreases inversely proportional with the number of vertices of the approximating
mesh if the surface is convex. He also claims that this Hausdorff distance is
inversely proportional to the square of the number of vertices for a specific
non-convex surface, namely a one-sheeted hyperboloid of revolution bounded by
two congruent circles. We refute this claim, and show that the asymptotic behavior
of the Hausdorff distance is linear, that is the same as for convex surfaces.
acknowledgement: "The authors are greatly indebted to Dror Atariah, Günther Rote and
John Sullivan for discussion and suggestions. The authors also thank Jean-Daniel
Boissonnat, Ramsay Dyer, David de Laat and Rien van de Weijgaert for discussion.
This work has been supported in part by the European Union’s Seventh Framework Programme
for Research of the\r\nEuropean Commission, under FET-Open grant number 255827 (CGL
Computational Geometry Learning) and ERC Grant Agreement number 339025 GUDHI (Algorithmic
Foundations of Geometry Understanding in Higher Dimensions), the European Union’s
Horizon 2020 research and innovation programme under the Marie Sk lodowska-Curie
grant agreement number 754411,and the Austrian Science Fund (FWF): Z00342 N31."
article_processing_charge: No
article_type: original
author:
- first_name: Gert
full_name: Vegter, Gert
last_name: Vegter
- first_name: Mathijs
full_name: Wintraecken, Mathijs
id: 307CFBC8-F248-11E8-B48F-1D18A9856A87
last_name: Wintraecken
orcid: 0000-0002-7472-2220
citation:
ama: Vegter G, Wintraecken M. Refutation of a claim made by Fejes Tóth on the accuracy
of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 2020;57(2):193-199.
doi:10.1556/012.2020.57.2.1454
apa: Vegter, G., & Wintraecken, M. (2020). Refutation of a claim made by Fejes
Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica.
Akadémiai Kiadó. https://doi.org/10.1556/012.2020.57.2.1454
chicago: Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes
Tóth on the Accuracy of Surface Meshes.” Studia Scientiarum Mathematicarum
Hungarica. Akadémiai Kiadó, 2020. https://doi.org/10.1556/012.2020.57.2.1454.
ieee: G. Vegter and M. Wintraecken, “Refutation of a claim made by Fejes Tóth on
the accuracy of surface meshes,” Studia Scientiarum Mathematicarum Hungarica,
vol. 57, no. 2. Akadémiai Kiadó, pp. 193–199, 2020.
ista: Vegter G, Wintraecken M. 2020. Refutation of a claim made by Fejes Tóth on
the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 57(2),
193–199.
mla: Vegter, Gert, and Mathijs Wintraecken. “Refutation of a Claim Made by Fejes
Tóth on the Accuracy of Surface Meshes.” Studia Scientiarum Mathematicarum
Hungarica, vol. 57, no. 2, Akadémiai Kiadó, 2020, pp. 193–99, doi:10.1556/012.2020.57.2.1454.
short: G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57
(2020) 193–199.
corr_author: '1'
date_created: 2020-07-24T07:09:18Z
date_published: 2020-07-24T00:00:00Z
date_updated: 2025-04-15T07:16:57Z
day: '24'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1556/012.2020.57.2.1454
ec_funded: 1
external_id:
isi:
- '000570978400005'
file:
- access_level: open_access
content_type: application/pdf
creator: mwintrae
date_created: 2020-07-24T07:09:06Z
date_updated: 2020-07-24T07:09:06Z
file_id: '8164'
file_name: 57-2-05_4214-1454Vegter-Wintraecken_OpenAccess_CC-BY-NC.pdf
file_size: 1476072
relation: main_file
file_date_updated: 2020-07-24T07:09:06Z
has_accepted_license: '1'
intvolume: ' 57'
isi: 1
issue: '2'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '07'
oa: 1
oa_version: Published Version
page: 193-199
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
- _id: 268116B8-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00342
name: Mathematics, Computer Science
publication: Studia Scientiarum Mathematicarum Hungarica
publication_identifier:
eissn:
- 1588-2896
issn:
- 0081-6906
publication_status: published
publisher: Akadémiai Kiadó
quality_controlled: '1'
scopus_import: '1'
status: public
title: Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 57
year: '2020'
...
---
_id: '8167'
abstract:
- lang: eng
text: The evolution of strong reproductive isolation (RI) is fundamental to the
origins and maintenance of biological diversity, especially in situations where
geographical distributions of taxa broadly overlap. But what is the history behind
strong barriers currently acting in sympatry? Using whole-genome sequencing and
single nucleotide polymorphism genotyping, we inferred (i) the evolutionary relationships,
(ii) the strength of RI, and (iii) the demographic history of divergence between
two broadly sympatric taxa of intertidal snail. Despite being cryptic, based on
external morphology, Littorina arcana and Littorina saxatilis differ in their
mode of female reproduction (egg-laying versus brooding), which may generate a
strong post-zygotic barrier. We show that egg-laying and brooding snails are closely
related, but genetically distinct. Genotyping of 3092 snails from three locations
failed to recover any recent hybrid or backcrossed individuals, confirming that
RI is strong. There was, however, evidence for a very low level of asymmetrical
introgression, suggesting that isolation remains incomplete. The presence of strong,
asymmetrical RI was further supported by demographic analysis of these populations.
Although the taxa are currently broadly sympatric, demographic modelling suggests
that they initially diverged during a short period of geographical separation
involving very low gene flow. Our study suggests that some geographical separation
may kick-start the evolution of strong RI, facilitating subsequent coexistence
of taxa in sympatry. The strength of RI needed to achieve sympatry and the subsequent
effect of sympatry on RI remain open questions.
acknowledgement: Funding was provided by the Natural Environment Research Council
(NERC) and the European Research Council. We thank Rui Faria, Nicola Nadeau, Martin
Garlovsky and Hernan Morales for advice and/or useful discussion during the project.
Richard Turney, Graciela Sotelo, Jenny Larson, Stéphane Loisel and Meghan Wharton
participated in the collection and processing of samples. Mark Dunning helped with
the development of bioinformatic pipelines. The analysis of genomic data was conducted
on the University of Sheffield High-performance computer, ShARC. Jeffrey Feder and
an anonymous reviewer provided comments that improved the manuscript.
article_number: '20190545'
article_processing_charge: No
article_type: original
author:
- first_name: Sean
full_name: Stankowski, Sean
id: 43161670-5719-11EA-8025-FABC3DDC885E
last_name: Stankowski
- first_name: Anja M
full_name: Westram, Anja M
id: 3C147470-F248-11E8-B48F-1D18A9856A87
last_name: Westram
orcid: 0000-0003-1050-4969
- first_name: Zuzanna B.
full_name: Zagrodzka, Zuzanna B.
last_name: Zagrodzka
- first_name: Isobel
full_name: Eyres, Isobel
last_name: Eyres
- first_name: Thomas
full_name: Broquet, Thomas
last_name: Broquet
- first_name: Kerstin
full_name: Johannesson, Kerstin
last_name: Johannesson
- first_name: Roger K.
full_name: Butlin, Roger K.
last_name: Butlin
citation:
ama: 'Stankowski S, Westram AM, Zagrodzka ZB, et al. The evolution of strong reproductive
isolation between sympatric intertidal snails. Philosophical Transactions of
the Royal Society Series B: Biological Sciences. 2020;375(1806). doi:10.1098/rstb.2019.0545'
apa: 'Stankowski, S., Westram, A. M., Zagrodzka, Z. B., Eyres, I., Broquet, T.,
Johannesson, K., & Butlin, R. K. (2020). The evolution of strong reproductive
isolation between sympatric intertidal snails. Philosophical Transactions of
the Royal Society. Series B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2019.0545'
chicago: 'Stankowski, Sean, Anja M Westram, Zuzanna B. Zagrodzka, Isobel Eyres,
Thomas Broquet, Kerstin Johannesson, and Roger K. Butlin. “The Evolution of Strong
Reproductive Isolation between Sympatric Intertidal Snails.” Philosophical
Transactions of the Royal Society. Series B: Biological Sciences. The Royal
Society, 2020. https://doi.org/10.1098/rstb.2019.0545.'
ieee: 'S. Stankowski et al., “The evolution of strong reproductive isolation
between sympatric intertidal snails,” Philosophical Transactions of the Royal
Society. Series B: Biological Sciences, vol. 375, no. 1806. The Royal Society,
2020.'
ista: 'Stankowski S, Westram AM, Zagrodzka ZB, Eyres I, Broquet T, Johannesson K,
Butlin RK. 2020. The evolution of strong reproductive isolation between sympatric
intertidal snails. Philosophical Transactions of the Royal Society. Series B:
Biological Sciences. 375(1806), 20190545.'
mla: 'Stankowski, Sean, et al. “The Evolution of Strong Reproductive Isolation between
Sympatric Intertidal Snails.” Philosophical Transactions of the Royal Society.
Series B: Biological Sciences, vol. 375, no. 1806, 20190545, The Royal Society,
2020, doi:10.1098/rstb.2019.0545.'
short: 'S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson,
R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological
Sciences 375 (2020).'
date_created: 2020-07-26T22:01:01Z
date_published: 2020-07-12T00:00:00Z
date_updated: 2026-06-18T19:30:29Z
day: '12'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1098/rstb.2019.0545
external_id:
isi:
- '000552662100014'
pmid:
- '32654639'
intvolume: ' 375'
isi: 1
issue: '1806'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1098/rstb.2019.0545
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
publication: 'Philosophical Transactions of the Royal Society. Series B: Biological
Sciences'
publication_identifier:
eissn:
- 1471-2970
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: The evolution of strong reproductive isolation between sympatric intertidal
snails
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 375
year: '2020'
...
---
_id: '8168'
abstract:
- lang: eng
text: Speciation, that is, the evolution of reproductive barriers eventually leading
to complete isolation, is a crucial process generating biodiversity. Recent work
has contributed much to our understanding of how reproductive barriers begin to
evolve, and how they are maintained in the face of gene flow. However, little
is known about the transition from partial to strong reproductive isolation (RI)
and the completion of speciation. We argue that the evolution of strong RI is
likely to involve different processes, or new interactions among processes, compared
with the evolution of the first reproductive barriers. Transition to strong RI
may be brought about by changing external conditions, for example, following secondary
contact. However, the increasing levels of RI themselves create opportunities
for new barriers to evolve and, and interaction or coupling among barriers. These
changing processes may depend on genomic architecture and leave detectable signals
in the genome. We outline outstanding questions and suggest more theoretical and
empirical work, considering both patterns and processes associated with strong
RI, is needed to understand how speciation is completed.
article_number: '20190528'
article_processing_charge: No
article_type: original
author:
- first_name: Jonna
full_name: Kulmuni, Jonna
last_name: Kulmuni
- first_name: Roger K.
full_name: Butlin, Roger K.
last_name: Butlin
- first_name: Kay
full_name: Lucek, Kay
last_name: Lucek
- first_name: Vincent
full_name: Savolainen, Vincent
last_name: Savolainen
- first_name: Anja M
full_name: Westram, Anja M
id: 3C147470-F248-11E8-B48F-1D18A9856A87
last_name: Westram
orcid: 0000-0003-1050-4969
citation:
ama: 'Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. Towards the completion
of speciation: The evolution of reproductive isolation beyond the first barriers.
Philosophical Transactions of the Royal Society Series B: Biological sciences.
2020;375(1806). doi:10.1098/rstb.2019.0528'
apa: 'Kulmuni, J., Butlin, R. K., Lucek, K., Savolainen, V., & Westram, A. M.
(2020). Towards the completion of speciation: The evolution of reproductive isolation
beyond the first barriers. Philosophical Transactions of the Royal Society.
Series B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rstb.2019.0528'
chicago: 'Kulmuni, Jonna, Roger K. Butlin, Kay Lucek, Vincent Savolainen, and Anja
M Westram. “Towards the Completion of Speciation: The Evolution of Reproductive
Isolation beyond the First Barriers.” Philosophical Transactions of the Royal
Society. Series B: Biological Sciences. The Royal Society, 2020. https://doi.org/10.1098/rstb.2019.0528.'
ieee: 'J. Kulmuni, R. K. Butlin, K. Lucek, V. Savolainen, and A. M. Westram, “Towards
the completion of speciation: The evolution of reproductive isolation beyond the
first barriers,” Philosophical Transactions of the Royal Society. Series B:
Biological sciences, vol. 375, no. 1806. The Royal Society, 2020.'
ista: 'Kulmuni J, Butlin RK, Lucek K, Savolainen V, Westram AM. 2020. Towards the
completion of speciation: The evolution of reproductive isolation beyond the first
barriers. Philosophical Transactions of the Royal Society. Series B: Biological
sciences. 375(1806), 20190528.'
mla: 'Kulmuni, Jonna, et al. “Towards the Completion of Speciation: The Evolution
of Reproductive Isolation beyond the First Barriers.” Philosophical Transactions
of the Royal Society. Series B: Biological Sciences, vol. 375, no. 1806, 20190528,
The Royal Society, 2020, doi:10.1098/rstb.2019.0528.'
short: 'J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical
Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).'
date_created: 2020-07-26T22:01:01Z
date_published: 2020-07-12T00:00:00Z
date_updated: 2026-06-18T19:30:51Z
day: '12'
ddc:
- '570'
department:
- _id: NiBa
doi: 10.1098/rstb.2019.0528
ec_funded: 1
external_id:
isi:
- '000552662100001'
pmid:
- '32654637'
intvolume: ' 375'
isi: 1
issue: '1806'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1098/rstb.2019.0528
month: '07'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 265B41B8-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '797747'
name: Theoretical and empirical approaches to understanding Parallel Adaptation
publication: 'Philosophical Transactions of the Royal Society. Series B: Biological
sciences'
publication_identifier:
eissn:
- 1471-2970
issn:
- 0962-8436
publication_status: published
publisher: The Royal Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Towards the completion of speciation: The evolution of reproductive isolation
beyond the first barriers'
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 375
year: '2020'
...
---
_id: '8170'
abstract:
- lang: eng
text: "Alignment of OCS, CS2, and I2 molecules embedded in helium nanodroplets is
measured as a function\r\nof time following rotational excitation by a nonresonant,
comparatively weak ps laser pulse. The distinct\r\npeaks in the power spectra,
obtained by Fourier analysis, are used to determine the rotational, B, and\r\ncentrifugal
distortion, D, constants. For OCS, B and D match the values known from IR spectroscopy.
For\r\nCS2 and I2, they are the first experimental results reported. The alignment
dynamics calculated from the\r\ngas-phase rotational Schrödinger equation, using
the experimental in-droplet B and D values, agree in\r\ndetail with the measurement
for all three molecules. The rotational spectroscopy technique for molecules in\r\nhelium
droplets introduced here should apply to a range of molecules and complexes."
acknowledgement: "H. S. acknowledges support from the European Research Council-AdG
(Project No. 320459, DropletControl)\r\nand from The Villum Foundation through a
Villum Investigator Grant No. 25886. M. L. acknowledges support\r\nby the Austrian
Science Fund (FWF), under Project No. P29902-N27, and by the European Research Council\r\n(ERC)
Starting Grant No. 801770 (ANGULON). G. B. acknowledges support from the Austrian
Science Fund\r\n(FWF), under Project No. M2641-N27. I. C. acknowledges support by
the European Union’s Horizon 2020 research and\r\ninnovation programme under the
Marie Skłodowska-Curie Grant Agreement No. 665385. Computational resources for\r\nthe
PIMC simulations were provided by the division for scientific computing at the Johannes
Kepler University."
article_number: '013001'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Adam S.
full_name: Chatterley, Adam S.
last_name: Chatterley
- first_name: Lars
full_name: Christiansen, Lars
last_name: Christiansen
- first_name: Constant A.
full_name: Schouder, Constant A.
last_name: Schouder
- first_name: Anders V.
full_name: Jørgensen, Anders V.
last_name: Jørgensen
- first_name: Benjamin
full_name: Shepperson, Benjamin
last_name: Shepperson
- first_name: Igor
full_name: Cherepanov, Igor
id: 339C7E5A-F248-11E8-B48F-1D18A9856A87
last_name: Cherepanov
- first_name: Giacomo
full_name: Bighin, Giacomo
id: 4CA96FD4-F248-11E8-B48F-1D18A9856A87
last_name: Bighin
orcid: 0000-0001-8823-9777
- first_name: Robert E.
full_name: Zillich, Robert E.
last_name: Zillich
- first_name: Mikhail
full_name: Lemeshko, Mikhail
id: 37CB05FA-F248-11E8-B48F-1D18A9856A87
last_name: Lemeshko
orcid: 0000-0002-6990-7802
- first_name: Henrik
full_name: Stapelfeldt, Henrik
last_name: Stapelfeldt
citation:
ama: 'Chatterley AS, Christiansen L, Schouder CA, et al. Rotational coherence spectroscopy
of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
Physical Review Letters. 2020;125(1). doi:10.1103/PhysRevLett.125.013001'
apa: 'Chatterley, A. S., Christiansen, L., Schouder, C. A., Jørgensen, A. V., Shepperson,
B., Cherepanov, I., … Stapelfeldt, H. (2020). Rotational coherence spectroscopy
of molecules in Helium nanodroplets: Reconciling the time and the frequency domains.
Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.125.013001'
chicago: 'Chatterley, Adam S., Lars Christiansen, Constant A. Schouder, Anders V.
Jørgensen, Benjamin Shepperson, Igor Cherepanov, Giacomo Bighin, Robert E. Zillich,
Mikhail Lemeshko, and Henrik Stapelfeldt. “Rotational Coherence Spectroscopy of
Molecules in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.”
Physical Review Letters. American Physical Society, 2020. https://doi.org/10.1103/PhysRevLett.125.013001.'
ieee: 'A. S. Chatterley et al., “Rotational coherence spectroscopy of molecules
in Helium nanodroplets: Reconciling the time and the frequency domains,” Physical
Review Letters, vol. 125, no. 1. American Physical Society, 2020.'
ista: 'Chatterley AS, Christiansen L, Schouder CA, Jørgensen AV, Shepperson B, Cherepanov
I, Bighin G, Zillich RE, Lemeshko M, Stapelfeldt H. 2020. Rotational coherence
spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the
frequency domains. Physical Review Letters. 125(1), 013001.'
mla: 'Chatterley, Adam S., et al. “Rotational Coherence Spectroscopy of Molecules
in Helium Nanodroplets: Reconciling the Time and the Frequency Domains.” Physical
Review Letters, vol. 125, no. 1, 013001, American Physical Society, 2020,
doi:10.1103/PhysRevLett.125.013001.'
short: A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson,
I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical
Review Letters 125 (2020).
date_created: 2020-07-26T22:01:02Z
date_published: 2020-07-03T00:00:00Z
date_updated: 2026-04-16T08:21:58Z
day: '03'
department:
- _id: MiLe
doi: 10.1103/PhysRevLett.125.013001
ec_funded: 1
external_id:
arxiv:
- '2006.02694'
isi:
- '000544526900006'
pmid:
- '32678640'
intvolume: ' 125'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2006.02694
month: '07'
oa: 1
oa_version: Preprint
pmid: 1
project:
- _id: 26031614-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P29902
name: Quantum rotations in the presence of a many-body environment
- _id: 2688CF98-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '801770'
name: 'Angulon: physics and applications of a new quasiparticle'
- _id: 26986C82-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: M02641
name: A path-integral approach to composite impurities
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: Physical Review Letters
publication_identifier:
eissn:
- 1079-7114
issn:
- 0031-9007
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling
the time and the frequency domains'
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 125
year: '2020'
...
---
_id: '8181'
author:
- first_name: Robert
full_name: Hauschild, Robert
id: 4E01D6B4-F248-11E8-B48F-1D18A9856A87
last_name: Hauschild
orcid: 0000-0001-9843-3522
citation:
ama: Hauschild R. Amplified centrosomes in dendritic cells promote immune cell effector
functions. 2020. doi:10.15479/AT:ISTA:8181
apa: Hauschild, R. (2020). Amplified centrosomes in dendritic cells promote immune
cell effector functions. IST Austria. https://doi.org/10.15479/AT:ISTA:8181
chicago: Hauschild, Robert. “Amplified Centrosomes in Dendritic Cells Promote Immune
Cell Effector Functions.” IST Austria, 2020. https://doi.org/10.15479/AT:ISTA:8181.
ieee: R. Hauschild, “Amplified centrosomes in dendritic cells promote immune cell
effector functions.” IST Austria, 2020.
ista: Hauschild R. 2020. Amplified centrosomes in dendritic cells promote immune
cell effector functions, IST Austria, 10.15479/AT:ISTA:8181.
mla: Hauschild, Robert. Amplified Centrosomes in Dendritic Cells Promote Immune
Cell Effector Functions. IST Austria, 2020, doi:10.15479/AT:ISTA:8181.
short: R. Hauschild, (2020).
corr_author: '1'
date_created: 2020-07-28T16:24:37Z
date_published: 2020-08-24T00:00:00Z
date_updated: 2024-10-09T21:05:14Z
day: '24'
department:
- _id: Bio
doi: 10.15479/AT:ISTA:8181
file:
- access_level: open_access
checksum: 878c60885ce30afb59a884dd5eef451c
content_type: text/plain
creator: rhauschild
date_created: 2020-08-24T15:43:49Z
date_updated: 2020-08-24T15:43:49Z
file_id: '8290'
file_name: centriolesDistance.m
file_size: 6577
relation: main_file
success: 1
- access_level: open_access
checksum: 5a93ac7be2b66b28e4bd8b113ee6aade
content_type: text/plain
creator: rhauschild
date_created: 2020-08-24T15:43:52Z
date_updated: 2020-08-24T15:43:52Z
file_id: '8291'
file_name: goTracking.m
file_size: 2680
relation: main_file
success: 1
file_date_updated: 2020-08-24T15:43:52Z
has_accepted_license: '1'
license: https://opensource.org/licenses/BSD-3-Clause
month: '08'
oa: 1
publisher: IST Austria
status: public
title: Amplified centrosomes in dendritic cells promote immune cell effector functions
tmp:
legal_code_url: https://opensource.org/licenses/BSD-3-Clause
name: The 3-Clause BSD License
short: 3-Clause BSD
type: software
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8186'
abstract:
- lang: eng
text: "Numerous methods have been proposed for probabilistic generative modelling
of\r\n3D objects. However, none of these is able to produce textured objects,
which\r\nrenders them of limited use for practical tasks. In this work, we present
the\r\nfirst generative model of textured 3D meshes. Training such a model would\r\ntraditionally
require a large dataset of textured meshes, but unfortunately,\r\nexisting datasets
of meshes lack detailed textures. We instead propose a new\r\ntraining methodology
that allows learning from collections of 2D images without\r\nany 3D information.
To do so, we train our model to explain a distribution of\r\nimages by modelling
each image as a 3D foreground object placed in front of a\r\n2D background. Thus,
it learns to generate meshes that when rendered, produce\r\nimages similar to
those in its training set.\r\n A well-known problem when generating meshes with
deep networks is the\r\nemergence of self-intersections, which are problematic
for many use-cases. As a\r\nsecond contribution we therefore introduce a new generation
process for 3D\r\nmeshes that guarantees no self-intersections arise, based on
the physical\r\nintuition that faces should push one another out of the way as
they move.\r\n We conduct extensive experiments on our approach, reporting quantitative
and\r\nqualitative results on both synthetic data and natural images. These show
our\r\nmethod successfully learns to generate plausible and diverse textured 3D\r\nsamples
for five challenging object classes."
article_processing_charge: No
arxiv: 1
author:
- first_name: Paul M
full_name: Henderson, Paul M
id: 13C09E74-18D9-11E9-8878-32CFE5697425
last_name: Henderson
orcid: 0000-0002-5198-7445
- first_name: Vagia
full_name: Tsiminaki, Vagia
last_name: Tsiminaki
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Henderson PM, Tsiminaki V, Lampert C. Leveraging 2D data to learn textured
3D mesh generation. In: Proceedings of the IEEE/CVF Conference on Computer
Vision and Pattern Recognition. IEEE; 2020:7498-7507. doi:10.1109/CVPR42600.2020.00752'
apa: 'Henderson, P. M., Tsiminaki, V., & Lampert, C. (2020). Leveraging 2D data
to learn textured 3D mesh generation. In Proceedings of the IEEE/CVF Conference
on Computer Vision and Pattern Recognition (pp. 7498–7507). Virtual: IEEE.
https://doi.org/10.1109/CVPR42600.2020.00752'
chicago: Henderson, Paul M, Vagia Tsiminaki, and Christoph Lampert. “Leveraging
2D Data to Learn Textured 3D Mesh Generation.” In Proceedings of the IEEE/CVF
Conference on Computer Vision and Pattern Recognition, 7498–7507. IEEE, 2020.
https://doi.org/10.1109/CVPR42600.2020.00752.
ieee: P. M. Henderson, V. Tsiminaki, and C. Lampert, “Leveraging 2D data to learn
textured 3D mesh generation,” in Proceedings of the IEEE/CVF Conference on
Computer Vision and Pattern Recognition, Virtual, 2020, pp. 7498–7507.
ista: 'Henderson PM, Tsiminaki V, Lampert C. 2020. Leveraging 2D data to learn textured
3D mesh generation. Proceedings of the IEEE/CVF Conference on Computer Vision
and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition,
7498–7507.'
mla: Henderson, Paul M., et al. “Leveraging 2D Data to Learn Textured 3D Mesh Generation.”
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition,
IEEE, 2020, pp. 7498–507, doi:10.1109/CVPR42600.2020.00752.
short: P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF
Conference on Computer Vision and Pattern Recognition, IEEE, 2020, pp. 7498–7507.
conference:
end_date: 2020-06-19
location: Virtual
name: 'CVPR: Conference on Computer Vision and Pattern Recognition'
start_date: 2020-06-14
date_created: 2020-07-31T16:53:49Z
date_published: 2020-07-01T00:00:00Z
date_updated: 2023-10-17T07:37:11Z
day: '01'
ddc:
- '004'
department:
- _id: ChLa
doi: 10.1109/CVPR42600.2020.00752
external_id:
arxiv:
- '2004.04180'
file:
- access_level: open_access
content_type: application/pdf
creator: phenders
date_created: 2020-07-31T16:57:12Z
date_updated: 2020-07-31T16:57:12Z
file_id: '8187'
file_name: paper.pdf
file_size: 10262773
relation: main_file
success: 1
file_date_updated: 2020-07-31T16:57:12Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://openaccess.thecvf.com/content_CVPR_2020/papers/Henderson_Leveraging_2D_Data_to_Learn_Textured_3D_Mesh_Generation_CVPR_2020_paper.pdf
month: '07'
oa: 1
oa_version: Submitted Version
page: 7498-7507
publication: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern
Recognition
publication_identifier:
eisbn:
- '9781728171685'
eissn:
- 2575-7075
publication_status: published
publisher: IEEE
quality_controlled: '1'
scopus_import: '1'
status: public
title: Leveraging 2D data to learn textured 3D mesh generation
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2020'
...
---
_id: '8188'
abstract:
- lang: eng
text: "A natural approach to generative modeling of videos is to represent them
as a composition of moving objects. Recent works model a set of 2D sprites over
a slowly-varying background, but without considering the underlying 3D scene that\r\ngives
rise to them. We instead propose to model a video as the view seen while moving
through a scene with multiple 3D objects and a 3D background. Our model is trained
from monocular videos without any supervision, yet learns to\r\ngenerate coherent
3D scenes containing several moving objects. We conduct detailed experiments on
two datasets, going beyond the visual complexity supported by state-of-the-art
generative approaches. We evaluate our method on\r\ndepth-prediction and 3D object
detection---tasks which cannot be addressed by those earlier works---and show
it out-performs them even on 2D instance segmentation and tracking."
acknowledged_ssus:
- _id: ScienComp
acknowledgement: "This research was supported by the Scientific Service Units (SSU)
of IST Austria through resources\r\nprovided by Scientific Computing (SciComp).
PH is employed part-time by Blackford Analysis, but\r\nthey did not support this
project in any way."
alternative_title:
- Advances in Neural Information Processing Systems
article_processing_charge: No
arxiv: 1
author:
- first_name: Paul M
full_name: Henderson, Paul M
id: 13C09E74-18D9-11E9-8878-32CFE5697425
last_name: Henderson
orcid: 0000-0002-5198-7445
- first_name: Christoph
full_name: Lampert, Christoph
id: 40C20FD2-F248-11E8-B48F-1D18A9856A87
last_name: Lampert
orcid: 0000-0001-8622-7887
citation:
ama: 'Henderson PM, Lampert C. Unsupervised object-centric video generation and
decomposition in 3D. In: 34th Conference on Neural Information Processing Systems.
Vol 33. Neural Information Processing Systems Foundation; 2020:3106–3117.'
apa: 'Henderson, P. M., & Lampert, C. (2020). Unsupervised object-centric video
generation and decomposition in 3D. In 34th Conference on Neural Information
Processing Systems (Vol. 33, pp. 3106–3117). Vancouver, Canada: Neural Information
Processing Systems Foundation.'
chicago: Henderson, Paul M, and Christoph Lampert. “Unsupervised Object-Centric
Video Generation and Decomposition in 3D.” In 34th Conference on Neural Information
Processing Systems, 33:3106–3117. Neural Information Processing Systems Foundation,
2020.
ieee: P. M. Henderson and C. Lampert, “Unsupervised object-centric video generation
and decomposition in 3D,” in 34th Conference on Neural Information Processing
Systems, Vancouver, Canada, 2020, vol. 33, pp. 3106–3117.
ista: 'Henderson PM, Lampert C. 2020. Unsupervised object-centric video generation
and decomposition in 3D. 34th Conference on Neural Information Processing Systems.
NeurIPS: Neural Information Processing Systems, Advances in Neural Information
Processing Systems, vol. 33, 3106–3117.'
mla: Henderson, Paul M., and Christoph Lampert. “Unsupervised Object-Centric Video
Generation and Decomposition in 3D.” 34th Conference on Neural Information
Processing Systems, vol. 33, Neural Information Processing Systems Foundation,
2020, pp. 3106–3117.
short: P.M. Henderson, C. Lampert, in:, 34th Conference on Neural Information Processing
Systems, Neural Information Processing Systems Foundation, 2020, pp. 3106–3117.
conference:
end_date: 2020-12-12
location: Vancouver, Canada
name: 'NeurIPS: Neural Information Processing Systems'
start_date: 2020-12-06
corr_author: '1'
date_created: 2020-07-31T16:59:19Z
date_published: 2020-07-07T00:00:00Z
date_updated: 2025-05-14T11:26:57Z
day: '07'
department:
- _id: ChLa
external_id:
arxiv:
- '2007.06705'
intvolume: ' 33'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/2007.06705
month: '07'
oa: 1
oa_version: Preprint
page: 3106–3117
publication: 34th Conference on Neural Information Processing Systems
publication_identifier:
isbn:
- '9781713829546'
publication_status: published
publisher: Neural Information Processing Systems Foundation
quality_controlled: '1'
status: public
title: Unsupervised object-centric video generation and decomposition in 3D
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 33
year: '2020'
...
---
OA_place: repository
OA_type: green
_id: '8189'
abstract:
- lang: eng
text: Direct ethanol fuel cells (DEFCs) show a huge potential to power future electric
vehicles and portable electronics, but their deployment is currently limited by
the unavailability of proper electrocatalysis for the ethanol oxidation reaction
(EOR). In this work, we engineer a new electrocatalyst by incorporating phosphorous
into a palladium-tin alloy and demonstrate a significant performance improvement
toward EOR. We first detail a synthetic method to produce Pd2Sn:P nanocrystals
that incorporate 35% of phosphorus. These nanoparticles are supported on carbon
black and tested for EOR. Pd2Sn:P/C catalysts exhibit mass current densities up
to 5.03 A mgPd−1, well above those of Pd2Sn/C, PdP2/C and Pd/C reference catalysts.
Furthermore, a twofold lower Tafel slope and a much longer durability are revealed
for the Pd2Sn:P/C catalyst compared with Pd/C. The performance improvement is
rationalized with the aid of density functional theory (DFT) calculations considering
different phosphorous chemical environments. Depending on its oxidation state,
surface phosphorus introduces sites with low energy OH− adsorption and/or strongly
influences the electronic structure of palladium and tin to facilitate the oxidation
of the acetyl to acetic acid, which is considered the EOR rate limiting step.
DFT calculations also points out that the durability improvement of Pd2Sn:P/C
catalyst is associated to the promotion of OH adsorption that accelerates the
oxidation of intermediate poisoning COads, reactivating the catalyst surface.
acknowledgement: This work was supported by the European Regional Development Funds
and by the Spanish Ministerio de Economía y Competitividad through the project SEHTOP,
ENE2016- 77798-C4-3-R, and ENE2017-85087-C3. X. Y. thanks the China Scholarship
Council for the scholarship support. J. Liu acknowledges support from the Jiangsu
University Foundation (4111510011). J. Li obtained International Postdoctoral Exchange
Fellowship Program (Talent-Introduction program) in 2019 and is grateful for the
project (2019M663468) funded by the China Postdoctoral Science Foundation. Authors
acknowledge funding from Generalitat de Catalunya 2017 SGR 327 and 2017 SGR 1246,
and from IST Austria. ICN2 acknowledges the support from the Severo Ochoa Programme
(MINECO, grant no. SEV-2017-0706) and is funded by the CERCA Programme/Generalitat
de Catalunya. J. Llorca is a Serra Húnter Fellow and is grateful to MICINN/FEDER
RTI2018-093996-B-C31, GC 2017 SGR 128 and to ICREA Academia program.
article_number: '105116'
article_processing_charge: No
article_type: original
author:
- first_name: Xiaoting
full_name: Yu, Xiaoting
last_name: Yu
- first_name: Junfeng
full_name: Liu, Junfeng
last_name: Liu
- first_name: Junshan
full_name: Li, Junshan
last_name: Li
- first_name: Zhishan
full_name: Luo, Zhishan
last_name: Luo
- first_name: Yong
full_name: Zuo, Yong
last_name: Zuo
- first_name: Congcong
full_name: Xing, Congcong
last_name: Xing
- first_name: Jordi
full_name: Llorca, Jordi
last_name: Llorca
- first_name: Déspina
full_name: Nasiou, Déspina
last_name: Nasiou
- first_name: Jordi
full_name: Arbiol, Jordi
last_name: Arbiol
- first_name: Kai
full_name: Pan, Kai
last_name: Pan
- first_name: Tobias
full_name: Kleinhanns, Tobias
id: 8BD9DE16-AB3C-11E9-9C8C-2A03E6697425
last_name: Kleinhanns
- first_name: Ying
full_name: Xie, Ying
last_name: Xie
- first_name: Andreu
full_name: Cabot, Andreu
last_name: Cabot
citation:
ama: Yu X, Liu J, Li J, et al. Phosphorous incorporation in Pd2Sn alloys for electrocatalytic
ethanol oxidation. Nano Energy. 2020;77(11). doi:10.1016/j.nanoen.2020.105116
apa: Yu, X., Liu, J., Li, J., Luo, Z., Zuo, Y., Xing, C., … Cabot, A. (2020). Phosphorous
incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation. Nano
Energy. Elsevier. https://doi.org/10.1016/j.nanoen.2020.105116
chicago: Yu, Xiaoting, Junfeng Liu, Junshan Li, Zhishan Luo, Yong Zuo, Congcong
Xing, Jordi Llorca, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic
Ethanol Oxidation.” Nano Energy. Elsevier, 2020. https://doi.org/10.1016/j.nanoen.2020.105116.
ieee: X. Yu et al., “Phosphorous incorporation in Pd2Sn alloys for electrocatalytic
ethanol oxidation,” Nano Energy, vol. 77, no. 11. Elsevier, 2020.
ista: Yu X, Liu J, Li J, Luo Z, Zuo Y, Xing C, Llorca J, Nasiou D, Arbiol J, Pan
K, Kleinhanns T, Xie Y, Cabot A. 2020. Phosphorous incorporation in Pd2Sn alloys
for electrocatalytic ethanol oxidation. Nano Energy. 77(11), 105116.
mla: Yu, Xiaoting, et al. “Phosphorous Incorporation in Pd2Sn Alloys for Electrocatalytic
Ethanol Oxidation.” Nano Energy, vol. 77, no. 11, 105116, Elsevier, 2020,
doi:10.1016/j.nanoen.2020.105116.
short: X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol,
K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
date_created: 2020-08-02T22:00:57Z
date_published: 2020-11-01T00:00:00Z
date_updated: 2025-04-24T11:53:45Z
day: '01'
department:
- _id: MaIb
doi: 10.1016/j.nanoen.2020.105116
external_id:
isi:
- '000581738300030'
intvolume: ' 77'
isi: 1
issue: '11'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: http://hdl.handle.net/2117/335346
month: '11'
oa: 1
oa_version: Submitted Version
publication: Nano Energy
publication_identifier:
issn:
- 2211-2855
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 77
year: '2020'
...
---
_id: '8194'
abstract:
- lang: eng
text: 'Fixed-point arithmetic is a popular alternative to floating-point arithmetic
on embedded systems. Existing work on the verification of fixed-point programs
relies on custom formalizations of fixed-point arithmetic, which makes it hard
to compare the described techniques or reuse the implementations. In this paper,
we address this issue by proposing and formalizing an SMT theory of fixed-point
arithmetic. We present an intuitive yet comprehensive syntax of the fixed-point
theory, and provide formal semantics for it based on rational arithmetic. We also
describe two decision procedures for this theory: one based on the theory of bit-vectors
and the other on the theory of reals. We implement the two decision procedures,
and evaluate our implementations using existing mature SMT solvers on a benchmark
suite we created. Finally, we perform a case study of using the theory we propose
to verify properties of quantized neural networks.'
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Marek
full_name: Baranowski, Marek
last_name: Baranowski
- first_name: Shaobo
full_name: He, Shaobo
last_name: He
- first_name: Mathias
full_name: Lechner, Mathias
id: 3DC22916-F248-11E8-B48F-1D18A9856A87
last_name: Lechner
- first_name: Thanh Son
full_name: Nguyen, Thanh Son
last_name: Nguyen
- first_name: Zvonimir
full_name: Rakamarić, Zvonimir
last_name: Rakamarić
citation:
ama: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. An SMT theory of fixed-point
arithmetic. In: Automated Reasoning. Vol 12166. Springer Nature; 2020:13-31.
doi:10.1007/978-3-030-51074-9_2'
apa: 'Baranowski, M., He, S., Lechner, M., Nguyen, T. S., & Rakamarić, Z. (2020).
An SMT theory of fixed-point arithmetic. In Automated Reasoning (Vol. 12166,
pp. 13–31). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-030-51074-9_2'
chicago: Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir
Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In Automated Reasoning,
12166:13–31. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-51074-9_2.
ieee: M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT
theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France,
2020, vol. 12166, pp. 13–31.
ista: 'Baranowski M, He S, Lechner M, Nguyen TS, Rakamarić Z. 2020. An SMT theory
of fixed-point arithmetic. Automated Reasoning. IJCAR: International Joint Conference
on Automated Reasoning, LNCS, vol. 12166, 13–31.'
mla: Baranowski, Marek, et al. “An SMT Theory of Fixed-Point Arithmetic.” Automated
Reasoning, vol. 12166, Springer Nature, 2020, pp. 13–31, doi:10.1007/978-3-030-51074-9_2.
short: M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated
Reasoning, Springer Nature, 2020, pp. 13–31.
conference:
end_date: 2020-07-04
location: Paris, France
name: 'IJCAR: International Joint Conference on Automated Reasoning'
start_date: 2020-07-01
date_created: 2020-08-02T22:00:59Z
date_published: 2020-06-24T00:00:00Z
date_updated: 2026-06-18T19:31:14Z
day: '24'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-51074-9_2
external_id:
isi:
- '000884318000002'
intvolume: ' 12166'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1007/978-3-030-51074-9_2
month: '06'
oa: 1
oa_version: Published Version
page: 13-31
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: Automated Reasoning
publication_identifier:
eissn:
- 1611-3349
isbn:
- '9783030510732'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: An SMT theory of fixed-point arithmetic
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12166
year: '2020'
...
---
_id: '8195'
abstract:
- lang: eng
text: This paper presents a foundation for refining concurrent programs with structured
control flow. The verification problem is decomposed into subproblems that aid
interactive program development, proof reuse, and automation. The formalization
in this paper is the basis of a new design and implementation of the Civl verifier.
acknowledgement: "Bernhard Kragl and Thomas A. Henzinger were supported by\r\nthe
Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award)."
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Bernhard
full_name: Kragl, Bernhard
id: 320FC952-F248-11E8-B48F-1D18A9856A87
last_name: Kragl
orcid: 0000-0001-7745-9117
- first_name: Shaz
full_name: Qadeer, Shaz
last_name: Qadeer
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
citation:
ama: 'Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs.
In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298.
doi:10.1007/978-3-030-53288-8_14'
apa: Kragl, B., Qadeer, S., & Henzinger, T. A. (2020). Refinement for structured
concurrent programs. In Computer Aided Verification (Vol. 12224, pp. 275–298).
Springer Nature. https://doi.org/10.1007/978-3-030-53288-8_14
chicago: Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured
Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer
Nature, 2020. https://doi.org/10.1007/978-3-030-53288-8_14.
ieee: B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent
programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
ista: Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent
programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
mla: Kragl, Bernhard, et al. “Refinement for Structured Concurrent Programs.” Computer
Aided Verification, vol. 12224, Springer Nature, 2020, pp. 275–98, doi:10.1007/978-3-030-53288-8_14.
short: B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer
Nature, 2020, pp. 275–298.
corr_author: '1'
date_created: 2020-08-03T11:45:35Z
date_published: 2020-07-14T00:00:00Z
date_updated: 2026-04-08T07:23:52Z
day: '14'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-53288-8_14
external_id:
isi:
- '000695276000014'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-08-06T08:14:54Z
date_updated: 2020-08-06T08:14:54Z
file_id: '8201'
file_name: 2020_LNCS_Kragl.pdf
file_size: 804237
relation: main_file
success: 1
file_date_updated: 2020-08-06T08:14:54Z
has_accepted_license: '1'
intvolume: ' 12224'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 275-298
project:
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: Computer Aided Verification
publication_identifier:
eisbn:
- '9783030532888'
eissn:
- 1611-3349
isbn:
- '9783030532871'
issn:
- 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '8332'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Refinement for structured concurrent programs
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: conference
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 12224
year: '2020'
...
---
_id: '8199'
abstract:
- lang: eng
text: We investigate a mechanism to transiently stabilize topological phenomena
in long-lived quasi-steady states of isolated quantum many-body systems driven
at low frequencies. We obtain an analytical bound for the lifetime of the quasi-steady
states which is exponentially large in the inverse driving frequency. Within this
lifetime, the quasi-steady state is characterized by maximum entropy subject to
the constraint of fixed number of particles in the system's Floquet-Bloch bands.
In such a state, all the non-universal properties of these bands are washed out,
hence only the topological properties persist.
acknowledgement: "N.L., T.G. and E.B. acknowledge support from the European Research
Council (ERC) under\r\nthe European Union Horizon 2020 Research and Innovation Programme
(Grant Agreement\r\nNo. 639172). T.G. was in part supported by an Aly Kaufman Fellowship
at the Technion. T.G.\r\nacknowledges funding from the Institute of Science and
Technology (IST) Austria, and from\r\nthe European Union’s Horizon 2020 research
and innovation programme under the Marie\r\nSkłodowska-Curie Grant Agreement No.
754411. N.L. acknowledges support from the People Programme (Marie Curie Actions)
of the European Unions Seventh Framework 546 Programme (FP7/20072013), under REA
Grant Agreement No. 631696, and by the Israeli Center\r\nof Research Excellence
(I-CORE) Circle of Light funded by the Israel Science Foundation (Grant\r\nNo. 1802/12).
M.R. gratefully acknowledges the support of the European Research Council\r\n(ERC)
under the European Union Horizon 2020 Research and Innovation Programme (Grant\r\nAgreement
No. 678862). M.R. acknowledges the support of the Villum Foundation. M.R. and\r\nE.B.
acknowledge support from CRC 183 of the Deutsche Forschungsgemeinschaft"
article_number: '015'
article_processing_charge: No
article_type: original
author:
- first_name: Tobias
full_name: Gulden, Tobias
id: 1083E038-9F73-11E9-A4B5-532AE6697425
last_name: Gulden
orcid: 0000-0001-6814-7541
- first_name: Erez
full_name: Berg, Erez
last_name: Berg
- first_name: Mark Spencer
full_name: Rudner, Mark Spencer
last_name: Rudner
- first_name: Netanel
full_name: Lindner, Netanel
last_name: Lindner
citation:
ama: Gulden T, Berg E, Rudner MS, Lindner N. Exponentially long lifetime of universal
quasi-steady states in topological Floquet pumps. SciPost Physics. 2020;9.
doi:10.21468/scipostphys.9.1.015
apa: Gulden, T., Berg, E., Rudner, M. S., & Lindner, N. (2020). Exponentially
long lifetime of universal quasi-steady states in topological Floquet pumps. SciPost
Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.9.1.015
chicago: Gulden, Tobias, Erez Berg, Mark Spencer Rudner, and Netanel Lindner. “Exponentially
Long Lifetime of Universal Quasi-Steady States in Topological Floquet Pumps.”
SciPost Physics. SciPost Foundation, 2020. https://doi.org/10.21468/scipostphys.9.1.015.
ieee: T. Gulden, E. Berg, M. S. Rudner, and N. Lindner, “Exponentially long lifetime
of universal quasi-steady states in topological Floquet pumps,” SciPost Physics,
vol. 9. SciPost Foundation, 2020.
ista: Gulden T, Berg E, Rudner MS, Lindner N. 2020. Exponentially long lifetime
of universal quasi-steady states in topological Floquet pumps. SciPost Physics.
9, 015.
mla: Gulden, Tobias, et al. “Exponentially Long Lifetime of Universal Quasi-Steady
States in Topological Floquet Pumps.” SciPost Physics, vol. 9, 015, SciPost
Foundation, 2020, doi:10.21468/scipostphys.9.1.015.
short: T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
corr_author: '1'
date_created: 2020-08-04T13:04:15Z
date_published: 2020-07-29T00:00:00Z
date_updated: 2025-04-14T07:44:05Z
day: '29'
ddc:
- '530'
department:
- _id: MaSe
doi: 10.21468/scipostphys.9.1.015
ec_funded: 1
external_id:
isi:
- '000557362300008'
file:
- access_level: open_access
content_type: application/pdf
creator: dernst
date_created: 2020-08-06T08:56:06Z
date_updated: 2020-08-06T08:56:06Z
file_id: '8202'
file_name: 2020_SciPostPhys_Gulden.pdf
file_size: 531137
relation: main_file
success: 1
file_date_updated: 2020-08-06T08:56:06Z
has_accepted_license: '1'
intvolume: ' 9'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '754411'
name: ISTplus - Postdoctoral Fellowships
publication: SciPost Physics
publication_identifier:
issn:
- 2542-4653
publication_status: published
publisher: SciPost Foundation
quality_controlled: '1'
scopus_import: '1'
status: public
title: Exponentially long lifetime of universal quasi-steady states in topological
Floquet pumps
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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 9
year: '2020'
...